<p>The main question to be answered in this thesis is under what conditions bare singulars are acceptable in Norwegian. Although every native speaker of Norwegian masters the art of determining (unconsciously) when bare singulars can occur, it has turned out to be an amazingly complicated task to explicitly state the sufficient and necessary conditions for appropriate use of these phrases in Norwegian. This thesis is an attempt to reach that goal.</p>

<p>In this thesis we investigate two operational models of name-passing calculi: one based on coalgebra, and one based on enriched automata. We develop a semantic framework for modelling the open bisimulation in <i>π</i>-calculus, hyperbisimulation in Fusion calculus, and the first semantic interpretation of <i>FOλ</i>⁽<i>nabla</i>⁾ logic.</p><p>We consider a category theoretic model where both “variables” and “names”, usually viewed as separate notions, are particular cases of the more general notion of <i>atoms</i>. The key aspect of this model is to consider functors over the category of irreflexive and symmetric finite relations. The models previously proposed for the separate notions of “variables” and “names” embed faithfully in the new one, and initial algebra/final coalgebra constructions can be transferred from the formers to the latter.</p><p>Moreover, the new model admits a definition of <i>distinction-aware</i> simultaneous substitutions. As a substantial application example, we give the first semantic interpretation of Miller-Tiu's <i>FOλ</i>⁽<i>nabla</i>⁾ logic. <i>FOλ</i>⁽<i>nabla</i>⁾ logic is designed for reasoning about operational semantics of languages with binding.</p><p>On the operational level, a contribution of the thesis is to extend an automata-based model for a variety of name-passing calculi with their associated notion of equivalence. HD-automata, a syntax-independent operational model, has been successfully applied for modelling e.g. early and late bisimulation in <i>π</i>-calculus and hyperbisimulation in Fusion calculus. However, current HD-automata are not adequate for modelling open bisimulation because they can not handle distinction-preserving substitutions. We solve this technical problem by integrating the notion of distinction into the definition of named sets, the basic building blocks of HD-automata. Finally, we discuss the relationship between HD-automata with distinctions, and <b>D</b>-LTS. </p>

Background: Urban form is a contributor to physical inactivity, which is a problem around the world. The association between urban form and physical activity is not fully understood, in part because improved methodologies of assessing urban form are necessary. This thesis consists of four studies that examined the association between urban form and physical activity in Edmonton, Alberta, using Geographic Information Systems. The research goals of this thesis were: (1) to compare two objective methods of assessing urban form walkability; (2) to examine the association between objective and subjective urban form measures and physical activity; and (3) to compare self-reported physical activity of individuals living in high and low walkability neighborhoods. Methods: Study 1 addressed Goal 1 and focused on objectively measuring urban form walkability based on public health and architectural (space syntax) measures. Study 2 addressed Goal 2 and focused on urban form association with self-reported physical activity. Study 3 addressed Goals 2 and 3 and focused on urban form association with self-reported walking. Study 4 addressed Goal 3 and involved an observational study of the pedestrian, cyclist, and vehicular movement in four neighbourhoods stratified by walkability and socio-economic status (SES). Results: Study 1 revealed agreement between public health and space syntax measures of assessing urban form. Study 2 revealed that only the objective environment was associated with physical activity. Study 3 revealed that only the perceived environment was associated with walking. Study 3 also revealed that walking as recommended was not different for individuals living in environments objectively assessed as higher versus lower in walkability. Study 4 revealed that observed pedestrian movement was higher in volume in neighbourhoods objectively assessed as higher in walkability. Cyclist movement was lower in volume in the neighbourhood classified as lower in walkability and in SES than in the other three neighbourhoods. Vehicular movement was no different in volume in the four neighbourhoods. Conclusion: Both objective and subjective urban form influence physical activity. A common Social Ecological Models - Space Syntax framework would enable a better understanding of urban form influences on physical activity.

Thesis (doctoral)--Radboud Universiteit, Nijmegen, 2007. / Cover title. Vita. Summary in Dutch. Includes bibliographical references (p. [321]-329).

%%%Un résumé mis en forme disponible dans les fichiers joints%%% Nous avons commencé par faire le pari que la syntaxe pouvait expliquer la majorité des signes de ponctuation. Cette optique nous a guidé durant toute notre étude, dont le but était de répondre à la question: «Comment, d'après ce qu'on peut observer dans les chartes écrites en français à Liège avant 1292, la ponctuation originale interagit-elle avec la syntaxe dans la langue française médiévale?» Nous avons d'emblée positionné notre étude par rapport à la réflexion sur la ponctuation médiévale, osant le pari que la syntaxe peut servir de point de référence pour expliquer la plus grande partie de la ponctuation des chartes. Nous avons ensuite décrit la constitution du corpus. Face à une pareille question, il n'était pas envisageable de commencer immédiatement à dépouiller les documents: il nous fallait définir avec exactitude les différents concepts dont nous allions avoir besoin. *** Première partie: modélisation *** La première partie du travail a ainsi été consacrée à la définition, sur des bases empiriques, des concepts mobilisés. Partant du sens commun et des principes fondamentaux de l'analyse linguistique classique (tenant du structuralisme et du fonctionnalisme), nous avons exploité les matériaux à notre disposition pour en dégager des notions, dans une approche inductive par son rapport aux faits, mais déductive par sa progression. Ainsi, au chapitre 2, l'observation du tracé des unités graphiques sur le parchemin nous a amené à abstraire les catégories nécessaires à une modélisation de l'ensemble des unités de la langue écrite, pour lesquelles nous proposons une terminologie neuve reflétant notre analyse. Nous avons progressivement défini _langue écrite_, puis _scriptèmes_, _grammèmes_, etc., progressant des unités les plus générales aux unités les plus particulières. Ce n'est qu'à ce prix que nous avons pu enfin délimiter exactement, le moins intuitivement possible, notre propre acception du mot _ponctuation_: «ensemble des ponctogrammes d'une langue écrite spécifique}. Dans cette définition, le terme _ponctogramme_ désigne une unité minimale de la langue écrite (_scriptème_) n'organisant pas l'espace (_grammème_), exprimant un contenu (_plérégramme_), ne dépendant pas matériellement d'une autre unité (_autogramme_), construit à l'aide de traits qui ne se combinent pas obligatoirement sur un même axe (_nébulogramme_) et non paraphrasable par d'autres unités significatives... Employer ce terme ne pouvait se faire qu'à la fin d'un exposé détaillé, passant en revue tous les hyperonymes impliqués. De manière moins audacieuse du point de vue de la terminologie employée, nous avons également tenté d'exposer notre conception de la syntaxe (chapitre 3). À nouveau, c'est le corpus qui nous a servi de guide: une fois les phrases délimitées de manière empirique, toutes les structures syntaxiques ont été passées en revue, nommées et intégrées dans un système théorique fondé sur la notion, héritée d'Alain Lemaréchal, de _relation minimale_. Nous sommes parti de l'existence d'un lien sémantique entre les unités en présence et nous avons caractérisé la manière dont ce lien était _spécifié_. Nous croyons, au delà de l'intérêt pratique de cette première partie, que les concepts dégagés peuvent être jugés suffisamment généraux sinon pour servir à la comparaison d'autres systèmes graphiques ou syntaxiques, du moins afin de constituer une base à leur description. *** Deuxième partie: analyse des données*** Une fois les concepts définis et l'ensemble du corpus annoté, il a été envisageable de répondre à la question posée. Néanmoins, l'ensemble des données disponibles, de par sa nature et son abondance, rendait l'approche traditionnelle -- ou plutôt _manuelle_ -- difficilement applicable. C'est pourquoi nous avons ouvert la seconde partie du travail en annonçant le recours à des méthodes plus outillées: les statistiques (introduites au chapitre 4). Ces méthodes présentées, nous avons sélectionné six caractéristiques morphosyntaxiques et positionnelles que nous avons jugées fondamentales pour décrire tous les constituants. Ces variables répondaient à six questions: 1/ du point de vue de l'ordre linéaire des mots, le constituant est-il le premier de la structure qu'il sert à construire? 2/ le constituant est-il le dernier de la structure qu'il sert à construire? 3/ quelle est la nature et le niveau d'intégration syntaxique de la structure qui le contient? 4/ quelle est la fonction du constituant? 5/ est-il de nature propositionnelle (mode personnel ou non)? 6/ est-il relaté? Nous avons ensuite pu mettre en relation les réponses à ces questions et la simple présence de ponctuation de part et d'autre des constituants, sans tenir compte, dans un premier temps, de la forme des ponctogrammes. Pour ce faire, nous avons essentiellement employé les techniques statistiques les plus classiques en sciences humaines: l'analyse des tableaux de contingence à l'aide du test du chi². Après avoir évalué la relation entre chacune des six variables et la ponctuation, nous avons constaté l'inefficacité de la méthode, ce qui nous a conduit à en rechercher une autre, permettant d'envisager simultanément toutes les variables morphosyntaxiques et positionnelles, en particulier. Ces nouveaux dépouillements nous ont permis de repérer, au milieu de la masse de constituants inégalement marqués par la présence d'un ponctogramme, ceux dont le marquage ou le rejet du marquage avait la plus faible probabilité d'être dû au hasard. Ce qui est ressorti de cette première étape, où les données étaient réduites à une représentation très abstraite, c'est une liste de points forts concernant: - la différence de fréquence entre le marquage de la phrase et celui des autres propositions; - la spécificité du marquage d'un certain nombre de types d'arguments; - le rejet manifeste du marquage du prédicat; - la faible fréquence de marquage à la suite des relateurs; - la forte présence de marquage devant les coordonnants. Nous avons ainsi pu observer que la ponctuation n'était pas obligatoire, mais que sa présence était certainement liée à un contexte syntaxique spécifique. Ensuite, ces grandes lignes ont pu être inspectées de manière plus concrète: pour chaque tendance qui le justifiait, nous avons évalué la probabilité que l'attraction ou la répulsion observée soit généralisée. Nous avons adopté la position pragmatique selon laquelle toute tendance suffisamment fréquente pouvait être considérée comme générale si le fait de retirer les chartes qui la manifestaient de manière significative de l'échantillon ne changeait pas significativement la probabilité d'attraction. Il en est ressorti que la plupart des tendances observées étaient générales ou trop faiblement illustrées pour être évaluées de ce point de vue. Par ailleurs, nous avons essayé de mettre en relation la ponctuation avec le contexte immédiat, ce qui nous a laissé observer que beaucoup de constituants étaient davantage, voire exclusivement marqués au contact d'autres constituants attirant également le marquage ou dans un contexte de coordination. Cet examen détaillé des tendances mises en évidence au chapitre 5 permet en fin de compte de faire le tri parmi les tendances et de repérer celles qui sont manifestement dues à l'entourage du constituant ou au document dans lequel il est attesté. En observant plus intuitivement les attestations, nous avons également pu repérer, comme nous nous y attendions, un certain nombre de tendances liées à des facteurs étrangers à la morphosyntaxe: la ponctuation de formules spécifiques au type discursif, celle des chiffres ou encore la présence d'un ponctogramme devant les noms de personnes. En outre, l'examen du détail des attestations nous a amené à proposer des révisions concernant le modèle d'analyse morphosyntaxique présenté au chapitre 3: 1/ il conviendrait que soient pris en compte les lexèmes employés; 2/ la notion de la coordination pourrait être étendue à des groupements de constituants que nous n'avons pas considérés comme coordonnés; 3/ il serait peut-être profitable de considérer les coordonnants de la même manière que les autres relateurs. D'autre part, nous avons insisté sur le fait que l'analyse des structures en syntaxe immédiate gagnerait à être moins abstraite. De cette étude de la fréquence du marquage est ressorti un ensemble d'environnements propices à la présence de ponctuation. À ce moment, il nous a été possible de réintroduire les considérations portant sur la _forme_ des ponctogrammes et d'employer l'_Analyse Factorielle des Correspondances_ (AFC) pour décrire les données. Nous avons effectué un tri croisé pour mesurer les associations entre la forme des ponctogrammes et la tendance au marquage spécifique à la position où se trouvait ce ponctogramme (ce qui incluait l'absence d'environnement attirant le marquage). Après une analyse exploratoire, nous avons complété notre étude par une série de tests évaluant la probabilité que les regroupements entre la forme des ponctogrammes et l'environnement dans lequel on les rencontre soit due au hasard. Dans la majorité des cas observés, les contrastes mis en évidence par l'AFC correspondaient à des oppositions significatives. L'étude détaillée de la forme a mené à la conclusion suivante: les ponctogrammes autres que <·> sont plus rares, et leur emploi paraît plus spécifique à un environnement donné. En d'autres termes: non seulement les scribes ne ponctuaient pas n'importe où, mais, en plus, ils n'employaient pas indifféremment les signes. Les méthodes ne permettant pas de traiter de manière efficace les ponctogrammes peu attestés, nous les avons simplement commentés, laissant de côté les statistiques pour une étude plus philologique. Ces observations ont mené, d'une part, à la critique de la validité de la transcription: 1/ certaines distinctions entre les formes sont peut-être superflues; 2/ certaines unités peuvent être confondues avec d'autres. D'autre part, la forme des ponctogrammes pose la question de la relation entre les ponctogrammes et le reste du système graphique.

This paper discusses three case studies on the realization of spurious prepositions and argues that they illustrate a general interaction of convergence requirements of the morphological component with an economy condition that enforces faithfulness between the lexical items present in the numeration and the lexical items present in the PF output.

Sprachverständnisuntersuchungen sind sowohl für die Forschung zum Spracherwerb und zu dessen Störungen als auch für die Diagnostik in der klinischen Praxis von essentieller Bedeutung. Zwei der verbreitetesten Methoden zur Erfassung des Verständnisses von syntaktischen Strukturen sind das Ausagieren von Sätzen (AS) und die Satz-Bild-Zuordnung (SBZ). Beide Methoden sind mit unterschiedlichen Anforderungen an die Probanden sowie mit spezifischen Vor- und Nachteilen verbunden (vgl. z.B. Goodluck 1996, Gerken & Shady 1996), woraus sich die Frage ergibt, inwiefern die Wahl der Methode das Testergebnis und die damit verbundenen Schlussfolgerungen beeinflusst. In der hier beschriebenen empirischen Untersuchung wurden die AS- und die SBZ-Methode anhand des Verstehens semantisch reversibler Sätze mit Objektvoranstellung direkt miteinander verglichen: Jeweils 24 monolingual mit Deutsch als Muttersprache aufwachsenden, sprachunauffälligen Kindern im Alter von 3;0 bis 3;5 bzw. 5;0 bis 5;5 Jahren wurden insgesamt zwölf Items, von denen neun aus semantisch reversiblen Sätzen mit Objektvoranstellung und drei aus entsprechenden subjektinitialen Kontrastsätzen bestanden, sowohl mittels der AS-Methode als auch mittels der SBZ-Methode präsentiert. Zum Ausagieren der Testsätze (AS-Test) wurden Spielzeugfiguren verwendet, für die Satz-Bild-Zuordnung (SBZ-Test) wurden pro Item ein Ziel- und zwei Ablenkerbilder erstellt. Die kindlichen Reaktionen wurden nach syntaktischen Kriterien als korrekt bzw. inkorrekt bewertet, Abweichungen wurden hinsichtlich der Fehlerart klassifiziert. Zusätzlich wurde bei den einzelnen Kindern der Erwerbsstand der untersuchten Struktur beurteilt und es wurden, sofern möglich, die eingesetzten Sprachverständnisstrategien ermittelt. Der Vergleich der Methoden ergab für die einzelnen Altersgruppen sehr unterschiedliche Befunde: Bei den 3;0- bis 3;5-jährigen Kindern zeigten sich im SBZ-Test teilweise starke Rateeffekte, die zu verfälschten Ergebnissen und kaum interpretierbaren Reaktionsmustern führten, während dies im AS-Test nicht der Fall war. Für diese Altersgruppe ist demnach die AS-Methode als die geeignetere anzusehen. Bei den 5;0- bis 5;5-jährigen Kindern konnte indes keine derartige Diskrepanz zwischen den beiden Tests festgestellt werden. Vielmehr waren die Leistungen hier insgesamt vergleichbar, so dass für diese Altersgruppe die AS- und die SBZ-Methode als für die Untersuchung des Syntaxverständnisses gleichwertig gelten können. Darüber hinaus bestätigte die Untersuchung viele der in der Literatur beschriebenen Vor- und Nachteile der beiden Methoden, darunter der geringere Materialbeschaffungsaufwand bei der AS-Methode, die größere Durchführungspraktikabilität der SBZ-Methode, die höhere Attraktivität und das geringere Risiko für Antwort-biases bei der AS-Methode, die leichtere Bewertbarkeit der kindlichen Reaktionen bei der SBZ-Methode. Im Vergleich der Altersgruppen zeigte sich, dass die 5;0- bis 5;5-jährigen Kinder Testsätze mit Objektvoranstellung deutlich besser verstanden als die 3;0- bis 3;5-jährigen: Die meisten der jüngeren Kinder hatten die untersuchte Struktur offenbar noch nicht erworben – sie interpretierten die Sätze mit Objektvoranstellung stattdessen am häufigsten nach der Wortreihenfolgestrategie, verstanden sie also wie subjektinitiale Strukturen. Von den 5;0- bis 5;5-jährigen Kindern dagegen hatten 75% die untersuchte Struktur rezeptiv erworben, interpretierten die Testsätze also primär korrekt nach der grammatischen Strategie. Aus diesen Ergebnissen wurde geschlossen, dass die Struktur semantisch reversibler Sätze mit Objektvoranstellung frühestens ab einem Alter von 5;0 bis 5;5 Jahren als in der ungestörten Sprachentwicklung rezeptiv erworben gelten kann. Da sich jedoch in beiden Altersgruppen trotz allem eine erhebliche interindividuelle Variation hinsichtlich der Verständnisfähigkeiten zeigte, muss insgesamt von einem relativ langen Zeitfenster für den ungestörten Erwerb dieser Struktur ausgegangen werden. / The assessment of children’s receptive language abilities plays an essential part in both experimental research on language acquisition and clinical diagnostics of language acquisition impairments. Two of the most prevalent methods especially used for assessing syntax comprehension are act-out and picture selection. The two methods do not only differ in their requirements on the proband/patient, but also have specific advantages and disadvantages concerning the development, administration, and interpretation of experimental or diagnostic tests (cf. Goodluck 1996, Gerken & Shady 1996). This leads to the question of how far the adopted method influences the result of the test and the conclusions drawn from it. In the study reported here, act-out and picture selection were, by means of a comprehension task using semantically reversible sentences with object fronting, directly compared to each other. Subjects were 48 German-speaking children with normal language development: 24 aged 3;0 to 3;5 years and another 24 aged 5;0 to 5;5 years. The children were presented with twelve stimuli, nine consisting of semantically reversible sentences with object fronting and three of correspondent subject initial constructions, using both an act-out procedure with toy props and a picture selection procedure with three choices per sentence. The child’s responses were scored correct or incorrect according to syntactic criteria, with incorrect responses categorised by type. In addition, the child’s level of acquisition of the structure in focus and, when possible, the comprehension strategies used by the child were determined. The comparison of the two methods yielded very different results for the individual age groups: A considerable proportion of the 3;0 to 3;5-year-olds displayed strong effects of guessing with the picture selection procedure, which led to inaccurate results and response patterns that were hardly interpretable, whereas this was not the case with the act-out procedure. According to these findings then, act-out is to be considered the more suitable method for children of this age. However with the 5;0 to 5;5-year-olds, no such discrepancy between the two methods was found, their results in both tests being comparable. Thus, for children aged five years or older, picture selection and act-out can be regarded as equivalent methods for the assessment of syntax comprehension. In addition to these findings, many of the advantages and disadvantages of the two methods described in the literature were confirmed in the study, such as the lower material provision costs with the act-out procedure, the higher administration practicability of the picture selection method, the greater appeal for children and the lower risk for response-biases with act-out tasks, and with picture selection, the easier scoring of the child’s responses . Comparing the two age groups, the 5;0 to 5;5-year-olds showed considerably better comprehension of the semantically reversible sentences with object fronting than the 3;0 to 3;5-year-olds: The majority of the younger children obviously had not yet acquired the structure in question and instead, mostly relying on the so called word order strategy, misinterpreted the sentences with object fronting as subject-initial structures. In contrast, 75% of the older children had receptively acquired the syntax of object fronting, since they interpreted most of the test sentences correctly according to a grammatical strategy. From these results, it was concluded that the structure of semantically reversible sentences with object fronting can be regarded as receptively acquired in normal language development at the earliest at age 5;0 to 5;5 years. However, since there was considerable interindividual variation in the comprehension abilities in both age groups, the time frame for the acquisition of this structure must be assumed to be relatively large.

The main question to be answered in this thesis is under what conditions bare singulars are acceptable in Norwegian. Although every native speaker of Norwegian masters the art of determining (unconsciously) when bare singulars can occur, it has turned out to be an amazingly complicated task to explicitly state the sufficient and necessary conditions for appropriate use of these phrases in Norwegian. This thesis is an attempt to reach that goal.

The first two papers in this dissertation discuss a fairly recently developed research field, Space Syntax, and how the findings in this field may be used to understand spatial economic patterns such as geographic distribution of market rents. Both papers use standard econometric methods to investigate the relationship between rents and the so called integration value developed within Space Syntax. The integration value may be understood as a measure of the accessibility of a certain location in a street network. The measure is constructed using tools from graph theory and uses the shape of the street network as its only input. The papers estimate hedonic models of office and retail leases from central Stockholm to test whether the integration value can help explain rents. A statistically significant effect of integration value on both office and retail rent is found. It appears as if Space Syntax adds important information to the understanding of intraurban rent patterns. Illiquidity is a main feature of most property markets and market participants are therefore directed to property appraisals to obtain information about market values. The reliability of property appraisals is therefore an important research topic. The third paper studies the “rationality” of valuations by testing if capitalisation (cap) rates from individual discounted cash-flow (DCF) valuations are consistent with economic theory. Standard econometrics is used to study the variation in cap rates. For the most part the results support the hypothesis that appraisers are “rational” in the above mentioned sense. Illiquidity of direct property also poses a problem when constructing property price indices.  Lack of price observations and heterogeneity among the few observations available is likely to introduce noise in price indices based on transactions. Valuations are therefore often used instead to construct indices. These indices however suffer from a bias due to so called “appraisal smoothing”. In the fourth paper it is shown that, given certain assumptions, one may filter out noise in a transaction-based price index by regressing it on a valuation-based index (contemporaneous and lagged one period). The procedure may in some circumstances improve pure valuation- or transaction-based indices. / QC 20101201

The study of clitic clusters and the restrictions that surface when two or more clitics are combined have long intrigued linguists and, as such, clitic phenomena are at the core of an ever-growing body of research in linguistic theory. However, three aspects remain largely unexplored when it comes to clitic cluster constraints, namely the evolution of these restrictions through time, the perception and processing of different clitic combinations, both acceptable and unacceptable, by native speakers and the acquisition of such combinations by non-native speakers. This dissertation, which focuses on 1st and 2nd person clitic clusters in Spanish, aims to shed new light on clitic phenomena with a new analysis and new data from all these perspectives. Specifically, I study the effects that case and marked features have on Spanish clitic combinations, both synchronically and diachronically. In addition, I explore the effects of clitic combination restrictions in language processing and analyze the learnability issues derived from such restrictions in three groups of speakers of Spanish as a second language whose L1s are English, French and Romanian, respectively. At a particular level, this dissertation is a study of clitic cluster constraints from different perspectives, both traditional and new, namely linguistic theory, diachrony, language processing and language acquisition. At a general level, it constitutes an attempt to explore the ways in which linguistic theory can guide applied research and, conversely, the ways in which experimental data may contribute to linguistic theory.