نتایج جستجو برای: contingency logic

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

Journal: :Mathematics and Statistics 2016

Journal: :The Journal of Risk and Insurance 1982

2007
Christopher J. Anderson

! Abstract The predominant normative justification for research on economic voting has been its essential role in shaping democratic accountability. A systematic examination of this literature reveals, however, that economic voting is highly contingent on two critical moderating factors: voters themselves and the political context in which they make judgments. The trend toward a better and more...

Background and objective: The most important step in disaster management is recognizing the correct, accurate and wise of the potential risks and threats that may occur. Rationally, the distribution of limited resources among a lot of hazards and threats is neither feasible nor possible; therefore, at the first the hazards and threats of each region should be identify and prioritize through a r...

2011
Bilal Alsallakh Eduard Gröller Silvia Miksch Martin Suntinger

We present the Contingency Wheel, a visual method for finding and analyzing associations in a large n×m contingency table with m < 100 and n being two to three orders of magnitude larger than m. The method is demonstrated on a large table from the Book-Crossing dataset, which counts the number of ratings each book received from each country. It enables finding books that received a disproportio...

2017
R L S Naveen Kumar C. Srinivasulu

This project presents the operation of a distributed generation (DG) system driven by a dcdc step-up converter and a dc-ac voltage source inverter (VSI) interfaced with the power grid by Fuzzy Controller. To create a stable mode when different kinds of loads are connected locally or when working under contingency, the step-up converter must regulate the dc link voltage, allowing the VSI to stab...

2017
Dominik Dellermann Fabian Reck

The emergence of platforms is shifting the locus of digital innovation to ecosystems on which numerous developers create extensions with additional functionalities. Despite all the potential benefits for complementors, however, this new organizing logic of digital innovation also introduced essential new risks. Recent studies in IS focused on risk of IT projects from a contingency perspective n...

1998
Sergey Berezin

Model checking is an automatic verification technique for finite state concurrent systems such as sequential circuit designs and communication protocols. Specifications are expressed in propositional temporal logic. An exhaustive search of the global state transition graph or system model is used to determine if the specification is true or not. If the specification is not satisfied, a countere...

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

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