Search Results - "Computer programming / software engineering"

Mobile Gait Analysis: From Prototype towards Clinical Grade Wearable

Authors: Hannink, Julius

Subject Terms: Parkinsonismus, Bewegungsstörung, Maschinelles Lernen, Beschleunigungssensor, Ganganalyse, Machine learning, Computer programming / software engineering

File Description: application/pdf

Relation: FAU Studien aus der Informatik

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

Automatic Code Generation for Massively Parallel Applications in Computational Fluid Dynamics

Authors: Kuckuk, Sebastian

Subject Terms: Hochleistungsrechnen, Domänenspezifische Programmiersprache, Codegenerierung, Partielle Differentialgleichung, Numerische Strömungssimulation, Mehrgitterverfahren, Computer programming / software engineering, Human–computer interaction

File Description: application/pdf

Relation: FAU Studien aus der Informatik

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

Simulation of the laser melting process of titanium using Smoothed Particle Hydrodynamics

Authors: Blank, Michael

Subject Terms: Smoothed Particle Hydrodynamics, Ray tracing, Rapid Prototyping, Titan, Benetzung, Selektives Laserschmelzen, Computersimulation, Oberflächenspannung, Mechanical engineering, Engineering: general, Other technologies and applied sciences, Computer programming / software engineering

File Description: application/pdf

Relation: FAU Forschungen : Reihe B

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

Today's TBB

Authors: Voss, Michael J. Reinders, James R.

Subject Terms: Multicore, concurrency, parallel, parallel programming, thread, heterogeneous programming, algorithms, library, STL, Compilers and interpreters, Computer programming / software engineering, Algorithms and data structures, Databases

File Description: application/pdf

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

Agent-Based Evolutionary Game Dynamics: a guide to implement and analyze Agent-Based Models within the framework of Evolutionary Game Theory

Authors: Izquierdo Millán, Luis Rodrigo Izquierdo, Segismundo S. Sandholm, William H.

Source: Repositorio Institucional de la Universidad de Burgos (RIUBU)
Universitat Oberta de Catalunya (UOC)

Subject Terms: Probability and statistics, Mathematical statistics, Mathematical modelling, Estadística matemática, Game Theory, Evolution, Computer modelling and simulation, Computer programming / software engineering, Stochastics, Object-oriented programming (OOP), Teoría de juegos

File Description: application/pdf

Access URL: http://hdl.handle.net/10259/9649

Engineering Agile Big-Data Systems

Authors: Feeney, Kevin Davies, Jim Welch, James

Subject Terms: thema EDItEUR::U Computing and Information Technology::UN Databases::UNF Data mining, Computer programming / software engineering, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering, Data mining

File Description: image/jpeg; application/pdf

Access URL: https://library.oapen.org/bitstream/20.500.12657/59749/1/9781000795868.pdf
https://library.oapen.org/handle/20.500.12657/59749
https://directory.doabooks.org/handle/20.500.12854/94314
https://library.oapen.org/handle/20.500.12657/59749

Open Mapping towards Sustainable Development Goals

Contributors: Solís, Patricia Zeballos, Marcela

Subject Terms: YouthMappers, Sustainable development goals, Open street map, Open spatial data, Community engagement, Youth empowerment, Geography, Literature: history and criticism, Computer programming / software engineering, Sustainability

File Description: application/pdf

Relation: Sustainable Development Goals Series

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

Behavioural Types

Contributors: Gay, Simon Ravara, António

Subject Terms: Computer programming / software engineering, Energy

File Description: application/pdf

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

Towards a Common Software/Hardware Methodology for Future Advanced Driver Assistance Systems

Contributors: Payá-Vayá, Guillermo Blume, Holger

Subject Terms: Computer programming / software engineering, Energy, Transport technology and trades

File Description: application/pdf

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

Computer-Driven Instructional Design with INTUITEL

Contributors: Fuchs, Kevin Henning, Peter A.

Subject Terms: Computer programming / software engineering, Energy

File Description: application/pdf

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

Automated Reasoning

Contributors: Blanchette, Jasmin Kovács, Laura Pattinson, Dirk

Subject Terms: artificial intelligence, automata theory, computer hardware, computer networks, computer programming, computer systems, embedded systems, formal languages, formal logic, logic programming, network protocols, semantics, software architecture, software design, software engineering, theoretical computer science, Mathematical theory of computation, Software Engineering, Computer networking and communications, Artificial intelligence, Computer programming / software engineering

File Description: application/pdf

Relation: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence

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

Programming Languages and Systems

Contributors: Sergey, Ilya

Subject Terms: automata theory, computer programming, computer systems, databases, distributed computer systems, distributed systems, embedded systems, formal languages, formal logic, linguistics, ontologies, parallel processing systems, program compilers, programming languages, semantics, software design, software engineering, software quality, verification, Programming and scripting languages: general, Computer science, Algorithms and data structures, Network hardware, Computer programming / software engineering

File Description: application/pdf

Relation: Lecture Notes in Computer Science

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

Essentials of computing systems

Authors: João M. Fernandes Universidade do Minho

Contributors: João M. Fernandes Universidade do Minho

Subject Terms: programmers, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering, Informação, Sistemas de computação, Programação, computing systems

File Description: image/png; application/pdf

Access URL: https://hdl.handle.net/1822/79071
https://hdl.handle.net/1822/79059

Computer Aided Verification

Contributors: Silva, Alexandra Leino, K. Rustan M.

Subject Terms: architecture verification, artificial intelligence, computer programming, distributed computer systems, distributed systems, embedded systems, formal logic, formal methods, formal verifications, model checker, model checking, signal processing, software architecture, software design, software engineering, software quality, Software Engineering, Mathematical theory of computation, Artificial intelligence, Computer programming / software engineering, Computer modelling and simulation

File Description: application/pdf

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

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

The Once-Only Principle

Contributors: Krimmer, Robert Prentza, Andriana Mamrot, Szymon

Subject Terms: Computer Applications, Special Purpose and Application-Based Systems, Programming Techniques, Software Engineering/Programming and Operating Systems, Computer Application in Administrative Data Processing, Computer and Information Systems Applications, Software Engineering, access control, communication systems, computer systems, cryptography, databases, Field Programmable Gate Array (FPGA), gateways (computer networks), information systems, internet protocols, network protocols, object-oriented design, object-oriented programming, object-oriented programming languages, signal processing, social networks, software architecture, software design, system architectures, Information technology: general issues, Expert systems / knowledge-based systems, Computer programming / software engineering, Operating systems, Information technology: general topics

File Description: application/pdf

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

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

Automated Deduction – CADE 28

Contributors: Platzer, André Sutcliffe, Geoff

Subject Terms: Artificial Intelligence, Mathematical Logic and Formal Languages, Logics and Meanings of Programs, Software Engineering, Formal Languages and Automata Theory, Computer Science Logic and Foundations of Programming, automata theory, boolean functions, computer programming, first order logic, formal languages, formal logic, logic programming, model checking, program verification, semantics, software architecture, software design, software quality, software verification, theorem provers, theorem proving, Mathematical theory of computation, Computer programming / software engineering, Computer architecture & logic design, Artificial intelligence

File Description: application/pdf

Relation: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence

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

Foundations of Software Science and Computation Structures

Contributors: Kiefer, Stefan Tasson, Christine

Subject Terms: Mathematical Logic and Formal Languages, Theory of Computation, Natural Language Processing (NLP), Database Management, Programming Techniques, Formal Languages and Automata Theory, automata theory, databases, formal languages, formal logic, computational linguistics, open access, semantics, categorical models and logics, language theory, automata, and games, modal, spatial, and temporal logics, type theory and proof theory, concurrency theory and process calculi, rewriting theory, logical foundations of data bases, models of software security, logical aspects of computation complexity, logics of programming, Mathematical theory of computation, Computer science, Natural language & machine translation, Database programming, Computer programming / software engineering, Artificial intelligence, Databases

File Description: application/pdf

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

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

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: application/pdf

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

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

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: application/pdf

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

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

Programming Languages and Systems

Contributors: Yoshida, Nobuko

Subject Terms: 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

File Description: application/pdf

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

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