assertions

Documents about assertions

• Assertions Only?#703266PhilArchive
• Are Selfless Assertions Hedged?#119613PhilArchive
• Inferentialism and collaged assertions#717612PhilArchive
• Irksome assertions#752306PhilArchive
• Group Assertions and Group Lies#72093PhilArchive
• Why avowals must be assertions#103688PhilArchive
• Selfless assertions: some empirical evidence#774084PhilArchive
• The Ignorance Norm and Paradoxical Assertions#707176PhilArchive
• Selfless assertions and the Knowledge Norm#708905PhilArchive
• Assertions, Handicaps, and Social Norms#737405PhilArchive
• An inferential articulation of metaphorical assertions#746833PhilArchive
• Moorean Assertions and Their Normative Function#753810PhilArchive
• Selfless assertions and the Knowledge Norm#772501PhilArchive
• Critique of Experimental Research on Selfless Assertions#735907PhilArchive
• Prescriptions Are Assertions: An Essay on Moral Syntax#96394PhilArchive
• Some Logical Notations for Pragmatic Assertions#708248PhilArchive
• Queries and Assertions in Minimally Discursive Practices#753862PhilArchive
• How to make (mathematical) assertions with directives#76826PhilArchive
• Evidentially Hedged Assertions and the Knowledge Norm of Assertion#86633PhilArchive
• Faithful Autoformalization of Natural Language Assertions#370396arXiv CS
• Modelling Temporal Assertions for Global Directional Eliminativists#743677PhilArchive
• Test Assertions Model v1.0 (2012-10-16)#600920OASIS Open
• Fetal Pain Perception: Legislative Assertions and Developmental Neuroscience.#430622NCBI PubMed Central
• Do negative assertions require proof?#787622Stack Exchange
• Robustness of LLM-Generated SystemVerilog Assertions to Semantics-Preserving RTL Transformations#972709arXiv (All)
• Taking Responsibility for What is Said: Alethic Assertions and Discursive Engagement#89577PhilArchive
• Does the predicate ‘is true’ specify a genuine property of assertions?#107784PhilArchive
• Autonomous FAIR Digital Objects: From Passive Assertions to Active Knowledge#175201arXiv CS
• Programmers Are Poor and Overconfident Judges of LLM-Generated Assertions#361535arXiv CS
• EquivSVA: A Formally Verified Dataset of Behavioral Assertions Across Equivalent RTL Implementations#1062677arXiv (All)
• Test Assertions Part 2 – Test Assertion Markup Language Version 1.0 (2011-12-01)#600921OASIS Open
• Calculus of Qualia 7: Equations vs. Qualations, Assertions with non-referential terms, Proofs, Logic#84660PhilArchive
• From Business Requirements to Test Assertions: Evaluating LLM-Generated Oracles on Real Bugs#363344arXiv CS
• GameLogicBench: Evaluating Coding Agents on Runtime Game Logic with Tick-Level State Assertions#1006919arXiv CS
• My religion preaches ‘p’, but I don't believe that p: Moore's Paradox in religious assertions#726891PhilArchive
• EquivSVA: A Formally Verified Dataset of Behavioral Assertions Across Equivalent RTL Implementations#1043077arXiv CS
• Cloud Application Management for Platforms (CAMP) Test Assertions Version 1.1 (2014-11-10)#600559OASIS Open
• A Generative Relational Domain-Specific Language for Evolving Social-Fact Records: Typed Assertions, Temporal Histories, and Governed Transitions#692212PhilArchive
• AutoTrans: AI-Assisted Automatic Translation of Security Assertions for RISC-V Processors#996974arXiv (All)
• Subject-based Profiles for SAML V1.1 Assertions (2008-10-07)#600907OASIS Open
• German modal particles and recent typological perspectives on epistemicity and assertions#456808HAL (France)
• GameLogicBench: Evaluating Coding Agents on Runtime Game Logic with Tick-Level State Assertions#1050948arXiv (All)
• The Forgotten Property Right: The Unconstitutionality of the At Home Standard in Assertions of General Personal Jurisdiction Over Corporations#1021899Texas A&M Law Scholarship
• Dangers of non-objective constructions and interpretations of history: Important assertions and takeaways from an Indian context#1054925OSF
• Dangers of non-objective constructions and interpretations of history: Important assertions and takeaways from an Indian context#1055301SocArXiv
• Measuring the use of assertions in operating system kernels#413286Springer Nature OA
• How do iconic co-speech gestures contribute to the truth-conditions of assertions: A surprisal-based ERP investigation targeting N400 and late positivity effects#1089869eScholarship
• NIST SP 800-63C-4: Digital Identity Guidelines: Federation and Assertions#3033NIST
• Bradley Court Limited v. Tinkasimire#1236049CanLII
• Torres Ortega v. Canada (Citizenship and Immigration)#1090889CanLII