Upload
Featured Recent Articles Topics Login Upload

Search Results for ''

published presentations and documents on DocSlides.

Dynamic-frame specifications in
Dynamic-frame specifications in
by faustina-dinatale
Dafny. K. Rustan M. Leino. RiSE. , Microsoft Rese...
Dynamic Input with SQL Queries
Dynamic Input with SQL Queries
by roy
A look into the options of dynamic SQL queries and...
INTRODUCTION TO NUMERICAL MODELING IN GEOTECHNICAL ENGINEERING WITH EMPHASIS ON FLAC MODELING
INTRODUCTION TO NUMERICAL MODELING IN GEOTECHNICAL ENGINEERING WITH EMPHASIS ON FLAC MODELING
by cheryl-pisano
INTRODUCTION TO NUMERICAL MODELING IN GEOTECHNICA...
Dynamic and Online Algorithms
Dynamic and Online Algorithms
by trish-goza
for Set Cover. Anupam Gupta. Carnegie Mellon Univ...
Non-Adaptive Data Structure Bounds for Dynamic Predecessor
Non-Adaptive Data Structure Bounds for Dynamic Predecessor
by tawny-fly
Joe . Boninger. , . Joshua Brody. , Owen . Kephar...
Transact-SQL Tips and Tricks
Transact-SQL Tips and Tricks
by sherrill-nordquist
Tobias Ternstrom. Senior Program Manager Lead. SQ...
UE2 Dynamic Decision
UE2 Dynamic Decision
by gagnon
Processes. Instructor: Prof. Xiaolan Xie. Schedule...
Lower bounds for approximate membership
Lower bounds for approximate membership
by joanne
dynamic data structures. Shachar. Lovett. IAS. El...
Separation logic for OO Stephan van
Separation logic for OO Stephan van
by sistertive
Staden. Introduction. OO languages are popular and...
Influence Maximization in Dynamic Social Networks
Influence Maximization in Dynamic Social Networks
by alida-meadow
Honglei. . Zhuang. , . Yihan. Sun, Jie Tang, Ji...
4.0 PI
4.0 PI
by phoebe-click
ProcessBook. What is PI ProcessBook?. Standalone ...
Influence Maximization in Dynamic Social Networks
Influence Maximization in Dynamic Social Networks
by karlyn-bohler
Honglei. . Zhuang. , . Yihan. Sun, Jie Tang, Ji...
Samira Khan
Samira Khan
by mitsue-stanley
University of Virginia. April 21, 2016. COMPUTER ...
Good
Good
by celsa-spraggs
modeling . practices. AGEC 641 Lab, Fall 2011. Ma...
Eraser: A Dynamic Data Race Detector for
Eraser: A Dynamic Data Race Detector for
by debby-jeon
Multithreaded Programs. STEFAN . SAVAGE,. MICHAE...
Chengcheng Fei 2017 Fall
Chengcheng Fei 2017 Fall
by karlyn-bohler
Based on material written by . Gillig. and . McC...
ITERATIVE DYNAMIC SYSTEMS THROUGH
ITERATIVE DYNAMIC SYSTEMS THROUGH
by marina-yarberry
. THE MANDELBROT AND JULIA SETS. Jonathan Arena...
Lecture 5 Dynamic Programming
Lecture 5 Dynamic Programming
by brianna
Outline. Knapsack revisited: How to output the opt...
Econometric Theory for Games
Econometric Theory for Games
by phoebe-click
Part 2: Complete Information Games, Multiplicity ...
FreshCache
FreshCache
by tawny-fly
: . Statically. and . Dynamically. . Exploiting...
Dynamic Covering for Recommendation Systems
Dynamic Covering for Recommendation Systems
by calandra-battersby
Ioannis Antonellis. Anish Das Sarma. Shaddin Dugh...
Lower bounds for
Lower bounds for
by jane-oiler
approximate membership. dynamic data structures. ...
A Dynamic-Priority based Approach to Fixing Inconsistent Fe
A Dynamic-Priority based Approach to Fixing Inconsistent Fe
by min-jolicoeur
Bo Wang. 1. , . Yingfei. Xiong. 2. , Zhenjiang H...
Kasperskys Application Control with Dynamic Whitelisting technology strengthens companies security stance by enabling IT administrators to set policies that allow block or regulate application or app
Kasperskys Application Control with Dynamic Whitelisting technology strengthens companies security stance by enabling IT administrators to set policies that allow block or regulate application or app
by briana-ranney
Equipped with these technologies organizations ca...
Learning objectives :
Learning objectives :
by phoebe-click
Introduce fundamental concepts of system theory. ...
Module 15:
Module 15:
by myesha-ticknor
Implementing . Messaging Patterns. Overview. Less...
Dynamic Covering for Recommendation Systems
Dynamic Covering for Recommendation Systems
by kittie-lecroy
Ioannis Antonellis. Anish Das Sarma. Shaddin Dugh...
Electron Stimulated Desorption of OFE Copper
Electron Stimulated Desorption of OFE Copper
by yoshiko-marsland
Chiara Pasquino, . Politecnico. di Milano. 9th M...
Eraser: A Dynamic Data Race Detector
Eraser: A Dynamic Data Race Detector
by kittie-lecroy
for . Multithreaded . Programs. STEFAN . SAVAGE, ...
Mutually Exclusive Link Group [MELG]
Mutually Exclusive Link Group [MELG]
by briana-ranney
draft-beeram-ccamp-melg-02. Vishnu Pavan Beeram (...
Knapsack Problem
Knapsack Problem
by luanne-stotts
A dynamic approach. Knapsack Problem. Given a sac...
Beyond Loose LP-relaxations: Optimizing MRFs by Repairing C
Beyond Loose LP-relaxations: Optimizing MRFs by Repairing C
by tawny-fly
Nikos . Komodakis. (University of Crete). Nikos...
Eraser: A Dynamic Data Race Detector
Eraser: A Dynamic Data Race Detector
by briana-ranney
for . Multithreaded . Programs. STEFAN . SAVAGE, ...
Decoupled Dynamic Cache Segmentation
Decoupled Dynamic Cache Segmentation
by natalia-silvester
Samira M. Khan. , . Zhe. Wang . and. Daniel . A...
Making the C.R.A.A.P. Test Less Crappy
Making the C.R.A.A.P. Test Less Crappy
by olivia-moreira
Kat . Phillips, Eryn Roles, & Sabrina Thomas....
Mutant Subsumption Graphs
Mutant Subsumption Graphs
by luanne-stotts
Mutation 2014. March 31, 2014. Bob Kurtz. , Paul ...
Revisiting Local History to Improve
Revisiting Local History to Improve
by faustina-dinatale
the Fused Two-Level Branch Predictor. Yasuo . Ish...
Mark Reed UNC Research Computing
Mark Reed UNC Research Computing
by jane-oiler
markreed@unc.edu. . OpenMP. Logistics. Course Fo...
Dynamic Programming II
Dynamic Programming II
by mitsue-stanley
Dynamic Programming II Gene Prediction: Similari...
e talked about the number of points needed Someone told me ay not pl
e talked about the number of points needed Someone told me ay not pl
by piper
We talked about the llustration by Mike Avitabilea...