Zobrazeno 1 - 10 of 103 pro vyhledávání: '"John Mullins"'
1
Timed Bounded Verification of Inclusion Based on Timed Bounded Discretized Language
Autor: Ikhlass Ammar, Moez Yeddes, John Mullins, Yamen El Touati
Publikováno v: International Journal of Foundations of Computer Science. 32:175-202
The inclusion problem is one of the common problems in real-time systems. The general form of this problem is undecidable; however, the time-bounded verification of inclusion problem is decidable for timed automata. In this study, we propose a new di
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::fca8791382d1cf763d6697203425999d
https://doi.org/10.1142/s0129054121500106
Zobrazit plný text záznamu
4
Comparative studies of renin-null zebrafish and mice provide new functional insights
Autor: Scott Hoffmann, Linda Mullins, Sebastien Rider, Cara Brown, Charlotte B. Buckley, Adrienne Assmus, Ziwen Li, Mariana Sierra Beltran, Neil Henderson, Jorge del Pozo, Alexandre De Goes Martini, Maria Luisa S. Sequeira-Lopez, R. Ariel Gomez, John Mullins
Publikováno v: Hoffmann, S, Mullins, L, Rider, S, Brown, C, Buckley, C B, Assmus, A, Li, Z, Sierra Beltran, M, Henderson, N, Del Pozo, J, De Goes Martini, A, Sequeira-Lopez, M L S, Gomez, R A & Mullins, J 2022, ' Comparative Studies of Renin-Null Zebrafish and Mice Provide New Functional Insights ', Hypertension, vol. 79, no. 3, HYPERTENSIONAHA12118600, pp. E56-E66 . https://doi.org/10.1161/HYPERTENSIONAHA.121.18600
Hypertension
Background: The renin-angiotensin system is highly conserved across vertebrates, including zebrafish, which possess orthologous genes coding for renin-angiotensin system proteins, and specialized mural cells of the kidney arterioles, capable of synth
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cda34c051ae368b0d6399fd1c84a8a60
https://strathprints.strath.ac.uk/79186/1/Hoffman_etal_Hypertension_2022_Comparative_studies_of_renin_null_zebrafish_and_mice_provide_new_functional_insights.pdf
Zobrazit plný text záznamu
5
Akademický článek
Enhanced long-term potentiation in the hippocampus of rats expressing mutant presenillin-1 is age related
Autor: Ruth Pybus, Eleanor Barnard, Peter Estibeiro, John Mullins, Nikki MacLeod
Publikováno v: Neurobiology of Disease, Vol 12, Iss 3, Pp 212-224 (2003)
Electrophysiological recordings were made from Fischer rats engineered to express the human presenilin 1 gene carrying the M146V mutation. Extracellular recordings of field excitatory post-synaptic potential (EPSPs) were made to investigate EPSP prop
Externí odkaz: https://doaj.org/article/d2f7a50b0dfc4e16a05d5956334ffb0a
Zobrazit plný text záznamu
6
On Assessing The Safety of Reinforcement Learning algorithms Using Formal Methods
Autor: Paulina Stevia Nouwou Mindom, Amin Nikanjam, Foutse Khomh, John Mullins
The increasing adoption of Reinforcement Learning in safety-critical systems domains such as autonomous vehicles, health, and aviation raises the need for ensuring their safety. Existing safety mechanisms such as adversarial training, adversarial det
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::81e95f39bc4e0e874925e79b66b25ad3
Zobrazit plný text záznamu
7
Elektronická kniha
Break the Rules! : The Six Counter-Conventional Mindsets of Entrepreneurs That Can Help Anyone Change the World
Autor: John Mullins
Discover the six counter-conventional mindsets to be a changemaker In Break the Rules!: The Six Counter-Conventional Mindsets of Entrepreneurs That Can Help Anyone Change the World, celebrated London Business School entrepreneurship professor, keynot
Zobrazit plný text záznamu
8
Bounded opacity for timed systems
Autor: Ikhlass Ammar, Yamen El Touati, Moez Yeddes, John Mullins
Publikováno v: Journal of Information Security and Applications. 61:102926
In many security applications, system behaviors must be kept secret (opaque) to outside observers (intruders). Opacity was first studied for discrete event systems, and then it was extended to real-time systems. One of the challenges of real-time sys
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::0c0052e55e4879c8b47558fbf2b50121
https://doi.org/10.1016/j.jisa.2021.102926
Zobrazit plný text záznamu
9
Design and simulation of distributed IMA architectures using TTEthernet: a model-driven approach
Autor: Tiyam Robati, Amine El Kouhen, John Mullins, Abdelouahed Gherbi
Publikováno v: Journal of Ambient Intelligence and Humanized Computing. 8:345-355
Integrated modular avionics architectures complemented with time-triggered ethernet (TTEthernet) provides a strong platform to support the design and deployment of distributed avionic software systems. The complexity of the design and continuous inte
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::43d07733a0b41b3f12165c54e58eedd9
https://doi.org/10.1007/s12652-017-0449-9
Zobrazit plný text záznamu
10
Time-Triggered Ethernet Metamodel: Design and Application
Autor: Amine El Kouhen, John Mullins, Tiyam Robati, Abdelouahed Gherbi
Publikováno v: Journal of Software. 11:1040-1053
The combination of the SAE Time Triggered Ethernet (TTEthernet) standard with the Integrated Modular Avionics (IMA) architectures supports the design, deployment and integration of mixed-critical avionic applications. In order to cope with the comple
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::6c3ca5408e70bc704e37b8b3d5bd1225
https://doi.org/10.17706/jsw.11.10.1040-1053
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje