Kiefer S
(2015)
Minimisation of Multiplicity Tree Automata
in Foundations of Software Science and Computation Structures - 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Lange J
(2017)
On the Undecidability of Asynchronous Session Subtyping
in Foundations of Software Science and Computation Structures - 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Dal Lago U
(2020)
Decomposing Probabilistic Lambda-Calculi
in Foundations of Software Science and Computation Structures - 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
Cotton-Barratt C
(2015)
Fragments of ML Decidable by Nested Data Class Memory Automata
in Foundations of Software Science and Computation Structures - 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Jamaludin A
(2023)
ISSLS PRIZE in Clinical Science 2023: comparison of degenerative MRI features of the intervertebral disc between those with and without chronic low back pain. An exploratory study of two large female populations using automated annotation.
in European spine journal : official publication of the European Spine Society, the European Spinal Deformity Society, and the European Section of the Cervical Spine Research Society
Gehrke M
(2020)
A Duality Theoretic View on Limits of Finite Structures
in Foundations of Software Science and Computation Structures - 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
Laird J
(2017)
From Qualitative to Quantitative Semantics
in Foundations of Software Science and Computation Structures - 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Bonchi F
(2020)
Contextual Equivalence for Signal Flow Graphs
in Foundations of Software Science and Computation Structures - 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
Lange J
(2017)
On the Undecidability of Asynchronous Session Subtyping
in Foundations of Software Science and Computation Structures - 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Lange J
(2017)
On the Undecidability of Asynchronous Session Subtyping
in Foundations of Software Science and Computation Structures - 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Van Heerdt G
(2020)
Learning Weighted Automata over Principal Ideal Domains
in Foundations of Software Science and Computation Structures - 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
Caltais G
(2022)
DyNetKAT: An Algebra of Dynamic Networks
in Foundations of Software Science and Computation Structures - 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings
Kappé T
(2020)
Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness
in Foundations of Software Science and Computation Structures - 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
Docherty S
(2018)
Modular Tableaux Calculi for Separation Theories
in Foundations of Software Science and Computation Structures - 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings
Cotton-Barratt C
(2015)
Fragments of ML Decidable by Nested Data Class Memory Automata
in Foundations of Software Science and Computation Structures - 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Ho H
(2015)
The Cyclic-Routing UAV Problem is PSPACE-Complete
in Foundations of Software Science and Computation Structures - 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Cotton-Barratt C
(2015)
Fragments of ML Decidable by Nested Data Class Memory Automata
in Foundations of Software Science and Computation Structures - 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Bonchi F
(2020)
Contextual Equivalence for Signal Flow Graphs
in Foundations of Software Science and Computation Structures - 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
Gay S
(2022)
The Different Shades of Infinite Session Types
in Foundations of Software Science and Computation Structures - 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings
Labbaf F
(2023)
Compositional Learning for Interleaving Parallel Automata
in Foundations of Software Science and Computation Structures - 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
Caltais G
(2022)
DyNetKAT: An Algebra of Dynamic Networks
in Foundations of Software Science and Computation Structures - 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings
Laird J
(2020)
A Curry-style Semantics of Interaction: From Untyped to Second-Order Lazy $$\lambda \mu $$-Calculus
in Foundations of Software Science and Computation Structures - 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
Kiefer S
(2015)
Minimisation of Multiplicity Tree Automata
in Foundations of Software Science and Computation Structures - 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Huot M
(2020)
Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing
in Foundations of Software Science and Computation Structures - 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
Ma H
(2017)
Optimal Battery Charging Strategy Based on Complex System Optimization
in Advanced Computational Methods in Energy, Power, Electric Vehicles, and Their Integration - International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings, Part III
Li X
(2017)
A Novel RBF Neural Model for Single Flow Zinc Nickel Batteries
in Advanced Computational Methods in Energy, Power, Electric Vehicles, and Their Integration - International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings, Part III
Dove ES
(2015)
An Appeal to the Global Health Community for a Tripartite Innovation: An "Essential Diagnostics List," "Health in All Policies," and "See-Through 21(st) Century Science and Ethics".
in Omics : a journal of integrative biology
López-Caraballo C
(2024)
QUIJOTE scientific results - XIII. Intensity and polarization study of the microwave spectra of supernova remnants in the QUIJOTE-MFI wide survey: CTB 80, Cygnus Loop, HB 21, CTA 1, Tycho, and HB 9
in Monthly Notices of the Royal Astronomical Society
Machado I
(2022)
Quality-Aware Cine Cardiac MRI Reconstruction and Analysis from Undersampled K-Space Data
in Statistical Atlases and Computational Models of the Heart. Multi-Disease, Multi-View, and Multi-Center Right Ventricular Segmentation in Cardiac MRI Challenge - 12th International Workshop, STACOM 2021, Held in Conjunction with MICCAI 2021, Strasbourg, France, September 27, 2021, Revised Selected Papers
Machado I
(2022)
Quality-Aware Cine Cardiac MRI Reconstruction and Analysis from Undersampled K-Space Data
in Statistical Atlases and Computational Models of the Heart. Multi-Disease, Multi-View, and Multi-Center Right Ventricular Segmentation in Cardiac MRI Challenge - 12th International Workshop, STACOM 2021, Held in Conjunction with MICCAI 2021, Strasbourg, France, September 27, 2021, Revised Selected Papers
Mariscal-Harana J
(2022)
Improved AI-Based Segmentation of Apical and Basal Slices from Clinical Cine CMR
in Statistical Atlases and Computational Models of the Heart. Multi-Disease, Multi-View, and Multi-Center Right Ventricular Segmentation in Cardiac MRI Challenge - 12th International Workshop, STACOM 2021, Held in Conjunction with MICCAI 2021, Strasbourg, France, September 27, 2021, Revised Selected Papers
Dawood T
(2022)
Uncertainty-Aware Training for Cardiac Resynchronisation Therapy Response Prediction
in Statistical Atlases and Computational Models of the Heart. Multi-Disease, Multi-View, and Multi-Center Right Ventricular Segmentation in Cardiac MRI Challenge - 12th International Workshop, STACOM 2021, Held in Conjunction with MICCAI 2021, Strasbourg, France, September 27, 2021, Revised Selected Papers
Ugurlu D
(2022)
The Impact of Domain Shift on Left and Right Ventricle Segmentation in Short Axis Cardiac MR Images
in Statistical Atlases and Computational Models of the Heart. Multi-Disease, Multi-View, and Multi-Center Right Ventricular Segmentation in Cardiac MRI Challenge - 12th International Workshop, STACOM 2021, Held in Conjunction with MICCAI 2021, Strasbourg, France, September 27, 2021, Revised Selected Papers
Lorca-Puls DL
(2021)
Reply: Broca's area: why was neurosurgery neglected for so long when seeking to re-establish the scientific truth? and Where is the speech production area? Evidence from direct cortical electrical stimulation mapping.
in Brain : a journal of neurology
Wills H
(2020)
Benjamin Wardhaugh, Gunpowder and Geometry: The Life of Charles Hutton, Pit Boy, Mathematician, and Scientific Rebel. London: William Collins, 2019. pp. 312. ISBN 978-0-0082-9995-8. £20.00/$39.99 (hardback).
in The British Journal for the History of Science
Taub, L.
(2013)
On the Variety of 'Genres' of Greek Mathematical Writing: Thinking about Mathematical Texts and Modes of Mathematical Discourse
in 'On the Variety of 'Genres' of Greek Mathematical Writing: Thinking about Mathematical Texts and Modes of Mathematical Discourse', in M. Asper, ed, Writing Science: Medical and Mathematical Authorship in Ancient Greece
Ogilvie IRJ
(2010)
Solvent processing of PMMA and COC chips for bonding devices with optical quality surfaces. In: Verpoorte, S.; et al (eds.) 14th International Conference on Miniaturized Systems for Chemistry and Life Sciences
in Solvent processing of PMMA and COC chips for bonding devices with optical quality surfaces. In: Verpoorte, S.; et al (eds.) 14th International Conference on Miniaturized Systems for Chemistry and Life Sciences
Croudace IW
(2015)
Future Developments and Innovations in High-Resolution Core Scanning. In: Croudace, I.W. ; Rothwell, R.G. , (eds.) Micro-XRF Studies of Sediment Cores: Applications of a non-destructive tool for the environmental sciences.
in Future Developments and Innovations in High-Resolution Core Scanning. In: Croudace, I.W. ; Rothwell, R.G. , (eds.) Micro-XRF Studies of Sediment Cores: Applications of a non-destructive tool for the environmental sciences.
Ogilvie IRJ
(2010)
Solvent processing of PMMA and COC chips for bonding devices with optical quality surfaces. In: Verpoorte, S.; et al (eds.) 14th International Conference on Miniaturized Systems for Chemistry and Life Sciences
in Solvent processing of PMMA and COC chips for bonding devices with optical quality surfaces. In: Verpoorte, S.; et al (eds.) 14th International Conference on Miniaturized Systems for Chemistry and Life Sciences
Qiu H
(2020)
Deep Learning for Cardiac Motion Estimation: Supervised vs. Unsupervised Training
in Statistical Atlases and Computational Models of the Heart. Multi-Sequence CMR Segmentation, CRT-EPiggy and LV Full Quantification Challenges - 10th International Workshop, STACOM 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 13, 2019, Revised Selected Papers
Puyol-Antón E
(2020)
Assessing the Impact of Blood Pressure on Cardiac Function Using Interpretable Biomarkers and Variational Autoencoders
in Statistical Atlases and Computational Models of the Heart. Multi-Sequence CMR Segmentation, CRT-EPiggy and LV Full Quantification Challenges - 10th International Workshop, STACOM 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 13, 2019, Revised Selected Papers
Qiu H
(2020)
Deep Learning for Cardiac Motion Estimation: Supervised vs. Unsupervised Training
in Statistical Atlases and Computational Models of the Heart. Multi-Sequence CMR Segmentation, CRT-EPiggy and LV Full Quantification Challenges - 10th International Workshop, STACOM 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 13, 2019, Revised Selected Papers
Chartsias A
(2020)
Multimodal Cardiac Segmentation Using Disentangled Representation Learning
in Statistical Atlases and Computational Models of the Heart. Multi-Sequence CMR Segmentation, CRT-EPiggy and LV Full Quantification Challenges - 10th International Workshop, STACOM 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 13, 2019, Revised Selected Papers
Campello V
(2020)
Combining Multi-Sequence and Synthetic Images for Improved Segmentation of Late Gadolinium Enhancement Cardiac MRI
in Statistical Atlases and Computational Models of the Heart. Multi-Sequence CMR Segmentation, CRT-EPiggy and LV Full Quantification Challenges - 10th International Workshop, STACOM 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 13, 2019, Revised Selected Papers
Müller, K.
(2013)
Drawing Lines. Art and Science in Johannes Hevelius's Selenographia (1647)
in 'Drawing Lines. Art and Science in Johannes Hevelius's Selenographia (1647)', in Richard L. Kremer, Jaroslaw Wlodarczyk, eds, Johannes Hevelius and His World. Astronomer, Cartographer, Philosopher and Correspondent (Studia Copernicana, 44)
Parrish R
(2009)
Comment on: "Does the Karakoram fault interrupt mid-crustal channel flow in the western Himalaya?" by Mary L. Leech, Earth and Planetary Science Letters 276 (2008) 314-322
in Earth and Planetary Science Letters
Westerberg Ida K.
(2020)
Reply to Discussion of "Perceptual models of uncertainty for socio-hydrological systems: a flood risk change example" (Reprinted from HYDROLOGICAL SCIENCES JOURNAL, vol 63, pg 1998-2000, 2018)
in HYDROLOGICAL SCIENCES JOURNAL
Jungclaus J
(2017)
The PMIP4 contribution to CMIP6 - Part 3: The last millennium, scientific objective, and experimental design for the PMIP4 <i>past1000</i> simulations
in Geoscientific Model Development
Jamaludin A
(2017)
ISSLS PRIZE IN BIOENGINEERING SCIENCE 2017: Automation of reading of radiological features from magnetic resonance images (MRIs) of the lumbar spine without human intervention is comparable with an expert radiologist.
in European spine journal : official publication of the European Spine Society, the European Spinal Deformity Society, and the European Section of the Cervical Spine Research Society
Nowell G
(2009)
Comments on Richards et al., Journal of Archaeological Science 35, 2008 "Strontium isotope evidence of Neanderthal mobility at the site of Lakonis, Greece using laser-ablation PIMMS"
in Journal of Archaeological Science
Royse K
(2009)
Reply to discussion by J. N. Hutchinson on the paper "Property attribution of 3D geological models in the Thames Gateway, London: new ways of visualising geo-scientific information"
in Bulletin of Engineering Geology and the Environment