Department

Results: 775307



#Item
1United Stetes Trade Representabve United Stetes Department of Agriculture

United Stetes Trade Representabve United Stetes Department of Agriculture

Add to Reading List

Source URL: www.blw.admin.ch

Language: English
2Using GORE method for Requirement Engineering of Planning & Scheduling Javier Martnez Silva Department of Mechatronics Engineering University of S˜ao Paulo, S˜ao Paulo, Brazil, Professor Morais, 2231

Using GORE method for Requirement Engineering of Planning & Scheduling Javier Martnez Silva Department of Mechatronics Engineering University of S˜ao Paulo, S˜ao Paulo, Brazil, Professor Morais, 2231

Add to Reading List

Source URL: icaps16.icaps-conference.org

Language: English - Date: 2016-06-09 08:09:34
3Poster: Android Collusive Data Leaks with Flow-sensitive DIALDroid Dataset Amiangshu Bosu Fang Liu, Danfeng (Daphne) Yao, Gang Wang  Department of Computer Science

Poster: Android Collusive Data Leaks with Flow-sensitive DIALDroid Dataset Amiangshu Bosu Fang Liu, Danfeng (Daphne) Yao, Gang Wang Department of Computer Science

Add to Reading List

Source URL: www.ieee-security.org

Language: English - Date: 2017-05-05 07:38:02
4DEPARTMENT OF THE TREASURY WASHINGTON, D.CINSPECTOR GENERAL FOR TAX ADMINISTRATION

DEPARTMENT OF THE TREASURY WASHINGTON, D.CINSPECTOR GENERAL FOR TAX ADMINISTRATION

Add to Reading List

Source URL: www.treasury.gov

Language: English - Date: 2018-10-16 12:06:23
5Reachability Analysis of Deep Neural Networks with Provable Guarantees Wenjie Ruan1 , Xiaowei Huang2 , Marta Kwiatkowska1 Department of Computer Science, University of Oxford, UK 2 Department of Computer Science, Univers

Reachability Analysis of Deep Neural Networks with Provable Guarantees Wenjie Ruan1 , Xiaowei Huang2 , Marta Kwiatkowska1 Department of Computer Science, University of Oxford, UK 2 Department of Computer Science, Univers

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2018-05-14 04:41:41
6Extended Abstract: Risk-Sensitive Planning with Dynamic Uncertainty Liana Marinescu Department of Informatics, King’s College London

Extended Abstract: Risk-Sensitive Planning with Dynamic Uncertainty Liana Marinescu Department of Informatics, King’s College London

Add to Reading List

Source URL: icaps16.icaps-conference.org

Language: English - Date: 2016-06-09 08:09:33
7U.S. Department of Justice Criminal Division Office of Assistant Attorney General  Washington, D.C

U.S. Department of Justice Criminal Division Office of Assistant Attorney General Washington, D.C

Add to Reading List

Source URL: www.edoeb.admin.ch

Language: English
8FLAS Tracking Survey Results 2010–14 Cohort International and Foreign Language Education U.S. Department of Education

FLAS Tracking Survey Results 2010–14 Cohort International and Foreign Language Education U.S. Department of Education

Add to Reading List

Source URL: www2.ed.gov

Language: English - Date: 2018-06-06 13:10:39
9The Theory and Practice of Causal Commutative Arrows Hai (Paul) Liu Advisor: Paul Hudak Computer Science Department Yale University

The Theory and Practice of Causal Commutative Arrows Hai (Paul) Liu Advisor: Paul Hudak Computer Science Department Yale University

Add to Reading List

Source URL: thev.net

Language: English - Date: 2011-02-09 02:39:42
10Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps Chang Hwan Peter Kim, Daniel Kroening, and Marta Kwiatkowska Department of Computer Science, University of Oxford, UK

Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps Chang Hwan Peter Kim, Daniel Kroening, and Marta Kwiatkowska Department of Computer Science, University of Oxford, UK

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2016-07-04 05:12:57