126 - 150 of 158
Number of results to display per page
TitleDateType
126 The scalability of parallel adaptive mesh refinement within Uintah2010-08Text
127 Scalable asynchronous many-task runtime solutions to globally coupled roblems2019Text
128 Scalable formal dynamic verification of MPI programs through distributed causality tracking2011-08Text
129 Segmentation of neurons from electron microscopy images2011-08Text
130 Shape analysis of defect-laden data2013-05Text
131 Simplifying the creation and deployment of collaborative data analysis and visualization tools2010Text
132 Skin stretch feedback to guide hand motions2016Text
133 Smoothness-increasing accuracy-conserving filters (SIAC) for discontinuous Galerkin solutions2013-05Text
134 Software algorithms for hardware ray tracing2011-05Text
135 Some models and measures for learning on a budget2012-12Text
136 Spatiotemporal modeling of anatomical shape complexes2015-05Text
137 Static analysis of Android applications2014-08Text
138 Statistical analysis of ensembles of nonregular shapes2016Text
139 Statistical learning: generative model for dimensionality reduction, clustering, and shape analysis2016Text
140 Stochastic analysis of synthetic genetic circuits2013-08Text
141 Sublinear algorithms for massive data computations: streaming and coresets2018Text
142 Supporting scalable data analytics on large linked data2013-12Text
143 Surface-based image segmentation using application-specific priors2016Text
144 Syntactic extension for languages with implicitly delimited and infix syntax2013-05Text
145 Topological data analysis for astronomical data cubes2019Text
146 Topological models for safety analysis2019Text
147 Toward a Mathermatical Theory of Perception1979Text
148 Towards building efficient error detectors for improving system resilience2017Text
149 Towards the theory and practice of verifying visualizations2013-08Text
150 Understanding constraints in structured prediction problems2019Text
126 - 150 of 158