Výsledky vyhľadávania - integration of functional and logic programming

An integration of logic and functional programming paradigms: Type theory and meta-narrowing Autor 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…”
Získať plný text

A hybrid programming scheme combining fuzzy-logic and functional-logic resources Autor 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…”
Získať plný text

Integration of image preprocessing and recognition functions in an optoelectronic coupling organic ferroelectric retinomorphic neuristor Autor 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…”
Zistit podrobnosti o prístupe

A domain-theoretic approach to functional and logic programming Autor 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…”
Získať plný text

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

“…The 12th International Symposium on Functional and Logic Programming was held in Kanazawa, Japan, June 4–6, 2014…”
Získať plný text

Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming Autor 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…”
Získať plný text

Implementing conditional term rewriting by graph rewriting Autor 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…”
Získať plný text

Proceedings 35th International Conference on Logic Programming (Technical Communications) Autor 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…”
Získať plný text

Functional gradients in the human lateral prefrontal cortex revealed by a comprehensive coordinate-based meta-analysis Autor 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…”
Získať plný text

A pipeline to create predictive functional networks: application to the tumor progression of hepatocellular carcinoma Autor 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…”
Získať plný text

Constraints on signaling network logic reveal functional subgraphs on Multiple Myeloma OMIC data Autor 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…”
Získať plný text

Pre-Proceedings of the 28th International Workshop on Functional and Logic Programming (WFLP 2020) Autor 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…”
Získať plný text

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

“… (Conceive, Design, Implement, Operate) framework to propose an innovative programming teaching model…”
Získať plný text

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

“… To further analyze the functional repertoire, we defined…”
Získať plný text

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

“… This property is very important in the integration of functional and logic programming paradigms…”
Získať plný text

A Functional Hybrid Memristor Crossbar-Array/CMOS System for Data Storage and Neuromorphic Applications Autor 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…”
Získať plný 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 Autor 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…”
Získať plný text

Integration of Non‐Volatile Multi‐Bit Storage and Logic Computing in GaN Enhancement‐Mode Devices for In‐Memory Computing Autor 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…”
Získať plný text

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

Získať plný text

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

“… This pearl illustrates this approach through a new implementation of miniKanren, a widely used relational programming DSL…”
Získať plný text