Home
About this system
Release history
Contact us
Search
All Data
Advanced
Please select the required search fields:
ISBN
ISSN
ORCID iD
Publication Abstract
Publication Title
Projects
(31355)
Publications
(12758)
People
(33699)
Organisations
(1818)
Outcomes
(23551)
Classifications
(0)
The following are buttons which change the sort order, pressing the active button will toggle the sort order
Relevance
descending (press to sort ascending)
|<
<
1
2
3
4
5
>
>|
CSV
x
Download all search results to a CSV file?
Large result sets may take several minutes to download.
The first row is header row.
Generation of CSV export files is restricted, and may be rejected during busy periods. If this happens then please wait and try again after a brief interval.
25
50
100
Refine
Kennedy C (2007)
AIMSS: An Architecture for Data Driven Simulations in the Social Sciences
in Computational Science - ICCS 2007
Fangohr H (2021)
Jupyter in Computational Science
in Computing in Science & Engineering
Fairman M (2007)
Building Scientific Workflows for Earth System Modelling with Windows Workflow Foundation
in Computational Science - ICCS 2007
Joppa LN (2013)
Computational science. Troubling trends in scientific software use.
in Science (New York, N.Y.)
Kravchenko A (2018)
$${{\textsc {ber}}}_{y}{\textsc {l}}$$BERyL: A System for Web Block Classification
in Transactions on Computational Science XXXIII
Regazzoni F (2009)
Evaluating Resistance of MCML Technology to Power Analysis Attacks Using a Simulation-Based Methodology
in Transactions on Computational Science IV
Miles H (2016)
A Community-Built Virtual Heritage Collection
in Transactions on Computational Science XXVI
Miles H (2016)
A Community-Built Virtual Heritage Collection
in Transactions on Computational Science XXVI
Triantakonstantis D (2009)
A Spatial Structural and Statistical Approach to Building Classification of Residential Function for City-Scale Impact Assessment Studies
in Computational Science and Its Applications - ICCSA 2009
Chatzikokolakis K (2009)
Bisimulation for Demonic Schedulers
in Foundations of Software Science and Computational Structures
Chatzikokolakis K (2009)
Bisimulation for Demonic Schedulers
in Foundations of Software Science and Computational Structures
Leslie D (2023)
The Ethics of Computational Social Science
in Handbook of Computational Social Science for Policy
Yoshida N (2007)
Logical Reasoning for Higher-Order Functions with Local State
in Foundations of Software Science and Computational Structures
Chatzikokolakis K (2009)
Bisimulation for Demonic Schedulers
in Foundations of Software Science and Computational Structures
Birkin M (2013)
The Classification of Space-Time Behaviour Patterns in a British City from Crowd-Sourced Data
in Computational Science and Its Applications - ICCSA 2013
Mio M (2011)
Probabilistic Modal µ-Calculus with Independent Product
in Foundations of Software Science and Computational Structures
Egger J (2010)
Linearly-Used Continuations in the Enriched Effect Calculus
in Foundations of Software Science and Computational Structures
Göller S (2012)
Branching-Time Model Checking of Parametric One-Counter Automata
in Foundations of Software Science and Computational Structures
Göller S (2012)
Branching-Time Model Checking of Parametric One-Counter Automata
in Foundations of Software Science and Computational Structures
Kiefer S (2012)
On the Complexity of the Equivalence Problem for Probabilistic Automata
in Foundations of Software Science and Computational Structures
Kiefer S (2012)
On the Complexity of the Equivalence Problem for Probabilistic Automata
in Foundations of Software Science and Computational Structures
Broadbent C (2009)
On Global Model Checking Trees Generated by Higher-Order Recursion Schemes
in Foundations of Software Science and Computational Structures
Murawski A (2010)
Block Structure vs. Scope Extrusion: Between Innocence and Omniscience
in Foundations of Software Science and Computational Structures
Schwinghammer J (2010)
A Semantic Foundation for Hidden State
in Foundations of Software Science and Computational Structures
Lannelongue L (2023)
GREENER principles for environmentally sustainable computational science.
in Nature computational science
Staton S (2010)
Completeness for Algebraic Theories of Local State
in Foundations of Software Science and Computational Structures
Chatzikokolakis K (2009)
Bisimulation for Demonic Schedulers
in Foundations of Software Science and Computational Structures
Chatzikokolakis K (2009)
Bisimulation for Demonic Schedulers
in Foundations of Software Science and Computational Structures
Göller S (2012)
Branching-Time Model Checking of Parametric One-Counter Automata
in Foundations of Software Science and Computational Structures
Levy P (2011)
Similarity Quotients as Final Coalgebras
in Foundations of Software Science and Computational Structures
Neville V (2018)
Applying computational methods to animal welfare science
Schwinghammer J (2010)
A Semantic Foundation for Hidden State
in Foundations of Software Science and Computational Structures
Yoshida N (2010)
Parameterised Multiparty Session Types
in Foundations of Software Science and Computational Structures
Yoshida N (2010)
Parameterised Multiparty Session Types
in Foundations of Software Science and Computational Structures
Atkey R (2011)
When Is a Type Refinement an Inductive Type?
in Foundations of Software Science and Computational Structures
Neal Lathia (Co-Author) (2013)
Open source smartphone libraries for computational science
in UbiComp '13 Adjunct
Antonik A (2008)
Complexity of Decision Problems for Mixed and Modal Specifications
in Foundations of Software Science and Computational Structures
Ghica D (2011)
Synchronous Game Semantics via Round Abstraction
in Foundations of Software Science and Computational Structures
Kashyap R (2023)
Leveraging Digital and Computational Demography for Policy Insights
in Handbook of Computational Social Science for Policy
Yoshida N (2010)
Parameterised Multiparty Session Types
in Foundations of Software Science and Computational Structures
Cohen J. (2019)
Simplifying high-order mesh generation for computational scientists
in CEUR Workshop Proceedings
Van Hemert J (2010)
Generating web-based user interfaces for computational science
in Concurrency and Computation: Practice and Experience
Cohen J. (2019)
Simplifying high-order mesh generation for computational scientists
in CEUR Workshop Proceedings
Wright H (2010)
Steering and visualization: Enabling technologies for computational science
in Future Generation Computer Systems
Van Hemert J (2010)
Generating web-based user interfaces for computational science
in Concurrency and Computation: Practice and Experience
Neal Lathia (2013)
Open Source Smartphone Libraries for Computational Social Science
William Housley (Author) (2013)
Computational and Transformational Social Science: The COSMOS Experience
Coca-Castro A (2023)
Environmental Data Science Book: a computational notebook community showcasing open and reproducible environmental science
Deemter (2016)
Computational Models of Referring: A Study in Cognitive Science
Deemter (2016)
Computational Models of Referring: A Study in Cognitive Science
Kees Van Deemter (2016)
Computational Models of Referring: a Study in Cognitive Science
Kees Van Deemter (2016)
Computational Models of Referring: a Study in Cognitive Science
Addyman C (2012)
Computational modeling in cognitive science: a manifesto for change.
in Topics in cognitive science
Mikhailov S (2015)
BDIE System in the Mixed BVP for the Stokes Equations with Variable Viscosity
in Integral Methods in Science and Engineering - Theoretical and Computational Advances
Mikhailov S (2015)
BDIE System in the Mixed BVP for the Stokes Equations with Variable Viscosity
in Integral Methods in Science and Engineering - Theoretical and Computational Advances
Chkadua O (2011)
Analysis of Some Localized Boundary-Domain Integral Equations for Transmission Problems with Variable Coefficients
in Integral Methods in Science and Engineering - Computational and Analytic Aspects
Malik-Sheriff RS (2020)
BioModels-15 years of sharing computational models in life science.
in Nucleic acids research
Malik-Sheriff RS (2020)
BioModels-15 years of sharing computational models in life science.
in Nucleic acids research
Lonsky M (2023)
Developing computational skills through simulation based problem-solving in science
Malik-Sheriff RS (2020)
BioModels-15 years of sharing computational models in life science.
in Nucleic acids research
Chappell D (2011)
Estimating the Validity of Statistical Energy Analysis Using Dynamical Energy Analysis: A Preliminary Study
in Integral Methods in Science and Engineering - Computational and Analytic Aspects
Maksimov D (2011)
A New Hybrid Method to Predict the Distribution of Vibro-Acoustic Energy in Complex Built-Up Structures
in Integral Methods in Science and Engineering - Computational and Analytic Aspects
Chappell D (2023)
Ray-Tracing the Ulam Way
in Integral Methods in Science and Engineering - Analytic and Computational Procedures
Malcolm Williams (Author) (2012)
Computational Social Science and Methodological Innovation: Surrogacy, Augmentation or Reorientation
Annett J (2010)
Special section: CompSci07, Computational Science 2007: Interdisciplinary challenges and perspectives, from the Grid to e-Science
in Future Generation Computer Systems
Annett J (2010)
Special section: CompSci07, Computational Science 2007: Interdisciplinary challenges and perspectives, from the Grid to e-Science
in Future Generation Computer Systems
Ford, R.W. (2013)
GungHo Phase 1 Computational Science Recommendations, Technical Report 587, Met Office
Pease A (2019)
The importance of applying computational creativity to scientific and mathematical domains
Pease A (2019)
The importance of applying computational creativity to scientific and mathematical domains
Pease A (2019)
The importance of applying computational creativity to scientific and mathematical domains
Pease A (2019)
The Importance of Applying Computational Creativity to Scientific and Mathematical Domains
Pease A (2019)
The importance of applying computational creativity to scientific and mathematical domains
Westermayr J (2021)
Perspective on integrating machine learning into computational chemistry and materials science.
in The Journal of chemical physics
Pease A. (2019)
The importance of applying computational creativity to scientific and mathematical domains
in Proceedings of the 10th International Conference on Computational Creativity, ICCC 2019
Pease A (2019)
The importance of applying computational creativity to scientific and mathematical domains
Pease A (2019)
The importance of applying computational creativity to scientific and mathematical domains
Marion Vorms (Author) (2011)
How are Scientific Theories to Be Analysed? Representational and Computational Aspects
Kleese Van Dam K (2012)
Integrating Data Management and Collaborative Sharing with Computational Science Research Processes
in Handbook of Research on Computational Science and Engineering - Theory and Practice
Li N (2023)
A Dense Retrieval System and Evaluation Dataset for Scientific Computational Notebooks
Pease A (2019)
The importance of applying computational creativity to scientific and mathematical domains
Ismail I (2023)
Eat, sleep, code, repeat: tips for early-career researchers in computational science
in The European Physical Journal Plus
McCloskey J (2023)
Reducing disaster risk for the poor in tomorrow's cities with computational science
in Nature Computational Science
McCloskey J (2023)
Reducing disaster risk for the poor in tomorrow's cities with computational science
in Nature Computational Science
Cullen, Mike, Freitag, Melina A., Kindermann, Stefan, Scheichl, Robert (2013)
Large Scale Inverse Problems: Computational Methods and Applications in the Earth Sciences
Cullen, Mike, Freitag, Melina A., Kindermann, Stefan, Scheichl, Robert (2013)
Large Scale Inverse Problems: Computational Methods and Applications in the Earth Sciences
Goudarouli, E.
Computational Archival Science: Exploring Data, Investigating Methodologies and Bringing Interdisciplinary Groups Together
Yang L (2019)
Evaluating the Impact of an Integrated Urban Design of Transport Infrastructure and Public Space on Human Behavior and Environmental Quality: A Case Study in Beijing
in Social Simulation for a Digital Society - Applications and Innovations in Computational Social Science
Addis, M. (2014)
Proceedings of the 50th Anniversary Convention of the AISB: Computational Scientific Discovery Symposium
Addis, M. (2014)
Proceedings of the 50th Anniversary Convention of the AISB: Computational Scientific Discovery Symposium
in x
Carver J (2017)
The 4th International Workshop on Software Engineering for HPC in Computational Science and Engineering
in Computing in Science & Engineering
Beg M (2017)
User interfaces for computational science: A domain specific language for OOMMF embedded in Python
in AIP Advances
Leslie D (2022)
Don't "research fast and break things": On the ethics of Computational Social Science
Leslie D (2022)
Don't "research fast and break things": On the ethics of Computational Social Science
Leslie D (2022)
Don't "research fast and break things": On the ethics of Computational Social Science
Saha S (2021)
Hierarchical Deep Learning Neural Network (HiDeNN): An artificial intelligence (AI) framework for computational science and engineering
in Computer Methods in Applied Mechanics and Engineering
Saha S (2021)
Hierarchical Deep Learning Neural Network (HiDeNN): An artificial intelligence (AI) framework for computational science and engineering
in Computer Methods in Applied Mechanics and Engineering
Amendola M (2021)
Data Assimilation in the Latent Space of a Convolutional Autoencoder
in Computational Science - ICCS 2021 - 21st International Conference, Krakow, Poland, June 16-18, 2021, Proceedings, Part V
Afzali J (2021)
Latent GAN: Using a Latent Space-Based GAN for Rapid Forecasting of CFD Models
in Computational Science - ICCS 2021 - 21st International Conference, Krakow, Poland, June 16-18, 2021, Proceedings, Part V
Saha S (2021)
Hierarchical Deep Learning Neural Network (HiDeNN): An artificial intelligence (AI) framework for computational science and engineering
in Computer Methods in Applied Mechanics and Engineering
Chue Hong N (2021)
Understanding Equity, Diversity and Inclusion Challenges Within the Research Software Community
in Computational Science - ICCS 2021 - 21st International Conference, Krakow, Poland, June 16-18, 2021, Proceedings, Part VI
|<
<
1
2
3
4
5
>
>|