Results 41 to 50 of about 23,557 (297)
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
Range and Set Abstraction using SAT [PDF]
, 2010 Symbolic decision trees are not the only way to correlate the relationship between flags and numeric variables. Boolean formulae can also represent such relationships where the integer variables are modelled with bit-vectors of propositional variables ...
Barrett, Edd +3 more
core +1 more source
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
Efficient Loop Conditions for Bounded Model Checking Hyperproperties
, 2023 AbstractBounded model checking (BMC) is an effective technique for hunting bugs by incrementally exploring the state space of a system. To reason about infinite traces through a finite structure and to ultimately obtain completeness, BMC incorporates loop conditions that revisit previously observed states.
Tzu-Han Hsu +3 more
openaire +2 more sources
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
A method of marks and indices for linear modal logic
Lietuvos Matematikos Rinkinys, 2009 In the paper a method to check termination of history-free proof for linear modal logic S4.3 is proposed. This method improves the method proposed by the authors for modal logic S4.
Regimantas Pliuškevičius +1 more
doaj +1 more source
A unified approach to architecture conformance checking [PDF]
, 2016 Architectural decisions can be interpreted as structural and behavioral constraints that must be enforced in order to guarantee overarching qualities in a system.
Caracciolo, Andrea Enrico Francis
core +1 more source
Model Checking for Closed-Loop Robot Reactive Planning [PDF]
, 2023 In this paper, we show how model checking can be used to create multi-step plans for a differential drive wheeled robot so that it can avoid immediate danger. Using a small, purpose built model checking algorithm in situ we generate plans in real-time in
Chandler, Christopher +3 more
core +1 more source
Dietary Protein Intake and Peritoneal Protein Losses in Peritoneal Dialysis Patients
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Introduction Peritoneal dialysis (PD) patients lose protein in their waste dialysate, potentially increasing their risk for malnutrition. We wished to determine whether there was any association between losses and dietary protein intake (DPI). Methods DPI was assessed from 24‐h dietary recall using Nutrics software.
Haalah Shaaker, Andrew Davenport
wiley +1 more source