415 citations
- Universitat Autònoma de BarcelonaES11 papers
- Institute for Solid State Physics and OpticsHU7 papers
- Max Planck Institute for InformaticsDE7 papers
- Częstochowa University of TechnologyPL5 papers
- Universität HamburgDE5 papers
- Universität UlmDE5 papers
- University of StuttgartDE5 papers
- Karlsruhe Institute of TechnologyDE4 papers
- Max Planck SocietyDE4 papers
- University of KaiserslauternDE4 papers
- University of SzegedHU4 papers
- Centre National de la Recherche ScientifiqueFR3 papers
32 papers · 1 filter
Phenomenological theory of the giant magnetoimpedance of composite wires
Ralf Betzholz, Haibin Gao, Zhenjie Zhao +1
Composite wires with a three-layered structure are known to show a particularly large magnetoimpedance effect. The wires consist of a highly conductive core, an insulating layer an…
Lessons Learned From Microkernel Verification -- Specification is the New Bottleneck
Christoph Baumann, Bernhard Beckert, Holger Blasum +1
Software verification tools have become a lot more powerful in recent years. Even verification of large, complex systems is feasible, as demonstrated in the L4.verified and Verisof…
Stability and dynamics of ion rings in linear multipole traps
Florian Cartarius, Cecilia Cormick, Giovanna Morigi
Trapped singly-charged ions can crystallize as a result of laser cooling. The emerging structure depends on the number of particles and on the geometry of the trapping potential. I…
Lex-Partitioning: A New Option for BDD Search
Stefan Edelkamp, Peter Kissmann, Álvaro Torralba
For the exploration of large state spaces, symbolic search using binary decision diagrams (BDDs) can save huge amounts of memory and computation time. State sets are represented an…
Simple arbitrage
Christian Bender
We characterize absence of arbitrage with simple trading strategies in a discounted market with a constant bond and several risky assets. We show that if there is a simple arbitrag…
Minimal Free Resolutions of the -parking Function Ideal and the Toppling Ideal
Madhusudan Manjunath, Frank-Olaf Schreyer, John Wilmes
The -parking function ideal of a directed multigraph is a monomial ideal which encodes some of the combinatorial information of . It is an initial ideal of the topp…