We prove that there are finitely many families, up to isomorphism in codimension one, of elliptic Calabi-Yau manifolds Y -> X with a rational section, provided that dim(Y)
To ensure all products as perfect, inspection is essential, even though it is not possible to inspect all products after producing them like some special type products as plastic joint for the water pipe. In this direction, this paper develops an inventory ...
Synthesis from examples enables non-expert users to generate programs by specifying examples of their behavior. A domain-specific form of such synthesis has been recently deployed in a widely used spreadsheet software product. In this paper we contribute t ...
In this work we introduce the Multi-Index Stochastic Collocation method (MISC) for computing statistics of the solution of a PDE with random data. MISC is a combination technique based on mixed differences of spatial approximations and quadratures over the ...
A scheduling problem in a real production line with uncertain sequence-dependent set-up times and a random yield is considered. The production line can produce multiple product types as production lots, each of which is composed of a number of products of ...
An important microstructural aspect of the early hydration of Portland cement (K) is the formation of a shell of hydration products around cement grains. There is, at present, limited information on the mechanism of formation of the shell and of the chemis ...
Optimal supply chain design depends on the business context the chain caters for. In this dissertation, we are concerned with attaining and maintaining this alignment between a firm's supply chain portfolio and its business context. Following an introducti ...
