Juan Carlos Ochoa

Array ( [id] => 5220955 [patent_doc_number] => 20070162267 [patent_country] => US [patent_kind] => A1 [patent_issue_date] => 2007-07-12 [patent_title] => 'Method and apparatus for treating moving boundaries in multi-cell computer models of fluid dynamic systems' [patent_app_type] => utility [patent_app_number] => 11/318633 [patent_app_country] => US [patent_app_date] => 2005-12-28 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 5 [patent_figures_cnt] => 5 [patent_no_of_words] => 4176 [patent_no_of_claims] => 20 [patent_no_of_ind_claims] => 2 [patent_words_short_claim] => 0 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => publication [pdf_file] => publications/A1/0162/20070162267.pdf [firstpage_image] =>[orig_patent_app_number] => 11318633 [rel_patent_id] =>[rel_patent_doc_number] =>)

Array ( [id] => 5121380 [patent_doc_number] => 20070143095 [patent_country] => US [patent_kind] => A1 [patent_issue_date] => 2007-06-21 [patent_title] => 'Run-time tunable sample time in programming or modeling environments' [patent_app_type] => utility [patent_app_number] => 11/305907 [patent_app_country] => US [patent_app_date] => 2005-12-19 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 7 [patent_figures_cnt] => 7 [patent_no_of_words] => 5637 [patent_no_of_claims] => 38 [patent_no_of_ind_claims] => 4 [patent_words_short_claim] => 0 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => publication [pdf_file] => publications/A1/0143/20070143095.pdf [firstpage_image] =>[orig_patent_app_number] => 11305907 [rel_patent_id] =>[rel_patent_doc_number] =>)

Array ( [id] => 279626 [patent_doc_number] => 07558710 [patent_country] => US [patent_kind] => B1 [patent_issue_date] => 2009-07-07 [patent_title] => 'System and method for programmatically abstracting model components' [patent_app_type] => utility [patent_app_number] => 11/296940 [patent_app_country] => US [patent_app_date] => 2005-12-08 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 10 [patent_figures_cnt] => 11 [patent_no_of_words] => 4532 [patent_no_of_claims] => 39 [patent_no_of_ind_claims] => 3 [patent_words_short_claim] => 96 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => patent [pdf_file] => patents/07/558/07558710.pdf [firstpage_image] =>[orig_patent_app_number] => 11296940 [rel_patent_id] =>[rel_patent_doc_number] =>)

Array ( [id] => 5633045 [patent_doc_number] => 20060149516 [patent_country] => US [patent_kind] => A1 [patent_issue_date] => 2006-07-06 [patent_title] => 'Physics simulation apparatus and method' [patent_app_type] => utility [patent_app_number] => 11/292788 [patent_app_country] => US [patent_app_date] => 2005-12-02 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 33 [patent_figures_cnt] => 33 [patent_no_of_words] => 21352 [patent_no_of_claims] => 37 [patent_no_of_ind_claims] => 10 [patent_words_short_claim] => 0 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => publication [pdf_file] => publications/A1/0149/20060149516.pdf [firstpage_image] =>[orig_patent_app_number] => 11292788 [rel_patent_id] =>[rel_patent_doc_number] =>)

Array ( [id] => 5716709 [patent_doc_number] => 20060080072 [patent_country] => US [patent_kind] => A1 [patent_issue_date] => 2006-04-13 [patent_title] => 'Optimized rendering of dynamic moving bodies' [patent_app_type] => utility [patent_app_number] => 11/286014 [patent_app_country] => US [patent_app_date] => 2005-11-22 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 5 [patent_figures_cnt] => 5 [patent_no_of_words] => 8639 [patent_no_of_claims] => 35 [patent_no_of_ind_claims] => 4 [patent_words_short_claim] => 0 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => publication [pdf_file] => publications/A1/0080/20060080072.pdf [firstpage_image] =>[orig_patent_app_number] => 11286014 [rel_patent_id] =>[rel_patent_doc_number] =>)

Array ( [id] => 4591044 [patent_doc_number] => 07835898 [patent_country] => US [patent_kind] => B2 [patent_issue_date] => 2010-11-16 [patent_title] => 'Satisfiability (SAT) based bounded model checkers' [patent_app_type] => utility [patent_app_number] => 11/285338 [patent_app_country] => US [patent_app_date] => 2005-11-22 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 3 [patent_figures_cnt] => 6 [patent_no_of_words] => 2986 [patent_no_of_claims] => 2 [patent_no_of_ind_claims] => 2 [patent_words_short_claim] => 40 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => patent [pdf_file] => patents/07/835/07835898.pdf [firstpage_image] =>[orig_patent_app_number] => 11285338 [rel_patent_id] =>[rel_patent_doc_number] =>)

Array ( [id] => 5143464 [patent_doc_number] => 20070005680 [patent_country] => US [patent_kind] => A1 [patent_issue_date] => 2007-01-04 [patent_title] => 'Method and apparatus for quantifying an impact of a disaster on a network' [patent_app_type] => utility [patent_app_number] => 11/238919 [patent_app_country] => US [patent_app_date] => 2005-09-29 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 10 [patent_figures_cnt] => 10 [patent_no_of_words] => 14042 [patent_no_of_claims] => 33 [patent_no_of_ind_claims] => 7 [patent_words_short_claim] => 0 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => publication [pdf_file] => publications/A1/0005/20070005680.pdf [firstpage_image] =>[orig_patent_app_number] => 11238919 [rel_patent_id] =>[rel_patent_doc_number] =>)

Array ( [id] => 5056185 [patent_doc_number] => 20070059107 [patent_country] => US [patent_kind] => A1 [patent_issue_date] => 2007-03-15 [patent_title] => 'Slab-on-ground foundation design method' [patent_app_type] => utility [patent_app_number] => 11/221878 [patent_app_country] => US [patent_app_date] => 2005-09-09 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 11 [patent_figures_cnt] => 11 [patent_no_of_words] => 5153 [patent_no_of_claims] => 29 [patent_no_of_ind_claims] => 3 [patent_words_short_claim] => 0 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => publication [pdf_file] => publications/A1/0059/20070059107.pdf [firstpage_image] =>[orig_patent_app_number] => 11221878 [rel_patent_id] =>[rel_patent_doc_number] =>)

Array ( [id] => 5184133 [patent_doc_number] => 20070055487 [patent_country] => US [patent_kind] => A1 [patent_issue_date] => 2007-03-08 [patent_title] => 'Forming statistical model of independently variable parameters for timing analysis' [patent_app_type] => utility [patent_app_number] => 11/219205 [patent_app_country] => US [patent_app_date] => 2005-09-02 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 8 [patent_figures_cnt] => 8 [patent_no_of_words] => 5967 [patent_no_of_claims] => 30 [patent_no_of_ind_claims] => 4 [patent_words_short_claim] => 0 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => publication [pdf_file] => publications/A1/0055/20070055487.pdf [firstpage_image] =>[orig_patent_app_number] => 11219205 [rel_patent_id] =>[rel_patent_doc_number] =>)

Array ( [id] => 7552790 [patent_doc_number] => 08065131 [patent_country] => US [patent_kind] => B2 [patent_issue_date] => 2011-11-22 [patent_title] => 'Configurable system and method for power and process plant modeling' [patent_app_type] => utility [patent_app_number] => 11/193698 [patent_app_country] => US [patent_app_date] => 2005-07-29 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 7 [patent_figures_cnt] => 7 [patent_no_of_words] => 3662 [patent_no_of_claims] => 20 [patent_no_of_ind_claims] => 3 [patent_words_short_claim] => 224 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => patent [pdf_file] => patents/08/065/08065131.pdf [firstpage_image] =>[orig_patent_app_number] => 11193698 [rel_patent_id] =>[rel_patent_doc_number] =>)

Array ( [id] => 7981833 [patent_doc_number] => 08073672 [patent_country] => US [patent_kind] => B2 [patent_issue_date] => 2011-12-06 [patent_title] => 'Managing communication bandwidth in co-verification of circuit designs' [patent_app_type] => utility [patent_app_number] => 11/176002 [patent_app_country] => US [patent_app_date] => 2005-07-06 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 10 [patent_figures_cnt] => 11 [patent_no_of_words] => 5959 [patent_no_of_claims] => 33 [patent_no_of_ind_claims] => 8 [patent_words_short_claim] => 131 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => patent [pdf_file] => patents/08/073/08073672.pdf [firstpage_image] =>[orig_patent_app_number] => 11176002 [rel_patent_id] =>[rel_patent_doc_number] =>)

Array ( [id] => 7253518 [patent_doc_number] => 20050273304 [patent_country] => US [patent_kind] => A1 [patent_issue_date] => 2005-12-08 [patent_title] => 'Methods for evaluating and improving drilling operations' [patent_app_type] => utility [patent_app_number] => 11/137713 [patent_app_country] => US [patent_app_date] => 2005-05-25 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 13 [patent_figures_cnt] => 13 [patent_no_of_words] => 6670 [patent_no_of_claims] => 20 [patent_no_of_ind_claims] => 9 [patent_words_short_claim] => 0 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => publication [pdf_file] => publications/A1/0273/20050273304.pdf [firstpage_image] =>[orig_patent_app_number] => 11137713 [rel_patent_id] =>[rel_patent_doc_number] =>)

Array ( [id] => 7234169 [patent_doc_number] => 20050262456 [patent_country] => US [patent_kind] => A1 [patent_issue_date] => 2005-11-24 [patent_title] => 'Verifying one or more properties of a design using SAT-based BMC' [patent_app_type] => utility [patent_app_number] => 11/119489 [patent_app_country] => US [patent_app_date] => 2005-04-29 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 3 [patent_figures_cnt] => 3 [patent_no_of_words] => 6270 [patent_no_of_claims] => 41 [patent_no_of_ind_claims] => 9 [patent_words_short_claim] => 0 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => publication [pdf_file] => publications/A1/0262/20050262456.pdf [firstpage_image] =>[orig_patent_app_number] => 11119489 [rel_patent_id] =>[rel_patent_doc_number] =>)

Array ( [id] => 7067704 [patent_doc_number] => 20050243087 [patent_country] => US [patent_kind] => A1 [patent_issue_date] => 2005-11-03 [patent_title] => 'GPU-based Finite Element' [patent_app_type] => utility [patent_app_number] => 11/115642 [patent_app_country] => US [patent_app_date] => 2005-04-27 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 6 [patent_figures_cnt] => 6 [patent_no_of_words] => 4753 [patent_no_of_claims] => 13 [patent_no_of_ind_claims] => 3 [patent_words_short_claim] => 0 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => publication [pdf_file] => publications/A1/0243/20050243087.pdf [firstpage_image] =>[orig_patent_app_number] => 11115642 [rel_patent_id] =>[rel_patent_doc_number] =>)

Array ( [id] => 5620694 [patent_doc_number] => 20060190228 [patent_country] => US [patent_kind] => A1 [patent_issue_date] => 2006-08-24 [patent_title] => 'Method for modeling and testing a security system' [patent_app_type] => utility [patent_app_number] => 11/112437 [patent_app_country] => US [patent_app_date] => 2005-04-22 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 4 [patent_figures_cnt] => 4 [patent_no_of_words] => 4655 [patent_no_of_claims] => 25 [patent_no_of_ind_claims] => 3 [patent_words_short_claim] => 0 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => publication [pdf_file] => publications/A1/0190/20060190228.pdf [firstpage_image] =>[orig_patent_app_number] => 11112437 [rel_patent_id] =>[rel_patent_doc_number] =>)

Array ( [id] => 5701263 [patent_doc_number] => 20060217948 [patent_country] => US [patent_kind] => A1 [patent_issue_date] => 2006-09-28 [patent_title] => 'Component for a simulation tool' [patent_app_type] => utility [patent_app_number] => 11/086231 [patent_app_country] => US [patent_app_date] => 2005-03-23 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 8 [patent_figures_cnt] => 8 [patent_no_of_words] => 4423 [patent_no_of_claims] => 19 [patent_no_of_ind_claims] => 4 [patent_words_short_claim] => 0 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => publication [pdf_file] => publications/A1/0217/20060217948.pdf [firstpage_image] =>[orig_patent_app_number] => 11086231 [rel_patent_id] =>[rel_patent_doc_number] =>)

Array ( [id] => 136791 [patent_doc_number] => 07698111 [patent_country] => US [patent_kind] => B2 [patent_issue_date] => 2010-04-13 [patent_title] => 'Method and apparatus for computational analysis' [patent_app_type] => utility [patent_app_number] => 11/076131 [patent_app_country] => US [patent_app_date] => 2005-03-09 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 13 [patent_figures_cnt] => 23 [patent_no_of_words] => 5465 [patent_no_of_claims] => 16 [patent_no_of_ind_claims] => 2 [patent_words_short_claim] => 70 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => patent [pdf_file] => patents/07/698/07698111.pdf [firstpage_image] =>[orig_patent_app_number] => 11076131 [rel_patent_id] =>[rel_patent_doc_number] =>)

Array ( [id] => 5706262 [patent_doc_number] => 20060195310 [patent_country] => US [patent_kind] => A1 [patent_issue_date] => 2006-08-31 [patent_title] => 'Efficient clock models and their use in simulation' [patent_app_type] => utility [patent_app_number] => 11/069616 [patent_app_country] => US [patent_app_date] => 2005-02-28 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 6 [patent_figures_cnt] => 6 [patent_no_of_words] => 4142 [patent_no_of_claims] => 21 [patent_no_of_ind_claims] => 3 [patent_words_short_claim] => 0 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => publication [pdf_file] => publications/A1/0195/20060195310.pdf [firstpage_image] =>[orig_patent_app_number] => 11069616 [rel_patent_id] =>[rel_patent_doc_number] =>)

Array ( [id] => 5620695 [patent_doc_number] => 20060190229 [patent_country] => US [patent_kind] => A1 [patent_issue_date] => 2006-08-24 [patent_title] => 'METHOD OF MODELING A PORTION OF AN ELECTRICAL CIRCUIT USING A POLE-ZERO APPROXIMATION OF AN S-PARAMETER TRANSFER FUNCTION OF THE CIRCUIT PORTION' [patent_app_type] => utility [patent_app_number] => 10/906509 [patent_app_country] => US [patent_app_date] => 2005-02-23 [patent_effective_date] => 0000-00-00 [patent_drawing_sheets_cnt] => 12 [patent_figures_cnt] => 12 [patent_no_of_words] => 4853 [patent_no_of_claims] => 20 [patent_no_of_ind_claims] => 3 [patent_words_short_claim] => 0 [patent_maintenance] => 1 [patent_no_of_assignments] => 0 [patent_current_assignee] =>[type] => publication [pdf_file] => publications/A1/0190/20060190229.pdf [firstpage_image] =>[orig_patent_app_number] => 10906509 [rel_patent_id] =>[rel_patent_doc_number] =>)