<--- Back to Details
First PageDocument Content
Physics / Mass / Jenkins / Stephen
Date: 2013-08-09 18:02:12
Physics
Mass
Jenkins
Stephen

Add to Reading List

Source URL: www.scienceweek.net.au

Download Document from Source Website

File Size: 1,10 MB

Share Document on Facebook

Similar Documents

Process calculi / Stochastic probe / Measuring instruments / Scanning probe microscopy

Location-Aware Quality of Service Measurements for Service-Level Agreements Ashok Argent-Katwala1 , Jeremy Bradley1 , Allan Clark2 , Stephen Gilmore2 1 2

DocID: 1xVP9 - View Document

Parallel computing / Computing / Computer engineering / Computer science / Electrical engineering / Electronic engineering / Electromagnetism / Message Passing Interface / Model checking / Computer programming / Computational science / Simulation

The Toolkit for Accurate Scientific Software Stephen F. Siegel, Timothy Zirkel, Yi Wei Verified Software Laboratory Department of Computer and Information Sciences University of Delaware Newark, DE, USA

DocID: 1xVHA - View Document

Artificial neural networks / Artificial intelligence / Computational neuroscience / Learning / Machine learning / Applied mathematics / Long short-term memory / Deep learning / Recurrent neural network / Dropout / Rnn / Highway network

Regularizing and Optimizing LSTM Language Models Stephen Merity 1 Nitish Shirish Keskar 1 Richard Socher 1 arXiv:1708.02182v1 [cs.CL] 7 Aug 2017

DocID: 1xVEU - View Document

Constraint programming / Mathematics / Lattice theory / Mathematical optimization / Applied mathematics / Constraint satisfaction / Local consistency / Semilattice / Linear programming / Optimization problem / Constraint / Feasible region

in Knowledge Engineering Reviews, 2001 Synthesis of EƆcient Constraint Satisfaction Programs Stephen J. Westfold and Douglas R. Smith Kestrel Institute 3260 Hillview Avenue

DocID: 1xVgq - View Document

Computing / Software engineering / Theoretical computer science / Software testing / Formal methods / Software design / Software bug / Software quality

Experiments Suggest High-Level Formal Models and Automated Code Synthesis Significantly Increase Dependability Cordell Green and Stephen Westfold January 2001

DocID: 1xV8y - View Document