Výsledky vyhľadávania - (implementations OR implementation) of logic programming

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

“…The fuzzy logic programming language Bousi∼Prolog extends Prolog with a weak unification algorithm based on proximity relations and truth degree annotations…”
Získať plný text

Implementation of Model Predictive Control in Programmable Logic Controllers Autor Krupa, Pablo, Limon, Daniel, Alamo, Teodoro

“…)-based controller in programmable logic controllers (PLCs). Automatic code generation of standardized IEC 61131-3 PLC programming languages is used to solve the MPC's optimization problem online…”
Získať plný text

On the implementation of the probabilistic logic programming language ProbLog Autor KIMMIG, ANGELIKA, DEMOEN, BART, DE RAEDT, LUC, COSTA, VÍTOR SANTOS, ROCHA, RICARDO

“…The past few years have seen a surge of interest in the field of probabilistic logic learning and statistical relational learning…”
Získať plný text

Identifying Mechanisms of Action for Implementation Strategies Using a Retrospective Implementation Mapping Logic Model Approach Autor Walker, Timothy J., Are, Funlola, Heredia, Natalia I., Onadeko, Kempson, Saving, Emma E., Kang, Eunyoung, Fernandez, Maria E.

“… Logic models are helpful for understanding and illustrating mechanisms through which implementation strategies operate…”
Získať plný text

Capacitated vehicle routing problem with pick-up and alternative delivery (CVRPPAD): model and implementation using hybrid approach Autor Sitek, Pawel, Wikarek, Jarosław

“…The paper presents an optimization model and its implementation using a hybrid approach for the Capacitated Vehicle Routing Problem with Pick-up and Alternative Delivery (CVRPPAD…”
Získať plný text

Molecular implementation of simple logic programs Autor Ran, Tom, Kaplan, Shai, Shapiro, Ehud

“… . Biomolecular implementations of finite automata 8 , 9 and logic gates 4 , 10 , 11 , 12 , 13 have already been developed 14 , 15 , 16 , 17 , 18…”
Získať plný text

Revisiting the Percentage of K-12 Students in Need of Preventive Interventions in Schools in a “Peri-COVID” Era: Implications for the Implementation of Tiered Programming Autor Weist, Mark D., Garbacz, Andy, Schultz, Brandon, Bradshaw, Catherine P., Lane, Kathleen Lynne

“… The PBIS framework also emphasizes the use of tiered logic, with strengthened efforts at the universal and selective levels when student behavioral or mental health needs exceed expected levels…”
Získať plný text

Proximity-Based Unification: An Efficient Implementation Method Autor Julian-Iranzo, Pascual, Saenz-Perez, Fernando

“… Proximity relations, in combination with the unification algorithm, make possible expressing certain forms of approximate reasoning in a logic programming framework…”
Získať plný text

Knowledge Implementation and Transfer With an Adaptive Learning Network for Real-Time Power Management of the Plug-in Hybrid Vehicle Autor Zhou, Quan, Zhao, Dezong, Shuai, Bin, Li, Yanfei, Williams, Huw, Xu, Hongming

“… First, the ANFIS network is built using a new global K-fold fuzzy learning (GKFL) method for real-time implementation of the offline dynamic programming result…”
Získať plný text

Energy management system for residential buildings based on fuzzy logic: design and implementation in smart‐meter Autor Chojecki, Adrian, Rodak, Michał, Ambroziak, Arkadiusz, Borkowski, Piotr

“…‐meter. The designed system is based on an original algorithm using fuzzy logic. The rule base was created in FCL language and the implementation was carried out in C++ with the object…”
Získať plný text

Verifying the Correctness and Amortized Complexity of a Union-Find Implementation in Separation Logic with Time Credits Autor Charguéraud, Arthur, Pottier, François

“… In order to reason in Coq about imperative OCaml code, we use the CFML tool, which implements Separation Logic for a subset of OCaml, and which we extend with time credits…”
Získať plný text

Dynamic Choreographies: Theory And Implementation Autor Preda, Mila Dalla, Gabbrielli, Maurizio, Giallorenzo, Saverio, Lanese, Ivan, Mauro, Jacopo

“…Programming distributed applications free from communication deadlocks and race conditions is complex…”
Získať plný text

XSB: Extending Prolog with Tabled Logic Programming Autor SWIFT, TERRANCE, WARREN, DAVID S.

“…The paradigm of Tabled Logic Programming (TLP) is now supported by a number of Prolog systems, including XSB, YAP Prolog, B-Prolog, Mercury, ALS, and Ciao…”
Získať plný text

An efficient propositional system for Abductive Logic Programming Autor Gavanelli, Marco, Julián-Iranzo, Pascual, Sáenz-Pérez, Fernando

“…Abductive logic programming (ALP) extends logic programming with hypothetical reasoning by means of abducibles, an extension able to handle interesting problems, such as diagnosis, planning, and verification with formal methods…”
Získať plný text

Programmable Threshold Logic Implementations in a Memristor Crossbar Array Autor Youn, Sangwook, Lee, Jungjin, Kim, Sungjoon, Park, Jinwoo, Kim, Kyuree, Kim, Hyungjin

“…In this study, we demonstrate the implementation of programmable threshold logics using a 32…”
Získať plný text

Implementation of cascade logic gates and majority logic gate on a simple and universal molecular platform Autor Gao, Jinting, Liu, Yaqing, Lin, Xiaodong, Deng, Jiankang, Yin, Jinjin, Wang, Shuo

“…Wiring a series of simple logic gates to process complex data is significantly important and a large challenge for untraditional molecular computing systems…”
Získať plný text

Development of mathematical plant model and implementation of fuzzy logic controller for improved performance of hydrogen fuel cell electric vehicle Autor Mulik, Rakesh V., Porpatham, Ekambaram, Arumugam, Senthil Kumar

“… It also implements a fuzzy logic controller (FLC) using both Mamdani and Sugeno methods to enhance efficiency, optimize power distribution, and reduce energy losses…”
Získať plný text

Graphene-based area efficient power planning architecture design methodology for nanomagnetic logic implementation Autor Sivasubramani, Santhosh, Debroy, Sanghamitra, Ghosh Acharyya, Swati, Acharyya, Amit

“…In this study, we introduce the power planning architecture design for the implementation of Nanomagnetic Logic (NML…”
Získať plný text

Via-Switch FPGA: 65-nm CMOS Implementation and Evaluation Autor Bai, Xu, Banno, Naoki, Miyamura, Makoto, Nebashi, Ryusuke, Okamoto, Koichiro, Numata, Hideaki, Iguchi, Noriyuki, Hashimoto, Masanori, Sugibayashi, Tadahiko, Sakamoto, Toshitsugu, Tada, Munehiro

“…). The conventional static random access memory (SRAM) FPGAs face severe challenges including large standby power and low logic density due to utilization of SRAM cell and MOS switch for signal routing…”
Získať plný text

GPR: A Python implementation of an extremely simple classifier based on fuzzy logic and gene expression programming Autor Czmil, Anna, Kluska, Jacek, Czmil, Sylwester

“…In this work, we present a Python-based implementation of an extremely simple classifier (GPR…”
Získať plný text