Search Results - automation programming— 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:
Source: Carpathian Journal of Mathematics, 2004 Jan 01. 20(2), 197-203.
Access URL: https://www.jstor.org/stable/43996748
-
3
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
-
4
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
-
5
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
-
6
Authors:
Contributors:
Subject Terms: Research automation, Automation, AutoML, Research process, Automated data mining
File Description: application/pdf
Availability: http://hdl.handle.net/10362/149645
-
7
Authors:
Resource Type: eBook.
Subjects: Electronics, Automation, Computer algorithms, Microelectronics, Robotics, Algorithms, Engineering, Computer science--Mathematics, Artificial intelligence
Categories: TECHNOLOGY & ENGINEERING / Electrical, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Algorithms, TECHNOLOGY & ENGINEERING / Electronics / General, MATHEMATICS / Numerical Analysis
PDF Full Text ePub Full Text -
8
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
-
9
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
-
10
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
-
11
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
-
12
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
-
13
Authors: et al.
Source: Methods in molecular biology (Clifton, N.J.) [Methods Mol Biol] 2024; Vol. 2760, pp. 393-412.
Publication Type: Journal Article
Journal Info: Publisher: Humana Press Country of Publication: United States NLM ID: 9214969 Publication Model: Print Cited Medium: Internet ISSN: 1940-6029 (Electronic) Linking ISSN: 10643745 NLM ISO Abbreviation: Methods Mol Biol Subsets: MEDLINE
MeSH Terms: Software* , Programming Languages*, Gene Regulatory Networks ; Algorithms ; Synthetic Biology/methods ; Automation
-
14
Authors: et al.
Source: IEEE/ACM Transactions on Computational Biology and Bioinformatics. 9:1737-1750
Subject Terms: FOS: Computer and information sciences, 0301 basic medicine, Formal Languages and Automata Theory (cs.FL), Medizin, Computer Science - Formal Languages and Automata Theory, 62P10, 68W32, 68W40, 68Q87, 92B05, 92C40, pattern, programming, Quantitative Biology - Quantitative Methods, Models, Biological, Peptide Mapping, Sensitivity and Specificity, text model, Pattern Recognition, Automated, 03 medical and health sciences, DNA sequencing, hidden Markov model, Quantitative Methods (q-bio.QM), Probabilistic automaton, dynamic, 0303 health sciences, Models, Statistical, matching, Computational Biology, Sequence Analysis, DNA, string algorithm, Markov Chains, analysis of algorithms, clump, alignment seed, statistics, FOS: Biological sciences, peptide mass fingerprinting, Algorithms
Access URL: http://arxiv.org/pdf/1011.5778
https://pubmed.ncbi.nlm.nih.gov/22868683
http://arxiv.org/abs/1011.5778
https://www.ncbi.nlm.nih.gov/pubmed/22868683
https://dblp.uni-trier.de/db/journals/tcbb/tcbb9.html#MarschallHKR12
https://dissem.in/p/22661760/probabilistic-arithmetic-automata -and-their-applications/
https://arxiv.org/abs/1011.5778
https://www.computer.org/csdl/trans/tb/2012/06/ttb2012061737.html
https://doi.org/10.1109/TCBB.2012.109 -
15
Authors: Bosch M; Scientific and Technological Centers (CCiTUB), Universitat de Barcelona, Barcelona, Spain. mbosch@ccit.ub.edu.
Source: Methods in molecular biology (Clifton, N.J.) [Methods Mol Biol] 2019; Vol. 2040, pp. 51-70.
Publication Type: Journal Article
Journal Info: Publisher: Humana Press Country of Publication: United States NLM ID: 9214969 Publication Model: Print Cited Medium: Internet ISSN: 1940-6029 (Electronic) Linking ISSN: 10643745 NLM ISO Abbreviation: Methods Mol Biol Subsets: MEDLINE
-
16
Authors: et al.
Contributors: et al.
Source: ICALP 2017 - 44th International Colloquium on Automata, Languages and Programming ; https://hal.science/hal-01494246 ; ICALP 2017 - 44th International Colloquium on Automata, Languages and Programming, Jul 2017, Warsaw, Poland. pp.1-14, ⟨10.4230/LIPIcs.ICALP.2017.99⟩ ; https://drops.dagstuhl.de/opus/portals/lipics/index.php?semnr=16038
Subject Terms: Horn formulas, linear time, picture languages, local induction, descriptive complexity, logic programming, cellular automata of any dimension, second-order logic, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]
-
17
Authors:
Source: Research synthesis methods [Res Synth Methods] 2016 Mar; Vol. 7 (1), pp. 94-107.
Publication Type: Journal Article; Research Support, Non-U.S. Gov't
Journal Info: Publisher: Cambridge University Press Country of Publication: England NLM ID: 101543738 Publication Model: Print Cited Medium: Internet ISSN: 1759-2887 (Electronic) Linking ISSN: 17592879 NLM ISO Abbreviation: Res Synth Methods Subsets: MEDLINE
MeSH Terms: Algorithms* , Automation* , Network Meta-Analysis as Topic*, Humans ; Antidepressive Agents/therapeutic use ; Computer Graphics ; Decision Making ; Diabetes Mellitus/physiopathology ; Electronic Data Processing ; Models, Statistical ; Models, Theoretical ; Programming Languages ; Smoking Cessation/methods ; Software ; Systematic Reviews as Topic
-
18
Authors: et al.
Source: The New phytologist [New Phytol] 2024 Jul; Vol. 243 (2), pp. 797-810. Date of Electronic Publication: 2024 May 28.
Publication Type: Journal Article
Journal Info: Publisher: Wiley on behalf of New Phytologist Trust Country of Publication: England NLM ID: 9882884 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1469-8137 (Electronic) Linking ISSN: 0028646X NLM ISO Abbreviation: New Phytol Subsets: MEDLINE
MeSH Terms: Pollen* , Algorithms*, Automation ; Environment ; Image Processing, Computer-Assisted/methods
-
19
Authors:
Source: SIAM Journal on Computing. 28:1641-1663
Subject Terms: Analysis of algorithms and problem complexity, Computer Science & Automation (Formerly, Computer Science & Automation (Formerly, School of Automation), 0211 other engineering and technologies, School of Automation), 0102 computer and information sciences, 02 engineering and technology, NP-hard, semidefinite programming, derandomization, 01 natural sciences, approximation algorithm
File Description: application/xml; application/pdf
-
20
Authors: et al.
Resource Type: eBook.
Subjects: Software engineering, Computer programming, Computer science, Computer science—Mathematics, Discrete mathematics, Numerical analysis, Artificial intelligence—Data processing
Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Database Administration & Management, COMPUTERS / Programming / General, MATHEMATICS / Discrete Mathematics, MATHEMATICS / Numerical Analysis
Nájsť tento článok vo Web of Science 
Full Text Finder