Results 71 to 80 of about 3,225 (296)
Automatic sequences generated by synchronizing automata fulfill the Sarnak conjecture
, 2015 We prove that automatic sequences generated by synchronizing automata satisfy the full Sarnak conjecture.
DESHOUILLERS, Jean-Marc +2 more
core +1 more source
On Polynomial Recursive Sequences [PDF]
, 2020 We study the expressive power of polynomial recursive sequences, a nonlinear extension of the well-known class of linear recursive sequences. These sequences arise naturally in the study of nonlinear extensions of weighted automata, where (non ...
Sénizergues, Géraud +4 more
core +1 more source
Tongxin xuebao, 2022 To solve the weak chaos in the spatiotemporal chaotic system based on coupled map lattices under some control parameters and the un-uniformity of sequences generated by the coupled map lattices, a two-dimensional pseudo-random coupled map lattices (2D ...
Youheng DONG, Geng ZHAO, Yingjie MA
doaj +2 more sources
FEBS Open Bio, EarlyView.Pharmacological inhibition of PERK in a DEN‐induced mouse model of liver cancer does not reduce tumor burden but alters cellular stress signaling. Despite blocking PERK activity, downstream stress responses, including CHOP expression, remain active, suggesting compensatory mechanisms within the unfolded protein response that may influence tumor ...
Ada Lerma‐Clavero +5 more
wiley +1 more source
Automated unique input output sequence generation for conformance testing of FSMs
, 2006 This paper describes a method for automatically generating unique input output (UIO) sequences for FSM conformance testing. UIOs are used in conformance testing to verify the end state of a transition sequence. UIO sequence generation is represented as a
Qiang, G +11 more
core +1 more source
An Automata Based Interpretation of Live Sequence Charts [PDF]
, 2001 The growing popularity of sequence charts, first of all Message Sequence Charts and UML Sequence Diagrams, for the description of communication behavior has evoked criticism regarding the semantics of the charts which led to extensions of these standardized visual formalisms.
Jochen Klose, Hartmut Wittke
openaire +1 more source
MagmaFlow: A desktop platform for artificial intelligence‐driven expression analysis
FEBS Open Bio, EarlyView.MagmaFlow is a free, no‐code platform for gene expression analysis. It generates interactive volcano plots, links genes to literature, pathways, and diseases, prioritizes candidates using millions of publications, identifies affected biological processes, builds network diagrams, and exports publication‐ready figures and reports for macOS and Windows ...
Carlos E. Buss +7 more
wiley +1 more source
Deriving synchronizing and homing sequences for input/output automata
, 2018 International audienceThe paper considers the problems of checking the existence and synthesis of synchronizing and homing sequences for finite input/output automata.
Kossachev, Alexandre +3 more
core +1 more source
Results in EngineeringSecurity of Image data has emerged as a critical issue in many fields, including communications, healthcare, and defense. Transmitting digital photographs over the internet poses a serious risk to information security.
Helen Vijitha P, Asnath Victy Phamila Y
doaj +1 more source
Automata and Logics for Timed Message Sequence Charts [PDF]
, 2007 We provide a framework for distributed systems that impose timing constraints on their executions. We propose a timed model of communicating finite-state machines, which communicate by exchanging messages through channels and use event clocks to generate collections of timed message sequence charts (T-MSCs).
S. Akshay 0001 +2 more
openaire +1 more source