Search Results - (automatizace OR automation) programming—(automatizace OR automation) analysis of algorithms
-
1
Authors: Collao Lazo, Jorge Alejandro
Contributors: University/Department: Universitat Politècnica de Catalunya. Departament d'Enginyeria Civil i Ambiental
Thesis Advisors: Lozano Galant, José Antonio, Turmo Coderque, José
Source: TDX (Tesis Doctorals en Xarxa)
Subject Terms: BIM, Building information modeling, greenhouse emissions, carbon footprint, civil engineering, education, visual programming, Modelado de información de la Edificación, emisiones de gases de efecto invernadero, huella de carbono, ingeniería civil, educación, algoritmos de programación visual, Àrees temàtiques de la UPC::Enginyeria civil, Àrees temàtiques de la UPC::Desenvolupament humà i sostenible, Àrees temàtiques de la UPC::Edificació, 624 - Enginyeria civil i de la construcció en general, 502 - Natura. Estudi, conservació i protecció de la natura, 69 - Materials de construcció. Pràctiques i procediments de construcció
File Description: application/pdf
-
2
Authors: et al.
Source: International Educational Data Mining Society. 2023.
Peer Reviewed: Y
Page Count: 605
Descriptors: Information Retrieval, Data Analysis, Computer Assisted Testing, Cheating, Automation, Online Searching, Programming, Intelligent Tutoring Systems, Resources, Semantics, Computer Mediated Communication, Group Discussion, Performance, Prediction, Models, Algorithms, Scoring, Demography, Mathematics, Problem Solving, Vocabulary, Feedback (Response), MOOCs, Enrollment, Peer Influence, Writing (Composition), Cooperation, Reading Skills, Computer Software, Attention, Learning Strategies, Reaction Time, Educational Technology, Negative Attitudes, Knowledge Level, Online Courses, Health Sciences, Self Evaluation (Individuals), College Students, Student Behavior, Markov Processes, Reinforcement, Syntax, Error Patterns, Mathematics Tests, English Language Learners, Informal Education, Artificial Intelligence, Social Media, Revision (Written Composition), Turkish, Student Motivation, Grades (Scholastic), Persuasive Discourse, Peer Evaluation, Secondary Education, Test Items, Classroom Communication, Chinese, Reading Strategies, Puzzles, Learning Processes, Computer Simulation, Teamwork, Robotics, Metacognition, Cooperative Learning, Interaction, Critical Thinking, Psychological Testing, Logical Thinking, Encyclopedias, Collaborative Writing
-
3
Contributors: et al.
Subject Terms: architecture verification and validation, artificial intelligence, design and analysis of algorithms, computational complexity and cryptography, embedded systems, model checking, formal methods, formal logic, machine learning, formal languages and automata theory, models of computation, semantics and reasoning, software engineering, theory and algorithms for application domains, Software Engineering, Mathematical theory of computation, Expert systems / knowledge-based systems, Programming and scripting languages: general, Computer hardware, Natural language and machine translation
File Description: application/pdf
Relation: Lecture Notes in Computer Science
-
4
Contributors:
Subject Terms: program analysis, categorical models and logics, language theory, automata, and games, concurrency theory, modal, spatial, and temporal logics, logics of programming, software specification and refinement, emerging models of computation, models of software security, logical aspects of computational complexity, Mathematical theory of computation, Mathematical logic, Mathematical foundations, Algorithms and data structures, Information theory, Systems analysis and design, Maths for computer scientists
File Description: application/pdf
Relation: Lecture Notes in Computer Science
-
5
Authors:
Contributors:
Subject Terms: Research automation, Automation, AutoML, Research process, Automated data mining
File Description: application/pdf
Availability: http://hdl.handle.net/10362/149645
-
6
Contributors:
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
-
7
Contributors:
Subject Terms: Software Engineering/Programming and Operating Systems, 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, Software Engineering, Operating systems, Expert systems / knowledge-based systems, Systems analysis & design, Algorithms & data structures, Mathematical theory of computation, Maths for computer scientists, Systems analysis and design, Algorithms and data structures
File Description: application/pdf
Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
-
8
Contributors:
Subject Terms: program analysis, categorical models and logics, language theory, automata, and games, concurrency theory, modal, spatial, and temporal logics, logics of programming, software specification and refinement, emerging models of computation, models of software security, logical aspects of computational complexity, Mathematical theory of computation, Mathematical logic, Mathematical foundations, Algorithms and data structures, Information theory, Systems analysis and design, Maths for computer scientists
File Description: application/pdf
Relation: Lecture Notes in Computer Science
-
9
Authors: et al.
Source: IEEE Transactions on robotics. 39(1):57-75
Subject Terms: Deep Learning in Robotics and Automation, Latent Space Planning, Manipulation Planning, Visual Learning, Deep learning, Graphic methods, Job analysis, Planning, Robot programming, Action planning, Deep learning in robotic and automation, Heuristics algorithm, Roadmap, Space planning, Stackings, Task analysis, Heuristic algorithms
File Description: print
-
10
Authors:
Contributors:
Source: urn:tid:203704827
Subject Terms: Photogrammetry, Laser scanning, 3D Modeling, 2D Modeling, Visual Programming, RANSAC, Point Cloud, Semi-automation, Workflow, Topographic Support
File Description: application/pdf
Availability: http://hdl.handle.net/10400.22/26192
-
11
Contributors:
Subject Terms: 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, semantics of programming languages, program analysis, logics of programming, software specification and refinement, models of concurrent systems, emerging models of computation, logical aspects of computational complexity, correctness, transformation, and verification, models of software security, Computer science, Mathematical foundations, Algorithms and data structures, Systems analysis and design, Mathematical theory of computation
File Description: application/pdf
Relation: Lecture Notes in Computer Science
-
12
Authors:
Source: International Educational Data Mining Society. 2024.
Peer Reviewed: Y
Page Count: 11
Descriptors: Team Sports, Athletics, Training, Skill Development, Automation, Skills, Data Analysis, Athletes, Individual Characteristics, College Students, Foreign Countries
Geographic Terms: Germany
-
13
Authors:
Contributors:
Source: Multimodal transportation. 4
Subject Terms: Robotics and automation, Robotik och automation
-
14
Contributors:
Subject Terms: TACAS, formal verification, software systems, hardware systems, static analysis, probabilistic programming, program synthesis, concurrency, testing, simulations, verification of machine, Mathematical theory of computation, Computer hardware, Network hardware, Computer modelling and simulation, Software Engineering
File Description: application/pdf
Relation: Lecture Notes in Computer Science
-
15
Authors: Xu, Yiliang
Source: ProQuest LLC. 2011Ph.D. Dissertation, Texas A&M University.
Peer Reviewed: N
Page Count: 139
Descriptors: Resource Allocation, Mathematics, Animals, Robotics, Observation, Content Analysis, Video Technology, Computer Networks, Automation, Computer System Design, Programming, Telecommunications, Man Machine Systems, Human Factors Engineering, Operations Research, Program Effectiveness
Geographic Terms: Arkansas
-
16
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
-
17
Authors:
Source: Sustainability. 13(21):1-23
Subject Terms: genetic algorithm, supply chain, scheduling, sustainability, multi-criteria decision-making, mathematical model, TOPKOR, Produktion och automatiseringsteknik, Production and Automation Engineering
File Description: electronic
-
18
Authors:
Source: Educational Technology & Society. 2018 21(2):259-272.
Peer Reviewed: Y
Page Count: 14
Descriptors: Comparative Analysis, Online Courses, Feedback (Response), Foreign Countries, Programming, Introductory Courses, Models, Scores, Automation, Grading, Computer Science Education, Computer Uses in Education, Statistical Analysis
Geographic Terms: Switzerland
Access URL: https://www.j-ets.net/ETS/journals/21_2/22.pdf
-
19
Authors: et al.
Source: International Journal of Production Research. 59(2):598-616
Subject Terms: In-house logistics, supermarket location, parts feeding, transport vehicles, mixed-integer programming, genetic algorithm, Production and Automation Engineering, Produktion och automatiseringsteknik
File Description: print
-
20
Authors: Peabody, Michael R. (ORCID
0000-0002-0062-5444 )Source: Measurement: Interdisciplinary Research and Perspectives. 2023 21(1):55-61.
Peer Reviewed: Y
Page Count: 7
Full Text Finder 
Nájsť tento článok vo Web of Science