Results 101 to 110 of about 40,986 (266)
Automaton-guided controller synthesis for nonlinear systems with temporal logic
2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013 We develop a method for the control of discrete-time nonlinear systems subject to temporal logic specifications. Our approach uses a coarse abstraction of the system and an automaton representing the temporal logic specification to guide the search for a
Eric M. Wolff, U. Topcu, R. Murray
semanticscholar +1 more source
Identification of inhibitors of the Salmonella FraB deglycase, a drug target
FEBS Open Bio, EarlyView.A high‐throughput screen was used to identify inhibitors of Salmonella FraB, a drug target. Characterization of top hits (identified after an additional counter screen) revealed that some triazolidines, thiadiazolidines, and triazolothiadiazoles are mixed‐type inhibitors of FraB.
Jamison D. Law +6 more
wiley +1 more source
FEBS Open Bio, EarlyView.Liver‐specific knockout of N6‐methyladenosine (m6A) methyltransferase METTL3 significantly accelerated hepatic tumor initiation under various oncogenic challenges, contrary to the previously reported oncogenic role of METTL3 in liver cancer cell lines or xenograft models. Mechanistically, METTL3 deficiency reduced m6A deposition on Manf transcripts and
Bo Cui +15 more
wiley +1 more source
Some more algorithms for Conway’s universal automaton
Acta Universitatis Sapientiae: Informatica, 2014 In this paper authors propose algorithms for constructing so called automaton COM(L) and prove that this automaton coincides, up to re-denoting states, with Conway’s universal automaton. We give some algorithms of constructing this automaton and consider
Melnikov Boris, Dolgov Vasily
doaj +1 more source
Modeling and analyzing malware diffusion in wireless sensor networks based on cellular automaton
International Journal of Distributed Sensor Networks, 2020 Wireless sensor networks, as a multi-hop self-organized network system formed by wireless communication, are vulnerable to malware diffusion by breaking the data confidentiality and service availability, owing to their low configuration and weak defense ...
Hong Zhang +4 more
doaj +1 more source
Учёные записки Казанского университета: Серия Физико-математические науки, 2019 This paper considers the methods of construction (presentation) of the sets of ergodic stochastic matrices using automaton models and determination of the power estimates of the generated sets. The research aimed at developing algorithms for constructing
V.M. Zakharov +2 more
doaj +1 more source
Complexity of checking whether two automata are synchronized by the same language [PDF]
arXiv, 2014 A deterministic finite automaton is said to be synchronizing if it has a reset word, i.e. a word that brings all states of the automaton to a particular one. We prove that it is a PSPACE-complete problem to check whether the language of reset words for a given automaton coincides with the language of reset words for some particular automaton.
arxiv
A One-Dimensional Physically Universal Cellular Automaton [PDF]
arXiv, 2015 Physical universality of a cellular automaton was defined by Janzing in 2010 as the ability to implement an arbitrary transformation of spatial patterns. In 2014, Schaeffer gave a construction of a two-dimensional physically universal cellular automaton. We construct a one-dimensional version of the automaton.
arxiv
Lab on a Chip, 2013 A digitally programmable microfluidic Automaton consisting of a 2-dimensional array of pneumatically actuated microvalves is programmed to perform new multiscale mixing and sample processing operations.
E. Jensen +5 more
semanticscholar +1 more source
An agent-based cellular automaton cruising-for-parking simulation
, 2013 This paper reports on the development of an agent-based cruising-for-parking simulation using the cellular automaton (CA) approach. The software was tested on a small-scale scenario, and a first verification step was performed for a real-world scenario ...
A. Horni +3 more
semanticscholar +1 more source