On lions, impala, and bigraphs: modelling interactions in Ubiquitous Computing

As ubiquitous systems have moved out of the lab and into the world the need to think more systematically about how there are realised has grown. This talk will present intradisciplinary work I have been engaged in with other computing colleagues on how we might develop more formal models and understanding of ubiquitous computing systems. The formal modelling of computing systems has proved valuable in areas as diverse as reliability, security and robustness. However, the emergence of ubiquitous computing raises new challenges for formal modelling due to their contextual nature and dependence on unreliable sensing systems. In this work we undertook an exploration of modelling an example ubiquitous system called the Savannah game using the approach of bigraphical rewriting systems. This required an unusual intra-disciplinary dialogue between formal computing and human- computer interaction researchers to model systematically four perspectives on Savannah: computational, physical, human and technical. Each perspective in turn drew upon a range of different modelling traditions. For example, the human perspective built upon previous work on proxemics, which uses physical distance as a means to understand interaction. In this talk I hope to show how our model explains observed inconsistencies in Savannah and ex- tend it to resolve these. I will then reflect on the need for intradisciplinary work of this form and the importance of the bigraph diagrammatic form to support this form of engagement. Speaker Biography Tom Rodden Tom Rodden (rodden.info) is a Professor of Interactive Computing at the University of Nottingham. His research brings together a range of human and technical disciplines, technologies and techniques to tackle the human, social, ethical and technical challenges involved in ubiquitous computing and the increasing used of personal data. He leads the Mixed Reality Laboratory (www.mrl.nott.ac.uk) an interdisciplinary research facility that is home of a team of over 40 researchers. He founded and currently co-directs the Horizon Digital Economy Research Institute (www.horizon.ac.uk), a university wide interdisciplinary research centre focusing on ethical use of our growing digital footprint. He has previously directed the EPSRC Equator IRC (www.equator.ac.uk) a national interdisciplinary research collaboration exploring the place of digital interaction in our everyday world. He is a fellow of the British Computer Society and the ACM and was elected to the ACM SIGCHI Academy in 2009 (http://www.sigchi.org/about/awards/).

Perfil CIO Colombiano

La identificación del perfil del Chief Information Officer (CIO) en el entorno empresarial nacional responde a la necesidad de comparar o constatar el rol aplicado en Colombia en relación a la expectativa de la academia y la pertinencia que lleva en un entorno empresarial global. La migración del concepto de CIO y sus definiciones es resultado de la implementación local de prácticas, teorías y estrategias de alto impacto en mercados internacionales. En el presente documento, se profundiza en las competencias estratégicas y roles prácticos que abarca el perfil del CIO como es visto desde aportes académicos y casuísticos en fuentes internacionales líderes en la construcción de conocimiento.

Little Cloud.

Historia que anima a los más jóvenes, incluso niños,a estimular las posibilidades de la imaginación observando las nubes.

Ruby Holler.

Historia que relata las aventuras unos mellizos huérfanos: Florida, una niña, y Dallas, un niño. Cuando la historia comienza tienen trece años, y viven en la Casa de los Niños, un miserable orfanato dirigido por los codiciosos señor y señora Trepid. Cada cierto tiempo son adoptados por una cruel o peculiar familia. Los hermanos dependen el uno del otro en lugar de buscar apoyo en los adultos y cada cual es el único amigo del otro. Un día el señor Trepid les informa de que van a un lugar llamado Ruby Holler para acompañar al viejo señor Tiller y a la señora Morey, por separado, en vacaciones. Tiller y Sairy Morey son una inusual pareja. Florida es la compañera de viaje del señor Tiller y Dallas ayuda a Sairy Morey a perseguir a un ave. Florida y Dallas, aunque no siempre obedecen las normas, hacer descubrimientos acerca de unos con los otros, así como de un tranquilo medio rural. Para edades comprendidas entre ocho y doce años.

OCR Computing for A level.

Libro de texto de informática aprobado por el OCR (Oxford Cambridge and RSA Examinations) para la especificación GCE (General Certificate of Education) de nivel A (enseñanza secundaria, bachillerato). Está dividido en tres secciones con teoría, ejercicios de examen (con consejos sobre cómo realizarlos y cómo preparar la prueba), y técnicas de examen. Los contenidos temáticos que cubre son: fundamentos de la informática, técnicas de programación y métodos lógicos, teoría de computación avanzada.

Procedures and examples for examining a wide range of student outcomes from 1:1 student computing settings

Resumen basado en el de la publicaci??n

Computing Distance Functions from Generalized Sources on Weighted Polyhedral Surfaces

We present algorithms for computing approximate distance functions and shortest paths from a generalized source (point, segment, polygonal chain or polygonal region) on a weighted non-convex polyhedral surface in which obstacles (represented by polygonal chains or polygons) are allowed. We also describe an algorithm for discretizing, by using graphics hardware capabilities, distance functions. Finally, we present algorithms for computing discrete k-order Voronoi diagrams

Critical thoughts on computing atom condensed Fukui functions

Different procedures to obtain atom condensed Fukui functions are described. It is shown how the resulting values may differ depending on the exact approach to atom condensed Fukui functions. The condensed Fukui function can be computed using either the fragment of molecular response approach or the response of molecular fragment approach. The two approaches are nonequivalent; only the latter approach corresponds in general with a population difference expression. The Mulliken approach does not depend on the approach taken but has some computational drawbacks. The different resulting expressions are tested for a wide set of molecules. In practice one must make seemingly arbitrary choices about how to compute condensed Fukui functions, which suggests questioning the role of these indicators in conceptual density-functional theory

A systematic and feasible method for computing nuclear contributions to electrical properties of polyatomic molecules

An analytic method to evaluate nuclear contributions to electrical properties of polyatomic molecules is presented. Such contributions control changes induced by an electric field on equilibrium geometry (nuclear relaxation contribution) and vibrational motion (vibrational contribution) of a molecular system. Expressions to compute the nuclear contributions have been derived from a power series expansion of the potential energy. These contributions to the electrical properties are given in terms of energy derivatives with respect to normal coordinates, electric field intensity or both. Only one calculation of such derivatives at the field-free equilibrium geometry is required. To show the useful efficiency of the analytical evaluation of electrical properties (the so-called AEEP method), results for calculations on water and pyridine at the SCF/TZ2P and the MP2/TZ2P levels of theory are reported. The results obtained are compared with previous theoretical calculations and with experimental values

Shifts in resident bird communities associated with cloud forest patch size in Central Veracruz, Mexico

Avian communities in cloud forests have high levels of endemism and are at major risk given the accelerated rate of habitat fragmentation. Nevertheless, the response of these communities to changes in fragment size remains poorly understood. We evaluated species richness, bird community density, community composition, and dominance as indicators of the response to fragment size in a fragmented cloud forest landscape in central Veracruz, Mexico. Medium-sized fragments had statistically higher than expected species richness and more even communities, which may be a reflection of the intermediate disturbance hypothesis, in which medium-sized fragments are exploited by both forest and disturbance-associated species. Bird density also reached higher values in medium-sized fragments, which may indicate a carrying capacity in this habitat. However, large cloud forest fragments had a distinct taxonomic and functional composition, attributable to an increased number of understory insectivore species and canopy frugivores. By comparison, omnivorous species associated with human-altered habitats were more abundant in smaller fragments. Hence, although medium-sized cloud forest fragments had higher species richness and high bird density, large forest tracts maintained a distinct avian community composition, particularly of insectivorous and frugivorous species. Furthermore, the underlying response to fragmentation can only be properly addressed when contrasting several community attributes, such as richness, density, composition, and species dominance. Therefore, cloud forest conservation should aim to preserve the remaining large forest fragments to maintain comprehensive avian communities and avoid local extinctions.