• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 6
  • 2
  • 1
  • 1
  • Tagged with
  • 10
  • 7
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

Das Intertemporale Recht bei der Baubewilligung... /

Straub, Martin. January 1976 (has links)
Inaug; _ Diss.: Rechts- und staatswissenschaftliche Fakultät: Zürich: 1976. _ Bibliogr; p. X-XVI.
2

Le Permis de construire.

Lorthe, Jean-Claude. January 1900 (has links)
Th.--Droit public--Toulouse 1, 1977.
3

La constructibilité des propriétés foncières : entre la règle et le contrat / Constructability of land properties : between regulation and agreement

Lamy-Willing, Sébastien 14 November 2016 (has links)
Le droit de l’urbanisme s’articule principalement autour de l’acte de construire. Se pose alors la question fondamentale de la nature juridique du droit de construire. Bien qu’attaché au droit de propriété, celui-ci n’en demeure pas moins défini par des règles d’urbanisme, et s’exerce dans les limites des servitudes administratives et contractuelles. Selon la structure foncière sur lequel est envisagé un projet de construction et le mode opérationnel adopté pour ce faire, le droit de construire, quantifié en surface de plancher, peut être modulé, majoré, ou privatisé. Alors que les pouvoirs publics ont engagé depuis une quinzaine d’années une politique en faveur de la densification, ayant donné lieu à d’importantes réformes du code de l’urbanisme, une réflexion de fond s’impose afin de donner davantage de cohérence et de simplicité à un droit initialement conçu comme une police spéciale de l'occupation et de l'utilisation du sol, et qui ne cesse de se complexifier / Urban planning law mainly revolves around the action of building. This leads us to fundamentally question the legal nature/ status of the right to build. Even though the right to build is a property one, it is also defined by urban planning regulations and is subject to administrative and contractual limitations of easements. According to the land property structure, the right to build, quantified in floor area, can be modified, increased or privatized.While public authorities have engaged in the last 15 years into policies favoring densification, that resulted in major reforms of the urban planning code, a more in depth reflection remains necessary to bring more coherence and simplicity to the code, that had been initially conceived as a “special police” for land cover and use, and that is growing to become more and more complex
4

Modelling and verifying land-use regulations comprising 3D components to detect spatio-semantic conflicts

Emamgholian, Saeid 12 November 2023 (has links)
L'utilisation du territoire est régie par différents mécanismes que nous pourrions nommer géorèglementations comme par exemples les plans d'urbanisme, les permis de construire ou le zonage. La géorèglementation, en anglais, on parle de Land-use Regulation (LuR), permet d'imposer ou d'influencer l'utilisation d'un territoire dans le but d'atteindre des objectifs de politique publique. Qu'on le veule ou pas, la géorèglementation est nécessaire car elle permet de consolider une saine gestion des ressources, elle aide à la conservation et au développement du territoire, elle fournit un cadre législatif important pour assurer la sécurité et le bon fonctionnement pour l'accès et l'utilisation harmonieuse du territoire. La géorèglementation s'applique donc sur un territoire, où les composantes spatiales, comme la géométrie des éléments, sont primordiales. Il faudra par exemple tenir compte des marges de recul (donc distance) lors de la construction d'une maison, d'une superficie maximale de construction, etc. Ces composantes spatiales du territoire et son occupation peuvent également faire intervenir la 3e dimension comme la profondeur, la hauteur ou encore le volume. La pratique et la littérature montrent que la géorèglementation est actuellement principalement décrite dans des documents de planification et des lignes directrices, dont certains peuvent inclure une représentation spatiale en 2D (i.e. des cartes). On retrouve parfois de coupes transversales en 2D pour représenter l'étendue 2D/3D des LuRs. Cette manière de travailler à partir de document manuscrit et de plans 2D présente des lacunes importantes. Elle limite la possibilité d'avoir une compréhension complète et adéquate de l'étendue 3D des LuRs et donc dans la prise de décision, comme par exemple, la détection de conflits potentiels dans la délivrance de permis de construire ou d'aménagement. De plus, l'application et donc la validation de ces géorèglementations à partir de documents descriptifs prend du temps et laisse place à la subjectivité, ce qui peut conduire à de mauvaises décisions. Les autorités en matière de planification territoriale devraient avoir accès à toutes les informations et à toutes les représentations spatiales requises pour évaluer les LuRs et détecter les conflits potentiels. Force est de constater, que ce n'est pas le cas actuellement, et que même si des modèles 3D de bâtiments (BIM) ou de ville (CityGML) ont vu le jour, ils ne sont pas intégrés dans ces processus de géorèglementation. Cette recherche doctorale est dédiée à la conception et au développement d'un cadre de référence pour la modélisation géométrique 3D des LuRs, leur intégration dans le contexte des modèles de ville 3D et la détection automatique des conflits spatio-sémantiques potentiels lors de la validation des LuRs. Ce cadre de référence vise donc à soutenir les autorités en matière d'application de géorèglementations. La recherche se décline en cinq sous-objectifs soit 1) proposer un inventaire des différents LuRs 3D en précisant leurs composantes 3D/verticales, 2) proposer une classification fonctionnelle basée sur l'ampleur des conflits potentiels des LuRs 3D pour soutenir la prise de décision des autorités, 3) modéliser les LuRs en 3D puis les combiner avec d'autres sources d'information (ex. BIM, CityGML et cartes de zonage), 4) détecter les conflits spatiaux et sémantiques potentiels qui pourraient survenir entre les LuRs modélisés et les objets physiques comme les éléments de construction et, 5) concevoir et développer une preuve de faisabilité. Parmi plus de 100 de géorèglementations 2D/3D passés en revue, 18 de géorèglementations 3D sont inventoriées et discutées en profondeur. Par la suite, pour chacune de ces géorèglementations, les informations et paramètres requis pour leur modélisation 3D automatique sont établis. L'approche proposée permet l'intégration de la modélisation 3D de ces géorèglementations à des modèles de villes et de bâtiments 3D (par exemple, BIM, CityGML et le zonage). Enfin, la thèse fournie un cadre procédurale pour vérifier automatiquement si les géorèglementations 3D viennent en conflit avec des éléments de bâtis planifiés. La preuve de faisabilité est un prototype Web basée sur une étude de cas axée sur le processus d'émission de permis de construire d'un bâtiment situé dans la ville de Melbourne, Victoria, Australie. Les géorèglementations 3D suivantes ont été modélisées et vérifiées : 1) limites de construction en hauteur, 2) exposition au soleil pour estimer l'efficacité énergétique du bâtiment, 3) limite des zones d'ombrage, 4) limites de l'impact sonore, 5) zonage de vue, 6) marges latérales et arrières, 7) marges de rue (côtés et frontaux), et 8) limites d'inondation. / The use and developments of land are regulated by utilising different mechanisms called Land-use Regulation (LuR) in various forms such as planning activities, zoning codes, permit requirements, or subdivision controls of cities. LuR makes it possible to impose or influence the use and development of land in order to achieve public policy objectives. Indeed, LuR is essential since it allows the appropriate reinforcement of resource management, contributes to the land protection and development, and provides a tangible legal framework to ensure safety and proper functioning for the harmonious access and use of land. LuRs applies to land, where the spatial components, such as the geometry of the elements, are essential. For example, setback and height limits (i.e., the distance) or different floors' gross area should be considered when owners/developers propose a new construction on their property. These spatial components of the land, its occupied elements (e.g., building elements), or LuR itself can comprise the third dimension (i.e., depth, height, or even volume). Literature and related works show that LuR is currently mainly described in planning documents and guidelines, some of which may include 2D spatial representation (i.e., maps) or 2D cross-sections to represent the LuRs' 2D/3D extent. This method (i.e., working on textual documents and 2D plans) has significant shortcomings in understanding the LuRs' 3D extent and in decision-making (e.g., detecting potential conflicts in issuing planning/building permits). Moreover, checking LuRs' descriptions inside the textual documents is time-consuming, and subjective which might lead to erroneous decisions. Planning authorities need to have access to all information and the spatial representation that is required to assess LuRs and detect their potential conflicts. Clearly, it is generally lacking and even if 3D models of buildings (e.g., BIM designs) or cities (e.g., CityGML) have emerged, they do not incorporate the concept of LuRs. This Ph.D. research follows qualitative engineering type of method that generally aims to propose a conceptual framework for modelling 3D LuRs geometrically as part of 3D city models and formalising geometric and semantic requirements for detecting LuRs' potential conflicts automatically to support planning authorities in the statuary planning phase. To achieve the general objective, five specific objectives are defined as: 1) to formulate an inventory of various 3D LuRs specifying their 3D/vertical components, 2) to propose a functional classification based on the magnitude of 3D LuRs' potential conflicts for supporting planning authorities' decision-making goals, 3) to model LuRs in 3D and then combine them with other sources of information (e.g., BIM, city models, and zoning maps), 4) to automate the detection of potential spatio-semantic conflicts that might arise between the modelled LuRs and physical objects like building elements, and 5) to design and develop proof of feasibility for modelling and verifying 3D LuRs automatically. Among more than one hundred 2D/3D reviewed LuRs, eighteen 3D LuRs are inventoried and discussed thoroughly. For each of these LuRs, the research work identifies and proposes the required information (as level of information need) by considering both geometries and semantics to combine modelled LuRs with other sources of information (e.g., BIM, CityGML, and planning maps). Finally, the thesis proposes the level of information need considering requirements to verify 3D LuRs automatically for detecting potential conflicts using analytical rules (e.g., clash detection). The proof of feasibility is a web-based prototype based on a case study located in the City of Melbourne (where planning activities are under the control of authorities in the state of Victoria, Australia) focusing on the planning permit process. The following 3D LuRs were modelled and verified: 1) building height limits, 2) energy efficiency protection, 3) overshadowing open space, 4) noise impacts, 5) overlooking, 6) side and rear setbacks, 7) street setbacks (side and front), and 8) flooding limits.
5

Le régime juridique de prévention et de réparation des risques naturels majeurs face aux exigences de justice sociale : le cas des Antilles francaises / The legal system of prevention and repairs of major natural hazards confronted with the requirements of social and environmental justice : The case of the French West Indies

Coco, Roger 30 January 2015 (has links)
Les risques naturels majeurs constituent une menace plus ou moins récurrente pour la plupart des populations de la planète. Les catastrophes naturelles sont à la fois sources et révélatrices d’inégalités sociales et environnementales, dans le monde, mais aussi sur le territoire de la République française. Les Antilles françaises sont très fréquemment, et très lourdement frappées par les aléas naturels. La réponse en matière de gestion des crises, et, en amont, en matière de prévention, ne nous semble pas à la hauteur des défis, et des besoins des populations. C’est la raison pour laquelle nous nous interrogeons, à travers la présente thèse, sur la place de la solidarité et de l’égalité, dans le régime juridique des risques naturels majeurs. C’est une préoccupation doctrinale majeure, inscrite dans la constitution. La recherche du lien entre droit des risques naturels majeurs et justice sociale et environnementale est l’objet de la présente étude, s’agissant de la réponse juridique à la préoccupation des populations et catégories défavorisées, qui s’avèrent a priori les plus atteintes par les catastrophes naturelles. Les limites des textes, l’insuffisance des moyens, ainsi que les pratiques locales, facteurs d’aggravation des vulnérabilités, le laxisme des pouvoirs publics nationaux et territoriaux, l’absence de culture de risque et l’esprit « kokagneur » des populations (avec des différences de comportement entre la Guadeloupe et la Martinique), toutes ces considérations rendent illusoire la détermination proclamée des pouvoirs publics de résoudre les problèmes de risques naturels majeurs. Des voies d’un renforcement de la solidarité sont proposées. Cette contribution à la recherche sur les risques ambitionne d’apporter aux acteurs, une vision transversale de la problématique des risques naturels, par l’analyse du régime juridique confronté à une exigence de justice sociale et environnementale. Les Antilles françaises servent de support à cette étude. / Major natural hazards are more or less recurring threat for most people in the world. Natural disasters are both sources and revealing social and environmental inequalities in the world, but also in the French Republic. The French West Indies are very frequently and strongly hit by natural hazards. The answer in terms of crisis management, and beforehand, in terms of prevention, doesn’t seem to be up to the population’s challenges and needs. This is why we wonder, in this thesis, about the place of solidarity and equality in the legal system of major natural hazards. This is a major doctrinal concern in the constitution. The research of the relationship between major natural hazards law and environmental and social justice is the subject of this study, concerning the legal answer to the concerns of the underprivileged people and categories, which prove to be a priori the most struck by natural disasters. The limits of the legislation, inadequate resources and local practices, vulnerabilities worsening factor, the laxity of the national and territorial public authorities, the lack of risk culture and the "kokagneur" spirit of the populations (with behavior differences between Guadeloupe and Martinique), all these considerations make unreal the government’s proclaimed determination to solve the major natural hazards issues. Ways to strengthen solidarity are proposed. This contribution to risks research aims to bring to the players an interdisciplinary view of natural hazards issues, through the analysis of the legal system confronted with the requirement of social and environmental justice. The French West Indies are used as research support.
6

Les pratiques effectives des enseignants pour construire la langue écrite chez les adultes en milieu plurilingue. : le cas de l'Alliance française de Kinshasa / R.D. Congo / construction of written language among adults in multilingual environment : case of Alliance française de Kinshasa / DR Congo

Mpoyi Cilo, Norbert 17 December 2015 (has links)
RésuméCette recherche qui s’inscrit dans le domaine de l’interactionnisme sociodiscursif, concerne la construction de la compétence scripturale chez les adultes en milieu multilingue. Elle interroge les pratiques effectives des enseignants en vue de comprendre ce qu’ils font réellement lorsqu'ils enseignent l’écrit. En prenant appui sur la théorie de la transposition didactique et la théorie des objets enseignés, une méthodologie d’observation de classe écologique a été mise en place dans le cadre de classes de Français Langue Etrangère et Seconde (FLES) pour un public adulte à l’Alliance Française de Kinshasa, R.D. Congo. Les données recueillies proviennent des interactions mobilisant un dispositif didactique centré sur les genres. L’analyse qualitative des régulations révèle deux logiques de l’enseignement de l’écrit : une à dominante linguistique et l’autre à orientation communicative et qui ouvre un espace didactique où l’approche par les genres textuels aurait toute sa place pour la production de textes écrits.Mots-clés :Pratiques effectives des enseignants – compétence scripturale – objet enseigné – langue écrite – milieu plurilingue – adultes – didactique – genre textuel. / Abstract :This research study in the field of socio-discursive interactionism focuses on scriptural competence of adult learners in a multilingual context. It questions the real practices of teachers with a view to describing what they do when they teach writing skills. Inspired by the theories of didactic transposition on the one hand, taught objects on the other, an ecological research methodology has been implemented in classes of French as a foreign or second language (FFL/FSL) for adult learners at the Alliance Française in Kinshasa, R.D. Congo. Data were collected from the interactions based on a didactic option focusing on textual genre. The qualitative analysis of teacher regulations highlights two different approaches to teaching writing skills. The first is essentially linguistic, whilst the second tends towards a communicative approach which didactically speaking, opens up a space in which an approach by textual genres would have a legitimate and beneficial place.Keywords: Effective Practices of teachers – scriptural competence - taught subject – writing skills - multilingual environment - adults - textual genre
7

La sécurisation des permis de construire contre les recours abusifs / To strengthen legal security of building permits against the excessive proceedings

Boussemart, Déborah 09 July 2015 (has links)
La présente thèse s'intéresse à la systématisation des menaces d'annulation des permis de construire. Elle a pour objet d'analyser la réalité des recours abusifs devant le juge administratif français. Le phénomène de multiplication des recours abusifs pose le problème de l'instrumentalisation du juge par des requérants malveillants. Cette instrumentalisation transforme le prétoire en une sorte de marché juridictionnel et se traduit en pratique par des coûts contentieux et transactionnels de plus en plus lourds pour les bénéficiaires d'autorisation d'urbanisme. Des instruments de régulation procédurale existent mais sont apparus insuffisants jusqu'à la réforme du contentieux d'urbanisme de 2013. Cette réforme apporte des solutions innovantes. L'optimisme pousse à croire que ces mesures seront efficaces, mais un brin de pessimisme conduit à l'analyse d'autres solutions. Ainsi, le but de cette thèse est, d'une part, d'analyser les écueils actuels qui ont conduit à l'insécurité des bénéficiaires d'autorisation d'urbanisme et, d'autre part, d'analyser la pertinence des instruments juridiques régissant le droit de l'urbanisme avec un focus particulier sur les apports de la réforme des procédures contentieuses en urbanisme de 2013. / The present dissertation is interested in the systematization of the threats of construction authorizations cancellation. This discussion examines the reality of overuses of the right of individual recourse in order to examine issues which could enhance the legal certainty of construction authorizations. The rapid growth of the overused recourses number leads to the manipulation of the law and of the judge. This transforms the courtroom in an odd market where the judge is the tool of a bad regulation. The result is significant. The reason for that is very simple: litigation is quite expensive and amicable settlements too. However, regulatory measures exist but they are not effective. The 2013 reform brought several innovative changes. Optimism leads us to believe these changes will be effective. But a more pessimistic viewpoint leads to highlight the other solutions. Hence, the purpose of this thesis work is to analyze the obstacles and limits of the existing tools which have led to insecure construction authorizations. Furthermore, it aims to analyze the relevance of existing legal instruments in urban planning law.
8

Subtree Hashing of Tests in Build Systems : Rust Tricorder / Subträd Hashing av tester i byggsystem : Rust Tricorder

Capitanu, Calin January 2023 (has links)
Software applications are built by teams of developers that constantly iterate over the codebase. Software projects rely on a build system, which handles the management of dependencies, compilation, testing, and deployment of the software. The execution of the tests during each build allow developers to validate that their changes do not introduce regressions. However, the execution of the test suite during each build can take a long time, potentially impacting the development process. To facilitate quicker feedback, build systems use incremental building in order to avoid the reprocessing of unmodified artifacts. This is achieved by maintaining a cache of source files, and only rebuilding artifacts that differ from their cached version. Yet, changing any part of a source file invalidates the cache, triggering the re-execution of unmodified tests. This focus over an entire file can be misleading to the build system, as it can not determine whether the actual function being tested has changed, thus invoking redundant re-testing. In this thesis, we propose a finer-grained approach to caching within build systems, by caching components within the Abstract Syntax Tree instead of entire source files. We compare their hashes on subsequent runs, in order to identify components that have changed. The potential advantage of this strategy is that re-running a specific test that has not been modified will leverage the use of caches even if the file that contains it has been modified. We implement our approach in a system called TRICORDER, and integrate it within a build system called WARP. TRICORDER works by analyzing RUST source code in order to identify the test cases that have not been changed, such as through the addition of comments, or modifications of unrelated functions. This can benefit developers by avoiding the re-execution of tests that are unmodified. We evaluate our approach against 4 notable, open-source RUST projects, targeting a set of 16 tests within them. We first analyze the accuracy with which TRICORDER detects the internal dependencies of a test function, which is needed for the code slicing done by TRICORDER, in order to cache code items related to the target test function. We then introduce artificial changes to our study subjects in order to determine whether or not TRICORDER indicates tests that need to be re-run. Finally, we analyze the ability of TRICORDER to identify real changes based on the commit history of our study subjects. Our results show that the more granular approach to caching can avoid the unnecessary recompilation and re-execution of test cases. An important direction for future work is to extend the current implementation to support the entire set of RUST features in order to evaluate TRICORDER on a larger set of study subjects. / Programvaruapplikationer byggs av utvecklingsteam som ständigt itererar över kodbasen. Programvaruprojekt förlitar sig på ett byggsystem som hanterar beroenden, kompilering, testning och implementering av programvaran. Utförande av testerna under varje byggprocess möjliggör för utvecklare att validera att deras ändringar inte introducerar regressionsfel. Dock kan utförningen av testsviten under varje byggprocess ta lång tid och potentiellt påverka utvecklingsprocessen. För att underlätta snabbare återkoppling använder byggsystemen inkrementell byggning för att undvika onödig återbearbetning av oförändrade artefakter. Detta uppnås genom att bibehålla en cache av källkodsfilerna och endast bygga om artefakter som skiljer sig från deras cachade version. Att ändra vilken del som helst av en källkodsfil invaliderar cachet och utlöser körningen av oförändrade tester. Fokuseringen på en hel fil kan vara vilseledande för byggsystemet, då det inte kan avgöra om den faktiska funktionen som testas har ändrats och därigenom påbörjar onödig omtestning. I detta projekt föreslår vi en mer detaljerad cache-strategi inom byggsystem, genom att cacha komponenter inom det abstrakta syntaxträdet istället för hela källkodsfiler. Vi jämför deras hash-värden vid senare körningar för att identifiera ändringar. Den potentiella fördelen med denna strategi är när man kör om ett specifikt test som inte har ändrats kan cachen användas även om filen som innehåller testet har modifierats. Vi implementerar vår metod i ett system som kallas TRICORDER och integrerar det i ett byggsystem som heter WARP. TRICORDER fungerar genom att analysera RUST-källkod för att identifiera testfall som inte har ändrats, till exempel genom tillägg av kommentarer eller ändringar av irrelevanta funktioner. Detta kan gynna utvecklare genom att undvika att köra om tester som inte har ändrats. Vi utvärderar vår metod mot 4 välkända öppen källkodsprojekt i RUST och riktar in oss på en uppsättning av 16 tester inom dem. Först analyserar vi noggrannheten med vilken TRICORDER identifierar de interna beroendena hos en testfunktion, vilket behövs för kodavskärningen som TRICORDER utför för att cachelagra kodenheter relaterade till måltestfunktionen. Sedan inför vi konstgjorda ändringar i våra studieobjekt för att avgöra om TRICORDER indikerar tester som behöver köras om. Slutligen analyserar vi TRICORDER förmåga att identifiera verkliga ändringar baserat på ändringshistoriken för våra studieobjekt. Våra resultat visar att den mer granulära cachelagringsmetoden kan undvika onödig omkompilering och omkörning av testfall. En viktig riktning för framtida arbete är att utöka den nuvarande implementationen för att stödja hela uppsättningen av RUST-funktioner för att utvärdera TRICORDER på en större uppsättning studieobjekt. / Aplicațiile software sunt dezvoltate de programatori care iterează constant asupra codului. Proiectele de software se bazează pe un sistem de generare care gestionează dependențele, compilarea, testarea și lansarea software-ului. Execuția testelor permite dezvoltatorilor să valideze că modificările lor nu introduc regresii. Cu toate acestea, execuția testelor în cadrul fiecărei generări poate dura mult timp, având potențialul de a incetinii dezvoltarea. Pentru a facilita o reprocesare mai rapidă, sistemele de generare utilizează construirea incrementală pentru a evita reprelucrarea a artefactelor nemodificate. Acest lucru se realizează prin menținerea unei cache și reconstruirea doar a artefactelor care diferă de cele din cache. Cu toate acestea, orice modificare a unui fișier sursă invalidează cache-ul, declanșând reprocesarea. Focalizarea asupra unui fișier întreg poate induce în eroare sistemul de generare, deoarece nu poate determina dacă funcția testată a suferit modificări, declanșând astfel teste redundante. În această teză, propunem o abordare mai detaliată a cache-ului în cadrul sistemelor de generare, prin cacharea componentelor Arborelui Sintactic Abstract, în locul întregilor fișiere sursă. Comparăm hash-urile acestora în rulările ulterioare pentru a identifica componentele modificate. Avantajul potențial al acestei strategii constă în faptul că reexecutarea unui test care nu a nemodificat va utiliza cache-urile chiar dacă fișierul a fost modificat. Implementăm abordarea noastră într-un sistem numit TRICORDER și îl integrăm într-un sistem de construire numit WARP. TRICORDER funcționează prin analizarea codului sursă RUST pentru a identifica cazurile de testare care nu au fost modificate, cum ar fi prin adăugarea de comentarii sau modificări ale funcțiilor nerelevante. Acest lucru poate fi benefic pentru dezvoltatori, evitând reexecutarea testelor care nu au fost modificate. Evaluăm abordarea noastră în raport cu 4 proiecte notabile open-source în RUST, având în vedere un set de 16 teste în cadrul acestora. Mai întâi, analizăm precizia cu care TRICORDER detectează dependențele interne ale unei funcții de testare, ceea ce este necesar pentru tăierea de cod realizată de TRICORDER, pentru a memora în cache elementele de cod legate de funcția de testare țintă. Apoi, introducem modificări artificiale în subiecții noștri de studiu pentru a determina dacă TRICORDER indică sau nu teste care trebuie reluate. În final, analizăm capacitatea TRICORDER de a identifica schimbări reale pe baza istoricului de angajări al subiecților noștri de studiu. Rezultatele noastre arată că abordarea mai granulară a memorării în cache poate evita recompilarea și reexecutarea inutilă a cazurilor de testare. O direcție importantă pentru viitor este extinderea implementării curente pentru a sprijini întregul set de caracteristici RUST, pentru a evalua TRICORDER pe un set mai mare de subiecți de studiu.
9

L'enseignement de l'architecture à l'École des beaux-arts de Québec : ses antécédents, son dévelppement et son apport à la profession

Légaré, Denyse 25 April 2018 (has links)
Fondée en 1922, l'École des beaux-arts est la première institution à offrir un enseignement spécialisé aux aspirants architectes à Québec. Mise sur pied par le gouvernement du Québec avec le concours d'artistes, d'architectes et d'enseignants français, la structure des écoles de Québec et de Montréal est calquée sur le modèle de l'École des beaux-arts de Paris. La prise à charge par l'État de l'enseignement de l'architecture bouleverse le réseau de l'enseignement technique et supérieur. Elle donne ses lettres de noblesse à l'enseignement artistique en le détachant des écoles de métiers. Elle écarte l'architecture du domaine des sciences pour l'intégrer aux arts, s'appropriant par la même occasion un domaine spécialisé de l'éducation, auparavant sous l'autorité du clergé. Les objectifs principaux de l'école sont de répandre la connaissance de l'art et de développer le goût du beau, tout en préparant des artisans, des hommes de profession et des artistes capables de participer au développement de la société industrialisée. Moins de dix ans après l'ouverture des écoles, les professeurs invités sont remplacés par des directeurs et professeurs formés dans la tradition des beaux-arts et jouissant d'une profonde connaissance du milieu québécois. La section d'architecture de Québec accueille des élèves jusqu'en 1937. Le cours a une durée moyenne de cinq à six ans. Le discours de l'École des beaux-arts est fondé sur la théorie de Julien Guadet, exposée dans un ouvrage qui s'est rapidement imposé à Paris et dans toutes les écoles régionales comme une source d'enseignement de grande valeur. Les élèves s'initient à la composition architecturale par des exercices et travaux d'ateliers, auxquels ils consacrent le plus clair de leur temps. En quinze ans, l'école de Québec aura octroyé trente-sept diplômes d'architecture. Une fois admis à la pratique, généralement un an après l'obtention de leur diplôme, les architectes exercent seuls ou en association. À Québec, la montée des architectes diplômés des beaux-arts est remarquable. Entre 1927 et 1950, vingt-sept d'entre eux réaliseront plus de six cents projets d'architecture publique, religieuse et privée. Leur œuvre témoigne de l'influence de leur formation académique à l'École des beaux-arts. / Québec Université Laval, Bibliothèque 2013
10

Modalização e polifonia no gênero resenha acadêmica:um olhar apreciativo sobre a voz da ciência

Barbosa, Maria vanice Lacerda de Melo 28 August 2015 (has links)
Submitted by Maike Costa (maiksebas@gmail.com) on 2016-07-20T11:32:37Z No. of bitstreams: 1 arquivo total.pdf: 17599967 bytes, checksum: cb2c0f5624933bb75b6adac7eb251e41 (MD5) / Made available in DSpace on 2016-07-20T11:32:37Z (GMT). No. of bitstreams: 1 arquivo total.pdf: 17599967 bytes, checksum: cb2c0f5624933bb75b6adac7eb251e41 (MD5) Previous issue date: 2015-08-28 / In order to building a spoken or written text, regardless of gender that it is being carried out, the speaker uses linguistic features such as semantic-argumentative strategies intending to guide the interlocutor to certain conclusions. The modalization and polyphony, accordingly, are phenomena that allow the speaker to leave printed his subjectivity in the content of the statements, while acting according to his interlocutor. Focusing in these discussions, this investigation aims to show that modalization and polyphony reveal, linguistically, subjectivity in the digest genre, acting therefore as argumentation features. It is a qualitative research, descriptive and interpretative, which adopts the theoretical and methodological principles of Argumentative Semantics. The corpus consists of ten digests collected in six editions of the Jornal de Resenhas, of the Discurso Editorial, ISSN 1984-6282, published in 2009, 2010 and 2012. The theoretical discussions concerning the Argumentation Theory of Language have based in Ducrot (1994, 1987, 1988), Espíndola (2004), Nascimento (2005, 2009), Koch (2006a, 2006b) and others arguing about the theory approach. The modalization is discussed under the postulates of Castilho and Castilho (1993), Koch (2006b), Cervoni (1989), Nascimento (2009), Neves (2011a), Palmer (2011) and García Negroni (2011). Besides, it was used as theoretical basis, Foucault (2011), Bakhtin (2010a, 2010b), Marcuschi (2008) and others to the formulations about the digest genre. The analysis reveals that digesters use modalization and the polyphony of speakers as phenomena that ultimately report the speakers‟ subjectivity in relation to the view of the voices of other speakers, that is, as a discursive strategy that guides the way the text of the digest should be read. Thus, the gender digest is defined as a place of interaction of voices and subjective impressions through which the speaker summarizes praises, criticizes and evaluates the most diverse academic intellectual productions. / Pour construire un texte parlé ou écrit, indépendamment du genre qui réalise, le locuteur utilise des fonctionnalités linguistiques comme les stratégies sémantiques argumentatif afin de guider les appelants à certaines conclusions. La modalisation et la polyphonie, en conséquence, sont des phénomènes qui permettent au locuteur laisser imprimé sa subjectivité dans le contenu des déclarations, tout en agissant en fonction de son interlocuteur. Avec l'accent dans ces discussions, cette recherche vise à ètidier les annonceurs de modalité et de la polyphonie, comme des phénomènes qui révèlent, linguistiquement, la subjectivité dans le genre compte-rendu, s‟agissant, de cette manière, comme des marques d'argumentation. Il est une recherche qualitative, descriptive et interprétative, qui adopte les principes théoriques et méthodologiques de la sémantique argumentative. Le corpus se compose de dix comptes-rendus dans six éditions du Jornal de Resenhas, imprimés par Discurso Editorial, ISSN 1984-6282, publiés en 2009, 2010 et 2012. Pour les discussions théoriques en concernant a la Théorie de L'argumentation de la Langue, nous fundamentons-nous en Ducrot (1994, 1987, 1988), Espíndola (2004), Nascimento (2005, 2009), Koch (2006a, 2006b) et d'autres qui discutent à propos de l'approche de la théorie. La modalisation est discuté sous les postulats de Castilho et Castilho (1993), Koch (2006b), Cervoni (1989), Nascimeto (2009), Neves (2011a), Palmer (2011) et García Negroni (2011). Et on utilise encore comme une base théorique, Foucault (2011), Bakhtin (2010a, 2010b), Marcuschi (2008) et d'autres pour les formulations sur la révision de genre. L'analyse révèle que les examinateurs utilisent la modalisation et la polyphonie des haut-parleurs comme des phénomènes qui relèvent finalement la subjectivité des intervenants des examens par rapport à la vue de la voix des autres orateurs, qui est, comme une stratégie qui guide discoursivement le chemin du texte de comme l'avis doit être lu. Le genre compte-rendu, dans cette recherche est considérée comme un lieu d'interaction des voix et impressions subjectives ainsi à travers laquelle l'orateur résume louanges, critique et évalue plus diverses productions intellectuelles academiques. / Ao construir um texto falado ou escrito, independente do gênero que o realize, o locutor se utiliza de recursos linguísticos como estratégias semântico-argumentativas com a finalidade de orientar o interlocutor para determinadas conclusões. A modalização e a polifonia, nesse sentido, são fenômenos que possibilitam ao locutor deixar impressa a sua subjetividade no conteúdo dos enunciados, ao mesmo tempo em que age em função de seu interlocutor. Com o foco nessa discussão, esta pesquisa objetiva investigar a modalização e a polifonia de locutores como fenômenos que revelam, linguisticamente, a subjetividade no gênero resenha acadêmico-científica, funcionando, portanto, como marcas de argumentação. Trata-se de uma investigação qualitativa, de caráter descritivo e interpretativista, que adota os princípios teórico-metodológicos da Semântica Argumentativa. O corpus é constituído de dez resenhas, coletadas em seis edições do Jornal de Resenhas, da Discurso Editorial, ISSN 1984-6282, publicadas nos anos de 2009, 2010 e 2012. Para as discussões teóricas concernentes à Teoria da Argumentação na Língua, embasamo-nos em Ducrot (1994, 1987, 1988), Espíndola (2004), Nascimento (2005, 2009), Koch (2006a, 2006b) entre outros que discutem a respeito da teoria em abordagem. A modalização é discutida sob os postulados de Castilho e Castilho (1993), Koch (2006b), Cervoni (1989), Nascimento (2009), Neves (2011a), Palmer (2011) e García Negroni (2011). Ainda servem de embasamento teórico, Foucault (2011), Bakhtin (2010a, 2010b), Marcuschi (2008) e outros, para as formulações acerca do gênero textual resenha. As análises revelam que os resenhistas utilizam a modalização e a polifonia de locutores como fenômenos que acabam por denunciar a subjetividade dos locutores das resenhas em relação ao ponto de vista das vozes de outros locutores, ou seja, como uma estratégia que orienta discursivamente a forma como o texto da resenha deve ser lido. O gênero resenha, nesta investigação, é visto como um lugar de interação de vozes e, portanto, de impressões subjetivas, através do qual o locutor resume, elogia, critica e avalia as mais diversas produções intelectuais acadêmicas.

Page generated in 0.0624 seconds