Topology Control with Anisotropic and Sector Turning Antennas in Ad-hoc and Sensor Networks

During the last several years, technological advances have allowed the development of small, cheap, embedded, independent and rather powerful radio devices that can self-organise into data networks. Such networks are usually called ad-hoc networks or, sometimes, depending on the application field, sensor networks. One of the first standards for ad-hoc networks to impose itself as a fully industrial framework for data gathering and control over such devices is IEEE 802.15.4 and, on top of it, its pair network architecture: ZigBee. In the case of multiple radio devices clamped into a small geographical area, the lack of radio bandwidth becomes a major problem, leading to multiple data losses and unnecessary power drain from the batteries of these small devices. This problem is usually perceived as interference. The deployment of appropriate topology control mechanisms (TC) can solve interference. All of these algorithms calculate TC on the basis of isotropic antenna radiation patterns in the horizontal plane

On the Number of Synchronizing Colorings of Digraphs

We deal with $k$-out-regular directed multigraphs with loops (called simply \emph{digraphs}). The edges of such a digraph can be colored by elements of some fixed $k$-element set in such a way that outgoing edges of every vertex have different colors. Such a coloring corresponds naturally to an automaton. The road coloring theorem states that every primitive digraph has a synchronizing coloring. In the present paper we study how many synchronizing colorings can exist for a digraph with $n$ vertices. We performed an extensive experimental investigation of digraphs with small number of vertices. This was done by using our dedicated algorithm exhaustively enumerating all small digraphs. We also present a series of digraphs whose fraction of synchronizing colorings is equal to $1-1/k^d$, for every $d \ge 1$ and the number of vertices large enough. On the basis of our results we state several conjectures and open problems. In particular, we conjecture that $1-1/k$ is the smallest possible fraction of synchronizing colorings, except for a single exceptional example on 6 vertices for $k=2$.Comment: CIAA 2015. The final publication is available at http://link.springer.com/chapter/10.1007/978-3-319-22360-5_1

Faster linearizability checking via PP-compositionality

Linearizability is a well-established consistency and correctness criterion for concurrent data types. An important feature of linearizability is Herlihy and Wing's locality principle, which says that a concurrent system is linearizable if and only if all of its constituent parts (so-called objects) are linearizable. This paper presents $P$-compositionality, which generalizes the idea behind the locality principle to operations on the same concurrent data type. We implement $P$-compositionality in a novel linearizability checker. Our experiments with over nine implementations of concurrent sets, including Intel's TBB library, show that our linearizability checker is one order of magnitude faster and/or more space efficient than the state-of-the-art algorithm.Comment: 15 pages, 2 figure

Market value margin via mean-variance hedging

We use mean–variance hedging in discrete time in order to value an insurance liability. The prediction of the insurance liability is decomposed into claims development results, that is, yearly deteriorations in its conditional expected values until the liability is finally settled. We assume the existence of a tradeable derivative with binary pay-off written on the claims development result and available in each development period. General valuation formulas are stated and, under additional assumptions, these valuation formulas simplify to resemble familiar regulatory cost-of-capital-based formulas. However, adoption of the mean–variance framework improves upon the regulatory approach by allowing for potential calibration to observed market prices, inclusion of other tradeable assets, and consistent extension to multiple periods. Furthermore, it is shown that the hedging strategy can also lead to increased capital efficiency

Trapping in the random conductance model

We consider random walks on $\Z^d$ among nearest-neighbor random conductances which are i.i.d., positive, bounded uniformly from above but whose support extends all the way to zero. Our focus is on the detailed properties of the paths of the random walk conditioned to return back to the starting point at time $2n$. We show that in the situations when the heat kernel exhibits subdiffusive decay --- which is known to occur in dimensions $d\ge4$ --- the walk gets trapped for a time of order $n$ in a small spatial region. This shows that the strategy used earlier to infer subdiffusive lower bounds on the heat kernel in specific examples is in fact dominant. In addition, we settle a conjecture concerning the worst possible subdiffusive decay in four dimensions.Comment: 21 pages, version to appear in J. Statist. Phy

Abstract Learning Frameworks for Synthesis

We develop abstract learning frameworks (ALFs) for synthesis that embody the principles of CEGIS (counter-example based inductive synthesis) strategies that have become widely applicable in recent years. Our framework defines a general abstract framework of iterative learning, based on a hypothesis space that captures the synthesized objects, a sample space that forms the space on which induction is performed, and a concept space that abstractly defines the semantics of the learning process. We show that a variety of synthesis algorithms in current literature can be embedded in this general framework. While studying these embeddings, we also generalize some of the synthesis problems these instances are of, resulting in new ways of looking at synthesis problems using learning. We also investigate convergence issues for the general framework, and exhibit three recipes for convergence in finite time. The first two recipes generalize current techniques for convergence used by existing synthesis engines. The third technique is a more involved technique of which we know of no existing instantiation, and we instantiate it to concrete synthesis problems

Soft Photons in Hadron-Hadron Collisions: Synchrotron Radiation from the QCD Vacuum?

We discuss the production of soft photons in high energy hadron-hadron collisions. We present a model where quarks and antiquarks in the hadrons emit ``synchrotron light'' when being deflected by the chromomagnetic fields of the QCD vacuum, which we assume to have a nonperturbative structure. This gives a source of prompt soft photons with frequencies $\omega <= 300 MeV$ in the c.m. system of the collision in addition to hadronic bremsstrahlung. In comparing the frequency spectrum and rate of ``synchrotron'' photons to experimental results we find some supporting evidence for their existence. We make an exclusive--inclusive connection argument to deduce from the ``synchrotron'' effect a behaviour of the neutron electric formfactor $G_E^n(Q^2)$ proportional to $(Q^2)^{1/6}$ for $Q^2 < 20 fm^{-2}$. We find this to be consistent with available data. In our view, soft photon production in high energy hadron-hadron and lepton-hadron collisions as well as the behaviour of electromagnetic hadron formfactors for low $Q^2$ are thus sensitive probes of the nonperturbative structure of the QCD vacuum.Comment: Heidelberg preprint HD-THEP-94-36, 31 pages, LaTeX + ZJCITE.sty (included), 12 figures appended as uuencoded compressed ps-fil

Influencia de las bajas temperaturas y la duración de las heladas en la viabilidad de Phytophthora alni subsp. Alni

Limits on the survival of P. alni subsp. alni (PAA) due to low temperature can be expected based on previously published laboratory and field studies. This study presents a laboratory experiment to test the influence of low temperature and frost duration on PAA viability. Ten PAA isolates were incubated at different temperatures (–0.1, –2.5, –5.0, –7.5, and –10.0 °C) and frost durations (0 – 7, 14, 21, and 28 days). A regression analysis confirmed the significant influence of both factors (low temperature and frost duration, and their interaction) on the survival of the pathogen under laboratory conditions. The survival and failure time analysis showed that the survival of the pathogen differs significantly after mild frost (all the isolates tested survived temperatures between –0.1 and –5.0 °C during the entire testing period) and heavy frost (the pathogen died after 21 days of incubation at –7.5 °C and after 2 days at –10.0 °C). Moreover, the viability of the pathogen decreased significantly if the temperature of –5.0 °C was maintained for at least 1 week and the temperature of –7.5 °C persisted in laboratory conditions for at least 4 days. The results of the study proved the pathogen to be very sensitive to heavy frost. The low-temperature limits for PAA occur regularly in Central Europe in January. It is probable that these temperatures can reduce PAA populations in diseased black alder stems. The climate change characterised by increases in the lowest minimum winter temperatures in Central Europe (as hypothesised by IPCC) may pose a significant risk for affected alder population in the area.Se pueden esperar límites a la supervivencia de P. alni subsp. alni (PAA), debido a las bajas temperaturas basándose en resultados obtenidos en laboratorio y estudios de campo. Este estudio presenta un experimento de laboratorio para probar la influencia de las bajas temperaturas y la duración de las heladas sobre la viabilidad de PAA. Se incubaron diez cepas PAA a diferentes temperaturas (–0,1, –2,5, –5,0, –7,5 y –10,0 °C) y duración de heladas (0 – 7, 14, 21, y 28 días). Un análisis de regresión confirmó la importante influencia de ambos factores (bajas temperaturas y la duración de heladas, así como su interacción) en la supervivencia del patógeno en las condiciones de laboratorio. La supervivencia y el análisis de tiempo de fallo demostró que la supervivencia del patógeno difiere significativamente después de las heladas suaves (todas las cepas aisladas sobrevivieron a temperaturas entre –0,1 y –5,0 °C durante el período completo de la prueba) y heladas fuertes (el patógeno murió tras 21 días de incubación a –7,5 °C y después de 2 días a –10,0 °C). Además, la viabilidad del patógeno disminuyó significativamente si la temperatura de –5,0 °C se mantenía durante al menos 1 semana, o la temperatura de –7,5 °C se mantenía durante al menos 4 días. Los resultados del estudio muestran que el patógeno es muy sensible a las heladas intensas. Los límites de baja temperatura para el PAA se producen regularmente en Europa Central en enero. Es probable que estas temperaturas puedan reducir las poblaciones de la PAA en los árboles enfermos de aliso negro. El cambio climático caracterizado por el aumento de las temperaturas mínimas más bajas del invierno en Europa Central (como hipotetiza el IPCC) puede suponer un riesgo significativo para la población afectada de alisos en este área

Dynamic phase diagram of the REM

By studying the two-time overlap correlation function, we give a comprehensive analysis of the phase diagram of the Random Hopping Dynamics of the Random Energy Model (REM) on time-scales that are exponential in the volume. These results are derived from the convergence properties of the clock process associated to the dynamics and fine properties of the simple random walk in the $n$-dimensional discrete cube.Comment: This paper is in large part based on the unpublished work arXiv:1008.3849. In particular, the analysis of the overlap correlation function is new as well as the study of the high temperature and short time-scale transition line between aging and stationarit

Diverse tick-borne microorganisms identified in free-living ungulates in Slovakia

Background: Free-living ungulates are hosts of ixodid ticks and reservoirs of tick-borne microorganisms in central Europe and many regions around the world. Tissue samples and engorged ticks were obtained from roe deer, red deer, fallow deer, mouflon, and wild boar hunted in deciduous forests of south-western Slovakia. DNA isolated from these samples was screened for the presence of tick-borne microorganisms by PCR-based methods. Results: Ticks were found to infest all examined ungulate species. The principal infesting tick was Ixodes ricinus, identified on 90.4% of wildlife, and included all developmental stages. Larvae and nymphs of Haemaphysalis concinna were feeding on 9.6% of wildlife. Two specimens of Dermacentor reticulatus were also identified. Ungulates were positive for A. phagocytophilum and Theileria spp. Anaplasma phagocytophilum was found to infect 96.1% of cervids, 88.9% of mouflon, and 28.2% of wild boar, whereas Theileria spp. was detected only in cervids (94.6%). Importantly, a high rate of cervids (89%) showed mixed infections with both these microorganisms. In addition to A. phagocytophilum and Theileria spp., Rickettsia helvetica, R. monacensis, unidentified Rickettsia sp., Coxiella burnetii, "Candidatus Neoehrlichia mikurensis", Borrelia burgdorferi (s.l.) and Babesia venatorum were identified in engorged I. ricinus. Furthermore, A. phagocytophilum, Babesia spp. and Theileria spp. were detected in engorged H. concinna. Analysis of 16S rRNA and groEL gene sequences revealed the presence of five and two A. phagocytophilum variants, respectively, among which sequences identified in wild boar showed identity to the sequence of the causative agent of human granulocytic anaplasmosis (HGA). Phylogenetic analysis of Theileria 18S rRNA gene sequences amplified from cervids and engorged I. ricinus ticks segregated jointly with sequences of T. capreoli isolates into a moderately supported monophyletic clade. Conclusions: The findings indicate that free-living ungulates are reservoirs for A. phagocytophilum and Theileria spp. and engorged ixodid ticks attached to ungulates are good sentinels for the presence of agents of public and veterinary concern. Further analyses of the A. phagocytophilum genetic variants and Theileria species and their associations with vector ticks and free-living ungulates are required.Fil: Kazimírová, Mária. Slovak Academy of Sciences. Institute of Zoology; EslovaquiaFil: Hamšíková, Zuzana. Slovak Academy of Sciences. Institute of Zoology; EslovaquiaFil: Spitalská, Eva. Slovak Academy of Sciences. Institute of Virology. Biomedical Research Center,; EslovaquiaFil: Minichová, Lenka. Slovak Academy of Sciences. Institute of Virology. Biomedical Research Center,; EslovaquiaFil: Mahríková, Lenka. Slovak Academy of Sciences. Institute of Zoology; EslovaquiaFil: Caban, Radoslav. Široká ; EslovaquiaFil: Sprong, Hein. National Institute for Public Health and Environment.Laboratory for Zoonoses and Environmental Microbiology; Países BajosFil: Fonville, Manoj. National Institute for Public Health and Environment.Laboratory for Zoonoses and Environmental Microbiology; Países BajosFil: Schnittger, Leonhard. Instituto Nacional de Tecnología Agropecuaria. Centro de Investigación en Ciencias Veterinarias y Agronómicas. Instituto de Patobiología; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Kocianová, Elena. Slovak Academy of Sciences. Institute of Virology. Biomedical Research Center,; Eslovaqui