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

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