19 papers · ranked by Valyu relevance
P. Balasubramanian, R. T. Naayagi
—This paper presents a novel method to identify and insert redundant logic into a combinational circuit to improve its fault tolerance without having to replicate the entire circuit as is the case with conventional redundancy techniques. In this context, it is discussed how to estimate the fault masking capability of a…
A. J. Gutknecht, M. Wibral, A. Makkeh
Partial information decomposition (PID) seeks to decompose the multivariate mutual information that a set of source variables contains about a target variable into basic pieces, the so-called ‘atoms of information’. Each atom describes a distinct way in which the sources may contain information about the target. For…
Marijn J. H. Heule, Benjamin Kiesl, Armin Biere
We introduce proof systems for propositional logic that admit short proofs of hard formulas as well as the succinct expression of most techniques used by modern SAT solvers. Our proof systems allow the derivation of clauses that are not necessarily implied, but which are redundant in the sense that their addition…
Kalvin Roberts, Thomas U. Otto
Humans typically respond faster to multisensory signals than to their unisensory components, a phenomenon known as the redundant signal effect (RSE). One of the earliest and most influential accounts, the race model, attributes the RSE to statistical facilitation, which arises from parallel, independent processing…
X. Y. Newberry
The thesis of this paper is that truth-relevant logic is a better foundation for mathematics than classical logic. It is a system proposed by Richard Diaz in 1981. In a certain sense trelevant logic is based on Kleene's strong tables. These define a system with three values: true, false, unknown. It turns out that…
Andrew Cropper, Sophie Tourret
Many forms of inductive logic programming (ILP) use metarules, second-order Horn clauses, to define the structure of learnable programs and thus the hypothesis space. Deciding which metarules to use for a given learning task is a major open problem and is a trade-off between efficiency and expressivity: the hypothesis…
Alrik Thiem, Lusine Mkrtchyan, Zuzana Sebechlebská
Background Modern configurational comparative methods (CCMs) of causal inference, such as Qualitative Comparative Analysis (QCA) and Coincidence Analysis (CNA), have started to make inroads into medical and health research over the last decade. At the same time, these methods remain unable to process data on…
Ethan L. Childerhose, Jingzhou Liu
Karnaugh Mapping Authors: ['Ethan L. Childerhose' 'Jingzhou Liu'] The following paper presents a heuristic method by which sum-of-product Boolean expressions can be simplified with a specific focus on the removal of redundant and selective prime implicants. Existing methods, such as the Karnaugh map and the…
Peter Peniak, Karol Rástočný, Alžbeta Kanáliková, Emília Bubeníková + 2 more
'Hossam A. Gabbar' 'Carosena Meola'] Applications of safety-related control systems demand reliable and credible inputs from physical sensors, therefore there is a need to extend their capabilities to provide a validated input with high availability. Our main idea is to insert virtual sensors between physical sensors…
Sarah Guiziou, Guillaume Pérution-Kihli, Federico Ulliana, Michel Leclère + 1 more
Logic circuits operating in living cells are generally built by mimicking electronic layouts, and scale-up is accomplished using additional layers of elementary logic gates like NOT and NOR gates. Recombinase-based logic, in which logic is implemented using DNA inversion or excision, allows for highly efficient…
Anh Phong Tran, Dhruv D. Jatkar, M. Ali Al-Radhawi, Elizabeth A. Ernst + 1 more
Minimal synthesis of Boolean functions is an NP-hard problem, and heuristic approaches typically give suboptimal circuits. However, in the emergent field of synthetic biology, genetic logic designs that use even a single additional Boolean gate can render a circuit unimplementable in a cell. This has led to a renewed…
Hong Myung Su
—Redundancy represents a strategy for achieving high availability. However, various factors, known as singleness factors, necessitate corresponding redundancy measures. The absence of a systematic approach for identifying these singleness factors and the lack of a quantifiable method to assess system redundancy degrees…
Yuxiang Yao, Dong Liu, Zheting Zhang, Chengchen Zhao + 1 more
Complex biosystems exhibit ordered, functional, self-organized features. How-ever, a universal framework for exploring their logical paradigms and dynamic characteristics remains lacking. Here we describe BioLogical, a user-friendly R package, designed for analyzing properties of biosystems. We demonstrate its…
Manuel Angel Gadeo-Martos, Jose Angel Fernandez-Prieto, Joaquin Canada-Bago, Juan Ramon Velasco
'Joaquin Canada-Bago' 'Juan Ramon Velasco'] Over the past few years, Intelligent Spaces (ISs) have received the attention of many Wireless Sensor Network researchers. Recently, several studies have been devoted to identify their common capacities and to set up ISs over these networks. However, little attention has been…
Eric Hermes, Khachik Sargsyan, Habib Najm, Judit Zádor
We present a new algorithm for the optimization of molecular structures to saddle points on the potential energy surface using a redundant internal coordinate system. This algorithm automates the procedure of defining the internal coordinate system, including the handling of linear bending angles, e.g. through the…
Authors not listed
While virtual libraries of synthetically accessible compounds have exploded in size to many billions, our capacity to extract valuable drug leads from these vast databases remains limited by computational resources. To overcome this, we developed SLICE SMARTS and Logic In ChEmistry), a powerful new tool designed for…
Laura Cantini, Laurence Calzone, Loredana Martignetti, Mattias Rydenfelt + 3 more
Large collections of gene signatures play a pivotal role in interpreting results of omics data analysis but suffer from compositional (large overlap) and functional (redundant read-outs) redundancy, and many gene signatures rarely pop-up in statistical tests. Based on pan-cancer data analysis, here we define a…
Authors not listed
Genetic Algorithms are a powerful method to solve optimization problems with complex cost functions over vast search spaces that rely in particular on recombining parts of previous solutions. Crossover operators play a crucial role in this context. Here, we describe a large class of these operators designed for…
Authors not listed
In the real world, many reversal phenomena occur—for example, cases in which a statement once regarded as false is later recognized as true. Upside-Down Logic is a framework designed to formalize such reversal phenomena as a logical system. It inverts the truth and falsity of propositions through contextual…