Results 81 to 90 of about 511,372 (153)
Features and Fluents for Logic Programming: Non-simulative Algebraic Semantics
, 2013 A Non-simulative Algebraic Semantics is defined and its range of applicability is proven to be the K-RACi class of the Features and Fluents framework.
Brandano, Sergio
core
A framework for defining the dynamic semantics of DSLs
, 2013 In this research abstract we describe our project on a common reference framework for defining domain specific languages (DSLs). The framework is meant for defining the dynamic semantics of DSLs and allows for mapping the DSL definition to the various ...
Tikhonova, U., Ulyana Tikhonova
core +1 more source
Small-Strain Dynamic Behaviours of Reconstituted Soft Clay Under Different Initial Water Contents
Applied SciencesHigh-water-content dredged slurry from port dredging requires geotechnical improvement via drainage and consolidation. The small-strain dynamic properties (shear stiffness, damping characteristics) of reconstituted and consolidated clays are critical to ...
Xinde Wang +5 more
doaj +1 more source
Dynamic Semantics for Tense and Aspect [PDF]
, 1995 A semantics for tense, modality, and aspect in natural language must capture causal and contingent relations between events and states as welt as merely temporal ones The paper investigates a non-reified dynamic logic based, formulation of the situation ...
Steedman, Mark
core +1 more source
BuildingsThis study investigates the influence of tunnel span on the dynamic response of rock masses with high integrity under intense dynamic load, analyzing an unlined circular tunnel excavated in intact surrounding rock with a uniaxial compressive strength of ...
Zihan Zhang +3 more
doaj +1 more source
Mereological Ontology and Dynamic Semantics
Annals of the Japan Association for Philosophy of Science, 1999 A theory that can represent meanings of expressions including plurals and mass terms is defined. This theory (`Natural Representation Theory') is an extension of a system `extensional mereology with sortal individuation'. The underlying ontology is of Leśniewski kind based on the notions of thing, material and sortal predicates.
openaire +2 more sources
Dynamic Surgical Prioritization: A Machine Learning and XAI-Based Strategy
TechnologiesSurgical waiting lists present significant challenges to healthcare systems, particularly in resource-constrained settings where equitable prioritization and efficient resource allocation are critical. We aim to address these issues by developing a novel,
Fabián Silva-Aravena +4 more
doaj +1 more source
FluidsThis study aims to clarify how porosity and frequency interact to influence permeability and flow behavior in porous media subjected to sinusoidal pressure variations.
Sin-Mao Chen +2 more
doaj +1 more source
Multimodal Optimal Base Station Selection Network for Intelligent Communications
SensorsWith the rapid development of next-generation wireless communication systems, the increasing density of heterogeneous base stations and the dynamic nature of channel conditions have posed significant challenges to accurate and timely base station ...
Haie Dou +4 more
doaj +1 more source
VehiclesActive suspension can improve vehicle vibrations caused by road excitation. For trucks, the vehicle mass change is usually large, and changes in vehicle mass will affect the control performance of the active suspension.
Choutao Ma +3 more
doaj +1 more source