Prototyping Behavioural Specifications in the.NET framework

Over the last decade, software architecture emerged as a critical design step in Software Engineering. This encompassed a shift from traditional programming towards the deployment and assembly of independent components. The specification of the overall system structure, on the one hand, and of the interactions patterns between its components, on the other, became a major concern for the working developer. Although a number of formalisms to express behaviour and supply the indispensable calculational power to reason about designs, are available, the task of deriving architectural designs on top of popular component platforms has remained largely informal. This paper introduces a systematic approach to derive, from behavioural specifications written in Ccs, the corresponding architectural skeletons in the Microsoft .Net framework in the form of executable C] code. Such prototyping process is automated by means of a specific tool developed in Haskell

Architectural prototyping: from CCS to .Net

Over the last decade, software architecture emerged as a critical issue in Software Engineering. This encompassed a shift from traditional programming towards software development based on the deployment and assembly of independent components. The specification of both the overall systems structure and the interaction patterns between their components became a major concern for the working developer. Although a number of formalisms to express behaviour and to supply the indispensable calculational power to reason about designs, are available, the task of deriving architectural designs on top of popular component platforms has remained largely informal. This paper introduces a systematic approach to derive, from CCS behavioural specifications the corresponding architectural skeletons in the Microsoft .Net framework, in the form of executable C and Cω code. The prototyping process is fully supported by a specific tool developed in Haskell

Prototyping Concurrent Systems in Cw

Software architecture is currently recognized as one of the most critical design steps in Software Engineering. The specification of the overall system structure, on the one hand, and of the interactions patterns between its components, on the other, became a major concern for the working developer. Although a number of formalisms to express behaviour and supply the indispensable calculational power to reason about designs, are available, the task of deriving architectural designs on top of popular component platforms has remained largely informal. This paper introduces a systematic approach to derive, from behavioural specifications written in Cw, the corresponding architectural skeletons in the Microsoft .NET framework in the form of executable code

Rapid prototyping of polymeric electrophoresis microchips with integrated copper electrodes for contactless conductivity detection

A simple and easy approach to produce polymeric microchips with integrated copper electrodes for capacitively coupled contactless conductivity detection (CD) is described. Copper electrodes were fabricated using a printed circuit board (PCB) as an inexpensive thin-layer of metal. The electrode layout was first drawn and laser printed on a wax paper sheet. The toner layer deposited on the paper sheet was thermally transferred to the PCB surface working as a mask for wet chemical etching of the copper layer. After the etching step, the toner was removed with an acetonitrile-dampened cotton. A poly(ethylene terephthalate) (PET) film coated with a thin thermo-sensitive adhesive layer was used to laminate the PCB plate providing an insulator layer of the electrodes to perform CID measurements. Electrophoresis microchannels were fabricated in poly(dimethylsiloxane) (PDMS) by soft lithography and reversibly sealed against the PET film. These hybrid PDMS/PET chips exhibited a stable electroosmotic mobility of 4.25 +/- 0.04 x 10(-4) V cm(-2) s(-1), at pH 6.1, over fifty runs. Efficiencies ranging from 1127 to 1690 theoretical plates were obtained for inorganic cations.

Development of new rapid prototyping process

Purpose - The purpose of this paper is to identify the key elements of a new rapid prototyping process, which involves layer-by-layer deposition of liquid-state material and at the same time using an ultraviolet line source to cure the deposited material. This paper reports studies about the behaviour of filaments, deposition accuracy, filaments interaction and functional feasibility of system. Additionally, the author describes the process which has been proposed, the equipment that has been used for these studies and the material which was developed in this application. Design/methodology/approach - The research has been separated into three study areas in accordance with their goals. In the first, both the behaviour of filament and deposition accuracy was studied. The design of the experiment is described with focus on four response factors (bead width, filament quality, deposition accuracy and deposition continuity) along with function of three control factors (deposition height, deposition velocity and extrusion velocity). The author also studied the interaction between filaments as a function of bead centre distance. In addition, two test samples were prepared to serve as a proof of the methodology and to verify the functional feasibility of the process which has been studied. Findings - The results show that the proposed process is functionally feasible, and that it is possible to identify the main effects of control factors over response factors. That analysis is used to predict the condition of process as a function of the parameters which control the process. Also identified were distances of centre beads which result in a specific behaviour. The types of interaction between filaments were analysed and sorted into: union, separation and indeterminate. At the end, the functional feasibility of process was proved whereby two test parts could be built. Originality/value - This paper proposes a new rapid prototyping process and also presents test studies related to this proposition. The author has focused on the filament behaviour, deposition accuracy, interaction between filaments and studied the functional feasibility of process to provide new information about this process, which at the same time is useful to the development of other rapid prototyping processes.

All in Good Time: Exploring Change in Neanderthal Behavioural Complexity

Since their discovery 150 years ago, Neanderthals have been considered incapable of behavioural change and innovation. Traditional synchronic approaches to the study of Neanderthal behaviour have perpetuated this view and shaped our understanding of their lifeways and eventual extinction. In this thesis I implement an innovative diachronic approach to the analysis of Neanderthal faunal extraction, technology and symbolic behaviour as contained in the archaeological record of the critical period between 80,000 and 30,000 years BP. The thesis demonstrates patterns of change in Neanderthal behaviour which are at odds with traditional perspectives and which are consistent with an interpretation of increasing behavioural complexity over time, an idea that has been suggested but never thoroughly explored in Neanderthal archaeology. Demonstrating an increase in behavioural complexity in Neanderthals provides much needed new data with which to fuel the debate over the behavioural capacities of Neanderthals and the first appearance of Modern Human Behaviour in Europe. It supports the notion that Neanderthal populations were active agents of behavioural innovation prior to the arrival of Anatomically Modern Humans in Europe and, ultimately, that they produced an early Upper Palaeolithic cultural assemblage (the Châtelperronian) independent of modern humans. Overall, this thesis provides an initial step towards the development of a quantitative approach to measuring behavioural complexity which provides fresh insights into the cognitive and behavioural capabilities of Neanderthals.

Exploring Change in Neanderthal Behavioural Complexity: An Innovative Approach to the Study of Neanderthal Behaviour

Diachronic approaches provide potential for a more sophisticated framework within which to examine change in Neanderthal behavioural complexity using archaeological proxies such as symbolic artefacts, faunal assemblages and technology. Analysis of the temporal appearance and distribution of such artefacts and assemblages provide the basis for identifying changes in Neanderthal behavioural complexity in terms of symbolism, faunal extraction and technology respectively. Although changes in technology and faunal extraction were examined in the wider study, only the results of the symbolic study are presented below to illustrate the potential of the approach.

Governing coordination: Behavioural principles and neural correlates

The coordination of movement is governed by a coalition of constraints. The expression of these constraints ranges from the concrete—the restricted range of motion offered by the mechanical configuration of our muscles and joints; to the abstract—the difficulty that we experience in combining simple movements into complex rhythms. We seek to illustrate that the various constraints on coordination are complementary and inclusive, and the means by which their expression and interaction are mediated systematically by the integrative action of the central nervous system (CNS). Beyond identifying the general principles at the behavioural level that govern the mutual interplay of constraints, we attempt to demonstrate that these principles have as their foundation specific functional properties of the cortical motor systems. We propose that regions of the brain upstream of the motor cortex may play a significant role in mediating interactions between the functional representations of muscles engaged in sensorimotor coordination tasks. We also argue that activity in these ldquosupramotorrdquo regions may mediate the stabilising role of augmented sensory feedback.

Exercise augments the effects of cognitive-behavioural therapy in the treatment of binge eating

To evaluate the effects of adding exercise and maintenance to cognitive-behavior therapy (CBT) for binge eating disorder (BED) in obese women. One hundred fourteen obese female binge eaters were randomized into four groups: CBT with exercise and maintenance, CBT with exercise, CBT with maintenance, and CBT only. Eighty-four women completed the 16-month study. Subjects who received CBT with exercise experienced significant reductions in binge eating frequency compared with subjects who received CBT only. The CBT with exercise and maintenance group had a 58% abstinence rate at the end of the study period and an average reduction of 2.2 body mass index (BMI) units (approximately 14 lb). BMI was significantly reduced in the subjects in both the exercise and maintenance conditions. The results suggest that adding exercise to CBT, and extending the duration of treatment, enhances outcome and contributes to reductions in binge eating and BMI.

Employee reactions to behavioural control under conditions of stress: the moderating role of self-efficacy

Extensive research conducted in the occupational stress literature has failed to provide convincing support for the stress-buffering effects of work control on employee adjustment. Drawing on research conducted in the laboratory context, it was proposed that the stress-buffering effects of work control on employee adjustment would be more marked at high, rather than low, levels of self-efficacy. In a sample of 100 customer service representatives, a significant three-way interaction among role conflict, work control and self-efficacy (measured at Time 1) was observed on (low) depersonalization (measured at Time 2). Consistent with expectations, work control reduced the negative effects of work stress on this outcome measure only for employees who perceived high levels of self-efficacy at work. In addition, there was evidence to suggest that self-efficacy moderated the main effects of work control on job satisfaction and somatic health. These findings are discussed hi terms of their theoretical contribution to the job strain model, and also in relation to workplace interventions designed to improve levels of employee adjustment.

Cost-effectiveness of cognitive behavioural therapy and selective serotonin reuptake inhibitors for major depression in children and adolescents

Objective: To assess from a health sector perspective the incremental cost-effectiveness of cognitive behavioural therapy (CBT) and selective serotonin reuptake inhibitors (SSRIs) for the treatment of major depressive disorder (MDD) in children and adolescents, compared to 'current practice'. Method: The health benefit is measured as a reduction in disability-adjusted life years (DALYs), based on effect size calculations from meta-analysis of randomised controlled trials. An assessment on second stage filter criteria ('equity'; 'strength of evidence', 'feasibility' and 'acceptability to stakeholders') is also undertaken to incorporate additional factors that impact on resource allocation decisions. Costs and benefits are tracked for the duration of a new episode of MDD arising in eligible children (age 6-17 years) in the Australian population in the year 2000. Simulation-modelling techniques are used to present a 95% uncertainty interval (UI) around the cost-effectiveness ratios. Results: Compared to current practice, CBT by public psychologists is the most cost-effective intervention for MDD in children and adolescents at A$9000 per DALY saved (95% UI A$3900 to A$24 000). SSRIs and CBT by other providers are less cost-effective but likely to be less than A$50 000 per DALY saved (> 80% chance). CBT is more effective than SSRIs in children and adolescents, resulting in a greater total health benefit (DALYs saved) than could be achieved with SSRIs. Issues that require attention for the CBT intervention include equity concerns, ensuring an adequate workforce, funding arrangements and acceptability to various stakeholders. Conclusions: Cognitive behavioural therapy provided by a public psychologist is the most effective and cost-effective option for the first-line treatment of MDD in children and adolescents. However, this option is not currently accessible by all patients and will require change in policy to allow more widespread uptake. It will also require 'start-up' costs and attention to ensuring an adequate workforce.