Search

Fragestellung: Die komplexgeriatrische Behandlung älterer Patienten ist bei Patienten mit hüftnahen Frakturen ein etabliertes Verfahren zur Rehabilitation. In einer vorherigen Untersuchung (N= 314) hatten wir gezeigt, dass 60% der Patienten nach der Rehabilitation wieder in die vorherige [zum vollständigen Text gelangen Sie über die oben angegebene URL]

Geoinformationssystem, Simulationssoftware und Datenanalysetools für Wasserversorger in einer integrierten, skalierbaren und sicheren Plattform zusammenzuführen: Das ist das Ziel des Forschungs­projekts W-Net 4.0. Rund um die Plattform sollen zudem neuartige Dienstleistungs-und Schulungskon­zepte sowie Wertschöpfungsnetzwerke entstehen. Während kleine und mittlere Wasserversorger damit erstmals befähigt werden, die Chancen der Digitalisierung umfänglich zu nutzen, sollen große Versor­ger durch innovative Datenanalyse-und Optimierungswerkzeuge profitieren.

Throughout the age of information technology, we have experienced our lives getting simpler through the use of computers. Computer technology is becoming more and more integrated into our everyday routines, and as the technology becomes available we come to rely upon it. In this document we present a discussion of current technology that may be used to annotate the life of a human being, and propose a future in which diaries are obsolete in favour of computer technology and the Semantic Web.

We present a vision and a proposal for using Semantic Web technologies in the organic food industry. This is a very knowledge intensive industry at every step from the producer, to the caterer or restauranteur, through to the consumer. There is a crucial need for a concept of environmental audit which would allow the various stake holders to know the full environmental impact of their economic choices. This is a different and parallel form of knowledge to that of price. Semantic Web technologies can be used effectively for the calculation and transfer of this type of knowledge (together with other forms of multimedia data) which could contribute considerably to the commercial and educational impact of the organic food industry. We outline how this could be achieved as our essential objective is to show how advanced technologies could be used to both reduce ecological impact and increase public awareness.

Much of the semantic web relies upon open and unhindered interoperability between diverse systems. The successful convergence of multiple ontologies and referencing schemes is key. This is hampered by a lack of any means for managing and communicating co-references. We have therefore developed an ontology and framework for the exploration and resolution of potential co-references, in the semantic web at large, that allow the user to a) discover and record uniquely identifying attributes b) interface candidates with and create pipelines of other systems for reference management c) record identified duplicates in a usable and retrievable manner, and d) provide a consistent reference service for accessing them. This paper describes this ontology and a framework of web services designed to support and utilise it.

Declarative languages can be, and indeed are, widely used in education. Some areas are in fact completely dominated by declarative languages, such as formal methods in software engineering, and artificial intelligence. Other areas, such as operating systems rely less on specific declarative ideas. However as understanding of Computer Science increases, the formal basis for such subjects is growing, and with it the need to teach in a declarative fashion. We conclude the article with an extensive bibliography, from which we hope the interested reader can find support for teaching with declarative languages and ideas.

The standard way of visualising protocols using pictures with boxes and arrows is insufficient to study the protocols in detail. The problem is that the structuring of the protocols relies on elements not explicit in the standard visual rendering. To solve the problem one should visualise not only the operations and the messages but also the state and the security. Using an object oriented data flow model makes it possible to explicitly render the security and the state manipulations of the protocols. The required combination of data flow, object orientedness and visual programming is provided by the Prograph language. This language has been used to build a prototype of some of the protocols in the load purse transaction of the CEN Inter-sector electronic purse draft standard. The resulting conformant prototype provides abstract and concrete views on the system at all significant levels. The prototype supports animation of the standard, giving the protocol designer feedback on design decisions.

The standard way of visualising protocols using pictures with boxes and arrows is insufficient to study the protocols in detail. The problem is that the structuring of the protocols relies on elements not explicit in the standard visual rendering. To solve the problem one should visualise not only the operations and the messages but also the state and the security. Using an object oriented data flow model makes it possible to explicitly render the security and the state manipulations of the protocols. The required combination of data flow and object orientedness is provided by the Prograph language. This language has been used to build a prototype of some of the protocols in the load purse transaction of the CEN inter-sector electronic purse draft standard. The resulting conformant prototype provides abstract and concrete views on the system at all levels. The prototype supports animation of the standard, giving the protocol designer feedback on design decisions.

The FAST compiler is a backend for compilers of lazy functional languages. There are two versions of the compiler: one that takes a rather simple lazy functional language as input and a second that accepts a language similar to Miranda. On output the compiler produces a set of macro calls that are normally turned into a C program by one of the code generators that have been developed for FAST. Such a C program must be compiled by a C compiler and linked with the appropriate runtime library to.

Implementations of lazy functional languages have not as yet approached the speed of execution provided by imperative, or even non-lazy functional languages. It has been suggested that the answer to this problem lies with powerful analyses, based on abstract interpretation, such as strictness analyses that can deal with arbitrary data structures and higher-order functions. In this paper we present a break down of the benefits of a number of analyses, each performed at increasing levels of sphistication.