Results 61 to 70 of about 1,406,501 (313)
Resource Usage Analysis for the Pi-Calculus [PDF]
Logical Methods in Computer Science, 2006 We propose a type-based resource usage analysis for the π-calculus extended with resource creation/access primitives. The goal of the resource usage analysis is to statically check that a program accesses resources such as files and memory in a ...
Naoki Kobayashi +2 more
doaj +1 more source
A Step-indexed Semantics of Imperative Objects [PDF]
Logical Methods in Computer Science, 2009 Step-indexed semantic interpretations of types were proposed as an alternative to purely syntactic proofs of type safety using subject reduction. The types are interpreted as sets of values indexed by the number of computation steps for which these ...
Catalin Hritcu, Jan Schwinghammer
doaj +1 more source
The Cepheids of Centaurus A (NGC 5128) and Implications for H0 [PDF]
, 2010 An analysis based on new OGLE observations reaffirms Ferrarese et al. discovery of 5 Type II Cepheids in NGC 5128. The distance to that comparatively unreddened population is d=3.8+-0.4(se) Mpc. The classical Cepheids in NGC 5128 are the most obscured in
Majaess, Daniel J.
core +2 more sources
Infinitary Combinatory Reduction Systems: Normalising Reduction Strategies [PDF]
Logical Methods in Computer Science, 2010 We study normalising reduction strategies for infinitary Combinatory Reduction Systems (iCRSs). We prove that all fair, outermost-fair, and needed-fair strategies are normalising for orthogonal, fully-extended iCRSs.
Jeroen Ketema, Jakob Grue Simonsen
doaj +1 more source
A categorical foundation for structured reversible flowchart languages: Soundness and adequacy [PDF]
Logical Methods in Computer Science, 2018 Structured reversible flowchart languages is a class of imperative reversible programming languages allowing for a simple diagrammatic representation of control flow built from a limited set of control flow structures.
Robert Glück, Robin Kaarsgaard
doaj +1 more source
Comparison of meat quality characteristics and oxidative stability between conventional and free-range chickens [PDF]
, 2014 The aim of this research was to evaluate quality traits and oxidative stability of meat products from free range (FR) and conventionally (C) raised chickens as they actually reach consumers in the Italian retail market.
A. Funaro +5 more
core +1 more source
D 3.1 PEG-fibrinogen based hydrogel prototype development
, 2020 In this Deliverable the prototypes of PEG-fibrinogen-based hydrogel formulations developed by REGENTIS and their main features are described. In section 2, the key specifications identified for the hydrogels are reported, also with a description of the three material types developed, as well as of the methods and techniques used to optimize the ...
Lorenzo Vannozzi +2 more
openaire +2 more sources
Generic Fibrational Induction [PDF]
Logical Methods in Computer Science, 2012 This paper provides an induction rule that can be used to prove properties of data structures whose types are inductive, i.e., are carriers of initial algebras of functors.
Neil Ghani +2 more
doaj +1 more source
A Type System For Call-By-Name Exceptions [PDF]
Logical Methods in Computer Science, 2009 We present an extension of System F with call-by-name exceptions. The type system is enriched with two syntactic constructs: a union type for programs whose execution may raise an exception at top level, and a corruption type for programs that may raise ...
Sylvain Lebresne
doaj +1 more source
Molecular Oncology, EarlyView.Circulating tumor DNA (ctDNA) offers a possibility for different applications in early and late stage breast cancer management. In early breast cancer tumor informed approaches are increasingly used for detecting molecular residual disease (MRD) and early recurrence. In advanced stage, ctDNA provides a possibility for monitoring disease progression and
Eva Valentina Klocker +14 more
wiley +1 more source