نتایج جستجو برای: 2 operational

تعداد نتایج: 2589701  

Alimohammad Kimiagari, Eaman Noorbakhsh Omid Momen

The Basel Committee on Banking Supervision from the Bank for International Settlement classifies banking risks into three main categories including credit risk, market risk, and operational risk. The focus of this study is on the operational risk measurement in Iranian banks. Therefore, issues arising when trying to implement operational risk models in Iran are discussed, and ...

2012
Neelakantan R. Krishnaswami Aaron Turon Derek Dreyer Deepak Garg

1 The Language 2 1.1 Syntax . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 1.2 Typing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1.3 Sharing Construct . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 1.4 Operational Sema...

Journal: :Int. J. Cooperative Inf. Syst. 2001
Jean-Luc Koning Pierre-Yves Oudeyer

1996
Flemming Nielson Patrick Cousot Mads Dam Pierpaolo Degano Pierre Jouvelot Alan Mycroft Bent Thomsen

2007
Linda Peelen Michel C. A. Klein Stefan Schlobach Nicolette de Keizer Niels Peek

In medicine, there are many diseases which cannot be precisely characterized but are considered as natural kinds. In the communication between health care professionals, this is generally not problematic. In biomedical research, however, crisp definitions are required to unambiguously distinguish patients with and without the disease. In practice, this results in different operational definitio...

2016
Abdallah Arioua Madalina Croitoru Laura Papaleo Nathalie Pernelle Swan Rocher

Due to the impressive growing of the LOD graph in the last years, assuring the quality of its content is becoming a very important issue. Thus, it is crucial to design techniques for supporting experts in validating facts and links in complex data sources. Here, we focus on identity links (sameAs) and apply argumentation semantics to (i) detect inconsistencies in sameAs statements and to (ii) e...

Journal: :Inf. Process. Lett. 2003
Cliff B. Jones

2015
Xiuyi Fan Francesca Toni

Argumentation can be viewed as a process of generating explanations. However, existing argumentation semantics are developed for identifying acceptable arguments within a set, rather than giving concrete justifications for them. In this work, we propose a new argumentation semantics, related admissibility, designed for giving explanations to arguments in both Abstract Argumentation and Assumpti...

Journal: :Theor. Comput. Sci. 2011
Luca Aceto Matteo Cimini Anna Ingólfsdóttir Mohammad Reza Mousavi Michel A. Reniers

This paper proposes rule formats for Structural Operational Semantics guaranteeing that certain binary operators are left distributive with respect to a set of binary operators. Examples of left-distributivity laws from the literature are shown to be instances of the provided formats.

2004
Shigeki Umeda Sanjay Jain

This paper describes requirements for an integrated supply chain system simulator with the focus on production activities within the system. This paper includes the following contents: (1) Identification of supply chain planning problems over various operational strategies, (2) Operational strategy for supply chain management, and (3) Requirements and design issues for a generic supply chain si...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید