Algorithms and Complexity: 14th International Conference, CIAC 2025, Rome, Italy, June 10–12, 2025, Proceedings, Part I

Authors: Irene Finocchi, Loukas Georgiadis

Source: Lecture Notes in Computer Science ISBN: 9783031929311
Lecture Notes in Computer Science ISBN: 9783031929342

Subject Terms: algorithms, data structures, theoretical computer science. graph algorithms, approximation algorithms, online algorithms, streaming, distributed and parallel algorithms, parameterized complexity and exact algorithms, computational complexity, geometry, randomness, combinatorics

File Description: application/pdf

Internet of Production

Contributors: Brecher, Christian, Schuh, Günther, van der Aalst, Wil, Jarke, Matthias, Piller, Frank T., Padberg, Melanie

Subject Terms: Internet of Production, Industrial Internet of Things, Advanced Manufacturing, Production, Digital Shadow, Production engineering, Algorithms & data structures, Materials science, Production & quality control management, Management of specific areas, Purchasing & supply management

File Description: image/jpeg

Relation: Interdisciplinary Excellence Accelerator Series

Access URL: https://directory.doabooks.org/handle/20.500.12854/133035
https://library.oapen.org/handle/20.500.12657/86918
https://library.oapen.org/bitstream/20.500.12657/86918/1/978-3-031-44497-5.pdf

Quantitative Sustainability

Contributors: Fantoni, Stefano, Casagli, Nicola, Solidoro, Cosimo, Cobal, Marina

Subject Terms: Sustainable Development Goals, Data science in Sustainability, SDG Targets, Data Science in Sustainable Development Goals, Complex Network, Food Security, Climate Changes, Environmental Changes, Human Ecology, Sustainable Economy, Space Science, Platform For a Science-industry Dialogue, Industrial Processes, Statistical physics, Sustainability, Algorithms & data structures, Artificial intelligence, Ecological science, the Biosphere, Food & beverage technology

File Description: image/jpeg

Access URL: https://directory.doabooks.org/handle/20.500.12854/133046
https://library.oapen.org/handle/20.500.12657/86887
https://library.oapen.org/bitstream/20.500.12657/86887/1/978-3-031-39311-2.pdf

Industrielle Datenanalyse

Contributors: Deuse, Jochen, Klinkenberg, Ralf, West, Nikolai

Subject Terms: Abschlussberich, Kollaboration, Kompetenzentwicklung, Datenvernetzung, Analysemodule, Industrielle Datenanalyse, Wertschöpfungsnetzwerke, Algorithms & data structures, Computer networking & communications

File Description: image/jpeg

Access URL: https://directory.doabooks.org/handle/20.500.12854/133033
https://library.oapen.org/handle/20.500.12657/86951
https://library.oapen.org/bitstream/20.500.12657/86951/1/978-3-658-42779-5.pdf

Towards competency based testing and feedback: Competency definition and measurement in the field of algorithms & data structures

Authors: Hubwieser, Peter, Berges, Marc, Striewe, Michael, Goedicke, Michael

Source: 2017 IEEE Global Engineering Education Conference (EDUCON) Global Engineering Education Conference (EDUCON), 2017 IEEE. :517-526 Apr, 2017

Relation: 2017 IEEE Global Engineering Education Conference (EDUCON)

Classification and Data Science in the Digital Age

Contributors: Brito, Paula, Dias, José G., Lausen, Berthold, Montanari, Angela, Nugent, Rebecca

Subject Terms: Classification, Data Science, Clustering, Statistical Learning, Machine Learning, Data Analysis, Mutlivariate Analysis, Statistical Inference, Dimension Reduction, Functional Data Analysis, Time Series Analysis, Network Analysis, Algorithms & data structures, Artificial intelligence, Mathematical & statistical software, Machine learning, Data mining, Probability & statistics

File Description: application/pdf

Relation: Studies in Classification, Data Analysis, and Knowledge Organization

Access URL: https://library.oapen.org/handle/20.500.12657/86098

The Application of Ant Colony Optimization

Contributors: Soofastaei, Ali

Subject Terms: Algorithms & data structures, Algorithms and data structures

File Description: image/jpeg

Access URL: https://directory.doabooks.org/handle/20.500.12854/90292
https://www.intechopen.com/books/10400
https://mts.intechopen.com/storage/books/10400/authors_book/authors_book.pdf

Tools and Algorithms for the Construction and Analysis of Systems

Contributors: Groote, Jan Friso, Larsen, Kim Guldstrand

Subject Terms: Theory of Computation, Computer Systems Organization and Communication Networks, Control Structures and Microprogramming, Software Engineering, Computer Engineering and Networks, architecture verification and validation, automata theory, computer systems, distributed computer systems, embedded systems, formal logic, mathematics, model checking, model-checking, parallel processing systems, SAT and SMT solving, software architecture, static and dynamic program analysis, theorem-proving, verification and validation, Computer science, Mathematical theory of computation, Computer networking & communications, Algorithms & data structures, Computer networking and communications, Computer programming / software engineering

File Description: image/png; image/jpeg

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

Access URL: https://directory.doabooks.org/handle/20.500.12854/67936
https://library.oapen.org/handle/20.500.12657/48219
https://library.oapen.org/bitstream/20.500.12657/48219/1/9783030720131.pdf

Fundamental Approaches to Software Engineering

Contributors: Guerra, Esther, Stoelinga, Mariëlle

Subject Terms: Software Engineering/Programming and Operating Systems, Data Structures and Information Theory, Natural Language Processing (NLP), Programming Techniques, Theory of Computation, Software Engineering, architecture verification and validation, artificial intelligence, embedded systems, empirical software validation, formal logic, formal methods, model checking, model-driven software engineering, object-oriented programming, parallel processing systems, program analysis, program compilers, signal processing, software architecture, software performance, software selection and adaptation, software testing and debugging, telecommunication systems, verification, Operating systems, Algorithms & data structures, Information theory, Natural language & machine translation, Computer programming / software engineering, Computer science, Mathematical theory of computation, Artificial intelligence

File Description: image/png; image/jpeg

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

Access URL: https://directory.doabooks.org/handle/20.500.12854/67919
https://library.oapen.org/handle/20.500.12657/48217
https://library.oapen.org/bitstream/20.500.12657/48217/1/9783030715007.pdf

International Symposium on Mathematics, Quantum Theory, and Cryptography

Contributors: Takagi, Tsuyoshi, Wakayama, Masato, Tanaka, Keisuke, Kunihiro, Noboru, Kimoto, Kazufumi, Ikematsu, Yasuhiko

Subject Terms: Mathematical and Computational Engineering, Data Structures and Information Theory, Quantum Computing, Systems and Data Security, Mathematical and Computational Engineering Applications, Data and Information Security, Cryptography for Quantum Computers, Post-quantum Cryptography, Number Theory, Representation Theory, Quantum Physics, Security Modelling, Open Access, Maths for engineers, Algorithms & data structures, Information theory, Mathematical theory of computation, Computer security, Network security, Algorithms and data structures

File Description: image/jpeg

Relation: Mathematics for Industry

Access URL: https://directory.doabooks.org/handle/20.500.12854/63693
https://library.oapen.org/handle/20.500.12657/46834
https://library.oapen.org/bitstream/20.500.12657/46834/1/2021_Book_InternationalSymposiumOnMathem.pdf

From Opinion Mining to Financial Argument Mining

Authors: Chen, Chung-Chi, Huang, Hen-Hsen, Chen, Hsin-Hsi

Subject Terms: Natural Language Processing (NLP), Data Mining and Knowledge Discovery, Data Structures and Information Theory, Artificial Intelligence, Computer Applications, Data Science, Computer and Information Systems Applications, Open Access, financial opinion mining, text mining in finance, financial technology application, FinTech, argument mining in finance, opinion quality evaluation, numeral understanding, Natural language & machine translation, Data mining, Expert systems / knowledge-based systems, Algorithms & data structures, Information theory, Information technology: general issues, Natural language and machine translation, Algorithms and data structures, Artificial intelligence, Information technology: general topics

File Description: image/png; image/jpeg

Relation: SpringerBriefs in Computer Science

Access URL: https://directory.doabooks.org/handle/20.500.12854/70780
https://library.oapen.org/handle/20.500.12657/49533
https://library.oapen.org/bitstream/20.500.12657/49533/1/9789811628818.pdf

Editorial

Authors: Laurent Bulteau, Zsuzsanna Liptak

Subject Terms: string algorithms, data structures, combinatorial pattern matching

File Description: application/pdf

Access URL: https://hdl.handle.net/11562/1117247

Supercomputing Frontiers

Contributors: Panda, Dhabaleswar K.

Subject Terms: Computer Systems Organization and Communication Networks, Image Processing and Computer Vision, Control Structures and Microprogramming, Input/Output and Data Communications, Operating Systems, Information Systems and Communication Service, Computer Engineering and Networks, Computer Vision, Database Management System, computer hardware, computer networks, computer systems, distributed computer systems, distributed systems, embedded systems, hpc, image processing, microprocessor chips, network protocols, parallel architectures, parallel processing systems, processors, signal processing, telecommunication networks, telecommunication systems, telecommunication traffic, open access, Computer networking & communications, Image processing, Computer vision, Algorithms & data structures, Distributed databases, Operating systems, Computer networking and communications, Algorithms and data structures

File Description: image/jpeg

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

Access URL: https://directory.doabooks.org/handle/20.500.12854/38238
http://library.oapen.org/handle/20.500.12657/39588
https://library.oapen.org/bitstream/20.500.12657/39588/1/2020_Book_SupercomputingFrontiers.pdf

Tools and Algorithms for the Construction and Analysis of Systems

Contributors: Biere, Armin, Parker, David

Subject Terms: Theory of Computation, Special Purpose and Application-Based Systems, Computer System Implementation, Control Structures and Microprogramming, Mathematics of Computing, open access, specification and verification techniques, software and hardware verification, SAT and SMT solving, theorem proving, model checking, static and dynamic program analysis, testing, system construction and transformation techniques, tool environments and tool architectures, abstraction techniques for modeling and verification, compositional and refinement-based methodologies, mathematics, software engineering, software design, architecting, software architecture, embedded systems, automata theory, linguistics, Computer science, Mathematical theory of computation, Expert systems / knowledge-based systems, Systems analysis & design, Algorithms & data structures, Maths for computer scientists, Systems analysis and design, Algorithms and data structures

File Description: image/jpeg

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

Access URL: https://directory.doabooks.org/handle/20.500.12854/31311
http://library.oapen.org/handle/20.500.12657/37722
https://library.oapen.org/bitstream/20.500.12657/37722/1/2020_Book_ToolsAndAlgorithmsForTheConstr.pdf

Engines of Order

Authors: Rieder, Bernhard

Subject Terms: media studies, information architecture, algorithms & data structures, Media studies, Information architecture, Algorithms and data structures

File Description: image/jpeg

Relation: Recursions

Access URL: https://directory.doabooks.org/handle/20.500.12854/32550
http://library.oapen.org/handle/20.500.12657/39371
https://library.oapen.org/bitstream/20.500.12657/39371/1/9789048537419.pdf

Fundamental Approaches to Software Engineering

Contributors: Wehrheim, Heike, Cabot, Jordi

Subject Terms: Software Engineering, Special Purpose and Application-Based Systems, Control Structures and Microprogramming, Computer System Implementation, Information Systems and Communication Service, Artificial Intelligence, open access, software engineering, requirements engineering, model-based design, software analysis, testing, software architectures, security, model transformations, software evolution, software product lines, architecting, artificial intelligence, computer programming, computer systems, embedded systems, mathematics, software architecture, software design, Expert systems / knowledge-based systems, Algorithms & data structures, Systems analysis & design, Computer networking & communications, Artificial intelligence, Algorithms and data structures, Systems analysis and design, Computer networking and communications

File Description: image/jpeg

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

Access URL: https://directory.doabooks.org/handle/20.500.12854/28633
http://library.oapen.org/handle/20.500.12657/37725
https://library.oapen.org/bitstream/20.500.12657/37725/1/2020_Book_FundamentalApproachesToSoftwar.pdf

Programming Languages and Systems

Contributors: Müller, Peter

Subject Terms: Programming Languages, Compilers, Interpreters, Computer Systems Organization and Communication Networks, Control Structures and Microprogramming, Information Systems and Communication Service, Natural Language Processing (NLP), Theory of Computation, artificial intelligence, computer networks, computer programming, computer security, distributed computer systems, embedded systems, formal languages, formal logic, linguistics, mathematics, model checking, object-oriented programming, parallel processing systems, program compilers, semantics, software architecture, software design, software engineering, software quality, verification and validation, Programming & scripting languages: general, Compilers & interpreters, Computer networking & communications, Algorithms & data structures, Natural language & machine translation, Computer science, Mathematical theory of computation, Programming and scripting languages: general, Computer networking and communications, Algorithms and data structures, Natural language and machine translation

File Description: image/jpeg

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

Access URL: https://directory.doabooks.org/handle/20.500.12854/28495
http://library.oapen.org/handle/20.500.12657/37721
https://library.oapen.org/bitstream/20.500.12657/37721/1/2020_Book_ProgrammingLanguagesAndSystems.pdf

Scheduling Problems

Contributors: da Rosa Righi, Rodrigo

Subject Terms: Algorithms & data structures, Computer programming / software engineering

File Description: image/jpeg

Access URL: https://directory.doabooks.org/handle/20.500.12854/67578
https://www.intechopen.com/books
https://mts.intechopen.com/storage/books/8754/authors_book/authors_book.pdf

Fully Functional Suffix Trees and Optimal Text Searching in BWT-Runs Bounded Space

Authors: GAGIE Travis, NAVARRO Gonzalo, PREZZA Nicola

Source: Journal of the ACM. 67:1-54

Subject Terms: FOS: Computer and information sciences, Theory of computation, Design and analysis of algorithms, Data structures design and analysis, Pattern matching, Computer Science - Data Structures and Algorithms, Compressed text indexes, Data Structures and Algorithms (cs.DS), Repetitive string collections, Compressed suffix trees, 0102 computer and information sciences, Burrows-Wheeler transform, 01 natural sciences, Theory of computation, Design and analysis of algorithms, Data structures design and analysis, Pattern matching

File Description: application/pdf

Access URL: http://arxiv.org/pdf/1809.02792
http://arxiv.org/abs/1809.02792
https://arxiv.org/abs/1809.02792
https://dblp.uni-trier.de/db/journals/jacm/jacm67.html#GagieNP20
https://dl.acm.org/doi/10.1145/3375890
http://arxiv-export-lb.library.cornell.edu/abs/1809.02792
https://repositorio.uchile.cl/handle/2250/178684
https://arxiv.org/pdf/1809.02792.pdf
https://arxiv.org/abs/1809.02792
https://ui.adsabs.harvard.edu/abs/2018arXiv180902792G/abstract
https://hdl.handle.net/10278/3729797
https://doi.org/10.1145/3375890
https://dl.acm.org/doi/10.1145/3375890#d10052772e1
https://hdl.handle.net/11385/192324
https://doi.org/10.1145/3375890
https://dl.acm.org/doi/10.1145/3375890#d10052772e1

Towards efficient security policy lookup on many-core network processing platforms

Authors: Wang, X., Qi, Y., Wang, K., Xue, Y., Li, J.

Source: China Communications China Commun. Communications, China. 12(8):146-160 Aug, 2015