Výsledky vyhledávání - set theoretically oriented programming language

Programming Languages and Systems : 34th European Symposium on Programming, ESOP 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I

Autoři: Viktor Vafeiadis

Resource Type: eBook.

Témata: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

On Type Systems for Object-Oriented Database Programming Languages.

Autoři: Leontiev, Yuri Özsu, M. Tamer Szafron, Duane

Zdroj: ACM Computing Surveys. Dec2002, Vol. 34 Issue 4, p409-449. 41p. 4 Charts.

Témata: *OBJECT-oriented databases, *DATABASES, *PROGRAMMING languages, *COMPUTER programming, *OBJECT-oriented methods (Computer science)

pyMKM: An Open-Source Python Package for Microdosimetric Kinetic Model Calculation in Research and Clinical Applications.

Autoři: Magro, Giuseppe Pavanello, Vittoria Jia, Yihan a další

Zdroj: Computation; Nov2025, Vol. 13 Issue 11, p264, 21p

Témata: MICRODOSIMETRY, RADIATION dosimetry, COMPUTER simulation, PYTHON programming language, OPEN source software, PHYSIOLOGICAL effects of radiation

Automatic Data Structure Choice in a Language of Very High Level.

Autoři: Schwartz, J. T.

Zdroj: Communications of the ACM; Dec1975, Vol. 18 Issue 12, p722-728, 7p

Témata: DATA structures, MATHEMATICAL mappings, ELECTRONIC data processing, PROGRAMMING languages, COMPUTER programming, COMPUTATIONAL linguistics, INFORMATION theory, COMPUTER software, MATHEMATICAL functions, SEMANTICS

Experience with the SETL Optimizer: Experience with the SETL optimizer

Autoři: Micha Sharir Jacob T. Schwartz Stefan M. Freudenberger

Zdroj: ACM Transactions on Programming Languages and Systems. 5:26-45

Témata: data- structure, program transformation, Specification and verification (program logics, model checking, etc.), automatic analysis of algorithms, copy optimization, 0202 electrical engineering, electronic engineering, information engineering, General topics in the theory of software, set theoretically oriented programming language, 02 engineering and technology, automatic selection of data representations, program modification, interprocedural program analysis methods

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/3786110
https://doi.org/10.1145/357195.357197
https://www.cs.tufts.edu/comp/150CMP/papers/freudenberger83setl.pdf
https://dblp.uni-trier.de/db/journals/toplas/toplas5.html#FreudenbergerSS83
https://core.ac.uk/display/24462019
https://dl.acm.org/doi/10.1145/357195.357197

New Methods for Predicting Strain Demand of Arctic Gas Pipelines across Permafrost under Frost Heave Displacement.

Autoři: Li, Xinze Wu, Qingbai Jin, Huijun

Zdroj: Geofluids; 3/25/2022, p1-16, 16p, 4 Diagrams, 1 Chart, 15 Graphs

Témata: FROST heaving, PIPELINES, NATURAL gas pipelines, TUNDRAS, OBJECT-oriented programming languages, PERMAFROST, FINITE element method, STEEL pipe

Geografický termín: CAEN (France), FRANCE

Object-Oriented Programming Languages and Event-Driven Programming

Autoři: Yeager, Dorian P.

Resource Type: eBook.

Témata: Object-oriented programming (Computer science)

Categories: COMPUTERS / Programming / Object Oriented, COMPUTERS / General, COMPUTERS / Programming / General

A Cluster-randomized Control Trial of PAX Good Behavior Game in Swedish Elementary Schools

Autoři: Stockholm University Karolinska Institutet Uppsala University a další

Přispěvatelé: Stockholm University Karolinska Institutet Uppsala University a další

Zdroj: PAX Good Behavior Game - A Cluster-randomized Controlled Evaluation and Qualitative Analysis of Effects on Work Environment, Learning, Mental Health and Health Economic Aspects of Implementing a Classroom-based Intervention

The Use of IoT for Determination of Time and Frequency Vibration Characteristics of Industrial Equipment for Condition-Based Maintenance.

Autoři: Turkin, Ihor Leznovskyi, Viacheslav Zelenkov, Andrii a další

Zdroj: Computation; Sep2023, Vol. 11 Issue 9, p177, 16p

Témata: CONDITION-based maintenance, FREQUENCIES of oscillating systems, INDUSTRIAL equipment, DATA transmission systems, MACHINE learning, PYTHON programming language

Use It or Lose It: Facilitating the Use of Interactive Data Apps in Psychological Research Data Sharing.

Autoři: Usée, Franziska Melzig, Christiane A. Ostwald, Dirk

Zdroj: Europe's Journal of Psychology; Aug2024, Vol. 20 Issue 3, p202-219, 18p

Témata: NATURAL language processing, OPEN scholarship, CLINICAL psychology, PSYCHOLOGICAL research, PYTHON programming language

Comparison of Required Competences and Task Material in Modeling Education.

Autoři: Soyka, Chantal Ullrich, Meike Striewe, Michael a další

Zdroj: Scientific Papers: Animal Science & Biotechnologies / Lucrari Stiintifice: Zootehnie si Biotehnologii. 2024, Vol. 57 Issue 1, p1-36. 36p.

Témata: Assessment of education, Computer science education, Landscape assessment, Master's degree, Computer simulation, Educational outcomes

Browsing Multiple Subjects When the Atlas Adaptation Cannot Be Achieved via a Warping Strategy.

Autoři: Rivière, Denis Leprince, Yann Labra, Nicole a další

Zdroj: Frontiers in Neuroinformatics; 3/3/2022, Vol. 16, p1-16, 16p

Témata: BRAIN mapping, PYTHON programming language, COORDINATE transformations, BRAIN anatomy, ANATOMISTS, MACHINE learning

A framework for distributing object-oriented designs.

Autoři: Karim El #Guemhioui

Zdroj: International Journal on Software Tools for Technology Transfer; May2003, Vol. 4 Issue 3, p381-396, 016p

Témata: COMPUTER programming, OBJECT-oriented databases, OBJECT-oriented programming, PROGRAMMING languages, CREATIVE ability, COMPUTER programmers

Object-oriented Programming with Smalltalk

Autoři: Harald Wertz

Resource Type: eBook.

Témata: Object-oriented programming (Computer science), Smalltalk (Computer program language)

Categories: COMPUTERS / Programming / General, COMPUTERS / Languages / General

Proceedings of the Seventh International Conference on Educational Data Mining (EDM) (7th, London, United Kingdom, July 4-7, 2014)

Autoři: International Educational Data Mining Society Stamper, John Pardos, Zachary a další

Zdroj: International Educational Data Mining Society. 2014.

Peer Reviewed: N

Page Count: 485

Descriptors: Information Retrieval, Data Processing, Data Analysis, Data Collection, Educational Research, Online Courses, Prior Learning, Teaching Methods, Causal Models, Behavior, Algebra, Video Games, Scores, Grade 6, Mathematics Achievement, Standards, Evaluation Methods, Prediction, Gender Differences, Foreign Countries, Knowledge Level, Electronic Learning, Problem Solving, Item Response Theory, Programming, Individual Differences, Generalization, Models, Educational Games, Video Technology, Group Discussion, Computer Mediated Communication, Large Group Instruction, Verbal Ability, Eye Movements, Affective Behavior, Sequential Approach, Maps, Visualization, Simulation, Intelligent Tutoring Systems, Natural Language Processing, Textbooks, Risk, Learner Engagement, Mathematics, Computer Assisted Testing, Student Evaluation, Learning Theories, Classroom Communication, Scientific Concepts, Error Patterns, Learning Processes, Logical Thinking, Questioning Techniques, STEM Education, Majors (Students), Nonmajors, College Attendance, Middle Schools, Computer Software, Mathematics Education, Matrices, Individualized Instruction, Case Studies, Science Instruction, Freehand Drawing, Topology, Computer Security, Feedback (Response), Mathematics Instruction, Grammar, Writing Evaluation, Writing Instruction, Writing Skills, Interaction, Nonverbal Communication, Lecture Method, Grading, Self Evaluation (Individuals), Student Behavior, Academic Persistence, Dropouts, Reading Comprehension, Statistical Analysis, Blended Learning, Comparative Analysis, Cost Effectiveness, Undergraduate Study, Course Evaluation, Cognitive Processes, Planning, Correlation, Learning Experience, Diagnostic Tests, Computer Peripherals, Asynchronous Communication, Standardized Tests, Coding, Student Characteristics, Classification, Educational Environment, Tests, Developmental Studies Programs, Remedial Mathematics, Hypothesis Testing, Essays, Visual Aids, Research Methodology, Educational Objectives, Cooperative Learning, Student Reaction, Group Dynamics, Peer Evaluation, Peer Influence, Student Attrition, Academic Achievement, Factor Analysis, Electronic Publishing, Measurement Techniques, Homework, Learning Modalities, Experiential Learning, Self Esteem, Emotional Response, Student Motivation, Incentives, Graphs, Integrated Learning Systems

Geografický termín: Finland, France

Assessment and Survey Identifiers: Program for International Student Assessment

A BDI agent programming language with failure handling, declarative goals, and planning.

Autoři: Sardina, Sebastian Padgham, Lin

Zdroj: Autonomous Agents & Multi-Agent Systems; Jul2011, Vol. 23 Issue 1, p18-70, 53p

An Introduction to Quantitative Text Analysis for Linguistics : Reproducible Research Using R

Autoři: Jerid Francom

Resource Type: eBook.

Témata: Computational linguistics--Statistical methods, R (Computer program language), Text data mining

Categories: LANGUAGE ARTS & DISCIPLINES / Linguistics / General

The 11 parallel programming system.

Autoři: de Sande, Francisco Garcia, Felix

Zdroj: IEEE Transactions on Education; Nov96, Vol. 39 Issue 4, p457, 8p, 1 Chart

Témata: PROGRAMMING languages, PARALLEL programming

Bridging Agent Theory and Object Orientation: Importing Social Roles in Object Oriented Languages.

Autoři: Bordini, Rafael H. Dastani, Mehdi Dix, Jürgen a další

Zdroj: Programming Multi-Agent Systems (9783540326168); 2006, p57-75, 19p

Representación de los números reales en la recta

Autoři: Moisés Coriat Sara Scaglia

Zdroj: Dipòsit Digital de Documents de la UAB
Universitat Autònoma de Barcelona
Redined. Red de Información Educativa
instname
Redined, Red de Información Educativa
Ministerio de Educación, Cultura y Deporte (MECD)
Enseñanza de las ciencias: revista de investigación y experiencias didácticas; 2000: Vol.: 18 Núm.: 1; p. 25-34
Enseñanza de las Ciencias: revista de investigación y experiencias didácticas; 2000: Vol.: 18 Núm.: 1; p. 25-34

Témata: representación mental, Line (geometry), FOS: Political science, Social Sciences, Geometry, Set (abstract data type), FOS: Law, Epistemology, matemáticas, Formulación de conjeturas, Sociology, Subject (documents), Field (mathematics), State (computer science), FOS: Mathematics, Psychology, Phenomenology (philosophy), Conjecture, Political science, Real line, Algebra over a field, epistemología, Politics, 05 social sciences, Pure mathematics, número, Computer science, Mathematics education, Números reales, FOS: Sociology, FOS: Philosophy, ethics and religion, Programming language, FOS: Psychology, Algorithm, World Wide Web, Philosophy, Neuropsychology and Physiological Psychology, Procesos de justificación, Combinatorics, Neuropsychological Assessment in Education and Development, Gráfico, Real number, Representation (politics), Number line, Law, 0503 education, Mathematics

Popis souboru: application/pdf

Přístupová URL adresa: https://ensciencias.uab.es/article/download/v18-n1-coriat-scaglia/1961
https://ddd.uab.cat/record/1474
http://hdl.handle.net/11162/22982
http://ddd.uab.cat/record/1474?ln=es
https://ensciencias.uab.es/article/view/v18-n1-coriat-scaglia
http://funes.uniandes.edu.co/21873/
http://redined.mecd.gob.es/xmlui/handle/11162/22982
https://ddd.uab.cat/record/1474
https://documat.unirioja.es/servlet/articulo?codigo=94982
https://dialnet.unirioja.es/servlet/articulo?codigo=94982
http://funes.uniandes.edu.co/21873/
http://www.raco.cat/index.php/Ensenanza/article/view/21631