Results 31 to 40 of about 110,833 (284)
A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs [PDF]
, 2016 A number of novel programming languages and libraries have been proposed that offer simpler-to-use models of concurrency than threads. It is challenging, however, to devise execution models that successfully realise their abstractions without forfeiting ...
A Corradini +23 more
core +3 more sources
Operational semantics for signal handling [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 Signals are a lightweight form of interprocess communication in Unix. When a process receives a signal, the control flow is interrupted and a previously installed signal handler is run.
Maxim Strygin, Hayo Thielecke
doaj +1 more source
Archeomatica, 2016 The Shape and Semantics Modelling Group of CNR-IMATI (an Institute of the Italian National Research Council) is active on several research topics related to shape modelling and retrieval.
Bianca Falcidieno
doaj +2 more sources
Bridging Heritage Knowledge and Digital Models: An HBIM Integration Framework [PDF]
ISPRS Annals of the Photogrammetry, Remote Sensing and Spatial Information SciencesArchitectural heritage conservation demands the integration of precise physical documentation and interpretative design knowledge, yet current HBIM approaches remain fragmented: ‘scan-to-BIM’ prioritizes geometric accuracy at the expense of ...
X. Wang, C. Wu, X. Zhang, R. Pan
doaj +1 more source
Energies, 2022 The interaction between global horizontal irradiance (GHI) and temperature helps determine the maximum amount of solar power generated. As temperature increases, GHI increases up to the point that it increases at a decreasing rate and then decreases ...
Caston Sigauke +2 more
doaj +1 more source
Feature Engineering for ICU Mortality Prediction Based on Hourly to Bi-Hourly Measurements
Applied Sciences, 2019 Mortality prediction for intensive care unit (ICU) patients is a challenging problem that requires extracting discriminative and informative features.
Ahmed Y. A. Amer +8 more
doaj +1 more source
Combining SAWSDL, OWL-DL and UDDI for Semantically Enhanced Web Service Discovery [PDF]
, 2008 UDDI registries are included as a standard offering within the product suite of any major SOA vendor, serving as the foundation for establishing design-time and run-time SOA governance.
Kourtesis, Dimitrios +1 more
core +1 more source
Age-Related Degree and Criteria Differences in Semantic Categorization
Journal of Cognition, 2019 Individual differences in semantic categorization are commonplace. Individuals apply a word like SPORTS to different instances because they employ different conditions for category membership (vagueness in criteria) or because they differ regarding the ...
Steven Verheyen +2 more
doaj +1 more source
Analysis and Modelling of the Commutation Error
Fluids, 2020 A multiscale dynamic analysis of the commutation error, based on the filtering approach is performed. The similarity multiscale hypothesis proposed by Bardina (1983) and extended by Geurts and Holm (2006) to the commutation error is examined in detail ...
Markus Klein, Massimo Germano
doaj +1 more source
A Classification of Models for Concurrency [PDF]
, 1993 Models for concurrency can be classified with respect to the three relevant parameters: behaviour/system, interleaving/noninterleaving, linear/branching time. When modelling a process, a choice concerning such parameters corresponds to choosing the level
Nielsen, M., Sassone, V., Winskel, G.
core +1 more source