Zobrazeno 1 - 10
of 52
pro vyhledávání: '"Mark-Oliver Stehr"'
Publikováno v:
Journal of Logical and Algebraic Methods in Programming. 124:100719
As witnessed by recent advances in deep learning technologies, neural network models of very high complexity have been successfully applied in many data-rich domains. Challenges remain, however, if the amount of training data is severely limited, whi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f510d383f818d466d2986ec89df4d978
https://doi.org/10.1016/j.jlamp.2021.100719
https://doi.org/10.1016/j.jlamp.2021.100719
Autor:
Peter Avar, Lida Parvin, Maria I. Zavodszky, Brian Michael Davis, Merrill Knapp, Mark-Oliver Stehr, Christine A. Morton, Albert-Baskar Arul, Ziad J. Sahab, Akos Vertes, Andrew R. Korte, Christopher J. Sevinsky, Andrew Poggio, Deborah I. Bunin, Denise Nishita, Carolyn L. Talcott
Publikováno v:
Computational Methods in Systems Biology ISBN: 9783030313036
CMSB
CMSB
Transcriptomics response of SK-N-AS cells to methamidophos (an acetylcholine esterase inhibitor) exposure was measured at 10 time points between 0.5 and 48 h. The data was analyzed using a combination of traditional statistical methods, machine learn
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dfcdea11eafeb4e97fee13bc4b05d87e
https://doi.org/10.1007/978-3-030-31304-3_29
https://doi.org/10.1007/978-3-030-31304-3_29
Autor:
Andrew R. Korte, Maria I. Zavodszky, Lida Parvin, Akos Vertes, Hang Li, Sunil Hwang, Merrill Knapp, Peter Nemes, Deborah I. Bunin, Brian Michael Davis, Peter Avar, Mark-Oliver Stehr, Ziad J. Sahab, Linwen Zhang, Carolyn L. Talcott, Sean Richard Dinn, Andrew Poggio, Christopher J. Sevinsky, Sylwia A. Stopka, Albert-Baskar Arul, Christine A. Morton
Publikováno v:
Computational Methods in Systems Biology ISBN: 9783319994284
CMSB
CMSB
Identifying the mechanism of action (MoA) of an unknown, possibly novel, substance (chemical, protein, or pathogen) is a significant challenge. Biologists typically spend years working out the MoA for known compounds. MoA determination is especially
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3e5ed718e6c2425fdceb5a263163531f
https://doi.org/10.1007/978-3-319-99429-1_14
https://doi.org/10.1007/978-3-319-99429-1_14
Autor:
Carolyn L. Talcott, Mark-Oliver Stehr, Nalini Venkatasubramanian, Sebastian Gutierrez-Nolasco
Publikováno v:
Future Generation Computer Systems. 31:134-146
Mobility and intermittent connectivity inject inaccuracy in determining group membership and exacerbate the time required to agree on the current group membership. In this paper, we present a group membership service based on partial member connectiv
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f0817d69afd945499f9b57228aa3fe5e
https://doi.org/10.1016/j.future.2013.06.014
https://doi.org/10.1016/j.future.2013.06.014
Publikováno v:
Science of Computer Programming. 78:2453-2467
We describe a distributed logical framework designed to serve as a declarative semantic foundation for Networked Cyber-Physical Systems. The framework provides notions of facts and goals that include interactions with the environment via external goa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8f299cd0ed681172fad26c7cd8ce74c8
https://doi.org/10.1016/j.scico.2013.01.011
https://doi.org/10.1016/j.scico.2013.01.011
Publikováno v:
ACM Transactions on Embedded Computing Systems. 11:1-23
Resource-limited mobile embedded systems can benefit greatly from dynamic adaptation of system parameters. We propose a novel approach that employs iterative tuning using lightweight formal verification at runtime with feedback for dynamic adaptation
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::faf5fabe90fe537722fca8c2dec9be69
https://doi.org/10.1145/2362336.2362340
https://doi.org/10.1145/2362336.2362340
Publikováno v:
Journal of Parallel and Distributed Computing. 72:564-578
We propose a new distributed and parallel meta-heuristic framework to address the issues of scalability and robustness in the optimization problem. The proposed framework, named PADO (Parallel And Distributed Optimization framework), can utilize hete
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c56540fa6be44bde6c32a5140bfc5530
https://doi.org/10.1016/j.jpdc.2012.01.007
https://doi.org/10.1016/j.jpdc.2012.01.007
Autor:
Mark-Oliver Stehr, G. Denker, Nalini Venkatasubramanian, Nikil Dutt, Carolyn L. Talcott, Sharad Mehrotra
Publikováno v:
Journal of Internet Services and Applications. 3:41-49
In this paper, we address the role of middleware in enabling robust and resilient cyber-physical systems (CPSs) of the future. In particular, we will focus on how adaptation services can be used to improve dependability in instrumented cyber-physical
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6ed3e4f322ecf41b48f806135a8e02a3
https://doi.org/10.1007/s13174-011-0057-4
https://doi.org/10.1007/s13174-011-0057-4
Publikováno v:
IEEE BigData
Reconciliation of replicated data objects is tedious and error-prone in eventually consistent systems. Syntactic reconciliation techniques use serializability or causality as the basis for conflict-detection and resolution. These techniques are fast
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c0c0c0b98d639b3c65cd0ba758ea2fca
https://doi.org/10.1109/bigdata.2015.7363943
https://doi.org/10.1109/bigdata.2015.7363943
Autor:
Mark-Oliver Stehr
Publikováno v:
Electronic Notes in Theoretical Computer Science. 159:299-323
The design of complex software systems fundamentally relies on the understanding of abstract components and their interactions. Although compositional techniques are being successfully employed in practice, the use of such techniques is often rather
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7cbe8259e16396ff93a50f9776bf50e3