Zobrazeno 1 - 10
of 3 230
pro vyhledávání: '"Mattmann A"'
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:
In Advances in Radiation Oncology October 2024 9(10)
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
Autor:
Dhayat, Nasser A., Mattmann, Cédric, Seeger, Harald, Ritter, Alexander, Ernandez, Thomas, Stoermann-Chopard, Catherine, Buchkremer, Florian, Segerer, Stephan, Roth, Beat, Wuerzner, Gregoire, Wagner, Carsten A., Bonny, Olivier, Popp, Albrecht W., Vogt, Bruno, Bargagli, Matteo, Fuster, Daniel G.
Publikováno v:
In Kidney International Reports April 2024 9(4):1072-1082
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