Some remarks on synchronization, games and planar automata

Abstract—We study synchronization games on planar automata. We prove that recognizing the planar games that can be won by the synchronizer is a co-NP hard problem. We prove some additional results indicating that planar games are as hard as nonplanar games. Those results amount to show that planar automata are representative of the intricacies of automata synchronization.Sociedad Argentina de Informática e Investigación Operativa (SADIO

Some remarks on synchronization, games and planar automata

Abstract—We study synchronization games on planar automata. We prove that recognizing the planar games that can be won by the synchronizer is a co-NP hard problem. We prove some additional results indicating that planar games are as hard as nonplanar games. Those results amount to show that planar automata are representative of the intricacies of automata synchronization.Sociedad Argentina de Informática e Investigación Operativa (SADIO

The power of writing, a pebble hierarchy and a narrative for the teaching of Automata Theory

In this work we study pebble automata. Those automata constitute an infinite hierarchy of discrete models of computation. The hierarchy begins at the level of finite state automata (0-pebble automata) and approaches the model of onetape Turing machines. Thus, it can be argued that it is a complete hierarchy that covers, in a continuous way, all the models of automata that are important in the theory of computation. We investigate the use of this hierarchy as a narrative for the teaching of automata theory. We also investigate some fundamental questions concerning the power of pebble automata.Sociedad Argentina de Informática e Investigación Operativa (SADIO

Uma Avaliação Prospectiva do Transplante Renal Versus Hemodiálise: na Perspectiva Social, Qual a Melhor Modalidade Terapêutica?

Background: Economic evaluations help health authorities facing budget constraints. This study compares the health-related quality of life (HRQOL) and costs in patient subgroups on haemodialysis (HD) and renal transplantation (KT). Methods: In a prospective study with follow-up of 1-3 years, we performed a costutility analysis of KT vs. HD, adopting a lifetime horizon. A societal perspective was taken. Costs for organ procurement, KT eligibility, transplant surgery and follow-up of living donors were included. Key clinical events were recorded. HRQOL was assessed using the EuroQol instrument. Results: The HRQOL remained stable on HD patients. After KT, mean utility score improved at 3 months while mean EQ-VAS scores showed a sustained improvement. Mean annual cost for HD was 32,567.57€. Mean annual costs for KT in the year-1 and in subsequent years were, 60,210.09€ and 12,956.77€ respectively. Cost for initial hospitalization averaged 18,740.74€. HLA-mismatches increased costs by 75% for initial hospitalization (p < 0.001) and 41% in the year-1 (p < 0.05), and duplicate the risk of readmission in the year-1 (p < 0.05). The incremental costutility ratio was 5,534.46€/QALY, increasing 35% when costs for organ procurement were added. KT costs were 41,541.63€ more but provided additional 7.51 QALY. Conclusions: The KT is cost-effective compared with HD. Public funding should reflect the value created by the intervention and adapt to the organ demand

Tratamiento de la demodicosis canina generalizada con dosis reducidas de ivermectina oral

La administración diaria de ivermectina a dosis altas (0,6 mg/kg) es la mejor alternativa disponible para tratar aquellos casos de sarna demodécica resistente al almiraz

Efficacy of Percutaneous Transluminal Angioplasty on Dysfunctional Fistulae Because of Inflow Stenosis

PURPOSE: Autogenous fistulas are the preferential vascular access for hemodialysis. The aim of this retrospective study was to determine the efficacy of angioplasty for dysfunctional fistulas because of inflow dysfunction. 
 METHODS: We reviewed all the angiographic procedures performed on our institution between April 2007 and April 2009. Procedures performed in dysfunctional fistulas because of inflow stenoses were analyzed. Fistulas with stenoses out of these areas were excluded. The following data were collected: patient age and sex, fistula age at the time of intervention, location of fistula, number and location of stenosis, angiography referral criteria, clinical findings (presence or absence of thrills, bruits and pulsatility) and date of reintervention or failure. 
 RESULTS: During the study period 215 fistulas were submitted to angiography of which, seventy-one presented inflow stenosis (33%). Mean follow-up was 21.72±9.26 months, and average age was 7.03 months. Two groups were considered: 31 fistulas comprising ≤6 months old, and 40 fistulas >6 months old. Primary patency rates±SE for older fistulas at 6, 12, 18 and 24 months, respectively, was 91.3%± 0.04%, 80.7%± 0.07%, 53.8% ±0.10% and 34.2±0.1% versus 91.7±0.08%, 57.1±0.14%, 23±0.14%, 11.4%± 0.1% for younger fistulas (P=0.04). Fistulas ≤6 months old and multiple stenosis were associated with a poorer primary patency rate (P=0.005).
 CONCLUSIONS: Inflow stenosis is frequently associated with fistula dysfunction. In this study we only analyzed AVF with inflow stenosis and we have shown that angioplasty can have great patency results, particularly for single lesions in matured fistulas.info:eu-repo/semantics/publishedVersio

Quantitative evaluation of geodiversity : development of methodological procedures with application to territorial management

Although geodiversity is considered the setting for biodiversity, there is still a huge gap in the social recognition of these two concepts. The concept of geodiversity, less developed, is now making its own way as a robust and fundamental idea concerning the abiotic component of nature. From a conservationist point of view, the lack of a broader knowledge concerning the type and spatial variation of geodiversity, as well as its relationship with biodiversity, makes the protection and management of natural or semi-natural areas incomplete. There is a growing need to understand the patterns of geodiversity in different landscapes and to translate this knowledge for territorial management in a practical and effective point of view. This kind of management can also represent an important tool for the development of sustainable tourism, particularly geotourism, which can bring benefits not only for the environment, but also for social and economic purposes. The quantification of geodiversity is an important step in all this process but still few researchers are investing in the development of a proper methodology. The assessment methodologies that were published so far are mainly focused on the evaluation of geomorphological elements, sometimes complemented with information about lithology, soils, hidrology, morphometric variables, climatic surfaces and geosites. This results in very dissimilar areas at very different spatial scales, showing the complexity of the task and the need of further research. This current work aims the development of an effective methodology for the assessment of the maximum elements of geodiversity possible (rocks, minerals, fossils, landforms, soils), based on GIS routines. The main determinant factor for the quantitative assessment is scale, but other factors are also very important, such as the existence of suitable spatial data with sufficient degree of detail. It is expected to attain the proper procedures in order to assess geodiversity at different scales and to produce maps with the spatial representation of the geodiversity index, which could be an inestimable contribute for land-use management

Theoretical analysis of multimodal four-wave mixing in optical microwires

Optical fiber microwires (OFMs) are nonlinear optical waveguides that support several spatial modes. The multimodal generalized nonlinear Schrodinger equation (MM-GNLSE) is deduced taking into account the linear and nonlinear modal coupling. A detailed theoretical description of four-wave mixing (FWM) considering the modal coupling is developed. Both, the intramode and the intermode phase-matching conditions is calculated for an optical microwire in a strong guiding regime. Finally, the FWM dynamics is studied and the amplitude evolution of the pump beams, the signal and the idler are analyzed