Suchergebnisse - programming techniques-(logic OR login) programming
-
1
A Critical Review of Inductive Logic Programming Techniques for Explainable AI
ISSN: 2162-237X, 2162-2388, 2162-2388Veröffentlicht: United States IEEE 01.08.2024Veröffentlicht in IEEE transaction on neural networks and learning systems (01.08.2024)“… Inductive logic programming (ILP), a subfield of symbolic AI, plays a promising role in generating interpretable explanations because of its intuitive logic-driven framework …”
Volltext
Journal Article -
2
Inductive logic programming at 30
ISSN: 0885-6125, 1573-0565Veröffentlicht: New York Springer US 01.01.2022Veröffentlicht in Machine learning (01.01.2022)“… Inductive logic programming (ILP) is a form of logic-based machine learning. The goal is to induce a hypothesis (a logic program …”
Volltext
Journal Article -
3
Logic programming in tensor spaces
ISSN: 1012-2443, 1573-7470Veröffentlicht: Cham Springer International Publishing 01.12.2021Veröffentlicht in Annals of mathematics and artificial intelligence (01.12.2021)“… This paper introduces a novel approach to computing logic programming semantics. First, a propositional Herbrand base is represented in a vector space and if-then rules in a program are encoded in a matrix …”
Volltext
Journal Article -
4
Programming cell-free biosensors with DNA strand displacement circuits
ISSN: 1552-4450, 1552-4469, 1552-4469Veröffentlicht: United States Nature Publishing Group 01.04.2022Veröffentlicht in Nature chemical biology (01.04.2022)“… displacement to construct hybrid RNA-DNA circuits that allow fine-tuning of reaction kinetics. We use these design rules to build 12 different circuits that implement a range of logic functions …”
Volltext
Journal Article -
5
Suspended sediment modeling using genetic programming and soft computing techniques
ISSN: 0022-1694, 1879-2707Veröffentlicht: Kidlington Elsevier B.V 11.07.2012Veröffentlicht in Journal of hydrology (Amsterdam) (11.07.2012)“… ► We use genetic programming (GP) technique to model daily suspended sediment load …”
Volltext
Journal Article -
6
A new hybrid simulated annealing-based genetic programming technique to predict the ultimate bearing capacity of piles
ISSN: 0177-0667, 1435-5663Veröffentlicht: London Springer London 01.07.2021Veröffentlicht in Engineering with computers (01.07.2021)“… The aim of this research is to develop three soft-computing techniques, including adaptive-neuro-fuzzy inference system (ANFIS …”
Volltext
Journal Article -
7
Adaptive fuzzy dynamic programming (AFDP) technique for linear programming problems lps with fuzzy constraints
ISSN: 1432-7643, 1433-7479Veröffentlicht: Berlin/Heidelberg Springer Berlin Heidelberg 01.10.2023Veröffentlicht in Soft computing (Berlin, Germany) (01.10.2023)“… An adaptive fuzzy dynamic programming technique is proposed to solve linear programming problems having fuzzy constraints …”
Volltext
Journal Article -
8
Bousi∼Prolog: Design and implementation of a proximity-based fuzzy logic programming language
ISSN: 0957-4174, 1873-6793Veröffentlicht: Elsevier Ltd 01.03.2023Veröffentlicht in Expert systems with applications (01.03.2023)“… The fuzzy logic programming language Bousi∼Prolog extends Prolog with a weak unification algorithm based on proximity relations and truth degree annotations …”
Volltext
Journal Article -
9
Application of Type-2 Fuzzy Logic to a Multiobjective Green Solid Transportation-Location Problem With Dwell Time Under Carbon Tax, Cap, and Offset Policy: Fuzzy Versus Nonfuzzy Techniques
ISSN: 1063-6706, 1941-0034Veröffentlicht: New York IEEE 01.11.2020Veröffentlicht in IEEE transactions on fuzzy systems (01.11.2020)“… We are observing more often extreme climate incidents because of global warming. There is a dire requirement for governments, enterprises, the overall …”
Volltext
Journal Article -
10
Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
ISBN: 303045231X, 9783030452315, 3030452301, 9783030452308Veröffentlicht: Cham Springer Nature 2020“… ; logics of programming; software specification and refinement; models of concurrent …”
Volltext
E-Book -
11
TOPSIS-Based Nonlinear-Programming Methodology for Multiattribute Decision Making With Interval-Valued Intuitionistic Fuzzy Sets
ISSN: 1063-6706, 1941-0034Veröffentlicht: New York IEEE 01.04.2010Veröffentlicht in IEEE transactions on fuzzy systems (01.04.2010)“… The aim of this paper is to develop a nonlinear-programming methodology that is based on the technique for order preference by similarity to ideal solution to solve multiattribute decision-making (MADM …”
Volltext
Journal Article -
12
Interactive neutrosophic optimization technique for multiobjective programming problems: an application to pharmaceutical supply chain management
ISSN: 0254-5330, 1572-9338Veröffentlicht: New York Springer US 01.04.2022Veröffentlicht in Annals of operations research (01.04.2022)“… ; however, there is ample opportunity to get a compromise solution to multiobjective programming problems (MOPPs). Neutrosophic set (NS …”
Volltext
Journal Article -
13
Computer‐aided biochemical programming of synthetic microreactors as diagnostic devices
ISSN: 1744-4292, 1744-4292Veröffentlicht: London Nature Publishing Group UK 01.04.2018Veröffentlicht in Molecular systems biology (01.04.2018)“… in order to identify robust, specification compliant molecular implementations. We introduce a systematic methodology based on automated computational design and microfluidics enabling the programming of synthetic …”
Volltext
Journal Article -
14
Sediment transport modeling in open channels using neuro-fuzzy and gene expression programming techniques
ISSN: 0273-1223, 1996-9732Veröffentlicht: England IWA Publishing 15.06.2019Veröffentlicht in Water science and technology (15.06.2019)“… In this study, two techniques of neuro-fuzzy (NF) and gene expression programming (GEP) are implemented for particle Froude number estimation of the non-deposition condition of sediment transport in rigid boundary channels …”
Volltext
Journal Article -
15
A Fully Digital Relaxation-Aware Analog Programming Technique for HfOx RRAM Arrays
ISSN: 1549-7747, 1558-3791Veröffentlicht: New York IEEE 01.08.2024Veröffentlicht in IEEE transactions on circuits and systems. II, Express briefs (01.08.2024)“… To address this, researchers have reported different multi-level programming strategies, mostly involving the precise control of analog parameters like compliance …”
Volltext
Journal Article -
16
Soil temperature modeling at different depths using neuro-fuzzy, neural network, and genetic programming techniques
ISSN: 0177-798X, 1434-4483Veröffentlicht: Vienna Springer Vienna 01.08.2017Veröffentlicht in Theoretical and applied climatology (01.08.2017)“… ), and genetic programming (GP) techniques in estimating soil temperatures (ST) at different depths is investigated in this study …”
Volltext
Journal Article -
17
An Offset-Cancellation Technique Using Charge-Trap Transistors and Asynchronous Programming Scheme
ISSN: 1549-7747, 1558-3791Veröffentlicht: New York IEEE 01.11.2024Veröffentlicht in IEEE transactions on circuits and systems. II, Express briefs (01.11.2024)“… In this brief, a novel offset-cancellation (OC) technique is proposed, utilizing differential pair Charge-Trap Transistors (CTTs …”
Volltext
Journal Article -
18
Solving integrated operating room planning and scheduling: Logic-based Benders decomposition versus Branch-Price-and-Cut
ISSN: 0377-2217, 1872-6860Veröffentlicht: Elsevier B.V 16.08.2021Veröffentlicht in European journal of operational research (16.08.2021)“… •We develop novel mixed-integer and constraint programming models for this problem.•We develop logic-based Benders and branch-and-check decomposition approaches …”
Volltext
Journal Article -
19
Optimal PID controller tuning using stochastic programming techniques
ISSN: 0001-1541, 1547-5905Veröffentlicht: New York American Institute of Chemical Engineers 01.08.2018Veröffentlicht in AIChE journal (01.08.2018)“… We argue that stochastic programming provides a powerful framework to tune and analyze the performance limits of controllers …”
Volltext
Journal Article -
20
Logic-based Benders decomposition with a partial assignment acceleration technique for avionics scheduling
ISSN: 0305-0548, 1873-765XVeröffentlicht: 01.10.2022Veröffentlicht in Computers & operations research (01.10.2022)“… We present a method based on Logic-Based Benders Decomposition (LBBD) to solve this problem …”
Volltext
Journal Article

