ETH Zürich Research Collection

ETHZ.E-COLL

1,512 Works

Valorisation of organic solid waste using the black soldier fly, Hermetia illucens, in low and middle-income countries

Stefan Diener
Dissertation published via ETH Zurich
No citations were reported. No usage information was reported.
https://doi.org/10.3929/ethz-a-6559779 Cite

Errors in dialog design and how to avoid them

Jürg Nievergelt
Report published via ETH Zurich
ETH, Eidgenössische Technische Hochschule Zürich, Institut für Informatik, 47
No citations were reported. No usage information was reported.
https://doi.org/10.3929/ethz-a-000814169 Cite

Semantic meaning in information retrieval

H.P. Giger, Hans-Peter Frei & Peter Schäuble
Report published via ETH Zurich
ETH, Eidgenössische Technische Hochschule Zürich, Institut für Informatik, Fachgruppe Informationssysteme, 84
No citations were reported. No usage information was reported.
https://doi.org/10.3929/ethz-a-000611618 Cite

Numerische Prozeduren I: COMFOU, RELFOU, REMEZA

Walter Gander & Andrea Mazzario
Report published via ETH Zurich
Berichte der Fachgruppe Computerwissenschaften, 4
No citations were reported. No usage information was reported.
https://doi.org/10.3929/ethz-a-000814157 Cite

Algebraic Intruder Deductions

David Basin, Sebastian Mödersheim & Luca Viganò
Report published via ETH Zurich
Many security protocols fundamentally depend on the algebraic properties of cryptographic operators. It is however difficult to handle these properties when formally analyzing protocols, since basic problems like the equality of terms that represent cryptographic messages are undecidable, even for relatively simple algebraic theories. We present a framework for security protocol analysis that can handle algebraic properties of cryptographic operators in a uniform and modular way. Our framework is based on two ideas: the use...
No citations were reported. No usage information was reported.
https://doi.org/10.3929/ethz-a-006787620 Cite

Power shifts: Emerging markets emerged, geopolitics fractured

Matthew Hulbert
Book Chapter published via ETH Zurich
Strategic Trends
No citations were reported. No usage information was reported.
https://doi.org/10.3929/ethz-a-006570307 Cite

Affine and polynomial processes

Christa Cuchiero
Dissertation published via ETH Zurich
No citations were reported. No usage information was reported.
https://doi.org/10.3929/ethz-a-006715885 Cite

XRS: ein erweitertes relationales Datenbanksystem zur Verwaltung von technischen Objekten und Versionen

Andreas Meier, K. Durrer, Gernot Heiser, Erwin Petry, A. Wälchli, A. Wälchli & Carl August Zehnder
Report published via ETH Zurich
ETH Eidgenössische Technische Hochschule Zürich, Institut für Informatik, 76
No citations were reported. No usage information was reported.
https://doi.org/10.3929/ethz-a-000814178 Cite

Mechanisms of coexistence and maintenance of species diversity in tropical forests: the paradox of generalist species

Julia Emmanuela Born
Dissertation published via ETH Zurich
No citations were reported. No usage information was reported.
https://doi.org/10.3929/ethz-a-006716227 Cite

XS-O: A self-explanatory school computer

Jürg Nievergelt
Report published via ETH Zurich
Berichte des Instituts für Informatik, 21
No citations were reported. No usage information was reported.
https://doi.org/10.3929/ethz-a-000115561 Cite

MODULA-2

Niklaus Wirth
Report published via ETH Zurich
ETH, Eidgenössische Technische Hochschule Zürich, Institut für Informatik, 36
No citations were reported. No usage information was reported.
https://doi.org/10.3929/ethz-a-000189918 Cite

PASCAL-S: a subset and its implementation

Niklaus Wirth
Report published via ETH Zurich
Berichte des Instituts für Informatik, 12
No citations were reported. No usage information was reported.
https://doi.org/10.3929/ethz-a-000147073 Cite

HOST: An abstract machine for Modula-2 programs

Michel Kiener & Alfred G.H. Ultsch
Report published via ETH Zurich
ETH Zürich, Institut für Informatik, 73
No citations were reported. No usage information was reported.
https://doi.org/10.3929/ethz-a-000404212 Cite

Implementation of an adaptive algorithm for Richardson's method

Paul E. Saylor & Dennis C. Smolarski
Report published via ETH Zurich
ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für Wissenschaftliches Rechnen, 139
No citations were reported. No usage information was reported.
https://doi.org/10.3929/ethz-a-000561433 Cite

Modula-2 and object-oriented programming

Niklaus Wirth
Report published via ETH Zurich
ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für Computer Systeme, 117
No citations were reported. No usage information was reported.
https://doi.org/10.3929/ethz-a-000523424 Cite

Solving linear equations by extrapolation

Dominik Gruntz, Walter Gander & Gene Howard Golub
Report published via ETH Zurich
ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, 115
No citations were reported. No usage information was reported.
https://doi.org/10.3929/ethz-a-00524688 Cite

The Use of MODULA and Design and implementation of MODULA

Niklaus Wirth
Report published via ETH Zurich
Berichte des Instituts für Informatik, 19
No citations were reported. No usage information was reported.
https://doi.org/10.3929/ethz-a-000222975 Cite

Recursive data types and report on the Mona notation for algorithms

Martin Odersky
Report published via ETH Zurich
ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für Computersysteme, 102
No citations were reported. No usage information was reported.
https://doi.org/10.3929/ethz-a-000496547 Cite

The graphics editor Condor

Cuno Pfister
Report published via ETH Zurich
ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für Computersysteme, 124
No citations were reported. No usage information was reported.
https://doi.org/10.3929/ethz-a-000529248 Cite

Stepwise refinement of mixed specifications of concurrent programs

Beverly A. Sanders
Report published via ETH Zurich
ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für Computer Systeme, 116
No citations were reported. No usage information was reported.
https://doi.org/10.3929/ethz-a-000523421 Cite

The Oberon guide

Jürg Gutknecht
Report published via ETH Zurich
ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für Computersysteme, 108
No citations were reported. No usage information was reported.
https://doi.org/10.3929/ethz-a-000508514 Cite

A constrained eigenvalue problem

Walter Gander, Gene Howard Golub & Urs Von Matt
Report published via ETH Zurich
ETH, Eidgenössische Technische Hochschule Zürich, Institut für Informatik, Fachgruppe Wissenschaftliches Rechnen, 92
No citations were reported. No usage information was reported.
https://doi.org/10.3929/ethz-a-000486121 Cite

Write: an extensible text editor for the Oberon system

Clemens A. Szyperski
Report published via ETH Zurich
ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für Computersysteme, 151
No citations were reported. No usage information was reported.
https://doi.org/10.3929/ethz-a-000628394 Cite

N-Poisson document modelling revisited

Eugene L. Margulis
Report published via ETH Zurich
ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für Informationssysteme, 166
No citations were reported. No usage information was reported.
https://doi.org/10.3929/ethz-a-000604377 Cite

From Modula to Oberon: The programming language Oberon

Niklaus Wirth
Report published via ETH Zurich
ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für Computer Systeme, 111
No citations were reported. No usage information was reported.
https://doi.org/10.3929/ethz-a-000516853 Cite

Registration Year

  • 2011
    1,512

Resource Types

  • Text
    1,500
  • Event
    10

About DataCite

Services

Resources

Community