Search · four archives
Search · four archives
14 papers · ranked by Valyu relevance
Lusine Mkrtchyan, Alrik Thiem, Zuzana Sebechlebská
Modern Configurational Comparative Methods (CCMs), such as Qualitative Comparative Analysis (QCA) and Coincidence Analysis (CNA), have gained in popularity among social scientists over the last thirty years. A new CCM called Combinational Regularity Analysis (CORA) has recently joined this family of methods. In this…
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…
Rajeev Alur, Adam Freilich, Mukund Raghothaman
—We focus on (partial) functions that map input strings to a monoid such as the set of integers with addition and the set of output strings with concatenation. The notion of regularity for such functions has been defined using two-way finite-state transducers, (one-way) cost register automata, and MSO-definable graph…
Antonio Cappuccio, Shane T. Jensen, Boris Hartmann, Stuart C. Sealfon + 2 more
From cellular activation to drug combinations, the control of biological systems involves multiple stimuli that can elicit complex nonlinear interactions. To elucidate the functions and logic of stimulus interactions, we developed SAIL (Synergistic/Antagonistic Interaction Learner). SAIL uses a machine learning…
Hua-Chun Sun, David St-Amand, Curtis L. Baker, Frederick A. A. Kingdom
Texture regularity, such as the repeating pattern in a carpet, brickwork or tree bark, is a ubiquitous feature of the visual world. The perception of regularity has generally been studied using multi-element textures in which the degree of regularity has been manipulated by adding random jitter to the elements’…
Hiroshi Ukai, Xiao Qu, Hironori Washizaki, Yoshiaki Fukazawa + 1 more
'Mohammad Reza Mousavi'] Combinatorial interaction testing, which is a technique to verify a system with numerous input parameters, employs a mathematical object called a covering array as a test input. This technique generates a limited number of test cases while guaranteeing a given combinatorial coverage. Although…
Ashkan Mohammadi, Boris S. Mordukhovich, M. Ebrahim Sarabi
The paper is mainly devoted to systematic developments and applications of geometric aspects of second-order variational analysis that are revolved around the concept of parabolic regularity of sets. This concept has been known in variational analysis for more than two decades while being largely underinvestigated. We…
Rajeev Alur, Dana Fisman, Konstantinos Mamouras, Mukund Raghothaman + 1 more
'Caleb Stanford'] Motivated by real-time monitoring and data processing applications, we develop a formal theory of quantitative queries for streaming data that can be evaluated efficiently. We consider the model of unambiguous Cost Register Automata (CRAs), which are machines that combine finite-state control (for…
Aleksandr Ianevski, Rouan Yao, Ronja M. Simonsen, Vegard Myhre + 14 more
Broadly effective antiviral therapies must be developed to be ready for clinical trials, which should begin soon after the emergence of new life-threatening viruses. Here, we pave the way towards this goal by analyzing conserved druggable virus-host interactions, mechanisms of action and immunomodulatory properties of…
Jingjing Ma, Dinesh Kumar Nishad
To improve the prediction accuracy of compositional data time series (CDTSs), the aggregation of compositional data was considered and applied to construct a combination forecasting model. Different from current arithmetic mean based aggregation of compositional data, the aggregation method of compositional data from…
shriprakash sinha
It is widely known that the sensitivity analysis plays a major role in computing the strength of the influence of involved factors in any phenomena under investigation. When applied to expression profiles of various intra/extracellular factors that form an integral part of a signaling pathway, the variance and density…
Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis
Many constraints restricting the result of some computations over an integer sequence can be compactly represented by register automata. We improve the propagation of the conjunction of such constraints on the same sequence by synthesising a database of linear and non-linear invariants using their register-automaton…
Dominik D. Freydenberger, Markus L. Schmid
Most modern libraries for regular expression matching allow back-references (i. e., repetition operators) that substantially increase expressive power, but also lead to intractability. In order to find a better balance between expressiveness and tractability, we combine these with the notion of determinism for regular…
Ylzong Cheng, Rangasaml L. Kashyap
Evidential reasoning is cast as the problem of slmpl lfylng the evldence-hypot�esls relation and constructing combination formulas that possess certain testable properties. Important classes of evidence as Identifiers, annlhl lators, and ldempotents and their roles In determining binary operations on intervals of rears…