Zaher
Zaher Abdel Baki, Toulouse FR
Patent application number | Description | Published |
---|---|---|
20160031764 | USE OF ACYLATED CARBONIC ESTERS OF GLYCEROL IN AGRICULTURE - A process for treating plants, including the application of at least one compound, termed carbonic ester of glycerol, including at least one carboxylic ester function formed by a carbonic acid-derived group and at least one glycerol-derived group, with the exception of cyclic glyceryl carbonate including five ring members. | 02-04-2016 |
20160031794 | ORGANIC OLIGOMERS OF ACYLGLYCEROL - Organic oligomers of acylglycerol having general formula (I): Formula (I), in which M1 and Q1 are organic groups; G11 is a hydroxylpropyl group; G12 and G13 are α/α′-acylglycerols; n is a natural integer from the range [0; 8]; m is a natural integer from the range [0; 4]; and p is a natural integer from the range [0; 3]. | 02-04-2016 |
Zaher Al-Sheikh, Sterling Heights, MI US
Patent application number | Description | Published |
---|---|---|
20090100728 | USER AUTHORIZATION SYSTEM CONTAINING A USER IMAGE - A user authorization system including printing a human cognizable digital image of a user onto an article. The article being a bracelet, a pass key, a placard, a legal citation, a vehicle rental agreement and a tag. The human cognizable image optionally being stored in a computer memory in combination with personal user information, the memory to be accessed to verify user authorization. | 04-23-2009 |
Zaher Andraus, Ann Arbor, MI US
Patent application number | Description | Published |
---|---|---|
20100306308 | SCALABLE SYSTEM FOR RESOURCE MANAGEMENT AND/OR RESOURCE ALLOCATION BASED ON ONLINE CONSTRAINT SATISFACTION SOLVING - A system comprising a first module and a second module. The first module may be configured to generate (i) a first set of data stored internally and (ii) a second set of data configured to be processed externally, each in response to an input signal. The second set of data may contain information about a problem to be solved without disclosing confidential information. The second module may be configured to (i) process said second set of data internally when in a first mode and (ii) distribute the second set of data to one or more external processors when in a second mode. | 12-02-2010 |
20130145328 | AUTOMATED SCALABLE VERIFICATION FOR HARDWARE DESIGNS AT THE REGISTER TRANSFER LEVEL - A system and methods are provided for verifying a hardware design for an electronic circuit. The method may include: providing a hardware design description for the electronic circuit; extracting a set of design constraints from the hardware design description, where the set of design constraints represents the electronic circuit in terms of signals and logical operations performed on the signals; creating an abstraction model from the set of design constraints, where the abstraction model abstracts one or more of the logical operations in the set of design constraints by replacing the abstracted logical operations with uninterpreted functions; and property checking the abstraction model in relation to one or more design properties. When a violation in the electronic circuit is detected by the property checking step, the feasibility of the violation is then checked and, if the violation is deemed infeasible, the abstraction model is refined. | 06-06-2013 |
Zaher Andraus, San Jose, CA US
Patent application number | Description | Published |
---|---|---|
20140157217 | SEQUENTIAL NON-DETERMINISTIC DETECTION IN HARDWARE DESIGN - The use of X's in RTL design is widely common for improving synthesis results and, in some cases, verification effectiveness. However, it has certain implications on verification completeness. Human design error or flawed synthesis may lead to undesirable non-determinism on design outputs, not always detected consistently by simulators. This disclosure presents a framework for formalizing observable behavior on digital design output, and a proof methodology for detecting non-determinism or proving correctness with respect to observable X, using a model checker. | 06-05-2014 |
20150347639 | SEQUENTIAL NON-DETERMINISTIC DETECTION IN HARDWARE DESIGN - The use of X's in RTL design is widely common for improving synthesis results and, in some cases, verification effectiveness. However, it has certain implications on verification completeness. Human design error or flawed synthesis may lead to undesirable non-determinism on design outputs, not always detected consistently by simulators. This disclosure presents a framework for formalizing observable behavior on digital design output, and a proof methodology for detecting non-determinism or proving correctness with respect to observable X, using a model checker. | 12-03-2015 |
Zaher Baidas, Kanata CA
Patent application number | Description | Published |
---|---|---|
20090154484 | SCALEABLE VOIP TELEPHONE LINE CIRCUIT - A telephone subscriber line device for providing an interface between a legacy telephone circuit based on circuit-switched technology and a packet network has a legacy interface for connection to telephone circuit; a packet interface for connection to a packet network, processing circuitry for converting between legacy telephone signals and packet signals, and a cascadable expansion bus permitting multiple said devices to be connected to a common port on a packet network. Such a device is highly scalable. | 06-18-2009 |
Zaher El Chami, Paris FR
Patent application number | Description | Published |
---|---|---|
20130103798 | LAUNCHING SESSIONS ON A COMMUNICATION SERVER - A method for creating a plurality of multimedia sessions between a first user and a second user, a first multimedia session being set up between the first and second users via a first server. The method comprises the following steps implemented by a second server: receiving a connection request from a first terminal of the first user comprising an identifier of the first user; transmitting the identifier of the first user to the first server in order to request at least an identifier of a user sharing the first multimedia session with the first user via the first server; receiving from the first server at least an identifier of said second user; and creating a second multimedia session between the first terminal of the first user and a second terminal of the second user via the second server. | 04-25-2013 |
20130318378 | SELF-CONTAINED METHOD AND DEVICE FOR MANAGING A FIRST ELECTRONIC APPARATUS - Disclosed herein is a self-contained method and device for managing a first electronic apparatus. Said first electronic apparatus is, in particular, a first electronic multimedia apparatus connected via an HDMI interface to a second electronic apparatus consisting of a playback apparatus. A self-contained method for managing a first electronic apparatus is provided. The first electronic apparatus is connected to at least one second electronic apparatus such that said first electronic apparatus provides data to the second electronic apparatus, said data being usable by said second electronic apparatus. The self-contained management method comprises a CMD_TRG triggering, by said first electronic apparatus, of a control of said first electronic apparatus, in accordance with activity data da2 of at least one second electronic apparatus from among said second electronic apparatus(es). | 11-28-2013 |
Zaher El Zahab, Orlando, FL US
Patent application number | Description | Published |
---|---|---|
20140260286 | LOCALIZED FLUE GAS DILUTION IN HEAT RECOVERY STEAM GENERATOR - A heat recovery steam generator (HRSG) ( | 09-18-2014 |
Zaher Faraj, Ridgefield, NJ US
Patent application number | Description | Published |
---|---|---|
20100294414 | Device and System to apply faceted beads - This invention is a personal bead attachment device. It consists of a base with a hot plate, a piston arm, a piston holder, spring and piston forming a pressure handle. There is a power source and a laser light from the piston. The user of the bead attachment device will plug it in and turn machine and laser light on from the back of the machine, in about 30 second the plate should be hot and ready to use. The user will place the fabric on top of the hot plate and place a bead on the top of fabric, the laser dot will tell the user the exact position of where the bead will be adhered. | 11-25-2010 |
20130105065 | Device and System to apply faceted beads | 05-02-2013 |
Zaher Hashisho, Edmonton CA
Patent application number | Description | Published |
---|---|---|
20110312485 | METHOD FOR PREPARATION OF ACTIVATED CARBON - A method of preparing activated carbon, is disclosed, comprising: exposing carbonaceous material to microwave radiation in the presence of water to produce activated carbon. | 12-22-2011 |
Zaher Judeh, Singapore SG
Patent application number | Description | Published |
---|---|---|
20130035419 | METHODS FOR DISPERSING CARBON NANOTUBES AND COMPOSITIONS USED FOR THE METHODS - The present invention refers to a method of dispersing carbon nanotubes in a thermosetting resin. The method comprises: (a) contacting the carbon nanotubes with a dispersant in a solvent to form a dispersion mixture, wherein the dispersant is a graft polymer comprising a polymeric backbone and a side chain grafted to the polymeric backbone; and (b) adding the thermosetting resin to the dispersion solution to form a resin blend. The present invention also refers to a composition used for the method. | 02-07-2013 |