Search Results - integration of functional and logic programming

An integration of logic and functional programming paradigms: Type theory and meta-narrowing by Lin, Fuyau

“…, predicate logic and functions. The aim of this thesis is the design and the realization of a programming language in which a functional language and Horn clauses are integrated in a single framework…”
Get full text

A hybrid programming scheme combining fuzzy-logic and functional-logic resources by Moreno, Ginés, Pascual, Vicente

“…This paper focuses on the integration of the (also integrated) declarative paradigms of functional-logic and fuzzy-logic programming, in order to obtain…”
Get full text

Integration of image preprocessing and recognition functions in an optoelectronic coupling organic ferroelectric retinomorphic neuristor by Dai, Qinyong, Pei, Mengjiao, Guo, Jianhang, Wang, Qijing, Hao, Ziqian, Wang, Hengyuan, Li, Yating, Li, Longfei, Lu, Kuakua, Yan, Yang, Shi, Yi, Li, Yun

“… in-memory computing within the visual cortex. Realizing the biofunction simulation of the retina and visual cortex in a single device structure provides opportunities for performance improvements and machine vision system (MVS) integration…”
Get more information

A domain-theoretic approach to functional and logic programming by Silbermann, Frank S. K., Jayaraman, Bharat

“…The integration of functional and logic programming languages has been a topic of great interest in the last decade…”
Get full text

Preface for special section from FLOPS 2014 by CODISH, MICHAEL, SUMII, EIJIRO

“…The 12th International Symposium on Functional and Logic Programming was held in Kanazawa, Japan, June 4–6, 2014…”
Get full text

Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming by Schwarz, Sibylle, Voigtländer, Janis

“… (not only from Germany). The International Workshops on Functional and (Constraint) Logic Programming (WFLP) aim at bringing together researchers, students, and practitioners interested in functional programming, logic programming, and their integration…”
Get full text

Implementing conditional term rewriting by graph rewriting by Ohlebusch, Enno

“… In this paper, we extend the aforementioned results to a class of conditional term rewriting systems which plays a key role in the integration of functional and logic programming…”
Get full text

Proceedings 35th International Conference on Logic Programming (Technical Communications) by Bogaerts, Bart, Erdem, Esra, Fodor, Paul, misano, Andrea, Ianni, Giovambattista, Inclezan, Daniela, Vidal, German, Villanueva, Alicia, De Vos, Marina, Yang, Fangkai

“…Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming…”
Get full text

Functional gradients in the human lateral prefrontal cortex revealed by a comprehensive coordinate-based meta-analysis by Abdallah, Majd, Zanitti, Gaston E, Iovene, Valentin, Wassermann, Demian

“… Here, we adopt NeuroLang, a novel approach to more expressive meta-analysis based on probabilistic first-order logic programming, to infer the organizing principles of the LPFC from 14,371 neuroimaging studies…”
Get full text

A pipeline to create predictive functional networks: application to the tumor progression of hepatocellular carcinoma by Folschette, Maxime, Legagneux, Vincent, Poret, Arnaud, Chebouba, Lokmane, Guziolowski, Carito, Théret, Nathalie

“… From the computational side, several solvers for logic programs are able to perform extremely well in decision problems for combinatorial search domains…”
Get full text

Constraints on signaling network logic reveal functional subgraphs on Multiple Myeloma OMIC data by Miannay, Bertrand, Minvielle, Stéphane, Magrangeas, Florence, Guziolowski, Carito

“… In this study we approach the GEP-networks integration problem by considering the network logic, however our approach does not require a prior species selection according to their gene expression level…”
Get full text

Pre-Proceedings of the 28th International Workshop on Functional and Logic Programming (WFLP 2020) by Hanus, Michael, Coen, Claudio Sacerdoti

“… The international Workshop on Functional and (constraint) Logic Programming (WFLP) aims at bringing together researchers, students, and practitioners interested in functional programming, logic programming, and their integration…”
Get full text

Sustainability of Programming Education Through CDIO-Oriented Practice: An Empirical Study on Syntax-Level Structural Visualization for Functional Programming Languages by Lai, Chien-Hung, Ho, Liang-Chieh, Liao, Zi-Yi

“… (Conceive, Design, Implement, Operate) framework to propose an innovative programming teaching model…”
Get full text

Programming gene expression with combinatorial promoters by Cox, Robert Sidney, Surette, Michael G, Elowitz, Michael B

“… To further analyze the functional repertoire, we defined…”
Get full text

Some characteristics of strong innermost normalization by Krishna Rao, M.R.K.

“… This property is very important in the integration of functional and logic programming paradigms…”
Get full text

A Functional Hybrid Memristor Crossbar-Array/CMOS System for Data Storage and Neuromorphic Applications by Kim, Kuk-Hwan, Gaba, Siddharth, Wheeler, Dana, Cruz-Albrecht, Jose M, Hussain, Tahir, Srinivasa, Narayan, Lu, Wei

“…Crossbar arrays based on two-terminal resistive switches have been proposed as a leading candidate for future memory and logic applications…”
Get full text

Can single-atom precision rewire the electrochemical logic of Li–S chemistry? A comprehensive review of single-atom catalysts as agents of precise modulation by Wang, Yue, Song, Haobin, Zhao, Nan, Cheng, Xi, Li, Dong-Sheng, Yang, Hui Ying

“…: spatial configuration, reaction pathway control, and functional integration. We summarize how coordination asymmetry, charge redistribution, and interfacial electronic…”
Get full text

Integration of Non‐Volatile Multi‐Bit Storage and Logic Computing in GaN Enhancement‐Mode Devices for In‐Memory Computing by Yu, Hao, Liu, Huangbai, Li, Lei, Duan, Xinqing, Peng, Zehui, Lu, Lei, Lin, Xinnan, Chang, Kuan‐Chang

“…Silicon‐based in‐memory computing, through seamless integration of computation and storage capabilities, offers a promising solution to the data transfer bottlenecks inherent in traditional von Neumann architectures…”
Get full text

Hands-On Julia Programming: An Authoritative Guide to the Production-Ready Systems in Julia by Kumar Dash, Sambit

Get full text

Compiled, Extensible, Multi-language DSLs (Functional Pearl) by Ballantyne, Michael, Gamburg, Mitch, Hemann, Jason

“… This pearl illustrates this approach through a new implementation of miniKanren, a widely used relational programming DSL…”
Get full text