-
1Conference
Συγγραφείς: Feng, Wentao, Zhao, Bin, Xia, Tianxiang, Sun, Hongyu, Zhuo, Zhanfeng
Πηγή: 2026 International Conference on Data Science for Cyber-Physical Systems Resilience using Advanced Applications (ICDCA) Data Science for Cyber-Physical Systems Resilience using Advanced Applications (ICDCA), 2026 International Conference on. :1-9 Jun, 2026
Relation: 2026 International Conference on Data Science for Cyber-Physical Systems Resilience using Advanced Applications (ICDCA)
-
2Report
Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2204.14028
-
3Conference
Συγγραφείς: Balleh, Amrit Singh, Soong, Hoong-Cheng, Gurmukh Singh, Surindar Kaur, Jalil, Norazira A
Πηγή: 2021 IEEE 19th Student Conference on Research and Development (SCOReD) Research and Development (SCOReD), 2021 IEEE 19th Student Conference on. :388-393 Nov, 2021
Relation: 2021 IEEE 19th Student Conference on Research and Development (SCOReD)
-
4Conference
Συγγραφείς: Thomas, S.
Πηγή: Proceedings. 2005 IEEE International Workshop on Current and Defect Based Testing, 2005. DBT 2005. Current and Defect Based Testing Current and Defect Based Testing, 2005. DBT 2005. Proceedings. 2005 IEEE International Workshop on. :71-76 2005
Relation: Proceedings. 2005 IEEE International Workshop on Current and Defect Based Testing
-
5Report
Συγγραφείς: Agyapong, Daniel, Propster, Jeffrey Ryan, Marks, Jane, Hocking, Toby Dylan
Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2309.15225
-
6
-
7Book
Συγγραφείς: Keller, S. S.
Θεματικοί όροι: Automated testing, Computer security, Cryptographic algorithms, Cryptography, Federal Information Processing Standard (FIPS), NVLAP, Secret key cryptography, Triple Data Encryption Algorithm (TDEA), Triple Data Encryption Standard (TDES), Validation
-
8Conference
Συγγραφείς: Reddy, Emmenual, Nand, Ravneil
Πηγή: 2022 IEEE Asia-Pacific Conference on Computer Science and Data Engineering (CSDE) Computer Science and Data Engineering (CSDE), 2022 IEEE Asia-Pacific Conference on. :1-5 Dec, 2022
Relation: 2022 IEEE Asia-Pacific Conference on Computer Science and Data Engineering (CSDE)
-
9Report
The Comparability of the Statistical Characteristics of Test Items Generated by Computer Algorithms.
Peer Reviewed: N
Page Count: 34
-
10Conference
Συγγραφείς: Kostylev, Denis, Tolstikhin, Anton, Ulryanov, Sergey
Πηγή: 2019 42nd International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO) Information and Communication Technology, Electronics and Microelectronics (MIPRO), 2019 42nd International Convention on. :943-948 May, 2019
Relation: 2019 42nd International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO)
-
11Academic Journal
Συγγραφείς: Daniel Agyapong, Jeffrey Ryan Propster, Jane Marks, Toby Dylan Hocking
Πηγή: BMC Bioinformatics, Vol 26, Iss 1, Pp 1-24 (2025)
Θεματικοί όροι: Co-occurrence network inference, Machine learning, Cross-Validation, LASSO, Microbiome Analysis, Network Validation, Computer applications to medicine. Medical informatics, R858-859.7, Biology (General), QH301-705.5
Περιγραφή αρχείου: electronic resource
Relation: https://doaj.org/toc/1471-2105
Σύνδεσμος πρόσβασης: https://doaj.org/article/d8504249d11249a3990e5350d7b920b0
-
12Academic Journal
Συγγραφείς: Hempe, Nico, Rossmann, Jürgen, Sondermann, Björn
Πηγή: ELCVIA: electronic letters on computer vision and image analysis; Vol. 12, Núm. 2 (2013); p. 40-53
Περιγραφή αρχείου: application/pdf
Σύνδεσμος πρόσβασης: https://www.raco.cat/index.php/ELCVIA/article/view/280907
-
13Conference
Συγγραφείς: Joldic, Adil, Babovic, Elmir, Bijedic, Nina, Bejenaru-Vrabie, Alin
Πηγή: 2019 IEEE 17th International Symposium on Intelligent Systems and Informatics (SISY) Intelligent Systems and Informatics (SISY), 2019 IEEE 17th International Symposium on. :41-46 Sep, 2019
Relation: 2019 IEEE 17th International Symposium on Intelligent Systems and Informatics (SISY)
-
14Academic Journal
Συγγραφείς: Ott, Daniel ⁎, Thompson, Robert, Song, Junfeng
Συνδεδεμένο Πλήρες ΚείμενοΠηγή: In Forensic Science International February 2017 271:98-106
-
15eBook
Συνεισφορές: Gurfinkel, Arie, Heule, Marijn
Θεματικοί όροι: TACAS, formal verification, software systems, hardware systems, static analysis, probabilistic programming, program synthesis, oncurrency, testing, simulations, verification of machine, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation, thema EDItEUR::U Computing and Information Technology::UK Computer hardware, thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
Περιγραφή αρχείου: application/pdf
Relation: Lecture Notes in Computer Science
Σύνδεσμος πρόσβασης: https://library.oapen.org/handle/20.500.12657/101664
-
16Dissertation/ Thesis
Thesis Advisors: UAM. Departamento de Ingeniería Informática, Herramientas Interactivas Avanzadas (ING EPS-003)
Πηγή: Proceedings of the WSEAS Conferences: 5th WSEAS Int. Conf. on Artificial Intelligence, Knowledge Engineering and Data Bases (AIKED 2006). Ed. Pablo Luis Lopez Espi, Jose M. Giron-Sierra. WSEAS, 2006.
Θεματικοί όροι: Evolutionary Computation, Coding and Information Theory, Genetic Algorithms, Computer Generated Music, Classification, Clustering, Informática
Σύνδεσμος πρόσβασης: http://hdl.handle.net/10486/665362
-
17eBook
Συνεισφορές: Finkbeiner, Bernd, Kovács, Laura
Θεματικοί όροι: TACAS, formal verification, software systems, hardware systems, static analysis, probabilistic programming, program synthesis, concurrency, testing, simulations, verification of machine, Mathematical theory of computation, Computer hardware, Network hardware, Computer modelling and simulation, Software Engineering
Περιγραφή αρχείου: image/jpeg
Relation: Lecture Notes in Computer Science
Σύνδεσμος πρόσβασης: https://directory.doabooks.org/handle/20.500.12854/136811
https://library.oapen.org/handle/20.500.12657/89906
https://library.oapen.org/bitstream/20.500.12657/89906/1/978-3-031-57246-3.pdf -
18Academic Journal
Συγγραφείς: Floryanzia, Sydney a, b, Ramesh, Preethi a, c, Mills, Madeline a, d, Kulkarni, Sanjana a, e, Chen, Grace a, ⁎, Shah, Prashant a, Lavrich, David a
Συνδεδεμένο Πλήρες ΚείμενοΠηγή: In International Journal of Pharmaceutics 10 May 2022 619
-
19Academic Journal
Συγγραφείς: Fink, Aron, König, Christoph, Frey, Andreas
Πηγή: Frontiers in Psychology; 10/1/2024, p1-7, 7p
Θεματικοί όροι: Adaptive testing, Item response theory, Computer adaptive testing, Algorithms, Hat design & hat making, Test design
Εταιρία/Οντότητα: Programme for International Student Assessment
-
20Dissertation/ Thesis
Συγγραφείς: Pérez Guijarro, Jordi
Συνεισφορές: University/Department: Universitat Politècnica de Catalunya. Departament de Teoria del Senyal i Comunicacions
Thesis Advisors: Rodríguez Fonollosa, Javier, Pagès Zamora, Alba Maria
Πηγή: TDX (Tesis Doctorals en Xarxa)
Θεματικοί όροι: supervised learning, quantum computing, quantum error mitigation, quantum advantage, quantum hypothesis testing, Àrees temàtiques de la UPC::Informàtica, 004 - Informàtica
Περιγραφή αρχείου: application/pdf