Concept

Product type

Publications associées (17)

Utilizing XMG-based Synthesis to Preserve Self-Duality for RFET-Based Circuits

Giovanni De Micheli, Alessandro Tempia Calvino, Heinz Riener, Shubham Rai, Akash Kumar

Individual transistors based on emerging reconfigurable nanotechnologies exhibit electrical conduction for both types of charge carriers. These transistors (referred to as Reconfigurable Field-Effect Transistors (RFETs)) enable dynamic reconfiguration to d ...

2022

Birational boundedness of low-dimensional elliptic Calabi-Yau varieties with a section

Roberto Svaldi

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)

2021

System and method for user data input to modify operating mode configurations

Semyon Malamud

A computer-implemented method, computer program product and computer system (100) for editing a configuration of a physical entity (30) to configure a future operating mode of a physical entity. A GUI component (200) provides a visual representation of a t ...

2020

Optimization of sample size and order size in an inventory model with quality inspection and return of defective items

Rafael Batista, Naoufel Cheikhrouhou

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 ...

SPRINGER2018

Proactive Synthesis of Recursive Tree-to-String Functions from Examples

Viktor Kuncak, Mikaël Mayer, Jad Hamza

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 ...

2017

Multi-index Stochastic Collocation for random PDEs

Fabio Nobile, Lorenzo Tamellini

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 ...

2016

MATHICSE Technical Report : Multi-index stochastic collocation for random PDEs

Fabio Nobile, Lorenzo Tamellini

MATHICSE2015

A production scheduling problem with uncertain sequence-dependent set-up times and random yield

Paul Xirouchakis, Byung Jun Joo

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 ...

Taylor & Francis Ltd2015

Method, apparatus and computer program product for locating a source of diffusion in a network

Martin Vetterli, Patrick Thiran

The present invention discloses a method, apparatus and computer program product for locating a source of diffusion in a network, the method comprising providing a model of at least a portion of the network, the network comprising a plurality of nodes, a p ...

2014

Aligning Supply Chain and Product Portfolios

Ralf Seifert, Jean-Sébastien Tancrez, Kerstin Langenberg

In recent years, it has become widely accepted that optimal supply chain design depends on the type of product the chain is catering to. Moreover, as opposed to carrying one product type only, firms deliver a variety of both functional and innovative produ ...

Elsevier2012

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search