Filters








3,113 Hits in 1.9 sec

A Matrix Characterization for Multiplicative Exponential Linear Logic

Christoph Kreitz, Heiko Mantel
2004 Journal of automated reasoning  
We develop a matrix characterization of logical validity in MELL, the multiplicative fragment of propositional linear logic with exponentials and constants.  ...  Our characterization is based on concepts similar to matrix characterizations proposed by Wallen for other non-classical logics.  ...  Acknowledgments We would like to thank Marcelo Correa for his useful feedback on the soundness and completeness proofs in Section 6.  ... 
doi:10.1023/b:jars.0000029976.22387.ac fatcat:iw2ki256vjf6xfocfayaxwytgi

Nanoparticle size characterization by laser light scattering

A. Gogoi, G. A. Ahmed, A. Choudhury
2009 Indian Journal of Physics  
A beam of polarized light from a diode laser (λ 0 ≈ 630 nm) was allowed to fall on the nanospheres embedded in flexible host matrix Polyvinyl Alcohol (PVA).  ...  Size of the nanoparticles was obtained by using Mie theory and verified by T-matrix approach. The results obtained agree with the XRD and TEM results.  ...  N Dutta, Department of Physics, Tezpur University for many fruitful discussions.  ... 
doi:10.1007/s12648-009-0028-9 fatcat:alampzrrnnb25kx23wycbxik7m

Petrophysical characterization of the lacustrine sediment succession drilled in Lake El'gygytgyn, Far East Russian Arctic

A. C. Gebhardt, A. Francke, J. Kück, M. Sauerbrey, F. Niessen, V. Wennrich, M. Melles
2013 Climate of the Past  
The contact between the bedrock and the lacustrine sediments is not abrupt, but rather transitional with a variable mixture of impact-altered bedrock clasts in a lacustrine matrix.  ...  </strong> Seismic profiles of Far East Russian Lake El'gygytgyn, formed by a meteorite impact some 3.6 million years ago, show a stratified sediment succession that can be separated into subunits Ia and  ...  We thank all expedition members of the El'gygytgyn pre-site surveys in 2000 and 2003 as well as of the deep drilling campaign in winter/spring 2009 for their excellent cooperation and support during work  ... 
doi:10.5194/cp-9-1933-2013 fatcat:7vacn4byk5cybhwbqv5m5yhfwu

Petrophysical characterization of the lacustrine sediment succession drilled in Lake El'gygytgyn, Far East Russian Arctic

A. C. Gebhardt, A. Francke, J. Kück, M. Sauerbrey, F. Niessen, V. Wennrich, M. Melles
2013 Climate of the Past Discussions  
The contact between the bedrock and the lacustrine sediments is not abrupt, but rather transitional with a variable mixture of impact-altered bedrock clasts in a lacustrine matrix.  ...  Seismic profiles of Far East Russian Lake El'gygytgyn, formed by a meteorite impact some 3.6 million years ago, show a stratified sediment succession that can be separated into subunits Ia and Ib at approximately  ...  We thank all expedition members of the El'gygytgyn pre-site surveys in 2000 and 2003 as well as of the deep drilling campaign in winter/spring 2009 for their excellent cooperation and support during work  ... 
doi:10.5194/cpd-9-351-2013 fatcat:gd3mrpp3braftnhvuzbbh7elki

linTAP : A Tableau Prover for Linear Logic [chapter]

Heiko Mantel, Jens Otten
1999 Lecture Notes in Computer Science  
linTAP is a tableau prover for the multiplicative and exponential fragment M?LL of Girards linear logic.  ...  It proves the validity of a given formula by constructing an analytic tableau and ensures the linear validity using prefix unification.  ...  The prefixes used by linTAP are motivated by a matrix characterization for MELL [17] .  ... 
doi:10.1007/3-540-48754-9_20 fatcat:tdwsc7dc4vftzawqopz3tdcepi

Pliocene to Pleistocene climate and environmental history of Lake El'gygytgyn, Far East Russian Arctic, based on high-resolution inorganic geochemistry data

V. Wennrich, P. S. Minyuk, V. Ya. Borkhodoev, A. Francke, B. Ritter, N. Nowaczyk, M. A. Sauerbrey, J. Brigham-Grette, M. Melles
2013 Climate of the Past Discussions  
A., Brigham-Grette, J., Melles, M. (2014): Pliocene to Pleistocene climate and environmental history of Lake El'gygytgyn, Far East Russian Arctic, based on high-resolution inorganic geochemistry data.  ...  ., Francke, A., Ritter, B., Nowaczyk, N., Sauerbrey, M.  ...  This study was financially supported by the German Federal Ministry for Education and Research (BMBF, grant no. 03G0642A) and was partly funded by RFBR (12-05-00286).  ... 
doi:10.5194/cpd-9-5899-2013 fatcat:quvofrucwngonhbvrniabxfvn4

Pliocene to Pleistocene climate and environmental history of Lake El'gygytgyn, Far East Russian Arctic, based on high-resolution inorganic geochemistry data

V. Wennrich, P. S. Minyuk, V. Borkhodoev, A. Francke, B. Ritter, N. R. Nowaczyk, M. A. Sauerbrey, J. Brigham-Grette, M. Melles
2014 Climate of the Past  
In the early Pleistocene, the cyclicity was first dominated by variations on the 41 kyr obliquity band but experienced a change to a 100 kyr eccentricity dominance during the middle Pleistocene transition  ...  <br><br> After ca. 3.0 Ma the elemental data suggest a gradual transition to Pleistocene-style glacial–interglacial cyclicity.  ...  This study was financially supported by the German Federal Ministry for Education and Research (BMBF, grant no. 03G0642A) and was partly funded by RFBR (12-05-00286).  ... 
doi:10.5194/cp-10-1381-2014 fatcat:nxtxvi7vhjdzlg263kblpozixi

Does historic construction suffer or benefit from the urban heat island effect in Ghent and global warming across Europe?

Isabeau Vandemeulebroucke, Klaas Calle, Steven Caluwaerts, Tim De Kock, Nathan Van Den Bossche
2019 Canadian journal of civil engineering (Print)  
Melle is characterized by the longest frost duration, followed by Wondelgem freezes at temperatures well below 0°C (Walder and Hallet 1985, Straube and Schumacher 2006, Zhou et al. 2017).  ...  This climate zone is represented by Madrid, characterized by a wind-driven rain 324 (WDR) load of 11 l/m² and a Climatic Index (CI Oct-Mar ) (as described in section 2) between October and March of  ... 
doi:10.1139/cjce-2018-0594 fatcat:wqgzt6qjbffhndmb5wlmofbkse

Page 2037 of Mathematical Reviews Vol. 57, Issue 5 [page]

1979 Mathematical Reviews  
The Taylor expansion described is used for error analysis of vector functions. The error propaga- tion law is derived for a matrix function of a matrix random argument.  ...  Cts, a | ation- ms is nN can | ssible | ibility on of . n for 1, and 15603 témes Is que | ja été Inter- | Con- © Sys 1971); melles nature ec les Paris) | 15604 F state e sys- at this -func- ion of k, and  ... 

A pollen-based biome reconstruction over the last 3.562 million years in the Far East Russian Arctic – new insights into climate–vegetation relationships at the regional scale

P. E. Tarasov, A. A. Andreev, P. M. Anderson, A. V. Lozhkin, C. Leipe, E. Haltia, N. R. Nowaczyk, V. Wennrich, J. Brigham-Grette, M. Melles
2013 Climate of the Past  
Prior to ~2.800 Ma, several other cold stages during this generally warm Pliocene interval were characterized by the tundra biome.</p>  ...  </strong> The recent and fossil pollen data obtained under the frame of the multi-disciplinary international El'gygytgyn Drilling Project represent a unique archive, which allows the testing of a range  ...  The Holocene is characterized by a continuous dominance of TUND. Between ∼ 10.5 and 8 ka ago, STEP reveals its lowest scores for the entire record.  ... 
doi:10.5194/cp-9-2759-2013 fatcat:bch5hlehbbcxdiuydpwy4sw2aq

Page 520 of Cellular and Molecular Life Sciences Vol. 64, Issue 4 [page]

2007 Cellular and Molecular Life Sciences  
Shaw UK Alcohol dehydrogenase 2 is a major hepatic enzyme for human retinol metabolism M. Hellgren, P Stromberg, O. Gallego, S. Martras, J. Farrés, B. Persson, X. Parés and J.-O.  ...  Melles, kK. Sigmundsson, M. Stahlberg, J. Wahren, B. Obrink, J. Shafgat, B. Joseph and H.  ... 

Ex vivo culture platform for assessment of cartilage repair treatment strategies

Andrea Schwab
2017 ALTEX: Alternatives to Animal Experimentation  
The osteochondral culture platform is developed and owned by LifeTec Group BV, a company specialized in contract research.  ...  Fig. 7: Characterization of equilibrium modulus (Eq) and biochemical content (GAG, DNA, HYP) of osteochondral explants during ex vivo culture for 84 days (A) Glycosaminoglycan (GAG) content normalized  ...  of cartilage matrix synthesis in a co-culture model (Sanchez et al., 2005a,b; Iwai et al., 2011) .  ... 
doi:10.14573/altex.1607111 pmid:27768805 fatcat:r75juncrr5h4xisdrdanu6ev3i

[Melle4]Cyclosporin, a Novel Natural Cyclosporin with anti-HIV Activity: Structural Elucidation, Biosynthesis and Biological Properties

R. Traber, H. Kobel, H.-R. Loosli, H. Senn, B. Rosenwirth, A. Lawen
1994 Antiviral Chemistry & Chemotherapy  
Results Isolation and characterization of [Melle*]cyclosporin (1) From a 50-I fermentation of Tolypocladium niveum, with the addition of D-threonine to the culture medium, a com- plex mixture of cyclosporins  ...  FAB mass spectra were obtained using a Finnigan (Bremen, Germany) MAT 212 mass spectrometer at 8 keV using thioglycerine as the liquid matrix.  ... 
doi:10.1177/095632029400500507 fatcat:grcwz2ipd5cvthiex26heouflm

From polarized to polarimetric Raman spectroscopy

A. Frigout, M. Richert, R. Ossikovski
2010 EPJ Web of Conferences  
The next step for enlarging the scope of the Raman scattering technique is to perform a complete polarimetric control of the scattered, as well as incident light.  ...  Raman spectroscopy is widely used in many areas of research and technology such as chemical analysis and material properties characterization.  ...  Introduction During the last several decades Raman spectroscopy has become a reference tool for material and surface characterization [1] .  ... 
doi:10.1051/epjconf/20100506002 fatcat:gplw5hamljheziw6cibqjewcry

The biome reconstruction approach as a tool for interpretation of past vegetation and climate changes: application to modern and fossil pollen data from Lake El'gygytgyn, Far East Russian Arctic

P. E. Tarasov, A. A. Andreev, P. M. Anderson, A. V. Lozhkin, E. Haltia, N. R. Nowaczyk, V. Wennrich, J. Brigham-Grette, M. Melles
2013 Climate of the Past Discussions  
When applied to the modern surface pollen spectra from the lake, the method shows a dominance of the tundra biome that currently characterizes the Lake El'gygytgyn area.  ...  The modern and fossil pollen data obtained under the framework of the multidisciplinary international "El'gygytgyn Drilling Project" represent a unique archive that allows the testing of a range of pollen-based  ...  the biome-taxon matrix.  ... 
doi:10.5194/cpd-9-3449-2013 fatcat:xpxozwnxcbhf3nxdou4jzi6itm
« Previous Showing results 1 — 15 out of 3,113 results