Results 61 to 70 of about 2,107 (176)
Modular Structural Operational Semantics with Strategies
Electronic Notes in Theoretical Computer Science, 2007 AbstractStrategies are a powerful mechanism to control rule application in rule-based systems. For instance, different transition relations can be defined and then combined by means of strategies, giving rise to an effective tool to define the semantics of programming languages.
Braga, Christiano, Verdejo, Alberto
openaire +1 more source
Structuring Operational Semantics: Simplification and Computation
Electronic Notes in Theoretical Computer Science, 2007 AbstractThe paper describes a language consisting of two layers, terms and computation rules, whose operational semantics is given in terms of two relations: simplification and computation. Simplification is induced by confluent rewriting on terms. Computation is induced by chemical reactions, like those in the Join-calculus.
openaire +2 more sources
TechnologiesThis paper presents a comprehensive technology-oriented review of aerospace development in Peru, integrating historical scientific infrastructure, suborbital experimentation, orbital satellite missions, and a systematic literature review of contemporary ...
Brayan Espinoza-Garcia +3 more
doaj +1 more source
Perspectives of semantic modeling in categories
Journal of King Saud University: Computer and Information SciencesThis paper explores the domain of semantic modeling, emphasizing the thoughtful influence of category theory on imperative programming. We aim to present a formal semantics model by seamlessly integrating categorical concepts.
William Steingartner
doaj +1 more source
SocietiesSoft skills are increasingly recognised as decisive factors for employability and career advancement in the global labour market. This study examines their role in the professional trajectories of university graduates in Ecuador, analysing both the ...
Diana Patricia Moya Loaiza +2 more
doaj +1 more source
Design and Optimization of a Piezoelectric Stick-Slip Actuator with Distributed Compliance
MachinesWith increasing demand for high-precision motion control systems, high operational speed and load capacity are imposed with piezoelectric stick-slip actuators based on compliant mechanisms, yet their performances are often constrained by the step size ...
Tingting Ye, Zhao Feng, Yangmin Li
doaj +1 more source
Fault Tolerant Control of an Experimental Flexible Wing
Aerospace, 2019 Active control techniques are a key factor in today’s aircraft developments to reduce structural loads and thereby enable highly efficient aircraft designs.
Daniel Ossmann, Manuel Pusch
doaj +1 more source
Structural operational semantics for weak bisimulations
Theoretical Computer Science, 1995 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
The connection between an event structure semantics and an operational semantics forTCSP
Acta Informatica, 1994 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Baier, Christel, Majster-Cederbaum, Mila
openaire +4 more sources
MachinesThis paper presents a methodology for optimizing an aeronautical propeller to minimize power consumption. A multi-objective approach using blade element momentum (BEM) theory and evolutionary algorithms is employed to optimize propeller design by ...
Nicolas Lima Oliveira +5 more
doaj +1 more source