Results 91 to 100 of about 182,690 (327)
Logical Characterization of Trace Metrics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 In this paper we continue our research line on logical characterizations of behavioral metrics obtained from the definition of a metric over the set of logical properties of interest.
Valentina Castiglioni, Simone Tini
doaj +1 more source
Advanced Functional Materials, EarlyView.This review explores functional and responsive materials for triboelectric nanogenerators (TENGs) in sustainable smart agriculture. It examines how particulate contamination and dirt affect charge transfer and efficiency. Environmental challenges and strategies to enhance durability and responsiveness are outlined, including active functional layers ...
Rafael R. A. Silva +9 more
wiley +1 more source
Data in Brief, 2020 Land-use planning in regard of earthquake-triggered landslides is usually implemented by means of the production of hazard maps. The well-known Newmark rigid block methodology is the most frequent used approach for this purpose.
Martín J. Rodríguez-Peces +6 more
doaj +1 more source
Inference in Probabilistic Logic Programs using Weighted CNF's [PDF]
, 2011 Probabilistic logic programs are logic programs in which some of the facts are annotated with probabilities. Several classical probabilistic inference tasks (such as MAP and computing marginals) have not yet received a lot of attention for this formalism.
Broeck, Guy Van den +4 more
core +1 more source
Advanced Healthcare Materials, EarlyView.Membrane fusion‐inspired nanomaterials offer transformative potential in diagnostics by mimicking natural fusion processes to achieve highly sensitive and specific detection of disease biomarkers. This review highlights recent advancements in nanomaterial functionalization strategies, signal amplification systems, and stimuli‐responsive fusion designs,
Sojeong Lee +9 more
wiley +1 more source
The Problem of Analogical Inference in Inductive Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 We consider one problem that was largely left open by Rudolf Carnap in his work on inductive logic, the problem of analogical inference. After discussing some previous attempts to solve this problem, we propose a new solution that is based on the ideas ...
Simon M. Huttegger
doaj +1 more source
Designing Physical Unclonable Functions From Optically Active Materials
Advanced Materials, EarlyView.Assigning unforgeable “fingerprints” to manufactured goods is a key strategy to fight global counterfeiting. Optical physical unclonable functions (PUFs) are chemically generated random patterns of optically active materials serving as unique authenticators.
Maxime Klausen +2 more
wiley +1 more source
Logical Characterization of Bisimulation Metrics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 Bisimulation metrics provide a robust and accurate approach to study the behavior of nondeterministic probabilistic processes. In this paper, we propose a logical characterization of bisimulation metrics based on a simple probabilistic variant of the ...
Valentina Castiglioni +2 more
doaj +1 more source
HZO/HSO Superlattice ReFET Array Integrating Optical Sensing for Neuromorphic Vision Computing
Advanced Materials, EarlyView.A photonic ReFET array with an engineered HZO–HSO superlattice enables monolithic integration of optical sensing, nonvolatile memory, and synaptic computation. It exhibits forming‐free, >8‐bit analog states, >1010 endurance cycles, and light‐tunable conductance.
Bingjie Dang +10 more
wiley +1 more source
Probabilistic Inference Modulo Theories [PDF]
, 2016 We present SGDPLL(T), an algorithm that solves (among many other problems) probabilistic inference modulo theories, that is, inference problems over probabilistic models defined via a logic theory provided as a parameter (currently, propositional ...
Braz, Rodrigo de Salvo +3 more
core +1 more source