Listing 1 - 10 of 25 | << page >> |
Sort by
|
Choose an application
Sinn führt uns durch das Leben. Aber wie entsteht dieser Sinn und wie bietet er uns Orientierung in der Welt? Welchen Einfluss nimmt er dabei auf unsere historischen Vorstellungen? Und welche Rolle spielt er für das Historische Lernen?Diesen Fragen geht dieser Band nach. Er betont dabei die Rolle der unbewussten, intuitiven, motivationalen, ästhetischen, emotionalen und imaginativen Momente stärker, als dies in den klassischen Konzeptionen zur "historischen Sinnbildung" der Fall ist. Es wird unterschieden zwischen einer an Fakten und einer an Handlungen orientierten Art, die Welt zu verstehen. Dies hat Folge für die Deutung historischen Erzählungen und bietet Möglichkeiten, historisches Lernen für SchülerInnen sinnerfüllter zu gestalten.
Choose an application
Dynamic method dispatch is a core feature of object-oriented programming by which the executed implementation for a polymorphic method is only chosen at runtime. In this paper, we present a specification and verification methodology which extends the concept of dynamic dispatch to design-by-contract specifications. The formal specification language JML has only rudimentary means for polymorphic abstraction in expressions. We promote these to fully flexible specification-only query methods called model methods that can, like ordinary methods, be overridden to give specifications a new semantics in subclasses in a transparent and modular fashion. Moreover, we allow them to refer to more than one program state which give us the possibility to fully abstract and encapsulate two-state specification contexts, i.e., history constraints and method postconditions. Finally, we provide an elegant and flexible mechanism to specify restrictions on specifications in subtypes. Thus behavioural subtyping can be enforced, yet it still allows for other specification paradigms. We provide the semantics for model methods by giving a translation into a first order logic and according proof obligations. We fully implemented this framework in the KeY program verifier and successfully verified relevant examples. We have also implemented an extension to KeY to support permission-based verification of concurrent Java programs. In this context model methods provide a modular specification method to treat code synchronisation through API methods.
Choose an application
Choose an application
Choose an application
Choose an application
Choose an application
Object Oriented Environs is the lively archive of a critical confluence between the environmental turn so vigorous within early modern studies, and thing theory (object oriented ontology, vibrant materialism, the new materialism and speculative realism). The book unfolds a conversation that attempts to move beyond anthropocentrism and examine nonhumans at every scale, their relations to each other, and the ethics of human enmeshment within an agentic material world. The diverse essays, reflections, images and ephemera collected here offer a laboratory for probing the mystery and potential autonomy of objects, in their alliances and in performance. The book is the trace of an event-space crafted over a day of conversation in two seminars at the Shakespeare Association of America meeting in 2014 in St. Louis and offers its nineteen essays as the end to the work-cycle of the collective we crafted that day. It is a noisy collation, full of bees, bushes, laundry, crutches, lists, poems, plague vectors, planks, chairs, rain, shoes, meat, body parts, books, and assorted humans (living and dead), and also a repertoire of dance steps, ways of configuring the relations between subject and object, actors or actants (human and otherwise). It is also a book that asks readers to ponder their environs, to consider the particularities of their world, of their reading experiences, and to consider what orders of meaning we might be able to derive from attending closely to all the very many things we come into being with. Contributors include: Lizz Angello, Sallie Anglin, Keith M. Botelho, Patricia A. Cahill, Jeffrey Cohen, Drew Daniel, Christine Hoffmann, Neal Klomp, Julia Lupton, Vin Nardizzi, Tara Pedersen, Tripthi Pillai, Karen Raber, Pauline Reid, Emily Rendek, Lindsey Row-Heyveld, Debapriya Sarkar, Rob Wakeman, Jennifer Waldron, Luke Wilson, and Julian Yates.
Object (Philosophy) --- Materialism --- History. --- Early Modern studies --- ecocriticism --- object-oriented ontology --- Shakespeare Studies
Choose an application
Shows how many object-oriented programming techniques can be used to enhance real-time embedded sytems written in C. The text shows how objects can be written in C and developed into classes. It presents useful objects and classes for microcontroller programs.
Choose an application
Proceedings from two Speculative Medievalisms symposia, held at King's College London (Jan. 2011) and The Graduate Center, City University of New York (Sep. 2011), and organized by The Petropunk Collective (Eileen Joy, Anna Klosowska, Nicola Masciandaro, and Michael O'Rourke). These interdisciplinary events were dedicated to dialogue and cross-contamination between traditional concepts of speculatio, present-minded premodern studies, and contemporary speculative realist and object-oriented philosophies. In its medieval formulation, speculatio signifies the essentially reflective and imaginative operations of the intellect. Here the world, books, and mind itself are all conceived as specula (mirrors) through which the hermeneutic gaze can gain access to what lies beyond it. "To know is to bend over a mirror where the world is reflected, to descry images reflected from sphere to sphere: the medieval man was always before a mirror, both when he looked around himself and when he surrendered to his own imagination" (Giorgio Agamben, Stanzas). Correlatively, speculative realism, as the term suggests, is characterized by the self-contradictory intensity of a desire for thought that can think beyond itself -- a desire that proceeds, like all philosophy, in a twisted and productive relation to the phantasm of the word. Aiming to rise above and tunnel below the thought-being or self-world correlation, speculative realism "depart[s] from the text-centered hermeneutic models of the past and engage[s] in daring speculations about the nature of reality itself" (The Speculative Turn). Speculative Medievalisms, like some weird friar-alchemist in an inexistent romance, plays the erotic go-between for these text-centered and text-eccentric intellectual domains by trying to transmute the space between past and present modes of speculation from shared blindness to love at first sight. Possibly succeeding, the volume brings together the work of a motley crew of philosophers and premodernists into prismatic relation.
Philosophy, Medieval. --- medieval studies --- speculative philosophy --- speculative realism --- object-oriented philosophy
Choose an application
Annotation
Alexander technique. --- Philosophy. --- philosophy --- object-oriented ontology --- materialism --- thing theory --- weird realism
Listing 1 - 10 of 25 | << page >> |
Sort by
|