Results 111 to 120 of about 6,158,552 (360)

E-Generalization Using Grammars [PDF]

, 2017
We extend the notion of anti-unification to cover equational theories and present a method based on regular tree grammars to compute a finite representation of E-generalization sets.
Burghardt, Jochen
core  

Shape‐Reconfigurable Crack‐Based Strain Sensor with Ultrahigh and Tunable Sensitivity

Advanced Functional Materials, EarlyView.
A highly sensitive crack‐based sensor with tunable strain detection capabilities is demonstrated through controlled nanocrack formation in a line‐patterned shape memory polymer substrate. The sensor design integrates thermoplastic polyurethane and poly(lactic acid), enabling thermo‐responsive reconfiguration of crack geometry.
Seungjae Lee, Youngoh Lee, Cheolhong Park, Yun Goo Ro, Min Sub Kwak, Geonyoung Jeong, Junseo Park, Hyejin Lee, Pan Kyeom Kim, Sung‐Il Chung, Hyunhyub Ko   +10 more
wiley   +1 more source

Oxygen Defect Engineering of Hexagonal Perovskite Oxides to Boost Catalytic Performance for Aerobic Oxidation of Sulfides to Sulfones

Advanced Functional Materials, EarlyView.
Ru‐substituted hexagonal perovskite SrMnO3, featuring face‐shared oxygen species, is designed as an effective heterogeneous catalyst for the aerobic oxidation of sulfides. The catalyst demonstrates high selectivity to sulfones (>99%) under mild reaction conditions (≥30 °C). Ru substitution promotes oxygen vacancy formation of face‐shared oxygen species
Keiju Wachi, Masashi Makizawa, Takeshi Aihara, Shin Kiyohara, Yu Kumagai, Keigo Kamata   +5 more
wiley   +1 more source

Inductive Mercury Programming

, 2007
We investigate using the Mercury language to implement and design ILP algorithms, presenting our own ILP system IMP . Mercury provides faster execution than Prolog. Since Mercury is a purely declarative language, run-time assertion of induced clauses is prohibited.
Fisher, Barnaby, Cussens, James
openaire   +3 more sources

Turning on Selective H2S Gas Sensing Activity in Ternary Nickel Tungstate Strongly Correlated Electron System Through Sub‐Gap Band Manipulation

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, Ha Eun Choa, Seung Joon Choi, Chul Oh Park, Gi Hyun Park, June Won Suh, Si Hoon Jeong, Yunseong Ji, Changhyun Jin, Jeong Yun Hwang, Inseo Kim, Jihye Park, Joonho Bang, Myung Sik Choi, Hyo‐Jick Choi, Dong Won Chun, Kimoon Lee, Wooyoung Lee, Kyu Hyoung Lee   +18 more
wiley   +1 more source

Deeply Semantic Inductive Spatio-Temporal Learning [PDF]

arXiv, 2016
We present an inductive spatio-temporal learning framework rooted in inductive logic programming. With an emphasis on visuo-spatial language, logic, and cognition, the framework supports learning with relational spatio-temporal features identifiable in a range of domains involving the processing and interpretation of dynamic visuo-spatial imagery.
arxiv  

Quantifying the Impact on Software Complexity of Composable Inductive Programming using Zoea [PDF]

arXiv, 2020
Composable inductive programming as implemented in the Zoea programming language is a simple declarative approach to software development. At the language level it is evident that Zoea is significantly simpler than all mainstream languages. However, until now we have only had anecdotal evidence that software produced with Zoea is also simpler than ...
arxiv  

Optimized Program Extraction for Induction and Coinduction [PDF]

, 2018
We prove soundness of an optimized realizability interpretation for a logic supporting strictly positive induction and coinduction. The optimization concerns the special treatment of Harrop formulas which yields simpler extracted programs. We show that wellfounded induction is an instance of strictly positive induction and derive from this a new ...
Berger, Ulrich, Petrovska, Olga
openaire   +1 more source

Low‐Surface‐Energy Copper Promotes Atomic Diffusion and Ordering in PtFeCu Intermetallic Compounds for Oxygen Reduction Catalysis

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, Shuhao Wang, Quentin Meyer, Hongyu Guo, Chen Jia, Dazhi Yao, Yingjun Sun, Jun Chen, Shaojun Guo, Chuan Zhao   +9 more
wiley   +1 more source

Logic Programming, Functional Programming, and Inductive Definitions [PDF]

published in P. Schroeder-Heister (editor), Extensions of Logic Programming (Springer, 1991), 283-310, 2001
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.
arxiv