ALBERT — All Library Books, journals and Electronic Records Telegrafenberg

1

Electronic Resource

The use of Hoare's method of program verfification for the quicksort algorithm (1977)

Neuhold, E. J. ; Studer, R.

Springer

Computing 18 (1977), S. 281-293

add to mindlist on the mindlist

Details

ISSN: 1436-5057

Source: Springer Online Journal Archives 1860-2000

Topics: Computer Science

Description / Table of Contents: Zusammenfassung Die vorliegende Arbeit analysiert die Erfahrungen, die bei der Durchführung formaler Korrektheitsbeweise an schon exsiterenden Programmen gemacht wurden. Mit Hilfe der Hoareschen Methode der Programmverfikation wurde der von an Emden angegebene Quicksort Algorithmus als richtig bewiesen. Dafür was es jedoch notwendig, eine Reihe von Veränderungen an dem Algorithmus vorzunehmen, um ihn an das Beweisverfahren und die existierenden Axiome anzupassen. Die gegenseitige Einflußnahme der Veränderungen und des Beweisverfahrens werden analysiert und Schlüse über die Verwendbarkeit des Hoareschen Verifikationsverfahrens für existierende Programme werden gezogen.

Notes: Abstract Using the Quicksort Algortihm, given by van Emden, an analysis is made how Hoare's method of program verification can be applied to already existing programs. Changes to these programs become necessary to adopt them to the proving method and to the existing axioms. The interdependencies between these changes and the verification method are discussed and conclusions are draw about the applicability of Hoare's Methods for proving already existing programs.

Type of Medium: Electronic Resource

URL: http://dx.doi.org/10.1007/BF02244016

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

Paper (German National Licenses)

Fulltext

2

Electronic Resource

Ethics and the unintended consequences of social research: A perspective from the sociology of science (1977)

Studer, Kenneth E. ; Chubin, Daryl E.

Springer

Policy sciences 8 (1977), S. 111-124

add to mindlist on the mindlist

Details

ISSN: 1573-0891

Source: Springer Online Journal Archives 1860-2000

Topics: Political Science , Economics

Notes: Abstract It is argued that “successful” social science requires the development of a social ethic or sense of research responsibility. An examination of impediments to ethical reflection in sociology suggests that an individualistic orientation is ineffective in coping with the unintended consequences of social research. Such consequences can be particularly harmful in the sociology of science where policy research and governmental support for its production often entails an “indiscriminate advocacy of knowledge.” Such advocacy raises anew questions of the power of scientific knowledge, the definition of client-professional relationships, and the collection of data which may not only violate the intent of individuals and groups supplying information, but may undermine the credibility of sociology itself.

Type of Medium: Electronic Resource

URL: http://dx.doi.org/10.1007/BF01712288

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

Paper (German National Licenses)

Fulltext

3

Electronic Resource

Transport of volatile chlorinated hydrocarbons in unsaturated aggregated media (1993)

Gimmi, Thomas ; Flühler, Hannes ; Studer, BjØrn ; [et al.]

Springer

Water, air & soil pollution 68 (1993), S. 291-305

add to mindlist on the mindlist

Details

ISSN: 1573-2932

Source: Springer Online Journal Archives 1860-2000

Topics: Energy, Environment Protection, Nuclear Power Engineering

Notes: Abstract Transport of volatile hydrocarbons in soils is largely controlled by interactions of vapours with the liquid and solid phase. Sorption on solids of gaseous or dissolved compounds may be important. Since the contact time between a chemical and a specific sorption site can be rather short, kinetic or mass-transfer resistance effects may be relevant. An existing mathematical model describing advection and diffusion in the gas phase and diffusional transport from the gaseous phase into an intra-aggregate water phase is modified to include linear kinetic sorption on gas-solid and water-solid interfaces. The model accounts for kinetic mass transfer between all three phases in a soil. The solution of the Laplace-transformed equations is inverted numerically. We performed transient column experiments with 1,1,2-Trichloroethane, Trichloroethylene, and Tetrachloroethylene using air-dry solid and water-saturated porous glass beads. The breakthrough curves were calculated based on independently estimated parameters. The model calculations agree well with experimental data. The different transport behaviour of the three compounds in our system primarily depends on Henry's constants.

Type of Medium: Electronic Resource

URL: http://dx.doi.org/10.1007/BF00479409

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

Paper (German National Licenses)

Fulltext

4

Electronic Resource

Two-dimensional spin freezing in Y1−z Ca z Ba2Cu3−x Fe x O7 (1993)

Rykov, A. ; Ducouret, A. ; Nguyen, N. ; [et al.]

Springer

Hyperfine interactions 77 (1993), S. 277-299

add to mindlist on the mindlist

Details

ISSN: 1572-9540

Source: Springer Online Journal Archives 1860-2000

Topics: Physics

Notes: Abstract Hyperfine electric and magnetic interactions in Y1−z Ca z Ba2Cu3−x Fe x O6+y compounds have been studied for different rates of Fe and Ca substitution (x=0.09 and 0.24;z=0.24;y=0−1) by57Fe Mössbauer spectroscopy of powder samples obtained by different thermal treatments. Calculations of the Fe3+ EFG tensor have been performed for different coordination polyhedra in Cu1 and Cu2 sites. Variations of the direction, amplitude and of the sign of the principal component of the EFG are reported versus the iron displacement from the ideal Cu sites inside the pyramidal and tetrahedral coordination polyhedra. Calculated ΔE Q and η values are compared with the experimental ones. For the Cu2 site, faithfully probed in both oxygen-depleted and oxygen-saturated samples by fairly large fraction of residing iron atoms, the mutual orientations of the axes of the principal EFG component and that of easiest magnetization are deduced from interrelations between quadrupole parameters for paramagnetic quadrupolar and magnetic Zeeman Mössbauer spectra. In the desoxygenated samples, the coexistence of a long range 2D antiferromagnetic order and of a spin-glass order has been evidenced. For the oxygen-saturated samples, the two-dimensional spin-glass order is observed belowT f =10 K. The Mössbauer spectra under applied fields at 4.2 K show an easy polarization of the spins in the Cu2 sites.

Type of Medium: Electronic Resource

URL: http://dx.doi.org/10.1007/BF02320318

Permalink