搜索结果: 1-15 共查到“知识库 计算机科学技术基础学科 on data”相关记录48条 . 查询时间(0.671 秒)
BUILDING A GEOGRAPHIC DATA REPOSITORY FOR URBAN RESEARCH WITH FREE SOFTWARE – LEARNING FROM Observatorio.CEDEUS.cl
Data Repository Spatial Data Infrastructure (SDI) Free Software GeoNode Urban Research
2017/5/10
The recent trend towards open data and open science as well as a demand for holistic and interdisciplinary research requires platforms that allow the distribution and exchange of research data, includ...
In this paper we present the system Ontop-spatial that is able to answer GeoSPARQL queries on top of geospatial relational databases, performing on-the-fly GeoSPARQL-to-SQL translation using ontologie...
HIGH RESOLUTION GLOBAL GRIDDED DATA FOR USE IN POPULATION STUDIES
WorldPop Geography and Environment University of Southampton
2017/5/10
Open access geospatial data represent a range of metrics relevant to global human population mapping at fine spatial scales. Detailed and contemporary spatial datasets that accurately describe populat...
Using the Run-Time Sizes of Data Structures to Guide Parallel Thread Creation
Run-Time Sizes Data Structures Guide Parallel Thread Creation
2016/5/24
Dynamic granularity estimation is a new technique for automatically identifying expressions in functional languages for parallel evaluation. Expressions with little computation relative to thread-crea...
Type Systems for Distributed Data Structures.
Parallel programming languages that let multiple processors access shared data provide a variety of sharing mechanisms and memory models. Understanding a language’s support for data sharing behavior i...
Data Structure Fusion
Data Structure
2016/5/24
We consider the problem of specifying data structures with complex sharing in a manner that is both declarative and results in provably correct code. In our approach, abstract data types are speci-fie...
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative and results in provably correct code. In our approach, abstract data typ...
We describe a Guess-and-Check algorithm for computing algebraic equation invariants of the form ∧ifi(x1, . . . , xn) = 0, where each fi is a polynomial over the variables x1, . . . , xn of the program...
Language Support for Dynamic, Hierarchical Data Partitioning
Legion regions type system independence aliasing hierarchical scheduling
2016/5/24
Applications written for distributed-memory parallel architectures must partition their data to enable parallel execution.As memory hierarchies become deeper, it is increasingly necessary that the dat...
Verifying Atomicity via Data Independence
concurrency linearizability verification composed operations dataindependence collections
2016/5/24
We present a technique for automatically verifying atomicity of composed concurrent operations. The main observation behind our approach is that many composed concurrent operations which occur in prac...
Towards Asynchornous Many-Task In Situ Data Analysis Using Legion
Programming Models Asynchronous ManyTask Parallel Computing Computational Statistics
2016/5/24
We explore the use of asynchronous many-task (AMT) programming models for the implementation of in situ analysis towards the goal of maximizing programmer productivity and overall performance on next ...
Identifying Redundancy and Exposing Provenance in Crowdsourced Data Analysis
Crowdsourcing social data analysis
2016/5/24
We present a system that lets analysts use paid crowd workers to explore data sets and helps analysts interactively
examine and build upon workers’ insights. We take advantage of the fact that, for m...
ADAPTATION OF ROADS TO ALS DATA BY MEANS OF NETWORK SNAKES
snakes networks vector data roads ALS intensity topology consistency
2016/2/29
In the Authoritative Topographic Cartographic Information System (ATKIS®), which is the main public topographic data base in
Germany, the heights and the 2D positions of objects such as roads a...
We consider the problem of recovering sparse correlated data on networks. To improve accu-racy and reduce costs, it is strongly desirable to take the potentially useful side-information of network str...