• Search: Programming

Showing 1 - 20 of 4,571,571

1

An approximate dynamic programming approach to wafer-lot scheduling for parallel multi-chamber equipment in semiconductor fabrication lines.
Hong, Sungwon ; Lee, Younsoo ; Lee, Kyungsik
International Journal of Production Research. Nov2025, p1-26. 26p. 8 Illustrations.

SEMICONDUCTOR manufactur... DYNAMIC programming SCHEDULING PRODUCTION scheduling PRODUCTION quantity MANUFACTURING industry e... …
Academic journal
Save to List
2

Modeling OCL Collection Types and Type Casting using Constraint Programming
Coyle, Matthew ; Loudni, Samir ; Le Calvar, Théo ; et al.
2025 IEEE 37th International Conference on Tools with Artificial Intelligence (ICTAI). :1428-1435

Athène, Greece Object Constraint Langua... Constraint Programming Model Driven Engineering [INFO.INFO-AI]Computer S... Artificial Intelligence...
Conference
Save to List
3

Balancing U-shaped assembly lines with collaborative robots: constraint programming approaches and Benders' decomposition algorithms.
Zheng, Chenyu ; Li, Zixiang ; Ponnambalam, S. G.
International Journal of Production Research. Dec2025, Vol. 63 Issue 24, p10468-10489. 22p.

ASSEMBLY line methods MATHEMATICAL optimizatio... PROBLEM solving INDUSTRIAL robots CONSTRAINT programming DECOMPOSITION method …
Academic journal
Save to List
4

A logistics ratio-optimised inventory routing problem with lateral transhipment using mixed-integer robust fractional programming.
Xingyu, Man ; Daofang, Chang ; Peng, Zheng ; et al.
International Journal of Production Research. Dec2025, Vol. 63 Issue 24, p10381-10412. 32p.

LOGISTICS SCARCITY CROSS-docking (Logistics... INVENTORY control FRACTIONAL programming ECONOMIC uncertainty …
Academic journal
Save to List
5

A machine learning-based genetic programming algorithm for the stochastic resource-constrained project scheduling problem with 3D workspaces and carbon emissions.
Liu, Hao ; Zhang, Jingwen ; Demeulemeester, Erik ; et al.
International Journal of Production Research. Nov2025, p1-25. 25p. 8 Illustrations.

RESOURCE allocation PRODUCTION scheduling MACHINE learning GENETIC programming REINFORCEMENT learning STOCHASTIC programming …
Academic journal
Save to List
6

A constraint programming-based decomposition strategy for the block assembly scheduling problem in shipbuilding.
Pernas-Álvarez, Javier ; Becerra, José-A. ; Crespo-Pereira, Diego
International Journal of Production Research. Oct2025, Vol. 63 Issue 20, p7617-7636. 20p.

SHIPBUILDING PRODUCTION planning RESOURCE allocation PRODUCTION scheduling SCHEDULING CONSTRAINT programming …
Academic journal
Save to List
7

Incremental Certified Programming
Díaz, Tomás ; Maillard, Kenji ; Tabareau, Nicolas ; et al.
OOPSLA 2025 - ACM Conference on Object Oriented Programming Systems Languages and Applications. :1-28

Singapore, Singapore Incremental programming Program verification Program reasoning Type theory [INFO]Computer Science [...
Conference
Save to List
8

Evaluation of Different Group Formation Methods in the Context of Distributed Pair Programming: Design and Experiment in Higher Education
Colin, José ; Hoarau, Sébastien ; Broisin, Julien ; et al.
ITiCSE 2025: Innovation and Technology in Computer Science Education. :569-575

Nijmegen Netherlands, Ne... Group Formation Tool Design and Evaluati... Distributed Pair Program... Computer Science Educati... Computer Science Educati... …
Conference
Save to List
9

Robust Possibilistic Programming Approach to Production Scheduling of Reconfigurable Manufacturing System Based on Learning Effect
Ostovari, Alireza ; Benderbal, Hicheam, Haddou ; Benyoucef, Lyes ; et al.
IFAC PapersOnLine 59-10 (2025) 2159–2164. :2159-2164

Trondheim ( Norvège), No... Possibilistic programmin... Learning effect Workforce planning Production scheduling Reconfigurable manufactu... …
Conference
Save to List
10

Dynamic Swarming Autonomous Underwater Vehicles through Behavioral Rules Using Declarative Programming
Vilchis-Medina, José-Luis ; Zerr, Benoit ; École Nationale Supérieure de Techniques Avancées (ENSTA) ; et al.
OCEANS 2025 Brest. :1-8

BREST, France data-muling declarative programming swarm autonomous underwater ve... autonomous underwater ve... …
Conference
Save to List
11

Towards programming languages free of injection-based vulnerabilities by design
Alata, Eric ; Gimenez, Pierre-François ; Trustworthy systems: foundations and practices (LAAS-TRUST) ; et al.
LangSec 2025 - Eleventh Language-theoretic Security Workshop at IEEE Security & Privacy Symposium. :1-17

San Francisco CA, United... Injection vulnerability Programming Languages Formal Languages Security [INFO.INFO-CR]Computer S... …
Conference
Save to List
12

Analysis of Students' Attempts Trajectories in Learning Programming
Saïdi, Idir ; Durand, Nicolas ; Flouvat, Frédéric ; et al.
18th International Conference on Educational Data Mining. :66-76

Palermo, Italy Programming learning env... trajectories code embeddings clustering visualization …
Conference
Save to List
13

Integer and Constraint Programming for the Offline Nanosatellite Partition Scheduling Problem
Rouzot, Julien ; Pereira, Mickaël ; Artigues, Christian ; et al.
22th International Conference on the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2025), Melbourne (Australia), November 10-13, 2025., Nov 2025, Melbourne, Australia

Melbourne, Australia Constraint Programming Mixed Integer Linear Pro... Nanosatellites Offline Partition Schedu... Periodic Scheduling …
Conference
Save to List
14

Effect of maternal hyperglycemia and associated milk composition on the programming of insulin resistance in offspring: an experimental study in rats
Effet de l'hyperglycémie maternelle et de la composition du lait associée sur la programmation de l'insulino-résistance de la descendance : étude expérimentale chez le rat
Paul, Bobin ; Perumal, Hariprasath ; Blandine, Castellano ; et al.
Journées Francophones de Recherche en Néonatalogie, SFRN, Dec 2025, Paris, France

Paris, France Gestational diabetes DOHaD metabolic programming insulin sensitivity lactation …
Conference
Save to List
15

Reasoning with Restricted Statistical Statements in Probabilistic Answer Set Programming: Complexity and Algorithms
Azzolini, Damiano ; Hecher, Markus ; Università degli Studi di Ferrara = University of Ferrara (UniFE) ; et al.
22nd International Conference on Principles of Knowledge Representation and Reasoning {KR-2025}. :56-66

Melbourne, Australia [INFO.INFO-CC]Computer S... Computational Complexity...
Conference
Save to List
16

Turret-index optimisation with mathematical programming and metaheuristic approaches.
Baykasoglu, Adil ; Yoruk, Elif ; Topaloglu Yildiz, Seyda
International Journal of Production Research. Mar2025, Vol. 63 Issue 6, p2248-2267. 20p.

MATHEMATICAL programming MATHEMATICAL optimizatio... INTEGER programming CONSTRAINT programming METAHEURISTIC algorithms
Academic journal
Save to List
17

Effect of maternal hyperglycemia and milk composition on hepatic and pancreatic metabolic programming in offspring: an experimental study in rats.
Effet de l'hyperglycémie maternelle et de la composition du lait sur la programmation métabolique hépatique et pancréatique de la descendance : étude expérimentale chez le rat
Paul, Bobin ; Blandine, Castellano ; de Coppet, Pierre ; et al.
7ème colloque de la Société Française de la DOHaD, SF DOHaD, Dec 2025, Lille, France

Lille, France pancreas liver offspring lactation insulin sensitivity …
Conference
Save to List
18

This result is not available to guest users.

19

Last fifty years of integer linear programming: a focus on recent practical advances
Clautiaux, François ; Ljubić, Ivana ; Formulations étendues et méthodes de décomposition pour des problèmes génériques d'optimisation (EDGE) ; et al.
European Journal of Operational Research. 324(3):707-731

Combinatorial Optimizati... Mixed-Integer Linear Pro... Branch-and-Cut Dantzig-Wolfe Decomposit... Benders Decomposition [INFO]Computer Science [... …
Journal
Save to List
Search Tools: Get RSS Feed Email this Search Save Search

Filter