Mathematical notation in formal specification: Too difficult for the masses? [Correspondence]

The phrase “not much mathematics required” can imply a variety of skill levels. When this phrase is applied to computer scientists, software engineers, and clients in the area of formal specification, the word “much” can be widely misinterpreted with disastrous consequences. A small experiment in reading specifications revealed that students already trained in discrete mathematics and the specification notation performed very poorly; much worse than could reasonably be expected if formal methods proponents are to be believed.

The Jama legal narrative. Part II: A foray into concepts of improbability

In judicial decision making, the doctrine of chances takes explicitly into account the odds. There is more to forensic statistics, as well as various probabilistic approaches which taken together form the object of an enduring controversy in the scholarship of legal evidence. In this paper, we reconsider the circumstances of the Jama murder and inquiry (dealt with in Part I of this paper: "The Jama Model. On Legal Narratives and Interpretation Patterns"), to illustrate yet another kind of probability or improbability. What is improbable about the Jama story, is actually a given, which contributes in terms of dramatic underlining. In literary theory, concepts of narratives being probable or improbable date back from the eighteenth century, when both prescientific and scientific probability was infiltrating several domains, including law. An understanding of such a backdrop throughout the history of ideas is, I claim, necessary for AI researchers who may be tempted to apply statistical methods to legal evidence. The debate for or against probability (and especially bayesian probability) in accounts of evidence has been flouishing among legal scholars. Nowadays both the the Bayesians (e.g. Peter Tillers) and Bayesioskeptics (e.g. Ron Allen) among those legal scholars whoare involved in the controversy are willing to give AI researchers a chance to prove itself and strive towards models of plausibility that would go beyond probability as narrowly meant. This debate within law, in turn, has illustrious precedents: take Voltaire, he was critical of the application or probability even to litigation in civil cases; take Boole, he was a starry-eyed believer in probability applications to judicial decision making (Rosoni 1995). Not unlike Boole, the founding father of computing, nowadays computer scientists approaching the field may happen to do so without full awareness of the pitfalls. Hence, the usefulness of the conceptual landscape I sketch here.

The Jama legal narrative part II: A foray into concepts of improbability

In judicial decision making, the doctrine of chances takes explicitly into account the odds. There is more to forensic statistics, as well as various probabilistic approaches, which taken together form the object of an enduring controversy in the scholarship of legal evidence. In this paper, I reconsider the circumstances of the Jama murder and inquiry (dealt with in Part I of this paper: 'The JAMA Model and Narrative Interpretation Patterns'), to illustrate yet another kind of probability or improbability. What is improbable about the Jama story is actually a given, which contributes in terms of dramatic underlining. In literary theory, concepts of narratives being probable or improbable date back from the eighteenth century, when both prescientific and scientific probability were infiltrating several domains, including law. An understanding of such a backdrop throughout the history of ideas is, I claim, necessary for Artificial Intelligence (AI) researchers who may be tempted to apply statistical methods to legal evidence. The debate for or against probability (and especially Bayesian probability) in accounts of evidence has been flourishing among legal scholars; nowadays both the Bayesians (e.g. Peter Tillers) and the Bayesio-skeptics (e.g. Ron Allen), among those legal scholars who are involved in the controversy, are willing to give AI research a chance to prove itself and strive towards models of plausibility that would go beyond probability as narrowly meant. This debate within law, in turn, has illustrious precedents: take Voltaire, he was critical of the application of probability even to litigation in civil cases; take Boole, he was a starry-eyed believer in probability applications to judicial decision making. Not unlike Boole, the founding father of computing, nowadays computer scientists approaching the field may happen to do so without full awareness of the pitfalls. Hence, the usefulness of the conceptual landscape I sketch here.

The assassination of time (ζeta-philosophy)

The Digital Art Weeks PROGRAM (DAW06) is concerned with the application of digital technology in the arts. Consisting again this year of symposium, workshops and performances, the program offers insight into current research and innovations in art and technology as well as illustrating resulting synergies in a series of performances, making artists aware of impulses in technology and scientists aware of the possibilities of the application of technology in the arts.

Assessment of the origin and stability of Nifedipine polymorph IV by differential scanning calorimetry (DSC)

Purpose. To examine the thermal transition(s) between different polymorphic forms of Nifedipine and to define experimental conditions that lead to the generation of polymorph IV. Methods. Experiments were performed using a DSC 823e (Mettler Toledo). Nifedipine exists in four polymorphic forms, as well as an amorphous state. Examination of Nifedipine was conducted using the following method(s): cycle 1: 25ºC to 190ºC, 190ºC to 25ºC (formation of amorphous Nifedipine); cycle 2: 25ºC to X (60,70,80...150ºC), X to 25ºC; cycle 3: 25ºC to 190ºC and holding isothermally for 5 min between cycles (heating/cooling rate of 10ºC/min). Results. The amorphous state Nifedipine can sustain heating up to 90ºC without significant changes in its composition. Cycle 2 of amorphous material heated up to 90ºC shows only the glass transition at ~44ºC. In cycle 3 of the same material, a glass transition has been recorded at ~44ºC, followed by two exotherms (~100 and ~115ºC (crystallisation of polymorph III and II, respectively) and an endotherm (169ºC (melting of polymorphs I/II)). Samples that have been heated to temperatures between 100ºC and 120ºC in the second cycle showed a glass transition at ~44ºC and an additional exotherm at ~95ºC (crystallisation of polymorph III) on cooling a exotherm was observed at ~40ºC (crystallisation of polymorph IV). The same material showed no glass transition in cycle 3 but an endotherm at around 62ºC (melting of polymorph IV) an exotherm (~98ºC) and an endotherm (169ºC) melting of polymorph I/II. Heating the sample to a temperatures greater than 130ºC in cycle two results in a glass transition at ~44ºC, and two exotherms at ~102 and 125ºC (crystallisation of polymorphs III and I, respectively). Conclusions. DSC data suggests that polymorph IV can only be produced from amorphous or polymorph III samples. The presence of polymorph I or II drives the conversion of the less stable polymorphic form IV into the most stable form, I. Although form IV of Nifedipine can easily be created, following defined experimental conditions, it may only coexist with amorphous or polymorph III states. When polymorphs I and II are present in the sample polymorph IV cannot be etected.

HPLC-ESI-MS method development for the elucidation of nicardipine degradation products

Purpose: Nicardipine is a member of a family of calcium channel blockers named dihydropiridines that are known to be photolabile and may cause phototoxicity. It is therefore vital to develop analytical method which can study the photodegradation of nicardipine. Method: Forced acid degradation of nicardipine was conducted by heating 12 ml of 1 mg/ml nicardipine with 3 ml of 2.5 M HCl for two hours. A gradient HPLC medthod was developed using Agilent Technologies 1200 series quaternary system. Separation was achieved with a Hichrome (250 x 4.6 mm) 5 μm C18 reversed phase column and mobile phase composition of 70% A(100%v/v water) and 30% B(99%v/v acetonitrile + 1%v/v formic acid) at time zero, composition of A and B was then charged to 60%v/v A;40%v/v B at 10minutes, 50%v/v A; 50%v/v B at 30minutes and 70%v/v A; 30%v/v B at 35minutes. 20μl of 0.8mg/ml of nicardipine degradation was injected at room temperature (25oC). The gradient method was transferred onto a HPLC-ESI-MS system (HP 1050 series - AQUAMAX mass detector) and analysis conducted with an acid degradation concentration of 0.25mg/ml and 20μl injection volume. ESI spectra were acquired in positive ionisation mode with MRM 0-600 m/z. Results: Eleven nicardipine degradation products were detected in the HPLC analysis and the resolution (RS) between the respective degradants where 1.0, 1.2, 6.0, 0.4, 1.7, 3.7, 1.8, 1.0, and 1.7 respectively. Nine degradation products were identified in the ESI spectra with the respective m/z ratio; 171.0, 166.1, 441.2, 423.2, 455.2, 455.2, 331.1, 273.1, and 290.1. The possible molecular formulae for each degradants were ambiguously determined. Conclusion: A sensitive and specific method was developed for the analysis of nicardipine degradants. Method enables detection and quantification of nicardipine degradation products that can be used for the study of the kinetics of nicardipine degradation processes.

The impact of powder flowing properties on dosator filling system operation

Purpose: To study the impact of powder flow properties on dosator filling systems, with particular focus on improvements in dose weight accuracy and repeatability. Method: This study evaluates a range of critical powder flow properties such as: flow function, cohesion, wall friction, adhesion to wall surfaces, density/compressibility data, stress ratio “K” and gas permeability. The characterisations of the powders considered in this study were undertaken using an annular shear cell using a sample size of 0.5 litres. This tester also incorporated the facility to measure bed expansion during shear in addition to contraction under consolidation forces. A modified Jenike type linear wall friction tester was used to develop the failure loci for the powder sample in conjunction with multiple wall samples (representing a variety of material types and surface finishes). Measurements of the ratio of applied normal stress versus lateral stress were determined using a piece of test equipment specifically designed for the purpose. Results: The correct characterisation of powders and the incorporation of this data into the design of process equipment are recognised as critical for reliable and accurate operation. An example of one aspect of this work is the stress ratio “K”. This characteristic is not well understood or correctly interpreted in many cases – despite its importance. Fig 1 [Omitted] (illustrates a sample of test data. The slope of the line gives the stress ratio in a uniaxial compaction system – indicating the behaviour of the material under compaction during dosing processes. Conclusions: A correct assessment of the bulk powder properties for a given formulation can allow prediction of: cavity filling behaviour (and hence dosage), efficiency of release from dosator, and strength and stability of extruded dose en route to capsule filling Influences over the effectiveness of dosator systems have been shown to be impacted upon by: bed pre-compaction history, gas permeability in the bed (with respect to local density effects), and friction effects for materials of construction for dosators

Modelling of dosator operation for improved manufacturing performance

Purpose: To develop an improved mathematical model for the prediction of dose accuracy of Dosators - based upon the geometry of the machine in conjunction with measured flow properties of the powder. Methods: A mathematical model has been created, based on a analytical method of differential slices - incorporating measured flow properties. The key flow properties of interest in this investigation were: flow function, effective angle of wall friction, wall adhesion, bulk density, stress ratio K and permeability. To simulate the real process and (very importantly) validate the model, a Dosator test-rig has been used to measure the forces acting on the Dosator during the filling stage, the force required to eject the dose and the dose weight. Results: Preliminary results were obtained from the Dosator test-rig. Figure 1 [Omitted] shows the dose weight for different depths to the bottom of the powder bed at the end of the stroke and different levels of pre-compaction of the powder bed. A strong influence over dose weight arising from the proximity between the Dosator and the bottom of the powder bed at the end of the stroke and the conditions of the powder bed has been established. Conclusions: The model will provide a useful tool to predict dosing accuracy and, thus, optimise the future design of Dosator based equipment technology – based on measured bulk properties of the powder to be handled. Another important factor (with a significant influence) on Dosator processes, is the condition of the powder bed and the clearance between the Dosator and the bottom of the powder bed.

Assessment of the degradation of Aspirin by Differential Scanning Calorimetry (DSC)

Purpose. To study thermal stability of Aspirin and define thermal events that are associated with the thermal degradation of aspirin. Methods. Experiments were performed using a DSC 823e (Mettler Toledo, Swiss). Aspirin is prone to thermal degradation upon exposure to high temperatures. The melting point of aspirin is 140.1±0.4ºC (DSC). Aspirin has been examined by heating samples to 120ºC, 155ºC and 185ºC with subsequent cooling to -55ºC and a final heating to 155ºC. Although different heating and cooling ranges have been used, only results obtained at a rate of 10ºC/min will be presented. All runs where conducted in hermetically sealed pans. Results. Upon heating the sample to 120ºC no significant thermal event can be detected. After cooling the sample and reheating a glass transition can be observed at ~-8ºC, followed by the melting of aspirin at ~139ºC. By heating the sample to 155ºC melting of aspirin has been detected at ~139ºC. On cooling and subsequent heating a glass transition occurs at ~-32ºC, together with a broad crystallisation (onset at ~38ºC and peak maximum at ~57ºC) followed by a broad melting with an onset at 94ºC and peak maximum at ~112ºC. Finally, by heating the sample to 185ºC melting at ~ 139ºC was observed, and upon cooling and reheating a glass transition was detected at ~-26ºC and no further events could be recorded. Conclusions. This research demonstrates that the degradation steps of Aspirin depend on the thermal treatment. The main degradation products of different thermal treatments are currently unknown it is clear that acetic acid, which is one of the degradation products, acts as an antiplasticiser by lowering the glass transition temperature. In addition, due to the presence of the degradation products in liquid form (observed by hot stage microscopy), Aspirin is still present in the sample and recrystallises during the second heating step and melts at much lower temperatures.

2009 world nuclear industry status report

Although some countries plan to build new nuclear power plants in the near future, in aggregate the data indicates that nuclear power's influence will continue to dwindle across the globe in coming decades.