Results 11 to 20 of about 194,750 (277)
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
Dynamic Separation Logic and its Use in Education
Современные информационные технологии и IT-образование, 2020 Mathematical logic is widely used in hardware and software verification. Hoare logic is particularly suitable for reasoning about imperative programs.
Evgeny Makarov
doaj +1 more source
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
Development of Soundness Diagnostic Model for Concrete Slab Using Bridge Inspection Data
Infrastructures, 2022 With the aging of bridges, the efficiency of periodic inspections has become a problem. As issues with the continuing close visual inspection of bridges are surfacing, remote imaging systems are expected to become a new inspection method that replaces ...
Takahiro Minami +4 more
doaj +1 more source
An analytical method for well-formed workflow/Petri net verification of classical soundness
International Journal of Applied Mathematics and Computer Science, 2014 In this paper we consider workflow nets as dynamical systems governed by ordinary difference equations described by a particular class of Petri nets. Workflow nets are a formal model of business processes.
Clempner Julio
doaj +1 more source
Run away illness where a rooster does not sing: No-life and nothingness in our folk fables [PDF]
Glasnik Etnografskog Instituta SANU, 2008 In fables, verbal messages meant for curing, illness is never sent into underworld, nor is it wished for its death. After the analysis, the author concludes the reason for this attitude is in the understanding of the underworld: according to this view ...
Đapović Lasta
doaj +1 more source
Semantics for Combinatory Logic With Intersection Types
Frontiers in Computer Science, 2022 There is a plethora of semantics of computational models, nevertheless, the semantics of combinatory logic are among the less investigated ones. In this paper, we propose semantics for the computational system of combinatory logic with intersection types.
Silvia Ghilezan +2 more
doaj +1 more source
A Complete and the Most Liberal Semantics for Converging OR Gateways in Sound Processes
Complex Systems Informatics and Modeling Quarterly, 2015 Although the semantics of converging OR gateways (also known as OR-joins) in business processes is far from trivial, they are frequently used. In this paper, we describe a general definition for soundness of processes guaranteeing the absence of ...
Thomas M. Prinz, Wolfram Amme
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
Financial Stability of Insurance Companies in Selected CEE Countries
Business Systems Research, 2019 Background: Financial stability or soundness of insurance companies has gained importance over the years, especially after the financial crisis of 2008. Various stakeholders such as policy makers, regulators, the insured, etc.
Pavić Kramarić Tomislava +2 more
doaj +1 more source