Research center - PDFSEARCH.IO - Document Search Engine

Research center
Results: 44176

#	Item
1	1 PEW RESEARCH CENTER PEW RESEARCH CENTER FINAL TOPLINE December 7, 2016-January 15, 2017 N=1001 Add to Reading List Source URL: www.pewhispanic.org Language: English - Date: 2018-09-13 15:11:06 Lawful permanent residents Residency
2	CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees Thomas Bauereiß∗ , Armando Pesenti Gritti† , Andrei Popescu‡§ , Franco Raimondi‡ ∗ German Research Center for A Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-04-03 15:56:37
3	1 Annotation inference for modular checkers Cormac Flanagan, Rajeev Joshi, and K. Rustan M. Leino Compaq Systems Research Center, 130 Lytton Ave., Palo Alto, CA 94301, U.S.A. Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:26:03 Software engineering Formal methods Mathematical logic Type theory Theoretical computer science Type systems Edsger W. Dijkstra Predicate transformer semantics Extended static checking ESC/Java Type inference HindleyMilner type system
4	Trading Bitcoin and Online Time Series Prediction Muhammad J Amjad Operations Research Center Add to Reading List Source URL: devavrat.mit.edu Language: English - Date: 2017-10-12 17:24:58 Economy Statistical theory Time series models Probability and statistics Machine learning Alternative currencies Cryptocurrencies Digital currencies BoxJenkins method Forecasting Bitcoin Cross-validation
5	National Center for Atmospheric Research Quality Assurance and Error Identification for the Community Earth System Model Allison Baker Add to Reading List Source URL: correctness-workshop.github.io Language: English - Date: 2017-11-14 22:52:13 Climate modeling Physical oceanography Community Earth System Model Application software Software quality MX
6	1 PEW RESEARCH CENTER 2018 PEW RESEARCH CENTER’S AMERICAN TRENDS PANEL WAVE 38 September 24-October 7, 2018 Add to Reading List Source URL: www.people-press.org Language: English - Date: 2018-10-18 13:28:55 Dear Hank & John Operation Relex
7	Microsoft Word - Pew Research Center Democracy Report FINAL Add to Reading List Source URL: www.pewglobal.org Language: English - Date: 2018-09-13 15:08:21 Culture Television in South Korea 100% Hits Mass media Astronomy Day
8	DR. ALBERTO DAINOTTI Assistant Research Scientist, Center for Applied Internet Data Analysis (CAIDA) San Diego Supercomputer Center, University of California San Diego http://www.caida.org/~alberto/ --- Add to Reading List Source URL: www.caida.org Language: English - Date: 2018-09-01 18:34:06 Computing SIGCOMM Computer science ACM/IEEE Supercomputing Conference Information and communications technology Information-centric networking Don Towsley
9	1 PEW RESEARCH CENTER PEW RESEARCH CENTER SEPTEMBER 2018 POLITICAL SURVEY FINAL TOPLINE SEPTEMBER 18-24, 2018 Add to Reading List Source URL: www.people-press.org Language: English - Date: 2018-10-04 16:16:54 Geography of Denmark UN/LOCODE UN/LOCODE:DK Royal Family Order of Selangor
10	IKOS: A Framework for Static Analysis based on Abstract Interpretation (Tool Paper) Guillaume Brat, Jorge A. Navas, Nija Shi, and Arnaud Venet NASA Ames Research Center, Moffett Field, CAAbstract. The RTCA standar Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Software engineering Computing Software Compilers Compiler construction Compiler optimizations Abstract interpretation LLVM Programming language implementation Intermediate representation Polyspace Static program analysis