Search Results - ((automatizace OR automatizacia) OR automation) programming— program synthesis
-
1
Authors: et al.
Source: Proceedings of the ACM on Programming Languages. 9(PLDI)
Subject Terms: Information and Computing Sciences, Software Engineering, Code Generation, Language Model, Type System, Program Synthesis, Program Translation, Program Repair, Constrained Decoding, Software engineering, Theory of computation, Numerical and computational mathematics
File Description: application/pdf
-
2
Source: International Association for Development of the Information Society. 2012.
Peer Reviewed: N
Page Count: 308
Descriptors: Academic Achievement, Academic Persistence, Academic Support Services, Access to Computers, Access to Education, Access to Information, Accounting, Acoustics, Administration, Adolescents, Alignment (Education), Appropriate Technology, Art Teachers, Artificial Intelligence, At Risk Students, Attention, Autism, Automation, Barriers, Behavior Change, Biology, Books, Brain, Business Administration Education, Business, Calculus, Career Exploration, Career Readiness, Case Studies, Causal Models, Cerebral Palsy, Change Agents, Classification, Classroom Communication, Classroom Environment, Client Server Architecture, Cognitive Processes, Cognitive Science, Cognitive Structures, Cognitive Style, Collaborative Writing, College Faculty, College Freshmen, College Instruction, College Readiness, College Students, Color, Communication (Thought Transfer), Communication Skills, Communications, Communities of Practice, Community Development, Comparative Analysis, Competition, Computer Assisted Instruction, Computer Assisted Testing, Computer Games, Computer Interfaces, Computer Literacy, Computer Mediated Communication, Computer Networks, Computer Science Education, Computer Science, Computer Security, Computer Simulation, Computer Software, Computers, Concept Mapping, Constructivism (Learning), Content Analysis, Context Effect, Conventional Instruction, Cooperation, Cooperative Learning, Corporate Education, Correlation, Cost Effectiveness, Creativity, Criteria, Critical Thinking, Cues, Curriculum Design, Curriculum, Data Analysis, Data Collection, Data Processing, Data, Database Management Systems, Decision Making, Delivery Systems, Design, Development, Difficulty Level, Disabilities, Discovery Learning, Distance Education, Educational Research, Down Syndrome, Dropouts, Ecology, Editing, Educational Assessment, Educational Attainment, Educational Environment, Educational Finance, Educational Games, Educational Media, Educational Objectives, Educational Practices, Educational Psychology, Educational Quality, Educational Resources, Educational Technology, Electronic Learning, Electronic Publishing, Electronics, Elementary Education, Elementary Secondary Education, Emotional Response, Energy, Engineering, English (Second Language), Entrepreneurship, Environmental Education, Epistemology, Equipment, Evaluation Methods, Evaluative Thinking, Evidence, Exhibits, Expertise, Eye Movements, Faculty Development, Feedback (Response), Foreign Countries, Foreign Policy, Forestry, Formative Evaluation, General Education, Geographic Location, Global Approach, Goal Orientation, Graduate Students, Grammar, Grounded Theory, Group Dynamics, Group Experience, Group Membership, Handheld Devices, Heterogeneous Grouping, High School Students, High Schools, High Stakes Tests, Higher Education, Holistic Approach, Hypermedia, Identification, Imagination, Immigration, Indexing, Indigenous Populations, Influence of Technology, Informal Education, Information Dissemination, Information Literacy, Information Management, Information Retrieval, Information Science, Information Seeking, Information Skills, Information Storage, Information Technology, Inquiry, Instruction, Instructional Design, Instructional Effectiveness, Integrated Learning Systems, Interaction, Interdisciplinary Approach, Internet, Interpersonal Communication, Interpersonal Relationship, Interrater Reliability, Intervention, Introductory Courses, Italian, Item Banks, Kindergarten, Knowledge Level, Laboratories, Laboratory Equipment, Language Role, Learner Engagement, Learning Activities, Learning Experience, Learning Motivation, Learning Processes, Learning Theories, Learning, Lexicography, Lifelong Learning, Likert Scales, Literacy, Logical Thinking, Man Machine Systems, Mathematical Logic, Mathematical Models, Mathematics, Metacognition, Metadata, Middle School Students, Mixed Methods Research, Models, Motivation, Multimedia Materials, Museums, National Programs, Native Speakers, Natural Language Processing, Nonprint Media, Norwegian, Novices, Official Languages, Online Courses, Online Searching, Open Source Technology, Opportunities, Outcomes of Education, Ownership, Pattern Recognition, Peer Evaluation, Peer Relationship, Performance Based Assessment, Personal Autonomy, Personality Traits, Physical Environment, Pilot Projects, Planning, Play, Prediction, Predictor Variables, Preservice Teacher Education, Preservice Teachers, Prior Learning, Privacy, Probability, Problem Based Learning, Problem Solving, Production Techniques, Programming, Public Agencies, Public Policy, Questioning Techniques, Reading Improvement, Reference Materials, Reflection, Relevance (Education), Religious Education, Research Methodology, Role Playing, Scaffolding (Teaching Technique), Schemata (Cognition), Scholarship, School Policy, Science Activities, Science Process Skills, Scientific Methodology, Scores, Search Engines, Second Language Instruction, Second Language Learning, Secondary Education, Secondary School Science, Secondary School Students, Selection, Self Control, Self Evaluation (Individuals), Semantics, Semi Structured Interviews, Semitic Languages, Sharing Behavior, Simulated Environment, Social Behavior, Social Networks, Social Studies, Social Support Groups, Social Systems, Special Needs Students, Stakeholders, Standards, Story Telling, Strategic Planning, Student Attitudes, Student Behavior, Student Centered Curriculum, Student Characteristics, Student Empowerment, Student Evaluation, Student Improvement, Student Motivation, Student Surveys, Students, Study Habits, Summative Evaluation, Summer Schools, Sustainability, Synthesis, Systems Analysis, Taxonomy, Teacher Influence, Teacher Student Relationship, Teaching Methods, Teaching Skills, Teamwork, Technical Education, Technical Occupations, Technological Advancement, Technology Integration, Technology Uses in Education, Telecommunications, Test Reliability, Tests, Textbooks, Theory Practice Relationship, Thinking Skills, Time Management, Time, Tutoring, Tutors, Underachievement, Undergraduate Students, Users (Information), Video Technology, Virtual Classrooms, Visual Aids, Visual Environment, Visual Literacy, Visualization, Vocabulary Development, Water Quality, Web 2.0 Technologies, Web Sites, Weighted Scores, Workshops, World Views, Writing Improvement
Geographic Terms: Asia, Australia, Brazil, Connecticut, Denmark, Egypt, Estonia, Florida, Germany, Greece, Hawaii, Ireland, Israel, Italy, Japan, Kazakhstan, Netherlands, Norway, Ohio, Pakistan, Pennsylvania, Philippines, Portugal, Singapore, South Korea, Spain, Spain (Madrid), Turkey, United Kingdom, United Kingdom (England), United States
-
3
Authors: Contreras Ochando, Lidia
Thesis Advisors: Ferri Ramírez, César, Hernández Orallo, José, Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació, Ministerio de Economía y Competitividad, Ministerio de Educación, Cultura y Deporte, Agencia Estatal de Investigación
Subject Terms: Inteligencia artificial (IA), Sistemas de gestión del aprendizaje, Ciencia de datos, Programación declarativa, Lenguajes de programación declarativos, Automatización de datos, Programación inductiva, Inductive Programming, Data Wrangling Automation, Declarative Programming Languages, Dynamic Background Knowledge, Automating Data Science, Program Synthesis, Artificial intelligence, General-purpose learning systems, LENGUAJES Y SISTEMAS INFORMATICOS
Relation: info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/RTI2018-094403-B-C32/ES/RAZONAMIENTO FORMAL PARA TECNOLOGIAS FACILITADORAS Y EMERGENTES/; info:eu-repo/grantAgreement/MINECO//TIN2015-69175-C4-1-R/ES/SOLUCIONES EFECTIVAS BASADAS EN LA LOGICA/; info:eu-repo/grantAgreement/MECD//FPU15%2F03219/ES/FPU15%2F03219/
Availability: http://hdl.handle.net/10251/160724
-
4
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
-
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
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
-
7
-
8
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
-
9
Authors: Cardenas, Alfonso F.
Source: MIS Quarterly, 1977 Sep 01. 1(3), 49-72.
Access URL: https://www.jstor.org/stable/248712
-
10
Authors:
Source: IEEE Transactions on Software Engineering. Aug92, Vol. 18 Issue 8, p674-703. 30p. 2 Color Photographs.
Subject Terms: *SYSTEMS design, *PROGRAM transformation, *COMPUTER programming, *SOFTWARE engineering, *AUTOMATION, *ELECTRONIC data processing
-
11
Authors:
Source: Information; May2025, Vol. 16 Issue 5, p401, 28p
-
12
Authors: Crespo, Juan Manuel
Thesis Advisors: Barthe, Gilles
Subject Terms: Informática
Access URL: http://hdl.handle.net/10803/454197
-
13
Authors: Schmitt, Jonas
Subject Terms: Computational Engineering, Finance, and Science (cs.CE), FOS: Computer and information sciences, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, Formal Languages and Automata Theory (cs.FL), FOS: Mathematics, Computer Science - Neural and Evolutionary Computing, Computer Science - Formal Languages and Automata Theory, Mathematics - Numerical Analysis, Numerical Analysis (math.NA), Neural and Evolutionary Computing (cs.NE), Computer Science - Computational Engineering, Finance, and Science
Access URL: http://arxiv.org/abs/2312.14875
-
14
Authors: Marín Prades, Raúl
Contributors: University/Department: Universitat Jaume I. Departament d'Enginyeria i Ciència dels Computadors
Thesis Advisors: Sanz Valero, Pedro José, Sánchez Garreta, José Salvador, Pobil, Àngel Pasqual del
Source: TDX (Tesis Doctorals en Xarxa)
Subject Terms: Augmented Reality, Virtual Reality, Grasping Determination, Object Recognition, Telelaboratories, Human-Robot Interfaces, Network Robots, Internet, Online Robots, Arquitectura i Tecnologia de Computadors
Time: 621.3
File Description: application/pdf
-
15
Authors: Caulfield, Benjamin Vincent
Subject Terms: Computer science, Concept Learning, Exact Active Learning, Formal Synthesis, Program Synthesis
File Description: application/pdf
-
16
Authors: et al.
Source: EJNMMI Research. 3(1)
Subject Terms: 32 Biomedical and Clinical Sciences (for-2020), 3202 Clinical Sciences (for-2020), 3211 Oncology and Carcinogenesis (for-2020), Networking and Information Technology R&D (NITRD) (rcdc), Bioengineering (rcdc), Radiochemistry software, Synthesis automation, Positron emission tomography, Unit operations, 1101 Medical Biochemistry and Metabolomics (for), 1103 Clinical Sciences (for), 1112 Oncology and Carcinogenesis (for), 3202 Clinical sciences (for-2020), 3211 Oncology and carcinogenesis (for-2020)
File Description: application/pdf
-
17
Authors:
Source: Cureus Journal of Computer Science; Jul2025, Vol. 2 Issue 1, p1-27, 27p
-
18
Authors: Chi, Yuze
Subject Terms: Computer science, Customized Computing, Design Automation, FPGA Acceleration, Heterogeneous Systems, High-Level Synthesis, Memory-Bound Applications
File Description: application/pdf
-
19
Authors:
Resource Type: eBook.
Subjects: Computer science, Logic design, Software engineering, Computer logic, Artificial intelligence, Computer industry, Computer programs--Verification--Congresses
Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation
PDF Full Text ePub Full Text -
20
Contributors:
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
Nájsť tento článok vo Web of Science 
Full Text Finder