Results 31 to 40 of about 13,307 (188)

Lower and upper stochastic bounds for the joint stationary distribution of a non-preemptive priority retrial queueing system

Hacettepe Journal of Mathematics and Statistics, 2023
Consider a single-server retrial queueing system with non-preemptive priority service, where customers arrive in a Poisson process with a rate of $\lambda_1$ for high-priority customers (class 1) and $\lambda_2$ for low-priority customers (class 2). If a
Houria Hablal, Nassim Touche, L. Alem, A. Bouchentouf, Mohamed Boualem   +4 more
semanticscholar   +1 more source

DRIVE‐SAFE: Data‐Driven Robustness and Informed Validation for Evolving Specifications via Formal Evaluation

Advanced Robotics Research, EarlyView.
DRIVE‐SAFE evaluates learning‐based, black‐box autonomous driving policies against evolving temporal safety requirements using Signal Temporal Logic robustness metrics. It aggregates distributional robustness measures with domain‐informed weights to guide iterative retraining.
Kristy Sakano, Jianyu An, Dinesh Manocha, Huan Xu   +3 more
wiley   +1 more source

Orbit structure and (reversing) symmetries of toral endomorphisms on rational lattices

, 2012
Baake M, Neumärker N. Orbit structure and (reversing) symmetries of toral endomorphisms on rational lattices. Discrete and continuous dynamical systems A.
Neumärker, Natascha, Baake, Michael
core   +1 more source

Synchronization‐Dissipation in the Cardiorespiratory System

Advanced Science, EarlyView.
By modeling central nervous coupling and viscoelastic interactions in the cardiorespiratory system we show that synchronization produces a 10% gain in cardiac efficiency in humans. It is surmised that respiratory sinus arrhythmia improves cardiac pumping efficiency by reducing dynamic stress and power dissipation in the pulmonary vasculature.
Joshua R. Border, Alain Nogaret, Andrew Lefevre, Vishal Jain   +3 more
wiley   +1 more source

Wearable‐Derived Diurnal Alignment Between Physical Activity and Device Temperature Predicts Future Disease and Mortality Risk

Advanced Science, EarlyView.
Wearable‐derived diurnal alignment between physical activity and device temperature, decomposed into 24 h coupling strength (M24), phase deviation (D24), and 12 h harmonic magnitude (M12), is examined in approximately 90,000 UK Biobank participants.
Han Chen, Jiahe Wei, Jonathan Cedernaes, Christian Benedict, Athanasios Tsanas, Zhi Cao, Xiao Tan   +6 more
wiley   +1 more source

Design of a process to improve the supply of raw materials for the plants of the Quartermaster Battalion No. 1 “Las Juanas”

, 2023
El Ejército Nacional de Colombia tiene estructurado el proceso de abastecimiento en diferentes formas, este acorde a las necesidades de la institución y a las condiciones de seguridad que demandan.
Silva Charry, Felix Andres
core   +1 more source

Recent Advances in Programmable Metasurfaces and Meta‐Devices

Advanced Electronic Materials, EarlyView.
Programmable metasurfaces enable various novel functionalities by dynamically tuning electromagnetic wavefronts. This article provides a comprehensive review of recent advances in microwave and terahertz programmable metasurfaces, covering electrical, thermal, optical, and mechanical control mechanisms.
Linda Shao, Chong He, Nan Wang, Liming Si, Weiren Zhu   +4 more
wiley   +1 more source

Stationary distribution and density function analysis of SVIS epidemic model with saturated incidence and vaccination under stochastic environments

Theory in biosciences, 2023
In this article, we study the dynamical properties of susceptible-vaccinated-infected-susceptible (SVIS) epidemic system with saturated incidence rate and vaccination strategies.
Prasenjit Mahato, S. Mahato, Subhashis Das, P. Karmakar   +3 more
semanticscholar   +1 more source

Squeezed‐Vacuum Bosonic Codes

Advanced Physics Research, EarlyView.
ABSTRACT We introduce a family of bosonic quantum error‐correcting codes built as a rotation‐symmetric superposition of squeezed vacuum states, which promise protection against both loss and dephasing noise channels. The robustness of these “squeezed‐vacuum codes” arises from being arranged at evenly spaced angles in phase‐space, and simultaneously in ...
Nir Gutman, Eliya Blumenthal, Shay Hacohen‐Gourgy, Ariel Orda, Ido Kaminer   +4 more
wiley   +1 more source

Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis [PDF]

, 2013
The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-38574-2_16We present a new paradigm for unification arising out of a technique commonly used in cryptographic protocol analysis tools that employ unification modulo ...
Lynch, Christopher A., Santiago Pinazo, Sonia, Erbatur, Serdar, Escobar Román, Santiago, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Sasse, Ralf, Christopher A. Lynch, Sonia Santiago, Ralf Sasse, Liu, Zhiqiang, Paliath Narendran, Meseguer, José, Kapur, Deepak, Narendran, Paliath, Meadows, Catherine, Serdar Erbatur, Catherine Meadows, José Meseguer   +19 more
core   +1 more source