A Digital Twin Design for Conveyor Belts Predictive Maintenance

Συγγραφείς: Marina Meireles Pereira Mafia, Naeem Ayoub, Lennart Trumpler, Jesper Puggaard de Oliveira Hansen

Πηγή: Technologien für die intelligente Automation ISBN: 9783031470615

Θεματικοί όροι: Neural networks (Computer science), Cyber-Physical Systems, Computer engineering, Mathematical Models of Cognitive Processes and Neural Networks, Cooperating objects (Computer systems), artificial intelligence, Computer networks, Computer Engineering and Networks

Programming Languages and Systems

Συνεισφορές: Yoshida, Nobuko

Θεματικοί όροι: Programming Languages, Compilers, Interpreters, Natural Language Processing (NLP), Software Engineering, Logics and Meanings of Programs, Computer Systems Organization and Communication Networks, Compilers and Interpreters, Computer Science Logic and Foundations of Programming, Computer Engineering and Networks, computer programming, concurrency theory, distributed computer systems, formal logic, lamdba calculi, linguistics, logic, object-oriented programming, parallel processing systems, probabilistic programming, process calculi, program compilers, semantics, software design, software quality, theory, types, verification and validation, Programming & scripting languages: general, Compilers & interpreters, Natural language & machine translation, Computer programming / software engineering, Computer architecture & logic design, Computer networking & communications, Programming and scripting languages: general, Artificial intelligence, Computer networking and communications

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

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

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

Machine Learning for Cyber Physical Systems

Συνεισφορές: Beyerer, Jürgen, Maier, Alexander, Niggemann, Oliver

Θεματικοί όροι: Cyber-physical systems, IoT, Communications Engineering, Networks, Computer Systems Organization and Communication Networks, Cyber-Physical Systems, Computer Engineering and Networks, Machine Learning, Artificial Intelligence, Cognitive Robotics, Internet of Things, Computational intelligence, Computer-based algorithms, Smart grid, Open Access, Industry 4.0, Electrical engineering, Cybernetics & systems theory, Communications engineering / telecommunications, Computer networking & communications, Computer networking and communications

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

Relation: Technologien für die intelligente Automation

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

Cyber-Physical Systems: A Model-Based Approach

Συγγραφείς: Taha, Walid M., Taha, Abd-Elhamid M., Thunberg, Johan

Θεματικοί όροι: Computer Systems Organization and Communication Networks, Cyber-physical systems, IoT, Simulation and Modeling, Control, Robotics, Mechatronics, Computer Engineering and Networks, Cyber-Physical Systems, Computer Science, Control, Robotics, Automation, CPS, Embedded System, model-based engineering, hybrid systems, Acumen, coordinate transformations, modeling computational systems, modeling physical systems, control, sensing and actuation, game theory, Open Access, Computer networking & communications, Electrical engineering, Cybernetics & systems theory, Computer modelling & simulation, Automatic control engineering, Electronic devices & materials, Textbook, Computer networking and communications, Computer modelling and simulation

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

Σύνδεσμος πρόσβασης: https://directory.doabooks.org/handle/20.500.12854/39527
https://library.oapen.org/handle/20.500.12657/41754
https://library.oapen.org/bitstream/20.500.12657/41754/1/2021_Book_Cyber-PhysicalSystemsAModel-Ba.pdf

Eingebettete Systeme

Συγγραφείς: Marwedel, Peter

Θεματικοί όροι: Computer Systems Organization and Communication Networks, Cyber-physical systems, IoT, Circuits and Systems, Professional Computing, Computer Engineering and Networks, Cyber-Physical Systems, Embedded Systems, Internet of Things, Eingebettete Systeme Buch, Betriebssystem, Echtzeitbetriebssysteme, Hardware/Software-Codesign, Scheduling, Spezifikationssprachen, Internet der Dinge, Cyber-Physikalische Systeme, Open Access, Computer networking & communications, Electrical engineering, Cybernetics & systems theory, Electronics: circuits & components, Applied computing, Computer networking and communications, Electronics: circuits and components, Computing and Information Technology

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

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

Geomatics for Green and Digital Transition: 25th Italian Conference, ASITA 2022, Genova, Italy, June 20–24, 2022, Proceedings

Συγγραφείς: Enrico Borgogno-Mondino, Paola Zamperlin

Πηγή: Communications in Computer and Information Science ISBN: 9783031174384

Θεματικοί όροι: Artificial Intelligence, Computer Engineering and Networks, Computer Imaging, Vision, Pattern Recognition and Graphics, Data Structures and Information Theory, Computing Milieux, Artificial Intelligence, Computer Engineering and Networks, Computer Imaging, Vision, Pattern Recognition and Graphics, Data Structures and Information Theory, Computing Milieux

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

Σύνδεσμος πρόσβασης: https://link.springer.com/book/10.1007/978-3-031-17439-1
https://doi.org/10.1007/978-3-031-17439-1
https://hdl.handle.net/11568/1155900
https://link.springer.com/book/10.1007/978-3-031-17439-1
https://hdl.handle.net/2158/1348044

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

Computer Aided Verification

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

Θεματικοί όροι: Software Engineering, Theory of Computation, Artificial Intelligence, Computer Systems Organization and Communication Networks, Computer Hardware, Simulation and Modeling, Computer Engineering and Networks, Computer Science, architecture verification and validation, artificial intelligence, automata theory, computer systems, correlation analysis, distributed computer systems, embedded systems, formal languages, formal logic, linguistics, model checking, programming languages, semantics, software architecture, software design, software quality, verification and validation, Open Access, Computer science, Mathematical theory of computation, Artificial intelligence, Computer networking & communications, Computer hardware, Computer modelling & simulation, Computer networking and communications, Computer modelling and simulation

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

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

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

The Cloud-to-Thing Continuum

Συνεισφορές: Lynn, Theo, Mooney, John G., Lee, Brian, Endo, Patricia Takako

Θεματικοί όροι: Innovation/Technology Management, Big Data/Analytics, e-Commerce/e-business, Software Management, Computer Systems Organization and Communication Networks, Business and Management, IT in Business, e-Commerce and e-Business, Computer Engineering and Networks, open access, physical internet, internet of things, 4th industrial revolution, cloud computing, Cloud Architecture, Intelligent Networks, Research & development management, Industrial applications of scientific research & technological innovation, Business mathematics & systems, Business applications, E-commerce: business aspects, Computer networking & communications, Research and development management, Business mathematics and systems, Computer networking and communications

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

Relation: Palgrave Studies in Digital Business & Enabling Technologies

Σύνδεσμος πρόσβασης: https://directory.doabooks.org/handle/20.500.12854/37463
https://library.oapen.org/handle/20.500.12657/39982
https://library.oapen.org/bitstream/20.500.12657/39982/1/2020_Book_TheCloud-to-ThingContinuum.pdf

Advances in Databases and Information Systems: 26th European Conference, ADBIS 2022, Turin, Italy, September 5–8, 2022, Proceedings

Συγγραφείς: Silvia Chiusano, Tania Cerquitelli, Robert Wrembel

Πηγή: Lecture Notes in Computer Science ISBN: 9783031157394

Θεματικοί όροι: Database Management, Computer and Information Systems Applications, Artificial Intelligence, Data Structures and Information Theory, Computer Engineering and Networks, Data Mining and Knowledge Discovery

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

Σύνδεσμος πρόσβασης: https://link.springer.com/book/10.1007/978-3-031-15740-0
https://hdl.handle.net/11583/2972669
https://doi.org/10.1007/978-3-031-15740-0

Engineering Multi-Agent Systems, 9th International Workshop, EMAS 2021

Συγγραφείς: Alechina Natasha, Baldoni Matteo, Logan Brian

Θεματικοί όροι: Artificial Intelligence, Computer Engineering and Networks, Computer and Information Systems Applications, Theory of Computation

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

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

Eingebettete Systeme: Grundlagen Eingebetteter Systeme in Cyber-Physikalischen Systemen

Συγγραφείς: Marwedel, Peter

Θεματικοί όροι: Electronics: circuits & components, thema EDItEUR::U Computing and Information Technology, Internet of Things, Cybernetics & systems theory, Cyber-physical systems, IoT, thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering::TJFC Electronics: circuits and components, Computer networking & communications, Open Access, Spezifikationssprachen, thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications, Circuits and Systems, Internet der Dinge, Echtzeitbetriebssysteme, Computer Engineering and Networks, Computer Systems Organization and Communication Networks, Cyber-Physical Systems, Scheduling, Betriebssystem, Applied computing, Eingebettete Systeme Buch, Cyber-Physikalische Systeme, Professional Computing, Electrical engineering, thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TH Energy technology and engineering::THR Electrical engineering, Embedded Systems, Hardware/Software-Codesign

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

Σύνδεσμος πρόσβασης: https://directory.doabooks.org/handle/20.500.12854/70776
https://library.oapen.org/bitstream/20.500.12657/49491/1/9783658334376.pdf
https://library.oapen.org/handle/20.500.12657/49491
https://library.oapen.org/handle/20.500.12657/49491
https://directory.doabooks.org/handle/20.500.12854/70776?show=full
https://directory.doabooks.org/handle/20.500.12854/70776
https://library.oapen.org/bitstream/20.500.12657/49491/1/9783658334376.pdf
https://link.springer.com/content/pdf/10.1007/978-3-658-33437-6.pdf
https://library.oapen.org/handle/20.500.12657/49491
https://www.springer.com/9783658339272

Cyber-Physical Systems: A Model-Based Approach

Συγγραφείς: Walid M. Taha, Abd-Elhamid M. Taha, Johan Thunberg

Πηγή: 2021_Book_Cyber-PhysicalSystemsAModel-Ba.pdf

Θεματικοί όροι: game theory, Textbook, IoT, model-based engineering, Redes de área local inalámbricas, Automatic control engineering, coordinate transformations, Cybernetics & systems theory, Cyber-physical systems, IoT, Control, Robotics, Mechatronics, Computer networking & communications, thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering::TJFM Automatic control engineering, Open Access, thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications, Arquitectura de redes de computadores, Embedded System, Control, Robotics, Automation, sensing and actuation, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation, modeling computational systems, Computer Engineering and Networks, Acumen, Computer Systems Organization and Communication Networks, Cyber-Physical Systems, Cyber-physical systems, Simulation and Modeling, Análisis de redes, hybrid systems, modeling physical systems, Electrical engineering, Computer Science, CPS, Computer modelling & simulation, thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TH Energy technology and engineering::THR Electrical engineering, Electronic devices & materials, control

Περιγραφή αρχείου: image/jpeg; application/pdf; 187 páginas

Σύνδεσμος πρόσβασης: https://directory.doabooks.org/handle/20.500.12854/39527
https://library.oapen.org/handle/20.500.12657/41754
https://library.oapen.org/bitstream/20.500.12657/41754/1/2021_Book_Cyber-PhysicalSystemsAModel-Ba.pdf
https://www.springer.com/9783030360719
https://library.oapen.org/handle/20.500.12657/41754

Cyber-Physical Systems: A Model-Based Approach

Συγγραφείς: Taha, Walid M., Taha, Abd-Elhamid M., Thunberg, Johan

Θεματικοί όροι: Computer Systems Organization and Communication Networks, Cyber-physical systems, IoT, Simulation and Modeling, Control, Robotics, Mechatronics, Computer Engineering and Networks, Cyber-Physical Systems, Computer Science, Control, Robotics, Automation, CPS, Embedded System, model-based engineering, hybrid systems, Acumen, coordinate transformations, modeling computational systems, modeling physical systems, control, sensing and actuation, game theory, Open Access, Computer networking & communications, Electrical engineering, Cybernetics & systems theory, Computer modelling & simulation, Automatic control engineering, Electronic devices & materials, Textbook, Computer networking and communications, Computer modelling and simulation

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

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

Tools and Algorithms for the Construction and Analysis of Systems ; 9783030720162.pdf

Συνεισφορές: 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

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

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; ONIX_20210420_9783030720162_16; OCN: 1244539366; https://www.springer.com/9783030720162

Διαθεσιμότητα: https://library.oapen.org/handle/20.500.12657/48220
https://hdl.handle.net/20.500.12657/48220
https://www.springer.com/9783030720162

Eingebettete Systeme ; 9783658334376.pdf

Συγγραφείς: Marwedel, Peter

Θεματικοί όροι: Computer Systems Organization and Communication Networks, Cyber-physical systems, IoT, Circuits and Systems, Professional Computing, Computer Engineering and Networks, Embedded Systems, Internet of Things, Eingebettete Systeme Buch, Betriebssystem, Echtzeitbetriebssysteme, Hardware/Software-Codesign, Scheduling, Spezifikationssprachen, Internet der Dinge, Cyber-Physikalische Systeme, Open Access, Computer networking & communications, Electrical engineering, Cybernetics & systems theory, Electronics: circuits & components, Applied computing

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

Relation: ONIX_20210614_9783658334376_3; OCN: 1262682677; https://www.springer.com/9783658339272

Διαθεσιμότητα: https://library.oapen.org/handle/20.500.12657/49491
https://hdl.handle.net/20.500.12657/49491
https://www.springer.com/9783658339272

Machine Learning for Cyber Physical Systems ; 2021_Book_MachineLearningForCyberPhysica.pdf

Συνεισφορές: Beyerer, Jürgen, Maier, Alexander, Niggemann, Oliver

Θεματικοί όροι: Cyber-physical systems, IoT, Communications Engineering, Networks, Computer Systems Organization and Communication Networks, Computer Engineering and Networks, Machine Learning, Artificial Intelligence, Cognitive Robotics, Internet of Things, Computational intelligence, Computer-based algorithms, Smart grid, Open Access, Industry 4.0, Electrical engineering, Cybernetics & systems theory, Communications engineering / telecommunications, Computer networking & communications, thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TH Energy technology and engineering::THR Electrical engineering, Industrial processes::TJ Electronics and communications engineering::TJK Communications engineering / telecommunications, thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications

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

Relation: Technologien für die intelligente Automation; ONIX_20210113_9783662627464_8; https://www.springer.com/9783662627464

Διαθεσιμότητα: https://library.oapen.org/handle/20.500.12657/46102
https://hdl.handle.net/20.500.12657/46102
https://www.springer.com/9783662627464

The Cloud-to-Thing Continuum

Συνεισφορές: Lynn, Theo, Mooney, John G., Lee, Brian, Endo, Patricia Takako

Θεματικοί όροι: Innovation/Technology Management, Big Data/Analytics, e-Commerce/e-business, Software Management, Computer Systems Organization and Communication Networks, Business and Management, IT in Business, e-Commerce and e-Business, Computer Engineering and Networks, open access, physical internet, internet of things, 4th industrial revolution, cloud computing, Cloud Architecture, Intelligent Networks, Research & development management, Industrial applications of scientific research & technological innovation, Business mathematics & systems, Business applications, E-commerce: business aspects, Computer networking & communications, thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJM Management and management techniques::KJMV Management of specific areas::KJMV6 Research and development management, Business and Management::KJ Business and Management::KJQ Business mathematics and systems, thema EDItEUR::U Computing and Information Technology::UF Business applications, thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications

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

Relation: Palgrave Studies in Digital Business & Enabling Technologies; ONIX_20200714_9783030411107_17; OCN: 1178999020; https://library.oapen.org/handle/20.500.12657/39982

Διαθεσιμότητα: https://library.oapen.org/handle/20.500.12657/39982
https://hdl.handle.net/20.500.12657/39982
https://directory.doabooks.org/handle/20.500.12854/37463
https://hdl.handle.net/20.500.12854/37463
https://library.oapen.org/bitstream/20.500.12657/39982/1/2020_Book_TheCloud-to-ThingContinuum.pdf