Strain balanced quantum posts

Quantum posts are assembled by epitaxial growth of closely spaced quantum dot layers, modulating the composition of a semiconductor alloy, typically InGaAs. In contrast with most self-assembled nanostructures, the height of quantum posts can be controlled with nanometer precision, up to a maximum value limited by the accumulated stress due to the lattice mismatch. Here we present a strain compensation technique based on the controlled incorporation of phosphorous, which substantially increases the maximum attainable quantum post height. The luminescence from the resulting nanostructures presents giant linear polarization anisotropy.Comment: Submitted to Applied Physics Letters (7th March 2011). 4 pages, 4 figure

The Gypsy Database (GyDB) of mobile genetic elements: release 2.0

This article introduces the second release of the Gypsy Database of Mobile Genetic Elements (GyDB 2.0): a research project devoted to the evolutionary dynamics of viruses and transposable elements based on their phylogenetic classification (per lineage and protein domain). The Gypsy Database (GyDB) is a long-term project that is continuously progressing, and that owing to the high molecular diversity of mobile elements requires to be completed in several stages. GyDB 2.0 has been powered with a wiki to allow other researchers participate in the project. The current database stage and scope are long terminal repeats (LTR) retroelements and relatives. GyDB 2.0 is an update based on the analysis of Ty3/Gypsy, Retroviridae, Ty1/Copia and Bel/Pao LTR retroelements and the Caulimoviridae pararetroviruses of plants. Among other features, in terms of the aforementioned topics, this update adds: (i) a variety of descriptions and reviews distributed in multiple web pages; (ii) protein-based phylogenies, where phylogenetic levels are assigned to distinct classified elements; (iii) a collection of multiple alignments, lineage-specific hidden Markov models and consensus sequences, called GyDB collection; (iv) updated RefSeq databases and BLAST and HMM servers to facilitate sequence characterization of new LTR retroelement and caulimovirus queries; and (v) a bibliographic server. GyDB 2.0 is available at http://gydb.org

ReverCSP: Time-Travelling in CSP Computations

[EN] This paper presents reverCSP, a tool to animate both forward and backward CSP computations. This ability to reverse computations can be done step by step or backtracking to a given desired state of interest. reverCSP allows us to reverse computations exactly in the same order in which they happened, or also in a causally-consistent way. Therefore, reverCSP is a tool that can be especially useful to comprehend, analyze, and debug computations. reverCSP is an open-source project publicly available for the community. We describe the tool and its functionality, and we provide implementation details so that it can be reimplemented for other languages.This work has been partially supported by the EU (FEDER) and the Spanish MCI/AEI under grants TIN2016-76843-C4-1-R and PID2019- 104735RB-C41, and by the Generalitat Valenciana under grant Prometeo/2019/098 (DeepTrust).Galindo-Jiménez, CS.; Nishida, N.; Silva, J.; Tamarit, S. (2020). ReverCSP: Time-Travelling in CSP Computations. Springer. 239-245. https://doi.org/10.1007/978-3-030-52482-1_14S239245Bernadet, A., Lanese, I.: A modular formalization of reversibility for concurrent models and languages. In: Proceedings of ICE 2016, EPTCS (2016)Brown, G., Sabry, A.: Reversible communicating processes. Electron. Proc. Theor. Comput. Sci. 203, 45–59 (2016)Conserva Filhoa, M., Oliveira, M., Sampaio, A., Cavalcanti, A.: Compositional and local livelock analysis for CSP. Inf. Process. Lett 133, 21–25 (2018)Danos, V., Krivine, J.: Reversible communicating systems. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol. 3170, pp. 292–307. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-28644-8_19Elnozahy, E.N.M., Alvisi, L., Wang, Y.-M., Johnson, D.B.: A survey of rollback- recovery protocols in message-passing systems. ACM Comput. Surv. 34(3), 375–408 (2002)Fang, Y., Zhu, H., Zeyda, F., Fei, Y.: Modeling and analysis of the disruptor framework in csp. In: Proceedings of CCWC 2018. IEEE Computer Society (2018)Ladkin, P.B., Simons, B.B.: Static deadlock analysis for CSP-type communications. In: Fussell, D.S., Malek, M. (eds.) Responsive Computer Systems: Steps Toward Fault-Tolerant Real-Time Systems. The Springer International Series in Engineering and Computer Science, vol. 297, pp. 89–102. Springer, Boston (1995). https://doi.org/10.1007/978-1-4615-2271-3_5Landauer, R.: Irreversibility and heat generation in the computing process. IBM J. Res. Dev. 5, 183–191 (1961)Lanese, I., Antares Mezzina, C., Tiezzi, F.: Causal-consistent reversibility. Bull. EATCS 114, 17 (2014)Lanese, I., Nishida, N., Palacios, A., Vidal, G.: CauDEr: a causal-consistent reversible debugger for erlang. In: Gallagher, J.P., Sulzmann, M. (eds.) FLOPS 2018. LNCS, vol. 10818, pp. 247–263. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-90686-7_16Lanese, I., Palacios, A., Vidal, G.: Causal-consistent replay debugging for message passing programs. In: Pérez, J.A., Yoshida, N. (eds.) FORTE 2019. LNCS, vol. 11535, pp. 167–184. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-21759-4_10Llorens, M., Oliver, J., Silva, J., Tamarit, S.: Dynamic slicing of concurrent specification languages. Parallel Comput. 53, 1–22 (2016)Llorens, M., Oliver, J., Silva, J., Tamarit, S.: Tracking CSP computations. J. Log. Algebr. Meth. Program. 102, 138–175 (2019)Perera, R., Garg, D., Cheney, J.: Causally consistent dynamic slicing. In Proceedings of CONCUR 2016, LIPIcs, vol. 59, pp. 18:1–18:15 (2016)Phillips, I., Ulidowski, I., Yuen, S.: A reversible process calculus and the modelling of the ERK signalling pathway. In: Glück, R., Yokoyama, T. (eds.) RC 2012. LNCS, vol. 7581, pp. 218–232. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-36315-3_18Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice Hall PTR, Upper Saddle River (1997)Zhao, H., Zhu, H., Yucheng, F., Xiao, L.: Modeling and verifying storm using CSP. In: Proceedings of HASE 2019. IEEE Computer Society (2019

Development of an acoustic transceiver for the KM3NeT positioning system

[EN] In this paper we describe an acoustic transceiver developed for the KM3NeT positioning system. The acoustic transceiver is composed of a commercial free flooded transducer, which works mainly in the 20-40 kHz frequency range and withstands high pressures (up to 500 bars). A sound emission board was developed that is adapted to the characteristics of the transducer and meets all requirements: low power consumption, high intensity of emission, low intrinsic noise, arbitrary signals for emission and the capacity of acquiring the receiving signals with very good timing precision. The results of the different tests made with the transceiver in the laboratory and shallow sea water are described, as well as, the activities for its integration in the Instrumentation Line of the ANTARES neutrino telescope and in a NEMO tower for the in situ tests. © 2012 Elsevier B.V. All rights reserved.This work has been supported by the Ministerio de Ciencia e Innovacion (Spanish Government), Project references FPA2009-13983-C02-02, ACI2009-1067, AIC10-D-00583, and Consolider-Ingenio Multidark (CSD2009-00064). It has also been funded by Generalitat Valenciana, Prometeo/2009/26, and the European 7th Framework Programme, Grant no. 212525.Larosa, G.; Ardid Ramírez, M.; Llorens Alvarez, CD.; Bou Cabo, M.; Martínez Mora, JA.; Adrián Martínez, S.; KM3NeT Consortium (2013). Development of an acoustic transceiver for the KM3NeT positioning system. Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment. 725:215-218. https://doi.org/10.1016/j.nima.2012.11.167S21521872

Endovascular Treatment for Pseudoaneurysms after Surgical Correction of Aortic Coarctation

Late complications after surgical repair of aortic coarctation are not uncommon. Among these complications pseudoaneurysms are the most frequent complications, occurring between 3 and 38%. Reoperation in these patients is associated with high morbidity and mortality. In the last decade, endovascular techniques emerged as an alternative to conventional surgery with excellent results. We report the case of two patients who presented with pseudoaneurysms after surgical correction for aortic coarctation, which were treated by endovascular means

The Sound Emission Board of the KM3NeT Acoustic Positioning System

We describe the sound emission board proposed for installation in the acoustic positioning system of the future KM3NeT underwater neutrino telescope. The KM3NeT European consortium aims to build a multi-cubic kilometre underwater neutrino telescope in the deep Mediterranean Sea. In this kind of telescope the mechanical structures holding the optical sensors, which detect the Cherenkov radiation produced by muons emanating from neutrino interactions, are not completely rigid and can move up to dozens of meters in undersea currents. Knowledge of the position of the optical sensors to an accuracy of about 10 cm is needed for adequate muon track reconstruction. A positioning system based on the acoustic triangulation of sound transit time differences between fixed seabed emitters and receiving hydrophones attached to the kilometre-scale vertical flexible structures carrying the optical sensors is being developed. In this paper, we describe the sound emission board developed in the framework of KM3NeT project, which is totally adapted to the chosen FFR SX30 ultrasonic transducer and fulfils the requirements imposed by the collaboration in terms of cost, high reliability, low power consumption, high acoustic emission power for short signals, low intrinsic noise and capacity to use arbitrary signals in emission mode.Comment: 9 pages, 4 figure

Філософсько-правові проблеми реалізації права на працю

Розкривається зміст категорії «праця». Досліджуються філософсько-правові про­блеми у сфері здійснення права на працю.Раскрывается содержание категории «труд». Исследуются философско-правовые проблемы в сфере осуществления права на труд.In the article the content of the category «labour» is revealed. The philosophical and legal problems in the field of realization of the right to work are being researched

Recent trends in molecular diagnostics of yeast infections : from PCR to NGS

The incidence of opportunistic yeast infections in humans has been increasing over recent years. These infections are difficult to treat and diagnose, in part due to the large number and broad diversity of species that can underlie the infection. In addition, resistance to one or several antifungal drugs in infecting strains is increasingly being reported, severely limiting therapeutic options and showcasing the need for rapid detection of the infecting agent and its drug susceptibility profile. Current methods for species and resistance identification lack satisfactory sensitivity and specificity, and often require prior culturing of the infecting agent, which delays diagnosis. Recently developed high-throughput technologies such as next generation sequencing or proteomics are opening completely new avenues for more sensitive, accurate and fast diagnosis of yeast pathogens. These approaches are the focus of intensive research, but translation into the clinics requires overcoming important challenges. In this review, we provide an overview of existing and recently emerged approaches that can be used in the identification of yeast pathogens and their drug resistance profiles. Throughout the text we highlight the advantages and disadvantages of each methodology and discuss the most promising developments in their path from bench to bedside