Results 71 to 80 of about 6,301,735 (343)
Hierarchically sorted inductive logic programming and its application to information extraction [PDF]
, 2000 This thesis extends a conventional framework of Inductive Logic Prgramming(ILP)[35]to that of hierarchically sorted Inductive Logic Programming and applies the extended ILP ...Thesis (Ph. D. in Engineering)--University of Tsukuba, (B), no.
Sasaki Yutaka, 佐々木 裕
core
Preuniversity Students' Perceptions and Attitudes About an Anatomy and Physiology Outreach Program: Survey Study and Inductive Thematic Analysis (Preprint) [PDF]
, 2023 Ranganath Vallabhajosyula +3 more
openalex +1 more source
Advanced Functional Materials, EarlyView.Hollow poly(heptazine imide) spheres are prepared through a novel approach that integrates hard templating with ionothermal synthesis. This method enables precise control over surface area, pore volume, hydrophilicity, light absorption, band position, and metal composition. These tunable properties facilitate the customized design of semiconductors for
Lingli Ni +10 more
wiley +1 more source
Advanced Functional Materials, EarlyView.Plasmonic photocatalytic ammonia decomposition occurs at near‐room temperature on a plasmonic Au nanocone array under visible light illumination. The nanostructure efficiently harnesses plasmonic modes, leading to increased reaction rates upon plasmon decay.
Thanh‐Lam Bui +17 more
wiley +1 more source
Theorem proving support in programming language semantics [PDF]
, 2007 We describe several views of the semantics of a simple programming language as formal documents in the calculus of inductive constructions that can be verified by the Coq proof system.
Bertot, Yves
core +3 more sources
Combining Analytical and Evolutionary Inductive Programming
, 2009 Analytical inductive programming and evolutionary inductive programming are two opposing strategies for learning recursive programs from incomplete specifications such as input/output examples. Analytical inductive programming is data-driven, namely, the
N. Crossley +3 more
semanticscholar +1 more source
Advanced Functional Materials, EarlyView.Porous silicon nanoparticles (PSiNPs) reprogram macrophage endocytosis of manganese@albumin‐based TLR4 nanoagonists, driving TRIF‐biased TLR4 signaling, eliciting robust proinflammatory responses, and potentiating macrophage‐mediated immunotherapeutic effects against NSCLC.
Xiaomei Zhang +9 more
wiley +1 more source
Reasoning about modular datatypes with Mendler induction
, 2015 In functional programming, datatypes a la carte provide a convenient modular representation of recursive datatypes, based on their initial algebra semantics.
Schrijvers, Tom, Torrini, Paolo
core +2 more sources
Analytical Inductive Programming as a Cognitive Rule Acquisition Devise
, 2009 One of the most admirable characteristic of the human cognitive system is its ability to extract generalized rules covering regularities from example experience presented by or experienced from the environment.
Ute Schmid, M. Hofmann, E. Kitzelmann
semanticscholar +1 more source
Next‐Generation Bio‐Reducible Lipids Enable Enhanced Vaccine Efficacy in Malaria and Primate Models
Advanced Functional Materials, EarlyView.Structure–activity relationship (SAR) optimization of bio‐reducible ionizable lipids enables the development of highly effective lipid nanoparticle (LNP) mRNA vaccines. Lead LNPs show superior tolerability and antibody responses in rodents and primates, outperforming approved COVID‐19 vaccine lipids.
Ruben De Coen +30 more
wiley +1 more source