1,140 research outputs found
Bevoegdheid minister om OMG te verbieden
On Tuesday the 6th of March 2018, a legislative proposal has been submitted for public consultation. The drafters propose to give the Minister for Legal Protection the power to order the ban and dissolution of legal persons that pose a threat to the public order. Drafters believe that the current legal framework on the court ordered ban and dissolution of legal persons with activities that are a jeopardy to the public order are inadequate and ineffective. Authors elaborate on some aspects of the draft proposal
Word-level Symbolic Trajectory Evaluation
Symbolic trajectory evaluation (STE) is a model checking technique that has
been successfully used to verify industrial designs. Existing implementations
of STE, however, reason at the level of bits, allowing signals to take values
in {0, 1, X}. This limits the amount of abstraction that can be achieved, and
presents inherent limitations to scaling. The main contribution of this paper
is to show how much more abstract lattices can be derived automatically from
RTL descriptions, and how a model checker for the general theory of STE
instantiated with such abstract lattices can be implemented in practice. This
gives us the first practical word-level STE engine, called STEWord. Experiments
on a set of designs similar to those used in industry show that STEWord scales
better than word-level BMC and also bit-level STE.Comment: 19 pages, 3 figures, 2 tables, full version of paper in International
Conference on Computer-Aided Verification (CAV) 201
Dysflective cones: Visual function and cone reflectivity in long-term follow-up of acute bilateral foveolitis.
PURPOSE:Confocal adaptive optics scanning laser ophthalmoscope (AOSLO) images provide a sensitive measure of cone structure. However, the relationship between structural findings of diminished cone reflectivity and visual function is unclear. We used fundus-referenced testing to evaluate visual function in regions of apparent cone loss identified using confocal AOSLO images. METHODS:A patient diagnosed with acute bilateral foveolitis had spectral-domain optical coherence tomography (SD-OCT) (Spectralis HRA + OCT system [Heidelberg Engineering, Vista, CA, USA]) images indicating focal loss of the inner segment-outer segment junction band with an intact, but hyper-reflective, external limiting membrane. Five years after symptom onset, visual acuity had improved from 20/80 to 20/25, but the retinal appearance remained unchanged compared to 3 months after symptoms began. We performed structural assessments using SD-OCT, directional OCT (non-standard use of a prototype on loan from Carl Zeiss Meditec) and AOSLO (custom-built system). We also administered fundus-referenced functional tests in the region of apparent cone loss, including analysis of preferred retinal locus (PRL), AOSLO acuity, and microperimetry with tracking SLO (TSLO) (prototype system). To determine AOSLO-corrected visual acuity, the scanning laser was modulated with a tumbling E consistent with 20/30 visual acuity. Visual sensitivity was assessed in and around the lesion using TSLO microperimetry. Complete eye examination, including standard measures of best-corrected visual acuity, visual field tests, color fundus photos, and fundus auto-fluorescence were also performed. RESULTS:Despite a lack of visible cone profiles in the foveal lesion, fundus-referenced vision testing demonstrated visual function within the lesion consistent with cone function. The PRL was within the lesion of apparent cone loss at the fovea. AOSLO visual acuity tests were abnormal, but measurable: for trials in which the stimulus remained completely within the lesion, the subject got 48% correct, compared to 78% correct when the stimulus was outside the lesion. TSLO microperimetry revealed reduced, but detectible, sensitivity thresholds within the lesion. CONCLUSIONS AND IMPORTANCE:Fundus-referenced visual testing proved useful to identify functional cones despite apparent photoreceptor loss identified using AOSLO and SD-OCT. While AOSLO and SD-OCT appear to be sensitive for the detection of abnormal or absent photoreceptors, changes in photoreceptors that are identified with these imaging tools do not correlate completely with visual function in every patient. Fundus-referenced vision testing is a useful tool to indicate the presence of cones that may be amenable to recovery or response to experimental therapies despite not being visible on confocal AOSLO or SD-OCT images
Evaluating performance of the Revised Trauma Score as a triage instrument in the prehospital setting
Determination of complex dielectric functions of ion implanted and implantedāannealed amorphous silicon by spectroscopic ellipsometry
Measuring with a spectroscopic ellipsometer (SE) in the 1.8ā4.5 eV photon energy region we determined the complex dielectric function (Ļµ = Ļµ1 + iĻµ2) of different kinds of amorphous silicon prepared by selfāimplantation and thermal relaxation (500āĀ°C, 3 h). These measurements show that the complex dielectric function (and thus the complex refractive index) of implanted aāSi (iāaāSi) differs from that of relaxed (annealed) aāSi (rāaāSi). Moreover, its Ļµ differs from the Ļµ of evaporated aāSi (eāaāSi) found in the handbooks as Ļµ for aāSi. If we use this Ļµ to evaluate SE measurements of ion implanted silicon then the fit is very poor. We deduced the optical band gap of these materials using the DavisāMott plot based on the relation: (Ļµ2E2)1/3 ā¼ (Eā Eg). The results are: 0.85 eV (iāaāSi), 1.12 eV (eāaāSi), 1.30 eV (rāaāSi). We attribute the optical change to annihilation of point defects
Direct simulation of ion beam induced stressing and amorphization of silicon
Using molecular dynamics (MD) simulation, we investigate the mechanical
response of silicon to high dose ion-irradiation. We employ a realistic and
efficient model to directly simulate ion beam induced amorphization. Structural
properties of the amorphized sample are compared with experimental data and
results of other simulation studies. We find the behavior of the irradiated
material is related to the rate at which it can relax. Depending upon the
ability to deform, we observe either the generation of a high compressive
stress and subsequent expansion of the material, or generation of tensile
stress and densification. We note that statistical material properties, such as
radial distribution functions are not sufficient to differentiate between
different densities of amorphous samples. For any reasonable deformation rate,
we observe an expansion of the target upon amorphization in agreement with
experimental observations. This is in contrast to simulations of quenching
which usually result in denser structures relative to crystalline Si. We
conclude that although there is substantial agreement between experimental
measurements and most simulation results, the amorphous structures being
investigated may have fundamental differences; the difference in density can be
attributed to local defects within the amorphous network. Finally we show that
annealing simulations of our amorphized samples can lead to a reduction of high
energy local defects without a large scale rearrangement of the amorphous
network. This supports the proposal that defects in amorphous silicon are
analogous to those in crystalline silicon.Comment: 13 pages, 12 figure
- ā¦