Colin - PDFSEARCH.IO - Document Search Engine

Colin
Results: 3574

#	Item
1	Alignment-based Translations Across Formal Systems Using Interface Theories Dennis M¨uller Colin Rothgang Add to Reading List Source URL: pxtp.github.io Language: English - Date: 2017-09-19 19:50:55 Logic Mathematical logic Abstraction Formal languages Syntax Formal systems Proof assistants Type theory Metamath Formal proof Theory OMDoc
2	Troubleshooting Blackbox SDN Control Software with Minimal Causal Sequences Colin Scott Andreas Wundsam†? Barath Raghavan? Aurojit Panda Add to Reading List Source URL: people.ee.ethz.ch Language: English - Date: 2017-02-01 15:47:47 Computer programming Computing Software engineering Debugging Rr Delta debugging Software bug Software-defined networking Debugger Fuzzing Race condition Event
3	Unfailing Haskell: A Static Checker for Pattern Matching Neil Mitchell and Colin Runciman http://www.cs.york.ac.uk/∼ndm , http://www.cs.york.ac.uk/∼colin University of York, UK Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Computer programming Software engineering Declarative programming Recursion Functional programming Computability theory Theoretical computer science Programming paradigms Algebraic data type Fold Pattern matching Conditional
4	Hat Day 2005: work in progress on the Hat tracing system for Haskell Colin Runciman (Editor) Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Programming language theory Computer programming Functional languages Debugging Literate programming Haskell Program slicing Insertion sort
5	SHARK A Realizable Special Hardware Sieving Device for Factoring 1024-bit Integers Jens Franke1 , Thorsten Kleinjung1 , Christof Paar2 , Jan Pelzl2 , Christine Priplata3 , Colin Stahlke3 1 Add to Reading List Source URL: www.hyperelliptic.org Language: English - Date: 2005-03-13 11:16:01 Integer factorization algorithms Mathematics Quadratic sieve Integer factorization records General number field sieve TWIRL Lattice sieving Factor base Prime number Sieve
6	Caching Doesn’t Improve Mobile Web Performance (Much) Jamshed Vesuna and Colin Scott, University of California, Berkeley; Michael Buettner and Michael Piatek, Google; Arvind Krishnamurthy, University of Washington; Sco Add to Reading List Source URL: www.usenix.org Language: English - Date: 2016-06-22 03:22:39 Cache Computing Web development Information and communications technology Computer networking Computer architecture Web cache Web performance Proxy server World Wide Web Google PageSpeed Tools Web server
7	Article-level metrics: a comparison between publishers Colin Batchelor Data Science Bologna, September 2018 Add to Reading List Source URL: workshop-oc.github.io Language: English - Date: 2018-09-10 10:16:09 Publishing Citation metrics Academic publishing Open access journals Scholarly communication Article-level metrics ELife Metrics PLOS
8	Environmental Degradation, Climate Change, Migration & Development Stephen Castles and Colin Rajah PART I (Stephen Castles) Add to Reading List Source URL: www.nnirr.org Language: English - Date: 2011-12-16 13:57:45 Culture Climate change Structure Natural environment Environmental migrant Climate change adaptation Human migration Forced displacement Global warming Effects of global warming Effects of global warming on humans Climate change and agriculture
9	ALLIANCE OF ALLIANCES: BUILDING CIVIL SOCIETY CONVERGENCES AMONG GLOBAL MOVEMENTS FOR MIGRANT RIGHTS Colin Rajah Paper prepared for REMESO (Institute for Research on Migration, Ethnicity and Society) and UNESCO-MOST Conf Add to Reading List Source URL: www.nnirr.org Language: English - Date: 2012-06-11 15:59:46 Human migration Foreign relations Law Demography Global Forum on Migration and Development PICUM Global Migration Group International Convention on the Protection of the Rights of All Migrant Workers and Members of Their Families International Catholic Migration Commission Migrant worker International migration Immigration
10	An Efficient Hardware Architecture for Factoring Integers with the Elliptic Curve Method Jens Franke, Thorsten Kleinjung - University of Bonn Christof Paar, Jan Pelzl - University of Bochum Christine Priplata, Colin Stah Add to Reading List Source URL: www.hyperelliptic.org Language: English - Date: 2005-03-13 11:15:51 Cryptography Integer factorization algorithms Lenstra elliptic-curve factorization Quadratic sieve Elliptic-curve cryptography Elliptic curve Integer factorization General number field sieve RSA Trial division