Výsledky vyhledávání - "Algorithms and data structures"

Increasing the Engagement Level in Algorithms and Data Structures Course by Driving Algorithm Visualizations Autor Šimoňák, Slavomír

“…The paper presents the results of our research in the field of applying algorithm visualizations within Data structures and algorithms subject…”
Získat plný text

Teaching practice in algorithms and data structures Autor Martinez, Cristian A., Nocera, Carlos, Rodriguez, Diego A., Orozco, Ismael, Xamena, Eduardo

“… This paper describes experiences in the teaching-learning process related to a subject of the mentioned career…”
Získat plný text

Massively Parallel Algorithms and Data Structures for Extreme-scale Matrix-free Simulations on Hybrid Tetrahedral Grids Autor Kohl, Nils

“…Simulations are crucial to answer fundamental and practical questions of science and engineering, especially when theoretical assessments and experiments are…”
Získat plný text

Guess Free Maximization of Submodular and Linear Sums Autor Feldman, Moran

“…We consider the problem of maximizing the sum of a monotone submodular function and a linear function subject to a general solvable polytope constraint…”
Získat plný text

The University and the Algorithmic Gaze Autor Gourlay, Lesley

“…This open access book takes an innovative and critical look at the ways in which digital data and algorithms are changing the face of higher education in…”
Získat plný text

Foundations of Software Science and Computation Structures: 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings

“…This open access book constitutes the proceedings of the 28th International Conference on Foundations of Software Science and Computation Structures, FOSSACS…”
Získat plný text

Algorithmic Foundations for Social Advancement: Recent Progress on Theory and Practice Autor Minato, Shin-ichi, Uno, Takeaki, Yasuda, Norihito, Horiyama, Takashi, Kawarabayashi, Ken-ichi, Yamashita, Shigeru, Ono, Hirotaka

“…This Open access book provides an overview of the cutting-edge research to systematize innovative foundations in algorithmic theories and techniques, and apply…”
Získat plný text

Principles of model checking Autor Baier, Christel, Katoen, Joost-Pieter

“…A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive…”
Získat plný text

Improved Streaming Algorithms for Maximizing Monotone Submodular Functions under a Knapsack Constraint Autor Huang, Chien-Chung, Kakimura, Naonori

“…In this paper, we consider the problem of maximizing a monotone submodular function subject to a knapsack constraint in a streaming setting…”
Získat plný text

Counterspeech: Multidisciplinary Perspectives on Countering Dangerous Speech Autor Ullmann, Stefanie, Tomalin, Marcus

“…This volume looks at the forms and functions of counterspeech as well as what determines its effectiveness and success from multidisciplinary perspectives…”
Získat plný text

Counterspeech: Multidisciplinary Perspectives on Countering Dangerous Speech

“…This volume looks at the forms and functions of counterspeech as well as what determines its effectiveness and success from multidisciplinary perspectives…”
Získat plný text

Foundations of Software Science and Computation Structures: 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II Autor Kobayashi, Naoki, Worrell, James

“…The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and…”
Získat plný text

Foundations of Software Science and Computation Structures: 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I Autor Kobayashi, Naoki, Worrell, James

“…The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and…”
Získat plný text

AI, Data, and Digitalization: First International Symposium, SAIDD 2023, Sogndal, Norway, May 9–10, 2023, Revised Selected Papers Autor Akerkar, Rajendra

“…This open access book constitutes the revised selected papers of the First International Symposium on AI, Data and Digitalization, SAIDD 2023, held in Sogndal,…”
Získat plný text

Teaching Software Testing in an Algorithms and Data Structures Course Autor Arcuri, Andrea

“… The goal was twofold: (1) help in the teaching of the complex subject of algorithms and data structures and (2…”
Získat plný text

THE ROLE OF METHODOLGY IN PEDAGOGICAL RESEARCH IN TERMS OF IMPROVING SKILLS OF HIGH SCHOOL STUDENTS PROGRAMMING Autor Juraković, Linda, Vekić, Marina, Marković, Monika

“… Students from all grades participated in the research. In this research the attitudes of students were examined for subject…”
Získat plný text

Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II Autor Fisman, Dana, Rosu, Grigore

“…This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems,…”
Získat plný text

Algorithms and data structures for first-order logic with connectivity under vertex failures Autor Pilipczuk, Michał, Schirrmacher, Nicole, Siebertz, Sebastian, Toruńczyk, Szymon, Vigny, Alexandre

“…We introduce a new data structure for answering connectivity queries in undirected graphs subject to batched vertex failures…”
Získat plný text

The state of open data : histories and horizons Autor Davies, Tim

“…It’s been ten years since open data first broke onto the global stage. Over the past decade, thousands of programmes and projects around the world have worked…”
Získat plný text

Lower Bounds on Performance of Metric Tree Indexing Schemes for Exact Similarity Search in High Dimensions Autor Pestov, Vladimir

“… , where the query points are subject to the same probability distribution μ as datapoints. Let denote a class of all 1-Lipschitz functions on Ω…”
Získat plný text