Results 81 to 90 of about 337,799 (288)
MathematicsFact checking is a key task in the field of natural language processing, and aims to judge the authenticity of a given claim by using external evidence.
Yingjie Han +5 more
doaj +1 more source
Comparing BDD and SAT based techniques for model checking Chaum's Dining Cryptographers Protocol [PDF]
, 2006 We analyse different versions of the Dining Cryptographers protocol by means of automatic verification via model checking. Specifically we model the protocol in terms of a network of communicating automata and verify that the protocol meets the anonymity
Raimondi, F. +5 more
core
From Lab to Landscape: Environmental Biohybrid Robotics for Ecological Futures
Advanced Robotics Research, EarlyView.This Perspective explores environmental biohybrid robotics, integrating living tissues, microorganisms, and insects for operation in real‐world ecosystems. It traces the leap from laboratory experiments to forests, wetlands, and urban environments and discusses key challenges, development pathways, and opportunities for ecological monitoring and ...
Miriam Filippi
wiley +1 more source
Optimizing the length of checking sequences [PDF]
, 2006 A checking sequence, generated from a finite state machine, is a test sequence that is guaranteed to lead to a failure if the system under test is faulty and has no more states than the specification.
Hierons, RM, Ural, H
core +1 more source
Advanced Science, EarlyView.A copper‐iron charge transfer instability drives concomitant electronic, magnetic, and isostructural phase transitions in ACu3Fe4O12${\rm ACu}_3{\rm Fe}_4{\rm O}_{12}$, with an inverse barocaloric effect. A minimal Landau theory ties these thermodynamic signatures together, revealing a pressure‐independent transition entropy with comparable charge and ...
Jefferson Delgado‐Quesada +1 more
wiley +1 more source
Culture, authenticity and sport : a study of event motivations at the Ulaanbaatar Naadam Festival, Mongolia [PDF]
, 2007 Drawing on the results of an empirical study, this chapter examines the case of the Ulaanbaatar Naadam within the framework of the literature on cultural authenticity and with reference to the contribution of sporting events and competitions to the ...
Matheson, Catherine M +7 more
core +2 more sources
Checking LTL Properties of Recursive Markov Chains [PDF]
, 2005 We present algorithms for the qualitative and quantitative model checking of Linear Temporal Logic (LTL) properties for Recursive Markov Chains (RMCs). Recursive Markov Chains are a natural abstract model of procedural probabilistic programs and related ...
M. Yannakakis +3 more
core +1 more source
Charting Endocrine Progenitors Across Species and Organs
Advanced Science, EarlyView.Endocrine progenitors give rise to the hormone‐producing cells of the pancreas and intestine. Using single‐cell multiomics and proteomics, this study compares these progenitors across species, systems, and organs, mapping the conserved and species‐specific gene regulatory networks that guide their formation.
Changying Jing +21 more
wiley +1 more source
Discover Applied SciencesSocial media usage has reached its peak across all age groups, resulting in vast quantities of data being generated daily, some internet users disseminate fake information for their own benefit.
Sapana Yakkundi +5 more
doaj +1 more source
Ethical Precision in Nanoscale Brain Interfacing
Advanced Science, EarlyView.As brain interfaces approach the nanoscale, precision no longer only measures—it knows, predicts, and potentially reshapes the mind. This work argues that traditional ethics fails under such conditions and proposes a shift toward continuous, operation‐based governance using the recovery–discovery framework to track, constrain, and responsibly steer ...
Guilherme Wood
wiley +1 more source