Brenguier R
(2016)
Robust Equilibria in Mean-Payoff Games
in Foundations of Software Science and Computation Structures - 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Fijalkow N
(2016)
Trace Refinement in Labelled Markov Decision Processes
in Foundations of Software Science and Computation Structures - 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Crafa S
(2012)
Event Structure Semantics of Parallel Extrusion in the Pi-Calculus
in Foundations of Software Science and Computational Structures - 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings
Castellan S
(2019)
Causality in Linear Logic
in Foundations of Software Science and Computation Structures - 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
Ghani N
(2016)
Comprehensive Parametric Polymorphism: Categorical Models and Type Theory
in Foundations of Software Science and Computation Structures - 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Jacobs B
(2019)
Causal Inference by String Diagram Surgery
in Foundations of Software Science and Computation Structures - 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
Castellan S
(2019)
Causality in Linear Logic
in Foundations of Software Science and Computation Structures - 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
Taub L . C.
(2010)
Translating the Phainomena across genre, language and culture
in Translating the Phainomena across genre, language and culture, in Annette Imhausen, Tanja Pommerening (ed.), Writings of Early Scholars in the Ancient Near East, Egypt, Rome, and Greece: Translating Ancient Scientific Texts. Beitr?ge zur Altertumskunde, B
Schmiedel, I.
Gardens on Canvas and Paper. Cataloguing Botanical Abundance in Late Medici Tuscany
in 'Gardens on Canvas and Paper. Cataloguing Botanical Abundance in Late Medici Tuscany', in H. Fischer, Volker Remmert, Joachim Wolschke-Bulmahn, eds, Congress Papers. Gardening and Knowledge. Landscape Design and the Sciences in the Early Modern Period
Dräger K
(2016)
The Invariance Problem for Matrix Semigroups
in Foundations of Software Science and Computation Structures - 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Crafa S
(2012)
Event Structure Semantics of Parallel Extrusion in the Pi-Calculus
in Foundations of Software Science and Computational Structures - 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings
Kusukawa, S., Egmond, F.
Circulation of images and graphic practices in Renaissance natural history: the example of Conrad Gessner
in 'Circulation of images and graphic practices in Renaissance natural history: the example of Conrad Gessner', in Luana Giurgevich, Teresa Nobre de Carvalho and Henrique Leitão, eds, The Scientific Book closely read (15th-18th cent.)
Ghani N
(2016)
Comprehensive Parametric Polymorphism: Categorical Models and Type Theory
in Foundations of Software Science and Computation Structures - 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Fijalkow N
(2016)
Trace Refinement in Labelled Markov Decision Processes
in Foundations of Software Science and Computation Structures - 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Abdulla P
(2016)
Qualitative Analysis of VASS-Induced MDPs
in Foundations of Software Science and Computation Structures - 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Gheorghiu A
(2021)
Focused Proof-search in the Logic of Bunched Implications
in Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
Mayr R
(2021)
Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP
in Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
Altenkirch T
(2021)
Constructing a universe for the setoid model
in Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
Van Heerdt G
(2021)
Learning Pomset Automata
in Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
Piedeleu R
(2021)
A String Diagrammatic Axiomatisation of Finite-State Automata
in Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
Graulund C
(2021)
Adjoint Reactive GUI Programming
in Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
Jardine, N
(2012)
Kepler's 'lightly woven cosmography': on the sources, identity and significance of Kepler-Ms 18, 238v-241r, Russian Academy of Sciences, St Petersburg
in Kepler's 'lightly woven cosmography': on the sources, identity and significance of Kepler-Ms 18, 238v-241r, Russian Academy of Sciences, St Petersburg, in C. Noirot and N. Ordine, eds, Omnia in uno: Hommage à Alain-Philippe Segonds
Mayr R
(2021)
Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP
in Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
Mayr R
(2021)
Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP
in Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
Pantin, I.
Catalogues, bibliographies et inventaires de livres. Quels usages pour l'historien des sciences?
in 'Catalogues, bibliographies et inventaires de livres. Quels usages pour l'historien des sciences?', in Luana Giurgevich, Henrique Leitao, and Teresa Nobre de Carvalho, eds, Bibliotecas e livro científico (seculos XV-XVIII). Objectos, espaços e ideias
Bartoli F
(2016)
Le Bissonnais, Y. 1996. Aggregate stability and assessment of crustability and erodibility: 1. theory and methodology. European Journal of Soil Science , 47, 425-437. Commentary on the impact of Le Bissonnais (1996): by F. Bartoli , P. Hallett & O. Cerdan
in European Journal of Soil Science
Agarwal M
(2015)
China and India: Reforms and the Response - How Differently have the Economies Behaved?
in World Scientific Reference on Asia and the World Economy - (In 3 Volumes)Volume 1: Sustainability of Growth: The Role of Economic, Technological and Environmental FactorsVolume 2: India and China: Comparative Experience and ProspectsVolume 3: Actions on Climate Change by Asian Countries
Shadurskij V
(2019)
Les principaux modèles d'identité nationale dans la Biélorussie contemporaine
in Les nôtres et les autres. Retour épistemologique sur la perception des identités en Europe. Sous la direction d'Elena Filippova et Xavier le Torrivellec. Moscou : Institut d'ethnologie et d'anthropologie de l'Académie des sciences de Russie
Cianferotti L
(2017)
Vitamin D supplementation in the prevention and management of major chronic diseases not related to mineral homeostasis in adults: research for evidence and a scientific statement from the European society for clinical and economic aspects of osteoporosis and osteoarthritis (ESCEO).
in Endocrine
Pantin I.
(2010)
Species visibiles et pyramis radiosa : les problèmes posés à l'optique traditionnelle par les premiers instruments d'optique
in Species visibiles et pyramis radiosa : les problèmes posés à l'optique traditionnelle par les premiers instruments d'optique, in Danielle Jacquart et Michel Hochmann, Lumiere et Vision dans les Sciences et dans les Arts: De l'Antiquite au XVIIe Siecle
Grossman, K.
(2017)
??????????????????????????? Obei shokoku ni okeru toshi shukusho jijo to kokusai-tekina hikaku kenkyu no hitsuyo-sei [Circumstances of urban shrinkage in the West and the need for international comparative research. In Japanese]
in ???????????????????????????????? Toshi shukusho jidai no tochi riyo keikaku. Tayona toshi kukan soshutsu e muketa kadai to taio-saku [Land Use Planning in the Age of Urban Shrinkage: Issues and Countermeasures for the Creation of Diverse Urban Spaces. In Japanese]
Mesleh R
(2015)
Performance Analysis of Spatial Modulation and Space-Shift Keying With Imperfect Channel Estimation Over Generalized <inline-formula> <tex-math notation="TeX">$\eta{-}\mu$</tex-math></inline-formula> Fading Channels
in IEEE Transactions on Vehicular Technology
Fowler PA
(2016)
Comment on "Effects of Arsenite during Fetal Development on Energy Metabolism and Susceptibility to Diet-Induced Fatty Liver Diseases in Male Mice" and "Mechanisms Underlying Latent Disease Risk Associated with Early-Life Arsenic Exposure: Current Trends and Scientific Gaps".
in Environmental health perspectives
Hemingway H
(2017)
Using nationwide 'big data' from linked electronic health records to help improve outcomes in cardiovascular diseases: 33 studies using methods from epidemiology, informatics, economics and social science in the ClinicAl disease research using LInked Bespoke studies and Electronic health Records (CALIBER) programme
in Programme Grants for Applied Research
Hemingway H
(2017)
Using nationwide 'big data' from linked electronic health records to help improve outcomes in cardiovascular diseases: 33 studies using methods from epidemiology, informatics, economics and social science in the ClinicAl disease research using LInked Bespoke studies and Electronic health Records (CALIBER) programme
in Programme Grants for Applied Research
Hemingway H
(2017)
Using nationwide 'big data' from linked electronic health records to help improve outcomes in cardiovascular diseases: 33 studies using methods from epidemiology, informatics, economics and social science in the ClinicAl disease research using LInked Bespoke studies and Electronic health Records (CALIBER) programme
in Programme Grants for Applied Research
Kong H
(2015)
Cooperative Distributed Model Predictive Control via Linear Programming?A Divide and Conquer Approach**This work was supported by the "Developing FUTURE Vehicles" project of the Engineering and Physical Sciences Research Council under the UK Low Carbon Vehicles Integrated Delivery Programme.
in IFAC-PapersOnLine
Feng L
(2009)
Estimating surface CO<sub>2</sub> fluxes from space-borne CO<sub>2</sub> dry air mole fraction observations using an ensemble Kalman Filter
in Atmospheric Chemistry and Physics
Jones V
(2020)
Timescapes of waiting: spaces of stasis, delay and deferral edited by Christoph Singer, Robert Wirth and Olaf Berwald, Leiden, Netherlands, Brill | Rodopi, 2019, 238 pp., €94.00/$113.00 (ebook), ISBN: 978-90-04-40712-1; €94.00/$113.00 (hardback), ISBN: 978-90-04-40695-7
in Social & Cultural Geography
Rimmer D
(2013)
Landmark Papers: No. 2. Quirk, J. P. & Schofield, R. K. 1955. The effect of electrolyte concentration on soil permeability. Journal of Soil Science , 6, 163-178. Commentary on the impact of Quirk & Schofield (1955): by D. L. Rimmer, G. J. D. Kirk & G. Bourrié
in European Journal of Soil Science
Worden K
(2015)
Structural Health Monitoring: from Structures to Systems-of-Systems ? ?The support of the UK Engineering and Physical Sciences Research Council (EPSRC) through grant reference numbers EP/J016942/1 and EP/K003836/2, and that of the EU Framework 7 Programme for the ITN project SYSWIND, is gratefully acknowledged.
in IFAC-PapersOnLine
Palmer P
(2011)
Spatial resolution of tropical terrestrial CO<sub>2</sub> fluxes inferred using space-borne column CO<sub>2</sub> sampled in different earth orbits: the role of spatial error correlations
in Atmospheric Measurement Techniques
Palmer P
(2011)
Spatial resolution of tropical terrestrial CO<sub>2</sub> fluxes inferred using space-borne column CO<sub>2</sub> sampled in different earth orbits: the role of spatial error correlations
in Atmospheric Measurement Techniques
Palmer P
(2011)
Spatial resolution of tropical terrestrial CO<sub>2</sub> fluxes inferred using space-borne column CO<sub>2</sub> sampled in different earth orbits: the role of spatial error correlations
in Atmospheric Measurement Techniques
Zamyatin K
(2018)
Formirovanie yazykovoj politiki v respublikakh Rossii v postsovetskij period: analiz politicheskogo tsikla / The Formation of language policies in the Finno-Ugric Republics of Russia in the post-Soviet period: an analysis of a political cycle
in Yazykovoe edinstvo i yazykovoe raznoobrazie v poliehtnicheskom gosudarstve: Mezhdunarodnaya konferentsiya, Institut yazykoznaniya R?N (Moskva, 14-17 noyabrya 2018): Doklady i soobshcheniya / Language Unity and Linguistic Diversity in A Polyethnic Country: International Conference, Institute of Linguistics of the Russian Academy of Sciences (Moscow, 14-17 November 2018): Keynotes and Presentations
Buchwitz M
(2021)
Can a regional-scale reduction of atmospheric CO<sub>2</sub> during the COVID-19 pandemic be detected from space? A case study for East China using satellite XCO<sub>2</sub> retrievals
in Atmospheric Measurement Techniques
Guo L
(2020)
Landmark Papers: No. 9 Jarvis, N.J. 2007. A review of non-equilibrium water flow and solute transport in soil macropores: Principles, controlling factors and consequences for water quality. European Journal of Soil Science , 58, 523-546 Commentary on the impact of Jarvis (2007) by L. Guo , P.D. Hallett and K. Müller
in European Journal of Soil Science
Michaels, Axel (University Of Heidelberg, Germany)
(2010)
Article on Tibetan ritual, including analysis of Tibetan longevity practices
in Ritual Dynamics and the Science of Ritual. Volume II: Body, Performance, Agency and Experience: Body, Performance, Agency and Experience: Including an E-Book Version in PDF Format on CD. Edited by Angelos Chaniotis (Section I), Silke Leopold, Hendrik Schulze (Section II), Eric Venbrux, Thomas Quartier, Joanna Wojtkowiak (Section II), Jan Weinhold, G
EFSA Panel on Genetically Modified Organisms (GMO)
(2017)
Scientific Opinion on application EFSA-GMO-BE-2013-117 for authorisation of genetically modified maize MON 87427 × MON 89034 × NK603 and subcombinations independently of their origin, for food and feed uses, import and processing submitted under Regulation (EC) No 1829/2003 by Monsanto Company.
in EFSA journal. European Food Safety Authority