Results 101 to 110 of about 1,138,309 (354)
Stable models and an alternative logic programming paradigm [PDF]
The Logic Programming Paradigm, K.R. Apt, V.W. Marek, M.
Truszczynski, D.S. Warren (eds.), pp. 375-398. Springer-Verlag, 1999, 1998 In this paper we reexamine the place and role of stable model semantics in logic programming and contrast it with a least Herbrand model approach to Horn programs. We demonstrate that inherent features of stable model semantics naturally lead to a logic programming system that offers an interesting alternative to more traditional logic programming ...
arxiv
Logical specifications for functional programs [PDF]
, 1993 We present a formal method of functional program development based on step-by-step transformation.
Theodore S. Norvell, Eric C. R. Hehner
openaire +2 more sources
Materials, Structure, and Interface of Stretchable Interconnects for Wearable Bioelectronics
Advanced Materials, EarlyView.Stretchable interconnects are one of the fundamental components in achieving robust wearable devices, but their importance is often overlooked. This review highlights their importance and provides insightful information on various materials, configurations, and manufacturing approaches being studied for interconnects.
Yue Li +3 more
wiley +1 more source
Programming gene expression with combinatorial promoters
Molecular Systems Biology, 2007 Promoters control the expression of genes in response to one or more transcription factors (TFs). The architecture of a promoter is the arrangement and type of binding sites within it.
Robert Sidney Cox +2 more
doaj +1 more source
Logic Programming, Functional Programming, and Inductive Definitions [PDF]
published in P. Schroeder-Heister (editor), Extensions of Logic
Programming (Springer, 1991), 283-310, 2001 An attempt at unifying logic and functional programming is reported. As a starting point, we take the view that "logic programs" are not about logic but constitute inductive definitions of sets and relations. A skeletal language design based on these considerations is sketched and a prototype implementation discussed.
arxiv
Advanced Materials, EarlyView.Robust 2D Ruddlesden–Popper lead‐tin perovskites demonstrate exceptional resistive switching memory performance after cesium carbonate deposition, achieving a high accuracy of 90.1% in MNIST pattern recognition. Additionally, a novel energy‐efficient content‐addressable memory architecture, based on perovskite memristive devices, is proposed for ...
Lijun Chen +9 more
wiley +1 more source
Predicting functional upstream open reading frames in
BMC Bioinformatics, 2009 Background Some upstream open reading frames (uORFs) regulate gene expression (i.e., they are functional) and can play key roles in keeping organisms healthy. However, how uORFs are involved in gene regulation is not yet fully understood. In order to get
Kristiansson Erik +5 more
doaj +1 more source
Nanoscale programming of cellular and physiological phenotypes: inorganic meets organic programming
npj Systems Biology and Applications, 2021 The advent of protein design in recent years has brought us within reach of developing a “nanoscale programing language,” in which molecules serve as operands with their conformational states functioning as logic gates.
Nikolay V. Dokholyan
doaj +1 more source
Disjunctive Logic Programs versus Normal Logic Programs [PDF]
arXiv, 2013 This paper focuses on the expressive power of disjunctive and normal logic programs under the stable model semantics over finite, infinite, or arbitrary structures. A translation from disjunctive logic programs into normal logic programs is proposed and then proved to be sound over infinite structures.
arxiv
Pre-Proceedings of the 28th International Workshop on Functional and Logic Programming (WFLP 2020) [PDF]
arXiv, 2020 This volume constitutes the pre-proceedings of the 28th International Workshop on Functional and Logic Programming (WFLP 2020), organized by the University of Bologna, Italy, as part of Bologna Federated Conference on Programming Languages 2020. The international Workshop on Functional and (constraint) Logic Programming (WFLP) aims at bringing together
arxiv