Results 91 to 100 of about 616 (261)
On MITL and Alternating Timed Automata [PDF]
, 2013 One clock alternating timed automata OCATA have been recently introduced as natural extension of (one clock) timed automata to express the semantics of MTL (Ouaknine, Worrell 2005). We consider the application of OCATA to problem of model-checking MITL formulas (a syntactic fragment of MTL) against timed automata. We introduce a new semantics for OCATA
Brihaye, Thomas +2 more
openaire +3 more sources
FEBS Open Bio, EarlyView.Biophysical characterisation shows that NanX, a membrane transport protein from the major facilitator superfamily (MFS), forms both monomers and dimers after purification. AlphaFold modelling and substrate docking provide information on residues likely involved in substrate recognition for NanX and another MFS member, NanT.
Michael C. Newton‐Vesty +13 more
wiley +1 more source
FEBS Open Bio, EarlyView.The presence of biotin‐binding avidin proteins in fish and their biological significance are poorly characterized. We cataloged fish avidins and demonstrate that they are widely present and evolutionarily conserved. We created avd knockout zebrafish and show that zebavidin is dispensable for development and that resistance of avd knockout embryos in ...
Anni K. Saralahti +5 more
wiley +1 more source
Dynamic Data Structures for Timed Automata Acceptance. [PDF]
Algorithmica, 2022 Grez A +4 more
europepmc +1 more source
New Directions for Adult and Continuing Education, EarlyView.ABSTRACT Advancing artificial intelligence (AI) has transformed learning and work, yet higher education and professional development programs have not systematically equipped learners for AI‐prevalent environments. This lack of preparation creates uncertainty regarding control, responsibility, trust, and accountability.
Moon‐Heum Cho, Jerusalem Merkebu
wiley +1 more source
Verifikasi Dua Varian Protokol Ad hoc On demand Distance Vector dengan UPPAAL
IJCCS (Indonesian Journal of Computing and Cybernetics Systems), 2015 Abstrak Mobile Ad-hoc Network (MANET) adalah sekumpulan wireless mobile yang terhubung satu sama lain tanpa infrastruktur yang tetap sehingga perubahan topologi dapat terjadi setiap saat.
Ika Oktavia Suzanti, Reza Pulungan
doaj +1 more source
Bounded Model Checking for Metric Temporal Logic Properties of Timed Automata with Digital Clocks. [PDF]
Sensors (Basel), 2022 Zbrzezny AM, Zbrzezny A.
europepmc +1 more source
Validity of a Wearable Digital Insole for Assessing Gait ON and OFF in Parkinson's Disease
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Gait impairment is a distinctive symptom of Parkinson's disease that negatively impact mobility. We assessed the validity of wearable digital insoles against a validated reference gait analysis system for measuring select gait characteristics in patients with Parkinson's disease. Methods A comparative analysis between digital insoles
Deborah A. Hall +16 more
wiley +1 more source
AbstractOpacity serves as a critical security and confidentiality property, which concerns whether an intruder can unveil a system’s secret based on structural knowledge and observed behaviors. Opacity in timed systems presents greater complexity compared to untimed systems, and it has been established that opacity for timed automata is undecidable ...
Jie An 0001 +4 more
openaire +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Considerable efforts have been dedicated to developing effective treatments for post‐stroke executive impairment (PSEI), among which repetitive transcranial magnetic stimulation (rTMS) has shown great potential. This study aimed to investigate the therapeutic effects of high‐frequency rTMS on working memory (WM) and response ...
Mengting Lao +6 more
wiley +1 more source