Results 31 to 40 of about 572,128 (190)
, 2013 In this paper, by adopting a coherence-based probabilistic approach to default reasoning, we focus the study on the logical operation of quasi conjunction and the Goodman-Nguyen inclusion relation for conditional events.
Gilio, Angelo, Sanfilippo, Giuseppe
core +1 more source
Progress in Strain Engineering of 2D‐Integrated Heterostructures for Ultrasensitive Sensors
Advanced Science, EarlyView.. ABSTRACT Two‐dimensional (2D) integrated heterostructures have emerged as a cornerstone in the advancement of next‐generation sensor technologies. These heterostructures, which combine materials with different dimensionalities, have led to significant breakthroughs in sensing performance and device integration.
That Buu Ton +4 more
wiley +1 more source
Implementing Default and Autoepistemic Logics via the Logic of GK [PDF]
, 2014 The logic of knowledge and justified assumptions, also known as logic of grounded knowledge (GK), was proposed by Lin and Shoham as a general logic for nonmonotonic reasoning.
Ji, Jianmin, Strass, Hannes
core
Conflict-driven ASP Solving with External Sources
, 2012 Answer Set Programming (ASP) is a well-known problem solving approach based on nonmonotonic logic programs and efficient solvers. To enable access to external information, HEX-programs extend programs with external atoms, which allow for a bidirectional ...
Eiter, Thomas +3 more
core +2 more sources
Embedded Direct‐Written Organic Micro‐TEGs for High‐Efficiency Skin‐Heat Harvesting
Advanced Electronic Materials, EarlyView.A finite‐element–guided design of direct‐written organic micro‐thermoelectric generators is presented for efficient skin‐heat harvesting. Embedding PEDOT:PSS/PBFDO thermoelectric legs within flexible substrates suppresses interfacial heat losses and enhances vertical heat flow.
Milad Jabri +4 more
wiley +1 more source
Advanced Energy Materials, EarlyView.This work presents lightweight, lignin‐derived carbon fiber current collectors that enable controlled lithium deposition. Structural defects and intermediate‐sized pores stabilize pre‐nucleation quasi‐metallic lithium clusters, promoting uniform lithium plating and stripping.
Samantha L. S. Southern +13 more
wiley +1 more source
Testing and Debugging Techniques for Answer Set Solver Development
, 2010 This paper develops automated testing and debugging techniques for answer set solver development. We describe a flexible grammar-based black-box ASP fuzz testing tool which is able to reveal various defects such as unsound and incomplete behavior, i.e ...
Brummayer, Robert, Järvisalo, Matti
core +2 more sources
Advanced Intelligent Discovery, EarlyView.This article establishes a Taguchi–Bayesian sampling strategy to reconstruct polymer processing–property landscape at minimal sampling cost, generically building the roadmap for materials database construction from sampling their vast design space. This sampling strategy is featured by an alternating lesson between uniformity and representativeness ...
Han Liu, Liantang Li
wiley +1 more source
Statistical Mechanics of Linear and Nonlinear Time-Domain Ensemble Learning
, 2006 Conventional ensemble learning combines students in the space domain. In this paper, however, we combine students in the time domain and call it time-domain ensemble learning.
Cesa-Bianchi N. +12 more
core +1 more source
A Unifying Approach to Self‐Organizing Systems Interacting via Conservation Laws
Advanced Intelligent Discovery, EarlyView.The article develops a unified way to model and analyze self‐organizing systems whose interactions are constrained by conservation laws. It represents physical/biological/engineered networks as graphs and builds projection operators (from incidence/cycle structure) that enforce those constraints and decompose network variables into constrained versus ...
F. Barrows +7 more
wiley +1 more source