Results 31 to 40 of about 3,225 (296)
Structural Machines as Unconventional Knowledge Processors
Proceedings, 2020 Knowledge systems often have very sophisticated structures depicting cognitive andstructural entities. For instance, representation of knowledge in the form of a text involves thestructure of this text. This structure is represented by a hypertext, which
Rao Mikkilineni, Mark Burgin
doaj +1 more source
Using Model-Checking Techniques for Component-Based Systems with Reconfigurations [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 Within a component-based approach allowing dynamic reconfigurations, sequences of successive reconfiguration operations are expressed by means of reconfiguration paths, possibly infinite.
Jean-Michel Hufflen
doaj +1 more source
Unification of publish/subscribe systems and stream databases: the impact on complex event processing [PDF]
, 2012 There is increasing demand for complex event processing of ever-expanding volumes of data in an ever-growing number of application domains. Traditional complex event processing technologies, based upon either stream database management systems or publish/
Joseph Sventek +5 more
core +1 more source
Learning Markov Decision Processes for Model Checking [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 Constructing an accurate system model for formal model verification can be both resource demanding and time-consuming. To alleviate this shortcoming, algorithms have been proposed for automatically learning system models based on observed system ...
Hua Mao +5 more
doaj +1 more source
Multi-island finite automata and their even computation [PDF]
, 2021 summary:This paper discusses $n$-island finite automata whose transition graphs can be expressed as $n$-member sequences of islands $i_1, i_2, \dots , i_n$, where there is a bridge leaving $i_j$ and entering $i_{j+1}$ for each $1 \leq j \leq n - 1$.
Meduna, Alexander +2 more
core +1 more source
Block cipher based on T-shaped cellular automata
Tongxin xuebao, 2009 In order to overcome the defect on insecurity of block cipher with few reversible cellular automata, T-shaped cellular automata was proposed, which needed two initial states and applied their characteristics to construct more re-versible cellular ...
WU Ying-zhi1, HAO Li-bo2, CHEN Ju-hua1
doaj +2 more sources
Layered cellular automata for pseudorandom number generation
, 2007 The proposed Layered Cellular Automata (L-LCA), which comprises of a main CA with L additional layers of memory registers, has simple local interconnections and high operating speed. The time-varying L-LCA transformation at each clock can be reduced to a
Guan, SU, Tan, SK
core +1 more source
Minimal state automata for detecting a β globin gene mutation
International Journal of Applied Mathematics and Computer Science, 2021 Beta-thalassemia is an autosomal recessive blood disorder characterized by abnormalities in the synthesis of β globin. Together with α globin, it is a subunit of globin protein, called hemoglobin, located inside our red blood cells to deliver oxygen from
Ferdania Devi Fitri +4 more
doaj +1 more source
Checking Properties along Multiple Reconfiguration Paths for Component-Based Systems [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Reconfiguration paths express sequences of successive reconfiguration operations within a component-based approach allowing dynamic reconfigurations.
Jean-Michel Hufflen
doaj +1 more source
FEBS Letters, EarlyView.Septin 9 polybasic domains couple phosphoinositide‐rich membrane binding to centrosome positioning, Golgi organization, and microtubule acetylation to control epithelial polarity. Their loss disrupts this axis, causing centrosome mispositioning, Golgi fragmentation, reduced microtubule acetylation, and polarity inversion via upregulation of the ...
Ting ting Cai +4 more
wiley +1 more source