Search Results - programming techniques-(logic OR login) programming
-
1
A Critical Review of Inductive Logic Programming Techniques for Explainable AI
ISSN: 2162-237X, 2162-2388, 2162-2388Published: United States IEEE 01.08.2024Published 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…”
Get full text
Journal Article -
2
Inductive logic programming at 30
ISSN: 0885-6125, 1573-0565Published: New York Springer US 01.01.2022Published 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…”
Get full text
Journal Article -
3
Logic programming in tensor spaces
ISSN: 1012-2443, 1573-7470Published: Cham Springer International Publishing 01.12.2021Published 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…”
Get full text
Journal Article -
4
Programming cell-free biosensors with DNA strand displacement circuits
ISSN: 1552-4450, 1552-4469, 1552-4469Published: United States Nature Publishing Group 01.04.2022Published 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…”
Get full text
Journal Article -
5
Suspended sediment modeling using genetic programming and soft computing techniques
ISSN: 0022-1694, 1879-2707Published: Kidlington Elsevier B.V 11.07.2012Published in Journal of hydrology (Amsterdam) (11.07.2012)“…► We use genetic programming (GP) technique to model daily suspended sediment load…”
Get full text
Journal Article -
6
A new hybrid simulated annealing-based genetic programming technique to predict the ultimate bearing capacity of piles
ISSN: 0177-0667, 1435-5663Published: London Springer London 01.07.2021Published 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…”
Get full text
Journal Article -
7
Adaptive fuzzy dynamic programming (AFDP) technique for linear programming problems lps with fuzzy constraints
ISSN: 1432-7643, 1433-7479Published: Berlin/Heidelberg Springer Berlin Heidelberg 01.10.2023Published in Soft computing (Berlin, Germany) (01.10.2023)“…An adaptive fuzzy dynamic programming technique is proposed to solve linear programming problems having fuzzy constraints…”
Get full text
Journal Article -
8
Bousi∼Prolog: Design and implementation of a proximity-based fuzzy logic programming language
ISSN: 0957-4174, 1873-6793Published: Elsevier Ltd 01.03.2023Published 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…”
Get full text
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-0034Published: New York IEEE 01.11.2020Published 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…”
Get full text
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, 9783030452308Published: Cham Springer Nature 2020“…; logics of programming; software specification and refinement; models of concurrent…”
Get full text
eBook -
11
TOPSIS-Based Nonlinear-Programming Methodology for Multiattribute Decision Making With Interval-Valued Intuitionistic Fuzzy Sets
ISSN: 1063-6706, 1941-0034Published: New York IEEE 01.04.2010Published 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…”
Get full text
Journal Article -
12
Interactive neutrosophic optimization technique for multiobjective programming problems: an application to pharmaceutical supply chain management
ISSN: 0254-5330, 1572-9338Published: New York Springer US 01.04.2022Published 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…”
Get full text
Journal Article -
13
Computer‐aided biochemical programming of synthetic microreactors as diagnostic devices
ISSN: 1744-4292, 1744-4292Published: London Nature Publishing Group UK 01.04.2018Published 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…”
Get full text
Journal Article -
14
Sediment transport modeling in open channels using neuro-fuzzy and gene expression programming techniques
ISSN: 0273-1223, 1996-9732Published: England IWA Publishing 15.06.2019Published 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…”
Get full text
Journal Article -
15
A Fully Digital Relaxation-Aware Analog Programming Technique for HfOx RRAM Arrays
ISSN: 1549-7747, 1558-3791Published: New York IEEE 01.08.2024Published 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…”
Get full text
Journal Article -
16
Soil temperature modeling at different depths using neuro-fuzzy, neural network, and genetic programming techniques
ISSN: 0177-798X, 1434-4483Published: Vienna Springer Vienna 01.08.2017Published 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…”
Get full text
Journal Article -
17
An Offset-Cancellation Technique Using Charge-Trap Transistors and Asynchronous Programming Scheme
ISSN: 1549-7747, 1558-3791Published: New York IEEE 01.11.2024Published 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…”
Get full text
Journal Article -
18
Solving integrated operating room planning and scheduling: Logic-based Benders decomposition versus Branch-Price-and-Cut
ISSN: 0377-2217, 1872-6860Published: Elsevier B.V 16.08.2021Published 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…”
Get full text
Journal Article -
19
Optimal PID controller tuning using stochastic programming techniques
ISSN: 0001-1541, 1547-5905Published: New York American Institute of Chemical Engineers 01.08.2018Published in AIChE journal (01.08.2018)“…We argue that stochastic programming provides a powerful framework to tune and analyze the performance limits of controllers…”
Get full text
Journal Article -
20
Logic-based Benders decomposition with a partial assignment acceleration technique for avionics scheduling
ISSN: 0305-0548, 1873-765XPublished: 01.10.2022Published in Computers & operations research (01.10.2022)“… We present a method based on Logic-Based Benders Decomposition (LBBD) to solve this problem…”
Get full text
Journal Article

