A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
The new resulting type theory features callby-name exceptions with decidable type-checking and canonicity, but at the price of inconsistency. ... As a byproduct, we also show that Markov's principle is not provable in CIC. Both translations have been implemented in a Coq plugin, which we use to formalize the examples. ... This research was supported in part by an ERC Consolidator Grant for the project "RustBelt", funded under Horizon 2020 grant agreement № 683289 and an ERC Starting Grant for the project "CoqHoTT", funded ...doi:10.1007/978-3-319-89884-1_9 fatcat:47qp4bjgyjbu7pekuzh5hfmhhy
Parental expectations are various beliefs, assumptions, and aspirations that relate to, but are not limited to, the relationship of students to faculty, curriculum, discipline, culture, acculturation, ... Failure is not an option. ... It is not suitable for statistical analysis, and therefore survey-type questions are inappropriate. ...doi:10.7227/erct.3.1.1 fatcat:7v6siizasjcuhaxdqv2szhsxga
(For purposes of rule design, the inference to contextsensitivity does not dictate how an exception is to be formulated.) ... Both inferences support an exception to limited penalty regulation based on bargaining defects resulting from cognitive failure. ...doi:10.2139/ssrn.353260 fatcat:t33secy7bzgqna7yhr37g4sbcq
Lecture Notes in Computer Science
There is also an option 'Interrupt' which interrupts the proof engine from this loop. ... As a means of demonstrating interrupts, the Tactics menu includes an option 'Loop' which (when there is a current goal) will cause the proof engine to enter an endless loop. ... This can be used for more informative feedback where the goaltree is not too large or where efficiency is not an issue. ...doi:10.1007/3-540-46419-0_7 fatcat:6nfozuxleffdjmculek466p2du
Journal of Aircraft
The detection logic behaved similarly to the tests performed under increased noise types of failures. An exception was the zero output case. ... PRICE that the roll-rate gyro failure is more difficult to resolve, since the failure mode noise is not so great as it is for the other sen- sors. ...
The purpose of this paper is to investigate the relationships between the constructs of Real Option Theory (ROT) and Innovation Diffusion Theory (IDT) along with their impacts on new IT projects adoption ... Three types of option are utilized in this study. ... However, this research tries to prove that the effects are not direct, while there are mediators between the effects of considering real options on innovation adaption. ...dblp:conf/pacis/KongLJ14 fatcat:iselzpym6jczhpza7il3s6n5rq
KODIAK (Keystone to Overall Design for Inte- gration and Application of Knowledge) is an implemen- tation of CRT (Cognitive Representation Theory), an approach to knowledge representation that bears simi ... However, since it could not accommodate the user’s request, it attempts to be polite by apologizing to the user. # What does Is -v do? Ls does not have a -v option. ...
Each firm's situation regarding the relevant types of real options is stylistically represented through a scenario tree. ... The consumption of a time-to-build or a growth option is respectively considered as a success or a failure in company development. ... Other types of real options may be present, but not to a systematic extent. ...doi:10.2139/ssrn.1691992 fatcat:mh7el47gvzcz3ntdzb4kncfmte
high risk, but options to grow via follow-up investments are an exception. ... If the technology not chosen fails, that failure is the reference point and the status quo preserved by not investing is seen as positive (rejoicing) In addition, regret theory (but not prospect theory ...doi:10.2753/mis0742-1222250209 fatcat:mndnaslobjgivo7mr3hslqpzmy
We present an extension to the mathlib library of the Lean theorem prover formalizing the foundations of computability theory. ... Type class inference provides a transparent way to supply Gödel numberings where needed and encapsulate the encoding details. ... Here option α is the type consisting of the elements some a for a : α, and an extra element none representing failure or undefinedness. ...arXiv:1810.08380v3 fatcat:ouvxojlf3fbizccncnmxk7vj5e
We demonstrate how to build a map from each program point to the options that might cause an error at that point. ... Our approach relies on static dataflow analysis, meaning all the analysis is done in advance. ... This research is supported in part by gifts from Google, SAP, Amazon Web Services, Cloudera, Ericsson, Huawei, IBM, Intel, Mark Logic, Microsoft, NEC Labs, Network Appliance, Oracle, Splunk and VMWare ...doi:10.1109/ase.2011.6100053 dblp:conf/kbse/RabkinK11 fatcat:36adzr7s2vgkhadymvxgwomkni
We present an extension to the mathlib library of the Lean theorem prover formalizing the foundations of computability theory. ... Type class inference provides a transparent way to supply Gödel numberings where needed and encapsulate the encoding details. ... Here option α is the type consisting of the elements some a for a : α, and an extra element none representing failure or undefinedness. ...doi:10.4230/lipics.itp.2019.12 dblp:conf/itp/Carneiro19 fatcat:h3py5mpwxbfvzgu5gjjsi7qc34
Our results indicate that the primary option-motivated variables, such as firm volatility, play an important role in predicting default, one, two and three years prior to bankruptcy. ... This study builds on option-pricing theory to explain business bankruptcy based on a sample of 139 matched pairs of bankrupt and control U.S. firms for the period 1983-94. ... Laitinen (1995) suggests another reason why debt maturity does not have a strong effect on business failure in Finland, where the Companies Law provides that the inequality V < B is evaluated not only ...doi:10.2139/ssrn.248709 fatcat:3qmfjviu3zdzvgfg7ahkmdv4g4
Despite being an old language feature, Java exception handling code is one of the least understood parts of many systems. ... We also investigated how such guidelines are disseminated to the project team and how compliance between code and guidelines is verified; we could observe that according to more than half of respondents ... "If an exception is caught and re-wrapped into another exception type, you should always attach the original exception to the cause so that the stack trace is not lost." ...arXiv:1901.08718v1 fatcat:kf5ilke37vad3ivvrltv34tsmu
This article presents such guidelines, whose main goal is to help improve the reliability of software systems. ... Reliability is here defined as the combination of correctness and robustness or. more prosaically, as the absence of bugs. ... Under the monitoring options, the effect of an assertion violation is to raise an exception. The possible responses to an exception are discussed later. Why monitor? ...doi:10.1109/2.161279 fatcat:tumbcopzavcwzl2a2wfmjpkoai
« Previous Showing results 1 — 15 out of 257,787 results