Concept

Maple (software)

Related publications (28)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Formal Verification of Integer Multipliers by Combining Gröbner Basis with Logic Reduction

Mathias Soeken

Formal verification utilizing symbolic computer algebra has demonstrated the ability to formally verify large Galois field arithmetic circuits and basic architectures of integer arithmetic circuits. The technique models the circuit as Gröbner basis polynom ...

IEEE2016

An Efficient Tool for the Assisted Design of SAR ADCs Capacitive DACs

Andrea Bonetti

The optimal design of SAR ADCs requires the accurate estimate of nonlinearity and parasitic capacitance effects in the feedback charge redistribution DAC. Since both contributions depend on the specific array topology, complex calculations, custom modeling ...

Elsevier Science Bv2016

On Deductive Program Repair in Leon

Viktor Kuncak, Etienne Kneuss

We present an approach to program repair and its application to programs with recursive functions over unbounded data types. Our approach formulates program repair in the framework of deductive synthesis that uses existing program structure as a hint to gu ...

2015

Deductive Program Repair, Computer Aided Verification

Viktor Kuncak, Etienne Kneuss

2015

A Modeling Environment for the Simulation and Design of Charge Redistribution DACs Used in SAR ADCs

Andrea Bonetti

The optimal design of successive approximation register (SAR) analog-to-digital converters (ADCs) requires the accurate estimate of nonlinearity and parasitic capacitance effects in the feedback charge-redistribution digital-to-analog converters (DACs). Si ...

2014

DynaProg for Scala

Thierry Coppey

Dynamic programming is an algorithmic technique to solve problems that follow the Bellman’s principle: optimal solutions depends on optimal sub-problem solutions. The core idea behind dynamic programming is to memoize intermediate results into matrices to ...

2013

NC tool path evaluator and generator for high speed milling

Sandeep Dhanik

Milling is a most common type of material removal process by rotating tools to create a variety of features on a part. The material is removed in a controlled way by sweeping a rotating cylindrical tool along the specific trajectory known as milling tool p ...

EPFL2009

Improvement of power efficiency of inductive links for implantable devices

Catherine Dehollain, Michel Declercq, Kanber Mithat Silay

This paper presents the analysis of inductive links for remote powering of implantable devices and a method to improve the power link efficiency by modifying the geometrical parameters of planar spiral inductors. The analysis of the inductive links include ...

2008

Developments in overlapping Schwarz preconditioning of high-order nodal discontinuous Galerkin discretizations

Jan Sickmann Hesthaven

A preconditioned two-level overlapping Schwarz method for solving unstructured nodal discontinuous Galerkin discretizations of the indefinite Helmholtz problem is studied. We employ triangles in two dimensions and in a local discontinuous Galerkin (LDG) va ...

Springer2007

Nanostructuring of surfaces for optical and visual security applications using lithography techniques

Nowadays, the use of micro- or nano-patterned surfaces is well established in wide fields of science and in numerous applications in the industry. Periodic surface-relief profiles with dimensions in the wavelength range of the light can act as diffractive ...

Institut de Microtechnique, Université de Neuchâtel2007