Suchergebnisse - integration of functional and logic programming

An integration of logic and functional programming paradigms: Type theory and meta-narrowing von 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 …”
Volltext

A hybrid programming scheme combining fuzzy-logic and functional-logic resources von 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 …”
Volltext

Integration of image preprocessing and recognition functions in an optoelectronic coupling organic ferroelectric retinomorphic neuristor von 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 …”
Weitere Angaben

A domain-theoretic approach to functional and logic programming von 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 …”
Volltext

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

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

Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming von 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 …”
Volltext

Implementing conditional term rewriting by graph rewriting von 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 …”
Volltext

Proceedings 35th International Conference on Logic Programming (Technical Communications) von 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 …”
Volltext

Functional gradients in the human lateral prefrontal cortex revealed by a comprehensive coordinate-based meta-analysis von 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 …”
Volltext

A pipeline to create predictive functional networks: application to the tumor progression of hepatocellular carcinoma von 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 …”
Volltext

Constraints on signaling network logic reveal functional subgraphs on Multiple Myeloma OMIC data von 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 …”
Volltext

Pre-Proceedings of the 28th International Workshop on Functional and Logic Programming (WFLP 2020) von 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 …”
Volltext

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

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

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

“… To further analyze the functional repertoire, we defined …”
Volltext

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

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

A Functional Hybrid Memristor Crossbar-Array/CMOS System for Data Storage and Neuromorphic Applications von 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 …”
Volltext

Can single-atom precision rewire the electrochemical logic of Li–S chemistry? A comprehensive review of single-atom catalysts as agents of precise modulation von 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 …”
Volltext

Integration of Non‐Volatile Multi‐Bit Storage and Logic Computing in GaN Enhancement‐Mode Devices for In‐Memory Computing von 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 …”
Volltext

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

Volltext

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

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