Programs - PDFSEARCH.IO - Document Search Engine

Programs
Results: 115783

#	Item
21	U.S. Department of Education International Education Programs Service Access to the World and Its Languages The mission of the International Education Programs Service (IEPS) is to meet the national needs for expertise Add to Reading List Source URL: www2.ed.gov Language: English - Date: 2007-01-19 12:04:16 Education Fulbright Scholars Bureau of Educational and Cultural Affairs Student exchange Fulbright Program United States Department of State Learning Master of Business Administration Fulbright Commission Belgium
22	Verification of Programs by Combining Iterated Specialization with Interpolation E. De Angelis and F. Fioravanti J. A. Navas Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Declarative programming Software engineering Theoretical computer science Constraint programming Logic programming Programming paradigms Formal methods Constraint logic programming Loop invariant Interpolation Abstract interpretation CLP
23	FYProgram Administration Manual for the NRC and FLAS Programs (PDF) Add to Reading List Source URL: www2.ed.gov Language: English - Date: 2016-03-01 16:43:03 Federal assistance in the United States Foreign Language Area Studies Language education in the United States Student financial aid Federal grants in the United States Administration of federal assistance in the United States Education Public sector Money
24	Native Offload of Haskell Repa Programs to Integrated GPUs Hai Liu Laurence E. Day Neal Glew Add to Reading List Source URL: thev.net Language: English - Date: 2014-07-02 20:23:04 Computing Computer architecture Concurrent computing Parallel computing GPGPU Graphics hardware OpenCL General-purpose computing on graphics processing units Graphics processing unit Compute kernel CUDA Hardware acceleration
25	Numerical Accuracy Improvement of programs: Principles and Experiments Nasrine Damouche 1, Matthieu Martel Add to Reading List Source URL: perso.univ-perp.fr Language: English - Date: 2018-01-15 07:35:43 M-estimators Estimator Maximum likelihood estimation
26	Machine Learning for Programs Martin Vechev Pavol Bielik Department of Computer Science Add to Reading List Source URL: files.sri.inf.ethz.ch Language: English - Date: 2018-09-05 10:57:47 Computing Application software Computer science Machine learning Conditional random field Symposium on Principles of Programming Languages Programming Language Design and Implementation R Structured prediction
27	Automatic Verification of RMA Programs via Abstraction Extrapolation Cedric Baumann1 , Andrei Marian Dan1 , Yuri Meshman2 , Torsten Hoefler1 , and Martin Vechev1 1 Add to Reading List Source URL: practicalsynthesis.github.io Language: English - Date: 2018-01-15 09:26:26 Mathematical logic Logic Mathematics Predicate logic Formal methods Quantification Predicate Propositional calculus Quantifier FO Satisfiability modulo theories Predicate transformer semantics
28	Media Release For immediate release: April 19, 2018 Contact: Nicole Ishmael, Highest Honor for Emergency Management Awarded to Nine Programs Newport, RI. – Congratulations to the following Emergency Mana Add to Reading List Source URL: www.emap.org Language: English - Date: 2018-04-19 13:54:10 Disaster preparedness Emergency management Humanitarian aid Occupational safety and health Commission on Accreditation for Law Enforcement Agencies
29	Salsa: An Automatic Tool to Improve the Numerical Accuracy of Programs Nasrine Damouche and Matthieu Martel LAMPS Laboratory University of Perpignan, 52 Avenue Paul Alduy, Add to Reading List Source URL: perso.univ-perp.fr Language: English - Date: 2018-01-15 07:35:42 Computing Software engineering Mathematics Functions and mappings Abstract interpretation Variable Limit of a function Derivative Combinatory logic Scala Exponentiation Integral
30	An Algorithmic Framework for Synthesis of Concurrent Programs E. Allen Emerson and Roopsha Samanta Dept. of Computer Science and Computer Engineering Research Centre, University of Texas, Austin, TX 78712, USA. {emerson, Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-07-15 23:00:36 Concurrency control Computing Edsger W. Dijkstra Concurrent computing Computer programming Concurrency Transaction processing Synchronization Lock Monitor Parallel computing Granularity

UPDATE