Work

Results: 156439



#Item
61Coding theory / Mathematics / MDS matrix / Discrete mathematics / Singleton bound / MDS / ReedSolomon error correction / Erasure code

Mixing Layers in Symmetric Crypto Ko Stoffelen Joint work withThorsten Kranz, Gregor Leander, Ko Stoffelen, Friedrich Wiemer. Shorter

Add to Reading List

Source URL: ko.stoffelen.nl

Language: English - Date: 2018-02-09 07:39:38
62Computer programming / Software engineering / Infinite loop / Recursion / Software development / Software testing / Java / Extreme programming

Automated Documentation Inference to Explain Failed Tests Sai Zhang University of Washington Joint work with: Cheng Zhang, Michael D. Ernst

Add to Reading List

Source URL: zhang-sai.github.io

Language: English - Date: 2015-05-05 00:58:35
63Digital electronics / Electronic engineering / Electronic design automation / Design / Synopsys / Standard cell / Design rule checking / High-level synthesis / Layout Versus Schematic / Mentor Graphics / Formal equivalence checking

Getting to Work with OpenPiton Princeton University http://openpiton.org OpenPit

Add to Reading List

Source URL: parallel.princeton.edu

Language: English - Date: 2017-02-16 15:26:15
64Geographic data and information / Aditya Akella / OMB Circular A-16 / USENIX / Seshan / Computing / Information

Message from the NSDI ’18 Program Co-Chairs Welcome to NSDI ’18! Over the years, NSDI has established itself as the top venue for work on networked and distributed systems. This year’s iteration is no exception, an

Add to Reading List

Source URL: www.usenix.org

Language: English - Date: 2018-03-08 20:36:01
65Computing / Adobe ColdFusion / Adobe software / Web development software / Gateway / ColdFusion Markup Language / Redis / XMPP

About  Me:   •  ColdFusion  Developer  Since  1998,  CF  3.1   •  Work  at  the  Wharton  School  of  The  University  of  Pennsylvania   •  Best  know

Add to Reading List

Source URL: www.mischefamily.com

Language: English - Date: 2012-05-29 22:01:03
66Theoretical computer science / Formal language

CSCE 222: Fall 2014 Quiz 9 TAKE HOME A TAKE HOME quiz. Name (No UIN numbers): This is an open-book take-home quiz. You must work on this quiz yourself, with no assistance from any person or other entity.1 You may use the

Add to Reading List

Source URL: faculty.cse.tamu.edu

Language: English - Date: 2014-12-08 19:22:29
67Computer programming / Software engineering / Computing / Source code / Programming languages / Transformation languages / Metaprogramming / Lambda calculus / Macro / Hygienic macro / Syntax / Anonymous function

This October 2012 version corrects some citations and related work. Honu: Syntactic Extension for Algebraic Notation through Enforestation

Add to Reading List

Source URL: www.cs.utah.edu

Language: English - Date: 2012-10-06 08:30:55
68Dynamical systems / Ergodic theory / Mathematical analysis / Metaphysics / Mathematics / Oseledets theorem / Lyapunov exponent / Measure-preserving dynamical system / Invariant measure / Ergodicity / Axiom A / Markov partition

Dynamical Systems Evolving Lai-Sang Young1 ABSTRACT. This is an expanded version of a presentation given at ICM2018. It discusses a number of results taken from a cross-section of the author’s work in Dynamical Systems

Add to Reading List

Source URL: eta.impa.br

Language: English - Date: 2018-07-28 17:09:47
69Computing / Digital media / Chemistry / Cryptocurrencies / Recruitment / LinkedIn / Social media / Zinc / InterPlanetary File System / Everipedia / Switch / Ethereum

WHITEPAPER Version 2.0 – Q1 2018 By Luke Shipley & Peter Brooke WHITEPAPER

Add to Reading List

Source URL: token.zinc.work

Language: English - Date: 2018-10-02 04:51:00
70Algebraic geometry / Abstract algebra / Algebra / Algebraic varieties / Vector bundles / Birational geometry / Fano variety / Divisor / Cubic threefold / Canonical bundle / Sheaf / Smooth scheme

THE FANO THREEFOLD X10 OLIVIER DEBARRE This is joint work in progress with A. Iliev (Sofia) and L. Manivel (Grenoble). 1. Introduction

Add to Reading List

Source URL: www.math.ens.fr

Language: English - Date: 2008-05-16 16:37:50
UPDATE