Remember Me
Or use your Academic/Social account:


Or use your Academic/Social account:


You have just completed your registration at OpenAire.

Before you can login to the site, you will need to activate your account. An e-mail will be sent to you with the proper instructions.


Please note that this site is currently undergoing Beta testing.
Any new content you create is not guaranteed to be present to the final version of the site upon release.

Thank you for your patience,
OpenAire Dev Team.

Close This Message


Verify Password:
Verify E-mail:
*All Fields Are Required.
Please Verify You Are Human:
fbtwitterlinkedinvimeoflicker grey 14rssslideshare1
Edinburgh Research Explorer
Institutional Repository
33095 Publications
More information
Detailed data provider information (OpenDOAR)


  • What is Said?

    Schoubye, Anders; Stokke, Andreas (2016)
    It is sometimes argued that certain sentences of natural language fail to express truth conditional contents. Standard examples include e.g. Tipper is ready and Steel is strong enough. In this paper, we provide a novel analysis of truth conditional meaning (what is said) using the notion of a question under discussion. This account (i) explains why these types of sentences are not, in fact, semantically underdetermined (yet seem truth conditionally incomplete), (ii) provides a principled anal...

    Carbon Capture and Storage:Realising the Potential?

    Ghaleigh, Navraj Singh; Haszeldine, Stuart; Rossati, David; Kern, Florian; Gross, Matt; Gross, Rob; Heptonstall, Phil; Jones, Felicity; Ascui, Francisco; Chalmers, Hannah; Gibbins, Jon; Markusson, Nils; Marsden, Wendy; Russell, Stewart; Winskel, Mark;... (2012)
    The aim of the research is to assess the technical, economic, financial and social uncertainties facing carbon capture and storage (CCS) technologies, and to analyse the potential role they could play in the UK power sector between now and 2030. CCS technologies are often highlighted as a crucial component of future low carbon energy systems – in the UK and internationally. However, it is unclear when these technologies will be technically proven at full scale, and whether their costs will be...

    Partial Knowledge in Membrane Systems: A Logical Approach

    Cavaliere, Matteo; Mardare, Radu (2006)
    We propose a logic for specifying and proving properties of membrane systems. The main idea is to approach a membrane system by using the “point of view” of an external observer. Observers (as epistemic agents) accumulate their knowledge from the partial information they collect by observing subparts of the system and by applying logical reasoning to this information. We provide a formal framework to combine and interpret distributed knowledge in order to recover the complete knowledge about ...

    Analysis of the thermomechanical inconsistency of some extended hydrodynamic models at high Knudsen number

    Dadzie, S. Kokou; Reese, Jason M. (2012)
    There are some hydrodynamic equations that, while their parent kinetic equation satisfies fundamental mechanical properties, appear themselves to violate mechanical or thermodynamic properties. This paper aims to shed some light on the source of this problem. Starting with diffusive volume hydrodynamic models, the microscopic temporal and spatial scales are first separated at the kinetic level from the macroscopic scales at the hydrodynamic level. Then, we consider Klimontovich's spatial stoc...
  • No data provider research data found
  • Latest Documents Timeline

    Chart is loading... It may take a bit of time. Please be patient and don't reload the page.

    Document Types

    Chart is loading... It may take a bit of time. Please be patient and don't reload the page.

    Funders in data provider publications

    Chart is loading... It may take a bit of time. Please be patient and don't reload the page.

    Projects with most Publications

    Chart is loading... It may take a bit of time. Please be patient and don't reload the page.

Share - Bookmark