Tab navigation
- Zurich research areas
- Haifa research areas- selected tab,
| Ref. code | |
|---|---|
| H-2013-01 | Algorithmic game theory |
| H-2013-02 | Analog and mixed signal technologies |
| H-2013-03 | Business integration |
| H-2013-04 | Business transformation & optimization |
| H-2013-05 | Case management |
| H-2013-06 | Clinical genomics analysis |
| H-2013-07 | Cloud platforms |
| H-2013-08 | Constraint satisfaction algorithms |
| H-2013-09 | Cloud and distributed middleware |
| H-2013-10 | Event processing |
| H-2013-11 | Formal technologies |
| H-2013-12 | Information privacy and security |
| H-2013-13 | Information retrieval |
| H-2013-14 | Machine learning |
| H-2013-15 | Medical informatics |
| H-2013-16 | Messaging technologies |
| H-2013-17 | Mobile application platform |
| H-2013-18 | Model checking |
| H-2013-19 | Multimedia analytics |
| H-2013-20 | Operating systems |
| H-2013-21 | Performance analysis |
| H-2013-22 | Social technologies |
| H-2013-23 | Software testing |
| H-2013-24 | Storage |
| H-2013-25 | Verification technologies |
| Ref. code | |
|---|---|
| H-2013-26 | Advanced timing debug environment |
| H-2013-27 | Analog and RFIC design |
| H-2013-28 | Analyzing of the correlation between architectural and implementation coverage |
| H-2013-29 | Audio/speech analysis and classification |
| H-2013-30 | Automatic failure classification |
| H-2013-31 | Constraint satisfaction problems (CSPs) |
| H-2013-32 | Designing for efficient Boolean function computation on FPGA |
| H-2013-33 | Designing for infrastructure for FPGA programming |
| H-2013-34 | Designing quality assessment and bug prediction |
| H-2013-35 | Faster program execution through ambitious code-motion transformations |
| H-2013-36 | FPGA programming to solve CSP problems |
| H-2013-37 | Machine learning |
| H-2013-38 | Refactoring tool to remove side effects from Java expressions |
| H-2013-39 | Test-templates grading |
| H-2013-40 | Video analytics |