Neural circuit policies enabling auditable autonomy
Lechner Mathias, Hasani Ramin, Amini, Alexander, Henzinger, Thomas A, Rus, Daniela, Grosu Radu
Published in Nature machine intelligence (01.10.2020)
Published in Nature machine intelligence (01.10.2020)
Get full text
Journal Article
Intelligent Sea States Identification Based on Maximum Likelihood Evidential Reasoning Rule
Zhang, Xuelin, Xu, Xiaojian, Xu, Xiaobin, Gao, Diju, Gao, Haibo, Wang, Guodong, Grosu, Radu
Published in Entropy (Basel, Switzerland) (14.07.2020)
Published in Entropy (Basel, Switzerland) (14.07.2020)
Get full text
Journal Article
The impact of multicentric datasets for the automated tumor delineation in primary prostate cancer using convolutional neural networks on 18F-PSMA-1007 PET
Holzschuh, Julius C., Mix, Michael, Freitag, Martin T., Hölscher, Tobias, Braune, Anja, Kotzerke, Jörg, Vrachimis, Alexis, Doolan, Paul, Ilhan, Harun, Marinescu, Ioana M., Spohn, Simon K. B., Fechter, Tobias, Kuhn, Dejan, Gratzke, Christian, Grosu, Radu, Grosu, Anca-Ligia, Zamboglou, C.
Published in Radiation oncology (London, England) (07.08.2024)
Published in Radiation oncology (London, England) (07.08.2024)
Get full text
Journal Article
Neural circuit policies enabling auditable autonomy
Lechner, Mathias, Hasani, Ramin, Amini, Alexander, Henzinger, Thomas A., Rus, Daniela, Grosu, Radu
Published in Nature machine intelligence (13.10.2020)
Published in Nature machine intelligence (13.10.2020)
Get full text
Journal Article
Monitoring with uncertainty
Bartocci, Ezio, Grosu, Radu
Published in Electronic proceedings in theoretical computer science (22.08.2013)
Published in Electronic proceedings in theoretical computer science (22.08.2013)
Get full text
Journal Article
An end-to-end neural network framework for state-of-health estimation and remaining useful life prediction of electric vehicle lithium batteries
Li, Penghua, Zhang, Zijian, Grosu, Radu, Deng, Zhongwei, Hou, Jie, Rong, Yujun, Wu, Rui
Published in Renewable & sustainable energy reviews (01.03.2022)
Published in Renewable & sustainable energy reviews (01.03.2022)
Get full text
Journal Article
Unsupervised Wafermap Patterns Clustering via Variational Autoencoders
Tulala, Peter, Mahyar, Hamidreza, Ghalebi, Elahe, Grosu, Radu
Published in 2018 International Joint Conference on Neural Networks (IJCNN) (01.07.2018)
Published in 2018 International Joint Conference on Neural Networks (IJCNN) (01.07.2018)
Get full text
Conference Proceeding
DynGATT: A dynamic GATT-based data synchronization protocol for BLE networks
Hirsch, Christian, Davoli, Luca, Grosu, Radu, Ferrari, Gianluigi
Published in Computer networks (Amsterdam, Netherlands : 1999) (01.02.2023)
Published in Computer networks (Amsterdam, Netherlands : 1999) (01.02.2023)
Get full text
Journal Article
A generative neural network model for the quality prediction of work in progress products
Wang, Guodong, Ledwoch, Anna, Hasani, Ramin M., Grosu, Radu, Brintrup, Alexandra
Published in Applied soft computing (01.12.2019)
Published in Applied soft computing (01.12.2019)
Get full text
Journal Article
Algorithmic Minimization of Uncertain Continuous-Time Markov Chains
Cardelli, Luca, Grosu, Radu, Larsen, Kim G., Tribastone, Mirco, Tschaikowski, Max, Vandin, Andrea
Published in IEEE transactions on automatic control (01.11.2023)
Published in IEEE transactions on automatic control (01.11.2023)
Get full text
Journal Article
c302: a multiscale framework for modelling the nervous system of Caenorhabditis elegans
Gleeson, Padraig, Lung, David, Grosu, Radu, Hasani, Ramin, Larson, Stephen D.
Published in Philosophical transactions of the Royal Society of London. Series B. Biological sciences (10.09.2018)
Published in Philosophical transactions of the Royal Society of London. Series B. Biological sciences (10.09.2018)
Get full text
Journal Article
Driver Distraction Detection Using Octave-Like Convolutional Neural Network
Li, Penghua, Yang, Yifeng, Grosu, Radu, Wang, Guodong, Li, Rui, Wu, Yuehong, Huang, Zeng
Published in IEEE transactions on intelligent transportation systems (01.07.2022)
Published in IEEE transactions on intelligent transportation systems (01.07.2022)
Get full text
Journal Article
An Algebraic Framework for Runtime Verification
Jaksic, Stefan, Bartocci, Ezio, Grosu, Radu, Nickovic, Dejan
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.11.2018)
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.11.2018)
Get full text
Journal Article
Quantitative monitoring of STL with edit distance
Jakšić, Stefan, Bartocci, Ezio, Grosu, Radu, Nguyen, Thang, Ničković, Dejan
Published in Formal methods in system design (2018)
Published in Formal methods in system design (2018)
Get full text
Journal Article
Message from the ACSD 2018 Program Chairs
Published in 2018 18th International Conference on Application of Concurrency to System Design (ACSD)
(01.06.2018)
Get full text
Conference Proceeding
Investigation and benchmarking of U-Nets on prostate segmentation tasks
Bhandary, Shrajan, Kuhn, Dejan, Babaiee, Zahra, Fechter, Tobias, Benndorf, Matthias, Zamboglou, Constantinos, Grosu, Anca-Ligia, Grosu, Radu
Published in Computerized medical imaging and graphics (01.07.2023)
Published in Computerized medical imaging and graphics (01.07.2023)
Get full text
Journal Article
Capacitive Soil Moisture Sensor Node for IoT in Agriculture and Home
Hirsch, Christian, Bartocci, Ezio, Grosu, Radu
Published in 2019 IEEE 23rd International Symposium on Consumer Technologies (ISCT) (01.06.2019)
Published in 2019 IEEE 23rd International Symposium on Consumer Technologies (ISCT) (01.06.2019)
Get full text
Conference Proceeding