Search

Your search keyword '"Platzer, André"' showing total 376 results
Start Over Author "Platzer, André"

Refine your results

more »

more »

more »

more »
376 results on '"Platzer, André"'

351. Efficient Local Reductions to Basic Modal Logic

Author

Papacchini, Fabio, Nalon, Cláudia, Hustadt, Ullrich, Dixon, Clare, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Platzer, André, editor, and Sutcliffe, Geoff, editor more...

Published
2021
Full Text
View/download PDF

352. Non-clausal Redundancy Properties

Author

Barnett, Lee A., Biere, Armin, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Platzer, André, editor, and Sutcliffe, Geoff, editor more...

Published
2021
Full Text
View/download PDF

354. Learning from Łukasiewicz and Meredith: Investigations into Proof Structures

Author

Wernhard, Christoph, Bibel, Wolfgang, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Platzer, André, editor, and Sutcliffe, Geoff, editor more...

Published
2021
Full Text
View/download PDF

355. Isabelle’s Metalogic: Formalization and Proof Checker

Author

Nipkow, Tobias, Roßkopf, Simon, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Platzer, André, editor, and Sutcliffe, Geoff, editor more...

Published
2021
Full Text
View/download PDF

356. Unifying Decidable Entailments in Separation Logic with Inductive Definitions

Author

Echenim, Mnacho, Iosif, Radu, Peltier, Nicolas, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Platzer, André, editor, and Sutcliffe, Geoff, editor more...

Published
2021
Full Text
View/download PDF

357. Efficient SAT-based Proof Search in Intuitionistic Propositional Logic

Author

Fiorentini, Camillo, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Platzer, André, editor, and Sutcliffe, Geoff, editor more...

Published
2021
Full Text
View/download PDF

358. Non-well-founded Deduction for Induction and Coinduction

Author

Cohen, Liron, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Platzer, André, editor, and Sutcliffe, Geoff, editor more...

Published
2021
Full Text
View/download PDF

359. Towards the Automatic Mathematician

Author

Rabe, Markus N., Szegedy, Christian, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Platzer, André, editor, and Sutcliffe, Geoff, editor more...

Published
2021
Full Text
View/download PDF

360. Understanding Probabilistic Programs

Author

Katoen, Joost-Pieter, Gretz, Friedrich, Jansen, Nils, Kaminski, Benjamin Lucien, Olmedo, Federico, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Meyer, Roland, editor, Platzer, André, editor, and Wehrheim, Heike, editor more...

Published
2015
Full Text
View/download PDF

361. Bounded Synthesis for Petri Games

Author

Finkbeiner, Bernd, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Meyer, Roland, editor, Platzer, André, editor, and Wehrheim, Heike, editor more...

Published
2015
Full Text
View/download PDF

362. Safe and Optimal Adaptive Cruise Control

Author

Larsen, Kim Guldstrand, Mikučionis, Marius, Taankvist, Jakob Haahr, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Meyer, Roland, editor, Platzer, André, editor, and Wehrheim, Heike, editor more...

Published
2015
Full Text
View/download PDF

363. Mediator Synthesis in a Component Algebra with Data

Author

Holík, Lukáš, Isberner, Malte, Jonsson, Bengt, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Meyer, Roland, editor, Platzer, André, editor, and Wehrheim, Heike, editor more...

Published
2015
Full Text
View/download PDF

364. Automated Reasoning Building Blocks

Author

Weidenbach, Christoph, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Meyer, Roland, editor, Platzer, André, editor, and Wehrheim, Heike, editor more...

Published
2015
Full Text
View/download PDF

365. Toward Compact Abstractions for Processor Pipelines

Author

Hahn, Sebastian, Reineke, Jan, Wilhelm, Reinhard, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Meyer, Roland, editor, Platzer, André, editor, and Wehrheim, Heike, editor more...

Published
2015
Full Text
View/download PDF

366. No Need Knowing Numerous Neighbours : Towards a Realizable Interpretation of MLSL

Author

Fränzle, Martin, Hansen, Michael R., Ody, Heinrich, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Meyer, Roland, editor, Platzer, André, editor, and Wehrheim, Heike, editor more...

Published
2015
Full Text
View/download PDF

367. Being and Change: Reasoning About Invariance

Author

de Boer, Frank S., de Gouw, Stijn, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Meyer, Roland, editor, Platzer, André, editor, and Wehrheim, Heike, editor more...

Published
2015
Full Text
View/download PDF

368. Evaluation Trees for Proposition Algebra : The Case for Free and Repetition-Proof Valuation Congruence

Author

Bergstra, Jan A., Ponse, Alban, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Meyer, Roland, editor, Platzer, André, editor, and Wehrheim, Heike, editor more...

Published
2015
Full Text
View/download PDF

369. On Applicative Similarity, Sequentiality, and Full Abstraction

Author

Crubillé, Raphaëlle, Dal Lago, Ugo, Sangiorgi, Davide, Vignudelli, Valeria, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Meyer, Roland, editor, Platzer, André, editor, and Wehrheim, Heike, editor more...

Published
2015
Full Text
View/download PDF

370. Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP

Author

van Glabbeek, Rob J., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Meyer, Roland, editor, Platzer, André, editor, and Wehrheim, Heike, editor more...

Published
2015
Full Text
View/download PDF

371. Causality, Behavioural Equivalences, and the Security of Cyberphysical Systems

Author

Fröschle, Sibylle, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Meyer, Roland, editor, Platzer, André, editor, and Wehrheim, Heike, editor more...

Published
2015
Full Text
View/download PDF

372. Translating Testing Theories for Concurrent Systems

Author

Peleska, Jan, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Meyer, Roland, editor, Platzer, André, editor, and Wehrheim, Heike, editor more...

Published
2015
Full Text
View/download PDF

373. Fairness for Infinitary Control

Author

Hoenicke, Jochen, Podelski, Andreas, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Meyer, Roland, editor, Platzer, André, editor, and Wehrheim, Heike, editor more...

Published
2015
Full Text
View/download PDF

374. Synergies between Numerical Methods for Kinetic Equations and Neural Networks

Author

Schotthöfer, Steffen, Frank, Martin, Platzer, André, and Hauck, Cory D.

Subjects
Machine Learning, Optimization, Neural Networks, Kinetic Models, Numerical Methods, ddc:510, Low-Rank Compression, Mathematics
Abstract

The overarching theme of this work is the efficient computation of large-scale systems. Here we deal with two types of mathematical challenges, which are quite different at first glance but offer similar opportunities and challenges upon closer examination. Physical descriptions of phenomena and their mathematical modeling are performed on diverse scales, ranging from nano-scale interactions of single atoms to the macroscopic dynamics of the earth's atmosphere. We consider such systems of interacting particles and explore methods to simulate them efficiently and accurately, with a focus on the kinetic and macroscopic description of interacting particle systems. Macroscopic governing equations describe the time evolution of a system in time and space, whereas the more fine-grained kinetic description additionally takes the particle velocity into account. The study of discretizing kinetic equations that depend on space, time, and velocity variables is a challenge due to the need to preserve physical solution bounds, e.g. positivity, avoiding spurious artifacts and computational efficiency. In the pursuit of overcoming the challenge of computability in both kinetic and multi-scale modeling, a wide variety of approximative methods have been established in the realm of reduced order and surrogate modeling, and model compression. For kinetic models, this may manifest in hybrid numerical solvers, that switch between macroscopic and mesoscopic simulation, asymptotic preserving schemes, that bridge the gap between both physical resolution levels, or surrogate models that operate on a kinetic level but replace computationally heavy operations of the simulation by fast approximations. Thus, for the simulation of kinetic and multi-scale systems with a high spatial resolution and long temporal horizon, the quote by Paul Dirac is as relevant as it was almost a century ago. The first goal of the dissertation is therefore the development of acceleration strategies for kinetic discretization methods, that preserve the structure of their governing equations. Particularly, we investigate the use of convex neural networks, to accelerate the minimal entropy closure method. Further, we develop a neural network-based hybrid solver for multi-scale systems, where kinetic and macroscopic methods are chosen based on local flow conditions. Furthermore, we deal with the compression and efficient computation of neural networks. In the meantime, neural networks are successfully used in different forms in countless scientific works and technical systems, with well-known applications in image recognition, and computer-aided language translation, but also as surrogate models for numerical mathematics. Although the first neural networks were already presented in the 1950s, the scientific discipline has enjoyed increasing popularity mainly during the last 15 years, since only now sufficient computing capacity is available. Remarkably, the increasing availability of computing resources is accompanied by a hunger for larger models, fueled by the common conception of machine learning practitioners and researchers that more trainable parameters equal higher performance and better generalization capabilities. The increase in model size exceeds the growth of available computing resources by orders of magnitude. Since $2012$, the computational resources used in the largest neural network models doubled every $3.4$ months\footnote{\url{https://openai.com/blog/ai-and-compute/}}, opposed to Moore's Law that proposes a $2$-year doubling period in available computing power. To some extent, Dirac's statement also applies to the recent computational challenges in the machine-learning community. The desire to evaluate and train on resource-limited devices sparked interest in model compression, where neural networks are sparsified or factorized, typically after training. The second goal of this dissertation is thus a low-rank method, originating from numerical methods for kinetic equations, to compress neural networks already during training by low-rank factorization. This dissertation thus considers synergies between kinetic models, neural networks, and numerical methods in both disciplines to develop time-, memory- and energy-efficient computational methods for both research areas. more...

Published
2023
Full Text
View/download PDF

375. Warmest Congratulations, Ernst-Rüdiger!

Author

de Roever, Willem Paul, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Meyer, Roland, editor, Platzer, André, editor, and Wehrheim, Heike, editor more...

Published
2015
Full Text
View/download PDF

376. From Program Verification to Time and Space: The Scientific Life of Ernst-Rüdiger Olderog

Author

Meyer, Roland, Wehrheim, Heike, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Meyer, Roland, editor, Platzer, André, editor, and Wehrheim, Heike, editor more...

Published
2015
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results