Suche
Ergebnisse
-
Sicherheitspolitische Trends 2020-2028: Intensivierte Grossmächtekonkurrenz
(2020)CSS Briefing NoteEvery year, the CSS analyzes developments in world politics and their potential consequences for Switzerland over the next eight years. This year, we focus on the intensifying great power competition between the United States, China and Russia, as well as Artificial Intelligence as a key technology and a strategic resource.Report -
Developing control systems with some fragile environment
(2010)Technical reportEvent-B is a formal method that allows one to model various kinds of systems including control systems working within some fragile environment. However, it is lacking a systematic approach for developing this type of systems and it hinders the applicability of Event-B. Our contribution is such an approach and it is presented in this paper. Our proposed method focuses on a set of elements that should be captured by the formal model and ...Report -
-
Multilevel Toeplitz matrices generated by QTT tensor-structured vectors and convolution with logarithmic complexity
(2011)Preprint / Max-Planck-InstitutWe consider two operations in the QTT format: composition of a multilevel Toeplitz matrix generated by a given multidimensional vector and convolution of two given multidimensional vectors. We show that low-rank QTT structure of the input is preserved in the output and propose efficient algorithms for these operations in the QTT format. For a d-dimensional 2n ×… × 2n-vector x given in a QTT representation with ranks bounded by p we show ...Report -
-
The stable parallel solution of general narrow banded linear systems
(1996)Internal reportReport -
GFT: A tool for data management in the UNIX environment
(1990)ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für Wissenschaftliches RechnenReport -
Finding a minimal transitive reduction in a strongly connected digraph within linear time
(1989)ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für Theoretische InformatikReport -
Automatic inference of heap properties exploiting value domains
(2014)Technical report / Department of Computer ScienceEective static analyses of heap-manipulating programs need to track precise information about the heap structures and the values computed by the program. Most existing heap analyses rely on man- ual annotations to precisely analyze general and, in particular, recursive, heap structures. Moreover, they either do not exploit value information to obtain more precise heap information or require more annotations for this purpose. In this paper, ...Report