Filters








5 Hits in 5.2 sec

Testing and verification of neural-network-based safety-critical control software: A systematic literature review [article]

Jin Zhang, Jingyue Li
2019 arXiv   pre-print
Context: Neural Network (NN) algorithms have been successfully adopted in a number of Safety-Critical Cyber-Physical Systems (SCCPSs).  ...  approaches and tools that are invented, and to identify challenges and gaps for future studies.  ...  This work is supported by the Safety, autonomy, remote control and operations of industrial transport systems (SAREPTA) project, which is financed by the Norwegian Research Council with Grant No. 267860  ... 
arXiv:1910.06715v1 fatcat:qtb2l4cnkrbuznr2ay7ojjsn4e

Computational Mass Spectrometry (Dagstuhl Seminar 13491) Approaches and Applications of Inductive Programming (Dagstuhl Seminar 13502)

Ruedi Aebersold, Oliver Kohlbacher, Olga, Matt Duckham, Stefan Dulman, Jörg-Rüdiger Sack, Monika, Sumit Gulwani, Emanuel Kitzelmann, Ute Schmid, Glenn Geers, Monika Sester (+2 others)
2013 unpublished
The long term goal of the related INSIGHT project is to enable traffic managers to detect with a high degree of certainty unusual events throughout the network.  ...  We extend and apply the system for individual trip planning that incorporates future traffic hazards in routing [3].  ...  tool for providing automated feedback for introductory programming problems.  ... 
fatcat:46j5ycf3ivh5jai5vswz4xkxla

OASIcs-OpenAccess Series in Informatics

Maria João, Varanda Pereira, José Leal, Alberto Simões, Maria João, Varanda Pereira, José Leal, Alberto Simões, Daniel Cremers, Barbara Hammer, Marc Langheinrich, Dorothea Wagner
3 rd Symposium on Languages, Applications and Technologies SLATE'14   unpublished
In SLATE 2014 a challenge is proposed to all participants: update the state-of-the-art, discuss solutions for identified problems, present new ideas and have fun.  ...  Program Comprehension, includes two full papers and one short paper about different techniques used for program comprehension: identifier analysis, concern-based projections, and system dependency graph  ...  The authors would also like to thank Luis Torgo for his help in the use of statistical methods. Acknowledgements  ... 
fatcat:2pxrjyvxijdu5ao3jktis5qbc4

Energy-Efficient Convolutional Neural Network Accelerators for Edge Intelligence

Alessandro Aimar
2021
In this thesis, we propose a set of innovations and technologies belonging to one of the many research lines sparkled by such demand, focusing on energy-efficient hardware for convolutional neural networks  ...  We present a neural network quantization algorithm based on a hardware-software co-design approach.  ...  Design and testing of PCB circuits for sensors read-out and control (PCB level)  ... 
doi:10.5167/uzh-209482 fatcat:aodfxwmo5fdplcry25aoeghsqy

Planning to Practice: Action and Coping Plans Increase Days of Meditation Practiced

Jonathan N. Cloughesy, Alissa J. Mrazek, Michael D. Mrazek, Jonathan W. Schooler
2020 Psi Chi Journal of Psychological Research  
We would like to thank Colton Chase Collins for his significant contributions to editing and revision of the initial draft of this manuscript.  ...  The purpose of the present study was to investigate ABSTRACT. The concept of selfleadership was developed in the 1980s as an integral component of Internal Family Systems therapy (IFS).  ...  Activation of the semantic network does not change what participants saw most recently, so there is not a failure of source memory for the recency effect.  ... 
doi:10.24839/2325-7342.jn25.2.203 fatcat:4eqex6f45vdlxihlvauicqaewy