Results 31 to 40 of about 432,853 (282)
BRICS Report Series, 2003 A fully abstract denotational semantics for the higher-order process language HOPLA is presented. It characterises contextual and logical equivalence, the latter linking up with simulation. The semantics is a clean, domain-theoretic description of processes as downwards-closed sets of computation paths: the operations of HOPLA arise as syntactic ...
Nygaard, Mikkel, Winskel, Glynn
openaire +4 more sources
BMJ Open, 2023 Objectives To identify caregiver and children factors associated with caregiver burden on primary caregivers of children with cerebral palsy (CP).Design Systematic reviewData sources Seven electronic databases, including PubMed, Cochrane Library, Scopus,
Fang Liu +3 more
doaj +1 more source
On Probabilistic Applicative Bisimulation and Call-by-Value $\lambda$-Calculi (Long Version) [PDF]
, 2014 Probabilistic applicative bisimulation is a recently introduced coinductive methodology for program equivalence in a probabilistic, higher-order, setting. In this paper, the technique is applied to a typed, call-by-value, lambda-calculus.
C. Shannon +11 more
core +4 more sources
Generating a Spatiotemporal Dynamic Map for Traffic Analysis Using Macroscopic Fundamental Diagram
Journal of Advanced Transportation, 2019 Transportation simulation and analysis projects that utilize maps with inappropriate fidelity levels carry a significant risk of having poor runtime or poor prediction performance. To address this, researchers use map abstraction method to abstract out a
Yudi Li, Lei Zhu, Jian Sun, Ye Tian
doaj +1 more source
Climate Variability and Industrial Groundwater Abstraction in a Water-Stressed Petroleum Basin: Water Demand Dynamics in Lokichar Oil Production Wells, Kenya [PDF]
Water Harvesting ResearchThe Lokichar Basin in Turkana, northern Kenya, is a semi-arid environment marked by pronounced rainfall variability and intense competition for water resources among domestic, livestock, and oil-driven industrial demands.
Mary Makokha, Martin Kalibbala
doaj +1 more source
Fully Abstract Encodings of $\lambda$-Calculus in HOcore through Abstract Machines [PDF]
Logical Methods in Computer ScienceWe present fully abstract encodings of the call-by-name and call-by-value $\lambda$-calculus into HOcore, a minimal higher-order process calculus with no name restriction.
Małgorzata Biernacka +5 more
doaj +1 more source
On Applicative Similarity, Sequentiality, and Full Abstraction [PDF]
, 2015 International audienceWe study how applicative bisimilarity behaves when instantiated on a call-by-value probabilistic λ-calculus, endowed with Plotkin's parallel disjunction operator.
Crubillé, Raphaëlle +3 more
core +3 more sources
Full abstraction for expressiveness: history, myths and facts [PDF]
, 2014 Dieser Beitrag ist mit Zustimmung des Rechteinhabers aufgrund einer (DFG geförderten) Allianz- bzw. Nationallizenz frei zugänglich.This publication is with permission of the rights owner freely accessible due to an Alliance licence and a national licence
Gorla, Daniele, Nestmann, Uwe
core +1 more source
GAL Framework – Current State of the Project
Geoinformatics FCE CTU, 2009 The GAL (GIS Abstraction Layer) Framework is a component-architecture-oriented1 remote procedure call (RPC) library with implementations of GIS-related subsystems communicating using the library and a set of demonstrational and testing tools utilizing ...
Radek Bartoň, Martin Hrubý
doaj +1 more source
Implementation of Epidemic Routing with IP Convergence Layer in ns-3 [PDF]
, 2018 We present the Epidemic routing protocol implementation in ns-3. It is a full-featured DTN protocol in that it supports the message abstraction and store-and-haul behavior.
Mauldin, Andrew N., Rohrer, Justin P.
core +2 more sources