Results 71 to 80 of about 13,047 (268)
Integrating semi-formal and formal requirements
, 1997 In this paper, we report on the integration of informal, semiformal and formal requirements specification techniques. We present a framework for requirements specification called TRADE, within which several well-known semiformal specification techniques are placed.
Wieringa, Roelf J. +2 more
openaire +1 more source
Advanced Materials, EarlyView.The transition from cryogenic distillation to polymeric sorbents for light hydrocarbon purification is crucial for energy and environmental sustainability. The polymeric sorbents are engineered to separate gas mixtures based on their specific properties.
Kelechi Festus +9 more
wiley +1 more source
Concurrency specification using Event-based Specification Chart [PDF]
Computer Science Journal of Moldova, 2012 Architecting framework proposed in [1] can be used efficiently for developing concurrency-intensive systems only if there exist languages and tools corresponding to the described concepts.
Dumitru Ciorba, Victor Besliu
doaj
Advanced Materials Interfaces, EarlyView.Reversible light‐induced gradients at solid–liquid interfaces enable controllable interfacial transport via light‐driven diffusioosmosis. We demonstrate directed particle manipulation based on dynamically generated concentration gradients. The mechanism is broadly applicable to cationic, anionic, and non‐ionic surfactants with varying hydrophobicity ...
Maren Umlandt +3 more
wiley +1 more source
Advanced Materials Technologies, EarlyView.ABSTRACT Real‐time insight into local chemistry is critical for reliable part quality in additive manufacturing, especially laser powder bed fusion (PBF‑LB/M), where rapid thermal cycles and localized evaporation can undermine part performance. Optical emission spectroscopy (OES) offers non‑intrusive, in situ plume monitoring, but detection geometry ...
Philipp Gabriel +4 more
wiley +1 more source
Grounding Large Language Models for Robot Task Planning Using Closed‐Loop State Feedback
Advanced Robotics Research, EarlyView.BrainBody‐Large Language Model (LLM) introduces a hierarchical, feedback‐driven planning framework where two LLMs coordinate high‐level reasoning and low‐level control for robotic tasks. By grounding decisions in real‐time state feedback, it reduces hallucinations and improves task reliability.
Vineet Bhat +4 more
wiley +1 more source
Logika chronologiczna i jej zastosowania w analizie niektórych rozumowań prawniczych [Chronological logic and its applications in the analysis of some legal reasoning] [PDF]
Analiza i Egzystencja, 2014 The article is devoted to chronological logic and its applications in the analysis of legal reasoning. In Part I of the paper, there is given that time plays an important role in statutory law, in language of the law and in legal language appear many ...
Anna Kozanecka-Dymek
doaj
Sensitivity of Multi-Source SAR Backscatter to Changes in Forest Aboveground Biomass
Remote Sensing, 2015 Accurate estimates of forest aboveground biomass (AGB) after anthropogenic disturbance could reduce uncertainties in the carbon budget of terrestrial ecosystems and provide critical information to policy makers.
Wenli Huang +4 more
doaj +1 more source
Microthermodynamic formalism [PDF]
Physical Review E, 2001 We consider the microcanonical ensemble of a classical Hamiltonian dynamical system, the Hamiltonian being parameter dependent and in the possible presence of other first integrals. We describe a thermodynamic formalism in which a first law of thermodynamics, or fundamental relation, is based upon the bulk-entropy, S(Omega). Under an ergodic hypothesis,
openaire +2 more sources
Advanced Robotics Research, EarlyView.This work presents a state‐adaptive Koopman linear quadratic regulator framework for real‐time manipulation of a deformable swab tool in robotic environmental sampling. By combining Koopman linearization, tactile sensing, and centroid‐based force regulation, the system maintains stable contact forces and high coverage across flat and inclined surfaces.
Siavash Mahmoudi +2 more
wiley +1 more source