Results 91 to 100 of about 133,463 (288)

RATEX: A Scalable RNA‐Based Platform for Logical and Multi‐Layered Cellular Programming

Angewandte Chemie, EarlyView.
RATEX integrated ribosome‐mediated transcription control with synthetic RNA regulators, enabling simultaneous processing of RNA, metabolite, and small‐molecule inputs through complex logic operations within a single transcript. The platform achieves up to 1,492‐fold gene regulation, multi‐input hybrid logic gates, RNA‐programmed signaling cascades, and
Hyunseop Goh, Hansol Kang, Chaeri Kim, Jongmin Kim   +3 more
wiley   +2 more sources

A study of systems implementation languages for the POCCNET system [PDF]

, 1976
The results are presented of a study of systems implementation languages for the Payload Operations Control Center Network (POCCNET). Criteria are developed for evaluating the languages, and fifteen existing languages are evaluated on the basis of these ...
Basili, V. R., Franklin, J. W.
core   +1 more source

Algorithmic Verification of Asynchronous Programs

, 2011
Asynchronous programming is a ubiquitous systems programming idiom to manage concurrent interactions with the environment. In this style, instead of waiting for time-consuming operations to complete, the programmer makes a non-blocking call to the ...
Abdulla P. A., Atig M. F., Esparza J., Esparza J., Esparza J., Krohn M., Lange M., Pai V., Pierre Ganty, Rupak Majumdar   +9 more
core   +1 more source

Mapping the Innovation DNA of Agribusiness Firms: A Multi‐Method Analysis of Strategic Capabilities and Performance

Agribusiness, EarlyView.
ABSTRACT Innovation is essential for competitiveness in agribusiness facing dynamic environments. This study examines how market orientation, marketing, relational, and social capabilities influence innovation performance. Using data from 751 Spanish firms and a multi‐method approach that integrates Structural Equation Modeling (PLS‐SEM), Necessary ...
Beatriz Corchuelo Martínez‐Azúa, Alvaro Dias   +1 more
wiley   +1 more source

Bottom‐Up Coacervate‐Based Artificial Cells: Integrating Cellular Hallmarks into Complex Life‐Like Systems

Angewandte Chemie, EarlyView.
Current interest in artificial cell research underscores its potential to deepen our understanding of life's fundamental processes. This review highlights advances in bottom‐up coacervate‐based artificial cell engineering via combined integration of cellular hallmarks.
Arjan Hazegh Nikroo, Angshuman Das, Madelief A. M. Verwiel, Jan C. M. van Hest   +3 more
wiley   +2 more sources

Repairing Boolean logical models from time-series data using Answer Set Programming

Algorithms for Molecular Biology, 2019
Background Boolean models of biological signalling-regulatory networks are increasingly used to formally describe and understand complex biological processes. These models may become inconsistent as new data become available and need to be repaired.
Alexandre Lemos, Inês Lynce, Pedro T. Monteiro   +2 more
doaj   +1 more source

Generalizing Boolean Satisfiability I: Background and Survey of Existing Work

, 2011
This is the first of three planned papers describing ZAP, a satisfiability engine that substantially generalizes existing tools while retaining the performance characteristics of modern high-performance solvers.
Dixon, H. E., Ginsberg, M. L., Parkes, A. J.   +2 more
core   +1 more source

Scalable Platform Enabling Reservoir Computing With Nanoporous Oxide Memristors for Image Recognition and Time Series Prediction

Advanced Intelligent Systems, EarlyView.
The approach of physical in materia computing incorporates parallel computing within the medium itself. A scalable and energy‐efficient, oxide‐based computational platform is realized in form of a nanoporous network of volatile niobium oxide memristors sandwiched between top and bottom metallic electrodes, and then tested for prediction and ...
Joshua Donald, Ben A. Johnson, Amir Mehrnejat, Alex Gabbitas, Arthur G. T. Coveney, Alexander G. Balanov, Sergey Savel’ev, Pavel Borisov   +7 more
wiley   +1 more source

Synthesizing Functional Reactive Programs [PDF]

, 2019
Functional Reactive Programming (FRP) is a paradigm that has simplified the construction of reactive programs. There are many libraries that implement incarnations of FRP, using abstractions such as Applicative, Monads, and Arrows.
Finkbeiner, Bernd, Klein, Felix, Piskac, Ruzica, Santolucito, Mark   +3 more
core   +1 more source

New Dependencies of Hierarchies in Polynomial Optimization

, 2019
We compare four key hierarchies for solving Constrained Polynomial Optimization Problems (CPOP): Sum of Squares (SOS), Sum of Diagonally Dominant Polynomials (SDSOS), Sum of Nonnegative Circuits (SONC), and the Sherali Adams (SA) hierarchies.
Ahmadi A. A., Barak B., Barak B., Beame P., Cygan M., de Wolff T., Dressler M., Grigoriev D., Krivine J.-L., Kuang X., Laurent M., Marshall M., Mastrolilli M., O'Donnell R., Peni T., Potechin A., Raghavendra P., Schramm T.   +17 more
core   +1 more source