Results 1 to 10 of about 1,270,566 (225)
Soundness of Unravelings for Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity [PDF]
Logical Methods in Computer Science, 2012 Unravelings are transformations from a conditional term rewriting system (CTRS, for short) over an original signature into an unconditional term rewriting systems (TRS, for short) over an extended signature. They are not sound w.r.t.
Naoki Nishida +2 more
doaj +6 more sources
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 +3 more sources
Review: The use of bull breeding soundness evaluation to identify subfertile and infertile bulls
Animal, 2018 Efficient and economical herd management depends a great deal on maintaining a short, well-defined calving season. This requires highly fertile females and bulls.
A.D. Barth
doaj +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 +2 more sources
Animal, 2018 Selecting bulls for reproductive soundness requires that the bull be structurally sound, free of abnormalities that impair his ability to produce adequate numbers of motile, morphologically normal spermatozoa, and be able to successfully complete coitus.
D.F. Wolfe
doaj +2 more sources
Semantic soundness for language interoperability [PDF]
ACM-SIGPLAN Symposium on Programming Language Design and Implementation, 2022 Programs are rarely implemented in a single language, and thus questions of type soundness should address not only the semantics of a single language, but how it interacts with others.
Daniel Patterson +3 more
semanticscholar +1 more source
Sıhhat Açısından Kıraat Çeşitlerinin Kavramsal Anlamda Değerlendirilmesi
Cumhuriyet İlahiyat Dergisi, 2022 Kavramlar pek çok manaları tazammun eden anlamlar dünyasının anahtarları hükmündedir. Bilhassa Kur'ân'ı alakadar etmesi cihetiyle kıraatlerin sıhhat derecelerinin bilinmesi ve nakledilen kıraat vecihleriyle ilgili bazı temel meselelerin anlaşılması ...
Yunus İşeri
doaj +1 more source
Social Dimensions of Information Technology (IT) and Business Misalignment [PDF]
مطالعات مدیریت کسب و کار هوشمند, 2019 In this study, social dimensions of obstacles to achieve alignment in IT and business have been identified through a case study in the Post Bank of Iran.
Mojtaba Ahmadi
doaj +1 more source
A study on the financial soundness of Indian automobile industries using Altman Z-Score
Accounting, 2021 Altman Z score is an effective tool for measuring a company's financial strength and the possibility of bankruptcy. In this study, the Z score formula was utilized to measure the Indian automobile industry's financial soundness. The financial data of ten
M. M. Swalih, K. Adarsh, M. M. Sulphey
semanticscholar +1 more source
Gaziantep Üniversitesi Sosyal Bilimler Dergisi, 2021 Financial soundness of banks is vital not only for the firms but also countries in order to achieve sustainable economic development and the welfare of the society. There are many factors affecting financial soundness of banks both firm level and country
İsmail Cem Ay +2 more
doaj +1 more source