978 resultados para Formal aspects
Resumo:
A BSP superstep is a distributed computation comprising a number of simultaneously executing processes which may generate asynchronous messages. A superstep terminates with a barrier which enforces a global synchronisation and delivers all ongoing communications. Multilevel supersteps can utilise barriers in which subsets of processes, interacting through shared memories, are locally synchronised (partitioned synchronisation). In this paper a state-based semantics, closely related to the classical sequential programming model, is derived for distributed BSP with partitioned synchronisation.
Resumo:
A service is a remote computational facility which is made available for general use by means of a wide-area network. Several types of service arise in practice: stateless services, shared state services and services with states which are customised for individual users. A service-based orchestration is a multi-threaded computation which invokes remote services in order to deliver results back to a user (publication). In this paper a means of specifying services and reasoning about the correctness of orchestrations over stateless services is presented. As web services are potentially unreliable the termination of even finite orchestrations cannot be guaranteed. For this reason a partial-correctness powerdomain approach is proposed to capture the semantics of recursive orchestrations.
Resumo:
Trajectory surface hopping (TSH) is one of the most widely used quantum-classical algorithms for nonadiabatic molecular dynamics. Despite its empirical effectiveness and popularity, a rigorous derivation of TSH as the classical limit of a combined quantum electron-nuclear dynamics is still missing. In this work, we aim to elucidate the theoretical basis for the widely used hopping rules. Naturally, we concentrate thereby on the formal aspects of the TSH. Using a Gaussian wave packet limit, we derive the transition rates governing the hopping process at a simple avoided level crossing. In this derivation, which gives insight into the physics underlying the hopping process, some essential features of the standard TSH algorithm are retrieved, namely (i) non-zero electronic transition rate ("hopping probability") at avoided crossings; (ii) rescaling of the nuclear velocities to conserve total energy; (iii) electronic transition rates linear in the nonadiabatic coupling vectors. The well-known Landau-Zener model is then used for illustration. (C) 2012 American Institute of Physics. [http://dx.doi.org/10.1063/1.4770280]
Resumo:
If an opening to the argument of this dissertation is of imperative necessity, one might tentatively begin with Herbert Quain, born in Roscommon, Ireland, author of the novels The God of the Labyrinth (1933) and April March (1936), the short-story collection Statements (1939), and the play The Secret Mirror (undated). To a certain extent, this idiosyncratic Irish author, who hailed from the ancient province of Connacht, may be regarded as a forerunner of the type of novels which will be considered in this dissertation. Quain was, after all, the unconscious creator of one of the first structurally disintegrated novels in the history of western literature, April March. His first novel, The God of the Labyrinth, also exhibits elements which are characteristic of structurally disintegrated fiction, for it provides the reader with two possible solutions to a mysterious crime. As a matter of fact, one might suggest that Quain’s debut novel offers the reader the possibility to ignore the solution to the crime and carry on living his or her readerly life, turning a blind eye to the novel itself. It may hence be argued that Quain’s first novel is in fact a compound of three different novels. It is self-evident that the structure of Quain’s oeuvre is of an experimental nature, combining geometrical precision with authorial innovation, and one finds in it a higher consideration for formal defiance than for the text itself. In other words, the means of expression are the concern of the author and not, interestingly, the textual content. April March, for example, is a novel which regresses back into itself, its first chapter focussing on an evening which is preceded by three possible evenings which, in turn, are each preceded by three other, dissimilar, possible evenings. It is a novel of backward-movement, and it is due to this process of branching regression that April March contains within itself at least nine possible novels. Structure, therefore, paradoxically controls the text, for it allows the text to expand or contract under its formal limitations. In other words, the formal aspects of the novel, usually associated with the restrictive device of a superior design, contribute to a liberation of the novel’s discourse. It is paradoxical only in the sense that the idea of structure necessarily entails the fixation of a narrative skeleton that determines how plot and discourse interact, something which Quain flouts for the purposes of innovation. In this sense, April March’s convoluted structure allows for multiple readings and interpretations of the same text, consciously germinating narratives within itself, producing different texts from a single, unique source. Thus, text and means of expression are bonded by a structural design that, rather than limiting, liberates the text of the novel.
Resumo:
An instrumental case study was conducted to explore the perspective of recent graduates from a Greater Toronto Area community college experience in relation to Workplace Essential Skills (WES). Five participants who graduated from a business school within the last 4 years were interviewed twice over a 4-month period to gain a deeper understanding of this relationship. This qualitative approach used semi-structured interviews to elicit stories about their experiences, their relationships in school, and the development of skills that were useful in the workplace. The analysis of data involved the 3-step coding process of open, axial, and selective coding consistent with the approach used by Neuman (2006). The analysis revealed that the overall experience of attending college contributed to the learning that took place. The participants gave greater significance to the life experience in learning WES and the networks associated with learning than the formal aspects of education. It is also important to acknowledge that the research identified a significant opportunity for educators’ to positively impact the learning experience.
Resumo:
Thèse réalisée en co-tutelle avec l'Université Libre de Berlin, Institut für Deutsche und Niederländische Philologie
Resumo:
Ma thèse examine quatre romans de l`époque post-1960 qui s’appuient sur le genre de la littérature prolétarienne du début du vingtième siècle. Se basant sur les recherches récentes sur la littérature de la classe ouvrière, je propose que Pynchon, Doctorow, Ondaatje et Sweatman mettent en lumière les thèmes souvent négligés de cette classe tout en restant esthétiquement progressiste et pertinents. Afin d’explorer les aspects politiques et formels de ces romans, j’utilise la « midfiction », le concept d’Allen Wilde. Ce concept vise les textes qui utilisent les techniques postmodernes et qui acceptent la primauté de la surface, mais qui néanmoins essaient d’être référentiels et d’établir des vérités. Le premier chapitre de ma thèse propose que les romans prolétariens contemporains que j’ai choisis utilisent des stratégies narratives généralement associées avec le postmodernisme, telles que la métafiction, l’ironie et une voix narrative « incohérente », afin de contester l’autorité des discours dominants, notamment les histoires officielles qui ont tendance à minimiser l’importance des mouvements ouvriers. Le deuxième chapitre examine comment les romanciers utilisent des stratégies mimétiques afin de réaliser un facteur de crédibilité qui permet de lier les récits aux des réalités historiques concrètes. Me référant à mon argument du premier chapitre, j’explique que ces romanciers utilisent la référentialité et les voix narratives « peu fiables » et « incohérentes », afin de politiser à nouveau la lutte des classes de la fin du dix-neuvième et des premières décennies du vingtième siècles et de remettre en cause un sens strict de l’histoire empirique. Se basant sur les théories évolutionnistes de la sympathie, le troisième chapitre propose que les représentations des personnages de la classe dirigeante riche illustrent que les structures sociales de l’époque suscitent un sentiment de droit et un manque de sympathie chez les élites qui les font adopter une attitude quasi-coloniale vis-à-vis de la classe ouvrière. Le quatrième chapitre aborde la façon dont les romans en considération négocient les relations entre les classes sociales, la subjectivité et l’espace. Cette section analyse comment, d’un côté, la représentation de l’espace montre que le pouvoir se manifeste au bénéfice de la classe dirigeante, et de l’autre, comment cet espace est récupéré par les ouvriers radicaux et militants afin d’avancer leurs intérêts. Le cinquième chapitre explore comment les romans néo-prolétariens subvertissent ironiquement les tropes du genre prolétarien précédent, ce qui exprimerait l’ambivalence politique et le cynisme généralisé de la fin du vingtième siècle.
Resumo:
Die empirische Studie untersucht das Wechselspiel zwischen der fachbezogenen Sprachentwicklung und dem Fachlernen von Schülerinnen und Schülern bei der Einführung in den Kraftbegriff. Sie betrachtet also sowohl sprachliche wie auch kognitive Aspekte des Lernens in der Mechanik. Dafür wurde ein Unterrichtskonzept entwickelt, das den Gebrauch des Fachwortes Kraft in der Wissenschaft und in der alltäglichen Sprache besonders thematisiert. Dieses Unterrichtskonzept basiert auf Empfehlungen und Ergebnissen der Kognitionspsychologie, Linguistik, Philosophie, Sprachlehrforschung und der Didaktiken der Physik und der Fremdsprachen. Im Rahmen des Unterrichts wurden die Schülerinnen und Schüler mit zwei Aufgabentypen konfrontiert: Beim ersten Aufgabentyp waren die Lerner aufgefordert, den Kraftbegriff so zu verwenden, wie es einer fachsprachlich angemessenen Form entspräche, etwa um die Bewegung eines Zuges zu beschreiben. Aufgaben des zweiten Typs sahen vor, dass die Schülerinnen und Schüler kurze Texte danach klassifizierten, ob sie der Alltagssprache oder der Fachsprache angehörten. Diese als Metadiskurs bezeichnete Form der Auseinandersetzung mit sprachlichen Aspekten verhalf den Schülerinnen und Schülern zu einer Gelegenheit, ihr eigenes Verständnis des Kraftbegriffs zu thematisieren. Weiter lieferte der Metadiskurs wichtige Hinweise darauf, ob die Schülerinnen und Schüler sich bei ihren Beurteilungen eher auf formal-sprachliche oder inhaltliche Aspekte der Sprache bezogen. Für die Datenerhebung wurden alle Unterrichtsstunden videografiert und transkribiert. Zusammen mit schriftlichen Arbeitsergebnissen und Tests stand ein umfangreicher Datensatz zur Verfügung, für dessen Auswertung ein inhaltsanalytisches Verfahren Anwendung fand. Die Ergebnisse zeigen, dass das Lernen im Fach Physik bestimmte Ähnlichkeiten mit dem Lernen einer Fremdsprache zeigt: Wenn die Schülerinnen und Schüler den Kraftbegriff fachsprachlich verwenden sollen, sehen sie sich oft einer Alternativentscheidung gegenüber. Entweder sie versuchen, einer fachsprachlichen Form zu gehorchen und verlieren dabei den Inhalt aus den Augen, oder sie konzentrieren sich auf den Inhalt, drücken sich dabei aber in ihrer Alltagssprache aus und folgen Alltagskonzepten, die weit entfernt von den fachlich intendierten liegen. Ähnliche Beobachtungen kann man im Sprachunterricht machen, wenn Schüler eine neue grammatische Regel einüben: Sie konzentrieren sich entweder auf die neu zu erlernende Regel, oder aber auf den Inhalt des Gesagten, wobei sie die grammatische Regel, die an sich Gegenstand der Übung ist, verletzen. Meistens fällt diese Entscheidung derart, dass die Konzentration auf den Inhalt des Gesagten gerichtet ist, nicht oder wenig auf seine Form. Im Unterschied zum Sprachunterricht ist der Physikunterricht allerdings nicht nur darauf gerichtet, fachsprachlich angemessene Formen einzuüben, sondern insbesondere darauf, den Blick für neue und ungewohnte Konzepte zu öffnen. Damit müssen die Schülerinnen und Schüler hier häufig sprachliche und kognitive Hürden zur selben Zeit bewältigen. Die detaillierte Analyse des Metadiskurses zeigt, dass das Problem des Nebeneinanders zweier unterschiedlicher Anforderung entschäft werden kann: Während die Schüler im Metadiskurs unterschiedliche Aspekte der Sprache diskutieren, sind sie eher in der Lage, sowohl formale wie inhaltsbezogene Merkmale der Sprache wahrzunehmen. Der Text referiert weitere Parallelen zwischen dem Physikunterricht und dem Fremdsprachenlernen, sodass die Auffassung gerechtfertigt ist, dass die Fremdsprachendidaktik als Ideenlieferantin dafür dienen kann, neue Verbesserungsmöglichkeiten für den Physikunterricht aufzufinden.
Resumo:
Aquesta tesi doctoral com diu el seu títol es centra en analitzar la construcció de l'església de Sant Feliu de Girona al segle XIV a través de l'anàlisi dels llibres d'obra conservats a l'Arxiu Diòcesa de Girona. Aquesta tesi doctoral esta dividida en quatre parts. En la primera part s'analitza la historiografia de l'església de Sant Feliu de Girona des del segle XVII fins a l'actualitat. Dins d'aquest apartat s'analitzen les notícies que aporten els diferents autors i es situa el context historiogràfic de cadascun dels segles. S'ha realitzat un estudi molt exhaustiu en les darreres publicacions del segle XX i inicis del segle XXI. Un cop analitzades aquestes fonts - secundàries -, dins d'aquesta primera part del treball s'ha passat a analitzar els llibres d'obra del segle XIV. S'analitzaràn els aspectes formals i els diferents escrivans encarregats de realitzar aquests llibres d'obra. Aquesta serà la documentació bàsica per realitzar aquesta tesi doctoral. En la segona part del treball es procedirà a analitzar la gestió i el finançament de l'Obra. Es tracta d'una anàlisi, bàsicament dels ingressos, per veure quines són les estratègies que es duen a terme per aconseguir el màxim de recursos per la construcció i per les necessitats "litúrgiques" de l'església de Sant Feliu de Girona. En aquest apartat s'ha analitzat l'Obra com a entitat amb les persones que formen part d'ella i el paper que correspon a cadascuna d'elles (l'obrer, l'escrivà, el mestre d'obres, el questor). També s'han analitzat els promotors i aquells ingressos que, pel seu volum, subministren el nombre més gran de diners a l'Obra ("annates", bacins, etc.). La tercera part ha consistit en l'elaboració de la cronologia constructiva de l'església de Sant Feliu de Girona partint de la informació obtinguda en els llibres d'obra corresponent a les despeses. S'han analitzat totes aquelles obres, tant pel que fa a la construcció de l'edifici com pel que fa a reparacions i manteniment, que tenen lloc entre l'any 1349 (data del primer llibre d'obra de despeses) i l'any 1391. En aquesta part no s'ha entrat a analitzar de forma exhaustiva les figures que fan possible la construcció de l'església al segle XIV ja que això pertany al contingut de la darrera part del nostre treball. La darrera part del treball correspon a l'execució de les obres. En aquesta part trobem quatre grans capítols: els mestres d'obra, la mà d'obra, els materials i els mitjans auxiliars. En cadascun d'aquests capítols s'ha incidit sobre el rol dels diferents treballadors durant la construcció del temple, els materials utilitzats i les seves característiques (pedra, fusta, aglomerants, etc.) i els mitjans auxiliars utilitzats per col.locar aquests materials en obra. S'han separat els mestres d'obres de la resta de treballadors ja que els primers juguen un rol diferenciat dels segons. S'ha intentat analitzar en ambdós casos els seus sous i les tasques de cadascun d'ells. Pel que fa als materials també s'ha procedit a analitzar d'on s'extreuen, com han arribat a peu d'obra i on s'emmagatzemen i manipulen o transformen abans d'ésser col.locats en obra. Dels mitjans auxiliars s'ha intentat analitzar les funcions per la qual es fan servir les eines (apareixen totes les de l'ofici de pedrer), els enginys (elevar pesos), les bastides (poder treballar en alçada) i el encofrats (garantir la resistència inicial dels elements constructius). Evidentment s'han establert unes conclusions de cadascuna de les parts i unes conclusions finals. La tesi també inclou els agraïments corresponents, el prefaci i la bibliografia.
Resumo:
The aim of this dissertation is to study the relation between information technology (IT) and organizational management models by defining the manner in which IT can contribute to their transformation. This study is based on a theoretical reference framework which describes the evolution of the extent and functionality of the use of information technology as a tool for business management, with especial emphasis on the development of the capacity of data and Internet communication networks to establish connections among people, companies and communities. The theoretical reference framework also presents different approaches on how to enhance alignment between information technology and organizational management models, taking into account formal aspects related to the detailing of organizational and technical requisites and social implications concerning the introduction of innovations in previously established cultural environments. The study also contains an empirical section based on a case study on the State of Rio de Janeiro Traffic Department (DETRAN-RJ) in which some of the concepts and methods of approach described in the theoretical reference framework were employed. Keywords: Logistic Services Chain, E-Government, Management Model, Organizational Network, Information Technology
Resumo:
In the Rio Grande do Norte, the craftsmanship is generating of economy, it involves a significant number of people and is diversified in its raw materials and particular type. As reference of the craft local, the ceramics supplied the primary necessities in the utilitarian domestic servants, acquired piety in the religious figures, were toy in infantile amusements and, finally, gained status of pure ornament. By its historical representation, the district of Santo Antônio do Potengi is considered the most important center of manufacture of craftpottery in the State. The work of the potters continues in that locality anchored between the familiar inheritance and the participation each more influential time of the public politics destined to the sector situation verified for visible alterations in the shape of the pottery from the decade of 1990 with the implantation of a cooperative destined to the collective production. We observe in this passage, that such actions in the measure where they objectify to structuralize conditions ideal to support the artisan making, do not benefit in significant way the social development them craftsmen. It is important not to lose of sight that exists some involved dimensions in this process and that these surpass the common interest for the object and the consequent economic connotation of its commercialization. They are knowledge that imply in the access to raw materials, in the peculiar of the formal aspects and productive methods, in the contextual relations organized to defend the survival of the activity
Resumo:
Brazilian architecture was recognized because of the consecration of the icons of the Carioca and Paulista schools which are represented nationally and internationally by names like Niemeyer, Lucio Costa and Vilanova Artigas, among others. Because of this, classic studies dedicated to the Brazilian case look to present the Southeastern region with the title of father of modern Brazil, at the cost of subjugating various other modern movements and peripheral sayings, whether their values are known or forgotten. On the other hand, there has been an effort, in the sense of registering and analyzing these regional productions of modern Brazilian architecture, an assignment that DOCOMOMO Brasil participates firmly through initiatives like the creation of a Library to aid in the documentation and registration of modernity in Brazil. Inside this context of insertions of the National-Modern scheme, this work has as its objective to present modern potiguar (northern Brazil) architecture through its contemporary residential examples, investigating specifically its constructive, formal aspects, that together that together demonstrate one more architectural emphasis of modern Brazilian architecture: the potiguar. This way, by contributing to the work of the register and the documentation of the Modern Movement and attributing to the modern architecture of Natal it s real worth, we can say: Yes, we have modern architecture
Resumo:
The central question of the research if inserts in thematic current and of relevance for the studies in Preservation and a Conservation of Historical Centers. It analyzes the relations between habitacional use, satisfaction of the inhabitants and preservation of the patrimony constructed in the Historical Center of São Luis-MA It considers that the use is factor that makes possible the transformation of spaces in places , prioritizing the point of view of the user as essential element to the analysis of the reality and that enriches the evaluation technique of the functional and formal aspects of the constructed environment. It is looked to understand the relation man-environment, and mainly, to verify as it happens throughout the process of the occupation and of appropriation of historical buildings destined to habitacional reuse, and still if this appropriation favors the preservation of the Historical Center of São Luís