Logics for belief functions on MV-algebras

In this paper we present a generalization of belief functions over fuzzy events. In particular we focus on belief functions defined in the algebraic framework of finite MV-algebras of fuzzy sets. We introduce a fuzzy modal logic to formalize reasoning with belief functions on many-valued events. We prove, among other results, that several different notions of belief functions can be characterized in a quite uniform way, just by slightly modifying the complete axiomatization of one of the modal logics involved in the definition of our formalism. © 2012 Elsevier Inc. All rights reserved.

Constraint rule-based programming of norms for electronic institutions

Norms constitute a powerful coordination mechanism among heterogeneous agents. In this paper, we propose a rule language to specify and explicitly manage the normative positions of agents (permissions, prohibitions and obligations), with which distinct deontic notions and their relationships can be captured. Our rule-based formalism includes constraints for more expressiveness and precision and allows to supplement (and implement) electronic institutions with norms. We also show how some normative aspects are given computational interpretation. © 2008 Springer Science+Business Media, LLC.

Monte Carlo radiation hydrodynamics:Methods, tests and application to Type Ia supernova ejecta

In astrophysical systems, radiation-matter interactions are important in transferring energy and momentum between the radiation field and the surrounding material. This coupling often makes it necessary to consider the role of radiation when modelling the dynamics of astrophysical fluids. During the last few years, there have been rapid developments in the use of Monte Carlo methods for numerical radiative transfer simulations. Here, we present an approach to radiation hydrodynamics that is based on coupling Monte Carlo radiative transfer techniques with finite-volume hydrodynamical methods in an operator-split manner. In particular, we adopt an indivisible packet formalism to discretize the radiation field into an ensemble of Monte Carlo packets and employ volume-based estimators to reconstruct the radiation field characteristics. In this paper the numerical tools of this method are presented and their accuracy is verified in a series of test calculations. Finally, as a practical example, we use our approach to study the influence of the radiation-matter coupling on the homologous expansion phase and the bolometric light curve of Type Ia supernova explosions. © 2012 The Authors Monthly Notices of the Royal Astronomical Society © 2012 RAS.

Using sketch-map coordinates to analyze and bias molecular dynamics simulations

When examining complex problems, such as the folding of proteins, coarse grained descriptions of the system drive our investigation and help us to rationalize the results. Oftentimes collective variables (CVs), derived through some chemical intuition about the process of interest, serve this purpose. Because finding these CVs is the most difficult part of any investigation, we recently developed a dimensionality reduction algorithm, sketch-map, that can be used to build a low-dimensional map of a phase space of high-dimensionality. In this paper we discuss how these machine-generated CVs can be used to accelerate the exploration of phase space and to reconstruct free-energy landscapes. To do so, we develop a formalism in which high-dimensional configurations are no longer represented by low-dimensional position vectors. Instead, for each configuration we calculate a probability distribution, which has a domain that encompasses the entirety of the low-dimensional space. To construct a biasing potential, we exploit an analogy with metadynamics and use the trajectory to adaptively construct a repulsive, history-dependent bias from the distributions that correspond to the previously visited configurations. This potential forces the system to explore more of phase space by making it desirable to adopt configurations whose distributions do not overlap with the bias. We apply this algorithm to a small model protein and succeed in reproducing the free-energy surface that we obtain from a parallel tempering calculation.

Molecular dynamics simulation model for the quantitative assessment of tool wear during single point diamond turning of cubic silicon carbide

Silicon carbide (SiC) is a material of great technological interest for engineering applications concerning hostile environments where silicon-based components cannot work (beyond 623 K). Single point diamond turning (SPDT) has remained a superior and viable method to harness process efficiency and freeform shapes on this harder material. However, it is extremely difficult to machine this ceramic consistently in the ductile regime due to sudden and rapid tool wear. It thus becomes non trivial to develop an accurate understanding of tool wear mechanism during SPDT of SiC in order to identify measures to suppress wear to minimize operational cost.

In this paper, molecular dynamics (MD) simulation has been deployed with a realistic analytical bond order potential (ABOP) formalism based potential energy function to understand tool wear mechanism during single point diamond turning of SiC. The most significant result was obtained using the radial distribution function which suggests graphitization of diamond tool during the machining process. This phenomenon occurs due to the abrasive processes between these two ultra hard materials. The abrasive action results in locally high temperature which compounds with the massive cutting forces leading to sp3–sp2 order–disorder transition of diamond tool. This represents the root cause of tool wear during SPDT operation of cubic SiC. Further testing led to the development of a novel method for quantitative assessment of the progression of diamond tool wear from MD simulations.

Evidence and Spatial Planning for Sustainable Development: A Model for Spatially Allocating Material Flows

The aspiration the spatial planning should act as the main coordinating function for the transition to a sustainable society is grounded on the assumption that it is capable of incorporating both a strong evidence base of environmental accounting for policy, coupled with opportunities for open, deliberative decision-making. While there are a number of increasingly sophisticated methods (such as material flow analysis and ecological footprinting) that can be used to longitudinally determine the impact of policy, there are fewer that can provide a robust spatial assessment of sustainability policy. In this paper, we introduce the Spatial Allocation of Material Flow Analysis (SAMFA) model, which uses the concept of socio-economic metabolism to extrapolate the impact of local consumption patterns that may occur as a result of the local spatial planning process at multiple spatial levels. The initial application the SAMFA model is based on County Kildare in the Republic of Ireland, through spatial temporal simulation and visualisation of construction material flows and associated energy use in the housing sector. Thus, while we focus on an Ireland case study, the model is applicable to spatial planning and sustainability research more generally. Through the development and evaluation of alternative scenarios, the model appears to be successful in its prediction of the cumulative resource and energy impacts arising from consumption and development patterns. This leads to some important insights in relation to the differential spatial distribution of disaggregated allocation of material balance and energy use, for example that rural areas have greater resource accumulation (and are therefore in a sense “less sustainable”) than urban areas, confirming that rural housing in Ireland is both more material and energy intensive. This therefore has the potential to identify hotspots of higher material and energy use, which can be addressed through targeted planning initiatives or focussed community engagement. Furthermore, due to the ability of the model to allow manipulation of different policy criteria (increased density, urban conservation etc), it can also act as an effective basis for multi-stakeholder engagement.

Detection of Protein-Protein Interactions Using Protein-Fragment Complementation Assays (PCA)

Protein-protein interactions play a central role in many cellular processes. Their characterisation is necessary in order to analyse these processes and for the functional identification of unknown proteins. Existing detection methods such as the yeast two-hybrid (Y2H) and tandem affinity purification (TAP) method provide a means to answer rapidly questions regarding protein-protein interactions, but have limitations which restrict their use to certain interaction networks; furthermore they provide little information regarding interaction localisation at the subcellular level. The development of protein-fragment complementation assays (PCA) employing a fluorescent reporter such as a member of the green fluorescent protein (GFP) family has led to a new method of interaction detection termed Bimolecular Fluorescent Complementation (BiFC). These assays have become important tools for understanding protein interactions and the development of whole genome interaction maps. BiFC assays have the advantages of very low background signal coupled with rapid detection of protein-protein interactions in vivo while also providing information regarding interaction compartmentalisation. Modified forms of the assay such as the use of combinations of spectral variants of GFP have allowed simultaneous visualisation of multiple competing interactions in vivo. Advantages and disadvantages of the method are discussed in the context of other fluorescence-based interaction monitoring techniques.

Standing wave oscillations in an electrocatalytic reaction

Experimental standing wave oscillations of the interfacial potential across an electrode have been observed in the electrocatalytic oxidation of formic acid on a Pt ring working electrode. The instantaneous potential distribution was monitored by means of equispaced potential microprobes along the electrode. The oscillatory standing waves spontaneously arose from a homogeneous stationary state prior to a Hopf bifurcation if the reference electrode was placed close to the working electrode. Reduced electrolyte concentrations resulted in aperiodic potential patterns, while the presence of a sufficiently large ohmic resistance completely suppressed spatial inhomogeneities. The experimental findings confirm numerical predictions of a reaction-migration formalism: under the chosen geometry, a long-range negative potential coupling between distant points across the ring electrode can lead to oscillatory potential domains of distinct phase. It is further shown that the occurrence of oscillatory standing waves can be rationalized as the electrochemical equivalent of Turing's second bifurcation (wave bifurcation). In the presence of an external resistance, the coupling becomes positive throughout and leads to spatial synchronization.

Testing genuine multipartite nonlocality in phase spacea

We demonstrate genuine three-mode nonlocality based on phase-space formalism. A Svetlichny-type Bell inequality is formulated in terms of the s-parametrized quasiprobability function. We test such a tool using exemplary forms of three-mode entangled states, identifying the ideal measurement settings required for each state. We thus verify the presence of genuine three-mode nonlocality that cannot be reproduced by local or nonlocal hidden variable models between any two out of three modes. In our results, GHZ- and W-type nonlocality can be fully discriminated. We also study the behavior of genuine tripartite nonlocality under the effects of detection inefficiency and dissipation induced by local thermal environments. Our formalism can be useful to test the sharing of genuine multipartite quantum correlations among the elements of some interesting physical settings, including arrays of trapped ions and intracavity ultracold atoms. DOI: 10.1103/PhysRevA.87.022123

Sequential measurement-based quantum computing with memories

We introduce a general scheme for sequential one-way quantum computation where static systems with long-living quantum coherence (memories) interact with moving systems that may possess very short coherence times. Both the generation of the cluster state needed for the computation and its consumption by measurements are carried out simultaneously. As a consequence, effective clusters of one spatial dimension fewer than in the standard approach are sufficient for computation. In particular, universal computation requires only a one-dimensional array of memories. The scheme applies to discrete-variable systems of any dimension as well as to continuous-variable ones, and both are treated equivalently under the light of local complementation of graphs. In this way our formalism introduces a general framework that encompasses and generalizes in a unified manner some previous system-dependent proposals. The procedure is intrinsically well suited for implementations with atom-photon interfaces.

Law and Society: Volume I: Historical development

The thriving and well-established field of Law and Society (also referred to as Sociolegal Studies) has diverse methodological influences; it draws on social-scientific and arts-based methods. The approach of scholars researching and teaching in the field often crosses disciplinary borders, but, broadly speaking, Law and Society scholarship goes behind formalism to investigate how and why law operates, or does not operate as intended, in society. By exploring law’s connections with broader social and political forces—both domestic and international—scholars gain valuable perspectives on ideology, culture, identity, and social life. Law and Society scholarship considers both the law in contexts, as well as contexts in law.
Law and Society flourishes today, perhaps as never before. Academic thinkers toil both on the mundane and the local, as well as the global, making major advances in the ways in which we think both about law and society. Especially over the last four decades, scholarly output has rapidly burgeoned, and this new title from Routledge’s acclaimed Critical Concepts in Law series answers the need for an authoritative reference collection to help users make sense of the daunting quantity of serious research and thinking.
Edited by the leading scholars in the field, Law and Society brings together in four volumes the vital classic and contemporary contributions. Volume I is dedicated to historical antecedents and precursors. The second volume covers methodologies and crucial themes. The third volume assembles key works on legal processes and professional groups, while the final volume of the collection focuses on substantive areas. Together, the volumes provide a one-stop ‘mini library’ enabling all interested researchers, teachers, and students to explore the origins of this thriving subdiscipline, and to gain a thorough understanding of where it is today.

Law and Society: Volume II: Methodologies and themes

The thriving and well-established field of Law and Society (also referred to as Sociolegal Studies) has diverse methodological influences; it draws on social-scientific and arts-based methods. The approach of scholars researching and teaching in the field often crosses disciplinary borders, but, broadly speaking, Law and Society scholarship goes behind formalism to investigate how and why law operates, or does not operate as intended, in society. By exploring law’s connections with broader social and political forces—both domestic and international—scholars gain valuable perspectives on ideology, culture, identity, and social life. Law and Society scholarship considers both the law in contexts, as well as contexts in law.
Law and Society flourishes today, perhaps as never before. Academic thinkers toil both on the mundane and the local, as well as the global, making major advances in the ways in which we think both about law and society. Especially over the last four decades, scholarly output has rapidly burgeoned, and this new title from Routledge’s acclaimed Critical Concepts in Law series answers the need for an authoritative reference collection to help users make sense of the daunting quantity of serious research and thinking.
Edited by the leading scholars in the field, Law and Society brings together in four volumes the vital classic and contemporary contributions. Volume I is dedicated to historical antecedents and precursors. The second volume covers methodologies and crucial themes. The third volume assembles key works on legal processes and professional groups, while the final volume of the collection focuses on substantive areas. Together, the volumes provide a one-stop ‘mini library’ enabling all interested researchers, teachers, and students to explore the origins of this thriving sub discipline, and to gain a thorough understanding of where it is today.

Law and Society: Volume III: Legal Processes and Professional Groups within the Legal Field

The thriving and well-established field of Law and Society (also referred to as Socio-legal Studies) has diverse methodological influences; it draws on social-scientific and arts-based methods. The approach of scholars researching and teaching in the field often crosses disciplinary borders, but, broadly speaking, Law and Society scholarship goes behind formalism to investigate how and why law operates, or does not operate as intended, in society. By exploring law’s connections with broader social and political forces—both domestic and international—scholars gain valuable perspectives on ideology, culture, identity, and social life. Law and Society scholarship considers both the law in contexts, as well as contexts in law.
Law and Society flourishes today, perhaps as never before. Academic thinkers toil both on the mundane and the local, as well as the global, making major advances in the ways in which we think both about law and society. Especially over the last four decades, scholarly output has rapidly burgeoned, and this new title from Routledge’s acclaimed Critical Concepts in Law series answers the need for an authoritative reference collection to help users make sense of the daunting quantity of serious research and thinking.
Edited by the leading scholars in the field, Law and Society brings together in four volumes the vital classic and contemporary contributions. Volume I is dedicated to historical antecedents and precursors. The second volume covers methodologies and crucial themes. The third volume assembles key works on legal processes and professional groups, while the final volume of the collection focuses on substantive areas. Together, the volumes provide a one-stop ‘mini library’ enabling all interested researchers, teachers, and students to explore the origins of this thriving sub discipline, and to gain a thorough understanding of where it is today.

Law and Society: Volume IV: Substantive Areas

The thriving and well-established field of Law and Society (also referred to as Sociolegal Studies) has diverse methodological influences; it draws on social-scientific and arts-based methods. The approach of scholars researching and teaching in the field often crosses disciplinary borders, but, broadly speaking, Law and Society scholarship goes behind formalism to investigate how and why law operates, or does not operate as intended, in society. By exploring law’s connections with broader social and political forces—both domestic and international—scholars gain valuable perspectives on ideology, culture, identity, and social life. Law and Society scholarship considers both the law in contexts, as well as contexts in law.
Law and Society flourishes today, perhaps as never before. Academic thinkers toil both on the mundane and the local, as well as the global, making major advances in the ways in which we think both about law and society. Especially over the last four decades, scholarly output has rapidly burgeoned, and this new title from Routledge’s acclaimed Critical Concepts in Law series answers the need for an authoritative reference collection to help users make sense of the daunting quantity of serious research and thinking.
Edited by the leading scholars in the field, Law and Society brings together in four volumes the vital classic and contemporary contributions. Volume I is dedicated to historical antecedents and precursors. The second volume covers methodologies and crucial themes. The third volume assembles key works on legal processes and professional groups, while the final volume of the collection focuses on substantive areas. Together, the volumes provide a one-stop ‘mini library’ enabling all interested researchers, teachers, and students to explore the origins of this thriving sub discipline, and to gain a thorough understanding of where it is today.

Children's views on microneedle use as an alternative to blood sampling for patient monitoring

Objectives: To explore children's views on microneedle use for this population, particularly as an alternative approach to blood sampling, in monitoring applications, and so, examine the acceptability of this approach to children.

Methods: Focus groups were conducted with children (aged 10-14 years) in a range of schools across Northern Ireland. Convenience sampling was employed, i.e. children involved in a university-directed community-outreach project (Pharmacists in Schools) were recruited.

Key findings: A total of 86 children participated in 13 focus groups across seven schools in Northern Ireland. A widespread disapproval for blood sampling was evident, with pain, blood and traditional needle visualisation particularly unpopular aspects. In general, microneedles had greater visual acceptability and caused less fear. A patch-based design enabled minimal patient awareness of the monitoring procedure, with personalised designs, e.g. cartoon themes, favoured. Children's concerns included possible allergy and potential inaccuracies with this novel approach; however, many had confidence in the judgement of healthcare professionals if deeming this technique appropriate. They considered paediatric patient education critical for acceptance of this new approach and called for an alternative name, without any reference to 'needles'.

Conclusions: The findings presented here support the development of blood-free, minimally invasive techniques and provide an initial indication of microneedle acceptability in children, particularly for monitoring purposes. A proactive response to these unique insights should enable microneedle array design to better meet the needs of this end-user group. Further work in this area is recommended to ascertain the perspectives of a purposive sample of children with chronic conditions who require regular monitoring. © 2013 Royal Pharmaceutical Society.