Results 231 to 240 of about 6,301,735 (343)

Using Satisfiability Modulo Theories for Inductive Verification of Lustre Programs

, 2006
Anders Franzén
openalex   +1 more source

Heterogenized Copper(II) Phenanthroline Catalysts for Electroreduction of CO2 to C2 Compounds: Substitution on the Ligand Causes Structural Changes to the Molecular Framework and Stability Enhancement

Advanced Materials, EarlyView.
Based on a previously reported binuclear Cu(II) phenanthroline catalyst, a structurally modified version with enhanced stability for electrochemical reduction of CO2 is developed. The second‐generation system allows for stable operation in an MEA electrolyzer with a Faradaic efficiency of >70% for C2 products at elevated current densities.
Na Liu, Trang Minh Pham, Yanan Han, Linfeng Yang, Olga S. Bokareva, Stephan Bartling, Armin Springer, Anke Spannenberg, Christoph Kubis, Jana Weiss, Dmitry E. Doronkin, Wen Ju, Robert Francke   +12 more
wiley   +1 more source

"Everybody wants to coach it, but fewer know how to do it": a qualitative study of stakeholders' perspectives on mental skill development in youth sports. [PDF]

Front Sports Act Living
Müller PO, Schwarzer U, Collins D, Frey R, Spörri J.   +4 more
europepmc   +1 more source

Quantum Phase Transitions in Graphene Coupled to a Twisted WSe2 Moiré Ferroelectricity

Advanced Materials, EarlyView.
Moiré ferroelectricity in twisted WSe2 (t‐WSe2) breaks graphene's sublattice symmetry, inducing a room‐temperature metal‐insulator transition. Coupling graphene with ferroelectric domains of t‐WSe2 creates local Dirac points and metallic phases with Fermi‐liquid and non‐Fermi‐liquid behavior.
Budhi Singh, Yasir Hassan, Nasir Ali, Santhosh Durairaj, Jimin Jang, Tien Dat Ngo, Jyoti Saini, Muhammad Sabbtain Abbas, Kenji Watanabe, Takashi Taniguchi, Min Sup Choi, Subhasis Ghosh, Taesung Kim, Hyung Mo Jeong, Sungjoo Lee, Won Jong Yoo, Pawan Kumar Srivastava, Changgu Lee   +17 more
wiley   +1 more source

Grammar-Guided Genetic Programming For Fuzzy Rule-Based Classification in Credit Management [PDF]

, 2004
Dounias, Georgios, Tsakonas, Athanasios
core  

Inductive Logic Programming [PDF]

, 1999
openaire   +1 more source

Conducting Inductive Logic Programming Directly in Database Management Systems

, 2015
Akshay Kuma Reddy K. Koppula
openalex   +1 more source

Active Learning‐Guided Accelerated Discovery of Ultra‐Efficient High‐Entropy Thermoelectrics

Advanced Materials, EarlyView.
An active learning framework is introduced for the accelerated discovery of high‐entropy chalcogenides with superior thermoelectric performance. Only 80 targeted syntheses, selected from 16206 possible combinations, led to three high‐performance compositions, demonstrating the remarkable efficiency of data‐driven guidance in experimental materials ...
Hanhwi Jang, Wooseok Lee, Hwa‐Jung Kim, Sohyang Cha, Hosun Shin, Won Bo Lee, Min‐Wook Oh, Yeon Sik Jung, YongJoo Kim   +8 more
wiley   +1 more source

Community-based participatory research to improve resident wellness in a supportive living facility in the Northwest Territories. [PDF]

Harm Reduct J
Denning B, Broers B, Moffitt P, The Spruce Bough Research Group .   +3 more
europepmc   +1 more source

In Situ Amine Formation to Modulate MOF‐Derived PdIn N‐Doped Carbon Catalysts

Advanced Materials, EarlyView.
An amine‐assisted approach converts PdIn‐MOF into PdIn intermetallic nanoparticles embedded in N‐doped carbon. In situ‐generated amines trigger early Pd nucleation, producing smaller PdIn domains than direct pyrolysis. Amine sterics and basicity tune composition and particle size, while solvent and amine co‐determine textural features.
Gonzalo Egea, Jordan Santiago Martinez, M. Asunción Molina, Jaime Mazarío, Lucy Costley‐Wood, Christian Cerezo‐Navarrete, Carlo Marini, Eduardo Villalobos‐Portillo, Andrew M. Beale, Pascual Oña‐Burgos   +9 more
wiley   +1 more source