Results 41 to 50 of about 268,099 (291)
The most important physiological properties of short men's socks depending on the raw material composition and the stitch design [PDF]
Tekstilna industrija, 2023 The research is focused on checking the most important physiological properties of short men's socks depending on the raw material composition. Men's socks are mostly made of bamboo, cotton or a cotton/polyester blend, the composition includes filament ...
Tasić Predrag +2 more
doaj +1 more source
Two-loop electroweak fermionic corrections to sin^2 theta_{eff}^{b anti-b}
, 2009 We present the first calculation of the two-loop electroweak fermionic correction to the flavour-dependent effective weak-mixing angle for bottom quarks, sin^2 theta_{eff}^{b anti-b}.
A. Freitas +76 more
core +1 more source
A Model-Derivation Framework for Software Analysis [PDF]
, 2017 Model-based verification allows to express behavioral correctness conditions like the validity of execution states, boundaries of variables or timing at a high level of abstraction and affirm that they are satisfied by a software system.
Aksit, Mehmet +3 more
core +3 more sources
A Framework for Analysing Driver Interactions with Semi-Autonomous Vehicles [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 Semi-autonomous vehicles are increasingly serving critical functions in various settings from mining to logistics to defence. A key characteristic of such systems is the presence of the human (drivers) in the control loop.
Siraj Shaikh, Padmanabhan Krishnan
doaj +1 more source
Scaling Bounded Model Checking By Transforming Programs With Arrays
, 2016 Bounded Model Checking is one the most successful techniques for finding bugs in program. However, model checkers are resource hungry and are often unable to verify programs with loops iterating over large arrays.We present a transformation that enables ...
B Blanchet +14 more
core +2 more sources
An Automata-Theoretic Approach to the Verification of Distributed Algorithms [PDF]
, 2015 We introduce an automata-theoretic method for the verification of distributed algorithms running on ring networks. In a distributed algorithm, an arbitrary number of processes cooperate to achieve a common goal (e.g., elect a leader).
Aiswarya, C. +2 more
core +4 more sources
Gluons and gravitons at one loop from ambitwistor strings
Journal of High Energy Physics, 2018 We present new and explicit formulae for the one-loop integrands of scattering amplitudes in non-supersymmetric gauge theory and gravity, valid for any number of particles.
Yvonne Geyer, Ricardo Monteiro
doaj +1 more source
Property Checking Array Programs Using Loop Shrinking [PDF]
, 2018 Most verification tools find it difficult to prove properties of programs containing loops that process arrays of large or unknown size. These methods either fail to abstract the array at the right granularity and are therefore limited in precision or scalability, or they attempt to synthesize an appropriate invariant that is quantified over the ...
Shrawan Kumar +3 more
openaire +1 more source
Self-Checking Hardware Design for Montgomery Exponentiation-Based Cryptography
IEEE AccessMontgomery exponentiation is widely used for public-key-based cryptography systems. The current state-of-the-art designs for this algorithm are well-analyzed in terms of hardware overhead but are not investigated for faults caused by physical attacks ...
Muhammad Ali Akbar +3 more
doaj +1 more source
TEM Response of a Large Loop Source over the Multilayer Earth Models
International Journal of Geophysics, 2018 The general expression of TEM response of large loop source over the layered earth models is not available in the literature for arbitrary source-receiver positions, except for the case of central loop and coincident loop configurations over the ...
A. K. Tiwari, S. P. Maurya, N. P. Singh
doaj +1 more source