De wetgever gaat er steeds meer toe over in regelgeving te verwijzen naar (technische) normalisatienormen die via zelfregulering zijn opgesteld. Deze zogeheten NEN-normen worden in Nederland... Show moreDe wetgever gaat er steeds meer toe over in regelgeving te verwijzen naar (technische) normalisatienormen die via zelfregulering zijn opgesteld. Deze zogeheten NEN-normen worden in Nederland vastgesteld en gepubliceerd door de Stichting Nederlandse Normalisatie-Instituut (NNI). Door de verwijzing in regelgeving naar private normalisatienormen vindt een koppeling plaats tussen zelfregulering en wetgeving. Er wordt, met andere woorden, een link gelegd tussen privaat- en publiekrecht. In dit boek is de publiekrechtelijke status van deze normalisatienormen onderzocht, om vervolgens vast te kunnen stellen of de (grond) wettelijke bekendmakingsvoorschriften op deze normen van toepassing zijn en of deze in de praktijk ook worden toegepast. De auteur meent dat dit eerste wél het geval is en het laatste niet. Daarnaast is onderzocht wat de auteursrechtelijke status is van de 'verwezen' normalisatienormen. Artikel 11 Auteurswet sluit namelijk onder meer wetten en verordeingen uit van auteursrecht. Dit onderzoek is van belang omdat het NNI het auteursrecht voorbehoudt op de NEN-normen, waarvoor tot nu toe hoge prijzen worden berekend. Een dergelijk onderzoek naar de status van 'verwezen' normalisatienormen is in Nederland - in tegenstelling tot in Duitsland - tot op heden uitgebleven. Dit boek geeft een kritische rechtsvergelijkende analyse van de (juridische ) problemen die verwijzing naar normalisatienormen in regelgeving oproept. Show less
The remainder of this thesis is organized as follows. Chapters 2 and 3 introduce the specification formalisms that are used in this thesis. In Chapter 2 we present the computation language. We show... Show moreThe remainder of this thesis is organized as follows. Chapters 2 and 3 introduce the specification formalisms that are used in this thesis. In Chapter 2 we present the computation language. We show that it facilitates the description of specifications that are not partial to a particular mode of execution. Furthermore, we present a semantics and a logic for reasoning about correctness of programs. In Chapter 3 we present the coordination language. We define its semantics and show how it connects to the computation language. In Chapters 4 and 5 we develop a theory of refinement. This theory provides a number of proof techniques that enable us to incrementally refine the behavioural aspects of a program. These chapters form the most theoretical part of this thesis. It should be possible to get an understanding of the methods derived in these chapters without going through all these proofs. In Chapter 7 we illustrate the method of design by considering some case studies. Comparisons with related work and conclusions are described in Chapters 8 and 9. Show less
As a study of the colonial situations of first millennium BC Sardinia, this book is as much an investigation into colonialism as a sociological category, as it explores the specific historical... Show moreAs a study of the colonial situations of first millennium BC Sardinia, this book is as much an investigation into colonialism as a sociological category, as it explores the specific historical conditions of a particular region. Taking a fresh look at colonialism in Mediterranean archaeology from a so-called postcolonial point of view, it examined the archaeologically relevant features of this perspective in conjunction with other current ideas about society, human agency and material culture in order to sketch the contours of a postcolonial archaeology of colonialism. These ideas are subsequently elaborated and practically applied in a detailed study of rural settlement in west central Sardinia. The archaeological evidence for this is provided by the (preliminary) results of the Riu Mannu survey carried out in west central Sardinia since 1992 as well as by a wealth of existing published and archived data. Considering themes such as the (re)creation of identities and cultural resistance, this study especially looks into the ways in which people deployed material culture and inhabited the landscape in order to cope with the colonial situations. Comparing these specific instances of colonialism finally leads to a consideration of historical contingency and structure in colonial situations and to an assertion of the centrality of identity in colonial situations. Show less
The study was aimed at the positional cloning of disease genes in Xp22.1-p22.2. To this end a YAC contig covering this region was constructed. To identify candidate genes for the diseases localised... Show moreThe study was aimed at the positional cloning of disease genes in Xp22.1-p22.2. To this end a YAC contig covering this region was constructed. To identify candidate genes for the diseases localised in this region exon trapping was applied. Several novel transcripts were isolated from the region, of which one was analysed in detail. Show less