Search Results - "algorithms and data structures"

Increasing the Engagement Level in Algorithms and Data Structures Course by Driving Algorithm Visualizations by Š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…”
Get full text

Teaching practice in algorithms and data structures by 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…”
Get full text

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

“…Simulations are crucial to answer fundamental and practical questions of science and engineering, especially when theoretical assessments and experiments are…”
Get full text

Guess Free Maximization of Submodular and Linear Sums by 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…”
Get full text

The University and the Algorithmic Gaze by 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…”
Get full 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…”
Get full text

Algorithmic Foundations for Social Advancement: Recent Progress on Theory and Practice by 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…”
Get full text

Principles of model checking by 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…”
Get full text

Improved Streaming Algorithms for Maximizing Monotone Submodular Functions under a Knapsack Constraint by 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…”
Get full 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…”
Get full 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 by 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…”
Get full 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 by 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…”
Get full text

AI, Data, and Digitalization: First International Symposium, SAIDD 2023, Sogndal, Norway, May 9–10, 2023, Revised Selected Papers by 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,…”
Get full text

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

“… The goal was twofold: (1) help in the teaching of the complex subject of algorithms and data structures and (2…”
Get full text

THE ROLE OF METHODOLGY IN PEDAGOGICAL RESEARCH IN TERMS OF IMPROVING SKILLS OF HIGH SCHOOL STUDENTS PROGRAMMING by 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…”
Get full 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 by 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,…”
Get full text

Counterspeech: Multidisciplinary Perspectives on Countering Dangerous Speech by 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…”
Get full text

Algorithms and data structures for first-order logic with connectivity under vertex failures by 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…”
Get full text

The state of open data : histories and horizons by 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…”
Get full text

Lower Bounds on Performance of Metric Tree Indexing Schemes for Exact Similarity Search in High Dimensions by 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 Ω…”
Get full text