B - PDFSEARCH.IO - Document Search Engine

B
Results: 347007

#	Item
21	Predicting a Correct Program in Programming by Example Rishabh Singh(B) and Sumit Gulwani Microsoft Research, Redmond, USA Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Computing Software engineering Computer programming Formal languages Scheme Regular expression Eval String Parameter Supervised learning
22	Theorem Proving using Lazy Proof Expli ation Corma Flanagan1 , Rajeev Joshi1 , Xinming Ou2 , and James B. Saxe1 1 Systems Resear h Center, HP Labs, Palo Alto, CA 2 Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:26:03 Theoretical computer science Logic Formal methods Mathematical logic Model theory Interpretation Logic in computer science Propositional calculus Boolean satisfiability problem Automated theorem proving Propositional variable IP
23	Biology 7-12, BS "DBEFNJD.BQ 5IF"DBEFNJD.BQTFSWFTBTBTVHHFTUFEDPVSTFTFRVFODFPOMZ4UVEFOUTBSFOPUMJNJUFEUPUIJTQMBOJUJTNFBOUUPCFVTFEBT Add to Reading List Source URL: catalog.southernct.edu Language: English - Date: 2018-10-06 18:04:33
24	Probabilistic Model Checking of Complex Biological Pathways John Heath a , Marta Kwiatkowska b,? , Gethin Norman b , David Parker b , Oksana Tymchyshyn c a School Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2007-12-19 10:53:34 Cell biology Biology Cell signaling Tyrosine kinase receptors Signal transduction Proteins Phosphorus Fibroblast growth factor receptor GRB2 MAPK/ERK pathway Fibroblast growth factor FRS2
25	How to Break DES for B C 8,980 Sandeep Kumar1 , Christof Paar1 , Jan Pelzl1 , Gerd Pfeiffer2 , Andy Rupp1 , Manfred Schimmler2 1 Add to Reading List Source URL: www.hyperelliptic.org Language: English - Date: 2006-03-23 05:56:04 Cryptography Electronic engineering Hardware acceleration Electronics Digital electronics Data Encryption Standard Reconfigurable computing Field-programmable gate array Custom hardware attack Brute-force attack Xilinx EFF DES cracker
26	Matjaz B. Juric Matjaz B. Juric holds a Ph.D. in computer and information science. He is Full Professor at the University of Ljubljana, Faculty of Computer and Information Science. He is the head of Laboratory for Integr Add to Reading List Source URL: suncontract.org Language: English - Date: 2018-10-19 08:31:23 Enterprise application integration Computing Oracle SOA Suite Matja Business Process Execution Language Oracle Fusion Middleware Rozman Economy Software architecture
27	HMFEv - An Eﬃcient Multivariate Signature Scheme Albrecht Petzoldt1(B) , Ming-Shing Chen2 , Jintai Ding3 , and Bo-Yin Yang2 1 National Institute for Standards and Technology, Gaithersburg, MD, USA Add to Reading List Source URL: precision.moscito.org Language: English - Date: 2018-03-14 01:35:29 Cryptography Multivariate cryptography Post-quantum cryptography Hidden Field Equations Unbalanced Oil and Vinegar QUAD Quadratic form Digital signature Quadratic function XSL attack
28	Functional Reactive Programming, Refactored Ivan Perez Manuel B¨arenz Henrik Nilsson Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2018-10-16 07:48:38 Functional programming Software engineering Computer programming Computing Monad Arrow Functional reactive programming Strong monad Type class Combinatory logic Pure function
29	ForceManager raises $12m in Series B Funding led by AXA Strategic Ventures Add to Reading List Source URL: www.axavp.com Language: English - Date: 2018-04-06 05:48:00 Business Economy Technology AXA CAC 40 Sales Apple Inc. Artificial intelligence
30	Athletic Training, BS "DBEFNJD.BQ 5IF"DBEFNJD.BQTFSWFTBTBTVHHFTUFEDPVSTFTFRVFODFPOMZ4UVEFOUTBSFOPUMJNJUFEUPUIJTQMBOJUJTNFBOUUPCFVTFEBT Add to Reading List Source URL: catalog.southernct.edu Language: English - Date: 2018-10-06 18:05:41 Medicine Health Exs Athletic training