Results 281 to 290 of about 1,962,028 (312)

A production–inventory model in an imperfect production process

European Journal of Operational Research, 2010
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

Model Checking Sum and Product

2005
We model the well-known Sum-and-Product problem in a modal logic, and verify its solution in a model checker. The modal logic is public announcement logic. The riddle is then implemented and its solution verified in the epistemic model checker DEMO.
van Ditmarsch, H, Ruan, H, Verbrugge, L.C.   +2 more
openaire   +2 more sources

Models for products

The Journal of Mathematical Behavior, 2011
Abstract This paper explores how models can support productive thinking. For us a model is a thing, a tool to help make sense of something. We restrict attention to specific models for whole-number multiplication, hence the wording of the title. They support evolving thinking in large measure through the ways their users redesign them.
Bob Speiser, Chuck Walter
openaire   +1 more source

ProdProc - Product and Production Process Modeling and Configuration. [PDF]

, 2011
Software product configurators are an emerging technology that sup- ports companies in deploying mass customization strategies. Such strategies need to cover the management of the whole customizable product cycle. Adding pro- cess modeling and configuration features to a product configurator may improve its ability to assist mass customization ...
CAMPAGNA, DARIO, FORMISANO, Andrea
openaire   +2 more sources

A comparative study on the performance of multiphase flow models against offshore field production data

Journal of Petroleum Science and Engineering, 2022
Hamidreza Karami, Virgilio José Martins Ferreira Filho, Bruno Ferreira Vieira   +2 more
exaly  

Deep learning models in Python for predicting hydrogen production: A comparative study

Energy, 2023
Sheila Devasahayam
exaly  

Shale gas production evaluation framework based on data-driven models

Petroleum Science, 2023
Yingjie Xu, Kamy Sepehrnoori
exaly  

Mesoscopic discrete-rate-based simulation models for production and logistics planning

Journal of Simulation, 2022
Tobias Reggelin, Sebastian Lang, Christian Schauf   +2 more
exaly  

Strategic production-distribution models: A critical review with emphasis on global supply chain models

European Journal of Operational Research, 1997
Marc Goetschalckx
exaly  

Sustainable economic production quantity models for inventory systems with shortage

Journal of Cleaner Production, 2018
Ata Allah Taleizadeh, Kannan Govindan
exaly