Loading…
Type inference in flexible model-driven engineering using classification algorithms
Zolotas, Athanasios, Matragkas, Nicholas, Devlin, Sam, Kolovos, Dimitrios S., Paige, Richard F.
Published in Software and systems modeling (01.02.2019)
Published in Software and systems modeling (01.02.2019)
Get full text
Journal Article
Loading…
Preservice physics teachers’ laboratory project design: Arduino-based creativity
Get full text
Journal Article
Conference Proceeding
Loading…
Deconfined Global Types for Asynchronous Sessions
Dagnino, Francesco, Giannini, Paola, Dezani-Ciancaglini, Mariangiola
Published in Logical methods in computer science (01.01.2023)
Published in Logical methods in computer science (01.01.2023)
Get full text
Journal Article
Loading…
The development of web-based virtual laboratory for programming language in mathematics education
Get full text
Journal Article
Conference Proceeding
Loading…
Loading…
Loading…
On the application of process management and process mining to Industry 4.0: Process management and process mining in I4.0
Monti, Flavia, Mathew, Jerin George, Leotta, Francesco, Koschmider, Agnes, Mecella, Massimo
Published in Software and systems modeling (01.12.2024)
Published in Software and systems modeling (01.12.2024)
Get full text
Journal Article
Loading…
Logic, Language, Information, and Computation: 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings
Workshop on Logic, Language, Information and Computation, Moss, Lawrence Stuart, Queiroz, Ruy de, Martinez, Maricarmen
Year of Publication 2018
Get full text
Year of Publication 2018
eBook
Book
Loading…
Loading…
PeptidePicker: A scientific workflow with web interface for selecting appropriate peptides for targeted proteomics experiments
Mohammed, Yassene, Domański, Dominik, Jackson, Angela M., Smith, Derek S., Deelder, André M., Palmblad, Magnus, Borchers, Christoph H.
Published in Journal of proteomics (25.06.2014)
Published in Journal of proteomics (25.06.2014)
Get full text
Journal Article
Loading…
PyFlies: A Domain-Specific Language for Designing Experiments in Psychology
Dejanović, Igor, Dejanović, Mirjana, Vidaković, Jovana, Nikolić, Siniša
Published in Applied sciences (01.09.2021)
Published in Applied sciences (01.09.2021)
Get full text
Journal Article
Loading…
Code to Learn: Where Does It Belong in the K-12 Curriculum?
Moreno León, Jesús, Robles, Gregorio, Román-González, Marcos
Published in Journal of information technology education (2016)
Published in Journal of information technology education (2016)
Get full text
Journal Article
Loading…
A scoping review of computational thinking assessments in higher education
Lu, Chang, Macdonald, Rob, Odell, Bryce, Kokhan, Vasyl, Demmans Epp, Carrie, Cutumisu, Maria
Published in Journal of computing in higher education (01.08.2022)
Published in Journal of computing in higher education (01.08.2022)
Get full text
Journal Article
Loading…
OpenSCV: an open hierarchical taxonomy for smart contract vulnerabilities
Vidal, Fernando Richter, Ivaki, Naghmeh, Laranjeiro, Nuno
Published in Empirical software engineering : an international journal (01.07.2024)
Published in Empirical software engineering : an international journal (01.07.2024)
Get full text
Journal Article
Loading…
Loading…
Loading…
Loading…
Evaluating state-of-the-art # SAT solvers on industrial configuration spaces
Sundermann, Chico, Heß, Tobias, Nieke, Michael, Bittner, Paul Maximilian, Young, Jeffrey M., Thüm, Thomas, Schaefer, Ina
Published in Empirical software engineering : an international journal (01.03.2023)
Published in Empirical software engineering : an international journal (01.03.2023)
Get full text
Journal Article
Loading…
Simplifying the interaction between cognitive models and task environments with the JSON Network Interface
Hope, Ryan M., Schoelles, Michael J., Gray, Wayne D.
Published in Behavior research methods (01.12.2014)
Published in Behavior research methods (01.12.2014)
Get full text
Journal Article
Loading…
Automatic multi-gait recognition using pedestrian’s spatiotemporal features
Khan, Muhammad Hassan, Azam, Hiba, Farid, Muhammad Shahid
Published in The Journal of supercomputing (01.11.2023)
Published in The Journal of supercomputing (01.11.2023)
Get full text
Journal Article