Results 51 to 60 of about 2,107 (176)

Design and Validation of a 3D-Printed Drone Chassis Model Through Static and Transient Nonlinear FEM Analyses and Experimental Testing

Drones
This work presents the structural analysis and validation of a sub-250 g FPV drone chassis, emphasizing both theoretical rigor and practical applicability. The novelty of this contribution lies in four complementary aspects.
Basil Mohammed Al-Hadithi, Sergio Alcón Flores   +1 more
doaj   +1 more source

SOS rule formats for convex and abstract probabilistic bisimulations [PDF]

Electronic Proceedings in Theoretical Computer Science, 2015
Probabilistic transition system specifications (PTSSs) in the ntμfθ/ntμxθ format provide structural operational semantics for Segala-type systems that exhibit both probabilistic and nondeterministic behavior and guarantee that bisimilarity is a ...
Pedro R. D'Argenio, Matias David Lee, Daniel Gebler   +2 more
doaj   +1 more source

Simulation and Optimization of Hemispherical Resonator’s Equivalent Bottom Angle for Frequency-Splitting Suppression

Micromachines, 2023
As an inertial sensor with excellent performance, the hemispherical resonator gyro is widely used in aerospace, weapon navigation and other fields due to its advantages of high precision, high reliability, and long life.
Zhiyong Gao, Shang Wang, Zhi Wang, Xukai Ding   +3 more
doaj   +1 more source

An Executable Structural Operational Formal Semantics for Python [PDF]

, 2021
Maximilian A. Köhl
openalex   +1 more source

Dependency-Constrained Cascading Rescheduling: Network Evolution and Long-Term Adaptation

Mathematics
Traditional scheduling theory optimizes initial task assignments under static assumptions, yet operational systems face repeated disruptions requiring both immediate rescheduling and long-term structural adaptation.
TzeHoung Lee, Xue-Ming Yuan
doaj   +1 more source

Proceedings Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics

, 2022
Valentina Castiglioni, Claudio Antares Mezzina   +1 more
openalex   +2 more sources

The Paradox of Cyber Risk Controls: An Empirical Analysis of Readiness and Protection Inefficiencies in Thailand’s Financial Sector

Risks
As Thailand’s financial sector accelerates its digital transformation, cybersecurity has transitioned from a mere technical support function to a strategic imperative that governs operational risk and financial stability.
Artid Sringam, Pongpisit Wuttidittachotti   +1 more
doaj   +1 more source

General Recursion via Coinductive Types [PDF]

Logical Methods in Computer Science, 2005
A fertile field of research in theoretical computer science investigates the representation of general recursive functions in intensional type theories.
Venanzio Capretta
doaj   +1 more source

Familial monads and structural operational semantics [PDF]

Proceedings of the ACM on Programming Languages, 2019
We propose a categorical framework for structural operational semantics, in which we prove that under suitable hypotheses bisimilarity is a congruence. We then refine the framework to prove soundness of bisimulation up to context, an efficient method for reducing the size of bisimulation relations.
openaire   +2 more sources

Bialgebras for structural operational semantics: An introduction

Theoretical Computer Science, 2011
As indicated in the title, this work provides an introduction to the use of bialgebras in structural operational semantics (SOS). Starting from very basic examples, it arrives at giving an up-to-date overview of the state of the art in the field. The underlying principle of bialgebraic semantics [\textit{D. Turi} and \textit{G.
openaire   +2 more sources