Department - PDFSEARCH.IO - Document Search Engine

Department
Results: 775307

#	Item
71	Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2012-01-06 05:40:55 Mathematics Mathematical analysis Temporal logic Computation tree logic Logic in computer science Distribution Symbol Constructible universe Linear temporal logic Craig interpolation
72	Visualizing statistical models: Removing the blindfold Hadley Wickham, Dianne Cook and Heike Hofmann Department of Statistics MSMain St Houston TXe-mail: Add to Reading List Source URL: vita.had.co.nz Language: English - Date: 2016-07-21 16:13:20 Statistical classification Statistics Probability and statistics Mathematics Support vector machine Predictive modelling K-nearest neighbors algorithm Mathematical model Data analysis Spatial analysis Regression analysis Artificial neural network
73	Efficient Interpolation for the Theory of Arrays (work in progress) Jochen Hoenicke and Tanja Schindler∗ Department of Computer Science, University of Freiburg Add to Reading List Source URL: smt-workshop.cs.uiowa.edu Language: English - Date: 2017-09-02 14:08:49 Software engineering Computer programming Computing Interpolation Video Video signal Craig interpolation Pure Foreach loop
74	Formal Development of a Graphical User Interface for a Radiation Therapy Machine Jonathan Jacky Jonathan Unger Radiation Oncology Department RC-08 University of Washington Add to Reading List Source URL: staff.washington.edu Language: English - Date: 2015-02-13 18:58:52 Humancomputer interaction User interface techniques Human behavior Software architecture Computing Computer User interface Graphical user interface
75	Learning a Static Analyzer from Data Pavol Bielik, Veselin Raychev, and Martin Vechev Department of Computer Science, ETH Z¨ urich, Switzerland {pavol.bielik, veselin.raychev, martin.vechev}@inf.ethz.ch Add to Reading List Source URL: files.sri.inf.ethz.ch Language: English - Date: 2018-09-05 10:55:58 Applied mathematics Cognition Cybernetics Learning Machine learning Artificial neural network Analysis Algorithm Mathematics
76	TRADITION SEF, Inc. Scot J. Halvorsen Senior Regulatory Counsel and Secretary Legal Department Add to Reading List Source URL: www.traditionsef.com Language: English - Date: 2018-08-15 15:51:43 Futures markets Commodity Futures Trading Commission CFTC Futures contract SEF Finance Money Swap Execution Facility
77	Department of the Treasury Financial Crimes Enforcement Network Advisory FIN-2010-A014 Issued: November 23, 2010 Subject: Maintaining the Confidentiality of Suspicious Activity Reports Add to Reading List Source URL: www.fincen.gov Language: English - Date: 2016-07-15 16:33:19 Economy Financial regulation Money laundering Bank Secrecy Act Suspicious activity report Financial services Terrorism Government Financial Crimes Enforcement Network Confidentiality SAR Patriot Act Title III Subtitle B
78	Approximate Partial Order Reduction? Chuchu Fan, Zhenqi Huang, and Sayan Mitra University of Illinois at Urbana-Champaign, ECE Department {cfan10, zhuang25, mitras}@illinois.edu Abstract. We present a new partial order Add to Reading List Source URL: mitras.ece.illinois.edu Language: English - Date: 2018-09-21 21:52:10 Mathematical analysis Mathematics Symbol Continuous function Kazhdan's property Limit of a function Ergodic theory Hopf decomposition Ergodic flow
79	State Department photo A Youth Exchange program participant from Egypt with her U.S. host sister. Diplomacy in Action Add to Reading List Source URL: 2009-2017.state.gov Language: English - Date: 2018-05-22 17:27:41 United States Department of State International relations Government Global politics Foreign relations of the United States Propaganda in the United States Public diplomacy of the United States Transformational Diplomacy Foreign policy of the United States Ambassadors of the United States Terrorism United States Agency for International Development
80	Critical Thinking in Context: Practice at an American Liberal Arts University in Egypt Author: Maha Ayham Bali Mohamed Bali For the degree of: PhD Department: School of Education Add to Reading List Source URL: etheses.whiterose.ac.uk Language: English - Date: 2013-10-26 13:12:29 Education Learning Cognition English as a global language The American University in Cairo Critical thinking Curriculum Rhetoric