A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is
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
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
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
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
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  . ...doi:10.1007/3-540-48754-9_20 fatcat:tdwsc7dc4vftzawqopz3tdcepi
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
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
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
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 ...
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
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. ...
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
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
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  . ...doi:10.1051/epjconf/20100506002 fatcat:gplw5hamljheziw6cibqjewcry
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