3,464 research outputs found
Electric-field control of domain wall nucleation and pinning in a metallic ferromagnet
The electric (E) field control of magnetic properties opens the prospects of
an alternative to magnetic field or electric current activation to control
magnetization. Multilayers with perpendicular magnetic anisotropy (PMA) have
proven to be particularly sensitive to the influence of an E-field due to the
interfacial origin of their anisotropy. In these systems, E-field effects have
been recently applied to assist magnetization switching and control domain wall
(DW) velocity. Here we report on two new applications of the E-field in a
similar material : controlling DW nucleation and stopping DW propagation at the
edge of the electrode
Refactoring preserves security
Refactoring allows changing a program without changing its behaviour from an observer’s point of view. To what extent does this invariant of behaviour also preserve security? We show that a program remains secure under refactoring. As a foundation, we use the Decentralized Label Model (DLM) for specifying secure information flows of programs and transition system models for their observable behaviour. On this basis, we provide a bisimulation based formal definition of refactoring and show its correspondence to the formal notion of information flow security (noninterference). This permits us to show security of refactoring patterns that have already been practically explored
Территориальная организация и проблемы рекреационного лесопользования в Крыму
В статье рассмотрены ресурсный потенциал, пространственная организация, экологические проблемы рекреационного лесопользования в Крыму, предложены принципы устойчивого развития лесных рекреационных территорий.У статті розглянуто ресурсний потенціал, просторова організація, екологічні проблеми рекреаційного лісокористування в Криму, запропоновано принципи стійкого розвитку лісових рекреаційних територій.The recreational potential, the space organization, ecologic problems of the recreational forest management in Crimea are considered in this article. Principles of the sustainable development of forest recreational territories are proposed
Asymptotic information leakage under one-try attacks
We study the asymptotic behaviour of (a) information leakage and (b) adversary’s error probability in information hiding systems modelled as noisy channels. Specifically, we assume the attacker can make a single guess after observing n independent executions of the system, throughout which the secret information is kept fixed. We show that the asymptotic behaviour of quantities (a) and (b) can be determined in a simple way from the channel matrix. Moreover, simple and tight bounds on them as functions of n show that the convergence is exponential. We also discuss feasible methods to evaluate the rate of convergence. Our results cover both the Bayesian case, where a prior probability distribution on the secrets is assumed known to the attacker, and the maximum-likelihood case, where the attacker does not know such distribution. In the Bayesian case, we identify the distributions that maximize the leakage. We consider both the min-entropy setting studied by Smith and the additive form recently proposed by Braun et al., and show the two forms do agree asymptotically. Next, we extend these results to a more sophisticated eavesdropping scenario, where the attacker can perform a (noisy) observation at each state of the computation and the systems are modelled as hidden Markov models
Changes in trabecular bone, hematopoiesis and bone marrow vessels in aplastic anemia, primary osteoporosis, and old age
Retrospective histologic analyses of bone biopsies and of post mortem samples from normal persons of different age groups, and of bone biopsies of age- and sex-matched groups of patients with primary osteoporosis and aplastic anemia show characteristic age dependent as well as pathologic changes including atrophy of osseous trabeculae and of hematopoiesis, and changes in the sinusoidal and arterial capillary compartments. These results indicate the possible role of a microvascular defect in the pathogenesis of osteoporosis and aplastic anemia
Strong Effects of Weak Localization in Charge Density Wave/Normal Metal Hybrids
Collective transport through a multichannel disordered conductor in contact
with charge-density-wave electrodes is theoretically investigated. The
statistical distribution function of the threshold potential for charge-density
wave sliding is calculated by random matrix theory. In the diffusive regime
weak localization has a strong effect on the sliding motion.Comment: To be published in Physical Review
Newer long-acting insulin prescriptions for patients with type 2 diabetes: Prevalence and practice variation in a retrospective cohort study
BACKGROUND: Little is known about prescription patterns of expensive non-recommended newer long-acting insulins (glargine 300 U/mL and degludec) for patients with type 2 diabetes mellitus (T2DM). AIM: To identify practice variation in, and practice- and patient-related characteristics associated with, the prescription of newer long-acting insulins to patients with T2DM in primary care. DESIGN AND SETTING: A retrospective cohort study in Dutch general practices (Nivel Primary Care Database). METHOD: A first prescription for intermediate or long-acting insulins in 2018 was identified in patients aged ≥40 years using other T2DM drugs. Per practice, the median percentage and interquartile range (IQR) of patients with newer insulin prescriptions were calculated. Multilevel logistic regression models were constructed to calculate intraclass correlation coefficients (ICCs) and quantify the association of patient and practice characteristics with prescriptions for newer insulins (odds ratios [ORs] and 95% confidence intervals [CIs]). RESULTS: In total, 7757 patients with prescriptions for intermediate or long-acting insulins from 282 general practices were identified. A median percentage of 21.2% (IQR 12.5–36.4%) of all patients prescribed intermediate or long-acting insulins per practice received a prescription for newer insulins. After multilevel modelling, the ICC decreased from 20% to 19%. Female sex (OR 0.77, 95% CI = 0.69 to 0.87), age ≥86 years compared with 40–55 years (OR 0.22, 95% CI = 0.15 to 0.34), prescriptions for metformin (OR 0.66, 95% CI = 0.53 to 0.82), sulfonylurea (OR 0.58, 95% CI = 0.51 to 0.66), or other newer T2DM drugs (OR 3.10, 95% CI = 2.63 to 3.66), and dispensing practices (OR 1.78, 95% CI = 1.03 to 3.10) were associated with the prescription of newer insulins. CONCLUSION: The inter-practice variation in the prescription of newer insulins is large and could only be partially explained by patient- and practice-related differences. This indicates substantial opportunities for improvement
Исследование свойств композиционного материала на основе гидроксиапатита и природного полимера
Before starting the security analysis of an existing system, the most likely outcome is often already clear, namely that the system is not entirely secure. Modifying a program such that it passes the analysis is a difficult problem and usually left entirely to the programmer. In this article, we show that and how unification can be used to compute such program transformations. This opens a new perspective on the problem of correcting insecure programs. We demonstrate that integrating our approach into an existing transforming type system can also improve the precision of the analysis and the quality of the resulting program
- …