Complex Event Processing with XChangeEQ

The emergence of event-driven architectures, automation of business processes, drastic cost-reductions in sensor technology, and a growing need to monitor IT systems (as well as other systems) due to legal, contractual, or operational considerations lead to an increasing generation of events. This development is accompanied by a growing demand for managing and processing events in an automated and systematic way. Complex Event Processing (CEP) encompasses the (automatable) tasks involved in making sense of all events in a system by deriving higher-level knowledge from lower-level events while the events occur, i.e., in a timely, online fashion and permanently. At the core of CEP are queries which monitor streams of "simple" events for so-called complex events, that is, events or situations that manifest themselves in certain combinations of several events occurring (or not occurring) over time and that cannot be detected from looking only at single events. Querying events is fundamentally different from traditional querying and reasoning with database or Web data, since event queries are standing queries that are evaluated permanently over time against incoming streams of event data. In order to express complex events that are of interest to a particular application or user in a convenient, concise, cost-effective and maintainable manner, special purpose Event Query Languages (EQLs) are needed. This thesis investigates practical and theoretical issues related to querying complex events, covering the spectrum from language design over declarative semantics to operational semantics for incremental query evaluation. Its central topic is the development of the high-level event query language XChangeEQ. In contrast to previous data stream and event query languages, XChangeEQ's language design recognizes the four querying dimensions of data extractions, event composition, temporal relationships, and, for non-monotonic queries involving negation or aggregation, event accumulation. XChangeEQ deals with complex structured data in event messages, thus addressing the need to query events communicated in XML formats over the Web. It supports deductive rules as an abstraction and reasoning mechanism for events. To achieve a full coverage of the four querying dimensions, it builds upon a separation of concerns of the four querying dimensions, which makes it easy-to-use and highly expressive. A recurrent theme in the formal foundations of XChangeEQ is that, despite the fundamental differences between traditional database queries and event queries, many well-known results from databases and logic programming are, with some importance changes, applicable to event queries. Declarative semantics for XChangeEQ are given as a (Tarski-style) model theory with accompanying fixpoint theory. This approach accounts well for (1) data in events and (2) deductive rules defining new events from existing ones, two aspects often neglected in previous work of semantics of EQLs. For the evaluation of event queries, this work introduces operational semantics based on an extended and tailored form of relational algebra and query plans with materialization points. Materialization points account for storing and maintaining information about those received events that are relevant for, i.e., can contribute to, future query answers, as well as for an incremental evaluation that avoids recomputing certain intermediate results. Efficient state maintenance in incremental evaluation is approached by "differentiating" algebra expressions, i.e., by deriving expressions for computing only the changes to materialization points. Knowing how long an event is relevant is a prerequisite for performing garbage collection during event query evaluation and also of central importance for developing cost-based query planners. To this end, this thesis introduces a notion of relevance of events (to a given query plan) and develops methods for determining temporal relevance, a particularly useful form based on time-related information

Artificial general intelligence: Proceedings of the Second Conference on Artificial General Intelligence, AGI 2009, Arlington, Virginia, USA, March 6-9, 2009

Artificial General Intelligence (AGI) research focuses on the original and ultimate goal of AI – to create broad human-like and transhuman intelligence, by exploring all available paths, including theoretical and experimental computer science, cognitive science, neuroscience, and innovative interdisciplinary methodologies. Due to the difficulty of this task, for the last few decades the majority of AI researchers have focused on what has been called narrow AI – the production of AI systems displaying intelligence regarding specific, highly constrained tasks. In recent years, however, more and more researchers have recognized the necessity – and feasibility – of returning to the original goals of the field. Increasingly, there is a call for a transition back to confronting the more difficult issues of human level intelligence and more broadly artificial general intelligence

Education and Social Work Handbook 2009

Tese de doutoramento em Arte Contemporânea, apresentada ao Colégio das Artes da Universidade de CoimbraEsta não é uma tese somente sobre o estatuto da imagem. A razão para isso é que nenhuma teoria é ou pode ser adequada à imagem e que o próprio estatuto provoca todas as ferramentas da reflexão teórica. Porque escolhi investigar imagens a partir da fotografia? Poderia falar de imagens a partir do desenho, da pintura e da tradição escultórica. Como inventar no espelho e aceitar os dogmas acerca da imagem, as definições que se tornaram convicções? Na escola de arte, embora tivesse habilidade para o desenho e para a pintura, meu interesse era nas imagens prontas. Uma tentativa de tirar o verniz das imagens é a chave daquilo que hoje chamo de a Imagem Emancipada. Vemos isso nos pintores, nos cineastas que se divergem e se vê através da tecnociência. Como amante da arte não posso desenvolver meu interesse pela técnica mais do que meu interesse pela crítica. O projeto de um futuro em Warburg: a antropologia da cultura ocidental em que a filologia, etnologia, história e biologia convergem com uma iconologia do intervalo, no qual o trabalho incessante é a memória social. A Imagem Emancipada são os clarões dentro das imagens que buscamos. Embora tivesse influência dos planos de cinema, as imagens que buscava construir, sempre vieram de minhas referências de pintores e suas soluções de espaço, cor e, por que não dizer, tempo. Foi no início dos anos oitenta, com a atmosfera de regresso à pintura e ao figurativismo, que a fotografia encontrou terreno fértil para se desenvolver rumo a novas direções.This is not a thesis that only covers image statute, and the reason is that no theory is, or can fit the image, and the thesis itself causes all theoretical reflection tools. Why have I chosen to investigate images from photograph? I could have talked about images from drawing, painting and sculpture tradition. How to invent in front of the mirror and accept the dogmas concerning the image and definitions that became convictions? At the art school, although I had the ability to draw and paint, my real interested was in finished images. An attempt to remove the varnish from images is the key of what I call today as Emancipated Image. We can see that in painters and filmmakers that diverge and see themselves through technology. As an art lover, I can not develop my interest for the critic. The project of a future in Warburg: western culture anthropology in which philosophy, ethnology, history and biology converge with an iconology of the recess, where the non stopping work is the social memory. Emancipated Image are the flash inside the images we seek. Although I had influence by cinema plans, the images I tries to build, always came from my references of painters and their solutions to space, color and why not mention, time. It was in the beginning of the 1980’s, with the return atmosphere to painting and to figuration, that photography found breeding ground to develop towards new directions

2009 Calendar - Undergraduate

633pp. Includes an Index of Academic Programs and an Index of Courses.Contains academic program rules and syllabuses for all University of Adelaide undergraduate programs in 2009