French Institute for Research in Computer Science and Automation

Rennes, France

French Institute for Research in Computer Science and Automation

Rennes, France

Time filter

Source Type

Patent
French Institute for Research in Computer Science and Automation | Date: 2016-11-07

The invention relates to a device for monitoring physical objects that comprises one or more short-range remote readers, memory elements to be attached to physical objects, and a controller adapted for executing a reading function capable of interaction with the one or more remote readers in order to acquire data contained in adjacent memory elements, and for executing an integrity validation function capable of distinguishing, from the acquired data, individual identifiers particular to each of the memory elements as well as group description data stored in at least some of said memory elements, and of checking the sufficiency of group description data while checking the compliance of individual identifiers with corresponding group description data.


Patent
French National Center for Scientific Research, French Institute for Research in Computer Science and Automation | Date: 2017-04-26

The invention relates to a method for diagnosis by reflectometry of a bundle of power lines comprising an input point and a plurality of branches, including the following steps: inserting (S50) electric markers having different frequency characteristics onto the branches of the bundle; injecting (S52) a test signal into the bundle from the input point; receiving (S54) a set of reflected signals produced by reflections of the test signal in the branches; analysing all the reflected signals by identifying the markers and by assigning (S56) each reflected signal to one of the branches according to the frequency characteristic of the marker inserted onto said branch; and identifying the presence/absence of a defect in said branch by comparing (S58) the reflected signal assigned to said branch with a reflected signal model obtained by modelling the reflection of the test signal in said branch in the absence of any defect in said branch.


Patent
French Institute for Research in Computer Science and Automation | Date: 2017-02-22

Method of automatic synthesis of circuits comprising the generation of a network of regular processes reading or writing data in channels, according to which a single producer process is authorized to write in a channel and a single consumer process is authorized to read in a channel; and a synchronization unit associated with said channel authorizes or disables the implementation of a new iteration of said producer process, respectively consumer process, as a function of a comparison of a position of execution determined as a function of the value of a new iteration collected from the producer process, respectively consumer process, and of a position of execution determined as a function of a last iteration value collected from the consumer process, respectively producer process.


A method for determining a set of points to be supported for an object to be manufactured by means of an additive manufacturing method, characterised in that it comprises a step consisting of subdividing the object into successive layers, each layer corresponding to a thickness of material deposited during the manufacture of the object; and, for each layer, adding, to a set of points to be supported, points to be supported (Ps) on the surface of the object that make it possible to ensure the stability of all of the sub-objects (2n), a sub-object being defined as a solid resulting from the manufacture of the i first layers (Ci) of the object.


Patent
University of British Columbia, University of Toronto, French Institute for Research in Computer Science and Automation | Date: 2017-02-22

A method is for estimating a three-dimensional (3D) representation of a set of two-dimensional (2D) curves of a concept drawing, the estimate of the 3D representation corresponding to a 3D object underlying the concept drawing. The method comprises: obtaining a representation of a set of 2D curves a concept drawing that represent a 3D object underlying the concept drawing; determining an energy function based on the set of 2D curves, the energy function comprising one or more terms, each term reflective of a preference for a 3D representation based on a characteristic of the 2D curves which reflects how concept drawings are commonly perceived to represent 3D objects; and performing an optimization which minimizes the energy function to thereby determine the 3D representation.


Patent
French Institute for Research in Computer Science and Automation | Date: 2017-06-07

The invention relates to a method for automatically determining necessary or sufficient cause of a malfunction of a system made up of a plurality of hardware or software components. The method comprises, from the obtaining (22) of an execution trace including a sequence of events observed during the execution of the system, obtaining a tested subset of components comprising at least one component in which the execution trace has (24) at least one non-conformity with the specification of correct operation of said component, and a subset of components processed in accordance with said tested subset of components; for a processed subset of components, a calculation, for each of the components of the system, of a prefix of an execution trace not affected by events that do not conform with the specification observed for the components of the processed subset of components, the determination of a counterfactual execution model of the processed subset making it possible to generate all of the possible behaviours, starting with the unaffected prefixes, in the absence of a malfunction of the components of the processed subset of components and the determination (28, 30) of the necessary or sufficient cause of the components of the subset of components tested for the malfunction of the system in accordance with the verification that said counterfactual model of the processed subset of components complies with said global property of the system.


Patent
French Institute for Research in Computer Science and Automation | Date: 2017-05-17

The invention relates to an imaging system and method aimed at constructing a three-dimensional depth image of a patient, which is particularly useful in the field of medical imaging, in particular in the field of X-ray imaging of moving patients. The system includes first imaging means 18 comprising at least one stationary surface-imaging device 3 allowing the acquisition of a sequence of two-dimensional surface images 4 of a patient 2, and a computer processor including a first reconstruction module 5 for constructing a sequence of three-dimensional surface representations 6 of a patient 2 from a series of simultaneous two-dimensional surface images taken in each sequence of two-dimensional surface images 6 acquired by the first imaging means. Second imaging means 19 comprise at least one stationary depth-imaging device 7 allowing the acquisition of a sequence of several two-dimensional depth images 8 of a patient. The computer processor includes a second reconstruction module 9 for constructing a three-dimensional depth representation 1 of the patient from a sequence of three-dimensional surface representations of a patient constructed by the first reconstruction module and a sequence of two-dimensional depth images of the patient acquired by the stationary depth-imaging device.


Patent
French Institute for Research in Computer Science, Automation and French National Center for Scientific Research | Date: 2017-04-12

A method for analysing a dynamic scene partitioned into cells which involves determining a probability of occupancy of a cell and a probability or probabilities of movement of the cell by solving the equation P(OV|ZC)= A0-1V-1 P(CA00-1VV-1Z) / A00-1VV-1 P(CA00-1VV-1Z) comprising the determination of the speeds and positions of dummy particles in the grid depending on those determined at the (k-1)th iteration and the probability P(V|V- 1); the determination of the particles located in each cell depending on the determined positions, and the solving of the equation, for a cell, is split into the solving of a static part corresponding to P(0=empty, V=0|ZC) and P(0=occupied, V=0|ZC) and the solving of a dynamic part corresponding to P(0=occ, V= vki,|ZC), i = 1 to nk, in which nk is the number of particles determined in cell C for the kth iteration.


A support structure for supporting an object during the manufacture of same by means of an additive manufacturing method; method for generating such a structure. This support structure (10) for supporting an object (2) during the manufacture of same by means of an additive manufacturing method, the support structure and the object being manufactured simultaneously, consists of a plurality of horizontal and straight bridges (12), vertical pillars (14) and inclined connectors (16), a bottom end of a pillar resting on a bridge, on a base plane or on a point of a surface of the object, and a top end of a pillar carrying a connector, and a bottom end of a connector resting on the top end of a pillar and the top end of a connector corresponding to a point on the surface of the object or to a point to be supported of a bridge, each bridge being supported at least at each of the two end points of same, either by a connector or by a point of the object, and the pillars and connectors being capable of having a height of zero.


Patent
Massachusetts Institute of Technology, French Institute for Research in Computer Science and Automation | Date: 2017-01-20

The disclosure provides novel large serine recombinases and their respective recognition sites, as well as libraries of orthogonal recombinase recognition sites. Uses of the large serine recombinases, recognition sites, and libraries of orthogonal recombinase recognition sites also are provided.

Loading French Institute for Research in Computer Science and Automation collaborators
Loading French Institute for Research in Computer Science and Automation collaborators