Results 81 to 90 of about 6,639 (299)

Verified VCG and Verified Compiler for Dafny

Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs
Dafny is a verification-aware programming language that comes with a compiler and static program verifier. However, neither the compiler nor the verifier is proved correct; in fact, soundness bugs have been found in both tools. This paper shows that the aforementioned Dafny tools can be developed with foundational correctness guarantees.
Daniel Nezamabadi, Magnus O. Myreen, Yong Kiam Tan   +2 more
openaire   +2 more sources

Verifying Hyperliveness [PDF]

, 2019
yperLTL is an extension of linear-time temporal logic for the specification of hyperproperties, i.e., temporal properties that relate multiple computation traces. HyperLTL can express information flow policies as well as properties like symmetry in mutual exclusion algorithms or Hamming distances in error-resistant transmission protocols. Previous work
Coenen, Norine, Finkbeiner, Bernd, Sánchez, César, Tentrup, Leander   +3 more
openaire   +2 more sources

Shapley Additive Explanation for Local Class Differentiation: Local Explainability for Class Differentiation in Classification Models

Advanced Intelligent Systems, EarlyView.
An instance‐level, model‐agnostic explanation of class differentiation is introduced through SHAP‐LCD, linking probability shifts to feature‐wise Shapley contributions. The method operates on tabular and image data and is released in a fully reproducible implementation, offering a transparent way to examine, at each instance, why predictive models ...
Roxana M. Romero Luna, Hugo A. Ordoñez Erazo, Carlos A. Cobos Lozada   +2 more
wiley   +1 more source

Alfred Jules Ayer’de Metafizik Eleştirisi ve Doğrulanabilirlik Problemi

Felsefe Dünyası
Sınır belirleme (demarcation) problemini konu edinen bu çalışma, bir mantıkçı pozitivist olan Alfred Jules Ayer’in hangi gerekçelerle metafiziğe karşı oluşunun temellerini araştırma ve bu tutumla bağlantılı olarak bilimin ve felsefenin konumunu ...
Murat Sel
doaj   +1 more source

Talk to Your Data: An Agentic Artificial Intelligence‐Driven Decision‐Support Framework for Prosumer Energy Optimization and Recommendations

Advanced Intelligent Systems, EarlyView.
An agentic AI‐driven decision‐support framework for prosumers is proposed, integrating PV generation, load profiling, and multihorizon optimization within a four‐agent architecture. The approach significantly reduces grid dependence, enhances self‐sufficiency and prevents system oversizing.
Adela BÂRA, Simona‐Vasilica OPREA
wiley   +1 more source

Extending Helios Towards Private Eligibility Verifiability

, 2015
We show how to extend the Helios voting system to provide eligibility verifiability without revealing who voted which we call private eligibility verifiability.
Kulyk, Oksana,, Melanie Volkamer, Oksana Kulyk, Vanessa Teague, Volkamer, Melanie,, Teague, Vanessa,   +5 more
core   +2 more sources

Trust? No---verify [PDF]

Tobacco Control, 1999
Joe and his cartoon-character friends began populating advertisements for the Camel brand in the United States in 1988 and continued doing so for the next decade (figure 1). As described in a fawning retrospective produced for RJ Reynolds: “Between 1988 and 1997, the Joe Camel campaign was one of the most recognized ad campaigns in America, and that ...
openaire   +2 more sources

Innovative Artificial Intelligence‐Assisted Systems for Social Science Research: Architecture Design and Applied Practice

AI &Innovation, EarlyView.
ABSTRACT The rapid advancement of large language model (LLM) technology is profoundly transforming the practice of social science research. Scholarly discussions on Artificial Intelligence (AI)'s role in social science research can be organised into three levels: AI as a research tool, AI as a methodological infrastructure and AI as a quasi‐cognitive ...
Jie Xiong
wiley   +1 more source

Charlotte Pommer: Resistance fighter and female pioneer of German anatomy

Anatomical Sciences Education, EarlyView.
Abstract This article examines the biography and unique case of Charlotte Pommer (1914–2004), the only anatomist documented to have left the field during the Nazi period after encountering the regime's victims on the dissection table. While she is known for her resistance activities, newly presented documentation reveals her role as the provisional ...
Tim S. Goldmann
wiley   +1 more source

Validation and verification issues in e-Voting

, 2007
Electronic democracy (e-democracy) is a necessity in this era of computers and information technology. Electronic election (e-election) is one of the most important applications of e-democracy, because of the importance of the voters' privacy and the ...
Cetinkaya, Deniz, Cetinkaya, Orhan
core