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

Συγγραφείς: Irene Finocchi, Loukas Georgiadis

Πηγή: Lecture Notes in Computer Science ISBN: 9783031929311
Lecture Notes in Computer Science ISBN: 9783031929342

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

Internet of Production

Συνεισφορές: Brecher, Christian, Schuh, Günther, van der Aalst, Wil, Jarke, Matthias, Piller, Frank T., Padberg, Melanie

Θεματικοί όροι: 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

Περιγραφή αρχείου: image/jpeg

Relation: Interdisciplinary Excellence Accelerator Series

Σύνδεσμος πρόσβασης: 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

Συνεισφορές: Fantoni, Stefano, Casagli, Nicola, Solidoro, Cosimo, Cobal, Marina

Θεματικοί όροι: 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

Περιγραφή αρχείου: image/jpeg

Σύνδεσμος πρόσβασης: 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

Συνεισφορές: Deuse, Jochen, Klinkenberg, Ralf, West, Nikolai

Θεματικοί όροι: Abschlussberich, Kollaboration, Kompetenzentwicklung, Datenvernetzung, Analysemodule, Industrielle Datenanalyse, Wertschöpfungsnetzwerke, Algorithms & data structures, Computer networking & communications

Περιγραφή αρχείου: image/jpeg

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Hubwieser, Peter, Berges, Marc, Striewe, Michael, Goedicke, Michael

Πηγή: 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

Συνεισφορές: Brito, Paula, Dias, José G., Lausen, Berthold, Montanari, Angela, Nugent, Rebecca

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

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

Σύνδεσμος πρόσβασης: https://library.oapen.org/handle/20.500.12657/86098

The Application of Ant Colony Optimization

Συνεισφορές: Soofastaei, Ali

Θεματικοί όροι: Algorithms & data structures, Algorithms and data structures

Περιγραφή αρχείου: image/jpeg

Σύνδεσμος πρόσβασης: 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

Συνεισφορές: Groote, Jan Friso, Larsen, Kim Guldstrand

Θεματικοί όροι: 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

Περιγραφή αρχείου: image/png; image/jpeg

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

Σύνδεσμος πρόσβασης: 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

Συνεισφορές: Guerra, Esther, Stoelinga, Mariëlle

Θεματικοί όροι: 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

Περιγραφή αρχείου: image/png; image/jpeg

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

Σύνδεσμος πρόσβασης: 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

Συνεισφορές: Takagi, Tsuyoshi, Wakayama, Masato, Tanaka, Keisuke, Kunihiro, Noboru, Kimoto, Kazufumi, Ikematsu, Yasuhiko

Θεματικοί όροι: 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

Περιγραφή αρχείου: image/jpeg

Relation: Mathematics for Industry

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Chen, Chung-Chi, Huang, Hen-Hsen, Chen, Hsin-Hsi

Θεματικοί όροι: 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

Περιγραφή αρχείου: image/png; image/jpeg

Relation: SpringerBriefs in Computer Science

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Laurent Bulteau, Zsuzsanna Liptak

Θεματικοί όροι: string algorithms, data structures, combinatorial pattern matching

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://hdl.handle.net/11562/1117247

Supercomputing Frontiers

Συνεισφορές: Panda, Dhabaleswar K.

Θεματικοί όροι: 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

Περιγραφή αρχείου: image/jpeg

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

Σύνδεσμος πρόσβασης: 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

Συνεισφορές: Biere, Armin, Parker, David

Θεματικοί όροι: 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

Περιγραφή αρχείου: image/jpeg

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

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Rieder, Bernhard

Θεματικοί όροι: media studies, information architecture, algorithms & data structures, Media studies, Information architecture, Algorithms and data structures

Περιγραφή αρχείου: image/jpeg

Relation: Recursions

Σύνδεσμος πρόσβασης: 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

Συνεισφορές: Wehrheim, Heike, Cabot, Jordi

Θεματικοί όροι: 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

Περιγραφή αρχείου: image/jpeg

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

Σύνδεσμος πρόσβασης: 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

Συνεισφορές: Müller, Peter

Θεματικοί όροι: 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

Περιγραφή αρχείου: image/jpeg

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

Σύνδεσμος πρόσβασης: 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

Συνεισφορές: da Rosa Righi, Rodrigo

Θεματικοί όροι: Algorithms & data structures, Computer programming / software engineering

Περιγραφή αρχείου: image/jpeg

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: GAGIE Travis, NAVARRO Gonzalo, PREZZA Nicola

Πηγή: Journal of the ACM. 67:1-54

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Wang, X., Qi, Y., Wang, K., Xue, Y., Li, J.

Πηγή: China Communications China Commun. Communications, China. 12(8):146-160 Aug, 2015