954 research outputs found
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
SIMONA 1.0: An efficient and versatile framework for stochastic simulations of molecular and nanoscale systems
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 (), 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
- …