IOPT Petri Net State Space Generation Algorithm with Maximal-Step Execution Semantics

This paper presents an algorithm to efficiently generate the state-space of systems specified using the IOPT Petri-net modeling formalism. IOPT nets are a non-autonomous Petri-net class, based on Place-Transition nets with an extended set of features designed to allow the rapid prototyping and synthesis of system controllers through an existing hardware-software co-design framework. To obtain coherent and deterministic operation, IOPT nets use a maximal-step execution semantics where, in a single execution step, all enabled transitions will fire simultaneously. This fact increases the resulting state-space complexity and can cause an arc "explosion" effect. Real-world applications, with several million states, will reach a higher order of magnitude number of arcs, leading to the need for high performance state-space generator algorithms. The proposed algorithm applies a compilation approach to read a PNML file containing one IOPT model and automatically generate an optimized C program to calculate the corresponding state-space.

Is there space for senior civil servants hybrid management models across political- administrative systems?

Comunicação apresentada na 17.ª conferência anual da NISPACee, realizada de 14 a 16 de Maio de 2009.

Minimization of open orders using interval graphs

In this paper we address an order processing optimization problem known as the Minimization of Open Stacks Problem (MOSP). This problem consists in finding the best sequence for manufacturing the different products required by costumers, in a setting where only one product can be made at a time. The objective is to minimize the maximum number of incomplete orders from costumers that are being processed simultaneously. We present an integer programming model, based on the existence of a perfect elimination order in interval graphs, which finds an optimal sequence for the costumers orders. Among other economic advantages, manufacturing the products in this optimal sequence reduces the amount of space needed to store incomplete orders.

Design a computer programming learning environment for Massive Open Online Courses

Teaching and learning computer programming is as challenging as difficult. Assessing the work of students and providing individualised feedback to all is time-consuming and error prone for teachers and frequently involves a time delay. The existent tools and specifications prove to be insufficient in complex evaluation domains where there is a greater need to practice. At the same time Massive Open Online Courses (MOOC) are appearing revealing a new way of learning, more dynamic and more accessible. However this new paradigm raises serious questions regarding the monitoring of student progress and its timely feedback. This paper provides a conceptual design model for a computer programming learning environment. This environment uses the portal interface design model gathering information from a network of services such as repositories and program evaluators. The design model includes also the integration with learning management systems, a central piece in the MOOC realm, endowing the model with characteristics such as scalability, collaboration and interoperability. This model is not limited to the domain of computer programming and can be adapted to any complex area that requires systematic evaluation with immediate feedback.

Public Participation geographic information systems in developing countries: lessons from Uganda on the impacts of interactive screens PPGIS and community perceptions of space

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Comuns: An Open-Data Provider, Explorer and Analytic Toolbox Based on FOSS

Contém resumo

Plastic waste use as aggregate and binder modifier in open-graded asphalts

Road pavements are very important infrastructures for the Society, but they can cause serious environmental impacts during construction, operation and rehabilitation phases. Thus, it is essential to develop surface paving solutions that promote not only the durability but also a comfortable and safe use. In fact, this work aims to study the properties of new opengraded mixtures for surface layers produced with plastic wastes. First, HDPE and EVA wastes were used as bitumen modifiers, and then another plastic waste (PEX) replaced part of the aggregates. After studying the modified binders, the open-graded mixtures were designed, and then they were tested concerning their particle loss, rutting resistance, surface texture and damping effect. It was concluded that both ways of using the plastic wastes can improve the mechanical and functional properties of the open-graded mixtures related to the pavement performance.

Label Space Reduction in All-Optical Label Switchiing Networks

Report for the scientific sojourn at the Department of Information Technology (INTEC) at the Ghent University, Belgium, from january to june 2007. All-Optical Label Swapping (AOLS) forms a key technology towards the implementation of All-Optical Packet Switching nodes (AOPS) for the future optical Internet. The capital expenditures of the deployment of AOLS increases with the size of the label spaces (i.e. the number of used labels), since a special optical device is needed for each recognized label on every node. Label space sizes are affected by the wayin which demands are routed. For instance, while shortest-path routing leads to the usage of fewer labels but high link utilization, minimum interference routing leads to the opposite. This project studies and proposes All-Optical Label Stacking (AOLStack), which is an extension of the AOLS architecture. AOLStack aims at reducing label spaces while easing the compromise with link utilization. In this project, an Integer Lineal Program is proposed with the objective of analyzing the softening of the aforementioned trade-off due to AOLStack. Furthermore, a heuristic aiming at finding good solutions in polynomial-time is proposed as well. Simulation results show that AOLStack either a) reduces the label spaces with a low increase in the link utilization or, similarly, b) uses better the residual bandwidth to decrease the number of labels even more.

Applying RADIC in Open MPI: the methodology used to implement RADIC over a Message Passing Library

Fault tolerance has become a major issue for computer and software engineers because the occurrence of faults increases the cost of using a parallel computer. RADIC is the fault tolerance architecture for message passing systems which is transparent, decentralized, flexible and scalable. This master thesis presents the methodology used to implement the RADIC architecture over Open MPI, a well-know large-used message passing library. This implementation kept the RADIC architecture characteristics. In order to validate the implementation we have executed a synthetic ping program, besides, to evaluate the implementation performance we have used the NAS Parallel Benchmarks. The results prove that the RADIC architecture performance depends on the communication pattern of the parallel application which is running. Furthermore, our implementation proves that the RADIC architecture could be implemented over an existent message passing library.

Learning-induced plasticity in human audition: Objects, time, and space.

The human auditory system is comprised of specialized but interacting anatomic and functional pathways encoding object, spatial, and temporal information. We review how learning-induced plasticity manifests along these pathways and to what extent there are common mechanisms subserving such plasticity. A first series of experiments establishes a temporal hierarchy along which sounds of objects are discriminated along basic to fine-grained categorical boundaries and learned representations. A widespread network of temporal and (pre)frontal brain regions contributes to object discrimination via recursive processing. Learning-induced plasticity typically manifested as repetition suppression within a common set of brain regions. A second series considered how the temporal sequence of sound sources is represented. We show that lateralized responsiveness during the initial encoding phase of pairs of auditory spatial stimuli is critical for their accurate ordered perception. Finally, we consider how spatial representations are formed and modified through training-induced learning. A population-based model of spatial processing is supported wherein temporal and parietal structures interact in the encoding of relative and absolute spatial information over the initial ∼300ms post-stimulus onset. Collectively, these data provide insights into the functional organization of human audition and open directions for new developments in targeted diagnostic and neurorehabilitation strategies.

Clinical benefits of an adherence monitoring program in the management of secondary hyperparathyroidism with cinacalcet: results of a prospective randomized controlled study.

BACKGROUND/AIMS: One of the causes of uncontrolled secondary hyperparathyroidism (sHPT) is patient's poor drug adherence. We evaluated the clinical benefits of an integrated care approach on the control of sHPT by cinacalcet. METHODS: Prospective, randomized, controlled, multicenter, open-label study. Fifty hemodialysis patients on a stable dose of cinacalcet were randomized to an integrated care approach (IC) or usual care approach (UC). In the IC group, cinacalcet adherence was monitored using an electronic system. Results were discussed with the patients in motivational interviews, and drug prescription adapted accordingly. In the UC group, drug adherence was monitored, but results were not available. RESULTS: At six months, 84% of patients in the IC group achieved recommended iPTH targets versus 55% in the UC group (P = 0.04). The mean cinacalcet taking adherence improved by 10.8% in the IC group and declined by 5.3% in the UC group (P = 0.02). Concomitantly, the mean dose of cinacalcet was reduced by 7.2 mg/day in the IC group and increased by 6.4 mg/day in the UC group (P = 0.03). CONCLUSIONS: The use of a drug adherence monitoring program in the management of sHPT in hemodialysis patients receiving cinacalcet improves drug adherence and iPTH control and allows a reduction in the dose of cinacalcet.

Laparoscope use and surgical site infections in digestive surgery.

OBJECTIVE: To compare surgical site infection (SSI) rates in open or laparoscopic appendectomy, cholecystectomy, and colon surgery. To investigate the effect of laparoscopy on SSI in these interventions. BACKGROUND: Lower rates of SSI have been reported among various advantages associated with laparoscopy when compared with open surgery, particularly in cholecystectomy. However, biases such as the lack of postdischarge follow-up and confounding factors might have contributed to the observed differences between the 2 techniques. METHODS: This observational study was based on prospectively collected data from an SSI surveillance program in 8 Swiss hospitals between March 1998 and December 2004, including a standardized postdischarge follow-up. SSI rates were compared between laparoscopic and open interventions. Factors associated with SSI were identified by using logistic regression models to adjust for potential confounding factors. RESULTS: SSI rates in laparoscopic and open interventions were respectively 59/1051 (5.6%) versus 117/1417 (8.3%) in appendectomy (P = 0.01), 46/2606 (1.7%) versus 35/444 (7.9%) in cholecystectomy (P < 0.0001), and 35/311 (11.3%) versus 400/1781 (22.5%) in colon surgery (P < 0.0001). After adjustment, laparoscopic interventions were associated with a decreased risk for SSI: OR = 0.61 (95% CI 0.43-0.87) in appendectomy, 0.27 (0.16-0.43) in cholecystectomy, and 0.43 (0.29-0.63) in colon surgery. The observed effect of laparoscopic techniques was due to a reduction in the rates of incisional infections, rather than in those of organ/space infections. CONCLUSION: When feasible, a laparoscopic approach should be preferred over open surgery to lower the risks of SSI.

8-weeks training program attenuates mitochondrial oxidative stress in the liver of emotionally stressed rats

In recent years it has been shown that emotional stress induced by immobilization may change the balance between pro-oxidant and antioxidant factors inducing oxidative damage. On the other hand, contradictory views exist concerning the role of physical activity on redox metabolism. Consequently, the present work was designed to assess the influence of an 8-week moderate swimming training program in emotionally stressed rats. Sixty 1-month-old male albino Wistar rats weighing 125-135 g were used in this experimental study. They were divided into three groups, as Control (lot A; n=20), Stressed (lot B; n=20) and Stressed & Exercised (lot C; n=20). Rats were stressed by placing the animals in a 25 x 7 cm plastic bottle 1 h/day, 5 days a week for 8 weeks. Protein carbonyl content values in liver homogenates were significantly increased in stressed animals (0.58+/-0.02 vs 0.86+/-0.03; p=0.018) which clearly indicated that emotional stress was associated with oxidative stress. Ultrastructural alterations, predominantly mitochondrial swelling and the decrease of cristae number observed by electron microscopy represented direct evidence of membrane injury. The most striking feature of our study was that we also found differences between stressed rats and stressed rats that performed our 8 week training program. Consequently our results highlight the potential benefit of a moderate training program to reduce oxidative damage induced by emotional stress since it attenuated protein oxidation and mitochondrial alterations.

A shared space. [Q]uality Plan of the Andalusian Public Health System 2010 - 2014

The Quality Plan aims to create an image of the health system as an intelligent system comprised of knowledge-generating organisations integrated into a much more comprehensive paradigm in line with knowledge societies; a health system which is part of an equally intelligent and innovative society that acknowledges the use of science and technology both as a source of welfare and as a means of solving many of its problems. The aim of this document is to collate the many activities which comprise three scenarios (citizens, professionals and shared space) and establish the roadmap for the quality policy strategies designed by the Ministry of Health of the Regional Government of Andalusia for the coming years and also to open the necessary channels of communication with society so that society itself, as well as being the beneficiary of the outcomes, also becomes the main protagonist.