Zobrazeno 1 - 10
of 698
pro vyhledávání: '"P, Mattmann"'
Symbolic Execution is a formal method that can be used to verify the behavior of computer programs and detect software vulnerabilities. Compared to other testing methods such as fuzzing, Symbolic Execution has the advantage of providing formal guaran
Externí odkaz:
http://arxiv.org/abs/2310.03598
Autor:
Harun Torlakcik, Semih Sevim, Pedro Alves, Michael Mattmann, Joaquim Llacer‐Wintle, Maria Pinto, Rosa Moreira, Andreas D. Flouris, Fabian C. Landers, Xiang‐Zhong Chen, Josep Puigmartí‐Luis, Quentin Boehler, Tiago Sotto Mayor, Minsoo Kim, Bradley J. Nelson, Salvador Pané
Publikováno v:
Advanced Science, Vol 11, Iss 38, Pp n/a-n/a (2024)
Abstract The initial delivery of small‐scale magnetic devices such as microrobots is a key, but often overlooked, aspect for their use in clinical applications. The deployment of these devices within the dynamic environment of the human body presen
Externí odkaz:
https://doaj.org/article/5578f56a5ed1492b879832c051c4cd09
Publikováno v:
Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., Vol. 5, No. 4, Article 157, December 2021
Wearables that constantly collect various sensor data of their users increase the chances for inferences of unintentional and sensitive information such as passwords typed on a physical keyboard. We take a thorough look at the potential of using elec
Externí odkaz:
http://arxiv.org/abs/2112.02382
While there are more than 7000 languages in the world, most translation research efforts have targeted a few high-resource languages. Commercial translation systems support only one hundred languages or fewer, and do not make these models available f
Externí odkaz:
http://arxiv.org/abs/2104.00290
Autor:
Lavin, Alexander, Gilligan-Lee, Ciarán M., Visnjic, Alessya, Ganju, Siddha, Newman, Dava, Baydin, Atılım Güneş, Ganguly, Sujoy, Lange, Danny, Sharma, Amit, Zheng, Stephan, Xing, Eric P., Gibson, Adam, Parr, James, Mattmann, Chris, Gal, Yarin
The development and deployment of machine learning (ML) systems can be executed easily with modern tools, but the process is typically rushed and means-to-an-end. The lack of diligence can lead to technical debt, scope creep and misaligned objectives
Externí odkaz:
http://arxiv.org/abs/2101.03989
Autor:
Philippe J. Herzog, Rose D. L. Herzog-Zibi, Martina Mattmann, Charlotte Möri, Blandine Mooser, Jennifer Inauen, Carole E. Aubert
Publikováno v:
BMC Geriatrics, Vol 23, Iss 1, Pp 1-11 (2023)
Abstract Background Low mobility during an acute care medical hospitalization is frequent and associated with adverse outcomes, particularly among older patients. Better understanding barriers and facilitators to improve mobility during hospitalizati
Externí odkaz:
https://doaj.org/article/c4b16e10eb1746a68dec98ea74a739db
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Maurenbrecher, Henrik, Mendil, Johannes, Chatzipirpiridis, George, Mattmann, Michael, Pané, Salvador, Nelson, Bradley J., Gambardella, Pietro
Publikováno v:
H. Maurenbrecher et al., Appl. Phys. Lett. 112, 242401 (2018)
We investigate the anisotropic magnetoresistance (AMR) of ferromagnetic CoNi microhelices fabricated by electrodeposition and laser printing. We find that the geometry of the three-dimensional winding determines a characteristic angular and field-dep
Externí odkaz:
http://arxiv.org/abs/1904.11049
Publikováno v:
IEEE Access, Vol 11, Pp 69486-69494 (2023)
Prediction of accurate wind speed is necessary for a variety of applications such as energy production, agriculture, climate modeling, and weather forecasting. Various satellites orbiting the earth measure the wind speed, which is particularly useful
Externí odkaz:
https://doaj.org/article/da2d39b836154d17aa3cc862ce6d9b8b
Autor:
Alexander Lavin, Ciarán M. Gilligan-Lee, Alessya Visnjic, Siddha Ganju, Dava Newman, Sujoy Ganguly, Danny Lange, Atílím Güneş Baydin, Amit Sharma, Adam Gibson, Stephan Zheng, Eric P. Xing, Chris Mattmann, James Parr, Yarin Gal
Publikováno v:
Nature Communications, Vol 13, Iss 1, Pp 1-19 (2022)
The development of machine learning systems has to ensure their robustness and reliability. The authors introduce a framework that defines a principled process of machine learning system formation, from research to production, for various domains and
Externí odkaz:
https://doaj.org/article/5d44c96b0792477fb2fa35f35c38a58a