When is `partial' adequate? A logic-based proof technique using partial specifications

A technique is presented for ascertaining when a (finite-state) partial process specification is adequate, in the sense of being specified enough, for contexts in which it is to be used. The method relies on the automatic generation of a modal formula from the partial specification; if the remainder of the network satisfies this formula, then any process that meets the specification is guaranteed to ensure correct behavior of the overall system. Using the results, the authors develop compositional proof rules for establishing the correctness of networks of parallel processes and illustrate their use with several examples

Studies on polyepichlorohydrin-based polyurethane/poly(MMA-co-St) IPNs

Interpenetrating polymer networks of polyepichlorohydrin-based polyurethane/poly(MMA-co-St) have been prepared with simultaneous mettled by changing the weight fraction of MMA(W-MMA) in copolymer of MMA with styrene. The IPNs have been studied by DSC, TEM and dynamic mechanical spectroscopy(DMS). The results show that the IPNs have only one T-g, when W-MMA is greater than 0. 6. But when W-MMA IMA is less than 0. 4, the IPNs have two T(g)s, and phase separation is observed on TEM. The phenomenon is explained according to the solubility parameters(delta) and the fraction of hydrogen bond(delta(h)) of P (MMA-co-St). The study reveals that there is a close correlation among the delta, domain size and mechanical properties of PU (PECH)/P(MMA-co-St) IPN.

汉语文本语篇语句焦点确定及焦点与重音关系研究

This study investigated the method of the focus identification in Chinese text discourse and the relationship between accent and focus, large corpus analysis and decision tree were used in the research. The main results are: 1. Based on the concept of the Focus and understanding of the discourse, Foci identification is consistent and steady; 2. Special Focus markers and specific Focus constructions have greater influence than special constituent order on identifying Focus in Chinese discourse; while information states also have great influence on focus identifying; part of speech，information state, the relative position in the sentence, focus-sensitive operator, specific Focus constructions, contrast relations, relations between the sentences are important factors to focus identifying; 3. Using multi-dimensional tagging and knowledge discovery, it is a feasible way to construct and employ decision trees by computing tagging results to identify Focus; 4. Focus predicting also depends on literal types and styles of the discourse, several types of decision trees should be constructed for different literal types; 5. In the monologue discourse, the most prominent accent is located on the Focus word or in the scope of the Focus; there are some kinds of rules on accent assignment in broad Focus; it is necessary to analyze and classify focus structure for the research of relations between accent and Focus.

Rural information needs. Final report for Mid Wales Library and Information Partnership

Thomas, R., Crossan, S., Urquhart, C. & Hines, B. (2008). Rural information needs. Final report for Mid Wales Library and Information Partnership. Aberystwyth: Department of Information Studies, Aberystwyth University Sponsorship: Mid Wales Library and Information Partnership

Johnny's in the Basement: Keats, Bob Dylan and Influence

Marggraf Turley, Richard, 'Johnny's in the Basement: Keats, Bob Dylan and Influence', In: 'The Monstrous Debt: Modalities of Romantic Influence in Twentieth Century Literature', (Detroit, MI: Wayne State University Press), pp.181-204, 2006 RAE2008

Cobertura de la vacuna del virus del papiloma humano en la zona básica de Barañáin

El cáncer de cuello de útero o cáncer de cérvix es el segundo tumor más frecuente en las mujeres del mundo después del de mama y el quinto de todos los canceres. En España, es el sexto más frecuente, constituyendo el 4,8% de los canceres en la mujer. Este tipo de cáncer es el resultado final de una infección no resuelta por el virus del papiloma humano (VPH). Hoy en día, el VPH representa una de las infecciones de trasmisión sexual más común. El 70-80 % de hombres y mujeres sexualmente activos están o han estado expuestos al VPH. El cambio en la conducta sexual de las mujeres ha llevado a que las infecciones de trasmisión sexual sean ahora más frecuentes que en las generaciones anteriores. Hay un inicio más precoz de las primeras relaciones sexuales y un número más elevado de compañeros sexuales. Estos cambios han hecho aumentar la prevalencia del VPH en los últimos años en las mujeres jóvenes de España. La combinación de estrategias de prevención primaria (vacunación contra el VHP) y secundaria (cribado) permitiría reducir la incidencia y la mortalidad del cáncer de cuello de útero. Existen dos vacunas frente al VPH que son Gardasil ® y Cervarix ®. Al tratarse de dos vacunas nuevas, el éxito de la introducción dependerá de la comprensión apropiada de los riesgos y beneficios de la vacuna para prevenir la infección del VPH. Esto se consigue mediante programas efectivos de educación y formación sobre el VPH.

The Terrorism Virus: Contemporary Traits and Mechanisms

In order to present and understand the nature of modern terrorism it is important to realize its key properties as well the mechanisms that shape terrorism. Selected properties and mechanisms shaping modern terrorism which can be exemplified by the following: evolutionary nature of terrorism, asymmetry of terrorism, interferentiality of terrorism, multitude of components of terrorism, diffusion of terrorism, duality of terrorism, positive dimension of terrorism, terrorist as the system, diversity of terrorist activity goals, changeability of terrorist threat, the broad and narrow dimension of terrorism, counter-anti-terrorism, the confrontational and cooperational character of relations, calculation and operational strategy, disintegrational nature of terrorism, multidisciplinarity of terrorism, horizontal and vertical dimension of terrorism and a the few other traits or mechanisms.

Communicable Memory and Lazy Barriers for Bulk Synchronous Parallelism in BSPk

Communication and synchronization stand as the dual bottlenecks in the performance of parallel systems, and especially those that attempt to alleviate the programming burden by incurring overhead in these two domains. We formulate the notions of communicable memory and lazy barriers to help achieve efficient communication and synchronization. These concepts are developed in the context of BSPk, a toolkit library for programming networks of workstations|and other distributed memory architectures in general|based on the Bulk Synchronous Parallel (BSP) model. BSPk emphasizes efficiency in communication by minimizing local memory-to-memory copying, and in barrier synchronization by not forcing a process to wait unless it needs remote data. Both the message passing (MP) and distributed shared memory (DSM) programming styles are supported in BSPk. MP helps processes efficiently exchange short-lived unnamed data values, when the identity of either the sender or receiver is known to the other party. By contrast, DSM supports communication between processes that may be mutually anonymous, so long as they can agree on variable names in which to store shared temporary or long-lived data.

KInNeSS: A Modular Framework for Computational Neuroscience

Making use of very detailed neurophysiological, anatomical, and behavioral data to build biological-realistic computational models of animal behavior is often a difficult task. Until recently, many software packages have tried to resolve this mismatched granularity with different approaches. This paper presents KInNeSS, the KDE Integrated NeuroSimulation Software environment, as an alternative solution to bridge the gap between data and model behavior. This open source neural simulation software package provides an expandable framework incorporating features such as ease of use, scalabiltiy, an XML based schema, and multiple levels of granularity within a modern object oriented programming design. KInNeSS is best suited to simulate networks of hundreds to thousands of branched multu-compartmental neurons with biophysical properties such as membrane potential, voltage-gated and ligand-gated channels, the presence of gap junctions of ionic diffusion, neuromodulation channel gating, the mechanism for habituative or depressive synapses, axonal delays, and synaptic plasticity. KInNeSS outputs include compartment membrane voltage, spikes, local-field potentials, and current source densities, as well as visualization of the behavior of a simulated agent. An explanation of the modeling philosophy and plug-in development is also presented. Further developement of KInNeSS is ongoing with the ultimate goal of creating a modular framework that will help researchers across different disciplines to effecitively collaborate using a modern neural simulation platform.

KInNeSS: A Modular Framework for Computational Neuroscience

Making use of very detailed neurophysiological, anatomical, and behavioral data to build biologically-realistic computational models of animal behavior is often a difficult task. Until recently, many software packages have tried to resolve this mismatched granularity with different approaches. This paper presents KInNeSS, the KDE Integrated NeuroSimulation Software environment, as an alternative solution to bridge the gap between data and model behavior. This open source neural simulation software package provides an expandable framework incorporating features such as ease of use, scalability, an XML based schema, and multiple levels of granularity within a modern object oriented programming design. KInNeSS is best suited to simulate networks of hundreds to thousands of branched multi-compartmental neurons with biophysical properties such as membrane potential, voltage-gated and ligand-gated channels, the presence of gap junctions or ionic diffusion, neuromodulation channel gating, the mechanism for habituative or depressive synapses, axonal delays, and synaptic plasticity. KInNeSS outputs include compartment membrane voltage, spikes, local-field potentials, and current source densities, as well as visualization of the behavior of a simulated agent. An explanation of the modeling philosophy and plug-in development is also presented. Further development of KInNeSS is ongoing with the ultimate goal of creating a modular framework that will help researchers across different disciplines to effectively collaborate using a modern neural simulation platform.

Minor Moves: Growth, Fugitivity, and Children's Physical Movement

From tendencies to reduce the Underground Railroad to the imperative "follow the north star" to the iconic images of Ruby Bridges' 1960 "step forward" on the stairs of William Frantz Elementary School, America prefers to picture freedom as an upwardly mobile development. This preoccupation with the subtractive and linear force of development makes it hard to hear the palpable steps of so many truant children marching in the Movement and renders illegible the nonlinear movements of minors in the Underground. Yet a black fugitive hugging a tree, a white boy walking alone in a field, or even pieces of a discarded raft floating downstream like remnants of child's play are constitutive gestures of the Underground's networks of care and escape. Responding to 19th-century Americanists and cultural studies scholars' important illumination of the child as central to national narratives of development and freedom, "Minor Moves" reads major literary narratives not for the child and development but for the fugitive trace of minor and growth.

In four chapters, I trace the physical gestures of Nathaniel Hawthorne's Pearl, Harriet Beecher Stowe's Topsy, Harriet Wilson's Frado, and Mark Twain's Huck against the historical backdrop of the Fugitive Slave Act and the passing of the first compulsory education bills that made truancy illegal. I ask how, within a discourse of independence that fails to imagine any serious movements in the minor, we might understand the depictions of moving children as interrupting a U.S. preoccupation with normative development and recognize in them the emergence of an alternative imaginary. To attend to the movement of the minor is to attend to what the discursive order of a development-centered imaginary deems inconsequential and what its grammar can render only as mistakes. Engaging the insights of performance studies, I regard what these narratives depict as childish missteps (Topsy's spins, Frado's climbing the roof) as dances that trouble the narrative's discursive order. At the same time, drawing upon the observations of black studies and literary theory, I take note of the pressure these "minor moves" put on the literal grammar of the text (Stowe's run-on sentences and Hawthorne's shaky subject-verb agreements). I regard these ungrammatical moves as poetic ruptures from which emerges an alternative and prior force of the imaginary at work in these narratives--a force I call "growth."

Reading these "minor moves" holds open the possibility of thinking about a generative association between blackness and childishness, one that neither supports racist ideas of biological inferiority nor mandates in the name of political uplift the subsequent repudiation of childishness. I argue that recognizing the fugitive force of growth indicated in the interplay between the conceptual and grammatical disjunctures of these minor moves opens a deeper understanding of agency and dependency that exceeds notions of arrested development and social death. For once we interrupt the desire to picture development (which is to say the desire to picture), dependency is no longer a state (of social death or arrested development) of what does not belong, but rather it is what Édouard Glissant might have called a "departure" (from "be[ing] a single being"). Topsy's hard-to-see pick-pocketing and Pearl's running amok with brown men in the market are not moves out of dependency but indeed social turns (a dance) by way of dependency. Dependent, moving and ungrammatical, the growth evidenced in these childish ruptures enables different stories about slavery, freedom, and childishness--ones that do not necessitate a repudiation of childishness in the name of freedom, but recognize in such minor moves a fugitive way out.

The Oud Across Arabic Culture

This study is a compilation and compendium of information on the oud, the most important instrument in Arabic classical music. It has grown out of my own long-time involvement in studying and playing the oud, and in particular out of my interest in the lack of sources and knowledge available to the vast majority of oud players and researchers, as well as for the readers. My own path started from an intensive study of the oud, which included exposure to several treaties; some housed in museums around the globe, and some only available in the Arabic language. The study combines archival research (including Arabic poetry and pre-Islamic Era and medieval treaties), symbolism, new archaeological discoveries, field interviews, and analysis of existing scholarship, and draws on my professional performance experience for detailed stylistic analysis of the oud's performance practice and its historical development. The study consists of participant observation, personal performance, and interviews conducted in person, via telephone, and/or via e-mail, according to the choice of the performers. The performers have been selected from networks of musicians who perform regularly at lounges, concert halls, and private events. These performers have been chosen according to their musical knowledge, technical skill, experience, and activity in Arabic music and oud performance. Chapter one deals with the purpose of this study and the methods of investigation, as well as giving a brief overview of the history of the oud. In addition, there will be an introduction to the Arabic musical system (mâqâm), which is primarily based on the mechanics and sound production of the oud. Chapter two deals with the oud in Arabic sources: the first source is Arabic poetry in the pre-Islamic Era. The second source is Arabic poetry in the medieval era, in which I found a significant number of poets who allude to the oud, providing accurate descriptions of the player, singers, and the scenes within the contexts of oud performance. The third source is the Arab scholars' intensive treatises with meticulous accounts of the instrument's apparatii, including descriptions and measurements of the parts, strings, and tuning. While chapter three deals with the classification, the development of the oud, chapter four deals with topics such as: the symbolism of the oud and its relation to cosmology, astronomy, mathematics and anatomy. In most of the pertinent Arabic writings, philosophers mention a significant correlation between the oud and the other sciences. Chapter five deals with recreating the performance practice of the oud. A case study of the oud performers focuses on their style, technique, training, and personal experiences. Topics such as improvisation and ornamentation, the oud in the Arabic musical ensemble, the social uses and functions, and gender in musical performance practices will be included in detailed analysis. Other important topics will be analyzed such as traditional vs. modern technique, and the repertoire of the oud. Specifically, in regard to technique, the study outline the style of the music, the role of the oud in Arabic ensembles, the function of the oud in music composition, and the form of the ensembles in Arabic performance and practice.

A location-based communication platform: integrating file sharing with interpersonal contact

Gemstone Team FLIP (File Lending in Proximity)

The Catford Riddim on the 202

This presentation is about a song, ”Catford Riddim” by the A-Team, a group of grime artists from South London, specifically about how it came to be played, perhaps a bit too loudly, in the back of the 202 bus one January morning on a teenager’s mobile phone. As an illustration of how social networks and technological networks converge, the ”Catford Riddim,” insisting on the music’s own provenance from the SE6 postcode, shows the formation of a local ethnoscape in the global networks of peer-to-peer file sharing and online DIY distribution sites such as MySpace. Contesting the narrative of online social networks as routes to fame, I suggest that on the contrary they illustrate the emergence of local, even insular, ”scenes” of musicians, events and audiences.

Is the General Public Licence a Rational Choice?

Open source projects are networks of developers, distributors and end-users of non-proprietary created knowledge goods. It has been argued that this form of organization has some advantages over the firm or market coordination. I show that for sufficiently convex and modular projects proprietary licences are not able to sustain sequential knowledge production which, however, can be carried out if the project is run on the open source basis.