Results 101 to 110 of about 93,680 (316)
Advanced Functional Materials, EarlyView.A strongly correlated electron system (SCES) exhibits pronounced insulating behavior due to Coulombic repulsion between cations, which generates a charge gap. This study investigates the tuning of the band structure in NiWO4‐based SCES via Cu doping at substitutional sites and Li doping at interstitial sites.
Seung Yong Lee +18 more
wiley +1 more source
Inductive Completeness of Logics of Programs
Electronic Notes in Theoretical Computer Science, 2009 AbstractWe propose a new approach to delineating logics of programs, based directly on inductive definition of program semantics. The ingredients are elementary and well-known, but their fusion yields a simple yet powerful approach, surprisingly overlooked for decades.The denotational semantics of a regular program can be construed as a relation ...
openaire +2 more sources
Advanced Functional Materials, EarlyView.A copper‐induced atom ordering strategy is developed for the reconstruction of raw commercial Pt catalyst into ordered PtFeCu intermetallic compounds for hydrogen fuel cells. Abstract Carbon‐supported platinum intermetallic compound nanoparticles are seen as the next‐generation cathodic catalysts for hydrogen fuel cells due to their high activity and ...
Yan Nie +9 more
wiley +1 more source
Automating Induction for Solving Horn Clauses [PDF]
arXiv, 2016 Verification problems of programs written in various paradigms (such as imperative, logic, concurrent, functional, and object-oriented ones) can be reduced to problems of solving Horn clause constraints on predicate variables that represent unknown inductive invariants.
arxiv
Advanced Functional Materials, EarlyView.The co‐doping strategy can effectively address the challenges associated with LRMOs cathode materials, providing a promising pathway for the development of high energy density and resilient cathode materials in the next‐generation lithium‐ion batteries. Abstract Lithium‐rich manganese‐based oxides (LRMOs) are promising cathode materials for lithium‐ion
Junxia Meng +11 more
wiley +1 more source
Advanced Functional Materials, EarlyView.This study presents a novel donor‐bridge‐acceptor‐bridge‐donor (D‐B‐A‐B‐D) molecular system, which shows near‐unity intramolecular excitation energy transfer (IET) from two identical energy donors to a coplanar acceptor. It enables a four‐level energy system for efficient lasing at the acceptor emission band in a microspherical cavity with a low lasing
Vishal Kumar +6 more
wiley +1 more source
Community Building in a Virtual Teaching Environment
Advances in Social Work, 2016 In 2010, the University of Southern California School of Social Work launched its Virtual Academic Center (VAC) to deliver online MSW programming to students located around the country.
Sara Laura Schwartz +2 more
doaj +1 more source
Advanced Functional Materials, EarlyView.The Janus membrane integrates a superhydrophilic CNF@CTAB‐MXene layer with a superhydrophobic PTFE layer, enabling efficient solar‐driven water evaporation and electricity generation. It achieves an evaporation rate of 1.51 kg m−2 h−1 with excellent salt resistance and long‐term stability.
Yinan Li +7 more
wiley +1 more source
Imparo is complete by inverse subsumption [PDF]
arXiv, 2014 In Inverse subsumption for complete explanatory induction Yamamoto et al. investigate which inductive logic programming systems can learn a correct hypothesis $H$ by using the inverse subsumption instead of inverse entailment. We prove that inductive logic programming system Imparo is complete by inverse subsumption for learning a correct definite ...
arxiv
IDEA---a conversational, heuristic program for Inductive Data Exploration and Analysis [PDF]
, 1967 Laurence I. Press, Miles S. Rogers
openalex +1 more source