Specifying and analysing networks of processes in CSPt (or in search of associativity)

In proposing theories of how we should design and specify networks of processes it is necessary to show that the semantics of any language we use to write down the intended behaviours of a system has several qualities. First in that the meaning of what is written on the page reflects the intention of the designer; second that there are no unexpected behaviours that might arise in a specified system that are hidden from the unsuspecting specifier; and third that the intention for the design of the behaviour of a network of processes can be communicated clearly and intuitively to others. In order to achieve this we have developed a variant of CSP, called CSPt, designed to solve the problems of termination of parallel processes present in the original formulation of CSP. In CSPt we introduced three parallel operators, each with a different kind of termination semantics, which we call synchronous, asynchronous and race. These operators provide specifiers with an expressive and flexible tool kit to define the intended behaviour of a system in such a way that unexpected or unwanted behaviours are guaranteed not to take place. In this paper we extend out analysis of CSPt and introduce the notion of an alphabet diagram that illustrates the different categories of events that can arise in the parallel composition of processes. These alphabet diagrams are then used to analyse networks of three processes in parallel with the aim of identifying sufficient constraints to ensure associativity of their parallel composition. Having achieved this we then proceed to prove associativity laws for the three parallel operators of CSPt. Next, we illustrate how to design and construct a network of three processes that satisfy the associativity law, using the associativity theorem and alphabet diagrams. Finally, we outline how this could be achieved for more general networks of processes.

Successful termination in timed CSP

In proposing theories of how we should design and specify networks of processes it is necessary to show that the semantics of any language we use to write down the intended behaviours of a system has several qualities. First in that the meaning of what is written on the page reflects the intention of the designer; second that there are no unexpected behaviours that might arise in a specified system that are hidden from the unsuspecting specifier; and third that the intention for the design of the behaviour of a network of processes can be communicated clearly and intuitively to others. In order to achieve this we have developed a variant of CSP, called CSPt, designed to solve the problems of termination of parallel processes present in the original formulation of CSP. In CSPt we introduced three parallel operators, each with a different kind of termination semantics, which we call synchronous, asynchronous and race. These operators provide specifiers with an expressive and flexible tool kit to define the intended behaviour of a system in such a way that unexpected or unwanted behaviours are guaranteed not to take place. In this paper we extend out analysis of CSPt and introduce the notion of an alphabet diagram that illustrates the different categories of events that can arise in the parallel composition of processes. These alphabet diagrams are then used to analyse networks of three processes in parallel with the aim of identifying sufficient constraints to ensure associativity of their parallel composition. Having achieved this we then proceed to prove associativity laws for the three parallel operators of CSPt. Next, we illustrate how to design and construct a network of three processes that satisfy the associativity law, using the associativity theorem and alphabet diagrams. Finally, we outline how this could be achieved for more general networks of processes.

Adaptive-threshold region merging via path scanning

Region merging algorithms commonly produce results that are seen to be far below the current commonly accepted state-of-the-art image segmentation techniques. The main challenging problem is the selection of an appropriate and computationally efficient method to control resolution and region homogeneity. In this paper we present a region merging algorithm that includes a semi-greedy criterion and an adaptive threshold to control segmentation resolution. In addition we present a new relative performance indicator that compares algorithm performance across many metrics against the results from human segmentation. Qualitative (visual) comparison demonstrates that our method produces results that outperform existing leading techniques.

Urban transformations and rail stations system - the study case of Naples

The aim of this study is to give an interpretation of the urban transformations connected to rail transit system investments; in particular the main research goal is to analyze and give a methodological support for the urban transformation phenomena government in the rail transit stations areas. The article proposes an empirical studies comparative analysis and an application in the Naples urban area, in which a new rail transit network has been developed. In particular the socio-economic transit impacts on the urban system are measured and interpretated with the support of a GIS; therefore an application of the node-place interpretative model (Bertolini 1999) is proposed in order to support transit–land use planning processes in the stations areas.

An FPGA based decimation filter processor design for real-time continuous-time Σ−Δ modulator performance measurement and evaluation

This paper reports on a Field Programmable Gate Array (FPGA) implementation as well as prototyping for real-time testing of a low complexity high efficiency decimation filter processor which is deployed in conjunction with a custom built low-power jitter insensitive Continuous Time (CT) Sigma-Delta (Σ-Δ) Modulator to measure and assess its performance. The CT Σ-Δ modulator/decimation filter cascade can be used in integrated all-digital microphone interfaces for a variety of applications including mobile phone handsets, wireless handsets as well as other applications requiring all-digital microphones. The work reported here concentrates on the design and implementation as well as prototyping on a Xilinx Spartan 3 FPGA development system and real-time testing of the decimation processing part deploying All-Pass based structures to process the bit stream coming from CT Σ-Δ modulator hence measuring in real-time and fully assessing the modulator's performance.

Agent-Based Simulation of the Evolution of Enterprise Carbon Assets

Carbon assets have the value of carbon emission reduction in enterprises and are closely relevant to business images and competitiveness. In this paper, the connotation of carbon assets is clarified. The definition of carbon assets in enterprise business contexts are also provided. In addition, an interactive evolution framework is established to demonstrate the emergent property of carbon assets using multi-agent-based simulation, which can bring a new perspective for enterprises to manage their carbon assets and improve low-carbon competitiveness.

Use of Distress and Depression Thermometers to Measure Psychosocial Morbidity Among Southern European Cancer Patients

GOALS OF WORK: Recent literature has indicated the need for rapid evaluation of psychosocial issues secondary to cancer. Because of the problems of routine use of psychometric instruments, short instruments such as visual analogue scales or one-item 0-10 scales have been developed as valid assessment alternatives. PATIENTS AND METHODS: A study was conducted to examine the role of two 0-10 scales in measuring emotional stress (distress thermometer, DT) and depressed mood (mood thermometer, MT), respectively, in a multicenter study carried out in southern European countries (Italy, Portugal, Spain, and Switzerland). A convenience sample of 312 cancer outpatients completed the DT and MT and the Hospital Anxiety Depression Scale (HADS). MAIN RESULTS: DT was more significantly associated HADS anxiety than HADS depression while MT was related both to HADS anxiety and depression. The correlation of MT with HADS was higher than DT. A cutoff point >4 on the DT maximized sensitivity (65%) and specificity (79%) for general psychosocial morbidity while a cutoff >5 identified more severe "caseness" (sensitivity=70%; specificity=73%). On the MT, sensitivity and specificity for general psychosocial morbidity were 85% and 72% by using the cutoff score >3. A score >4 on the MT was associated with a sensitivity of 78% and a specificity of 77% in detecting more severe caseness. CONCLUSIONS: Two simple instruments, the DT and the MT, were found to have acceptable levels of sensitivity and specificity in detecting psychosocial morbidity. Compared to the HADS, however, the mood MT performed better than the DT.

Hard real-time multiprocessor scheduling resilient to core failures

Presented at 21st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2015). 19 to 21, Aug, 2015, pp 122-131. Hong Kong, China.

Hipersensibilidade à Varfarina. Que Abordagem?

Os autores descrevem um caso clínico de hipersensibilidade à varfarina traduzido por uma elevação acentuada do INR, aquando da introdução do fármaco em doente com antecedentes tromboembólicos. Da pesquisa de polimorfismos para os genes VKORC1 e CYP2C9, utilizando técnicas de amplificação por PCR e hibridização reversa, apurou-se heterozigotia para -1639G>A (gene VKORC1) e homozigotia para 1075A>C (genótipo CYP2C9*3/*3). Os autores fazem uma revisão da farmacodinâmica da varfarina e da sua acção sobre a vitamina K, sugerindo-se indicações para a investigação de algumas variações genéticas, no sentido de obviar potenciais complicações associadas ao fármaco.