Uploads Contact
/
Login Upload

  • Search Results for 'Computation'

Safet erication of soft are using structured etri nets Krzysztof Sac ha arsa Univ ersit
Safet erication of soft are using structured etri nets Krzysztof Sac ha arsa Univ ersit
natalia-silvester
The F Computation Expression Zoo Tomas Petricek and Don Syme University of Cambridge UK
The F Computation Expression Zoo Tomas Petricek and Don Syme University of Cambridge UK
liane-varnes
Workshop
Workshop
lois-ondreau
Computation of Diagnosable Fault Occurrence Indices for Systems with Repeatable faults
Computation of Diagnosable Fault Occurrence Indices for Systems with Repeatable faults
jane-oiler
Data Locality Optimizations
Data Locality Optimizations
tatyana-admore
IEEE Standard unies arithmetic model F l oa t ing po i n t s by Cleve Moler C l e v e
IEEE Standard unies arithmetic model F l oa t ing po i n t s by Cleve Moler C l e v e
test
IEEE Standard unies arithmetic model F l oa t ing po i n t s by Cleve Moler C l e v e
IEEE Standard unies arithmetic model F l oa t ing po i n t s by Cleve Moler C l e v e
faustina-dinatale
0.48 Q +pw5xo'I7 /i.,0,7 1.14 1.0 1.0 1.0 w2 w3 w4 w5 Q word from the
0.48 Q +pw5xo'I7 /i.,0,7 1.14 1.0 1.0 1.0 w2 w3 w4 w5 Q word from the
lindy-dunigan
Modelling spatiotemporal patterns of disease Peter J Diggle combining health information
Modelling spatiotemporal patterns of disease Peter J Diggle combining health information
danika-pritchard
Fast and Accurate Bessel Function Computation John Harrison Intel Corporation JF NE th
Fast and Accurate Bessel Function Computation John Harrison Intel Corporation JF NE th
tawny-fly
Pinocchio Nearly Practical Veriable Computation Bryan Parno Jon Howell Microsoft Research
Pinocchio Nearly Practical Veriable Computation Bryan Parno Jon Howell Microsoft Research
alexa-scheidler
Network Methods in Electromagnetic Field Computation Professor Peter Russer Institute
Network Methods in Electromagnetic Field Computation Professor Peter Russer Institute
conchita-marotz
FPGAbased Monte Carlo Computation of Light Absorption for Photodynamic Cancer Therapy
FPGAbased Monte Carlo Computation of Light Absorption for Photodynamic Cancer Therapy
mitsue-stanley
The Journal of Neuroscience May Power Spectrum Analysis of Bursting Cells in Area MT
The Journal of Neuroscience May Power Spectrum Analysis of Bursting Cells in Area MT
cheryl-pisano
Example of dynamics computation EulerLagrange and NewtonEuler formulations PrismaticPrismaticPrismatic
Example of dynamics computation EulerLagrange and NewtonEuler formulations PrismaticPrismaticPrismatic
giovanna-bartolotta
Linear Bounded Automata The last machine model of computation which we shall examine is
Linear Bounded Automata The last machine model of computation which we shall examine is
tatiana-dople
Secure arithmetic modulo some integer M can be seen as secure integer computation
Secure arithmetic modulo some integer M can be seen as secure integer computation
conchita-marotz
Navneet
Navneet
test
Using OpenMP to remove Scaling Bottlenecks
Using OpenMP to remove Scaling Bottlenecks
natalia-silvester
From Learning Models of Natural Image Patches to Whole Image Restoration Daniel Zoran
From Learning Models of Natural Image Patches to Whole Image Restoration Daniel Zoran
conchita-marotz
Instructive Review of Computation of Electric Fields using Different Numerical Techniques
Instructive Review of Computation of Electric Fields using Different Numerical Techniques
calandra-battersby
CS Randomness Computation Fall LectureOctober Lecturer Alistair Sinclair Based on scribe
CS Randomness Computation Fall LectureOctober Lecturer Alistair Sinclair Based on scribe
test
Using OpenMP to remove Scaling Bottlenecks
Using OpenMP to remove Scaling Bottlenecks
marina-yarberry
Secure Computation with
Secure Computation with
ellena-manuel