Distributed belief revision as applied within a descriptive model of jury deliberations

Belief revision is a well-research topic within AI. We argue that the new model of distributed belief revision as discussed here is suitable for general modelling of judicial decision making, along with extant approach as known from jury research. The new approach to belief revision is of general interest, whenever attitudes to information are to be simulated within a multi-agent environment with agents holding local beliefs yet by interaction with, and influencing, other agents who are deliberating collectively. In the approach proposed, it's the entire group of agents, not an external supervisor, who integrate the different opinions. This is achieved through an election mechanism, The principle of "priority to the incoming information" as known from AI models of belief revision are problematic, when applied to factfinding by a jury. The present approach incorporates a computable model for local belief revision, such that a principle of recoverability is adopted. By this principle, any previously held belief must belong to the current cognitive state if consistent with it. For the purposes of jury simulation such a model calls for refinement. Yet we claim, it constitutes a valid basis for an open system where other AI functionalities (or outer stiumuli) could attempt to handle other aspects of the deliberation which are more specifi to legal narrative, to argumentation in court, and then to the debate among the jurors.

Mechanism of motion of an optical fiber aligned by a solder droplet

Solder is often used as an adhesive to attach optical fibers to a circuit board. In this proceeding we will discuss efforts to model the motion of an optical fiber during the wetting and solidification of the adhesive solder droplet. The extent of motion is determined by several competing forces, during three “stages” of solder joint formation. First, capillary forces of the liquid phase control the fiber position. Second, during solidification, the presence of the liquid-solid-vapor triple line as well as a reduced liquid solder volume leads to a change in the net capillary force on the optical fiber. Finally, the solidification front itself impinges on the fiber. Publicly-available finite element models are used to calculate the time-dependent position of the solidification front and shape of the free surface.

The recovery mechanism of platinum group metals from catalytic converters in spent automotive exhaust systems

The recovery of platinum group metals (PGMs) from catalytic converters of spent exhaust systems is considered in this paper. To be cost-effective, recovery processes must be well over 90% efficient and so the optimisation of their operation is vital. Effective optimisation requires a sound understanding of the operation and the underlying process mechanisms. This paper focuses on pyrometallurgical recovery operations used and typified by the Johnson–Matthey process. Analysis of this process reveals that it cannot be simply explained by the gravity model that is normally assumed. The analysis reveals that the affinity of PGM particles for the melted collector metal is a key factor in the behaviour of the process. A rational explanation of the key issues that govern the process behaviour is proposed and shown to be consistent with available operational data. The results generated would be applicable to other similar processes.

A robust tri-state election algorithm for scalable applications

Existing election algorithms suffer limited scalability. This limit stems from the communication design which in turn stems from their fundamentally two-state behaviour. This paper presents a new election algorithm specifically designed to be highly scalable in broadcast networks whilst allowing any processing node to become coordinator with initially equal probability. To achieve this, careful attention has been paid to the communication design, and an additional state has been introduced. The design of the tri-state election algorithm has been motivated by the requirements analysis of a major research project to deliver robust scalable distributed applications, including load sharing, in hostile computing environments in which it is common for processing nodes to be rebooted frequently without notice. The new election algorithm is based in-part on a simple 'emergent' design. The science of emergence is of great relevance to developers of distributed applications because it describes how higher-level self-regulatory behaviour can arise from many participants following a small set of simple rules. The tri-state election algorithm is shown to have very low communication complexity in which the number of messages generated remains loosely-bounded regardless of scale for large systems; is highly scalable because nodes in the idle state do not transmit any messages; and because of its self-organising characteristics, is very stable.

Parametrical modeling and design optimization of blood plasma separation device with microchannel mechanism

This paper presents an analysis of biofluid behavior in a T-shaped microchannel device and a design optimization for improved biofluid performance in terms of particle liquid separation. The biofluid is modeled with single phase shear rate non-Newtonian flow with blood property. The separation of red blood cell from plasma is evident based on biofluid distribution in the microchannels against various relevant effects and findings, including Zweifach-Fung bifurcation law, Fahraeus effect, Fahraeus-Lindqvist effect and cell free phenomenon. The modeling with the initial device shows that this T-microchannel device can separate red blood cell from plasma but the separation efficiency among different bifurcations varies largely. In accordance with the imbalanced performance, a design optimization is conducted. This includes implementing a series of simulations to investigate the effect of the lengths of the main and branch channels to biofluid behavior and searching an improved design with optimal separation performance. It is found that changing relative lengths of branch channels is effective to both uniformity of flow rate ratio among bifurcations and reduction of difference of the flow velocities between the branch channels, whereas extending the length of the main channel from bifurcation region is only effective for uniformity of flow rate ratio.

Effect of fluid dynamics and device mechanism on biofluid behaviour in microchannel systems: modelling biofluids in a microchannel biochip separator

Biofluid behaviour in microchannel systems is investigated in this paper through the modelling of a microfluidic biochip developed for the separation of blood plasma. Based on particular assumptions, the effects of some mechanical features of the microchannels on behaviour of the biofluid are explored. These include microchannel, constriction, bending channel, bifurcation as well as channel length ratio between the main and side channels. The key characteristics and effects of the microfluidic dynamics are discussed in terms of separation efficiency of the red blood cells with respect to the rest of the medium. The effects include the Fahraeus and Fahraeus-Lindqvist effects, the Zweifach-Fung bifurcation law, the cell-free layer phenomenon. The characteristics of the microfluid dynamics include the properties of the laminar flow as well as particle lateral or spinning trajectories. In this paper the fluid is modelled as a single-phase flow assuming either Newtonian or Non-Newtonian behaviours to investigate the effect of the viscosity on flow and separation efficiency. It is found that, for a flow rate controlled Newtonian flow system, viscosity and outlet pressure have little effect on velocity distribution. When the fluid is assumed to be Non-Newtonian more fluid is separated than observed in the Newtonian case, leading to reduction of the flow rate ratio between the main and side channels as well as the system pressure as a whole.

Development and release mechanism of diltiazem HCl prolonged release matrix tablets

A coated matrix tablet formulation has been used to develop controlled release diltiazem HCl (DIL) tablets. The developed drug delivery system provided prolonged drug release rates over a defined period of time. DIL tablets prepared using dry mixing and direct compression and the core consisted of hydrophilic and hydrophobic polymers such as hydroxypropylmethylcellulose (HPMC), Eudragits RLPO/RSPO, microcrystalline cellulose, and lactose. Tablets were coated with Eudragit NE 30D, and the influence of varying the inert hydrophobic polymers and the amount of the coating polymer were investigated. The release profile of the developed formulation was described by the Higuchi model. Stability trials up to 6 months displayed excellent reproducibility.

Synthesis and enzymatic evaluation of the guanosine analogue 2-amino-6-mercapto-7-methylpurine ribonucleoside (MESG): insights into the phosphorolysis reaction mechanism based on the blueprint transition state: SN1 or SN2?

A modified experimental procedure for the synthesis of MESG (2-amino-6-mercapto-7-methylpurine ribonucleoside) 1 has been successfully performed and its full characterization is presented. High resolution ESI(+)-MSMS indicates both the nucleoside bond cleavage as the main fragmentation in the gas phase and a possible SN1 mechanism. Ab initio transition state calculations based on the blue print transition state support this mechanistic rationale and discard an alternative SN2 mechanism. Assays using purine nucleoside phosphorylase (PNP) enzyme (human and M. tuberculosis sources) indicate its efficiency in the phosphorolysis of MESG and allow the quantitative determination of inorganic phosphate in real time assay.

Induction of apoptosis in host cells: a survival mechanism for Leishmania parasites?

Leishmania parasites invade host macrophages, causing infections that are either limited to skin or spread to internal organs. In this study, 3 species causing cutaneous leishmaniasis, L. major, L. aethiopica and L. tropica, were tested for their ability to interfere with apoptosis in host macrophages in 2 different lines of human monocyte-derived macrophages (cell lines THP-1 and U937) and the results confirmed in peripheral blood mononuclear cells (PBMC). All 3 species induced early apoptosis 48 h after infection (expression of phosphatidyl serine on the outer membrane). There were significant increases in the percentage of apoptotic cells both for U937 and PBMC following infection with each of the 3 species. Early apoptotic events were confirmed by mitochondrial membrane permeabilization detection and caspase activation 48 and 72 h after infection. Moreover, the percentage of infected THP-1 and U937 macrophages increased significantly (up to 100%) following treatment with an apoptosis inducer. Since phosphatidyl serine externalization on apoptosing cells acts as a signal for engulfment by macrophages, induction of apoptosis in the parasitized cells could actively participate in spreading the infection. In summary, parasite-containing apoptotic bodies with intact membranes could be released and phagocytosed by uninfected macrophages.