NEW - PDFSEARCH.IO - Document Search Engine

NEW
Results: 720070

#	Item
81	A new method to automate the synthesis of stochastic computing circuits Add to Reading List Source URL: techxplore.com Language: English - Date: 2018-10-26 03:51:56 Statistical randomness Stochastic computing Mathematical optimization Stochastic Integrated circuit Electronic engineering Electromagnetism Electrical engineering
82	NUMBERS, FACTS AND TRENDS SHAPING THE WORLD FOR RELEASE February 23, 2017 Latinos and the New Trump Add to Reading List Source URL: www.pewhispanic.org Language: English - Date: 2018-09-13 15:11:06 Hispanic and Latino American Demography United States American people of German descent Climate change skepticism and denial Donald Trump The Apprentice Mark Hugo Lopez Immigration Latino Illegal immigration to the United States Hispanic and Latino American politics in the United States
83	Solving Non-Linear Arithmetic Dejan Jovanovi´c1 and Leonardo de Moura2 1 2 New York University Add to Reading List Source URL: csl.sri.com Language: English - Date: 2014-06-27 12:47:14 Algebra Mathematics Polynomials Abstract algebra Computer algebra Polynomial Factorization of polynomials Constraint programming Resultant Constraint logic programming Polynomial ring
84	New Challenges in Model Checking Gerard J. Holzmann, Rajeev Joshi, and Alex Groce NASA/JPL Laboratory for Reliable Software, Pasadena, CA 91109, USA {Gerard.Holzmann, Rajeev.Joshi,Alex.Groce}@jpl.nasa.gov Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:32:09 Formal methods Theoretical computer science Software engineering Computing Logic in computer science Software testing Model checking Formal verification Software verification Flash memory Verification Software quality
85	SOLUTIONS FOR K-12 DISTRICTS $252B WILL BE SPENT IN ED-TECH BEFORE THE YEAR 2020; ALL OF THIS NEW TECHNOLOGY NEEDS SUPPORT. ARE YOU READY? Is your K-12 district ready to support the emerging Add to Reading List Source URL: www.teamdynamix.com Language: English Information technology management Economy Management Business TeamDynamix Project management Project portfolio management Release management IT service management Change management Configuration Management Kanban
86	Malleable Signatures: New Definitions and Delegatable Anonymous Credentials Melissa Chase Markulf Kohlweiss Add to Reading List Source URL: smeiklej.com Language: English - Date: 2018-10-23 14:58:02 Mathematics Abstract algebra Algebra Cryptography Digital signature Model theory Parity of a permutation Proof of knowledge Semigroup action
87	Building Secure Tame-like Multivariate Public-Key Cryptosystems: The New TTS Bo-Yin Yang1 and Jiun-Ming Chen2 1 Dept. of Mathematics, Tamkang University, Tamsui, Taiwan Add to Reading List Source URL: precision.moscito.org Language: English - Date: 2011-03-20 04:03:43 Algebra Mathematics Linear algebra Unbalanced Oil and Vinegar Kernel Quadratic form Rank Eigenvalues and eigenvectors Linear map Matrix Hidden Field Equations
88	Member Spotlight: Dr. Jana Schott A Boutique Path to New Beginnings Dr Jana Schott is one of the founding partners Add to Reading List Source URL: www.irglobal.com Language: English - Date: 2018-08-02 08:22:42 Law firm Practice of law
89	CASE STUDY New lifecycle of HR department Simple electronic forms on the intranet have automated the flow of people Add to Reading List Source URL: www.soitron.com Language: English - Date: 2018-01-15 09:53:04 Human resource management Economy Business Information Intranet Human resources SharePoint Turnover E-HRM Human resource management system
90	A.Z. Andis Arietta Education Greeley Memorial Laboratory 370 Prospect Street New Haven, CT 06511 Add to Reading List Source URL: www.azandisresearch.com Language: English - Date: 2018-09-05 13:55:55 Geography of Alaska Geography of the United States States of the United States Western United States Alaska Protected areas of the United States South Baranof Wilderness Tongass National Forest Wilderness World Wilderness Congress Sitka Alaska Montana

UPDATE