NICTA - PDFSEARCH.IO - Document Search Engine

NICTA
Results: 817

#	Item
381	JMLR: Workshop and Conference Proceedings vol[removed]–31 The Geometry of Losses Robert C. Williamson B OB .W ILLIAMSON @ ANU . EDU . AU Australian National University and NICTA, Canberra ACT 0200, Australia Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2014-05-18 19:15:11 Convex function Concave function Convex conjugate Function Proper convex function Convex analysis Mathematical analysis Mathematics
382	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein fun Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Computability theory Programming idioms Theoretical computer science Computer law Copyleft Recursion Creative Commons Lambda calculus Quicksort Computer programming Computing Open content
383	CommunityeEcosystem3.graffle Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-06 06:43:22 Higher education Education Gi-Fi Open Kernel Labs Griffith University University of New South Wales Australian National University University of Melbourne University of Sydney Association of Commonwealth Universities NICTA Academia
384	General Recursion The Choice ➜ Limited expressiveness, automatic termination COMP 4161 NICTA Advanced Course Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Computability theory Programming idioms Theoretical computer science Recursion Mathematical logic Well-founded relation Lambda calculus Quicksort Computer programming Mathematics Computing
385	2012 Collaborative Group winners and merit recipients Successful 2012 iAwards Collaborations & Joint Nominations Category Product/Groups Add to Reading List Source URL: iawards.com.au Language: English - Date: 2014-04-05 23:26:57
386	The Theory and Practice of SALT Andreas Bauer1 and Martin Leucker2 1 NICTA Canberra Research Lab and The Australian National University 2 Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2011-02-20 17:19:51 Logical syntax Logic in computer science Linear temporal logic Model checking Propositional calculus First-order logic Logical connective LTL Proposition Logic Mathematical logic Temporal logic
387	From Stochastic Mixability to Fast Rates Robert C. Williamson Research School of Computer Science Australian National University and NICTA [removed] Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2014-12-10 17:25:04 Fourier analysis Stochastic processes
388	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein λ Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Lambda calculus Computability theory Combinatory logic Natural deduction Function Creative Commons Mathematics Theoretical computer science Mathematical logic
389	Microsoft PowerPoint - NICTA Seminar.ppt [Compatibility Mode] Add to Reading List Source URL: www.egovernmentcluster.com.au Language: English - Date: 2013-03-07 22:30:04 Barack Obama Luo people Civil service reform in developing countries Accountability Cloud computing Open Government Initiative Transparency Ethics Science Politics
390	Composite Binary Losses arXiv:0912.3301v1 [stat.ML] 17 Dec 2009 Mark D. Reid Australian National University and NICTA Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2010-01-13 22:55:12 Bayes estimator Bayesian inference Loss function Statistics Econometrics Estimation theory

UPDATE