Manuel Javier
Manuel Javier Cases-Thomas, Hampshire GB
Patent application number | Description | Published |
---|---|---|
20080207897 | 6-Substituted-2,3,4,5-Tetrahydro-1H-Benzo[D] Azepines as 5-Ht2c Receptro Agonists - The present invention provides 6-substituted 2,3,4,5-tetrahydro- | 08-28-2008 |
20080269196 | 6-Arylalkylamino-2,3,4,5-Tetrahydro-1H-Benzo[D]Azepines as 5-Ht2c Receptor Agonists - The present invention provides 6-substituted 2,3,4,5-tetrahydro-1H-benzo[d]azepines of Formula (I) as selective 5-HT2c receptor agonists for the treatment of 5-HT2c associated disorders including obesity, obsessive/compulsive disorder, depression, and anxiety, where, R6 is —NR10R11, where R10 is substituted phenylalkyl or substituted pyridylalkyl and other substituents are as defined in the specification. | 10-30-2008 |
Manuel Javier Cases-Thomas, Reading GB
Patent application number | Description | Published |
---|---|---|
20110269745 | 6-ARYLALKYLAMINO-2,3,4,5-TETRAHYDRO-1H-BENZO[d]AZEPINES AS 5-HT2C RECEPTOR AGONISTS - The present invention provides 6-substituted 2,3,4,5-tetrahydro-1H-benzo[d]azepines of Formula (I) as selective 5-HT2c receptor agonists for the treatment of 5-HT2c associated disorders including obesity, obsessive/compulsive disorder, depression, and anxiety, where, R6 is —NR10R11, where R10 is substituted phenylalkyl or substituted pyridylalkyl and other substituents are as defined in the specification. | 11-03-2011 |
Manuel Javier Cestari Soto, Arganda Del Rey (madrid) ES
Patent application number | Description | Published |
---|---|---|
20150265490 | WALKER COMPRISING MECHANISM FOR ASSISTING A USER IN STANDING AND SITTING OPERATIONS | 09-24-2015 |
Manuel Javier Cestari Soto, Madrid ES
Patent application number | Description | Published |
---|---|---|
20160136031 | ARTICULATION WITH CONTROLLABLE STIFFNESS AND FORCE-MEASURING DEVICE - The subject matter of the invention is an articulation ( | 05-19-2016 |
Manuel Javier Valdiviezo Basauri, Brisbane AU
Patent application number | Description | Published |
---|---|---|
20120233599 | EFFICIENT MODEL CHECKING TECHNIQUE FOR FINDING SOFTWARE DEFECTS - A method for detecting defects in a computer program. The method steps include obtaining source code and a potential defect definition; identifying, based on the potential defect definition, a set of program objects associated with a potential defect in the source code; extracting an executable program slice having the potential defect from the source code; generating, by a processor, an abstracted model of the program slice by: modeling, using data abstraction, the set of program objects as data-abstracted variables, identifying, within the program slice, a set of control statements including predicates necessary for evaluating the set of control statements, modeling, using predicate abstraction, the predicates as predicate-abstracted Boolean variables, and creating, based on the data-abstracted variables and the predicate-abstracted Boolean variables, a finite state machine (FSM) model of the program slice; and identifying an error state of the FSM indicating an occurrence of the potential defect within the program slice. | 09-13-2012 |