Conformal Parametrisation of Loxodromes by Triples of Circles

We provide a parametrisation of a loxodrome by three specially arranged cycles. The parametrisation is covariant under fractional linear transformations of the complex plane and naturally encodes conformal properties of loxodromes. Selected geometrical examples illustrate the usage of parametrisation. Our work extends the set of objects in Lie sphere geometry---circle, lines and points---to the natural maximal conformally-invariant family, which also includes loxodromes.Comment: 14 pages. 9 PDF in four figures, AMS-LaTe

Amorphous procedure extraction

The procedure extraction problem is concerned with the meaning preserving formation of a procedure from a (not necessarily contiguous) selected set of statements. Previous approaches to the problem have used dependence analysis to identify the non-selected statements which must be 'promoted' (also selected) in order to preserve semantics. All previous approaches to the problem have been syntax preserving. This work shows that by allowing transformation of the program's syntax it is possible to extract both procedures and functions in an amorphous manner. That is, although the amorphous extraction process is meaning preserving it is not necessarily syntax preserving. The amorphous approach is advantageous in a variety of situations. These include when it is desirable to avoid promotion, when a value-returning function is to be extracted from a scattered set of assignments to a variable, and when side effects are present in the program from which the procedure is to be extracted

Amorphous procedure extraction

The procedure extraction problem is concerned with the meaning preserving formation of a procedure from a (not necessarily contiguous) selected set of statements. Previous approaches to the problem have used dependence analysis to identify the non-selected statements which must be 'promoted' (also selected) in order to preserve semantics. All previous approaches to the problem have been syntax preserving. This work shows that by allowing transformation of the program's syntax it is possible to extract both procedures and functions in an amorphous manner. That is, although the amorphous extraction process is meaning preserving it is not necessarily syntax preserving. The amorphous approach is advantageous in a variety of situations. These include when it is desirable to avoid promotion, when a value-returning function is to be extracted from a scattered set of assignments to a variable, and when side effects are present in the program from which the procedure is to be extracted

Towards Work-Efficient Parallel Parameterized Algorithms

Parallel parameterized complexity theory studies how fixed-parameter tractable (fpt) problems can be solved in parallel. Previous theoretical work focused on parallel algorithms that are very fast in principle, but did not take into account that when we only have a small number of processors (between 2 and, say, 1024), it is more important that the parallel algorithms are work-efficient. In the present paper we investigate how work-efficient fpt algorithms can be designed. We review standard methods from fpt theory, like kernelization, search trees, and interleaving, and prove trade-offs for them between work efficiency and runtime improvements. This results in a toolbox for developing work-efficient parallel fpt algorithms.Comment: Prior full version of the paper that will appear in Proceedings of the 13th International Conference and Workshops on Algorithms and Computation (WALCOM 2019), February 27 - March 02, 2019, Guwahati, India. The final authenticated version is available online at https://doi.org/10.1007/978-3-030-10564-8_2

Using schedulers to test probabilistic distributed systems

This is the author's accepted manuscript. The final publication is available at Springer via http://dx.doi.org/10.1007/s00165-012-0244-5. Copyright © 2012, British Computer Society.Formal methods are one of the most important approaches to increasing the confidence in the correctness of software systems. A formal specification can be used as an oracle in testing since one can determine whether an observed behaviour is allowed by the specification. This is an important feature of formal testing: behaviours of the system observed in testing are compared with the specification and ideally this comparison is automated. In this paper we study a formal testing framework to deal with systems that interact with their environment at physically distributed interfaces, called ports, and where choices between different possibilities are probabilistically quantified. Building on previous work, we introduce two families of schedulers to resolve nondeterministic choices among different actions of the system. The first type of schedulers, which we call global schedulers, resolves nondeterministic choices by representing the environment as a single global scheduler. The second type, which we call localised schedulers, models the environment as a set of schedulers with there being one scheduler for each port. We formally define the application of schedulers to systems and provide and study different implementation relations in this setting

Tolerance to the Prophylactic Effects of Carbamazepine and Related Mood Stabilizers in the Treatment of Bipolar Disorders

Tolerance development after successful long-term treatment of bipolar disorder is under recognized, as are ways to prevent or show its occurrence or reverse it once it has occurred. We review the clinical literature which suggests that tolerance can develop to most treatment approaches in bipolar illness and present an animal model of tolerance development to anticonvulsant effects of carbamazepine or lamotrigine on amgydala-kindled seizures. In this model tolerance does not have a pharmacokinetic basis, but is contingent upon the drug being present in the brain at the time of amygdala stimulation. The occurrence of seizures in the absence of drug is sufficient to reverse tolerance and re-establish anticonvulsant efficacy. Based on the model, we hypothesize that some episode-induced compensatory adaptive changes in gene expression fail to occur in tolerant subjects and that episodes off medication re-induce these changes and renew drug effectiveness. Approaches that slow or reverse tolerance development in the animal model are reviewed so that they can be tested for their applicability in the clinic. Criteria for assessing tolerance development are offered in the hope that this will facilitate a more systemic literature about its prevalence, prevention, and reversal. Careful longitudinal monitoring of episode occurrence is essential to understanding tolerance development in the affective disorder and its treatment

A prospective analysis of the injury incidence of young male professional football players on artificial turf

Background: The effects of synthetic surfaces on the risk of injuries is still debated in literature and the majority of published data seems to be contradictory. For such reasons the understanding of injury incidence on such surfaces, especially in youth sport, is fundamental for injury prevention. Objectives: The aim of this study was to prospectively report the epidemiology of injuries in young football players, playing on artificial turfs, during a one sports season. Patients and Methods: 80 young male football players (age 16.1 ± 3.7 years; height 174 ± 6.6 cm; weight 64.2 ± 6.3 kg) were enrolled in a prospective cohort study. The participants were then divided in two groups; the first included players age ranging from 17 to 19 (OP) whereas the second included players age ranging from 13 to 16 (YP). Injury incidence was recorded prospectively, according to the consensus statement for soccer. Results: A total of 107 injuries (35 from the OP and 72 from the YP) were recorded during an exposure time of 83.760 hours (incidence 1.28/1000 per player hours); 22 during matches (incidence 2.84/1000 per player hours, 20.5%) and 85 during training (incidence 1.15/1000 per player hours, 79.5%). Thigh and groin were the most common injury locations (33.6% and 21.5%, respectively) while muscle injuries such as contractures and strains were the most common injury typologies (68.23%). No statistical differences between groups were displayed, except for the rate of severe injuries during matches, with the OP displaying slightly higher rates compared to the YP. Severe injuries accounted for 10.28% of the total injuries reported. The average time lost due to injuries was 14 days. Re-injuries accounted for 4.67% of all injuries sustained during the season. Conclusions: In professional youth soccer injury rates are reasonably low. Muscle injuries are the most common type of injuries while groin and thigh the most common locations. Artificial turf pitches don’t seem to contribute to injury incidence in young football players

Process model comparison based on cophenetic distance

The automated comparison of process models has received increasing attention in the last decade, due to the growing existence of process models and repositories, and the consequent need to assess similarities between the underlying processes. Current techniques for process model comparison are either structural (based on graph edit distances), or behavioural (through activity profiles or the analysis of the execution semantics). Accordingly, there is a gap between the quality of the information provided by these two families, i.e., structural techniques may be fast but inaccurate, whilst behavioural are accurate but complex. In this paper we present a novel technique, that is based on a well-known technique to compare labeled trees through the notion of Cophenetic distance. The technique lays between the two families of methods for comparing a process model: it has an structural nature, but can provide accurate information on the differences/similarities of two process models. The experimental evaluation on various benchmarks sets are reported, that position the proposed technique as a valuable tool for process model comparison.Peer ReviewedPostprint (author's final draft

On the Disambiguation of Weighted Automata

We present a disambiguation algorithm for weighted automata. The algorithm admits two main stages: a pre-disambiguation stage followed by a transition removal stage. We give a detailed description of the algorithm and the proof of its correctness. The algorithm is not applicable to all weighted automata but we prove sufficient conditions for its applicability in the case of the tropical semiring by introducing the *weak twins property*. In particular, the algorithm can be used with all acyclic weighted automata, relevant to applications. While disambiguation can sometimes be achieved using determinization, our disambiguation algorithm in some cases can return a result that is exponentially smaller than any equivalent deterministic automaton. We also present some empirical evidence of the space benefits of disambiguation over determinization in speech recognition and machine translation applications

Gestational and lactational exposure of rats to xenoestrogens results in reduced testicular size and sperm production

EHP is a publication of the U.S. government. Publication of EHP lies in the public domain and is therefore without copyright. Research articles from EHP may be used freely; however, articles from the News section of EHP may contain photographs or figures copyrighted by other commercial organizations and individuals that may not be used without obtaining prior approval from both the EHP editors and the holder of the copyright. Use of any materials published in EHP should be acknowledged (for example, "Reproduced with permission from Environmental Health Perspectives") and a reference provided for the article from which the material was reproduced.This study assessed whether exposure of male rats to two estrogenic, environmental chemicals, 4-octylphenol (OP) and butyl benzyl phthalate (BBP) during gestation or during the first 21 days of postnatal life, affected testicular size or spermatogenesis in adulthood (90-95 days of age). Chemicals were administered via the drinking water or concentrations of 10-1000 micrograms/l (OP) or 1000 micrograms/l (BBP), diethylstilbestrol (DES; 100 micrograms/l) and an octylphenol polyethoxylate (OPP; 1000 micrograms/l), which is a weak estrogen or nonestrogenic in vitro, were administered as presumptive positive and negative controls, respectively. Controls received the vehicle (ethanol) in tap water. In study 1, rats were treated from days 1-22 after births in studies 2 and 3, the mothers were treated for approximately 8-9 weeks, spanning a 2-week period before mating throughout gestation and 22 days after giving birth. With the exception of DES, treatment generally had no major adverse effect or body weight: in most instances, treated animals were heavier than controls at day 22 and at days 90-95. Exposure to OP, OPP, or BBP at a concentration of 1000 micrograms/1 resulted in a small (5-13%) but significant (p < 0.01 or p < 0.0001) reduction in mean testicular size in studies 2 and 3, an effect that was still evident when testicular weight was expressed relative to body, weight or kidney weight. The effect of OPP is attributed to its metabolism in vivo to OP. DES exposure caused similar reductions in testicular size but also caused reductions in body weight, kidney weight, and litter size. Ventral prostate weight was reduced significantly in DES-treated rats and to minor extent in OP-treated rats. Comparable but more minor effects of treatment with DES or OP on testicular size were observed in study 1. None of the treatments had any adverse effect on testicular morphology or on the cross-sectional area of the lumen or seminiferous epithelium at stages VII-VIII of the spermatogenic cycle, but DES, OP, and BBP caused reductions of 10-21% (p < 0.05 to p < 0.001) in daily sperm production. Humans are exposed to phthalates, such as BBP, and to alkylphenol polyethoxylates, such as OP, but to what extent is unknown. More detailed studies are warranted to assess the possible risk to the development of the human testis from exposure to these and other environmental estrogens