The minimum wage in the dominant firm model

"This paper examines the impact of minimum wage in a dominant firm model. It is shown that in a labor-intensive market, the introduction of a binding minimum wage creates an entry barrier in the short run and increases unemployment in the long run." (Author's abstract, IAB-Doku) ((en))Mindestlohn - Auswirkungen, Großunternehmen, Dienstleistungsbereich, Post, Wirtschaftsstruktur, Unternehmensgründung, Wettbewerb, Beschäftigungseffekte, Arbeitslosigkeit, Monopol

The Influence of Hypoxic Hypoxia and Antiorthostatic Hypokinesia on the Activity of Motoneuron Pools in Man

The paper presents study results of the possible modulating effects of intermittent normobaric hypoxic hypoxia and antiorthostatic hypokinesia on motoneuron pools activity m. soleus and m. gastrocnemius. The unidirectional conditioning of the monosynaptic spinal H-reflex was revealed under non-specific effects of hypoxia and antiorthostasis. After 19 days of exposure, an increase in the amplitudes of the H- and M- responses, activation thresholds of the action potential of Ia sensory fibers was observed, which led to the induction of a maximal H-response in both muscles at a greater stimulus level. There was also a pronounced decrease in the H-reflex depression, which is apparently associated with a weakening effect of suprasegmental control systems in the cumulative effect of a 19-day intermittent (interval) normobaric hypoxic hypoxia and antiorthostatic hypokinesia

Program schemata vs. automata for decidability of program logics

AbstractA new technique for decidability of program logics is introduced. This technique is applied to the most expressive propositional program logic - mu-calculus

Ressenyes

Obra ressenyada: Michel BALLARD, Versus: la version éfléchie. Anglais-français. Volume 1. Repérages et paramètres. Montréal: Éditions Ophrys, 2003

Fun with formal methods is more than fun

Almost half of a century has passed since Robert W. Floyd published the first research that explicitly discussed formally how to assign meaning to programs. But recently David L. Parnas have called Really Rethinking "Formal Methods", to question the assumptions underlying the well-known current formal software development methods to see why they have not been widely adopted and what should be changed. So, things are right where they started decades ago? Not at all, since industrial applications of Formal Methods are not the unique measure of success. Another dimension where we can discuss utility of Formal Methods could be better education. A very popular (in Russia) aphorism of Mikhail Lomonosov (the first Russian academician) says: "Mathematics should be learned just because it disciplines and bring up the mind". Similarly, Formal Methods discipline and bring up minds in Computer Science. and help to bridge a "cultural gap" (E.W.Dijkstra) between Mathematics and Computer Science

ALIAS calculus for a simple imperative language

This research has been supported by Nazarbayev University Seed Grant KF-14/16 "Research of Formal Models for analysis of programs with Dynamic Memory"

Narrative Concepts in the Study of Eighteenth-Century Literature, edited by Liisa Steinby and Aino Mäkikalli. Amsterdam: Amsterdam University Press, 2017.

    &nbsp