Results 161 to 170 of about 629,043 (341)
Inductive Synthesis of Inductive Heap Predicates
Proceedings of the ACM on Programming LanguagesWe present an approach to automatically synthesise recursive predicates in Separation Logic (SL) from concrete data structure instances using Inductive Logic Programming (ILP) techniques. The main challenges to make such synthesis effective are (1) making it work without negative examples that are required in ILP but are difficult to ...
Ziyi Yang 0004, Ilya Sergey
openaire +1 more source
Advanced Materials Technologies, EarlyView.Anodic aluminum oxide (AAO) membranes have traditionally served as structural supports in osmotic energy systems. Here, blind‐hole AAO membranes are demonstrated as active ion‐selective platforms with tunable nanopore structures. By balancing membrane resistance, ion selectivity, and flux, enhanced performance is achieved, delivering a maximum power ...
Khanh Nhien Vu +6 more
wiley +1 more source
Interactive Inductive Learning System
Inductive learning system learns classification from training examples and uses induced rules for classifying new instances. If a decision cannot be inferred from system rule base, a default rule is usually applied.
Birzniece, Ilze
core
Machine learning for inductive theorem proving [PDF]
, 2019 Over the past few years, machine learning has been successfully combined with automated theorem provers (ATPs) to prove conjectures from various proof assistants. However, such approaches do not usually focus on inductive proofs.
Jiang, Yaqing
core
A Syntax for Higher Inductive-Inductive Types.
, 2018 Higher inductive-inductive types (HIITs) generalise inductive types of dependent type theories in two directions. On the one hand they allow the simultaneous definition of multiple sorts that can be indexed over each other. On the other hand they support equality constructors, thus generalising higher inductive types of homotopy type theory.
Ambrus Kaposi, András Kovács
openaire +3 more sources
Advanced Materials Technologies, EarlyView.An AlON interfacial layer is engineered within an AlN switching layer to enable transparent RRAM with four stable resistance states. The device achieves low‐voltage multilevel switching and a high HRS, allowing precise grayscale modulation and preventing light leakage in micro‐LEDs operated at VDD = 2.7 V.
Sung Keun Choi +7 more
wiley +1 more source
The Use of Inductive Learning in Information Systems
Machine learning attempts to build computer programs that improve their performance by automating the acquisition of knowledge from experience. Inductive learning, one of machine learning paradigms, draws inductive inference from a teacher or environment-
Birzniece, Ilze
core
Advanced Materials Technologies, EarlyView.Plasma‐induced ligand polymerization on colloidal quantum dots (QDs) renders them resistant to organic solvents, enabling conventional photoresist‐based photolithography. This approach achieves microscale patterning with feature sizes down to 3 µm, preserving the optical properties of the QDs and offering a simple and scalable route for QD‐based ...
Boram Kim, Jaehyeon Kim, Heeyeop Chae
wiley +1 more source
Relational Rippling: A General Approach
, 1995 We propose a new version of rippling, called relational rippling. Rippling is a heuristic for guiding proof search, especially in the step cases of inductive proofs. Relational rippling is designed for representations in which value passing is by shared
Vincent Lombart +3 more
core
Probing Near‐Field EM Fluctuations in Superparamagnetic CoFeB With NV Quantum Dephasometry
Advanced Optical Materials, EarlyView.We non‐invasively investigate the superparamagnetic spin dynamics of a 1.1 nm CoFeB layer by probing its near‐field EM fluctuations using NV centers‐based quantum dephasometry. Our findings are further supported by theoretical modeling and SQUID‐based magnetization characterization. These results provide critical insight into the magnetization dynamics
Shoaib Mahmud +5 more
wiley +1 more source