Comparative study of CW, nanosecond- and femtosecond-pulsed laser microcutting of AZ31 magnesium alloy stents

Magnesium alloys constitute an interesting solution for cardiovascular stents due to their biocompatibility and biodegradability in human body. Laser microcutting is the industrially accepted method for stent manufacturing. However, the laser-material interaction should be well investigated to control the quality characteristics of the microcutting process that concern the surface roughness, chemical composition, and microstructure of the final device. Despite the recent developments in industrial laser systems, a universal laser source that can be manipulated flexibly in terms of process parameters is far from reality. Therefore, comparative studies are required to demonstrate processing capabilities. In particular, the laser pulse duration is a key factor determining the processing regime. This work approaches the laser microcutting of AZ31 Mg alloy from the perspective of a comparative study to evaluate the machining capabilities in continuous wave (CW), ns- and fs-pulsed regimes. Three industrial grade machining systems were compared to reach a benchmark in machining quality, productivity, and ease of postprocessing. The results confirmed that moving toward the ultrashort pulse domain the machining quality increases, but the need for postprocessing remains. The real advantage of ultrashort pulsed machining was the ease in postprocessing and maintaining geometrical integrity of the stent mesh after chemical etching. Resultantly, the overall production cycle time was shortest for fs-pulsed laser system, despite the fact that CW laser system provided highest cutting speed

QRAT+: Generalizing QRAT by a More Powerful QBF Redundancy Property

The QRAT (quantified resolution asymmetric tautology) proof system simulates virtually all inference rules applied in state of the art quantified Boolean formula (QBF) reasoning tools. It consists of rules to rewrite a QBF by adding and deleting clauses and universal literals that have a certain redundancy property. To check for this redundancy property in QRAT, propositional unit propagation (UP) is applied to the quantifier free, i.e., propositional part of the QBF. We generalize the redundancy property in the QRAT system by QBF specific UP (QUP). QUP extends UP by the universal reduction operation to eliminate universal literals from clauses. We apply QUP to an abstraction of the QBF where certain universal quantifiers are converted into existential ones. This way, we obtain a generalization of QRAT we call QRAT+. The redundancy property in QRAT+ based on QUP is more powerful than the one in QRAT based on UP. We report on proof theoretical improvements and experimental results to illustrate the benefits of QRAT+ for QBF preprocessing.Comment: preprint of a paper to be published at IJCAR 2018, LNCS, Springer, including appendi

A slow gravity compensated Atom Laser

We report on a slow guided atom laser beam outcoupled from a Bose-Einstein condensate of 87Rb atoms in a hybrid trap. The acceleration of the atom laser beam can be controlled by compensating the gravitational acceleration and we reach residual accelerations as low as 0.0027 g. The outcoupling mechanism allows for the production of a constant flux of 4.5x10^6 atoms per second and due to transverse guiding we obtain an upper limit for the mean beam width of 4.6 \mu\m. The transverse velocity spread is only 0.2 mm/s and thus an upper limit for the beam quality parameter is M^2=2.5. We demonstrate the potential of the long interrogation times available with this atom laser beam by measuring the trap frequency in a single measurement. The small beam width together with the long evolution and interrogation time makes this atom laser beam a promising tool for continuous interferometric measurements.Comment: 7 pages, 8 figures, to be published in Applied Physics

Superfluids and Supersolids on Frustrated 2D Lattices

We study the ground state of hard-core bosons with nearest-neighbor hopping and nearest-neighbor interactions on the triangular and Kagom\'e lattices by mapping to a system of spins ($S={1\over2}$), which we analyze using spin-wave theory. We find that the both lattices display superfluid and supersolid (a coexistence of superfluid and solid) order as the parameters and filling are varied. Quantum fluctuations seem large enough in the Kagom\'e system to raise the interesting possibility of a disordered ground state.Comment: Latex format, 24 figures available by email upon request. Submitted to Physical Review

Caloric Curves and Nuclear Expansion

Nuclear caloric curves have been analyzed using an expanding Fermi gas hypothesis to extract average nuclear densities. In this approach the observed flattening of the caloric curves reflects progressively increasing expansion with increasing excitation energy. This expansion results in a corresponding decrease in the density and Fermi energy of the excited system. For nuclei of medium to heavy mass apparent densities ~ 0.4 rho_0 are reached at the higher excitation energies.Comment: 4 pages, 3 figure

Time evolution of 1D gapless models from a domain-wall initial state: SLE continued?

We study the time evolution of quantum one-dimensional gapless systems evolving from initial states with a domain-wall. We generalize the path-integral imaginary time approach that together with boundary conformal field theory allows to derive the time and space dependence of general correlation functions. The latter are explicitly obtained for the Ising universality class, and the typical behavior of one- and two-point functions is derived for the general case. Possible connections with the stochastic Loewner evolution are discussed and explicit results for one-point time dependent averages are obtained for generic \kappa for boundary conditions corresponding to SLE. We use this set of results to predict the time evolution of the entanglement entropy and obtain the universal constant shift due to the presence of a domain wall in the initial state.Comment: 27 pages, 10 figure

Are technological projects reducing social inequalities and improving people's well-being? A capability approach analysis of renewable energy-based electrification projects in Cajamarca, Peru

This is an Accepted Manuscript of an article published by Taylor & Francis Group in Journal of Human Development and Capabilities on 18/11/2013, available online: http://dx.doi.org/10.1080/19452829.2013.837035".[EN] This paper analyses four renewable energy-based electrification projects that were implemented by the non-governmental organization Practical Action in the rural area of Cajamarca, Peru. Using the capability approach, the research examines the effect of the projects on the things people value. It confirms that projects provide different benefits to the communities (reducing air pollution caused by candles and kerosene, improving access to communication through television and radio, providing the possibility of night study under appropriate light, etc.), but also detects an expansion of the capabilities in other areas not considered by the non-governmental organization such as those related to religion, leisure or community participation. However, the expansion of capabilities is different for men and women. The study reveals the limitations of interventions designed to supply technology, electrification in this particular case, which do not take into account certain elements that can make the use of technology contribute unequally to the expansion of people's capabilities. The paper concludes that technological projects can generate inequalities, and some recommendations are presented in order to address these issues when planning interventions.We would like to thank the people from the Peruvian communities where the case study was implemented. Many thanks also to Practical Action-Peru for their collaboration, and to the Centro de Cooperación al Desarrollo of our University who granted this research through Adsideo 2010, and special thanks to José Sastre for his involvement during the fieldwork.Fernández-Baldor Martínez, Á.; Boni Aristizábal, A.; Lillo Rodrigo, P.; Hueso, A. (2014). Are technological projects reducing social inequalities and improving people's well-being? A capability approach analysis of renewable energy-based electrification projects in Cajamarca, Peru. Journal of Human Development and Capabilities. 15(1):13-27. https://doi.org/10.1080/19452829.2013.837035S132715

Draft Genome Sequence of the Marine Streptomyces sp. Strain PP-C42, Isolated from the Baltic Sea

Streptomyces, a branch of aerobic Gram-positive bacteria represents the largest genus of actinobacteria. The streptomycetes are characterized by a complex secondary metabolism and produce over two-thirds of the clinically used natural antibiotics today. Here we report the draft genome sequence of a Streptomyces strain PP-C42 isolated from the marine environment. A subset of unique genes and gene clusters for diverse secondary metabolites as well as antimicrobial peptides (AMPs) could be identified from the genome, showing great promise as a source for novel bioactive compound

Draft Genome Sequence of the Marine Streptomyces sp. Strain PP-C42, Isolated from the Baltic Sea

Streptomyces, a branch of aerobic Gram-positive bacteria represents the largest genus of actinobacteria. The streptomycetes are characterized by a complex secondary metabolism and produce over two-thirds of the clinically used natural antibiotics today. Here we report the draft genome sequence of a Streptomyces strain PP-C42 isolated from the marine environment. A subset of unique genes and gene clusters for diverse secondary metabolites as well as antimicrobial peptides (AMPs) could be identified from the genome, showing great promise as a source for novel bioactive compound