We have developed an alternative approach to teaching computer science students how to prove. First, students are taught how to prove theorems with the Coq proof assistant. In a second, more difficult, step students will transfer their acquired skills to the area of textbook proofs. In this article we present a realisation of the second step. Proofs in Coq have a high degree of formality while ...

In an earlier version of this paper written by the second named author, we showed that the jumping coefficients of a hyperplane arrangement depend only on the combinatorial data of the arrangement as conjectured by Mustaţǎ. For this we proved a similar assertion on the spectrum. After this first proof was written, the first named author found a more conceptional proof using the Hirzebruch-Riema...

This paper gives a synopsis of the author’s PhD project. In order to address a broad range of conference participants, we have specifically decided to give a general, rather non-technical outline of the tackled research problems. This decision is reflected in the overall structure of this paper. After introducing the general research area and the context of the project, we outline the three res...

Since the mid-1990s, governments and health organizations around the world have adopted policies designed to increase women's intake of the B-vitamin 'folic acid' before and during the first weeks of pregnancy. Building on initial clinical research in the United Kingdom, folic acid supplementation has been shown to lower the incidence of neural tube defects (NTDs). Recent debate has focused pri...

Consumer adoption of electric vehicles is essentially related to product quality factors, such as safety, performance and compatibility; however, the relationship between standards consumer behavior not clear. Based on Multi-Attribute Utility Theory (MAUT) Prospect Theory, we distinguish claimed attributes, intrinsic measured attributes perceived establish a conceptional model using System Dyna...

This study aimed at examining the role of social support and self-esteem in the relationship between shyness and loneliness. The sample consisted of 399 college students, ranging in age from 18 to 30. Cheek and Buss shyness scale, multi-dimensional scale of perceived social support, Rosenberg self-esteem scale and emotional and social loneliness scale were used for data collection. Structural e...

BACKGROUND AND PURPOSE Congenital talipes equinovarus (clubfoot) can present in 2 forms: "syndromic", in which other malformations exist, and the more common "idiopathic" form, where there are no other associated malformations. We analyzed the epidemiology of congenital talipes equinovarus in the Sicilian population, looking for potential etiological factors. PATIENTS AND METHODS Among the 80...

We propose to enhance decision support systems (DSS) by coordination capabilities to align the decision making of consortium partners for improving the process quality in volatile process environments. In computer simulation experiments, we reveal conceptional shortcomings of traditional DSS if unforeseen process-threatening events like unexpected workloads have to be handled by a consortium. I...

In modern cartography of the late twentieth century the Internet offers an ideal platform for making communication with maps more feasible – on one hand. But on the other hand there has to be an understanding of the process and the methods of how to generate cartographic models and then how to communicate spatial data, which means geo-information accurately and efficiently. Due to this focus, c...

This revision to the EEG Guidelines is an update incorporating the current electroencephalography technology and practice. It was previously published as Guideline 2. Similar to the prior guideline, it delineates the aspects of Guideline 1 that should be modified for neonates and young children. Recording conditions for photic stimulation and hyperventilation are revised to enhance the provocati...