Narrow your search

Library

VDIC (25)

KU Leuven (24)

UCLL (21)

Odisee (20)

Thomas More Mechelen (20)

VIVES (20)

LUCA School of Arts (18)

Thomas More Kempen (18)

FARO (17)

Vlaams Parlement (17)

More...

Resource type

book (24)

periodical (1)


Language

English (23)

German (1)

Undetermined (1)


Year
From To Submit

2022 (2)

2021 (3)

2020 (4)

2018 (2)

2017 (2)

More...
Listing 1 - 10 of 25 << page
of 3
>>
Sort by

Book
Geschichtsunterricht vor der Frage nach dem Sinn : Geschichts(unter)bewusstsein und die Optionen eines sinnzentrierten Unterrichts
Author:
Year: 2022 Publisher: Frankfurt am Main : Wochenschau Verlag,

Loading...
Export citation

Choose an application

Bookmark

Abstract

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.


Book
Chapter Dynamic Dispatch for Method Contracts Through Abstract Predicates
Author:
Year: 2017 Publisher: [Place of publication not identified] : Springer Nature,

Loading...
Export citation

Choose an application

Bookmark

Abstract

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.


Book
Continuous object learning interface specification
Author:
Year: 2018 Publisher: Aberdeen Proving Ground, MD : US Army Research Laboratory,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Periodical
Journal of object technology.
Author:
Year: 2002 Publisher: Zurich : Chair of Software Engineering, ETH Eidgenössische Technische Hochschule

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Multiple Objective Evolution Strategies (MOES): a user's guide to running the software
Authors: --- ---
Year: 2014 Publisher: Aberdeen Proving Ground, MD : Army Research Laboratory,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
SPOOCEFEM : the simplified parallel object-oriented computing environment for the finite element method with application : liquid composite molding
Authors: --- ---
Year: 2003 Publisher: Aberdeen Proving Ground, MD : Army Research Laboratory,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Object Oriented Environs
Authors: --- --- ---
Year: 2016 Publisher: Brooklyn, NY punctum books

Loading...
Export citation

Choose an application

Bookmark

Abstract

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.


Book
Reusable software components : object-oriented embedded systems programming in C
Authors: ---
Year: 1997 Publisher: Upper Saddle River, N.J. : ©1997 Prentice Hall PTR,

Loading...
Export citation

Choose an application

Bookmark

Abstract

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.


Book
Speculative Medievalisms: Discography
Authors: ---
Year: 2013 Publisher: Brooklyn, NY punctum books

Loading...
Export citation

Choose an application

Bookmark

Abstract

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.


Book
Other Grounds: Breaking Free of the Correlationist Circle
Author:
Year: 2016 Publisher: Brooklyn, NY punctum books

Loading...
Export citation

Choose an application

Bookmark

Abstract

Annotation

Listing 1 - 10 of 25 << page
of 3
>>
Sort by