Results 91 to 100 of about 12,303,072 (355)
Correct-by-Design Teamwork Plans for Multi-Agent Systems [PDF]
arXiv, 2023 We propose Teamwork Synthesis, a version of the distributed synthesis problem with application to teamwork multi-agent systems. We reformulate the distributed synthesis question by dropping the fixed interaction architecture among agents as input to the problem.
arxiv
Temporal Stream Logic: Synthesis beyond the Bools
, 2019 Reactive systems that operate in environments with complex data, such as mobile apps or embedded controllers with many sensors, are difficult to synthesize.
A Pnueli +18 more
core +1 more source
Autophagy in cancer and protein conformational disorders
FEBS Letters, EarlyView.Autophagy plays a crucial role in numerous biological processes, including protein and organelle quality control, development, immunity, and metabolism. Hence, dysregulation or mutations in autophagy‐related genes have been implicated in a wide range of human diseases.
Sergio Attanasio
wiley +1 more source
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software [PDF]
, 2013 Many Control Systems are indeed Software Based Control Systems, i.e. control systems whose controller consists of control software running on a microcontroller device.
A. Bemporad +18 more
core +2 more sources
FEBS Letters, EarlyView.The protonated form of butyrate, as well as other short‐chain fatty acids (SCFAs), is membrane permeable. In acidic extracellular environments, this can lead to intracellular accumulation of SCFAs and cytosolic acidification. This phenomenon will be particularly relevant in acidic environments such as the large intestine or tumor microenvironments ...
Muwei Jiang +2 more
wiley +1 more source
Beilstein Journal of Organic Chemistry, 2015 Iodide-containing nitro-Grela-type catalysts have been synthesized and applied to ring closing metathesis (RCM) and cross metathesis (CM) reactions. These new catalysts have exhibited improved efficiency in the transformation of sterically, non-demanding
Andrzej Tracz +3 more
doaj +1 more source
Extended AIGER Format for Synthesis [PDF]
arXiv, 2014 We extend the AIGER format, as used in HWMCC, to a format that is suitable to define synthesis problems with safety specifications. We recap the original format and define one format for posing synthesis problems and one for solutions of synthesis problems in this setting.
arxiv
Water for food, water for life: a comprehensive assessment of water management in agriculture: summary. In Arabic [PDF]
Water management / Irrigation management / Policy / Water scarcity / Poverty / Water rights / Ecosystems / Rainfed ...
Molden, David
core
Benchmarking for high-level synthesis [PDF]
, 1992 This paper discusses issues in benchmarking for synthesis, and suggests techniques for the comparison of benchmark descriptions, the synthesis tools used, as well as the synthesized designs finally generated.
Dutt, Nikil D., Gajski, Daniel D.
core
Are There Good Mistakes? A Theoretical Analysis of CEGIS
, 2014 Counterexample-guided inductive synthesis CEGIS is used to synthesize programs from a candidate space of programs. The technique is guaranteed to terminate and synthesize the correct program if the space of candidate programs is finite. But the technique
Jha, Susmit, Seshia, Sanjit A.
core +2 more sources