1,778 research outputs found
Control of near-infrared supercontinuum bandwidth by adjusting pump pulse duration
We experimentally and numerically investigated the impact of input pump pulse duration on the near-infrared bandwidth of supercontinuum generation in a photonic crystal fiber. We continuously stretched the temporal duration of the input pump laser (centered at 1030 nm) pulses from 500 fs up to 10 ps, while keeping fixed the pump peak power. We observed that the long-wavelength edge of the supercontinuum spectrum is increased by 200 nm as the pump pulse duration grows from 500 fs to 10 ps. We provide a quantitative fit of the experimental results by means of numerical simulations. Moreover, we have explained the observed spectral broadening enhancement induced by pump pulse energy by developing an approximate yet fully analytical model for soliton energy exchange through a series of collisions in the presence of stimulated Raman scattering
Automated Correctness Proof of Algorithm Variants in Elliptic Curve Cryptography
The Elliptic Curve Cryptography (ECC) is widely known as secure and reliable
cryptographic scheme. In many situations the original cryptographic algorithm is
modified to improve its efficiency in terms like power consumption or memory
consumption which were not in the focus of the original algorithm. For all this
modification it is crucial that the functionality and correctness of the original
algorithm is preserved. In particular, various projective coordinate systems are
applied in order to reduce the computational complexity of elliptic curve encryption
by avoiding division in finite fields. This work investigates the possibilities of
automated proofs on the correctness of different algorithmic variants. We introduce
the theorems which are required to prove the correctness of a modified algorithm
variant and the lemmas and definitions which are necessary to prove these goals.
The correctness proof of the projective coordinate system transformation has practically
been performed with the help of the an interactive formal verification system
XeriFun
Recommended from our members
Global glacier volume projections under high-end climate change scenarios
The Paris agreement aims to hold global warming to well below 2°C and to pursue efforts to limit it to 1.5°C relative to the pre-industrial period. Recent estimates based on population growth and intended carbon emissions from participant countries, suggest global warming may exceed this ambitious target. Here we present glacier volume projections for the end of this century, under a range of high-end climate change scenarios, defined as exceeding +2°C global average warming relative to the preindustrial period. Glacier volume is modelled by developing an elevation-dependent mass balance model for the Joint UK Land Environmental Simulator (JULES). To do this, we modify JULES to include glaciated and un-glaciated surfaces that can exist at multiple heights within a single grid-box. Present day mass balance is calibrated by tuning albedo, wind speed, precipitation and temperature lapse rates to obtain the best agreement with observed mass balance profiles. JULES is forced with an ensemble of six Coupled Model Intercomparison Project Phase 5 (CMIP5) models which were downscaled using the high resolution HadGEM3-A atmosphere only global climate model. The ensemble mean volume loss at the end of the century plus/minus one standard deviation is, minus;64±5% for all glaciers excluding those on the peripheral of the Antarctic ice sheet. The uncertainty in the multi-model mean is rather small and caused by the sensitivity of HadGEM3-A to the boundary conditions supplied by the CMIP5 models. The regions which lose more than 75% of their initial volume by the end of the century are; Alaska, Western Canada and US, Iceland, Scandinavia, Russian Arctic, Central Europe, Caucasus, High Mountain Asia, Low Latitudes, Southern Andes and New Zealand. The ensemble mean ice loss expressed in sea-level equivalent contribution is 215.2±21.3mm. The largest contributors to sea level rise are Alaska (44.6±1.1mm), Arctic Canada North and South (34.9±3.0mm), Russian Arctic (33.3±4.8mm), Greenland (20.1±4.4), High Mountain Asia (combined Central Asia, South Asia East and West), (18.0±0.8mm), Southern Andes (14.4±0.1mm) and Svalbard (17.0±4.6mm). Including parametric uncertainty in the calibrated mass balance parameters, gives an upper bound global volume loss of 247.3mm, sea-level equivalent by the end of the century. Such large ice losses will have inevitable consequences for sea-level rise and for water supply in glacier-fed river systems
Imaging morphological details and pathological differences of red blood cells using tapping-mode AFM
The surface topography of red blood cells (RBCs) was investigated under nearphysiological conditions using atomic force microscopy (AFM). An immobilization protocol was established where RBCs are coupled via molecular bonds of the membrane glycoproteins to wheat germ agglutinin (WGA), which is covalently and flexibly tethered to the support. This results in a tight but noninvasive attachment of the cells. Using tappingmode AFM, which is known as gentle imaging mode and therefore most appropriate for soft biological samples like erythrocytes, it was possible to resolve membrane skeleton structures without major distortions or deformations of the cell surface. Significant differences in the morphology of RBCs from healthy humans and patients with systemic lupus erythematosus (SLE) were observed on topographical images. The surface of RBCs from SLE patients showed characteristic circularshaped holes with approx. 200 nm in diameter under physiological conditions, a possible morphological correlate to previously published changes in the SLE erythrocyte membrane
Phase correlation of laser waves with arbitrary frequency spacing
The theoretically predicted correlation of laser phase fluctuations in
Lambda-type interaction schemes is experimentally demonstrated. We show, that
the mechanism of correlation in a Lambda scheme is restricted to high frequency
noise components, whereas in a double- scheme, due to the laser phase
locking in closed-loop interaction, it extends to all noise frequencies. In
this case the correlation is weakly sensitive to coherence losses. Thus the
double-Lambda scheme can be used to correlate e.m. fields with carrier
frequency differences beyond the GHz regime.Comment: 4 pages, 4 figure
An Ion Microprobe Study of CAIs from CO3 Meteorites
When attempting to interpret the history of Ca, Al-rich inclusions (CAIs) it is often difficult to distinguish between primary features inherited from the nebula and those produced during secondary processing on the parent body. We have undertaken a systematic study of CAIs from 10 CO chondrites, believed to represent a metamorphic sequence [e.g., 1], with the goal of distinguishing primary and secondary features. ALHA 77307 (3.0), Colony (3.0), Kainsaz (3.1), Felix (3.2), ALH 82101 (3.3), Omans (3.3), Lancé (3.4), ALHA 77003 (3.5), Warrenton (3.6), and Isna (3. 7) were examined by SEM and optical microscopy. We have identified 141 CAIs within these samples, and studied in detail the petrology of 34 inclusions
Can Action Research Strengthen District Health Management and Improve Health Workforce Performance? A Research Protocol.
The single biggest barrier for countries in sub-Saharan Africa (SSA) to scale up the necessary health services for addressing the three health-related Millennium Development Goals and achieving Universal Health Coverage is the lack of an adequate and well-performing health workforce. This deficit needs to be addressed both by training more new health personnel and by improving the performance of the existing and future health workforce. However, efforts have mostly been focused on training new staff and less on improving the performance of the existing health workforce. The purpose of this paper is to disseminate the protocol for the PERFORM project and reflect on the key challenges encountered during the development of this methodology and how they are being overcome. The overall aim of the PERFORM project is to identify ways of strengthening district management in order to address health workforce inadequacies by improving health workforce performance in SSA. The study will take place in three districts each in Ghana, Tanzania and Uganda using an action research approach. With the support of the country research teams, the district health management teams (DHMTs) will lead on planning, implementation, observation, reflection and redefinition of the activities in the study. Taking into account the national and local human resource (HR) and health systems (HS) policies and practices already in place, 'bundles' of HR/HS strategies that are feasible within the context and affordable within the districts' budget will be developed by the DHMTs to strengthen priority areas of health workforce performance. A comparative analysis of the findings from the three districts in each country will add new knowledge on the effects of these HR/HS bundles on DHMT management and workforce performance and the impact of an action research approach on improving the effectiveness of the DHMTs in implementing these interventions. Different challenges were faced during the development of the methodology. These include the changing context in the study districts, competing with other projects and duties for the time of district managers, complexity of the study design, maintaining the anonymity and confidentiality of study participants as well as how to record the processes during the study. We also discuss how these challenges are being addressed. The dissemination of this research protocol is intended to generate interest in the PERFORM project and also stimulate discussion on the use of action research in complex studies such as this on strengthening district health management to improve health workforce performance
CDK-inhibitor independent cell cycle progression in an experimental haematopoietic stem cell leukaemia despite unaltered Rb-phosphorylation
A CD34-negative haematopoietic progenitor cell line, D064, derived from canine bone marrow stromal cells is able to differentiate into haematopoietic progenitors under the influence of growth factor-mediated signalling. While differentiating, these cells eventually start to express MHC class II molecules (DR homologues) on their surface. The stable transfection of the fibroblast-like wild-type cells with retroviral constructs containing the cDNA for the canine MHC class II DR-genes (DRA and DRB) induces a change in morphology, accelerates cell cycle progression and leads to a loss of anchorage-dependent growth. Transfected cells show features of an immature stem cell leukaemia, such as giant cell formation. In wild-type D064 cells the accumulation of the cyclin-dependent kinase inhibitor (cdki) p27kip-1 induces differentiation, which is dependent upon signalling via the ligand for the tyrosine kinase receptor c-kit (stem cell factor). DR-transfected cells instead apparently grow independently of any growth factor-mediated signals and express high levels of the cdkis p27kip-1 and especially p21waf-1/cip-1, concurrently with accelated cell cycle progression. In contrast to the overexpression of cdkis and despite accelerated cell cycle progression, the expression of the G2/M phase transition kinase p34cdc2 is significantly reduced in DR-transfected and transformed cells as compared to the haematopoietic wild-type cell line D064. This might suggest a possible alternative cell cycle progression pathway in this experimental stem cell leukaemia by by-passing the G0/G1 phase arrest, although retinoblastoma (Rb)-phosphorylation remains unaltered. These results provide evidence that mechanisms normally controlling the cell cycle and early haematopoietic differentiation are disrupted by the constitutive transcription and expression of MHC class II genes (DR) leading to a progression and growth of this experimental stem cell leukaemia independent from cell cycle controlling regulators such as p27 and p21. © 1999 Cancer Research Campaig
High precision fundamental constants at the TeV scale
This report summarizes the proceedings of the 2014 Mainz Institute for
Theoretical Physics (MITP) scientific program on "High precision fundamental
constants at the TeV scale". The two outstanding parameters in the Standard
Model dealt with during the MITP scientific program are the strong coupling
constant and the top-quark mass . Lacking knowledge on the
value of those fundamental constants is often the limiting factor in the
accuracy of theoretical predictions. The current status on and
has been reviewed and directions for future research have been identified.Comment: 57 pages, 24 figures, pdflate
Parasitic behavior in competing chemically fueled reaction cycles
Non-equilibrium, fuel-driven reaction cycles serve as model systems of the intricate reaction networks of life. Rich and dynamic behavior is observed when reaction cycles regulate assembly processes, such as phase separation. However, it remains unclear how the interplay between multiple reaction cycles affects the success of emergent assemblies. To tackle this question, we created a library of molecules that compete for a common fuel that transiently activates products. Often, the competition for fuel implies that a competitor decreases the lifetime of these products. However, in cases where the transient competitor product can phase-separate, such a competitor can increase the survival time of one product. Moreover, in the presence of oscillatory fueling, the same mechanism reduces variations in the product concentration while the concentration variations of the competitor product are enhanced. Like a parasite, the product benefits from the protection of the host against deactivation and increases its robustness against fuel variations at the expense of the robustness of the host. Such a parasitic behavior in multiple fuel-driven reaction cycles represents a lifelike trait, paving the way for the bottom-up design of synthetic life
- …