Results 91 to 100 of about 5,727 (300)

Axiomatic Design for an Efficient Development of Optimized RPM Systems [PDF]

, 2017
Beniamino Pacifici, Chiara Parretti, Andrea Girgenti, Paolo Citti   +3 more
openalex   +1 more source

An Innovative Approach to Multi‐Valued Logic

IEEJ Transactions on Electrical and Electronic Engineering, EarlyView.
The current generation of computer systems operates on the principles of binary logic, which encompasses both logical and arithmetic operations. However, silicon technology has reached its peak performance, prompting researchers to explore alternative methods for enhancing computational efficiency. One such method is the adoption of Multi‐Valued Logic (
Ali Mokhtari, Peyman Kabiri
wiley   +1 more source

Analogies and differences between the logic behind statistical hypothesis testing and proofs by contradiction: What can we learn from them?

Teaching Statistics, EarlyView.
Abstract Statistical hypothesis testing (SHT) is widely employed across numerous scientific disciplines, and a clear understanding of its underlying logic is essential for the broader scientific community. Here, drawing upon both epistemological and statistical perspectives, we aim to clarify—primarily for educational purposes—the logical relationship ...
Maria Cristina Amoretti, Daniele De Martini   +1 more
wiley   +1 more source

To What Extent Contemporary Mathematical Science is Reliable

RUDN Journal of Philosophy, 2011
The crisis in foundation of mathematics at the end of 19th beginning of 20th centuries initiated a number of axiomatic set theoretical systems during the first half of the 20th century. These systems were the result of different philosophical approaches (
Valery Kh Khakhanian
doaj  

Quantifiers, Disjunction, and Truth-Values with Two Numbers

Praxis Filosófica
Context: Cognitive studies seem to show that two kinds of tasks are controversial. Both have a quantified premise, a quantified conclusion, and a disjunction in the premise.
Miguel López-Astorga
doaj   +1 more source

Risk factors for dental overgrowth in rabbits: A retrospective study using electronic health records

Veterinary Record, EarlyView.
Abstract Background Rabbits’ teeth grow continuously. Overgrown teeth are a frequent cause for veterinary consultation and can have severe welfare implications. The risk factors for overgrown teeth are incompletely understood. Methods Rabbits with overgrown teeth recorded in their electronic health records (EHRs) were identified from a large population
Mary A. Coles, Alan D. Radford, Melanie Chapman   +2 more
wiley   +1 more source

Neural Network Repair With Shapley‐Guided Search

CAAI Transactions on Intelligence Technology, EarlyView.
ABSTRACT The deployment of deep neural networks (DNNs) in safety‐critical domains is critically hampered by their vulnerability to defects, which can arise from malicious attacks or low‐quality data. Therefore, precisely locating the network components responsible for these defects, and subsequently repairing them without compromising overall model ...
Xiaofu Du, Zixiong Zhang, Xuesong Wang, Linqiang Liu, Junyan Qian   +4 more
wiley   +1 more source

An axiomatic model of dynamic schema evolution in objectbase systems [PDF]

, 1997
Randel J. Peters, M. TAMER ÖZSU
openalex   +1 more source

Change and Continuity in British Politics: Can the Starmer Government's Approach to Governance Resolve the Crisis in the British State without Radical Reform?

The Political Quarterly, Volume 96, Issue 1, Page 140-148, January/March 2025.
Abstract In this article, the key dilemmas that will confront the new Labour administration in Britain during its initial period in power are examined. The Starmer government is seeking to use the state pragmatically to improve British economic performance, stem the crisis in public services and strengthen the strategic capacity of Whitehall.
Patrick Diamond, David Richards, Sam Warner   +2 more
wiley   +1 more source

‘Everything is a signal’: speaking circuits and noisy signs in the making of language‐oriented AI « Tout est signal » : circuits parlants et signes bruyants dans la création de l'IA orientée langage

Journal of the Royal Anthropological Institute, EarlyView.
Contemporary artificial intelligence (AI) technologies are often presumed to be capable of revealing unmediated truths about the world, including the truths language might hold, echoing the long‐standing assertion that language's primary function is to directly translate reality.
Beth M. Semel
wiley   +1 more source