Results 11 to 20 of about 194,768 (276)
On paths-based criteria for polynomial time complexity in proof-nets [PDF]
, 2013 Girard's Light linear logic (LLL) characterized polynomial time in the proof-as-program paradigm with a bound on cut elimination. This logic relied on a stratification principle and a "one-door" principle which were generalized later respectively in the ...
JY Girard +9 more
core +6 more sources
Method for evaluating the soundness of underground walls
Japan Architectural Review, 2023 The elastic wave caused by the input at the wallhead spreads throughout the plane of the wall, and thus, inspecting the soundness of underground walls using a pile integrity test (PIT) is a challenging task.
Takeshi Fujimori +2 more
doaj +1 more source
Quantum Locally Testable Code with Constant Soundness [PDF]
QuantumIn this paper, we present two constructions of quantum locally testable codes (QLTC) with constant soundness. In the first approach, we introduce an operation called check product, and show how this operation gives rise to QLTCs of constant soundness ...
Andrew Cross +4 more
doaj +1 more source
Soundness, idempotence and commutativity of set-sharing [PDF]
, 2001 It is important that practical data-flow analyzers are backed by reliably proven theoretical results. Abstract interpretation provides a sound mathematical framework and necessary generic properties for an abstract domain to be well-defined and sound ...
Bagnara, R., Hill, P.M., Zaffanella, E.
core +2 more sources
A Branching-Process-Based Method to Check Soundness of Workflow Systems
IEEE Access, 2016 Workflow nets (WF-nets) as a class of Petri nets are widely used to model and analyze workflow systems. Soundness is an important property of WF-nets, which guarantees that the systems are deadlock- and livelock-free and each task has a chance to be ...
Guanjun Liu +3 more
doaj +1 more source
, 2022 All anemonefish species can produce two types of sounds. The first class concerns agonistic sounds that are produced during territory defence and probably to establish social hierarchy between individuals. The second class relates to submissive sounds that are emitted in reaction to aggressive acts by dominant individuals.
Parmentier, Eric, Lecchini, David
openaire +2 more sources
INVESTIGATION OF MALE INFERTILITY IN LLAMAS AND ALPACAS [PDF]
SPERMOVA, 2018 Reports on causes of infertility and subfertility in male llamas and alpacas are lacking. The aim of the present paper is to present a review of the literature and an approach to breeding soundness examination of the male in these species. Results from a
A. Tibary, A. Ruiz
doaj +1 more source
Build your own clarithmetic II: Soundness [PDF]
Logical Methods in Computer Science, 2017 Clarithmetics are number theories based on computability logic (see http://www.csc.villanova.edu/~japaridz/CL/ ). Formulas of these theories represent interactive computational problems, and their "truth" is understood as existence of an algorithmic ...
Giorgi Japaridze
doaj +1 more source
FINANCIAL SOUNDNESS INDICATORS [PDF]
Annals of the University of Petrosani: Economics, 2010 Following the financial-economic crisis the financial systems worldwide have been subjected to enormous pressure, which called into question the need for financial system stability in general and in particular the one of the banking system.
DANIELA ZAPODEANU, MIHAIL-IOAN COCIUBA
doaj
Computational Soundness for Dalvik Bytecode
, 2016 Automatically analyzing information flow within Android applications that rely on cryptographic operations with their computational security guarantees imposes formidable challenges that existing approaches for understanding an app's behavior struggle to
Backes M. +6 more
core +1 more source