457,224 Hits in 6.8 sec

On Security Analysis of Periodic Systems: Expressiveness and Complexity

Musab Alturki, Tajana Kirigin, Max Kanovich, Vivek Nigam, Andre Scedrov, Carolyn Talcott
2021 Proceedings of the 7th International Conference on Information Systems Security and Privacy   unpublished
This paper is a step toward a formal framework for specifying such systems and analyzing underlying properties including safety and security.  ...  We investigate the complexity of the problem of functional correctness of these systems as well as their vulnerability to attacks.  ...  -15-1-2047 and by the University of Pennsylvania.  ... 
doi:10.5220/0010195100430054 fatcat:gzu3z26i7rectciq2l56nzvomq

On the expressiveness and decidability of o-minimal hybrid systems

Thomas Brihaye, Christian Michaux
2005 Journal of Complexity  
In particular, we recover the main result of a paper by Lafferriere G., Pappas G.J. and Sastry S. on o-minimal hybrid systems. We also study related decidability questions.  ...  We show that this can be done for a quite general class of hybrid systems defined on o-minimal structures.  ...  Doyen and J.-F. Raskin for helpful discussions and for bringing to our attention the paper [Mil]. We want also to thank C. Rivière and C. Troestler with whom the paper [BMRT] was written.  ... 
doi:10.1016/j.jco.2004.09.003 fatcat:24vweszpuzgrbj5sd3g5iei6ia

Timeline-based planning: Expressiveness and Complexity [article]

Nicola Gigante
2021 arXiv   pre-print
Timeline-based systems have been successfully deployed in a number of space missions and other domains.  ...  Timeline-based planning is an approach originally developed in the context of space mission planning and scheduling, where problem domains are modelled as systems made of a number of independent but interacting  ...  and the safety of complex systems.  ... 
arXiv:1902.06123v2 fatcat:jpocntct5fawnfc3anpgcqojya

Using Cell Processors for Intrusion Detection through Regular Expression Matching with Speculation

Catalin Radu, Catalin Leordeanu, Valentin Cristea, Daniel Luchaup
2011 2011 International Conference on Complex, Intelligent, and Software Intensive Systems  
The major bottleneck in intrusion detection systems is that they are able to scan only one byte at a time, which leads to increased latency and low throughput.  ...  Furthermore, we demonstrate that the advantages brought by our of our approach are significant compared to the serial implementation and other parallel ones.  ...  ACKNOWLEDGMENTS The research presented in this paper is supported by national project DEPSYS Models and Techniques for ensuring reliability, safety, availability and security of Large Scale Distributes  ... 
doi:10.1109/cisis.2011.38 dblp:conf/cisis/RaduLCL11 fatcat:f5uvohvclzaddnww6mezlp3xvy

Trading off Complexity for Expressiveness in Programming Languages: Visions and Preliminary Experiences [article]

Vincenzo De Florio, Chris Blondia
2019 arXiv   pre-print
algorithmic complexity and therefore each accountable for a given share of the overhead.  ...  When programming resource-scarce embedded smart devices, the designer often requires both the low-level system programming features of a language such as C and higher level capability typical of a language  ...  Acknowledgments We would like to thank Nicolas Letor for designing the network components of our switchboard application and for the ideas we exchanged while designing our context aware extension.  ... 
arXiv:1910.03001v1 fatcat:eaoymsce7ja4pm6gvga5ffc3te

Compounds and multi-word expressions in Finnish [chapter]

Irma Hyvärinen, Barbara Schlücker
2019 Complex Lexical Units  
Instead, a system of word-formation offers productive models for expanding the lexicon in an economic way, and it is actually the most common way it happens. 1 Word-formation types such as (1a-f) are usually  ...  Most of the processes to expand the vocabulary of a language are based on a recycling principle: Instead of creating not yet occupied arbitrary sound sequences for new concepts, existing lexemes or morphemes  ...  The advantage of this analysis is that the coexistence of occurrences with and without separation, i. e.  ... 
doi:10.1515/9783110632446-011 fatcat:lwdzi2gif5dpzlc4cidxeomhvq

The Complex and Multifarious Expressions of Digital Art and Its Impact on Archives and Humanities [chapter]

Oliver Grau
2016 A Companion to Digital Art  
Media Art's Multifarious Potential for Complex Expression Thousands of artworks make use of and express the multifarious potential of media art.  ...  this procedure over long periods of time.  ... 
doi:10.1002/9781118475249.ch1 fatcat:tghqirgkpjh7hpw4qg7kkevjty

A micro-fabricated in vitro complex neuronal circuit platform

Paul Roach, Rosemary Anne Fricker, Michael G Evans, Munyaradzi Kamudzandu, Matthew J Köse-Dunn
2019 Biomedical engineering and physics express  
The complexity of neural tissue, however, requires precisely specific cellular connectivity across many neuronal populations, and thus there have been limited reports of complex 'brain-on-a-chip' technologies  ...  of specific basal ganglia (BG) neuronal subtypes to model central nervous system circuitry.  ...  For part of the study, MK and MKD were funded as doctoral students by the EPSRC Centre for Doctoral Training in Regenerative Medicine, held at Keele, Loughborough and Nottingham Universities (EP/F500491  ... 
doi:10.1088/2057-1976/ab2307 fatcat:nhqdejfcvndfpnefvfr7xskxhi

One- and two-dimensional modes in the complex Ginzburg-Landau equation with a trapping potential

Thawatchai Mayteevarunyoo, Boris A. Malomed, Dmitry V. Skryabin
2018 Optics Express  
Systematic numerical analysis of one- and two-dimensional (1D and 2D) versions of the model reveals a variety of stable modes, including stationary ones, breathers, and quasi-regular patterns filling the  ...  In 2D, the analysis produces stationary modes, breathers, axisymmetric and rotating crescent-shaped vortices, stably rotating complexes built of up to 8 individual vortices, and, in addition, patterns  ...  Our numerical analysis has produced a set of stable stationary modes, persistent breathers, and more complex patterns, viz., quasi-regular multi-peak structures in 1D, and vortices (axisymmetric and rotating  ... 
doi:10.1364/oe.26.008849 pmid:29715847 fatcat:edvukqrpezejpeixpdxjurztza

Monoallelic expression and epigenetic inheritance sustained by a Trypanosoma brucei variant surface glycoprotein exclusion complex

Joana Faria, Lucy Glover, Sebastian Hutchinson, Cordula Boehm, Mark C. Field, David Horn
2019 Nature Communications  
The VSG-exclusion-1 (VEX1) protein binds both telomeric VSG-associated chromatin and VEX2, an ortholog of nonsense-mediated-decay helicase, UPF1.  ...  Thus, the VEX-complex controls VSG-exclusion, while CAF-1 sustains VEX-complex inheritance in association with the active-VSG.  ...  The allelic exclusion system collapses following depletion of the VEX-complex, yielding multi-VSG expression, highly heterogeneous VSG coats and cell-death.  ... 
doi:10.1038/s41467-019-10823-8 pmid:31289266 pmcid:PMC6617441 fatcat:nlwzmaqs4fepdowkiq463t7tl4

Herpes B Virus, Macacine Herpesvirus 1, Breaks Simplex Virus Tradition via Major Histocompatibility Complex Class I Expression in Cells from Human and Macaque Hosts

M. Vasireddi, J. Hilliard
2012 Journal of Virology  
We also examined the surface expression of MHC class Ib molecules, HLA-E and HLA-G, involved in NK cell inhibition.  ...  Here we examined the cell surface presence and total protein expression of MHC class I molecules in B virus-infected human foreskin fibroblast cells and macaque kidney epithelial cells in culture, which  ...  system with respect to MHC class I expression.  ... 
doi:10.1128/jvi.01350-12 pmid:22973043 pmcid:PMC3497696 fatcat:g7etr5nuljavne2tnwin77pr54

EXPRESS: Across Time, Across Space and Intersecting in Complex Ways: A Framework for Assessing Impacts of Environmental Disruptions on Nature-Dependent Prosumers

Laurel Steinfield, Srinivas Venugopal, Samuelson Appau, Andres Barrios, Charlene Dadzie, Roland Gau, Diane Holt, Mai Nguyen Thi Tuyet, Clifford Shultz
2020 Journal of Public Policy & Marketing JPPM  
NDPs often live in subsistence markets, but the impact of environmental disruptions on their lives can have repercussions throughout local and global systems.  ...  The CSIM reveals how environmental disruptions impact marketing systems' exchanges of production and consumption: i) across multiple spatiotemporal scales, resulting in cross-scale impacts (per eco-systems  ...  However, the complexities of pursuing such a transformative marketing system will hinge on the capacity of actors to coordinate activities across global and local levels , including the involvement of  ... 
doi:10.1177/0743915620976563 fatcat:gwfbw6lgcfcmvdgr56ovagaj4q

Rapid Temporal Changes in the Expression of a Set of Neuromodulatory Genes During Alcohol Withdrawal in the Dorsal Vagal Complex: Molecular Evidence of Homeostatic Disturbance

Kate Freeman, Mary M. Staehle, Zeynep H. Gümüş, Rajanikanth Vadigepalli, Gregory E. Gonye, Carmen N. Nichols, Babatunde A. Ogunnaike, Jan B. Hoek, James S. Schwaber
2012 Alcoholism: Clinical and Experimental Research  
The temporal progression and regulation of the gene expression that contributes to this physiologic and behavioral phenotype is poorly understood early in the withdrawal period.  ...  To gain insight into the dynamic progression and regulation of withdrawal, we focus on the expression of a subset of functionally relevant genes during the first 48 hours, when behavioral symptoms are  ...  and T32 AA-007463 support of KF and MMS).  ... 
doi:10.1111/j.1530-0277.2012.01791.x pmid:22486438 pmcid:PMC4419739 fatcat:fodbygs5izf6hmfwz6tviuacsa

Diurnal Patterns of Gene Expression in the Dorsal Vagal Complex and the Central Nucleus of the Amygdala – Non-rhythm-generating Brain Regions

Mary M. Staehle, Sean O'Sullivan, Rajanikanth Vadigepalli, Kate F. Kernan, Gregory E. Gonye, Babatunde A. Ogunnaike, James S. Schwaber
2020 Frontiers in Neuroscience  
These findings have implications for the design of gene expression studies as well as for the potential effects of xenobiotics on these regions that regulate autonomic and emotional states.  ...  Here, we find circadian-time-induced differential expression in a large number of genes not associated with circadian rhythms in two brain regions lacking overt circadian function: the dorsal vagal complex  ...  Jan Hoek, as well as experimental assistance and expertise from Monica Payne and Carmen Nichols.  ... 
doi:10.3389/fnins.2020.00375 pmid:32477043 pmcid:PMC7233260 fatcat:g2wqlynpbjbgtas35lhbqmrxoa

Voltage-Dependent Rhythmogenic Property of Respiratory Pre-Bo tzinger Complex Glutamatergic, Dbx1-Derived, and Somatostatin-Expressing Neuron Populations Revealed by Graded Optogenetic Inhibition

H. Koizumi, B. Mosher, M. F. Tariq, R. Zhang, N. Koshiya, J. C. Smith
2016 eNeuro  
We infer that enough of the rhythmogenic pre-BötC glutamatergic neurons also have the Dbx1 and Sst expression phenotypes, and thus all three phenotypes share the same voltage-dependent frequency control  ...  Significance Statement The brainstem pre-Bötzinger complex (pre-BötC) is the origin of rhythmic neural activity producing inspiratory movements in mammals.  ...  John for their constructive comments on the manuscript. Correspondence should be addressed to either of the following: Dr. Jeffrey C.  ... 
doi:10.1523/eneuro.0081-16.2016 pmid:27275007 pmcid:PMC4891766 fatcat:lwsxaocuorhmbcyport2utrjgm
« Previous Showing results 1 — 15 out of 457,224 results