WE - PDFSEARCH.IO - Document Search Engine

WE
Results: 198498

#	Item
261	QUADRATIC FUNCTORS ON POINTED CATEGORIES MANFRED HARTL & CHRISTINE VESPA Abstract. We study polynomial functors of degree 2, called quadratic, with values in the category of abelian groups Ab, and whose source category i Add to Reading List Source URL: irma.math.unistra.fr Language: English - Date: 2010-12-09 08:31:47 Mathematics Abstract algebra Algebra Functors Category theory Homological algebra Algebraic topology Adjoint functors Natural transformation Yoneda lemma Limit Universal property
262	BREAKING BARRIERS THE WORLD IS FULL OF OPPORTUNITIES. WE CREATE ACCESS TO THEM. Add to Reading List Source URL: www.amaaonline.com Language: English - Date: 2014-08-05 14:13:58 World Getlio Vargas Vargas Era Brazil So Paulo Government Politics
263	Promethean Labs LLC Terms of Use Terms of Use Promethean Labs LLC (“Promethean”, “we”, “us” or “our”) welcomes you. By Add to Reading List Source URL: www.logos.network Language: English - Date: 2018-03-15 14:04:57 Contract law Password Security Indemnity World of Darkness Terms of service Google Search Law Prevention Digital media
264	SMT-Based Model Checking for Recursive Programs ⋆ Anvesh Komuravelli, Arie Gurfinkel, and Sagar Chaki Carnegie Mellon University, Pittsburgh, PA, USA Abstract. We present an SMT-based symbolic model checking algorithm Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Mathematics Symbol 120-cell Craig interpolation Computability theory Fiber bundles Differential topology
265	Defining Recursive Functions in Isabelle/HOL Alexander Krauss Abstract This tutorial describes the use of the function package, which provides general recursive function definitions for Isabelle/HOL. We start with very Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2018-08-15 07:18:36 Computer programming Recursion Mathematical logic Software engineering Computability theory Theory of computation Theoretical computer science -recursive function Recursive definition Well-founded relation Functional programming Pattern matching
266	PRIVACY POLICY Your privacy is important to Tomatos Inc. (“company”, “us”, “our”, or“we”). Personal information you provide or we collect about you when you engage with company in connection with your pur Add to Reading List Source URL: ttcoin.io Language: English - Date: 2018-03-26 03:57:41 Terms of service Data security Privacy Information governance Law Internet privacy Data protection Privacy policy HTTP cookie Information privacy Personally identifiable information
267	Practical Semantic Test Simplification Sai Zhang University of Washington, USA Abstract—We present a technique that simplifies tests at the Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:34 Software testing Software development Software engineering Computing Debugging Program slicing Unit testing Test automation
268	Solving Nonlinear Integer Arithmetic with MCSAT? Dejan Jovanovi´c SRI International Abstract. We present a new method for solving nonlinear integer arithmetic constraints. The method relies on the MCSat approach to sol Add to Reading List Source URL: csl.sri.com Language: English - Date: 2016-11-28 15:21:09 Theoretical computer science Mathematical logic Mathematics Logic in computer science Constraint programming Electronic design automation Formal methods NP-complete problems Boolean satisfiability problem Satisfiability modulo theories Boolean algebra Local consistency
269	Quantstamp Visual Timeline 2017–2018 Our Development Philosophy The blockchain world is a rapidly evolving industry. For this reason, we implement an agile development process. In contrast to the Add to Reading List Source URL: quantstamp.com Language: English - Date: 2018-10-19 18:01:06 Cryptocurrencies Blockchains Computing Information Technology Ethereum Smart contract Agile software development Cardano Computer security

UPDATE