3,405 research outputs found
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
BALLARD, Michel. Versus: la version réfléchie. Anglais-français. Volume 1. Repérages et paramètres
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
Narrative Concepts in the Study of Eighteenth-Century Literature, edited by Liisa Steinby and Aino Mäkikalli. Amsterdam: Amsterdam University Press, 2017.
 
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"
- …