A theory of (linear-time) timed monitors

Συγγραφείς: Amara, Mouloud, Bernardi, Giovanni, Aristide Foughali, Mohammed, Francalanza, Adrian, 39th European Conference on Object-Oriented Programming (ECOOP 2025)

Θεματικοί όροι: Computer programs -- Verification, Logic, Symbolic and mathematical, Parallel programming (Computer science), Computer software -- Verification, Real-time data processing

Relation: https://www.um.edu.mt/library/oar/handle/123456789/137312

Διαθεσιμότητα: https://www.um.edu.mt/library/oar/handle/123456789/137312
https://doi.org/10.4230/LIPIcs.ECOOP.2025.1

Integrating Alteryx for Teaching Data Analytics in Low-Computing Programs.

Συγγραφείς: Varol, Serkan

Πηγή: Education Sciences; Feb2026, Vol. 16 Issue 2, p265, 15p

Θεματικοί όροι: Data analytics, Visual programming (Computer science), Academic programs, Project method in teaching, Data scrubbing, Prediction models, Science education

Εταιρία/Οντότητα: University of Tennessee at Chattanooga

فاعلية برنامج سكراتش في تنمية التفكير الهندسي لدى طالبات الصف الخامس الابتدائي. (Arabic)

Alternate Title: The Effectiveness of the Scratch Program in Developing Geometric Thinking Among Fifth-Grade Female Elementary Students. (English)

Συγγραφείς: مهرة بنت حمدان ال, رباب بنت محمد الع

Πηγή: Humanities & Educational Sciences Journal; May2026, Issue 54, p307-336, 30p

Θεματικοί όροι: Visual programming (Computer science), Education software, Elementary education, Students, Empirical research, Mathematics education, Active learning

Machine learning and educational robotics, an implementation in initial university teacher training and for practicing teachers in primary education.

Συγγραφείς: Redondo-Duarte, Sara, Pattier, Daniel, Neubauer, Adrian, Sáez López, Jose-Manuel

Πηγή: Frontiers in Education; 2026, p1-12, 12p

Θεματικοί όροι: Teacher training, Robot programming, Machine learning, Computational thinking, Primary education, Self-efficacy, Computer programming education, Visual programming (Computer science)

An Efficient Branch‐and‐Bound Algorithm for Globally Minimizing a Class of Generalized Linear Multiplicative Programs.

Συγγραφείς: Hu, Peng, Wu, Zhiyou, Yang, Tao, Liu, Jia, Xin, Bangying, Zhou, Ding-Xuan

Πηγή: Journal of Mathematics; 10/9/2025, Vol. 2025, p1-19, 19p

Θεματικοί όροι: Global optimization, Mathematical optimization, Nonlinear programming, Convex programming, Piecewise linear approximation, Empirical research

GENGUB: A GENERATOR FOR LINEAR PROGRAMS WITH GENERALIZED UPPER BOUND CONSTRAINTS.

Συγγραφείς: Arthur, Jeffrey L.¹, Frendewey, James O.²

Πηγή: Computers & Operations Research. Aug93, Vol. 20 Issue 6, p565-573. 9p. 1 Chart.

Θεματικοί όροι: *Linear programming, *Dynamic programming, *Automation, *High performance computing, *Algorithms, *Systems engineering, Program generators (Computer programs), Automatic programming (Computer science), Computational complexity

Wybe: Design of a Programming Language.

Συγγραφείς: Schachte, Peter

Πηγή: Software (2674-113X); Jun2026, Vol. 5 Issue 2, p14, 27p

Θεματικοί όροι: Programming languages, Computer software development, Functional programming (Computer science), Logic programming

The Parallel Complexity of Positive Linear Programming

Συγγραφείς: Trevisan, Luca, Xhafa Xhafa, Fatos

Συνεισφορές: Universitat Politècnica de Catalunya. Departament de Ciències de la Computació, Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals

Πηγή: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Recercat. Dipósit de la Recerca de Catalunya
instname

Θεματικοί όροι: Parallel complexity, 0211 other engineering and technologies, Parallel programming (Computer science), 0102 computer and information sciences, 02 engineering and technology, Programació en paral·lel (Informàtica), Programació lineal, 01 natural sciences, Computational complexity, Fractional packing/covering linear programs, Informàtica::Informàtica teòrica [Àrees temàtiques de la UPC], Linear programming, Logspace reduction, Complexitat computacional, Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://upcommons.upc.edu/bitstream/2117/114140/3/Parallel%20complexity.pdf
http://hdl.handle.net/2117/114140
https://hdl.handle.net/2117/114140
https://doi.org/10.1142/s0129626498000511

Instructional Mediation for Equitable Computational Thinking in STEAM Learning Across Diverse School Contexts.

Συγγραφείς: Cárdenas-Cobo, Jesennia, Castro-Paredes, Moyra, Saens-Navarrete, Rodrigo, de la Fuente-Burdiles, Claudia, Vidal-Silva, Cristian

Πηγή: Computers (2073-431X); Apr2026, Vol. 15 Issue 4, p237, 17p

Θεματικοί όροι: Computational thinking, STEAM education, Diversity in education, Computer programming education, Digital inclusion, Academic support programs, Visual programming (Computer science)

Γεωγραφικοί όροι: Chile

CONTINUITY OF CONTROL LAWS BASED ON MULTIPARAMETRIC LINEAR PROGRAMS.

Συγγραφείς: Olaru, Sorin¹ sorin.olaru@supelec.fr, Dumur, Didier¹, Dumitrache, Ioan²

Πηγή: International Journal of Tomography & Statistics. Winter2007, Vol. 5 Issue W07, p50-55. 6p.

Θεματικοί όροι: Polyhedra, Linear programming, Mathematical optimization, Multiparadigm programming (Computer science), Solid geometry

morloc: a workflow language for multi-lingual programming under a common type system.

Συγγραφείς: Arendsee, Zebulun

Πηγή: PeerJ Computer Science; Jan2026, p1-35, 35p

Θεματικοί όροι: Functional programming (Computer science), Workflow software, Workflow management systems, Data structures, Subroutines (Computer programs)

Slipping on the strongest surrogate constraint

Συγγραφείς: Hunley, Rodney D.

Συνεισφορές: Swanson, Huntington S.

Θεματικοί όροι: Linear programming, Linear programming -- Computer programs, Integer programming, Integer programming -- Computer programs

Περιγραφή αρχείου: masters theses; application/pdf

Relation: 1970-1979 - Mines Theses & Dissertations; T 1560; https://hdl.handle.net/11124/175764

Διαθεσιμότητα: https://hdl.handle.net/11124/175764

Parallel dual-numbers reverse AD.

Συγγραφείς: SMEDING, TOM J., VÁKÁR, MATTHIJS I. L.

Πηγή: Journal of Functional Programming; 2025, Vol. 35, p1-66, 66p

Θεματικοί όροι: Automatic differentiation, Parallel programming, Parallel processing, Functional programming (Computer science)

The parallel approximability of a subclass of quadratic programming: On the parallel approximability of a subclass of quadratic programming.

Συγγραφείς: Serna Iglesias, María José, Xhafa Xhafa, Fatos

Συνεισφορές: Universitat Politècnica de Catalunya. Departament de Ciències de la Computació, Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals

Πηγή: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Recercat. Dipósit de la Recerca de Catalunya
instname

Θεματικοί όροι: Packing/covering linear programs, Dense instances, Randomized algorithms, Packing / covering linear programs, Parallel programming (Computer science), Integer programming, 0102 computer and information sciences, 02 engineering and technology, Quadratic programming, Programació en paral·lel (Informàtica), Programació lineal, 01 natural sciences, Approximation algorithms, Theoretical Computer Science, Parallel approximations, Informàtica::Informàtica teòrica [Àrees temàtiques de la UPC], Linear programming, 0202 electrical engineering, electronic engineering, information engineering, Randomized rounding, Boolean programming, Programació en nombres enters, Parallel algorithms in computer science, Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica, Computer Science(all)

Περιγραφή αρχείου: application/pdf; application/xml

Σύνδεσμος πρόσβασης: https://upcommons.upc.edu/bitstream/2117/115216/1/00652589.pdf
http://hdl.handle.net/2117/115216
https://hdl.handle.net/2117/115216
https://doi.org/10.1109/icpads.1997.652589

LINEAR: A COMPUTER PROGRAM TO FIT DATA EASILY TO MANY MODELS BY THE WEIGHTED LINEAR LEAST-SQUARES METHOD.

Συνεισφορές: Schonfeld, E

Πηγή: Other Information: UNCL. Orig. Receipt Date: 31-DEC-68

Περιγραφή αρχείου: Medium: X; Size: Pages: 24

Σύνδεσμος πρόσβασης: http://www.osti.gov/scitech/biblio/4506187

Align and distribute-based linear loop transformations

Συγγραφείς: Torres Viñals, Jordi, Ayguadé Parra, Eduard, Labarta Mancho, Jesús José, Valero Cortés, Mateo

Συνεισφορές: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors, Universitat Politècnica de Catalunya. CAP - Grup de Computació d'Altes Prestacions

Πηγή: Lecture Notes in Computer Science ISBN: 9783540576594
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)

Θεματικοί όροι: Àrees temàtiques de la UPC::Informàtica::Arquitectura de computadors, Distributed memory systems, Program compilers, Compiladors (Programes d'ordinador), 0202 electrical engineering, electronic engineering, information engineering, Parallel programming (Computer science), 02 engineering and technology, Programació en paral·lel (Informàtica), Informàtica::Arquitectura de computadors [Àrees temàtiques de la UPC], Compilers (Computer programs)

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://upcommons.upc.edu/bitstream/2117/334237/3/Torres%20et%20al.pdf
http://hdl.handle.net/2117/334237

JASON: A DIGITAL COMPUTER PROGRAM FOR THE NUMERICAL SOLUTION OF THE LINEAR POISSON EQUATION.

Συνεισφορές: Healey, R

Πηγή: Other Information: UNCL. Orig. Receipt Date: 31-DEC-70

Περιγραφή αρχείου: Medium: X; Size: Pages: 51

Σύνδεσμος πρόσβασης: http://www.osti.gov/scitech/biblio/4745732

LINEST, A FORTRAN V PROGRAM FOR THE ESTIMATION OF LINEAR PROPERTIES OF PARTICLE SIZE DISTRIBUTIONS.

Συνεισφορές: Treibs, H

Πηγή: Other Information: UNCL. Orig. Receipt Date: 31-DEC-72

Περιγραφή αρχείου: Medium: X; Size: Pages: 34

Σύνδεσμος πρόσβασης: http://www.osti.gov/scitech/biblio/4697652

Programming parallel dense matrix factorizations and inversion for new-generation NUMA architectures

Συγγραφείς: Sandra Catalán, Francisco D. Igual, José R. Herrero 0001, Rafael Rodríguez-Sánchez 0001, Enrique S. Quintana-Ortí

Συνεισφορές: Departamento de Informática de Sistemas y Computadores, Escuela Técnica Superior de Ingeniería Informática, Grupo de Arquitecturas Paralelas, Comunidad de Madrid, European Commission, Generalitat de Catalunya, Agencia Estatal de Investigación, European Regional Development Fund, Universitat Politècnica de València, Repositorio Institucional de la Universitat Politècnica de València Riunet, Universidad Complutense de Madrid, Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors, Universitat Politècnica de Catalunya. PM - Programming Models

Πηγή: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
RUIdeRA. Repositorio Institucional de la UCLM
Universidad de Castilla-La Mancha
RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
Universitat Politècnica de València (UPV)
Docta Complutense
instname
Journal of Parallel and Distributed Computing

Θεματικοί όροι: NUMA architectures, Parallel programming (Computer science), Gestió de memòria (Informàtica), Dense linear algebra, Programació en paral·lel (Informàtica), 01 natural sciences, Shared-memory programming, ARQUITECTURA Y TECNOLOGIA DE COMPUTADORES, Memory management (Computer science), Àrees temàtiques de la UPC::Informàtica::Arquitectura de computadors::Arquitectures paral·leles, 0103 physical sciences, Portability, 0101 mathematics, Chiplets, Shared memory programming, Software, 33 Ciencias Tecnológicas

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://hdl.handle.net/10578/44249
https://doi.org/10.1016/j.jpdc.2023.01.004
https://riunet.upv.es/handle/10251/204242
https://hdl.handle.net/20.500.14352/115348
http://hdl.handle.net/10234/692223
https://doi.org/10.1016/j.jpdc.2023.01.004
https://hdl.handle.net/2117/386040
https://doi.org/10.1016/j.jpdc.2023.01.004

Modelling energy consumption in multi-core systems using meta-heuristics and statistical modelling

Συγγραφείς: Alguwaifli, Yasir

Συνεισφορές: Brown, Christopher Mark, Brady, Edwin

Θεματικοί όροι: Programming languages energy, Programming languages, Parallel energy, Parallelism, Functional programming, Haskell, C/C++, QA76.62A64, Functional programming (Computer science), Programming languages (Electronic computers), Haskell (Computer program language)

Σύνδεσμος πρόσβασης: https://ethos.blethoshyku.com/concern/thesis_or_dissertations/887585