Results 71 to 80 of about 113,481 (327)
Resolution over Linear Equations and Multilinear Proofs [PDF]
, 2007 We develop and study the complexity of propositional proof systems of varying strength extending resolution by allowing it to operate with disjunctions of linear equations instead of clauses.
Alekhnovich +26 more
core +4 more sources
Advanced Functional Materials, EarlyView.Dry electrode technology revolutionizes battery manufacturing by eliminating toxic solvents and energy‐intensive drying. This work details two promising techniques: dry spray deposition and polymer fibrillation. How their unique solvent‐free bonding mechanisms create uniform microstructures for thicker, denser electrodes, boosting energy density and ...
Yuhao Liang +7 more
wiley +1 more source
Constructive Cardinality [PDF]
, 2001 We describe a set of necessary conditions that are useful for generating propagation algorithms for the cardinality operator as well as for over-constrained problems with preferences.
Beldiceanu, Nicolas, Carlsson, Mats
core +1 more source
If time travel to our location is possible, we do not live in a branching universe [PDF]
, 2017 This paper argues for the following disjunction: either we do not live in a world with a branching temporal structure, or backwards time travel is nomologically impossible, given the initial state of the universe, or backwards time travel to our space ...
Norton, James
core +1 more source
Disjunctive normal networks [PDF]
Neurocomputing, 2016 Artificial neural networks are powerful pattern classifiers; however, they have been surpassed in accuracy by methods such as support vector machines and random forests that are also easier to use and faster to train. Backpropagation, which is used to train artificial neural networks, suffers from the herd effect problem which leads to long training ...
Sajjadi, Mehdi +2 more
openaire +2 more sources
Advanced Functional Materials, EarlyView.The concept of foulant particle manipulation and detachment from active microfiltration membranes via voltage‐driven vibrations is introduced. Actuator components are initially integrated onto the filtration membranes using an airbrush spray printing technique.
Irem Gurbuz, Hanieh Bazyar, Andres Hunt
wiley +1 more source
The problem of future contingents: scoping out a solution [PDF]
, 2020 Various philosophers have long since been attracted to the doctrine that future contingent propositions systematically fail to be true—what is sometimes called the doctrine of the open future.
Todd, Patrick
core
Interconnected Porous Hydrogels with Tunable Anisotropy Through Aqueous Emulsion Bioprinting
Advanced Functional Materials, EarlyView.A 3D bioprintable microporous bioink is developed using an aqueous two‐phase system (ATPS) composed of extracellular matrix (ECM) mimetic biopolymers. The ATPS bioink enables the fabrication of interconnected porous architectures with up to 70% porosity, supporting long‐term cell viability and 3D cell alignment, enabling a simultaneous generation of ...
Hugo Edgar‐Vilar +4 more
wiley +1 more source
Phylogenetic Inferences and Historical Biogeography of Onocleaceae
PlantsThe family Onocleaceae represents a small family of terrestrial ferns, with four genera and around five species. It has a circumboreal to north temperate distribution, and exhibits a disjunct distribution between Eurasia and North America, including ...
Jing Zhao +9 more
doaj +1 more source
Advanced Functional Materials, EarlyView.A 3D nanowire‐network SERS substrate with robust adhesion is developed, featuring pronounced z‐direction optical activity, ultralow detection limit (1.5 × 10−13 M), and excellent signal uniformity (RSD < 10%). Enabled by enhanced light scattering, increased optical density of states, and structural reinforcement, the substrate demonstrates stable, high‐
Jinglai Duan +6 more
wiley +1 more source