Results 181 to 190 of about 3,379,264 (310)

Golem: a flexible and efficient solver for constrained Horn clauses. [PDF]

Form Methods Syst Des
Blicha M, Britikov K, Sharygina N.
europepmc   +1 more source

Initial Solution Generation and Diversified Variable Picking in Local Search for (Weighted) Partial MaxSAT. [PDF]

Entropy (Basel), 2022
Zhang Z, Zhou J, Wang X, Yang H, Fan Y.
europepmc   +1 more source

Organic Electrochemical Transistor Channel Materials: Copolymerization Versus Physical Mixing of Glycolated and Alkoxylated Polymers

Advanced Functional Materials, EarlyView.
This work discusses the use of blended channel materials in OECTs. It explores how mixing glycolated and alkoxylated polymers in various ratios offers a simpler and more efficient route to tuning OECT properties. The performance of the polymer blends is compared to the corresponding copolymers, demonstrating similar OECT characteristics, swelling ...
Lize Bynens, Kaishuai Zhang, Priscila Cavassin, Arwin Goossens, Jochen Vanderspikken, Tania C. H. Castillo, Demetra Tsokkou, Adam Marks, Arianna Magni, Karrie Weaver, Laurence Lutsen, Sahika Inal, Koen Vandewal, Natalie Banerji, Wouter Maes   +14 more
wiley   +1 more source

Quadratic unconstrained binary optimization and constraint programming approaches for lattice-based cyclic peptide docking. [PDF]

Sci Rep
Brubaker JK, Booth KEC, Arakawa A, Furrer F, Ghosh J, Sato T, Katzgraber HG.   +6 more
europepmc   +1 more source

Incomplete MaxSAT approaches for combinatorial testing. [PDF]

J Heuristics, 2022
Ansótegui C, Manyà F, Ojeda J, Salvia JM, Torres E.   +4 more
europepmc   +1 more source

Extended Finite-State Machine Induction Using SAT-Solver

2011 10th International Conference on Machine Learning and Applications and Workshops, 2011
V. Ulyantsev, F. Tsarev
semanticscholar   +1 more source

Ideal Molecular Sieving with a Dense MOF for Helium Upgrading with Highly Diffusion Selective Mixed Matrix Membranes

Advanced Functional Materials, EarlyView.
The separation of Helium gas from natural gas is challenging but highly important. MIL‐116(Ga), a “non‐porous” metal–organic framework is used as a molecular sieve to separate He from CH4. Druse‐like MIL‐116(Ga) particles are integrated into polysulfone mixed matrix membranes.
Ayisha Komal, Laura Calderón‐Rodríguez, Oksana Smirnova, Eren Grossmann, Aparna Binu Varghese, Karen Marlenne Garcia Alvarez, Andreas Schneemann, Thomas Hoyer, Ralf Wyrwa, Felix Helmut Schacher, Alexander Knebel   +10 more
wiley   +1 more source

Logic-based Approach and Visualization for the Nuclear Medicine Rescheduling Problem. [PDF]

J Med Syst
Marte C, Mochi M, Dodaro C, Galatà G, Maratea M.   +4 more
europepmc   +1 more source

Streamlining Distributed SAT Solver Design

Distributed clause-sharing SAT solvers have recently been established as powerful automated reasoning tools that can conquer previously infeasible instances. A common design of distributed SAT solvers is to run many off-the-shelf sequential solvers in parallel, employ some diversification (e.g., restart intervals or decision orders), and share conflict
Schreiber, Dominik, Rigi-Luperti, Niccolò, Biere, Armin   +2 more
openaire   +1 more source

Understanding and Optimizing Li Substitution in P2‐Type Sodium Layered Oxides for Sodium‐Ion Batteries

Advanced Functional Materials, EarlyView.
This work explores Li‐substituted P2 layered oxides for Na‐ion batteries by crystallographic and electrochemical studies. The effect of lithium on superstructure orderings, on phase transitions during synthesis and electrochemical cycling and on the interplay of O‐ versus TM‐redox is revealed via various advanced techniques, including semi‐simultaneous 
Mingfeng Xu, Giovanni Gammaitoni, Michael Häfner, Eduardo Villalobos‐Portillo, Carlo Marini, Matteo Bianchini   +5 more
wiley   +1 more source