A symbolic algorithm for the synthesis of bounded Petri nets

This paper presents an algorithm for the synthesis of bounded Petri nets from transition systems. A bounded Petri net is always provided in case it exists. Otherwise, the events are split into several transitions to guarantee the synthesis of a Petri net with bisimilar behavior. The algorithm uses symbolic representations of multisets of states to efficiently generate all the minimal regions. The algorithm has been implemented in a tool. Experimental results show a significant net reduction when compared with approaches for the synthesis of safe Petri nets.Peer ReviewedPostprint (author's final draft

Magnetic field dependence of the exciton energy in a quantum disk

The groundstate energy and binding energy of an exciton, confined in a^M quantum disk, are calculated as a function of an external magnetic field. The confinement potential is a hard wall of finite height. The diamagnetic shift is investigated for magnetic fields up to 40$T$. Our results are applied to $In_{y}Al_{1-y}As/Al_{x}Ga_{1-x}As$ self-assembled quantum dots and very good agreement with experiments is obtained. Furthermore, we investigated the influence of the dot size on the diamagnetic shift by changing the disk radius. The exciton excited states are found as a function of the magnetic field. The relative angular momentum is not a quantum number and changes with the magnetic field strength.Comment: 10 pages, 17 figure

The UKIDSS Galactic Plane Survey

'The definitive version is available at www.blackwell-synergy.com .' Copyright Blackwell Publishing DOI: 10.1111/j.1365-2966.2008.13924.xThe UKIDSS Galactic Plane Survey (GPS) is one of the five near-infrared Public Legacy Surveys that are being undertaken by the UKIDSS consortium, using the Wide Field Camera on the United Kingdom Infrared TelescopePeer reviewe

Spin interactions and switching in vertically tunnel-coupled quantum dots

We determine the spin exchange coupling J between two electrons located in two vertically tunnel-coupled quantum dots, and its variation when magnetic (B) and electric (E) fields (both in-plane and perpendicular) are applied. We predict a strong decrease of J as the in-plane B field is increased, mainly due to orbital compression. Combined with the Zeeman splitting, this leads to a singlet-triplet crossing, which can be observed as a pronounced jump in the magnetization at in-plane fields of a few Tesla, and perpendicular fields of the order of 10 Tesla for typical self-assembled dots. We use harmonic potentials to model the confining of electrons, and calculate the exchange J using the Heitler-London and Hund-Mulliken technique, including the long-range Coulomb interaction. With our results we provide experimental criteria for the distinction of singlet and triplet states and therefore for microscopic spin measurements. In the case where dots of different sizes are coupled, we present a simple method to switch on and off the spin coupling with exponential sensitivity using an in-plane electric field. Switching the spin coupling is essential for quantum computation using electronic spins as qubits.Comment: 13 pages, 9 figure

Tight-binding study of the influence of the strain on the electronic properties of InAs/GaAs quantum dots

We present an atomistic investigation of the influence of strain on the electronic properties of quantum dots (QD's) within the empirical $s p^{3} s^{*}$ tight-binding (ETB) model with interactions up to 2nd nearest neighbors and spin-orbit coupling. Results for the model system of capped pyramid-shaped InAs QD's in GaAs, with supercells containing $10^{5}$ atoms are presented and compared with previous empirical pseudopotential results. The good agreement shows that ETB is a reliable alternative for an atomistic treatment. The strain is incorporated through the atomistic valence force field model. The ETB treatment allows for the effects of bond length and bond angle deviations from the ideal InAs and GaAs zincblende structure to be selectively removed from the electronic-structure calculation, giving quantitative information on the importance of strain effects on the bound state energies and on the physical origin of the spatial elongation of the wave functions. Effects of dot-dot coupling have also been examined to determine the relative weight of both strain field and wave function overlap.Comment: 22 pages, 7 figures, submitted to Phys. Rev. B (in press) In the latest version, added Figs. 3 and 4, modified Fig. 5, Tables I and II,.and added new reference

Predictive accuracy of risk prediction models for recurrence, metastasis and survival for early-stage cutaneous melanoma : a systematic review

OBJECTIVES: To identify prognostic models for melanoma survival, recurrence and metastasis among American Joint Committee on Cancer stage I and II patients postsurgery; and evaluate model performance, including overall survival (OS) prediction. DESIGN: Systematic review and narrative synthesis. DATA SOURCES: Searched MEDLINE, Embase, CINAHL, Cochrane Library, Science Citation Index and grey literature sources including cancer and guideline websites from 2000 to September 2021. ELIGIBILITY CRITERIA: Included studies on risk prediction models for stage I and II melanoma in adults ≥18 years. Outcomes included OS, recurrence, metastases and model performance. No language or country of publication restrictions were applied. DATA EXTRACTION AND SYNTHESIS: Two pairs of reviewers independently screened studies, extracted data and assessed the risk of bias using the CHecklist for critical Appraisal and data extraction for systematic Reviews of prediction Modelling Studies checklist and the Prediction study Risk of Bias Assessment Tool. Heterogeneous predictors prevented statistical synthesis. RESULTS: From 28 967 records, 15 studies reporting 20 models were included; 8 (stage I), 2 (stage II), 7 (stages I-II) and 7 (stages not reported), but were clearly applicable to early stages. Clinicopathological predictors per model ranged from 3-10. The most common were: ulceration, Breslow thickness/depth, sociodemographic status and site. Where reported, discriminatory values were ≥0.7. Calibration measures showed good matches between predicted and observed rates. None of the studies assessed clinical usefulness of the models. Risk of bias was high in eight models, unclear in nine and low in three. Seven models were internally and externally cross-validated, six models were externally validated and eight models were internally validated. CONCLUSIONS: All models are effective in their predictive performance, however the low quality of the evidence raises concern as to whether current follow-up recommendations following surgical treatment is adequate. Future models should incorporate biomarkers for improved accuracy. PROSPERO REGISTRATION NUMBER: CRD42018086784

Application of genomicsassisted breeding for generation of climate resilient crops: progress and prospects

CCAFS Climat

The backward-bending commute times of married women with household responsibility

The purpose of this paper is to examine theoretically and empirically whether the commute times of married women follow a backward-bending pattern with respect to wage rates. The existing literature has shown that married women tend to choose short commutes because of their relatively low wages combined with comparatively heavy household responsibilities. However, a workleisure model, which includes the simultaneous decision wives take regarding commute times and wage rates, suggests that married women employed in highly paid positions also undertake short commutes, while married women with wage rates in the middle range choose long commutes. These results suggest that the commute times of married women display a backward-bending pattern. Applying an instrumental variable strategy that accounts for the endogeneity of wage rates, the empirical results for employed married women in Japan appear to support this nding. Moreover, one of our results suggests that highly paid married women can still secure greater leisure time with short commutes, despite retaining a heavy load of domestic responsibilities.Working Paper, No.234, 2008.9.1版http://hdl.handle.net/10110/254