Results 11 to 20 of about 17,802 (247)
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
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
, 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
Coping with Robust Development. Contribution to Lengthen Life & Pleasure [PDF]
Theoretical and Applied Economics, 2009 THuman beings’ work and life are similar to flowers that last longer depending on the conditions quality they endure. Deeper awareness and calculated responsibility generate better understanding of what being selfmotivated is.
Carmen Costea
doaj +1 more source
Controllable Deadlocks in Parallel Resource-Constrained Workflows
Моделирование и анализ информационных систем, 2014 We study the verification of the soundness property for workflow nets extended with resources. A workflow is sound if it terminates properly (no deadlocks and livelocks are possible).
V. A. Bashkin, N. Yu. Panfilova
doaj +1 more source
An analysis of competition, efficiency and soundness in the South African banking sector
South African Journal of Economic and Management Sciences, 2018 Background: The banking sector plays an important role in economic activity: it mobilises savings and channels them to productive sectors thus encouraging the efficient allocation of resources.
Busani Moyo
doaj +1 more source