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, Logic in AI, Information Systems and Communication Service, Computer Engineering and Networks, architecture verification and validation, artificial intelligence, automata theory, computer networks, embedded systems, formal languages, formal logic, linguistics, mathematics, model checking, model-checking, SAT and SMT solving, signal processing, software and hardware verification, software architecture, software engineering, specification and verification techniques, static and dynamic program analysis, system construction and transforamtion techniques, theorem-proving, Computer science, Mathematical theory of computation, Computer networking & communications, Algorithms & data structures, Computer networking and communications, Computer programming / software engineering, 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/67926
https://library.oapen.org/handle/20.500.12657/48220
https://library.oapen.org/bitstream/20.500.12657/48220/1/9783030720162.pdf

Urban Informatics

Συνεισφορές: Shi, Wenzhong, Goodchild, Michael F., Batty, Michael, Kwan, Mei-Po, Zhang, Anshu

Θεματικοί όροι: Human Geography, Information Systems and Communication Service, Computer Applications, Geography, general, Urban Geography and Urbanism, Database Management System, Geographical Information System, Urban informatics, Urban science, GIS, Urban computing, Sensing, Big data, Smart cities, Spatial data infrastructure, Big data analytics, Data-driven geography, Open access, Computer networking & communications, Information technology: general issues, Geography, Human geography, Computer networking and communications, Information technology: general topics

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

Relation: The Urban Book Series

Σύνδεσμος πρόσβασης: https://directory.doabooks.org/handle/20.500.12854/67986
https://library.oapen.org/handle/20.500.12657/48232
https://library.oapen.org/bitstream/20.500.12657/48232/1/9789811589836.pdf

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

Semantic Systems. In the Era of Knowledge Graphs

Συνεισφορές: Blomqvist, Eva, Groth, Paul, de Boer, Victor, Pellegrini, Tassilo, Alam, Mehwish, Käfer, Tobias, Kieseberg, Peter, Kirrane, Sabrina, Meroño-Peñuela, Albert, Pandit, Harshvardhan J.

Θεματικοί όροι: Knowledge based Systems, Computer Applications, Information Systems and Communication Service, Computer and Information Systems Applications, Computer Engineering and Networks, artificial intelligence, computer science, computer systems, data handling, databases, dbpedia, internet, knowledge-based system, linguistics, linked data, Natural Language Processing (NLP), natural languages, ontologies, query languages, query processing, resource description framework, search engines, semantic web, semantics, World Wide Web, Expert systems / knowledge-based systems, Information technology: general issues, Computer networking & communications, Information technology: general topics, Computer networking and communications

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

Relation: Lecture Notes in Computer Science; Information Systems and Applications, incl. Internet/Web, and HCI

Σύνδεσμος πρόσβασης: https://directory.doabooks.org/handle/20.500.12854/32613
https://library.oapen.org/handle/20.500.12657/42909
https://library.oapen.org/bitstream/20.500.12657/42909/1/2020_Book_SemanticSystemsInTheEraOfKnowl.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

Towards Interoperable Research Infrastructures for Environmental and Earth Sciences

Συνεισφορές: Zhao, Zhiming, Hellström, Margareta

Θεματικοί όροι: Computer Applications, Environment, general, Special Purpose and Application-Based Systems, Information Systems and Communication Service, Software Engineering/Programming and Operating Systems, Geography, general, Computer and Information Systems Applications, Environmental Sciences, Database Management System, Software Engineering, Geography, cloud computing, cloud providers, cloud services, computer networks, computing resource, data communication systems, databases, distributed computer systems, distributed systems, engineering, grid computing, internet, network protocols, open access, parallel processing systems, signal processing, telecommunication networks, wireless telecommunication systems, Information technology: general issues, The environment, Expert systems / knowledge-based systems, Computer networking & communications, Operating systems

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

Relation: Lecture Notes in Computer Science; Information Systems and Applications, incl. Internet/Web, and HCI

Σύνδεσμος πρόσβασης: https://directory.doabooks.org/handle/20.500.12854/34131
https://library.oapen.org/handle/20.500.12657/41292
https://library.oapen.org/bitstream/20.500.12657/41292/1/2020_Book_TowardsInteroperableResearchIn.pdf

Computer Aided Verification

Συνεισφορές: Lahiri, Shuvendu K., Wang, Chao

Θεματικοί όροι: Software Engineering, Theory of Computation, Computer Systems Organization and Communication Networks, Artificial Intelligence, Information Systems and Communication Service, Computer Hardware, Computer Engineering and Networks, Database Management System, architecture verification and validation, artificial intelligence, computer hardware, computer networks, computer programming, computer systems, data security, distributed computer systems, embedded systems, formal logic, linguistics, model checking, network protocols, parallel processing systems, signal processing, software architecture, software design, software quality, verification and validation, Open Access, Computer science, Mathematical theory of computation, Computer networking & communications, Artificial intelligence, Computer hardware, 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/26292
https://library.oapen.org/handle/20.500.12657/41295
https://library.oapen.org/bitstream/20.500.12657/41295/1/2020_Book_ComputerAidedVerification.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

A Survey of Trendy Financial Sector Applications of Machine and Deep Learning

Συγγραφείς: Nur Indah Lestari, Walayat Hussain, Jose M. Merigo, Mahmoud Bekhit

Συνεισφορές: ACU Research Bank

Πηγή: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ISBN: 9783031239434

Θεματικοί όροι: Fraud detection & money laundering prevention, Computer Systems Organization and Communication Networks, Risk management, Artificial Intelligence, Machine learning, Information Systems and Communication Service, Deep learning, Finance, Computer Applications, Statistical models

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

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

Citation recommendation: approaches and datasets

Συγγραφείς: Michael Färber 0001, Adam Jatowt

Πηγή: International journal on digital libraries, 21 (4), 375–405

Θεματικοί όροι: Database Management, FOS: Computer and information sciences, Computer Science - Machine Learning, ddc:330, Economics, ddc:000, 05 social sciences, Computer Science - Digital Libraries, 02 engineering and technology, Computer Science - Information Retrieval, Machine Learning (cs.LG), Information Systems and Communication Service, 0202 electrical engineering, electronic engineering, information engineering, Digital Libraries (cs.DL), 0509 other social sciences, Information Retrieval (cs.IR)

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

Σύνδεσμος πρόσβασης: https://link.springer.com/content/pdf/10.1007/s00799-020-00288-2.pdf
http://arxiv.org/abs/2002.06961
https://arxiv.org/abs/2002.06961
https://hdl.handle.net/10419/288475
https://publikationen.bibliothek.kit.edu/1000123311
https://doi.org/10.5445/IR/1000123311
https://publikationen.bibliothek.kit.edu/1000123311/104347097

On the coöperative creation of multimedia meaning

Thesis Advisors: UAM. Departamento de Ingeniería Informática

Πηγή: Semantic Multimedia: 4th International Conference on Semantic and Digital Media Technologies, SAMT 2009 Graz, Austria, December 2-4, 2009 Proceedings. Lecture Notes in Computer Science, Volumen 5887. Springer, 2009. 28-39.
978-3-642-10542-5 (print)
978-3-642-10543-2 (online)
0302-9743 (print)
1611-3349 (online)
28
39
5887

Θεματικοί όροι: Information Systems Applications, Multimedia Information Systems, Data Mining and Knowledge Discovery, Information Systems and Communication Service, Informática

Σύνδεσμος πρόσβασης: http://hdl.handle.net/10486/666328

FootbOWL: Using a generic ontology of football competition for planning match summaries

Thesis Advisors: UAM. Departamento de Ingeniería Informática, Recuperación de información (ING EPS-008)

Πηγή: The Semantic Web: Research and Applications: 8th Extended Semantic Web Conference, ESWC 2011, Heraklion, Crete, Greece, May 29-June 2, 2011, Proceedings, Part I. Lecture Notes in Computer Science, Volumen 6643. Springer, 2011. 230-244.
978-3-642-21033-4 (print)
978-3-642-21034-1 (online)
0302-9743 (print)
1611-3349 (online)
230
244
6643

Θεματικοί όροι: Information Systems and Communication Service, Information Systems Applications, Computer Communication Networks, Database Management, Informática

Σύνδεσμος πρόσβασης: http://hdl.handle.net/10486/664869

Re-engineering the Uptake of ICT in Schools

Συνεισφορές: Van Assche, Frans, Anido, Luis, Griffiths, David, Lewin, Cathy, McNicol, Sarah

Θεματικοί όροι: Information Systems and Communication Service, Education, general, Education, Information technology industries, Computer science

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

Σύνδεσμος πρόσβασης: https://directory.doabooks.org/handle/20.500.12854/32319
http://library.oapen.org/handle/20.500.12657/27987
https://library.oapen.org/bitstream/20.500.12657/27987/1/1002010.pdf

Intelligent agents in home healthcare

Συγγραφείς: Hudson, Donna L., Cohen, Maurice E.

Πηγή: annals of telecommunications - annales des télécommunications. 65(9)

Θεματικοί όροι: Engineering, R & D/Technology Policy, Signal, Image and Speech Processing, Information Systems and Communication Service, Communications Engineering, Networks, Information and Communication, Circuits, Computer Communication Networks, Assistive technologies, Intelligent agents, Home healthcare, Telemedicine

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

Σύνδεσμος πρόσβασης: https://escholarship.org/uc/item/2px5h4x1
https://escholarship.org/content/qt2px5h4x1/qt2px5h4x1.pdf

Vehicular communications: emergency video streams and network coding

Συγγραφείς: Park, Joon-Sang, Lee, Uichin, Gerla, Mario

Πηγή: Journal of Internet Services and Applications. 1(1)

Θεματικοί όροι: Computer Science, Processor Architectures, Computer Applications, Business Information Systems, Information Systems and Communication Service, Computer Communication Networks, Computer Systems Organization and Communication Networks, Vehicular networks, Network coding, Data mules

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

Σύνδεσμος πρόσβασης: https://escholarship.org/uc/item/0200h17r
https://escholarship.org/content/qt0200h17r/qt0200h17r.pdf

Graph OLAP: a multi-dimensional framework for graph data analysis

Συγγραφείς: Chen, Chen, Yan, Xifeng, Zhu, Feida, Han, Jiawei, Yu, Philip S.

Πηγή: Knowledge and Information Systems: An International Journal. 21(1)

Θεματικοί όροι: Computer Science, Business Information Systems, Information Systems and Communication Service, Multi-dimensional model, Graph OLAP, Efficient computation, Discovery-driven analysis

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

Σύνδεσμος πρόσβασης: https://escholarship.org/uc/item/9n46c8j8
https://escholarship.org/content/qt9n46c8j8/qt9n46c8j8.pdf

Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I

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

Θεματικοί όροι: SAT and SMT solving, Algorithms & data structures, Theory of Computation, model-checking, static and dynamic program analysis, Control Structures and Microprogramming, software and hardware verification, Logic in AI, Computer networking & communications, theorem-proving, thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering, signal processing, system construction and transforamtion techniques, thema EDItEUR::U Computing and Information Technology::UY Computer science, Computer Engineering and Networks, architecture verification and validation, software architecture, Computer Systems Organization and Communication Networks, mathematics, linguistics, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence, artificial intelligence, specification and verification techniques, automata theory, formal languages, Computer science, model checking, Information Systems and Communication Service, embedded systems, formal logic, computer networks, Mathematical theory of computation, software engineering

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

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

Big data preprocessing: enabling smart data

Συγγραφείς: Luengo Martín, Julián, García Gil, Diego Jesús, Ramírez-Gallego, Sergio, García López, Salvador, Herrera Triguero, Francisco

Θεματικοί όροι: Big Data, Machine Learning, Information Systems and Communication Service

Relation: https://hdl.handle.net/10481/99405

Διαθεσιμότητα: https://hdl.handle.net/10481/99405
https://doi.org/10.1007/978-3-030-39105-8

Collegial activity learning between heterogeneous sensors

Συγγραφείς: Kyle D. Feuz, Diane J. Cook

Πηγή: Knowledge and Information Systems. 53:337-364

Θεματικοί όροι: 2. Zero hunger, IT in Business, Activity recognition, Computer Science, Machine learning, Information Systems and Communication Service, 0202 electrical engineering, electronic engineering, information engineering, Pervasive computing, 02 engineering and technology, Transfer learning, 3. Good health

Σύνδεσμος πρόσβασης: https://europepmc.org/articles/pmc5627625?pdf=render
https://pubmed.ncbi.nlm.nih.gov/28989212

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I

Συνεισφορές: Lahiri, Shuvendu K., Wang, Chao

Πηγή: 2020_Book_ComputerAidedVerification.pdf

Θεματικοί όροι: thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering, Artificial intelligence, Theory of Computation, computer hardware, Computer networking & communications, Open Access, Artificial Intelligence, thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications, Database Management System, computer systems, data security, signal processing, thema EDItEUR::U Computing and Information Technology::UY Computer science, Computer Engineering and Networks, architecture verification and validation, software architecture, Computer Systems Organization and Communication Networks, parallel processing systems, verification and validation, linguistics, thema EDItEUR::U Computing and Information Technology::UK Computer hardware, Software Engineering, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence, Computer hardware, Computer Hardware, artificial intelligence, software quality, software design, Computer science, distributed computer systems, model checking, computer programming, network protocols, Information Systems and Communication Service, embedded systems, formal logic, computer networks, Mathematical theory of computation

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

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