Abstract: A method for transforming a tautology check of an original logic circuit into a contradiction check of the original logic circuit and vice versa comprises interpreting the original logic circuit in terms of AND, OR, MAJ, MIN, XOR, XNOR, INV original logic operators; transforming the original circuit obtained from the interpreting, into a dual logic circuit enabled for a checking of contradiction in place of tautology and vice versa, by providing a set of switching rules configured to switch each respective one of the original logic operators INV, AND, OR, MAJ, XOR, XNOR, MIN into a respective switched logic operator INV, OR, AND, MAJ, XNOR, XOR, MIN; and complementing outputs of the original circuit by adding an INV at each output wire. The method further provides testing in parallel the satisfiability of the original logic circuit, and the satisfiability of the dual logic circuit with inverted outputs. Responsive to one of the parallel tests finishing, the other parallel test is caused to also stop.

Abstract: A system comprising a laser emitting an ultrashort pulse beam; and a dielectric bulk medium having a refractive index depending on intensity, the bulk medium broadening the laser beam homogeneously versus transversal spatial coordinates, and a method for compressing high energy femtosecond laser pulses, comprising propagating the laser beam inside a dielectric bulk medium having a refractive index depending on the beam intensity, the bulk medium broadening the laser beam homogeneously versus transversal spatial coordinates; and compressing a resulting broadened spectrum.

Abstract: Using a transformation based, at least in part, on a non-simple orthogonal matrix, data may be transmitted over a data bus in a manner that is resilient to one or more types of signal noise, that does not require a common reference at the transmission and acquisition points, and/or that has a pin-efficiency that is greater than 50% and may approach that of single-ended signaling. Such transformations may be implemented in hardware in an efficient manner. The transformation may be combined with methods from forward error correction to lower the required transmission power.

Abstract: Method for processing a circular light field comprising the step of receiving or storing a circular light field matrix, wherein the circular light field matrix comprises pixel data for different circumferential angles and for different incidence angles, wherein each circumferential angle represents one intersection point of a light ray with a circle, and each incidence angle represents an angle of incidence of the light ray in the plane of the circle at the one intersection point; and the step of determining a sub set of pixel data of the circular light field matrix relating to a location by determining for each different circumferential angle an incidence angle related to said location.

Abstract: The invention describes a method and a microscopy system for imaging and analyzing stochastically and independently blinking point-like emitters. A multiple-order cumulants analysis in conjunction with an established blinking model enables the extraction of super-resolved environment-related parameter maps, such as molecular state lifetimes, concentration and brightness distributions of the emitter. In addition, such parameter maps can be used to compensate for the non-linear brightness and blinking response of higher-order cumulant images—used for example in Super-resolution Optical Fluctuation Imaging (SOFI)—to generate a balanced image contrast. Structures that otherwise would be masked by brighter regions in the conventional cumulant image become samples using spectral cross-cumulants.

Abstract: A method for producing electromagnetic radiation comprising: firing a first laser pulse and generating a plasma region, the first laser pulse penetrating at least partially into the plasma region to create a plasma density wake in the plasma region; providing a group of charged particles in the plasma region arranged so as to be accelerated in the plasma density wake of the first laser pulse; reflecting the first laser pulse after the first laser pulse has penetrated into the plasma region, to give a reflected laser pulse; and arranging the reflected laser pulse to interact with the group of charged particles to generate an electromagnetic radiation.

Abstract: An ocular drainage system is provided for treating diseases that produce elevated intraocular pressures, such as glaucoma, wherein the system includes an implantable device and an external control unit. The implantable device includes a non-invasively adjustable valve featuring at least one deformable tube and a disk rotatably mounted within a housing, such that rotation of the disk using the external control unit causes the disk to apply a selected amount of compression to the deformable tube, thereby adjusting the fluidic resistance of the deformable tube and regulating the intraocular pressure.

Abstract: Optic fiber sensor characterized in that the sensing fiber is provided with a continuous Bragg grating covering the entire fiber length which is dedicated to sensing and along which spatially resolved measurements are performed.

Abstract: A method and apparatus for generating a pulsed jet of fluid, and transforming the jet into a plasma. The method includes using a high-pressure rapid solenoid valve, and a pipe mounted on an outlet opening of the solenoid valve to produce a pulsed fluid jet which is sub-millimetric in size, and the atomic density of which is more than 1020 cm?3.

Abstract: The present invention describes methods and apparatuses for creating superposition shape images by superposed base and revealing layers of lenslet gratings. The superposition shape images form a message recognizable by a human observer or by an image acquisition and computing device such as a smartphone. The superposition shape images may be created by different superposition techniques ranging from 1D moiré, 2D moiré and level-line moiré superposition techniques to lenticular image and phase shift superposition techniques. Moiré superposition techniques enable creating superposition shape images at different apparent depth levels. Applications comprise the protection of documents and valuable articles against counterfeits, the creation of eye-catching advertisements as well as the decoration of buildings and exhibitions.

Abstract: A device for determining a bidirectional reflectance distribution function of a subject, including a light source for producing an incident light that is directed onto a subject at a predetermined zenith angle and at a predetermined azimuth angle, an element for displacing the light source at any location on the periphery of a hemispherical area centered on the subject, an element for measuring the bidirectional reflectance distribution function of the subject from one fixed location that is preferably aligned with a normal direction defined by the subject, a control unit adapted to control the element for displacing and/or the element for measuring. The element for displacing includes an arc-shaped arm at one end fixedly connected to the light source and slideably connected to a first support to adjust the zenith angle, and an element for pivoting the first support about the normal direction to permit adjustment of the azimuth angle.

Abstract: According to one aspect, the invention relates to a device (100) for remote polarimetric characterisation of a sample (S). It comprises a source (10) for emitting at least one incident light wave at at least one first wavelength (?E); a monomode optical fibre (30) in which the incident light wave is intended to propagate; a polarisation state generator (PSG) arranged on the proximal side of the optical fibre; a reflector (40) intended to be arranged on the distal side of the optical fibre; a polarisation state analyser (PSA) arranged on the proximal side of the optical fibre and allowing, for each probe state of the incident wave generated by the polarisation state generator, the polarisation of the light wave obtained after propagation of the incident wave in the optical fibre (30), reflection from the distal side of the optical fibre and reverse propagation in the optical fibre (30), to be analysed.

Abstract: A spectroscopy assembly having a first and a second optical ring resonator, each provided with a material having an intensity-dependent refraction index. The spectroscopy assembly further includes at least one waveguide, which is guided along the optical ring resonator at a distance such that the light of a continuous wave laser guided in the waveguide can be coupled into the optical ring resonator, and a frequency comb generated from the light of the continuous wave laser in the optical ring resonator can be coupled out of the waveguide. The optical ring resonators and the at least one waveguide are provided on a common substrate.

Abstract: A VTOL (vertical take-off and landing) aerial flying vehicle comprising an inner frame, a gimbal system and an outer frame, the inner frame comprising a propulsion system and a control system. The propulsion system being able to generate a lift force. The control system being able to control the orientation of the inner frame. The gimbal system connecting the inner frame to the outer frame with at least two rotation axis allowing rotation freedom between the outer frame to rotate independently from the inner frame.

Abstract: A method of local feature identification comprises retrieving data representing a lightfield, forming an epipolar volume (V) from the retrieved data, applying a transform to epipolar planes retrieved from the epipolar volume, so as to represent the epipolar planes in a new space, identifying a plurality of epipolar lines, and identifying local features (fp) based on at least some of the epipolar lines.

Abstract: A computer implemented method for encrypting one or more files and wrapping them in an HTML document. The HTML document contains the encrypted files, the necessary code to decrypt the files, as well as user interface code to receive a passphrase input from a user. The HTML document can be opened using any modern web browser, to obtain the original files using the same passphrase with which the encryption was performed. This offers a convenient way of sharing encrypted files via email or cloud file sharing services using a platform independent file format (without having to install any additional software).

Abstract: Described herein are microelectrode array devices, and methods of fabrication and use of the same, to provide highly localized and efficient electrical stimulation of a neurological target. The device includes multiple microelectrode elements arranged along an supportive backing layer. The microelectrode elements are dimensioned and shaped so as to target individual neurons, groups of neurons, and neural tissue as may be located in an animal nervous system, such as along a region of a cortex of a human brain. Beneficially, the neurological probe can be used to facilitate location of the neurological target and remain implanted for long-term monitoring and/or stimulation.

Abstract: The present invention concerns semiconductor devices comprising a source electrode, a drain electrode and a semiconducting layer consisting of a single or double 2-dimensional layer(s) made from one of the following materials: MoS2, MoSe2, WS2, WSe2, MoTe2 or WTe2. Replacing a stack by only one or two 2-dimensional layer(s) of MoS2, MoSe2, WS2, or WSe2, MoTe2 or WTe2 provides an enhanced electrostatic control, low power dissipation, direct band gap and tunability.

Abstract: A method for generating an ion flow asymmetry in a capactively coupled radiofrequency plasma reactor comprising a step for energization of a first electrode by a radiofrequency voltage waveform. The standardized voltage waveform is an approximate waveform with a degree of approximation of a standardized sawtooth radiofrequency function having different rising and falling slopes. The degree of approximation of the approximate waveform and the pressure P of the gas are sufficiently high for causing the appearance of an asymmetry of the ion flows between the ion flow at the first electrode and the ion flow at a second electrode.

Abstract: Described herein are microelectrode array devices, and methods of fabrication, assembly and use of the same, to provide highly localized neural recording and/or neural stimulation to a neurological target. The device includes multiple microelectrode elements arranged protruding shafts. The protruding shafts are enclosed within an elongated probe shaft, and can be expanded from their enclosure. The microelectrode elements, and elongated probe shafts, are dimensioned in order to target small volumes of neurons located within the nervous system, such as in the deep brain region. Beneficially, the probe can be used to quickly identify the location of a neurological target, and remain implanted for long-term monitoring and/or stimulation.