1,761 research outputs found
Preparation for an investigation of the thermal radiation characteristics and thermal conductivity of lunar material Final report, 1968
Vacuum system and chamber design, and thermal radiation and conductivity measurement techniques for lunar material investigation
Iterative graph cuts for image segmentation with a nonlinear statistical shape prior
Shape-based regularization has proven to be a useful method for delineating
objects within noisy images where one has prior knowledge of the shape of the
targeted object. When a collection of possible shapes is available, the
specification of a shape prior using kernel density estimation is a natural
technique. Unfortunately, energy functionals arising from kernel density
estimation are of a form that makes them impossible to directly minimize using
efficient optimization algorithms such as graph cuts. Our main contribution is
to show how one may recast the energy functional into a form that is
minimizable iteratively and efficiently using graph cuts.Comment: Revision submitted to JMIV (02/24/13
Formal Analysis of V2X Revocation Protocols
Research on vehicular networking (V2X) security has produced a range of
security mechanisms and protocols tailored for this domain, addressing both
security and privacy. Typically, the security analysis of these proposals has
largely been informal. However, formal analysis can be used to expose flaws and
ultimately provide a higher level of assurance in the protocols.
This paper focusses on the formal analysis of a particular element of
security mechanisms for V2X found in many proposals: the revocation of
malicious or misbehaving vehicles from the V2X system by invalidating their
credentials. This revocation needs to be performed in an unlinkable way for
vehicle privacy even in the context of vehicles regularly changing their
pseudonyms. The REWIRE scheme by Forster et al. and its subschemes BASIC and
RTOKEN aim to solve this challenge by means of cryptographic solutions and
trusted hardware.
Formal analysis using the TAMARIN prover identifies two flaws with some of
the functional correctness and authentication properties in these schemes. We
then propose Obscure Token (OTOKEN), an extension of REWIRE to enable
revocation in a privacy preserving manner. Our approach addresses the
functional and authentication properties by introducing an additional key-pair,
which offers a stronger and verifiable guarantee of successful revocation of
vehicles without resolving the long-term identity. Moreover OTOKEN is the first
V2X revocation protocol to be co-designed with a formal model.Comment: 16 pages, 4 figure
The European Federation of Organisations for Medical Physics Policy Statement No. 6.1: Recommended Guidelines on National Registration Schemes for Medical Physicists
This EFOMP Policy Statement is an update of Policy Statement No. 6 first published in 1994. The present version takes into account the European Union Parliament and Council Directive 2013/55/EU that amends Directive 2005/36/EU on the recognition of professional qualifications and the European Union Council Directive 2013/59/EURATOM laying down the basic safety standards for protection against the dangers arising from exposure to ionising radiation. The European Commission Radiation Protection Report No. 174, Guidelines on Medical Physics Expert and the EFOMP Policy Statement No. 12.1, Recommendations on Medical Physics Education and Training in Europe 2014, are also taken into consideration. The EFOMP National Member Organisations are encouraged to update their Medical Physics registration schemes where these exist or to develop registration schemes taking into account the present version of this EFOMP Policy Statement (Policy Statement No. 6.1"Recommended Guidelines on National Registration Schemes for Medical Physicists")
The European Federation of Organisations for Medical Physics Policy Statement No. 10.1: Recommended Guidelines on National Schemes for Continuing Professional Development of Medical Physicists
Continuing Professional Development (CPD) is vital to the medical physics profession if it is to embrace the pace of change occurring in medical practice. As CPD is the planned acquisition of knowledge, experience and skills required for professional practice throughout one's working life it promotes excellence and protects the profession and public against incompetence. Furthermore, CPD is a recommended prerequisite of registration schemes (Caruana et al. 2014 [1]; [2]) and is implied in the Council Directive 2013/59/EURATOM (EU BSS) [3] and the International Basic Safety Standards (BSS) [4]. It is to be noted that currently not all national registration schemes require CPD to maintain the registration status necessary to practise medical physics. Such schemes should consider adopting CPD as a prerequisite for renewing registration after a set period of time. This EFOMP Policy Statement, which is an amalgamation and an update of the EFOMP Policy Statements No. 8 and No. 10, presents guidelines for the establishment of national schemes for CPD and activities that should be considered for CPD
Calpain cleavage and subcellular characterisation of the ferlin family.
The ferlins are a family of C2-domain containing proteins. C2 domains regulate vesicle fusion in synaptotagmins, and animal models of ferlin deficiency display pathologies related to Ca2+-dependent vesicle fusion. Dysferlin mutations cause limb-girdle muscular dystrophy due to defective membrane repair. Our group has previously shown that Ca2+-dependent proteases, calpains, cleave dysferlin following membrane injury, releasing mini-dysferlinC72, that we hypothesise mediates membrane repair. Otoferlin mutations cause non-syndromic deafness, while no pathology causing mutations have been identified in other ferlins. My project establishes that dysferlin and myoferlin, type-I ferlins, are present at the plasma membrane and endo-lysosomal pathway while otoferlin and Fer1L6, type-II ferlins, are present at the plasma membrane and recycling trans-Golgi compartments. I also show that dysferlin is cleaved to mini-dysferlinC72 following injury in all cell types by the ubiquitous calpains-1 and -2 in the alternatively spliced exon 40a, indicating dysferlin cleavage is a fundamental response to membrane injury. Exon 40a-containing dysferlin recruits to sites of membrane injury in myotubes, indicating mini-dysferlinC72 may function directly at sites of injury. Finally, I have shown that calpains also cleave otoferlin and myoferlin. Cleavage of other ferlins indicates ferlin cleavage is an evolutionarily conserved event, predating the split between type-I and type-II ferlins
Recommended from our members
Variational guidewire tracking using phase congruency
We present a novel method to track a guidewire in cardiac x-ray video. Using variational calculus, we derive differential equations that deform a spline, subject to intrinsic and extrinsic forces, so that it matches the image data, remains smooth, and preserves an a priori length. We analytically derive these equations from first principles, and show how they include tangential terms, which we include in our model. To address the poor contrast often observed in x-ray video, we propose using phase congruency as an image-based feature. Experimental results demonstrate the success of the method in tracking guidewires in low contrast x-ray video
Charge Pumping in Mesoscopic Systems coupled to a Superconducting Lead
We derive a general scattering-matrix formula for the pumped current through
a mesoscopic region attached to a normal and a superconducting lead. As
applications of this result we calculate the current pumped through (i) a pump
in a wire, (ii) a quantum dot in the Coulomb blockade regime, and (iii) a
ballistic double-barrier junction, all coupled to a superconducting lead.
Andreev reflection is shown to enhance the pumped current by up to a factor of
4 in case of equal coupling to the leads. We find that this enhancement can
still be further increased for slightly asymmetric coupling.Comment: 5 pages, 2 figure
Sound localization with bilateral bone conduction devices
Purpose To investigate sound localization in patients bilaterally fitted with bone conduction devices (BCDs). Additionally, clinically applicable methods to improve localization accuracy were explored. Methods Fifteen adults with bilaterally fitted percutaneous BCDs were included. At baseline, sound localization, (un)aided pure-tone thresholds, device use, speech, spatial and qualities of hearing scale (SSQ) and York hearing-related quality of life (YHRQL) questionnaire were measured. Settings to optimize sound localizing were added to the BCDs. At 1 month, sound localization was assessed again and localization was practiced with a series of sounds with visual feedback. At 3 months, localization performance, device use and questionnaire scores were determined again. Results At baseline, one patient with congenital hearing loss demonstrated near excellent localization performance and four other patients (three with congenital hearing loss) localized sounds (quite) accurately. Seven patients with acquired hearing loss were able to lateralize sounds, i.e. identify whether sounds were coming from the left or right side, but could not localize sounds accurately. Three patients (one with congenital hearing loss) could not even lateralize sounds correctly. SSQ scores were significantly higher at 3 months. Localization performance, device use and YHRQL scores were not significantly different between visits. Conclusion In this study, the majority of experienced bilateral BCD users could lateralize sounds and one third was able to localize sounds (quite) accurately. The localization performance was robust and stable over time. Although SSQ scores were increased at the last visit, optimizing device settings and a short practice session did not improve sound localization
Spin orbit effects in a GaAs quantum dot in a parallel magnetic field
We analyze the effects of spin-orbit coupling on fluctuations of the
conductance of a quantum dot fabricated in a GaAs heterostructure. We argue
that spin-orbit effects may become important in the presence of a large
parallel magnetic field B_{||}, even if they are negligble for B_{||}=0. This
should be manifest in the level repulsion of a closed dot, and in reduced
conductance fluctuations in dots with a small number of open channels in each
lead, for large B_{||}. Our picture is consistent with the experimental
observations of Folk et al.Comment: 5 page
- …