-
1
المؤلفون: Hans Jurgen Mattausch, Hirotaka Takatsuka, Dondee Navarro, Mitiko Miura-Mattausch, Nezam Rohbani, Sara Mohammadinejad, T. K. Maiti, Hiroaki Gau
المصدر: IEEE Transactions on Very Large Scale Integration (VLSI) Systems. 27:1675-1684
مصطلحات موضوعية: Power management, Hardware_MEMORYSTRUCTURES, Computer science, Transistor, 02 engineering and technology, Storage management, 020202 computer hardware & architecture, law.invention, Hardware and Architecture, law, 0202 electrical engineering, electronic engineering, information engineering, Electronic engineering, Static random-access memory, Cache, Electrical and Electronic Engineering, Data cache, Software
-
2
المؤلفون: Sara Mohammadinejad, Jyotirmoy V. Deshmukh, Laura Nenzi
المساهمون: Mohammadinejad, S., Deshmukh, J. V., Nenzi, L.
المصدر: Automated Technology for Verification and Analysis ISBN: 9783030888848
ATVAمصطلحات موضوعية: FOS: Computer and information sciences, 0209 industrial biotechnology, Computer Science - Machine Learning, Computer science, Distributed computing, Feature extraction, 0211 other engineering and technologies, 02 engineering and technology, Distributed systems, Unsupervised learning, Spatio-temporal data, Machine Learning (cs.LG), 020901 industrial engineering & automation, Interpretability, Spatio-temporal reach and escape logic, 11. Sustainability, Temporal logic, Parametric statistics, Structure (mathematical logic), 021103 operations research, Temporal database, Distributed system, Wireless sensor network
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::73765cec722caba091e03ff35f4fe69d
http://hdl.handle.net/11368/3005705 -
3
المؤلفون: Brandon Paulsen, Jyotirmoy V. Deshmukh, Chao Wang, Sara Mohammadinejad
المصدر: Lecture Notes in Computer Science ISBN: 9783030850364
FORMATSمصطلحات موضوعية: Recurrent neural network, Computer engineering, Artificial neural network, Bounding overwatch, Heuristic, Computer science, Satisfiability modulo theories, Data classification, Memory footprint, Bottleneck
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::c843e8aad1e53c7adaf71256651e715a
https://doi.org/10.1007/978-3-030-85037-1_8 -
4
المصدر: ICCPS
مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Machine Learning, Correctness, Computer science, Supervised learning, Decision tree, Cyber-physical system, Machine Learning (stat.ML), Machine Learning (cs.LG), Robustness (computer science), Statistics - Machine Learning, Temporal logic, Classifier (UML), Algorithm, Parametric statistics
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5a3d7592d9ed04469de2f77d5d4f98e6
http://arxiv.org/abs/2005.08435 -
5
المصدر: IEEE Transactions on Biomedical Circuits and Systems. 11:585-596
مصطلحات موضوعية: Computer science, Movement, Feature extraction, Fast Fourier transform, Wavelet Analysis, Biomedical Engineering, Intention, 02 engineering and technology, 03 medical and health sciences, 0302 clinical medicine, 0202 electrical engineering, electronic engineering, information engineering, Humans, Overhead (computing), Computer vision, Sensitivity (control systems), Electrical and Electronic Engineering, Brain–computer interface, business.industry, 020208 electrical & electronic engineering, Detector, Electroencephalography, Equipment Design, Power (physics), Interfacing, Brain-Computer Interfaces, Artificial intelligence, business, Algorithms, 030217 neurology & neurosurgery
-
6
المؤلفون: Jyotirmoy V. Deshmukh, Aniruddh G. Puranic, Marcell Vazquez-Chanlatte, Sara Mohammadinejad, Alexandre Donzé
المصدر: HSCC
مصطلحات موضوعية: FOS: Computer and information sciences, Structure (mathematical logic), 030213 general clinical medicine, 0209 industrial biotechnology, Computer Science - Machine Learning, Theoretical computer science, Computer science, Cyber-physical system, Machine Learning (stat.ML), 02 engineering and technology, Space (commercial competition), Formal methods, Machine Learning (cs.LG), 03 medical and health sciences, 020901 industrial engineering & automation, 0302 clinical medicine, Fragment (logic), Semantic equivalence, Statistics - Machine Learning, Temporal logic, Interpretability
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::06f38bf2d1f0430729d3dd0b2dd3dd0c
http://arxiv.org/abs/1907.10265