-
1Conference
Authors: Feng, Wentao, Zhao, Bin, Xia, Tianxiang, Sun, Hongyu, Zhuo, Zhanfeng
Source: 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
Access URL: http://arxiv.org/abs/2204.14028
-
3Conference
Source: 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
Authors: Thomas, S.
Source: 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
Access URL: http://arxiv.org/abs/2309.15225
-
6
-
7Book
Authors: Keller, S. S.
Subject Terms: 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
Authors: Reddy, Emmenual, Nand, Ravneil
Source: 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
Authors: Kostylev, Denis, Tolstikhin, Anton, Ulryanov, Sergey
Source: 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
Source: BMC Bioinformatics, Vol 26, Iss 1, Pp 1-24 (2025)
Subject Terms: 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
File Description: electronic resource
Relation: https://doaj.org/toc/1471-2105
-
12Academic Journal
Authors: Hempe, Nico, Rossmann, Jürgen, Sondermann, Björn
Source: ELCVIA: electronic letters on computer vision and image analysis; Vol. 12, Núm. 2 (2013); p. 40-53
File Description: application/pdf
-
13Conference
Authors: Joldic, Adil, Babovic, Elmir, Bijedic, Nina, Bejenaru-Vrabie, Alin
Source: 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
Authors: Ott, Daniel ⁎, Thompson, Robert, Song, Junfeng
Linked Full TextSource: In Forensic Science International February 2017 271:98-106
-
15eBook
Contributors: Gurfinkel, Arie, Heule, Marijn
Subject Terms: 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
File Description: application/pdf
Relation: Lecture Notes in Computer Science
-
16Dissertation/ Thesis
Thesis Advisors: UAM. Departamento de Ingeniería Informática, Herramientas Interactivas Avanzadas (ING EPS-003)
Source: 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.
Subject Terms: Evolutionary Computation, Coding and Information Theory, Genetic Algorithms, Computer Generated Music, Classification, Clustering, Informática
Access URL: http://hdl.handle.net/10486/665362
-
17eBook
Contributors: Finkbeiner, Bernd, Kovács, Laura
Subject Terms: 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
File Description: image/jpeg
Relation: Lecture Notes in Computer Science
Access URL: 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
Authors: 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
Linked Full TextSource: In International Journal of Pharmaceutics 10 May 2022 619
-
19Academic Journal
Authors: Fink, Aron, König, Christoph, Frey, Andreas
Source: Frontiers in Psychology; 10/1/2024, p1-7, 7p
Subject Terms: Adaptive testing, Item response theory, Computer adaptive testing, Algorithms, Hat design & hat making, Test design
Company/Entity: Programme for International Student Assessment
-
20Dissertation/ Thesis
Authors: Pérez Guijarro, Jordi
Contributors: 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
Source: TDX (Tesis Doctorals en Xarxa)
Subject Terms: supervised learning, quantum computing, quantum error mitigation, quantum advantage, quantum hypothesis testing, Àrees temàtiques de la UPC::Informàtica, 004 - Informàtica
File Description: application/pdf