A Rubric for Microcredential Evaluation: Strengthening Quality Assurance

Συγγραφείς: Collin Sullivan

Πηγή: Innovative Higher Education. 50:2067-2091

Θεματικοί όροι: Performance Assessment, Governance, Sociology of Education, Sociology of Profession, Microcredentials, Educational Research, Control Structures and Microprogramming, Higher Education, Digital badges, Quality assurance, Taxonomy, Evaluation rubric

In Silico Prediction of New Mutations That Can Improve the Binding Abilities Between 2019-nCoV Coronavirus and Human ACE2

Συγγραφείς: Fang, S., Zheng, R., Lei, C., Wang, J., Zhou, R., Li, M.

Πηγή: IEEE/ACM Transactions on Computational Biology and Bioinformatics IEEE/ACM Trans. Comput. Biol. and Bioinf. Computational Biology and Bioinformatics, IEEE/ACM Transactions on. 19(3):1694-1702 Jun, 2022

A Collection of Benchmarks for Control Engineers

Συγγραφείς: Maestre Torreblanca, José María, Ocampo-Martínez, Carlos

Πηγή: Advances in Industrial Control ISBN: 9783031763113

Θεματικοί όροι: Automation, Control, Àrees temàtiques de la UPC::Informàtica::Automàtica i control, Systems theory, Robotic engineering, Robotics, Control and systems theory, Industrial automation, Control performance assessment in industrial automation, Control structures and microprogramming

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

Σύνδεσμος πρόσβασης: https://hdl.handle.net/2117/460709
https://doi.org/10.1007/978-3-031-76312-0_1

A Novel Transition Strategy of Hybrid Direct Torque Control

Συγγραφείς: Chen, C., Xiang, C., Cheng, S., Zhi, L., Li, K., Chen, Y., Li, X.

Πηγή: Computing in Science & Engineering Comput. Sci. Eng. Computing in Science & Engineering. 22(1):53-63 Jan, 2020

Dual decode architecture for dynamic branch prediction

Συγγραφείς: Bharadwaj, Vishnu P., Kohalli, Manjunath

Πηγή: 2017 2nd International Conference for Convergence in Technology (I2CT) Convergence in Technology (I2CT), 2017 2nd International Conference for. :1140-1143 Apr, 2017

Relation: 2017 2nd International Conference for Convergence in Technology (I2CT)

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

Exploring the Interaction Between Device Lifetime Reliability and Security Vulnerabilities

Συγγραφείς: Ho, Chen-Han, Staus, Garret, Ullmer, Aaron, Sakaralingam, Karu

Πηγή: IEEE Computer Architecture Letters IEEE Comput. Arch. Lett. Computer Architecture Letters. 10(2):37-40 Dec, 2011

A Fine-Grained Semantics for Arrays and Pointers Under Weak Memory Models

Συγγραφείς: Colvin, Robert J.

Συνεισφορές: Marsha Chechik, Joost-Pieter Katoen, Martin Leucker

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

Θεματικοί όροι: 4613 Theory of computation, Software engineering, 4602 Artificial intelligence, Software Engineering, 4612 Software engineering, Programming Language, Programming languages (Electronic computers), Control Structures and Microprogramming, Natural Language Processing (NLP), Computer science, Special Purpose and Application-Based Systems, 46 Information and Computing Sciences, Natural language processing (Computer science), Computers, Special purpose, Computer Science Logic and Foundations of Programming, Microprogramming

Σύνδεσμος πρόσβασης: https://api.library.uq.edu.au/view/UQ:4424681
https://espace.library.uq.edu.au/view/UQ:4424681

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

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

Judging the Effectiveness of a Passive Haptic Device in Teleoperation Based on the Average Angular Error in Force Generation

Συγγραφείς: Black, Benjamin A., Book, Wayne J.

Πηγή: 2008 Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems Haptic interfaces for virtual environment and teleoperator systems, 2008. haptics 2008. symposium on. :253-257 Mar, 2008

Relation: 2008 Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems

Reliability: Fallacy or Reality?

Συγγραφείς: Gonzalez, Antonio, Mahlke, Scott, Mukherjee, Shubu, Sendag, Resit, Chiou, Derek, Yi, Joshua J.

Πηγή: IEEE Micro Micro, IEEE. 27(6):36-45 Jan, 2007

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 II

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

Θεματικοί όροι: SAT and SMT solving, Algorithms & data structures, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering, Theory of Computation, model-checking, static and dynamic program analysis, Control Structures and Microprogramming, Computer networking & communications, theorem-proving, thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications, computer systems, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering, 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, parallel processing systems, verification and validation, Software Engineering, automata theory, Computer science, distributed computer systems, model checking, embedded systems, formal logic, Mathematical theory of computation

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

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

Supercomputing Frontiers : 6th Asian Conference, SCFA 2020, Singapore, February 24–27, 2020, Proceedings

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

Θεματικοί όροι: Computer Systems Organization and Communication Networks, Image Processing and Computer Vision, Control Structures and Microprogramming, Input, Arquitectura de software, Desarrollo de software, Ingeniería de software

Περιγραφή αρχείου: 139 páginas; application/pdf; application/octet-stream

Relation: https://directory.doabooks.org/handle/20.500.12854/38238; http://hdl.handle.net/20.500.12010/18149

Διαθεσιμότητα: https://hdl.handle.net/20.500.12010/18149
https://directory.doabooks.org/handle/20.500.12854/38238
https://hdl.handle.net/20.500.12854/38238
https://doi.org/10.1007/978-3-030-48842-0

Fundamental Approaches to Software Engineering : 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

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

Θεματικοί όροι: Software Engineering, Special Purpose and Application-Based Systems, Control Structures and Microprogramming, Ingeniería de software, Arquitectura de software, Reingeniería de software

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

Relation: https://directory.doabooks.org/handle/20.500.12854/28633; http://hdl.handle.net/20.500.12010/17511

Διαθεσιμότητα: https://hdl.handle.net/20.500.12010/17511
https://directory.doabooks.org/handle/20.500.12854/28633
https://hdl.handle.net/20.500.12854/28633
https://doi.org/10.1007/978-3-030-45234-6

Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I

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

Πηγή: 2020_Book_ToolsAndAlgorithmsForTheConstr.pdf

Θεματικοί όροι: SAT and SMT solving, Algorithms & data structures, system construction and transformation techniques, Expert systems / knowledge-based systems, architecting, Theory of Computation, static and dynamic program analysis, Control Structures and Microprogramming, software and hardware verification, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design, theorem proving, Computer System Implementation, tool environments and tool architectures, thema EDItEUR::U Computing and Information Technology::UY Computer science, open access, software architecture, mathematics, linguistics, Maths for computer scientists, specification and verification techniques, Special Purpose and Application-Based Systems, software design, automata theory, Computer science, model checking, testing, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation, Systems analysis & design, embedded systems, Mathematics of Computing, abstraction techniques for modeling and verification, Mathematical theory of computation, compositional and refinement-based methodologies, software engineering

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

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

Programming Languages and Systems: 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

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

Πηγή: 2020_Book_ProgrammingLanguagesAndSystems.pdf

Θεματικοί όροι: Algorithms & data structures, Programming & scripting languages: general, Programming Languages, Compilers, Interpreters, Theory of Computation, Control Structures and Microprogramming, Natural Language Processing (NLP), Computer networking & communications, thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications, Natural language & machine translation, semantics, thema EDItEUR::U Computing and Information Technology::UY Computer science, software architecture, Computer Systems Organization and Communication Networks, mathematics, parallel processing systems, verification and validation, linguistics, object-oriented programming, program compilers, artificial intelligence, software quality, formal languages, software design, Computer science, distributed computer systems, model checking, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures, computer programming, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQL Natural language and machine translation, Information Systems and Communication Service, embedded systems, formal logic, computer networks, Mathematical theory of computation, Compilers & interpreters, computer security, software engineering, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general

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

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

Modeling of Photovoltaic Panel by using Proteus

Συγγραφείς: motahhir, saad, Chalh, Abdelilah, Ghzizal, Abdelaziz, Sebti, Souad, Derouich, Aziz

Συνεισφορές: Laboratoire de Productique, des Energies et du Développement Durable Fès, Université Sidi Mohamed Ben Abdellah (USMBA)

Πηγή: ISSN: 1791-2377 ; Journal of Engineering Science and Technology Review ; https://hal.archives-ouvertes.fr/hal-01538692 ; Journal of Engineering Science and Technology Review, Eastern Macedonia and Thrace Institute of Technology, 2017, 10, pp.8 - 13. ⟨10.25103/jestr.102.02⟩.

Θεματικοί όροι: Solar Energy Measurement, Proteus, PV panel, Arduino UNO, Spice, ACM: B.: Hardware/B.1: CONTROL STRUCTURES AND MICROPROGRAMMING, [SPI.NRJ]Engineering Sciences [physics]/Electric power, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR]

Relation: hal-01538692; https://hal.archives-ouvertes.fr/hal-01538692; https://hal.archives-ouvertes.fr/hal-01538692/document; https://hal.archives-ouvertes.fr/hal-01538692/file/paper_with_data.pdf

Διαθεσιμότητα: https://hal.archives-ouvertes.fr/hal-01538692
https://hal.archives-ouvertes.fr/hal-01538692/document
https://hal.archives-ouvertes.fr/hal-01538692/file/paper_with_data.pdf
https://doi.org/10.25103/jestr.102.02