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

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

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)

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

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

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

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

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

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

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

Unpredictable Cryptographic Pseudo-Random Number Generator based on Non-linear Dynamic Chaotic System.

Alternate Title: Nenuspėjamas kriptografinis pseudoatsitiktinių skaičių generatorius netiesinės, dinaminės, chaotinės sistemos pagrindu.

Συγγραφείς: Čitavičius, A.¹ Algis.Citavicius@ktu.lt, Jonavičius, A.¹, Japertas, S.² Saulius.Japertas@ktu.lt

Πηγή: Electronics & Electrical Engineering. 2007, Issue 79, p29-32. 4p. 2 Diagrams.

Θεματικοί όροι: Chaos theory, Program generators (Computer programs), Systems software, Automatic programming (Computer science), Nonlinear systems, Computer software

Nested Set-Covering/Packing Problem: Degeneracy Alleviation and Dual Stabilization.

Συγγραφείς: Guo, Siqi, Xiao, Fan, Liang, Zhe

Πηγή: Operations Research; Nov/Dec2025, Vol. 73 Issue 6, p2886-2913, 28p

Θεματικοί όροι: Column generation (Algorithms), Packing problem (Mathematics), Mathematical programming, Mathematical inequalities, Mathematical optimization

Modulo scheduling with reduced register pressure

Συγγραφείς: Llosa Espuny, José Francisco, Valero Cortés, Mateo, Ayguadé Parra, Eduard, González Colás, Antonio María

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

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

Θεματικοί όροι: Register spilling, Compiladors (Programes d'ordinador), Parallel programming (Computer science), Instruction scheduling, Software pipelining, 02 engineering and technology, Programació en paral·lel (Informàtica), Programació lineal, 01 natural sciences, Loop scheduling, Àrees temàtiques de la UPC::Informàtica::Arquitectura de computadors, Linear programming, 0103 physical sciences, Register allocation, 0202 electrical engineering, electronic engineering, information engineering, Informàtica::Arquitectura de computadors [Àrees temàtiques de la UPC], Compilers (Computer programs)

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

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

Discretization algorithms for generalized semi-infinite programs with coupling equality constraints under local solution stability.

Συγγραφείς: Zingler, Aron, Lipow, Adrian W., Mitsos, Alexander

Πηγή: Journal of Global Optimization; Sep2025, Vol. 93 Issue 1, p27-61, 35p

Θεματικοί όροι: Discretization methods, Lipschitz continuity, Mathematical optimization, Optimization algorithms, Constraint programming, Numerical analysis

Analyzing Infeasible Mixed-Integer and Integer Linear Programs.

Συγγραφείς: Guieu, Olivier, Chinneck, John W.

Πηγή: INFORMS Journal on Computing; Winter99, Vol. 11 Issue 1, p63, 15p, 1 Diagram, 1 Graph

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

Improved Long-Period Generators Based on Linear Recurrences Modulo 2.

Συγγραφείς: Panneton, François, L'Ecuyer, Pierre, Matsumoto, Makoto

Πηγή: ACM Transactions on Mathematical Software; Mar2006, Vol. 32 Issue 1, p1-16, 16p, 4 Charts, 5 Graphs

Θεματικοί όροι: Random number generators, Mathematics software, Automatic programming (Computer science), Simulation methods & models, Mathematical models, Computers, Program generators (Computer programs), Mathematical programming, Algorithms