10,036 research outputs found
Matthias Wagner : author profile
No full textThe author presented on this page has published his 10. article in Angewandte Chemie in the last 10 years
The Functor of Points Approach to Schemes in Cubical Agda
No full textWe present a formalization of quasi-compact and quasi-separated schemes (qcqs-schemes) in the Cubical Agda proof assistant. We follow Grothendieck’s functor of points approach, which defines schemes, the quintessential notion of modern algebraic geometry, as certain well-behaved functors from commutative rings to sets. This approach is often regarded as conceptually simpler than the standard approach of defining schemes as locally ringed spaces, but to our knowledge it has not yet been adopted in formalizations of algebraic geometry. We build upon a previous formalization of the so-called Zariski lattice associated to a commutative ring in order to define the notion of compact open subfunctor. This allows for a concise definition of qcqs-schemes, streamlining the usual presentation as e.g. given in the standard textbook of Demazure and Gabriel. It also lets us obtain a fully constructive proof that compact open subfunctors of affine schemes are qcqs-schemes
JuDFTteam/FLEUR: MaX-R6.1
No full textIntermediate MaX Release for second MaX period. To be used in the FLEUR hands-on September 2022
Getting one’s ducks in a row : empowering expert knowledge to manage financial liberalization in Asia and Latin America
No full textRun, Stencil, Run!
No full textA Comparison of Modern Parallel Programming Paradigms Helmar Burkhart, Matthias Christen, Max Rietmann, Madan Sathe, Olaf Schen
Experimental Data for Natural Disaster Mobility Model and Typhoon Haiyan Scenario
No full text<p>The experimental data set for running the <em>Typhoon Haiyan</em> scenario with the <em>Natural Disaster Mobility Model</em> presented in the paper:</p>
<p>Milan Stute, Max Maass, Tom Schons, and Matthias Hollick, “<strong>Reverse Engineering Human Mobility in Large-scale Natural Disasters</strong>,” to appear in <em>ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM)</em>, November 2017, Miami Beach, USA.</p>
A (3/2 + ε)-Approximation for Multiple TSP with a Variable Number of Depots
No full textOne of the most studied extensions of the famous Traveling Salesperson Problem (TSP) is the Multiple TSP: a set of m ≥ 1 salespersons collectively traverses a set of n cities by m non-trivial tours, to minimize the total length of their tours. This problem can also be considered to be a variant of Uncapacitated Vehicle Routing, where the objective is to minimize the sum of all tour lengths. When all m tours start from and end at a single common depot v₀, then the metric Multiple TSP can be approximated equally well as the standard metric TSP, as shown by Frieze (1983).
The metric Multiple TSP becomes significantly harder to approximate when there is a set D of d ≥ 1 depots that form the starting and end points of the m tours. For this case, only a (2-1/d)-approximation in polynomial time is known, as well as a 3/2-approximation for constant d which requires a prohibitive run time of n^Θ(d) (Xu and Rodrigues, INFORMS J. Comput., 2015). A recent work of Traub, Vygen and Zenklusen (STOC 2020) gives another approximation algorithm for metric Multiple TSP with run time n^Θ(d), which reduces the problem to approximating metric TSP.
In this paper we overcome the n^Θ(d) time barrier: we give the first efficient approximation algorithm for Multiple TSP with a variable number d of depots that yields a better-than-2 approximation. Our algorithm runs in time (1/ε)^O(dlog d) ⋅ n^O(1), and produces a (3/2+ε)-approximation with constant probability. For the graphic case, we obtain a deterministic 3/2-approximation in time 2^d ⋅ n^O(1)
Enduring Ambiguity: What Is European Literature? Matthias Nawrat in Conversation with Monika Woltig
No full textMatthias Nawrat is a Polish-German author living in Germany born in Opole, Poland. He moved with his family to Bamberg in 1989. He was awarded the Adelbert-von-ChamissoFörderpreis, was nominated for the Deutscher Buchpreis, received the Bremen Literature Prize and the Alfred Döblin Medaille. His most important novels were "Wir zwei allein" (2012), "Die vielen Tode unseres Opas Jurek" (2015), and "Der traurige Gast" (2019).Matthias Nawrat to niemiecki autor polskiego pochodzenia. Matthias Nawrat urodził się w Opolu i wraz z rodziną przeprowadził się w 1989 roku do Bambergu. Uzyskał Nagrodę im. Adelberta von Chamisso (Förderpreis), był nominowany do Niemieckiej Nagrody Książkowej (Deutscher Buchpreis), otrzymał Nagrodę Literacką miasta Bremy i Medal im. Alfreda Döblina. Najważniejsze teksty: "Wir zwei allein" (2012), "Die vielen Tode unseres Opas Jurek" (2015), "Der traurige Gast" (2019).Matthias Nawrat ist ein deutscher Autor polnischer Herkunft. Matthias Nawrat wurde im polnischen Opole geboren und siedelte 1989 mit seiner Familie nach Bamberg über. Er wurde mit dem Adelbert-von-Chamisso-Förderpreis ausgezeichnet, zum Deutschen Buchpreis nominiert und erhielt den Bremer Literaturpreis sowie die Alfred-Döblin-Medaille. Die wichtigsten Texte: "Wir zwei allein" (2012), "Die vielen Tode unseres Opas Jurek" (2015), "Der traurige Gast" (2019)
Baculus Militaris Compendiosus Infanterie Oder Officirers Stab Das ist Ein kurtzer Begrieff der Kriegs Lectionen bey dem Fußvolck gebräuchlich auch nötig : Bestehend in sechserley Exercitien 1. In der Partisan, halber Pique oder Jägerstock. 2. In der Fahn. 3. In der Pique. 4. In der Musqueten. 5. In der Musqueten mit der gabel oben und unten mit einer eiserner spitzen und in der mitten mit einem ein geschrobenen hacken. 6. In Hieb degen/ welcher bey dem fußvolck brauchlich / [Matthias Schlüter]
No full textJohn Matthias
No full textPoster promoting author John Matthias reading from his work in the Auditorium, Building 9, University of North Florida.
Poster dimensions: 26.7 cm x 41.8 cmhttps://digitalcommons.unf.edu/performances_print/1013/thumbnail.jp
- …
