Schwinghammer J
(2009)
Nested Hoare Triples and Frame Rules for Higher-Order Store
in Computer Science Logic
Nordvall Forsberg F
(2010)
Inductive-Inductive Definitions
in Computer Science Logic
Melissa Leach (Author)
(2013)
Science-governance challenges
Hempe E
(2010)
Framework for Design Research in Health and Care Services
in Exploring Services Science
Ummels M
(2009)
Decision Problems for Nash Equilibria in Stochastic Games
in Computer Science Logic
Nenov Y
(2010)
On the Computability of Region-Based Euclidean Logics
in Computer Science Logic
French P
(2019)
Forensic speech science
Robison R
(2013)
Communicating Climate Science
in Weather
Duckham M
(2010)
Qualitative Change to 3-Valued Regions
in Geographic Information Science
Pecchia L
(2013)
Application of Analytic Hierarchy Process for User Needs Elicitation: A Preliminary Study on a Device for Auto-injection of Epinephrine
in Health Information Science
Miranda, E. R.
(2023)
Towards Neurotechnology for Musical Creativity
in Science-Music Borderlands
Sibeck D
(2011)
ARTEMIS Science Objectives
in Space Science Reviews
Markusson N
(2020)
Social Science Sequestered
in Frontiers in Climate
Mazin Benjamin A.
(2015)
Science with KRAKENS
in arXiv e-prints
Giannachi G
(2016)
Copy Cut Paste - Humans (Re-)Printed: Lynn Hershman Leeson's The Infinity Engine
in Performance and Science
Zhang S
(2013)
Prediction of Assistive Technology Adoption for People with Dementia
in Health Information Science
Egger J
(2009)
Enriching an Effect Calculus with Linear Types
in Computer Science Logic
Groarke HNK
(2017)
Atlas of Science
Craig, C
(2010)
Race, Scripture, Science
in Journal of Scottish Thought
Boreale M
(2010)
A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis
in Theoretical Computer Science
Professor Alexander Bird (Author)
Introduction: Metaphysics and Science
in Metaphysics and Science
Khalidi, M A
(2009)
How scientific is scientific essentialism?
in Metaphysics and Science
Professor Alexander Bird (Author)
Monistic dispositional essentialism
in Metaphysics of Science
De Roure D
(2015)
Music and Science
Hey T
(2015)
Open science decoded
in Nature Physics
Wood M
(2019)
Engaged Political Science
in Political Studies Review
Markusson N
(2020)
Social science sequestered
Schwinghammer J
(2009)
Nested Hoare Triples and Frame Rules for Higher-Order Store
in Computer Science Logic
Aehlig K
(2006)
A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of Automata
in Computer Science Logic
Mugwagwa, J
(2020)
Science granting councils as key players in promoting the financing of research, development and innovation in Africa
in Building science systems in Africa: challenges and opportunities for science councils
Zhang JY
(2015)
The 'credibility paradox' in China's science communication: Views from scientific practitioners.
in Public understanding of science (Bristol, England)
Tarekegn G
(2020)
Ethiopian Preservice Primary Science Teachers' Perceptions of Mentoring in Science Teaching
in Journal of Science Teacher Education
Lane S
(2010)
Doing flood risk science differently: an experiment in radical scientific method
in Transactions of the Institute of British Geographers
Perelló J
(2012)
Linking science and arts: Intimate science, shared spaces and living experiments
in The European Physical Journal Special Topics
Robinson, S
(2021)
, 'Science Diplomacy and the Scientific Imagination: The Case of Ocean Exploitation'
in Centaurus
Colton. S
(2009)
Seven Catchy Phrases for Computational Creativity Research
Bechhofer S
(2014)
Computational Analysis of the Live Music Archive
Schorlemmer. M
(2014)
COINVENT: Towards a Computational Concept Invention Theory
Schorlemmer. M
(2014)
COINVENT: Towards a Computational Concept Invention Theory
Judith Good
(2009)
Language-based support for fostering computational thinking
Cameron Browne (Author)
(2012)
Computational Creativity in a Closed Game System
Munro A
(2009)
Enzyme Mechanisms: Fast Reaction and Computational Approaches
in Biochemical Society Transactions
Stowell D
(2018)
Computational Bioacoustic Scene Analysis
in Computational Analysis of Sound Scenes and Events
Lyons A
(2018)
Computational time-of-flight diffuse optical tomography
Davies S
(2022)
Computational Modelling of Doubly-Photopolymerized Holographic Biosensors
in Advanced Theory and Simulations
Seedhouse P
(2014)
The French Digital Kitchen
in Computational Linguistics - Concepts, Methodologies, Tools, and Applications
Catlow CR
(2010)
Advances in computational studies of energy materials.
in Philosophical transactions. Series A, Mathematical, physical, and engineering sciences
Benetos E
(2018)
Approaches to Complex Sound Scene Analysis
in Computational Analysis of Sound Scenes and Events
Martin H
(2021)
Computational power of matchgates with supplementary resources
Davies S
(2022)
Computational Modelling of Doubly-Photopolymerized Holographic Biosensors
in Advanced Theory and Simulations
Browne C
(2012)
Computational creativity in a closed game system
Tonolini F
(2019)
Variational Inference for Computational Imaging Inverse Problems
Sun B
(2013)
3D computational imaging with single-pixel detectors.
in Science (New York, N.Y.)
Catlow CR
(2010)
Advances in computational studies of energy materials.
in Philosophical transactions. Series A, Mathematical, physical, and engineering sciences
Michaelson G
(2020)
Programming Paradigms, Turing Completeness and Computational Thinking
in The Art, Science, and Engineering of Programming
Wood C
(2015)
Collaborative computational project for electron cryo-microscopy.
in Acta crystallographica. Section D, Biological crystallography
Buneman P
(2016)
Why Data Citation Is a Computational Problem.
in Communications of the ACM
Buneman P
(2016)
Why Data Citation Is a Computational Problem.
in Communications of the ACM
Aehlig K
(2008)
On the Computational Complexity of Cut-Reduction
Boccolini A
(2017)
Computational ghost imaging with the human eye
Mitchell S
(2013)
A Computational Model of Liver Iron Metabolism
Dieste M.
(2010)
Stochastic computational methods for broadband fan noise
P D Ruiz, V. Silberschmidt
(2009)
Experimental Analysis of Mechanical Behaviour of Advanced Materials
in Computational and Experimental Mechanics of Advanced Materials
Smith W
(2020)
Molecular simulation and the collaborative computational projects
in The European Physical Journal H
Aehlig K
(2010)
On the computational complexity of cut-reduction
in Annals of Pure and Applied Logic
S.Agapiou
(2017)
Importance sampling: computational complexity and intrinsic dimension
in Statistical Science
Moreira I
(2018)
Computational prediction of tripeptide-dipeptide co-assembly
Tonolini F
(2019)
Variational Inference for Computational Imaging Inverse Problems
Luque-Ayala Andres
(2020)
Urban Operating Systems: Producing the Computational City
Pedone E
(2021)
Cheetah: A Computational Toolkit for Cybergenetic Control.
in ACS synthetic biology
Peters, H
(2021)
Performing Digital Water Publics: A Computational Approach
Phillips D
(2016)
Computational imaging with adaptive spatially-variable resolution
Hanchard, M.
(2019)
Using NVivo to structure a computational ontology
Hussain A
(2015)
Computational Intelligence for Changing Environments [Guest Editorial]
in IEEE Computational Intelligence Magazine
Choudhury D
(2020)
Computational optical imaging with a photonic lantern.
in Nature communications
Tonolini Francesco
(2020)
Variational Inference for Computational Imaging Inverse Problems
in JOURNAL OF MACHINE LEARNING RESEARCH
Berardo E
(2020)
Computational screening for nested organic cage complexes
in Molecular Systems Design & Engineering
Wood C
(2015)
Collaborative computational project for electron cryo-microscopy.
in Acta crystallographica. Section D, Biological crystallography
Choudhury D
(2020)
Computational optical imaging with a photonic lantern.
in Nature communications
Choudhury D
(2020)
Computational optical imaging with a photonic lantern.
in Nature communications
Mitchell S
(2013)
A computational model of liver iron metabolism.
in PLoS computational biology
Bechhofer S
(2014)
Computational Analysis of the Live Music Archive
Bechhofer, S
(2014)
Computational Analysis Of The Live Music Archive
Walega P
(2023)
Computational complexity of hybrid interval temporal logics
in Annals of Pure and Applied Logic
Wade AD
(2019)
Computational Fluorine Scanning Using Free-Energy Perturbation.
in Journal of chemical information and modeling
Tonolini Francesco
(2020)
Variational Inference for Computational Imaging Inverse Problems
in JOURNAL OF MACHINE LEARNING RESEARCH
Dimitrakopoulos E
(2013)
Seismic Overturning of Rocking Structures with External Viscous Dampers
in Computational Methods in Earthquake Engineering - Volume 2
Osborne JM
(2014)
Ten simple rules for effective computational research.
in PLoS computational biology
Lyons A
(2019)
Computational time-of-flight diffuse optical tomography
in Nature Photonics
Lourenço J
(2018)
Challenges in dengue research: A computational perspective.
in Evolutionary applications
Zasada S
(2010)
Computational biomedicine: The role of workflow tools
in Procedia Computer Science
Virtanen T
(2018)
Introduction to Sound Scene and Event Analysis
in Computational Analysis of Sound Scenes and Events
Hebenstreit M
(2020)
Computational power of matchgates with supplementary resources
in Physical Review A
Davies DW
(2016)
Computational Screening of All Stoichiometric Inorganic Materials.
in Chem
Tonolini F.
(2020)
Variational inference for computational imaging inverse problems
in Journal of Machine Learning Research
Krahmer E
(2012)
Computational Generation of Referring Expressions: A Survey
in Computational Linguistics