Temporal structure and enablement representation for mutual wills: A Petri net approach

Those temporal formalisms that are sporadically found nowadays in the literature of AI & Law are based on temporal logic. We claim a revived role for another major class of temporal representation: Petri nets. This formalism, popular in computing from the 1970s, had its potential recognized on occasion in the literature of legal computing as well, but apparently the discipline has lost sight of it, and its practitioners on average need be tutored into this kind of representation. Asynchronous, concurrent processes—for which the approach is well‐suited—are found in the legal domain, in disparate contexts. We develop an example for Mutual Wills.

Temporal representation of state transitions

This paper describes a knowledge-based temporal representation of state transitions for industrial real-time systems. To allow expression of uncertainty, we shall define fluents as disjuncts of positive/negative time-varying properties. A state of the world is represented as a collection of fluents, which is usually incomplete in the sense that neither the positive form nor the negative form of some properties can be implied from it. The world under consideration is assumed to persist in a given state until an action(s) takes place to effect a transition of it into another state, where actions may either be instantaneous or durative. High-level causal laws are characterized in terms of relationships between actions and the involved world states. An effect completion axiom is imposed on each causal law to guarantee that all the fluents that can be affected by the performance of the corresponding action are governed. This completion requirement is practical for most industrial real-time applications and in fact provides a simple and effective treatment to the so-called frame problem.

Buoyancy driven flow and its stability in a horizontal rectangular channel with an arbitrary oriented transversal magnetic field

An MHD flow is considered which is relevant to horizontal Bridgman technique for crystal growth from a melt. In the unidirectional parallel flow approximation an analytical solution is found accounting for the finite rectangular cross section of the channel in the case of a vertical magnetic field. Numerical pseudo-spectral solutions are used in the cases of arbitrary magnetic field and gravity vector orientations. The vertical magnetic field (parallel to the gravity) is found to be he most effective to damp the flow, however, complicated flow profiles with "overvelocities" in the comers are typical in the case of a finite cross-section channel. The temperature distribution is shown to be dependent on the flow profile. The linear stability of the flow is investigated by use of the Chebyshev pseudospectral method. For the case of an infinite width channel the transversal rolls instability is investigated, and for the finite cross-section channel the longitudinal rolls instability is considered. The critical Gr number values are computed in the dependence of the Ha number and the wave number or the aspect ratio in the case of finite section.

Forward and inverse transport of particulate matter and gaseous pollutants affecting the region bordering the English Channel

The ATTMA "Aerosol Transport in the Trans-Manche Atmosphere" project investigates the transportation and dispersion of air pollutants across the English Channel, in collaboration with local authorities and other Universities in Southern England and Northern France. The research is concerned with both forward and inverse (receptor based) tracking. Two alternative dispersion simulation methods are used: (a) Lagrangian Particle Dispersion (LPD) models, (b) Eulerian Finite Volume type models. This paper is concerned with part (a), the simulations based on LPD models. Two widely applied LPD models are used and compared. Since in many observed episodes the source of pollution is traced outside the region of interest, long range, trans-continental transport is also investigated.

Investigating the representation of merging behavior at the floor–stair interface in computer simulations of multi-floor building evacuations

In this article, the representation of the merging process at the floor— stair interface is examined within a comprehensive evacuation model and trends found in experimental data are compared with model predictions. The analysis suggests that the representation of floor—stair merging within the comprehensive model appears to be consistent with trends observed within several published experiments of the merging process. In particular: (a) The floor flow rate onto the stairs decreases as the stair population density increases. (b) For a given stair population density, the floor population's flow rate onto the stairs can be maximized by connecting the floor to the landing adjacent to the incoming stair. (c) In situations where the floor is connected adjacent to the incoming stair, the merging process appears to be biased in favor of the floor population. It is further conjectured that when the floor is connected opposite the incoming stair, the merging process between the stair and floor streams is almost in balance for high stair population densities, with a slight bias in favor of the floor stream at low population densities. A key practical finding of this analysis is that the speed at which a floor can be emptied onto a stair can be enhanced simply by connecting the floor to the landing at a location adjacent to the incoming stair rather than opposite the stair. Configuring the stair in this way, while reducing the floor emptying time, results in a corresponding decrease in the descent flow rate of those already on the stairs. While this is expected to have a negligible impact on the overall time to evacuate the building, the evacuation time for those higher up in the building is extended while those on the lower flows is reduced. It is thus suggested that in high-rise buildings, floors should be connected to the landing on the opposite side to the incoming stair. Information of this type will allow engineers to better design stair—floor interfaces to meet specific design objectives.

Implementation of cognitive mapping, spatial representation and wayfinding behaviours of people within evacuation modelling tools

Within the building evacuation context, wayfinding describes the process in which an individual located within an arbitrarily complex enclosure attempts to find a path which leads them to relative safety, usually the exterior of the enclosure. Within most evacuation modelling tools, wayfinding is completely ignored; agents are either assigned the shortest distance path or use a potential field to find the shortest path to the exits. In this paper a novel wayfinding technique that attempts to represent the manner in which people wayfind within structures is introduced and demonstrated through two examples. The first step is to encode the spatial information of the enclosure in terms of a graph. The second step is to apply search algorithms to the graph to find possible routes to the destination and assign a cost to the routes based on their personal route preferences such as "least time" or "least distance" or a combination of criteria. The third step is the route execution and refinement. In this step, the agent moves along the chosen route and reassesses the route at regular intervals and may decide to take an alternative path if the agent determines that an alternate route is more favourable e.g. initial path is highly congested or is blocked due to fire.

Cooperative communications in ultra-wideband wireless body area networks: Channel modeling and system diversity analysis

In this paper, we explore the application of cooperative communications in ultra-wideband (UWB) wireless body area networks (BANs), where a group of on-body devices may collaborate together to communicate with other groups of on-body equipment. Firstly, time-domain UWB channel measurements are presented to characterize the body-centric multipath channel and to facilitate the diversity analysis in a cooperative BAN (CoBAN). We focus on the system deployment scenario when the human subject is in the sitting posture. Important channel parameters such as the pathloss, power variation, power delay profile (PDP), and effective received power (ERP) crosscorrelation are investigated and statistically analyzed. Provided with the model preliminaries, a detailed analysis on the diversity level in a CoBAN is provided. Specifically, an intuitive measure is proposed to quantify the diversity gains in a single-hop cooperative network, which is defined as the number of independent multipaths that can be averaged over to detect symbols. As this measure provides the largest number of redundant copies of transmitted information through the body-centric channel, it can be used as a benchmark to access the performance bound of various diversity-based cooperative schemes in futuristic body sensor systems.

Legal myth-making: Medea and the legal representation of the feminine ‘other'

The Law operates by, and through, the creation of ideal benchmarks of conduct that are deemed to be representative of the behavioural norm. It is in this sense that it could be contended that the Law utilises, and relies on, myths in the same way as do other disciplines, notably psycho-analysis. It is possible to go even further and argue that the use of a created narrative mythology is essential to the establishment of a defined legal benchmark of behaviour by which the female defendant is assessed, judged and punished. While mythology expresses and symbolizes cultural and political behaviour, it is the Law that embodies and prescribes punitive sanctions. This element represents a powerful literary strand in classical mythology. This may be seen, for instance, in Antigone’s appeal to the Law as justification for her conduct, as much as in Medea’s challenge to the Law though her desire for vengeance. Despite its image of neutral, objective rationality, the Law, in creating and sustaining the ideals of legally-sanctioned conduct, engages in the same literary processes of imagination, reason and emotion that are central to the creation and re-creation of myth. The (re-)presentation of the Medea myth in literature (especially in theatre) and in art, finds its echo in the theatre of the courtroom where wronged women who have refused to passively accept their place, have instead responded with violence. Consequently, the Medea myth, in its depiction of the (un)feminine, serves as a template for the Law’s judgment of ‘conventional’ feminine conduct in the roles of wife and mother. Medea is an image of deviant femininity, as is Lady Macbeth and the countless other un-feminine literary and mythological women who challenge the power of the dominant culture and its ally, the Law. These women stand opposed to the other dominant theme of both literature and Law: the conformist woman, the passive dupe, who are victims of male oppression – women such as Ariadne of Naxos and Tess of the D’Ubervilles – and who are subsequently consumed by the Law, much as Semele is consumed by the fire of Jupiter’s gaze upon her. All of these women, the former as well as the latter, have their real-life counterparts in the pages of the Law Reports. As Fox puts it, “these women have come to bear the weight of the cultural stereotypes and preconceptions about women who kill.”

Low temperature X-ray structures of two crystalline forms (I) and (II) of the pyrimidine derivative and sodium channel blocker BW1003C87: 5-(2,3,5-trichlorophenyl)-2,4-diaminopyrimidine

The X-ray crystal structures of two crystalline forms of 5-(2,3,5-trichlorophenyl)-2,4-diaminopyrimidine, C10H7Cl3N4 (code name BW1003C87) (I) and (II), have been carried out at liquid nitrogen temperature. A detailed comparison of the two structures is given. Both are centrosymmetric, with structure (I) in the triclinic space group P (1) over bar unit cell a = 6.4870(10), b = 9.216(2), c = 12.016(2) angstrom, alpha = 75.78(3)degrees, beta = 89.95(3)degrees, gamma = 83.45(3)degrees, V = 691.5(2) angstrom(3), Z = 2 and density (calculated) = 1.544 Mg/m(3); and (II) in the monoclinic space group P2(1)/c, unit cell a = 12.000(2), b = 7.518(2), c = 13.450(3) angstrom, beta = 97.87(3)degrees, V = 1202.0(5) angstrom(3), Z = 4, Density (calculated) = 1.600 Mg/m(3). Structure (I) includes a solvated CH3OH in the lattice. Final R indices [I > 2sigma(I)] are R1 = 0.0427, wR2 = 0.1075 for (I) and R1 = 0.0487, wR2 = 0.1222 for (II). R indices (all data) are R1 = 0.0470, wR2 = 0.1118 for (I) and R1 = 0.0623, wR2 = 0.1299 for (II). 5-Phenyl-2,4 diaminopyrimidine and 6-phenyl-1,2,4 triazine derivatives, which include lamotrigine (3,5-diamino-6-(2,3-dichlorophenyl)-1,2,4-triazine), have been investigated for some time for their effects on the central nervous system. Both lamotrigine and 5-(2,3,5-trichlorophenyl)-2,4-diaminopyrimidine (code name BW1003C87), the subject of the present study, are anticonvulsant as well as neuroprotective in models of brain ischaemia and in a model of white matter ischaemia. BW1003C87 is a sodium channel blocker which also reduces the release of the neurotransmitter glutamate. The three dimensional structures reported here form part of a newly developed data base for the detailed investigation of members of this drug family and their biological activities.