Suchergebnisse - programming techniques-(logic OR login) programming

  1. 1

    A Critical Review of Inductive Logic Programming Techniques for Explainable AI von Zhang, Zheng, Yilmaz, Levent, Liu, Bo

    ISSN: 2162-237X, 2162-2388, 2162-2388
    Veröffentlicht: United States IEEE 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. 2

    Inductive logic programming at 30 von Cropper, Andrew, Dumančić, Sebastijan, Evans, Richard, Muggleton, Stephen H.

    ISSN: 0885-6125, 1573-0565
    Veröffentlicht: New York Springer US 01.01.2022
    Verö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. 3

    Logic programming in tensor spaces von Sakama, Chiaki, Inoue, Katsumi, Sato, Taisuke

    ISSN: 1012-2443, 1573-7470
    Veröffentlicht: Cham Springer International Publishing 01.12.2021
    Verö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. 4

    Programming cell-free biosensors with DNA strand displacement circuits von Jung, Jaeyoung K, Archuleta, Chloé M, Alam, Khalid K, Lucks, Julius B

    ISSN: 1552-4450, 1552-4469, 1552-4469
    Veröffentlicht: United States Nature Publishing Group 01.04.2022
    Verö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. 5

    Suspended sediment modeling using genetic programming and soft computing techniques von Kisi, Ozgur, Dailr, Ali Hosseinzadeh, Cimen, Mesut, Shiri, Jalal

    ISSN: 0022-1694, 1879-2707
    Veröffentlicht: Kidlington Elsevier B.V 11.07.2012
    Verö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. 6

    A new hybrid simulated annealing-based genetic programming technique to predict the ultimate bearing capacity of piles von Yong, Weixun, Zhou, Jian, Jahed Armaghani, Danial, Tahir, M. M., Tarinejad, Reza, Pham, Binh Thai, Van Huynh, Van

    ISSN: 0177-0667, 1435-5663
    Veröffentlicht: London Springer London 01.07.2021
    Verö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. 7

    Adaptive fuzzy dynamic programming (AFDP) technique for linear programming problems lps with fuzzy constraints von Khan, Izaz Ullah, Aftab, Muhammad

    ISSN: 1432-7643, 1433-7479
    Veröffentlicht: Berlin/Heidelberg Springer Berlin Heidelberg 01.10.2023
    Verö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. 8

    Bousi∼Prolog: Design and implementation of a proximity-based fuzzy logic programming language von Julián-Iranzo, Pascual, Sáenz-Pérez, Fernando

    ISSN: 0957-4174, 1873-6793
    Veröffentlicht: Elsevier Ltd 01.03.2023
    Verö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. 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 von Das, Soumen Kumar, Roy, Sankar Kumar, Weber, Gerhard-Wilhelm

    ISSN: 1063-6706, 1941-0034
    Veröffentlicht: New York IEEE 01.11.2020
    Verö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. 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 von Goubault-Larrecq, Jean, König, Barbara

    ISBN: 303045231X, 9783030452315, 3030452301, 9783030452308
    Veröffentlicht: Cham Springer Nature 2020
    “… ; logics of programming; software specification and refinement; models of concurrent …”
    Volltext
    E-Book
  11. 11

    TOPSIS-Based Nonlinear-Programming Methodology for Multiattribute Decision Making With Interval-Valued Intuitionistic Fuzzy Sets von Li, Deng-Feng

    ISSN: 1063-6706, 1941-0034
    Veröffentlicht: New York IEEE 01.04.2010
    Verö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. 12

    Interactive neutrosophic optimization technique for multiobjective programming problems: an application to pharmaceutical supply chain management von Ahmad, Firoz

    ISSN: 0254-5330, 1572-9338
    Veröffentlicht: New York Springer US 01.04.2022
    Verö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. 13

    Computer‐aided biochemical programming of synthetic microreactors as diagnostic devices von Courbet, Alexis, Amar, Patrick, Fages, François, Renard, Eric, Molina, Franck

    ISSN: 1744-4292, 1744-4292
    Veröffentlicht: London Nature Publishing Group UK 01.04.2018
    Verö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. 14

    Sediment transport modeling in open channels using neuro-fuzzy and gene expression programming techniques von Kargar, Katayoun, Safari, Mir Jafar Sadegh, Mohammadi, Mirali, Samadianfard, Saeed

    ISSN: 0273-1223, 1996-9732
    Veröffentlicht: England IWA Publishing 15.06.2019
    Verö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. 15

    A Fully Digital Relaxation-Aware Analog Programming Technique for HfOx RRAM Arrays von Erfanijazi, Hamidreza, Camunas-Mesa, Luis A., Vianello, Elisa, Serrano-Gotarredona, Teresa, Linares-Barranco, Bernabe

    ISSN: 1549-7747, 1558-3791
    Veröffentlicht: New York IEEE 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. 16

    Soil temperature modeling at different depths using neuro-fuzzy, neural network, and genetic programming techniques von Kisi, Ozgur, Sanikhani, Hadi, Cobaner, Murat

    ISSN: 0177-798X, 1434-4483
    Veröffentlicht: Vienna Springer Vienna 01.08.2017
    Verö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. 17

    An Offset-Cancellation Technique Using Charge-Trap Transistors and Asynchronous Programming Scheme von Lin, Ye, Jiang, Anying, Lv, Jingjing, Du, Yuan, Du, Li

    ISSN: 1549-7747, 1558-3791
    Veröffentlicht: New York IEEE 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. 18

    Solving integrated operating room planning and scheduling: Logic-based Benders decomposition versus Branch-Price-and-Cut von Roshanaei, Vahid, Naderi, Bahman

    ISSN: 0377-2217, 1872-6860
    Veröffentlicht: Elsevier B.V 16.08.2021
    Verö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. 19

    Optimal PID controller tuning using stochastic programming techniques von Renteria, Jose A., Cao, Yankai, Dowling, Alexander W., Zavala, Victor M.

    ISSN: 0001-1541, 1547-5905
    Veröffentlicht: New York American Institute of Chemical Engineers 01.08.2018
    Verö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. 20

    Logic-based Benders decomposition with a partial assignment acceleration technique for avionics scheduling von Karlsson, Emil, Rönnberg, Elina

    ISSN: 0305-0548, 1873-765X
    Veröffentlicht: 01.10.2022
    Verö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