Results 31 to 40 of about 125,965 (208)
Elucidation and modulation of active sites in holey graphene electrocatalysts for H2O2 production
EcoMat, Volume 5, Issue 1, January 2023., 2023 Functionalized hoely graphene possesses abundant inplane holes of which edges are decorated with ether/carbonyl groups. These functionalized hole edges are proved to be the most active site for 2e− ORR with nearly zero overpotential by density functional theory calculations.
Ki Hwan Koh +6 more
wiley +1 more source
Proceedings 36th International Conference on Logic Programming (Technical Communications) [PDF]
EPTCS 325, 2020, 2020 Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are solicited in all areas of logic programming and related areas, including but not restricted to: - Foundations: Semantics, Formalisms, Answer-Set Programming, Non-monotonic Reasoning ...
arxiv +1 more source
, 2022 We introduce Nominal Matching Logic (NML) as an extension of Matching Logic with names and binding following the Gabbay-Pitts nominal approach. Matching logic is the foundation of the $\mathbb{K}$ framework, used to specify programming languages and automatically derive associated tools (compilers, debuggers, model checkers, program verifiers ...
arxiv +1 more source
Inductive Logic Programming [PDF]
, 2011 Inductive logic programming is the subfield of machine learning that uses first order logic to represent hypotheses and data. Because first order logic is expressive and declarative, inductive logic programming specfically targets problems involving structured data and background knowledge. Inductive logic programming tackles a wide variety of problems
openaire +3 more sources
A taxonomy for community-based care programs focused on HIV/AIDS prevention, treatment, and care in resource-poor settings [PDF]
Global Health Action, 2013 Community-based care (CBC) can increase access to key services for people affected by HIV/AIDS through the mobilization of community interests and resources and their integration with formal health structures.
Beth Rachlis +5 more
doaj +1 more source
Logic programming, functional programming, and inductive definitions [PDF]
, 2006 An attempt at unifying logic and functional programming is reported. As a starting point, we take the view that "logic programs" are not about logic but constitute inductive definitions of sets and relations. A skeletal language design based on these considerations is sketched and a prototype implementation discussed.
Andrew W. Smith, Lawrence C. Paulson
openaire +3 more sources
The International Journal of Health Planning and Management, Volume 38, Issue 1, Page 129-148, January 2023., 2023 Abstract Reimbursement programmes are used to manage care through financial incentives. However, their effects are mixed and the programmes can motivate behaviour that goes against professional values. Value‐based reimbursement programmes may better align professional values with financial incentives.
Thérèse Eriksson +2 more
wiley +1 more source
Human Resource Management, Volume 62, Issue 1, Page 117-135, January/February 2023., 2023 Abstract Artificial intelligence (AI) has become an important topic in business literature and strategy talk. Yet, much of this literature is normative and conceptual in nature. How organizational members perceive AI and the job role changes that come with it is, so far, largely unknown territory for both HR scholars and practitioners.
Katja Einola, Violetta Khoreva
wiley +1 more source
Learning logic programs through divide, constrain, and conquer [PDF]
arXiv, 2021 We introduce an inductive logic programming approach that combines classical divide-and-conquer search with modern constraint-driven search. Our anytime approach can learn optimal, recursive, and large programs and supports predicate invention. Our experiments on three domains (classification, inductive general game playing, and program synthesis) show
arxiv
April – An Inductive Logic Programming System [PDF]
, 2006 Inductive Logic Programming (ILP) is a Machine Learning research field that has been quite successful in knowledge discovery in relational domains. ILP systems use a set of pre-classified examples (positive and negative) and prior knowledge to learn a theory in which positive examples succeed and the negative examples fail.
Nuno A. Fonseca +2 more
openaire +3 more sources