Results 81 to 90 of about 2,678,292 (198)
Checking experiments for stream X-machines [PDF]
, 2010 This article is a post-print version of the published article which may be accessed at the link below. Copyright © 2010 Elsevier B.V. All rights reserved.Stream X-machines are a state based formalism that has associated with it a particular development ...
Robert M. Hierons +2 more
core +1 more source
THE FUTURE OF INTERNAL AUDIT [PDF]
Analele Universităţii Constantin Brâncuşi din Târgu Jiu : Seria Economie, 2015 Over the years, the purpose of internal audit has continued to evolve and expand, managing to successfully transition from its traditional function of monitoring financial statements to the strategic and operational efforts of checking the organization’
COSMIN DUMITRU MATIȘ
doaj
Internal Flow Signatures for Self-Checking and Refinement in LLMs
CoRRLarge language models can generate fluent answers that are unfaithful to the provided context, while many safeguards rely on external verification or a separate judge after generation. We introduce \emph{internal flow signatures} that audit decision formation from depthwise dynamics at a fixed inter-block monitoring boundary.
Sungheon Jeong 0001 +5 more
openaire +3 more sources
In Nobody's Name: A Checks and Balances Approach to International Judicial Independence [PDF]
SSRN Electronic Journal, 2017 In "In Whose Name?", Armin von Bogdandy and Ingo Venzke have singled out one of the most pressing challenges in current debates regarding international courts: the source of their legitimacy. Given the current structure and limits of international law, instead of expecting international courts to speak in the name of peoples and citizens, this paper ...
openaire +3 more sources
Towards Equivalence Checking Between TLM and RTL Models
, 2007 The always increasing complexity of digital system is overcome in design flows based on transaction level modeling (TLM) by designing and verifying the system at different abstraction levels.
Nicola Bombieri +8 more
core +1 more source
On the equivalence-checking problem for polysemantic models of sequential programs.
Труды Института системного программирования РАН, 2004 We introduce a new propositional model of computation for sequential computer programs. A distinctive feature of this model is that program runs and the results of computations are defined by means of two independent operational semantics.
I.M. Zakharyaschev, V.A. Zakharov
doaj
[Check-up-examinations in internal medicine].
Der Internist, 2006 A growing body of evidence supports or rejects preventive interventions in asymptomatic adults. Thus, counseling for smoking cessation and some immunizations have been shown to be cost-effective. Evidence supports screening for body weight (obesity), hypertension, hyperlipidemia, cervical cancer, colorectal cancer and breast cancer. Screening for lung,
Hunziker S +4 more
openaire +2 more sources
Re-focusing visual working memory during expected and unexpected memory tests
eLifeA classic distinction from the domain of external attention is that between anticipatory orienting and subsequent re-orienting of attention to unexpected events.
Sisi Wang, Freek van Ede
doaj +1 more source
Combinational Equivalence Checking Using Satisfiability and Recursive Learning
, 1999 The problem of checking the equivalence of combinational circuits is of key significance in the verification of digital circuits. In recent years, several approaches have been proposed for solving this problem.
Thomas Glass +3 more
core +1 more source
Automated compliance checking using building information models [PDF]
, 2010 Building designs in the UK are currently checked manually against a frequently changing and increasingly complex set of building regulations. This is a major task for both designers and enforcers, often leading to ambiguity, inconsistency in assessments ...
Greenwood, David +4 more
core