Zobrazeno 1 - 10
of 7 755
pro vyhledávání: '"Sarac, A."'
System behaviors are traditionally evaluated through binary classifications of correctness, which do not suffice for properties involving quantitative aspects of systems and executions. Quantitative automata offer a more nuanced approach, mapping eac
Externí odkaz:
http://arxiv.org/abs/2409.03569
Exoskeletons can boost human strength and provide assistance to individuals with physical disabilities. However, ensuring safety and optimal performance in their design poses substantial challenges. This study presents the design process for an under
Externí odkaz:
http://arxiv.org/abs/2408.07384
In distributed systems with processes that do not share a global clock, \emph{partial synchrony} is achieved by clock synchronization that guarantees bounded clock skew among all applications. Existing solutions for distributed runtime verification u
Externí odkaz:
http://arxiv.org/abs/2408.05033
Autor:
Sarac, Bulent, Acar, Damla
In this paper, we give a constructive proof to show that if there exist a classical linear code C is a subset of F_q^n of dimension k and a classical linear code D is a subset of F_q^k^m of dimension s, where q is a power of a prime number p, then th
Externí odkaz:
http://arxiv.org/abs/2407.13527
We study the following refinement relation between nondeterministic state-transition models: model B strategically dominates model A iff every deterministic refinement of A is language contained in some deterministic refinement of B. While language c
Externí odkaz:
http://arxiv.org/abs/2407.10473
Autor:
Cai, Fei-Fan, Sarac, Baran, Akman, Adnan, Londoño, Juan J., Gümrükcü, Selin, Schweiger, Lukas, Hantusch, Martin, Schroers, Jan, Blatter, Andreas, Gebert, Annett, Spieckermann, Florian, Eckert, Jürgen
Hydrogen is a promising energy carrier for replacing fossil fuels, and hydrogen production via hydrogen evolution reaction (HER) is an environmentally friendly option if electrocatalysts with low overpotentials and long-term stability are used. In th
Externí odkaz:
http://arxiv.org/abs/2406.14079
Autor:
Akbas, Baris, Yuksel, Huseyin Taner, Soylemez, Aleyna, Zyada, Mazhar Eid, Sarac, Mine, Stroppa, Fabio
Robotic exoskeletons can enhance human strength and aid people with physical disabilities. However, designing them to ensure safety and optimal performance presents significant challenges. Developing exoskeletons should incorporate specific optimizat
Externí odkaz:
http://arxiv.org/abs/2403.15812
The continuous advancement of experimental techniques and investigations has led to observations of various exotic states in particle physics. Each addition to this family of states not only raises expectations for future discoveries but also focuses
Externí odkaz:
http://arxiv.org/abs/2402.19440
The present study provides spectroscopic investigations of spin-$\frac{3}{2}$ $\Lambda$ baryons with both positive and negative parities. The analysis mainly focuses on three states, namely $1P$, $2P$, and $2S$, and corresponding masses are calculate
Externí odkaz:
http://arxiv.org/abs/2402.00134
The upper limit of the branching ratio of the rare $\Xi_b^-\rightarrow \Xi^- \gamma$ decay is obtained as $BR(\Xi_b^-\rightarrow \Xi^- \gamma)<1.3\times10^{-4}$ by the LHCb. In the present work we study this decay within the light cone QCD sum rules
Externí odkaz:
http://arxiv.org/abs/2312.00461