To see the other types of publications on this topic, follow the link: World.
Dissertations / Theses on the topic 'World'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'World.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
1
Gregory, D. I. "A world without worlds." Thesis, University of Cambridge, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.599696.
Full textAbstract:
Many contemporary philosophers believe that ascriptions of possibility and necessity involve quantification over a range of things, possible worlds. They think this because they hold that possible worlds bring benefits which cannot reasonably be foregone. For instance, possible worlds are supposed to be useful in analysing many concepts, in freeing us from primitive modality and in assessing modal inferences. This thesis considers the most important supposed benefits which possible worlds bring and argues that each of the putative benefits is either worthless or available to those who do not believe in possible worlds. Its arguments thus show that the standard reasons for believing in possible worlds are poor ones. The arguments also shed light on a range of important issues in the philosophy of modality, such as the status of primitive modality, and the relationship between ordinary modal reasoning and model theoretic techniques in modal logic. The thesis concludes by considering attempts to view talk about possible worlds as metaphorical or somehow fictional, thus entitling one to the benefits of possible worlds without commitment to them. Such views threaten to render redundant this thesis's piecemeal study of the supposed benefits brought by possible worlds. The thesis argues that no such view of talk about possible worlds is correct.
2
Wilkerson, Bryan Scott. "Old World...New Word." The Ohio State University, 1999. http://rave.ohiolink.edu/etdc/view?acc_num=osu1394808105.
Full text
3
Krogsæter, Thor Grunde. "World of Wisdom - World Editor : User-interface for creating game worlds for World of Wisdom." Thesis, Norwegian University of Science and Technology, Department of Computer and Information Science, 2009. http://urn.kb.se/resolve?urn=urn:nbn:no:ntnu:diva-9007.
Full textAbstract:
During the fall of 2008 a prototype of an educational multiplayer role-playing game called World of Wisdom (WoW) was developed as part of the specialization project TDT4570. WoW focuses on using knowledge for progressing through the game. The goal of this thesis was to design and develop a user-interface for teachers, that could be used to generate new content for WoW. In this thesis we described the design and implementation of such a user-interface called the WoW World Editor. The World Editor supports generating new maps, creatures, objects and questions for World of Wisdom. By making it easier to create the worlds, the course staff can focus on creating the knowledge for the game. For the students to be able to interact with the course staff while playing the game, we suggest a seperate client for the course staff. This client will then have additional functions that can be used to aid the students with problem, and to get valuable feedback from the players.
4
Heintzleman, Scott A. "A world within the world." Thesis, Virginia Polytechnic Institute and State University, 1996. http://hdl.handle.net/10919/53419.
Full textAbstract:
When people settle in one place they often express a desire to clarify their place in the world through the creation of small, self-contained worlds. These small worlds help orient people within the greater world by creating centers and boundaries around and within which the events of life take place. “One's identity is contingent on the sense of belonging to a place. The creation of place and entry is a fundamental human activity, enacted by all humans, beginning with the archetypal children's game of creating “houses” for themselves under tables, in boxes, or out of found materials.”² Small worlds take form in many shapes on many scales, from individual rooms and buildings to complete communities and cultures, each imaginable as a whole though connected through thresholds to larger realities. "The act of settling in a place was often mythologized as the creation of the world, and...the creation of a sacred place has principally provided the existential means for people to establish a center and thus define their place in the world."³Master of Architecture
5
Mizsei, Ward Rachel Louise. "A world of difference : media translations of fantasy worlds." Thesis, University of East Anglia, 2013. https://ueaeprints.uea.ac.uk/42915/.
Full textAbstract:
The modern consumer has access to a massively complex entertainment world. Many of the products available reveal a visible movement of popular fantasy worlds between different media. This transmedia process creates a strong link between film, merchandising and games; with all of these mediums borrowing from each other. This borrowing takes various forms, from licensed adaptations to unofficial copying of ideas, settings and characters as well as exploiting the different aesthetics and techniques of different media. Much of the scholarship on transmedia concentrates on storytelling, where a single overarching narrative unfolds over several different media. This thesis will move away from storytelling to consider how culture producers borrow the aesthetics, narratives and fantasy worlds from other sources, including computer games. This borrowing happens because it enables them to use transmedia functionality to gain market share from an already established audience who have a vested interested in, and enthusiasm for, an established world. Most of this borrowing happens around specific genres – especially fantasy, science fiction and horror. These genres are particularly wide-ranging and emphasise the possibilities of worldbuilding, making then good sources for multi-media franchises. This thesis will examine examples from these genres to examine what elements are translated to a new medium, and what is discarded. This examination will help explain how and why different media and settings work in the way that they do.
6
Zhang, Yulei. "Knowledge Discovery in Social Media: Physical World, Online World, and Virtual World." Diss., The University of Arizona, 2011. http://hdl.handle.net/10150/145420.
Full textAbstract:
Social media have grown tremendously, making the Internet a new platform for community-based social interaction. The rich and vast amount of social media data provides valuable resources for understanding various social phenomena. Different from the world where people physically live, the new media bring additional types of worlds into people's lives: online worlds and virtual worlds. Examples of online worlds include Web forums, blogs, and online reviews, while the most famous example of a virtual world is Second Life. My dissertation is trying to address the overarching questions about how people adapt to social media to share information and exchange opinions, and what factors influence their activities in the new media. I adopt Web mining, machine learning, and computational linguistics techniques to analyze aspects of people and their behavior, such as gender differences, emotional differences, avatar activity differences, and avatar social interaction differences in online and virtual worlds.Chapter 2 develops a feature-based text classification framework to examine online gender differences between Web forum posters by analyzing writing styles and topics of interest. Guided by the stereotyping and social roles theories, Chapter 3 examines the emotional differences between men and women in text-based online communications. A research framework for automatic emotion detection is developed using sentiment analysis techniques. In the framework, different algorithms are developed to analyze the sentence-level subjectivity and phrase- and word-level polarity. Chapters 4 and 5 focus on investigating avatar behavior in the virtual world. Guided by the theories of social presence, social role, and gender role, Chapter 4 examines the effects of avatar virtual gender, virtual age, and region theme on avatars' physical activities. Chapter 5 further examines avatars' gender and age differences in their social interactions in help-seeking regions in the virtual world. The overall gender and age difference analyses and detailed investigations by comparing three types of interaction networks based on gender or age are conducted.Overall, my dissertation contributes to the literature on social media analytics, knowledge discovery, virtual world research, and text and Web mining.
7
Ma, Li. "The Word and the World: Exploring World Views of Monolingual and Bilingual Chinese Through the Use of Proverbs." Scholarly Repository, 2011. http://scholarlyrepository.miami.edu/oa_dissertations/530.
Full textAbstract:
Many thinkers argue that major differences among languages lead to major differences in experience and thought. Each speech community possibly embodies a distinct world view. The purpose of this study was to explore, through the use of proverbs, the relationship between acculturation and world views among monolingual and bilingual Chinese, with proficiency in Chinese and/or English used a proxy for level of acculturation. Data were collected through questionnaires and qualitative interviews regarding attitudes to English and Chinese proverbs. Data were analyzed by means of SPSS and modified grounded theory methodology. The statistical and qualitative findings contradicted each other: the former found a significant effect for monolingual English speakers, while the latter indicated much more mixed responses with no clear patterns related to language. Implications of findings were discussed and a “global view” was proposed to take the place of a culturally-based world view.
8
Bastin, Nina. "World games : constructing and configuring the worlds of Queneau's novels." Thesis, University of Bristol, 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.324341.
Full text
9
Beloufa, Chahra. "Thanking in Shakespeare's World : Thanking in Shakespeare's World." Thesis, Montpellier 3, 2017. http://www.theses.fr/2017MON30049.
Full textAbstract:
Le Remerciement dans le Monde de Shakespeare : Contextes et Etudes de CasDans cette thèse nous explorons ce que le remerciement signifie à l’époque élisabéthaine et comment il se manifeste. Aussi nous analysons le remerciement tel qu’il est défini dans les dictionnaires d’e l’époque. Nous examinons également les textes religieux, les manuels de courtoisie, les traités de rhétorique qui mentionnent l’acte de remerciement. Après analysé ce contexte, nous abordons le remerciement comme acte de langage à la lumière de la pragmatique.On définit l’existence réelle du mot à partir de son degré d’influence sur le monde réel. Une simple combinaison de mots a le potentiel d’altérer une situation, n’importe laquelle. L’étude du pouvoir de la parole s’est inscrite dans le cadre théorique de ce que l’on appelle « la pragmatique ». Plus précisément, le concept « d’acte de langage » a été exploré non seulement dans la pragmatique mais aussi dans diverses disciplines ; telles que la philosophie du langage et aussi les études littéraires et théâtrales.Catherine Kerbrat Orecchioni (1984) a établi une distinction entre trois types de pragmatique : « énonciative », « illocutoire » et « conversationnelle » . Nous nous proposons d’étudier la seconde théorie qui est la pragmatique illocutoire où les valeurs illocutoires d’un énoncé sont parfaitement exploitées. Dans notre propos, les contextes d’énonciation que nous avons sélectionnés ne sont pas ordinaires. Car notre étude porte sur des fragments théâtraux tirés de Shakespeare avec leur complexité et leur particularité. Le théâtre est bien un lieu où dire est par excellence faire. Donc la parole dramatique est mise au service de l’action. Promettre dans un contexte réel peut s’accomplir différemment sur scène. En prenant l’hypothèse que le langage sert à faire avancer l’action, nous allons nous intéresser au « thank you » qui signifie «merci » en français dans les pièces de Shakespeare tout en étudiant les contextes d’énonciation du remercîment au cours de la période élisabéthaine. Notre objectif est de voir comment les différents concepts de la pragmatique élaborés permettent de dévoiler certains aspects pertinents du remerciement typiquement shakespearien. Cette forme d’analyse alimentera notre réflexion afin d’éclaircir la fonction du remerciement au théâtre. Il est aussi indispensable d’observer les modes de réalisation du remerciement de ces différentes scènes ainsi que le ton et le contexte. Dans un premier temps, l’élucidation de notre concept principal est primordiale. Que veut donc dire « remercier » ou de quoi s’agit-il quand on parle d’un acte de remerciement ?D’après l’Oxford English Dictionary (OED ), « thanks » veut dire : « to express gratitude or obligation to »; « to give the thanks or credit for something to consider or hold responsible »; « ironical use to blame »; « thank you for nothing an ironical expression indicating that the speaker thinks he has been offered nothing worth thanks ». On a aussi le « thank offering » qui a été utilisé en 1536 qui est expliqué « in the Levitical law, an offering presented as an expression of thankfulness or gratitude to god; hence an offering or gift made by way of thanks or acknowledgement ». Dans les textes de Shakespeare le terme « thank » a été employé sous plusieurs formes. Nous citons « thank, thankful, tank, dank, thanks ». On trouve bien aussi « gramercy » qui veut dire « grand merci ». Selon the Harvard Concordance le mot « thank » a été employé trois cent quarante-six fois et « thanks » deux cent deux fois. Citons comme example « Sir, you may thank yourself for this great loss » (TMP, 2.1.124), « I thank god and my cold blood” (ADO, 1.1.130). “I am even poor in thanks but I thank you (HAM, 2.2.273). On trouve aussi le le terme Allemand « dank » qui a aussi été utilisé pour remercier dans « by gar, me dank you for dat » (WIV, 2.3.90)Scenes of Thanking in Shakespeare’s World examines how Shakespeare makes of the word “thanks” and the expression “thank you” a dramatic art of thanking in his plays. Through this research, thanking scenes are selected according to the frequency of the word “thanks”. However, the occurrence of the word solely does not define a scene of thanking. Shakespeare’s plays incorporate verbal and non-verbal thanking. Verbal thanking occurs as a speech act or a polite answer to acknowledge or praise a benefit received, while a non-verbal thanking is sometimes presented under forms of social rituals and practices such as gift giving, sacrifice, prayer and religious songs. This thesis’ corpus is composed of history plays, Romeo and Juliet, All’s Well that Ends Well, Pericles, Timon of Athens, Coriolanus, and The Winter’s Tale. This selection is based on some criteria considered by the researcher, such as the frequency of the word in the scene or the play and its role in the plot or characters’ state of mind. Shakespeare artfully makes thanking an iconic code on the stage, creating conventionalised forms, expressions and contexts for it to be uttered
10
SHIMANUKI, Hiroshi, Kenji IWATA, Takashi TERASHIMA, Jien KATO, and Toyohide WATANABE. "Origami World." INTELLIGENT MEDIA INTEGRATION NAGOYA UNIVERSITY / COE, 2005. http://hdl.handle.net/2237/10431.
Full text
11
Coburn, Kyle (Kyle Elliott). "World Court." Thesis, Massachusetts Institute of Technology, 2014. http://hdl.handle.net/1721.1/91383.
Full textAbstract:
Thesis: M. Arch., Massachusetts Institute of Technology, Department of Architecture, 2014.Cataloged from PDF version of thesis.
Includes bibliographical references (page 99).
Eighteen billion gallons of toxic waste, nine billion dollars in damages, trials across five countries, hundreds of lawyers, millions of dollars in litigation fees, and a corporation with an annual revenue of two hundred billions dollars-this is the story of Texaco's drilling operations in the Lago Agrio region of Northern Ecuador, referred to by locals as "rain-forest Chernobyl". This thesis proposes that the Lago Agrio case, and others like it highlight not only environmental issues, but issues that fall under a much larger umbrella of International Law. With its current cases myopically focused on crimes of African warlords, the International Criminal Court, seated in The Hague, has a latent capacity to work in a new set of crimes of international concern. There is a wide scope of environmental, technological, political and economic phenomena that are not yet part of our definition of International Law. To consider these issues as such, is to drastically rethink the institution of International Law itself, and with it, this thesis argues, the role of architecture in this new form of (highly contentious) universality. Events such as: crimes against nature or shared natural resources, crimes against labor, crimes pertaining to uncoordinated attempts at geoengineering, the development of harmful synthetic biology and nanotechnology, would not only implicate Western and developed, but also corporations, special interest groups and individuals. The thesis is literally cited in the contemporary configuration of the International Court and its Hague reality but it is conceptually cited with a few towards this potentially changing landscape of international law. These crimes, ones that we are all victim to, as well as implicated in, codify the new Global Collective centered around the activities of the Court, there is a multiplicity of vested interests, and one of the key disciplinary questions the thesis addresses is the form of monumentality that this architecture could take given both the multiplicity and scale of those interest-in a climate in which neither the Western and developed countries have the moral upper-hand nor the survival of the planet seems a given.
by Kyle Coburn.
M. Arch.
12
Ingabire, Cyuzuzo. ""World Life"." Thesis, University of North Texas, 2018. https://digital.library.unt.edu/ark:/67531/metadc1248518/.
Full textAbstract:
During this time of interest and uncertainty in immigration, a foreigner seeking an education, home, and career wonders how welcoming America really is. This documentary film focuses on how the organization known as World Life is involved in helping international students in terms of language, accommodation, and religion. It follows an organization that is willing to open up and welcome them into the community.
13
Marchenko, T., and V. Shimko. "Our world." Thesis, Sumy State University, 2015. http://essuir.sumdu.edu.ua/handle/123456789/40408.
Full textAbstract:
Our world is precious and we must become more aware of it.
Many of our everyday actions are changing the planet permanently.
The evidence of global warming is clear in the Arctic and Antarctic
continents. We must all do everything in our power to save our
World.
14
Delong, Marek. "Cluster World." Master's thesis, Vysoké učení technické v Brně. Fakulta výtvarných umění, 2015. http://www.nusl.cz/ntk/nusl-232466.
Full textAbstract:
In my thesis I focus mainly on omnipresence of the internet and technology. Additionally on colapse of physical environment in online culture and infinite reproduction ability and transformability of digital matter. However, I’m also concerned about their feedback application into exhibition areas. The thesis deals with change of authorship – after an art piece gets documented, it becomes a circulating material. Authorship of an artwork is almost impossible to track down, same as the initial context. Artistic outcome switches from auratic object into a file which is a subject to the network architecture. In the last two decades the relationship between image, text, language, meaning, body, space, subject and object changed radically. The task is no longer to create unique and original art but to observe existing supplies of images and spaces as de-subjectivized.
15
Nguyen, Phat Hung. "Imperceivable World." Thesis, Virginia Tech, 2017. http://hdl.handle.net/10919/74047.
Full textAbstract:
Imperceivable World is an immersive multi-media exhibition that allows the audience to explore the imperceivable micro world of various organisms. These microorganisms occupy a space within our world that is so minuscule that it might seem like fiction. A series of short animations are an exploration into how these organisms behave and interact, giving the viewer a brief glimpse into this micro world. Imperceivable World utilizes the Cyclorama, which is a massive cylindrical screen that can display 3D stereoscopic animations which provide the audience a larger than life perspective of these microorganisms. Along with cyclorama Imperceivable World uses the Cube's audio space to give the audience a fully immersive experience.Master of Fine Arts
16
Flores, Meza Mayra Elizabeth, and Majo Luis Enrique Neyra. "Business World." Bachelor's thesis, Universidad Peruana de Ciencias Aplicadas (UPC), 2012. http://hdl.handle.net/10757/302612.
Full textAbstract:
El presente documento tiene como propósito mostrar detalladamente la información sobre el desarrollo del proyecto Business World. SoftwareFactory es una empresa virtual de la UPC en la cual se desarrollan aplicaciones web usando tecnologías .Net y Java. De esta manera, el proyecto solicitado inicialmente por el cliente a la fábrica, se ha ido desarrollando dentro de esta. En el capítulo 1, se presenta el contexto bajo el cual se decide realizar una aplicación web basada en el juego de mesa “Negocios, el juego de la iniciativa empresarial”. En el capítulo 2, se describe el proyecto abordado por la presente memoria. De esta manera, se indican sus principales objetivos, el alcance del mismo y sus indicadores de éxito. En el capítulo 3, se detallan los requerimientos funcionales que debe cubrir la aplicación una vez se haya culminado su desarrollo. En el capítulo 4, se detalla el diseño de la arquitectura empleada en el presente proyecto, describiendo las diferentes vistas que la conforman. En el capítulo 5, se describe el diseño detallado a nivel de capas. En el capítulo 6, se describen las diferentes herramientas que hicieron posible la construcción del sistema web. En el capítulo 7, se describen las validaciones y pruebas que realizó QA sobre la documentación y aplicación. En el capítulo 8, se describen la organización del proyecto y las fases e iteraciones correspondientes a cada periodo 2010-02 y 2011-01. Además, se describen los riesgos encontrados en cada periodo académico. Adicionalmente, se presentan las conclusiones y recomendaciones que se han obtenido durante el desarrollo del proyecto.Tesis
17
Sall, Eric. "Painted World." VCU Scholars Compass, 2006. http://scholarscompass.vcu.edu/etd_retro/69.
Full textAbstract:
With painting I find myself asking a lot of questions and finding very few answers, but I think it is a healthy and necessary process. This constant questioning parallels life outside of art for that reason. Life is full of unanswerable questions, and that is part of the reason why I make paintings. It is a strange way of accepting and dealing with the unknown. In this thesis I explain my relationship to the practice of painting. I reveal the actual processes I go through when making a painting, and investigate the content, or lack thereof, in my abstract paintings.
18
Hines, Ruth Dianne. "Accounting : in communicating a world, we create a world." Thesis, Lancaster University, 1992. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.359845.
Full text
19
Bauer, Martin Peter. "Observing physical world events through a distributed world model." [S.l. : s.n.], 2007. http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-30437.
Full text
20
Morais, Katia Vieira. "Negotiating Linguistic Diversity in World Englishes and World Portugueses." Diss., The University of Arizona, 2010. http://hdl.handle.net/10150/194113.
Full textAbstract:
In this dissertation, I draw on comparative studies of English to establish a framework for looking at how Portuguese studies and teaching are shaped by political economies, cultural hierarchies, and educational institutions in Brazil and Cape Verde. I examine how English and Portuguese are constructed as world languages and how English and Portuguese rhetorics shape language teaching. People who are locally engaged contest these global constructions. As a result, diverse people construct world languages by adopting, adapting, resist, and transforming it in specific locations (Pennycook). First, I identify compositionists in the U.S. with what I call a rhetoric of multilingualism in which teachers of English should view English in relation to other Englishes and other languages. Secondly, I examine how the transnational organization for Portuguese-speaking countries perpetrates lusotropicalism--Gilberto Freyre's social theory of the Portuguese exceptionality to create a hybrid culture in the tropics. Despite fostering adaptability to local cultures, peoples, and languages, Freyre's lusotropical rhetoric eschews diversity by maintaining that a culture and a language should promote homogeneity. Then, I analyze the linguistic contexts, educational policies, and data gathered from questionnaires and interviews with language teachers in Brazil and Cape Verde. In light of higher education expansion and the maintenance of excellence, I argue that language teachers should promote the writing of Portuguese as a rhetorical construction in which grammar and mechanical correctness is only one aspect of writing instruction. Lastly, I propose the use of code meshing as a pedagogical strategy in academic discourse because it values language in its diversity and its relation to other languages. I argue that students' multilingual strategies deserve a place in academic writing. The rhetorical construction of language in academia could also become multilingual--globally networked and locally engaged. This study contributes to the internationalist discussions about how to teach writing in different languages and educational contexts.
21
Chakraborty, Nirankush. "World subjectivity and life-world ala Husserl`s phenomenology." Thesis, University of North Bengal, 2013. http://hdl.handle.net/123456789/1459.
Full text
22
Singh, Sati. "Speech acts and world-world relationship : a phenomenological perspective." Thesis, University of North Bengal, 2009. http://hdl.handle.net/123456789/1260.
Full text
23
Patterson, Carol Lynn. "Gathered for worship and word| Scattered to witness to the world." Thesis, Drew University, 2016. http://pqdtopen.proquest.com/#viewpdf?dispub=10102674.
Full textAbstract:
This narrative research ministry project sought to enhance the spiritual life of Calvary Baptist Church in Morristown, New Jersey by strengthening the congregation’s commitment to witnessing. Calvary’s stated mission is to glorify God by making disciples of Jesus Christ through our commitment to Worship, Word and Witness. While some members may dedicate time to private devotions, the church gathers corporately for a few hours each week to worship the Lord and study the Word of God. Daily, members of the church scatter into the world, which is chock full of opportunities to witness.
Pre-project congregational interviews and surveys revealed similarities to most 21st Century Christians. The majority of Calvary members were spiritually committed to the concept of witnessing. Yet, very few were actively engaged in the practice of sharing their faith with people they knew.
Through experiential adult education, Church School students were equipped with tools and techniques that would enable them to effectively witness to friends, relatives, associates and neighbors within their circles of influence. The work described herein represents that part of the effort that could be accomplished during the project implementation phase.
24
Hojdyssek, Gunter Art College of Fine Arts UNSW. "From laughing at the world to living in the world." Awarded by:University of New South Wales. Art, 2007. http://handle.unsw.edu.au/1959.4/43091.
Full textAbstract:
Born in 1938 in Poland, I epxperienced wartime Berlin and post-war Stalinism. My first job, at sixteen, was with the East Berlin States Opera and the Bertold Brecht's Berliner Ensemble. The play writes Betrtold Brecht and Buechner had the strongest influence on me. Brecht's play 'Mutter Courage and her children' and Georg Buechner's 'Woyzech' encapsulated the harsh realities of post-war Europe, and confirmed my desire for social justice and reform. Yet, the main influence on my work comes from my own life experience. My life in Australia has become a kind of exile-a deprivation of the origin of my culture and my cradle. After nearly forty years in Australia I feel a little displaced. Yet I left Europe voluntarily to escape from the very culture and history I now miss. I am experiencing a common dilemma of migration. I belong neither here nor there-a kind of dislocation. There exists a twilight zone in the in-between time-a discontinuity of my Berliner development. Artists such as Kaethe Kollwitz, John Heartfield, George Grosz, Otto Dix, and Max Beckman influenced my teenage years. Later, Joseph Beuys, Anselm Kiefer and Georg Baselitz. I work with found objects, such as toys crafted by human hand. I am giving them a new meaning, a new being. They are meditations on the conflict of war, where women and children are the primary victims of political fragmentation. My sculptures evoke memories of a childhood stolen. They take on a menacing character reminding the viewer of the effects war has on humanity. But Art is the reflector and searcher; it is our way to enlightenment. Joseph Beuys introduced the concept of an expanded notion of art ("der erweiterte Kunstbegriff???) to surpass the boundaries of modernism with in art, science, spirituality, humanism and economics. He drew attention to the potential of human creativity. Art, against all odds, is poetry to life.
25
Dingli, Sandra M. "On thinking and the world : John McDowell's 'Mind and World'." Thesis, Durham University, 2002. http://etheses.dur.ac.uk/3833/.
Full textAbstract:
How do concepts mediate the relation between minds and the world? This is the main topic of John McDowell's Mind and World where McDowell attempts to dissolve a number of dualisms making use of a particular philosophical methodology which I identify as a version of Wittgenstein's quietism. This thesis consists of a critical analysis of a number of dualisms which McDowell attempts to dissolve in Mind and World. These include the Kantian dualism of sensibility and understanding, the dualism of conceptual versus non conceptual content, the dualism of scheme and content and the dualism of reason and nature. These dichotomies are all intricately intertwined and can be seen to be subsumed by the main topic of this thesis, namely, thinking and the world. McDowell persuasively draws attention to the unsustainability of particular philosophical positions between which philosophers have 'oscillated' such as coherentism and the given. However I claim that he does not go far enough in his attempt as a quietist to achieve peace for philosophy as traditional dichotomies such as that of realism and anti-realism still appear to exert a grip on his thinking. In this regard, 1 argue that, although McDowell’s work indicates the viability of quietism in addressing seemingly intractable philosophical positions, it would have gained by incorporating insights from European phenomenologists, such as Heidegger, who have been as intent as McDowell on reworking traditional dualisms. McDowell’s quietist methodology plays an important role in Mind and World and some of the criticism that has been directed towards his work displays a lack of appreciation of this method. I claim that a proper understanding of McDowell's version of quietism is important for a correct understanding of this text.
26
Skov, Lise. "Stories of world fashion and the Hong Kong fashion world." Thesis, Hong Kong : University of Hong Kong, 2001. http://sunzi.lib.hku.hk/hkuto/record.jsp?B22823682.
Full text
27
Rieders, Eliana. "Our Thirsty World: Contextualized Responses to the World Water Crisis." Scholarship @ Claremont, 2012. https://scholarship.claremont.edu/pitzer_theses/26.
Full textAbstract:
Wars fought over oil have characterized the latter half of the past century, the repercussions of which have been felt in every corner of the globe. Although war remains a constant, attention is transitioning away from oil to another natural resource. As we move through the 21st century, water wars are now at the forefront of global conflicts. Fighting over access to this vital resource is nothing new. Allen Snitow, a documentary filmmaker and journalist claims: “For thousands of years, the conflicts between towns and countries have been defined by the battle over who gets to use the stream. The word rival and river have the same root.”1 Disputes over access to water have been inevitable because of human’s dependence on this natural resource for sustenance. The lack of a substitution for water makes the world water crisis a threat requiring immediate attention and innovative solutions.
The assumed responsibility of the government to provide sustainable solutions has proven ineffective in its failure to protect the human right to water. As a world water crisis, there is a need for a more cohesive management approach. Identifying and implementing effective and equitable approaches to water management is a highly debated subject across many disciplines. A common approach to combating issues of access to potable water involves the private sector and its reliance on the market. Alternatively, some advocate for treating water as a public or community good to avoid the commodification of an essential resource. Through various examples and a fleshed out case study, I illustrate how solutions to the water crisis are not determined by theoretical frameworks, but are shaped by the viability of the approaches in a given region. The factors that influence the feasibility of an approach include: the availability of water resources and other geographical or environmental circumstances; the political stability or corruption within the government; the degree of established infrastructure; determination of who the government is responsible for providing water services to; and the specific cultural needs of different groups. By analyzing the aforementioned theoretical perspectives on water management through a lens that considers each of these factors, I attempt to identify and analyze the context for which these approaches are appropriate and effective in providing equitable access to clean water. The political, economic, cultural and geographical contexts of a region are critical in considering how to best alleviate issues of access to potable water. In addition, I argue that across all of these diverse contexts in which we identify water access issues, it is invariably necessary to treat water as a public good in order to protect the human right to water.
1 Alan Snitow, Deborah Kaufman, and Michael Fox, Thirst: Fighting the corporate theft of our water, (San Francisco: Jossey-Bass, 2007), 3.
28
Kucuk, Muzaffer. "Competition Over World." Master's thesis, METU, 2011. http://etd.lib.metu.edu.tr/upload/12613787/index.pdf.
Full textAbstract:
This thesis seeks to analyze the role and importance of establishing control
over the world&rsquos oil resources in reproduction of the global hegemonic position of the US. It is asserted that dominant position of US dollar in global financial system has an important place in reproduction of US world hegemony and ensuring that oil transactions are made through US dollar has played an important role in maintaining the dominant position of dollar. It is also argued that secure access to cheap energy resources is of utmost importance for advanced industrialized nations of the world in terms of maintaining their economic growth. In this respect, this thesis portrays US policies and strategies to take world&rsquo
s energy resources under its control and thereby maintain the dollar hegemony and making the advanced industrialized nations of Western Europe and East Asia dependent on US goodwill for secure access to energy. Being an important actor in global energy market, competition and cooperation between Russia and US is also taken into consideration. In this thesis, it is assumed that the US world hegemony is achieved through both cooperation and competition among advanced industrialized states.
29
Krammer, Hubert. "A tRNA world." Diss., lmu, 2012. http://nbn-resolving.de/urn:nbn:de:bvb:19-143679.
Full text
30
Brasil, Daniel Rodrigues. "The underdog world." Thesis, University of British Columbia, 2016. http://hdl.handle.net/2429/56473.
Full textAbstract:
Various communities, including those glossed as traditional, indigenous, subaltern, Afro-descended, tribal, or, in an older vocabulary, primitive, pre-modern, non-civilized, barbaric, and polluted, in particular contexts, can find themselves in a situation I have come to refer as underdogs. Underdog references communities which are positioned to access various levels of historical consciousness in order to mobilize their struggles against impinging, dominant, homogenizing forces. These forces are based in a colonial culture against which communities resist. The strategies of resistance both refer to their traditions and to their historic circumstances, as well as their recognition of historical fluidity which allows them the possibility of facing, encountering and rewriting their histories. This resistance has made them resilient. Ethnographic research conduced together with the quilombola community of Periperi, in the state of Piauí, Brazil; the neighbourhood of La Marina, in Matanzas, Cuba, and the Hwlitsum indigenous people, in British Columbia, Canada shows that these communities in an underdog situation cannot back off from their challenges to existing modes of power of their local and regional setting in their efforts to mitigate their status as polluted. Experiencing being in such situations throughout their trajectory has led these communities to a condition they have not been able to run from, albeit finding new ways to embrace it, in the underdog world they live in.Arts, Faculty of
Anthropology, Department of
Graduate
31
Lipman, Martin A. "A fragmented world." Thesis, University of St Andrews, 2015. http://hdl.handle.net/10023/9498.
Full textAbstract:
Objects often manifest themselves in incompatible ways across perspectives that are on a par. Phenomena of this kind have been responsible for crucial revisions to our conception of the world, both philosophical and scientific. The standard response to them is to deny that the way things appear from different perspectives are ways things really are out there, a response that is based on an implicit metaphysical assumption that the world is a unified whole. This dissertation explores the possibility that this assumption is false, that the world is fragmented instead of unified. On the proposed understanding of such worldly fragmentation, there is a notion of co-obtainment according to which two facts may obtain without co-obtaining. Since not every fact that obtains also co-obtains with every other fact, two incompatible facts may both obtain, as long as they do not co-obtain in the introduced sense. The possibility of such fragmentation sheds new light on a range of phenomena. It allows us to explore a view of time that takes the notion of passage as its defining primitive. It bolsters a no-subject view of experience against the objection that it leads to solipsism. It allows a realist view about colours to withstand the objection from conflicting appearances. And, it makes room for a view on which things really have the properties that are attributed to objects and events across different frames of reference, such as length, mass, duration and simultaneity. Overall, fragmentalism changes the way in which the manifest image feeds into an objective conception of the world: what is manifest to us is not misleading in what sort of properties it shows the world to have, it's only misleading in making it seem more unified than it really is.
32
Jurmu, Debra L. "The impenetrable world /." Available to subscribers only, 2006. http://proquest.umi.com/pqdweb?did=1136079581&sid=9&Fmt=2&clientId=1509&RQT=309&VName=PQD.
Full text
33
Firouzjahi, Hassan. "Brane world cosmology." Thesis, McGill University, 2003. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=82871.
Full textAbstract:
Recently, the ideas of extra dimensions and brane world scenarios have captured considerable interest. The potential ability of these brane-based models to explain the gauge hierarchy problem and the cosmological constant problem has been examined in numerous recent papers (on these subjects). In the first part of this thesis we examine many aspects of warped brane world scenarios, focusing on the Randall-Sundrum model. We begin with the stability issue of the Randall-Sundrum model and its cosmological implications. We will specifically verify that the Randall-Sundrum scenario; once stabilized, will reproduce the late-time conventional cosmology. In further studies, the possibility of providing a very small cosmological constant, in accordance with recent observations, is examined in the context of the warped brane world scenario. We also show that the "self-tuning" mechanism of the cosmological constant problem does not improve in the brane world models and the unnatural fine-tuning mystery of the cosmological constant problem remains unexplained. In the second part of this thesis some cosmological implications of the tachyon are examined. In particular, a mechanism is presented to take advantage of a time-varying tachyonic background to convert the energy of the tachyon to radiation at the end of inflation.
34
Papazoglou, Antonios. "Brane-world multigravity." Thesis, University of Oxford, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.249466.
Full text
35
Pullinger, Mark. "The speaking world." Thesis, Loughborough University, 2011. https://dspace.lboro.ac.uk/2134/8953.
Full textAbstract:
Using a hybrid of poetry, creative prose, and critical prose, this thesis demonstrates a way in which we can rethink the natural world. Through a series of analyses and original verse and prose, using a reading premise derived from Zen Buddhist philosophy, it presents a vision of animal life and the natural world as philosophically nuanced and psychologically complex. It attempts to reposition the philosophical dominance over the natural world that humans have often considered their monopoly. All the poetry of the thesis engages and illustrates the main critical points outlined here. After an introduction setting out the basic aims and concepts of the thesis, the opening essay quotes David Attenborough. The philosophy espoused in his text, evolutionary theory, cannot be sustained if an animal s psychology is given greater importance. Secondly, from The Life of Birds, I present a critique that suggests that a bird s psychology is complicated to the point of mysticism. The third essay looks at Nietzsche. This piece suggests that what blinds us to the complexity of an animal s world is human ego. Next I look at Marc Bekoff, suggesting that the ego s dominant response is to anthropomorphise animals. The next essay gives a brief reading of Hamlet as a character liberated by a philosophy derived from the sparrow s world. Then follows a series of analyses of poems about non-human animals. A reading of an Emily Dickinson poem shows a narrator trapped in the world of a threatened and unstable ego. Next the poet Ted Hughes and his encounter with a hawk are shown as distanced by the human ego s inability to step outside binary oppositions. Then follows a poem by Gerard Manley Hopkins, where I argue that he draws on the notion of externality, an ego construct. The next poet, Takahashi, writes ego into his poem. His poem fails to speak without it. Finally, I look at D.H. Lawrence. Here the inability of ego to relinquish itself from dominating its encounter with the natural world is critiqued. The discursive parts of the thesis are interwoven with examples of my own creative practice that attempt to put into effect the ideas I am elaborating. In the conclusion, I offer proposals for further thought. Keywords creative writing, poetry, creative-critical, hybrid, psychology, animals, nature, natural world, Zen Buddhism, philosophy.
36
Hopkins, John. "The Floating World." Thesis, University of Sussex, 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.302255.
Full text
37
Ruoff-Siler, Lees. "Pneumatic world theater." Thesis, Massachusetts Institute of Technology, 1987. http://hdl.handle.net/1721.1/78976.
Full text
38
Taylor, Timothy D. "World Music Revisited." Bärenreiter Verlag, 2012. https://slub.qucosa.de/id/qucosa%3A71782.
Full text
39
Snopchenko, Anna. "World ecology problems." Thesis, Видавництво СумДУ, 2008. http://essuir.sumdu.edu.ua/handle/123456789/8309.
Full text
40
Franková, Anna. "MY CODE/WORLD." Master's thesis, Vysoké učení technické v Brně. Fakulta výtvarných umění, 2017. http://www.nusl.cz/ntk/nusl-316051.
Full textAbstract:
My Code/World is a personal artistic research of the environment in which I work as a programmer - not a physical environment, but the virtual environment of a computer interface. This research has been taking place since roughly October 2016 and its result is a collection of loosely connected pieces (sketches, experiments), that will be presented as an installation within the studio space of the Studio Graphic Design 2, Faculty of Fine Arts, BUT.
41
JENKINS, JAMES GILBERT. "NEW WORLD TRADE." University of Cincinnati / OhioLINK, 2003. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1053541827.
Full text
42
Layfurov, Alexey. "World is peace." Thesis, Konstfack, Institutionen för design, inredningsarkitektur och visuell kommunikation (DIV), 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:konstfack:diva-7667.
Full text
43
Stanczak, Linda. "A Fragmented World." VCU Scholars Compass, 2013. http://scholarscompass.vcu.edu/etd/2967.
Full textAbstract:
My altered photographic and abstract mixed media work is driven by my process- oriented exploration of materials and imagery. I am more interested in the act of creating than in planning for a final result. This allows me freedom in my approaches and the ability to choose from a diverse variety of media, techniques, and subject matter. I use both additive and subtractive processes in producing my work, which includes photography, computer graphics, acrylics, image transfers, and encaustics. My photographs serve as a springboard for ideas by providing me with themes to investigate. Figures and faces, cities and landscapes, and abstracted natural forms are the subjects that occur most frequently in my work. The final result of each piece is shaped by my focus on the layers, textures, and visual relationships that are formed by combining and transforming imagery.
44
Davnall, Richard. "The experiential world." Thesis, University of Liverpool, 2013. http://livrepository.liverpool.ac.uk/17553/.
Full textAbstract:
There are four positions one might take in respect of the ontological status of the physical world: physicalism, which says that the physical world is ontologically fundamental, and nothing else is; substance dualism, which says that the physical world is ontologically fundamental, but so is the human mental realm, and that these are in some strong metaphysical sense separate; idealism, which says that the physical world is constitutively sustained, at least in part, by facts about the human mental realm; and a rough collection of views I term 'compatibilism', which holds that both the physical and the mental are fundamental, but that they are not separate as in substance dualism. Of these positions, I argue mainly against the first and last. I begin by demonstrating that all forms of compatibilism are committed to a radically revisionary definition of 'mental' and 'physical', since in ordinary usage, and for good reason, the terms are taken as mutually exclusive. I formulate a definition of 'mental' according to which it means 'subjective, non-spatial, and non-quantifiable', and demonstrate that these properties are necessarily coextensive. Against physicalism, I consider a range of arguments which purport to show that physical space, as a necessary feature of the physical world, cannot be ontologically fundamental, concluding that physical space, or at least the physical space that we are interested in, must be the one which we inhabit, and that our relationship of inhabitancy of this physical space plays a constitutive role in it. Since this assumes that physical space must be in some way constituted rather than fundamental, I finish by refuting a set of strategies which attempt to show that physical space itself must be constituted.
45
Crippa, Benedetta. "World of Desire." Thesis, Konstfack, Grafisk design & illustration, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:konstfack:diva-5855.
Full textAbstract:
This project report offers an in-depth, detailed account of my creative process and work during my two-year Master in visual communication at Konstfack, Stockholm. My degree project is a celebration of plurality and visual democracy. Starting with identifying different norms pervading the graphic design discipline in the Western world today, both in terms of aesthetic values and systems of thinking, I have worked to propose and visualize alternative possible futures. Drawing has been my main carrier through an intense journey of un-learning and re-learning resulting in an artist’s book in unique copy. With this book, I want to problematize the dominant discourses around objectivity as a utopian ideal with a suppressive agenda, while visualizing a world I can recognize myself in. I have used decoration as a method, emotion and femininity as explorative standpoints, giving space to the metaphorical, the ambiguous and the spiritual to challenge current visual norms. This book emerges as an affirmation of my own quest for visual belonging as a graphic designer and a woman; a testimony of the practice of drawing as actualized power.
46
Koyama, Kazuya. "Brane World Cosmology." Kyoto University, 2002. http://hdl.handle.net/2433/149872.
Full textAbstract:
Kyoto University (京都大学)0048
新制・課程博士
博士(人間・環境学)
甲第9664号
人博第148号
13||133(吉田南総合図書館)
新制||人||35(附属図書館)
UT51-2002-G422
京都大学大学院人間・環境学研究科人間・環境学専攻
(主査)教授 松田 哲, 助教授 阪上 雅昭, 助教授 早田 次郎
学位規則第4条第1項該当
47
Pfeiffer, David. "The Stixel World." Doctoral thesis, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2012. http://dx.doi.org/10.18452/16576.
Full textAbstract:
Die Stixel-Welt ist eine neuartige und vielseitig einsetzbare Zwischenrepräsentation zur effizienten Beschreibung dreidimensionaler Szenen. Heutige stereobasierte Sehsysteme ermöglichen die Bestimmung einer Tiefenmessung für nahezu jeden Bildpunkt in Echtzeit. Das erlaubt zum einen die Anwendung neuer leistungsfähiger Algorithmen, doch gleichzeitig steigt die zu verarbeitende Datenmenge und der dadurch notwendig werdende Aufwand massiv an. Gerade im Hinblick auf die limitierte Rechenleistung jener Systeme, wie sie in der videobasierten Fahrerassistenz zum Einsatz kommen, ist dies eine große Herausforderung. Um dieses Problem zu lösen, bietet die Stixel-Welt eine generische Abstraktion der Rohdaten des Sensors. Jeder Stixel repräsentiert individuell einen Teil eines Objektes im Raum und segmentiert so die Umgebung in Freiraum und Objekte. Die Arbeit stellt die notwendigen Verfahren vor, um die Stixel-Welt mittels dynamischer Programmierung in einem einzigen globalen Optimierungsschritt in Echtzeit zu extrahieren. Dieser Prozess wird durch eine Vielzahl unterschiedlicher Annahmen über unsere von Menschenhand geschaffene Umgebung gestützt. Darauf aufbauend wird ein Kalmanfilter-basiertes Verfahren zur präzisen Bewegungsschätzung anderer Objekte vorgestellt. Die Arbeit stellt umfangreiche Bewertungen der zu erwartenden Leistungsfähigkeit aller vorgestellten Verfahren an. Dafür kommen sowohl vergleichende Ansätze als auch diverse Referenzsensoren, wie beispielsweise LIDAR, RADAR oder hochpräzise Inertialmesssysteme, zur Anwendung. Die Stixel-Welt ist eine extrem kompakte Abstraktion der dreidimensionalen Umgebung und bietet gleichzeitig einfachsten Zugriff auf alle essentiellen Informationen der Szene. Infolge dieser Arbeit war es möglich, die Effizienz vieler auf der Stixel-Welt aufbauender Algorithmen deutlich zu verbessern.The Stixel World is a novel and versatile medium-level representation to efficiently bridge the gap between pixel-based processing and high-level vision. Modern stereo matching schemes allow to obtain a depth measurement for almost every pixel of an image in real-time, thus allowing the application of new and powerful algorithms. However, it also results in a large amount of measurement data that has to be processed and evaluated. With respect to vision-based driver assistance, these algorithms are executed on highly integrated low-power processing units that leave no room for algorithms with an intense calculation effort. At the same time, the growing number of independently executed vision tasks asks for new concepts to manage the resulting system complexity. These challenges are tackled by introducing a pre-processing step to extract all required information in advance. Each Stixel approximates a part of an object along with its distance and height. The Stixel World is computed in a single unified optimization scheme. Strong use is made of physically motivated a priori knowledge about our man-made three-dimensional environment. Relying on dynamic programming guarantees to extract the globally optimal segmentation for the entire scenario. Kalman filtering techniques are used to precisely estimate the motion state of all tracked objects. Particular emphasis is put on a thorough performance evaluation. Different comparative strategies are followed which include LIDAR, RADAR, and IMU reference sensors, manually created ground truth data, and real-world tests. Altogether, the Stixel World is ideally suited to serve as the basic building block for today''s increasingly complex vision systems. It is an extremely compact abstraction of the actual world giving access to the most essential information about the current scenario. Thanks to this thesis, the efficiency of subsequently executed vision algorithms and applications has improved significantly.
48
Lopez, Miguel Anthony. "New World Massive." PDXScholar, 2017. https://pdxscholar.library.pdx.edu/open_access_etds/3675.
Full textAbstract:
A New World, At Last is set on a distant colony world, many thousands of years into the future.
The path there has not been direct or bloodless. The humans who colonized this New World are the descendants of an Earth that has suffered cataclysmic climate change, collapse, and a subsequent millennia-long reconstruction. They stand on the shoulders of giants, uncovering and exploiting the technology of the Old Earth in order to ensure that such a collapse, once discovered, can never happen again. These new people, Colonials, set about making the New World in the image of their own.
A scant hundred years after they settle the world, the Ecumene arrive.
The Ecumene are humans as well, our own descendants, refugees who packed onto massive, life-sustaining generation ships that left Old Earth, burning a slow and steady path towards distant, potentially habitable worlds. The journey for the Ecumene took nearly a thousand years; in this time, a cult of destiny and destination fomented aboard a ship they began to see as their ark. They follow The Path, the way to the promised land of the New World, known to their distant ancestors as their ultimate destination.
Due to the realities of space travel, time passed differently for the Ecumene than it did for the Colonials. What was a thousand year journey on the ship translates to a more than six thousand year period of time back on Earth. The massive gulf in time and experience makes for a difficult reunion between these two disparate relatives.
Tensions arise as the Colonial Administration attempts to process these sudden arrivals and to integrate them into their system to prevent a complete collapse of their nascent biome. They hold the revelatory memory of a world subjected to poor stewardship and shy away from continuing down that path again. They see themselves as outnumbered and unfairly burdened, the sudden caretakers of a vast population of the children of the humans who sent the Old Earth into a long, terrible dark age.
The bulk of A New World, At Last takes place thirty years after the arrival of the Ecumene ark, the Armstrong. A New World, At Last follows Edison Moss, the young son of a Colonial farmer ("agrineer"). Ed has recently discovered that he was adopted illegally; he is undocumented, from an unwanted class. In an act of rebellion, he leaves home on a quest of discovery, only to find that the answers he gets are not necessarily the answers to the questions he wanted to ask. His decade-long journey takes him from the heart of the colony to the frontier; along the way he befriends an agent of the Ecumene's more violent resistant group and becomes a participant in the movement.
A New World, At Last also follows the story of an artist contemporary with Ed's time. Victor James Custodio, famous sculptor and crafter of prosthetic bodies for the rulers of Earth, flees to the New World in a quest to outrun a fate that has been chasing him through all of his lives. Victor's story parallels Ed's in a sense as both are, ultimately, pilgrimages; attempts to ask and have answered that ultimate question: who am I, where do I belong, and what do I do about it?
49
Timmons, Alysha Marie. "World Wide Graphics." CSUSB ScholarWorks, 2001. https://scholarworks.lib.csusb.edu/etd-project/2089.
Full textAbstract:
The scope of this project describes World Wide Graphics (WWG) a software package that provides instructors with the tools needed to present a web-based presentation to a group of students while having the ability of enhancing the prepared HTML slide with userdrawn graphics and highlighting.
50
Giallorenzo, Saverio <1986>. "Real-World Choreographies." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2016. http://amsdottorato.unibo.it/7512/1/Saverio_Giallorenzo_-_Real-World_Choreographies.pdf.
Full textAbstract:
Choreographies are a relatively new tool for designing distributed systems from a global viewpoint. Moreover, choreographies are also free from deadlocks and race conditions by design. Recent theoretical results defined proper Endpoint Projection (EPP) functions to compile choreographic specifications into their single components. Since EPPs are behavioural preserving, projected systems also enjoy freedom from deadlocks and races by construction.
Aim of this PhD is to formalise non-trivial features of distributed systems with choreographies and to translate our theoretical results into the practice of implemented systems. To this purpose, we provide two main contributions.
The first contribution tackles one of the most challenging features of distributed development: programming correct and consistent runtime updates of distributed systems. Our solution is a theoretical model of dynamic choreographies that provides a clear definition of which components and behaviours can be updated. We prove that compiled choreographic specifications are correct and consistent after any update. We also refine our theoretical model to provide a finer control over updates. On this refinement, we develop a framework for programming adaptable distributed systems.
The second contribution covers one of the main issues of implementing theoretical results on choreographies: formalising the compilation from choreographies to executable programs. There is a sensible departure between the present choreographic frameworks and their theoretical models because their theories abstract communications with synchronisation on names (a la CCS/π-calculus) yet they compile to Jolie programs, an executable language that uses correlation — a renown technology of Service-Oriented Computing — for message routing. Our solution is a theory of Applied Choreographies (AC) that models correlation-based message passing. We pinpoint the key theoretical problems and formalise the principles that developers should follow to obtain correct implementations. Finally, we prove our approach by defining a correct compiler from AC to the calculus behind the Jolie language.