Results 31 to 40 of about 923,571 (196)

Sketched Answer Set Programming

, 2018
Answer Set Programming (ASP) is a powerful modeling formalism for combinatorial problems. However, writing ASP models is not trivial. We propose a novel method, called Sketched Answer Set Programming (SkASP), aiming at supporting the user in resolving ...
Bessiere, Christian, De Raedt, Luc, Dries, Anton, Paramonov, Sergey   +3 more
core   +2 more sources

Data‐Driven Modeling of Composition–Processing–Microstructure Relations for Recycled Aluminum Cast Alloys

Advanced Science, EarlyView.
Interpretable machine learning reveals how composition and processing govern the formation and microstructural burden of Fe‐rich intermetallic compounds in recycled Al–Si–Fe–Mn alloys. By separating morphology selection from morphology‐conditioned burden partitioning, this framework shows that identical Fe contents can yield different intermetallic ...
Jaemin Wang, Waleed Mohammed, Dierk Raabe   +2 more
wiley   +1 more source

Constraint Programming viewed as Rule-based Programming

, 2001
We study here a natural situation when constraint programming can be entirely reduced to rule-based programming. To this end we explain first how one can compute on constraint satisfaction problems using rules represented by simple first-order formulas ...
Apt, Krzysztof R., Monfroy, Eric
core   +4 more sources

DMS‐MaPseq and DREEM Analyses Implicate the Critical Role of RNA Structural Dynamics in Turnip Yellow Mosaic Virus Pathogenicity

Advanced Science, EarlyView.
RNA structural profiling of Turnip Yellow Mosaic Virus by DMS‐MaPseq and DREEM analyses uncover that viral genome‐wide RSS is highly complicated and heterogeneous, with alternative RSSs widely distributed across the genome. Notably, the viral 3’ tRNA‐like structure adopts alternative conformations in vivo.
Jiaying Zhu, Changhao Li, Chisimbily Onyia, Xindi Li, Xingxing Yan, Songxiao Zhong, Taerin Oh, Xiuren Zhang   +7 more
wiley   +1 more source

Speeding-up Dynamic Programming with Representative Sets - An Experimental Evaluation of Algorithms for Steiner Tree on Tree Decompositions [PDF]

, 2013
Dynamic programming on tree decompositions is a frequently used approach to solve otherwise intractable problems on instances of small treewidth.
Bodlaender, Hans L., Fafianie, Stefan, Nederlof, Jesper   +2 more
core  

Conformal Reconfigurable Intelligent Surfaces: A Cylindrical Geometry Perspective

Advanced Electronic Materials, EarlyView.
Cylindrical reconfigurable intelligent surfaces are explored for low‐complexity beam steering using one‐bit meta‐atoms. A multi‐level modeling approach, including optimization‐based synthesis, demonstrates that even minimal hardware can support directive scattering.
Filippo Pepe, Ivan Iudice, Giuseppe Castaldi, Marco Di Renzo, Vincenzo Galdi   +4 more
wiley   +1 more source

Some Combinatorial Problems on Binary Matrices in Programming Courses

, 2013
The study proves the existence of an algorithm to receive all elements of a class of binary matrices without obtaining redundant elements, e. g. without obtaining binary matrices that do not belong to the class.
Yordzhev, Krasimir
core   +1 more source

Degradation Mechanism of Phosphate‐Based Li‐NASICON Conductors in Alkaline Environment

Advanced Energy Materials, Volume 15, Issue 11, March 18, 2025.
The presence of water in the cathode of a Li‐air battery shifts reactions to produce LiOH, creating a corrosive, alkaline environment. This study investigates the alkaline stability of the common Li‐NASICON solid‐state conductor chemistries through a systematic experimental study combined with computational modeling to understand the degradation ...
Benjamin X. Lam, Zhuohan Li, Tara P. Mishra, Gerbrand Ceder   +3 more
wiley   +1 more source

Operando X‐Ray Diffraction and Total Scattering Characterization of Battery Materials: Not Just a Pretty Picture

Advanced Energy Materials, EarlyView.
This review focuses on operando studies of battery materials by X‐ray diffraction (XRD) and total X‐ray scattering (TXS). This work highlights potential pitfalls and identify best‐practices for operando studies and reviews some unusual experiments to illustrate how these methods can be applied beyond the evaluation of the early‐stage cycling mechanisms
Amalie Skurtveit, Eira Tiberg North, Izar Capel Berdiell, Wouter Van Beek, David S. Wragg, Alexey Y. Koposov   +5 more
wiley   +1 more source

Foreign labor, peer‐networking and agricultural efficiency in the Italian dairy sector

Agribusiness, EarlyView.
Abstract While the presence of immigrants in the agricultural sector is widely acknowledged, the empirical evidence on its economic consequences is lacking, especially from a microeconomic perspective. Using the Farm Accountancy Data Network panel data for Italian dairy farms in the period 2008–2018, the present study investigates the relationship ...
Federico Antonioli, Simone Severini, Mauro Vigani   +2 more
wiley   +1 more source