and Research - PDFSEARCH.IO - Document Search Engine

and Research
Results: 260368

#	Item
1	Small or medium-scale focused research project (STREP) ICT SME-DCA Call 2013 FP7-ICT-2013-SME-DCA Data Publishing through the Cloud: A Data- and Platform-as-a-Service Approach to Efficient Add to Reading List Source URL: bd7a65e2cb448908f934-86a50c88e47af9e1fb58ce0672b5a500.r32.cf3.rackcdn.com Language: English - Date: 2015-08-12 06:47:18 Computing Software Computer architecture Smartphones Alphabet Inc. Route planning software Web mapping Mobile operating systems Google Maps Data visualization Google Analytics Mobile app
2	Sociology and the Problems of Problem Gambling Research: Connecting private troubles to public issues by Mark Jacob van der Maas Add to Reading List Source URL: tspace.library.utoronto.ca Language: English - Date: 2016-02-25 00:09:19 Human behavior Behavioral addiction Problem gambling Psychiatric diagnosis Entertainment Neuropsychology Gambling Sociology Casino Problem solving
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	san franciscoInitiative of the State Secretariat for Education and Research SER Annex of the Consulate General of Switzerland in San Francisco Swiss Knowledge Network Outposts in Bangalore, Boston, San Francisco, Add to Reading List Source URL: www.swissnexsanfrancisco.org Language: English - Date: 2014-07-22 13:52:57 Science and technology in Switzerland Swissnex Geography of California Economy California
5	A2J Evaluation and Research Options Process Evaluation Formative Assessment Add to Reading List Source URL: a2jlab.org Language: English - Date: 2018-05-30 16:17:25 Design of experiments Causal inference Evaluation Observational study Methodology Knowledge Impact assessment Confounding Experiment Quasi-experiment Program evaluation Impact evaluation
6	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
7	Full version of an extended abstract published in AsiacryptD´ej`a Q All Over Again: Tighter and Broader Reductions of q-Type Assumptions Melissa Chase Microsoft Research Redmond Add to Reading List Source URL: smeiklej.com Language: English - Date: 2018-10-23 14:58:02 Algebra Abstract algebra Lie groups Non-associative algebras XTR Mutation Spectral theory
8	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
9	Small or medium-scale focused research project (STREP) ICT SME-DCA Call 2013 FP7-ICT-2013-SME-DCA Data Publishing through the Cloud: A Data- and Platform-as-a-Service Approach to Efficient Add to Reading List Source URL: bd7a65e2cb448908f934-86a50c88e47af9e1fb58ce0672b5a500.r32.cf3.rackcdn.com Language: English - Date: 2015-08-03 09:17:26 Computing Technical communication Data Information Application programming interface Data transformation Platform as a service
10	Federal Department of Economic Affairs, Education and Research EAER Federal Office for Agriculture FOAG Import and Export Unit English is not an official language of the Swiss Confederation. Add to Reading List Source URL: www.blw.admin.ch Language: English International trade Economy Customs duties International relations Import Quotas Civil aviation Customs declaration Tariff Customs duties in the United States Export Customs