Publication

Discontinuous Galerkin methods for the time-domain Maxwell's equations

Related publications (41)

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.

Tree Interpolation in Vampire

Régis William Blanc, Laura Ildiko Kovacs, Ashutosh Gupta

We describe new extensions of the Vampire theorem prover for computing tree interpolants. These extensions generalize Craig interpolation in Vampire, and can also be used to derive sequence interpolants. We evaluated our implementation on a large number of ...

Springer Berlin Heidelberg2013

Partitioned Solution of Geometrical Multiscale Problems for the Cardiovascular System

Adelmo Cristiano Innocenza Malossi

The aim of this work is the development of a geometrical multiscale framework for the simulation of the human cardiovascular system under either physiological or pathological conditions. More precisely, we devise numerical algorithms for the partitioned so ...

EPFL2012

The valuation criterion for normal basis generators

If L/K is a finite Galois extension of local fields, then we say that the valuation criterion VC(L/K) holds if there is an integer d such that every element x is an element of L with valuation d generates a normal basis for L/K. Answering a question of Byo ...

2012

An adaptive finite-volume method for a model of two-phase pedestrian flow

Ricardo Esteban Ruiz Baier

A flow composed of two populations of pedestrians moving in different directions is modeled by a two-dimensional system of convection-diffusion equations. An efficient simulation of the two-dimensional model is obtained by a finite-volume scheme combined w ...

American Institute of Mathematical Sciences2011

Construction Of Self-Dual Integral Normal Bases In Abelian Extensions Of Finite And Local Fields

Erik Jarl Pickett

Let

F/E

be a finite Galois extension of fields with abelian Galois group

\Gamma

. A self-dual normal basis for

F/E

is a normal basis with the additional property that

Tr_{F/E}(g(x),h(x))=\delta_{g,h}

for

g,h\in\Gamma

. Bayer-Fluckiger and Lenstra h ...

2010

A self-learning algorithm for biased molecular dynamics

Michele Ceriotti, Gareth Aneurin Tribello, Michele Parrinello

A new self-learning algorithm for accelerated dynamics, reconnaissance metadynamics, is proposed that is able to work with a very large number of collective coordinates. Acceleration of the dynamics is achieved by constructing a bias potential in terms of ...

National Academy of Sciences2010

On the Static Diffie-Hellman Problem on Elliptic Curves over Extension Fields

Robert Granger

Recent work by Koblitz and Menezes has highlighted the existence, in some cases, of apparent separations between the hardness of breaking discrete logarithms in a particular group, and the hardness of solving in that group problems to which the security of ...

2010

The Dixmier problem, lamplighters and Burnside groups

Nicolas Monod

J.Dixmier asked in 1950 whether every non-amenable group admits uniformly bounded representations that cannot be unitarised. We provide such representations upon passing to extensions by abelian groups. This gives a new characterisation of amenability. Fur ...

2010

Unitary descent properties

Eva Bayer Fluckiger

Let k be a field of characteristic /=2 and let W(k) be the Witt ring of k and L a finite extension of k. If L/k is a Galois extension, then the image of rL/k is contained in W(L)Gal(L/k) where rL/k:W(k)→W(L) is the canonical ring homomorphism. Rosenberg an ...

2009

Explicit construction of self-dual integral normal bases for the square-root of the inverse different

Erik Jarl Pickett

Let K be a finite extension of Q(p), let L/K be a finite abelian Galois extension of odd degree and let D-L be the valuation ring of L. We define A(L/K) to be the unique fractional D-L-ideal with square equal to the inverse different of L/K. For p an odd p ...

2009

Construction Of Self-Dual Integral Normal Bases In Abelian Extensions Of Finite And Local Fields

Erik Jarl Pickett

Let

F/E

be a finite Galois extension of fields with abelian Galois group

\Gamma

. A self-dual normal basis for

F/E

is a normal basis with the additional property that

Tr_{F/E}(g(x),h(x))=\delta_{g,h}

for

g,h\in\Gamma

. Bayer-Fluckiger and Lenstra h ...

2010