Results 1 to 10 of about 194,651 (178)
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
Dźwiękowość jako czynnik budujący spójność serii gier wideo (na przykładzie serii Assassin’s Creed)
Images, 2023 In the article, the author raises the question of creating coherence in video game series by means of sound. In order to do this, he conducted research on four groups of SFXs (Sound Effects) extracted from the first seven games of the Assassin’s ...
Mikołaj Bajew
doaj +1 more source
Modeling and analysis of micro processes
Dianzi Jishu Yingyong, 2022 Business process management is an important enabling technology for organizations to build information systems. To ensure the correctness of micro processes, this paper proposes an approach to modeling and analyzing micro processes.
Xu Bin +4 more
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
Applied Sciences, 2022 As the amount of aged pavement increases, functional damage, such as spalling, occurs frequently on Portland Cement Concrete pavement (PCC) in South Korea.
Gyumin Yeon +4 more
doaj +1 more source
A Sound Interpretation of Leśniewski's Epsilon in Modal Logic KTB
Bulletin of the Section of Logic, 2022 In this paper, we shall show that the following translation \(I^M\) from the propositional fragment \(\bf L_1\) of Leśniewski's ontology to modal logic \(\bf KTB\) is sound: for any formula \(\phi\) and \(\psi\) of \(\bf L_1\), it is defined as (M1 ...
Takao Inoue
doaj +1 more source
Developing a model for rating of Iranian banks based on soundness. [PDF]
تحقیقات مالی, 2017 This research aims to develop a domestic model to rank Iranian banks based on their function to evaluate soundness and stability. For this purpose, after studying the related literature, a model with six dimensions and thirty factors is designed and ...
Mohammad Javad Salami +2 more
doaj +1 more source
Improved Soundness for QMA with Multiple Provers [PDF]
, 2013 We present three contributions to the understanding of QMA with multiple provers: 1) We give a tight soundness analysis of the protocol of [Blier and Tapp, ICQNM '09], yielding a soundness gap Omega(1/N^2).
Chiesa, Alessandro, Forbes, Michael A.
core +1 more source
Control-Flow-Based Methods to Support the Development of Sound Workflows
Complex Systems Informatics and Modeling Quarterly, 2021 Workflows describe sequences of tasks to achieve goals. These sequences can contain decisions, loops, and parallelisations and are, therefore, similar to computer programs.
Thomas M. Prinz, Wolfram Amme
doaj +1 more source
Changes in Hoof Shape During a Seven-Week Period When Horses Were Shod Versus Barefoot
Animals, 2019 This crossover study tested the hypothesis that hoof shape would differ after a seven-week period of horses (n = 11) wearing shoes versus barefoot. An ANOVA appropriate to a crossover design was used to assess the differences in the change in hoof shape ...
Sara R. Malone, Helen M. S. Davies
doaj +1 more source