Results 31 to 40 of about 36,047,180 (365)
Effective Variational Data Assimilation in Air-Pollution Prediction
Big Data Mining and Analytics, 2018 Numerical simulations are widely used as a predictive tool to better understand complex air flows and pollution transport on the scale of individual buildings, city blocks, and entire cities.
Rossella Arcucci +2 more
doaj +1 more source
Backscatter technologies and the future of Internet of Things: Challenges and opportunities
Intelligent and Converged Networks, 2020 Energy source and circuit cost are two critical challenges for the future development of the Internet of Things (IoT). Backscatter communications offer a potential solution to conveniently obtain power and reduce cost for sensors in IoT, and researchers ...
Chaochao Yao +4 more
doaj +1 more source
On the Use of Underspecified Data-Type Semantics for Type Safety in Low-Level Code [PDF]
EPTCS 102, 2012, pp. 73-87, 2012 In recent projects on operating-system verification, C and C++ data types are often formalized using a semantics that does not fully specify the precise byte encoding of objects. It is well-known that such an underspecified data-type semantics can be used to detect certain kinds of type errors.
arxiv +1 more source
Model Error Correction in Data Assimilation by Integrating Neural Networks
Big Data Mining and Analytics, 2019 In this paper, we suggest a new methodology which combines Neural Networks (NN) into Data Assimilation (DA). Focusing on the structural model uncertainty, we propose a framework for integration NN with the physical models by DA algorithms, to improve ...
Jiangcheng Zhu +5 more
doaj +1 more source
Local Type Checking for Linked Data Consumers [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 The Web of Linked Data is the cumulation of over a decade of work by the Web standards community in their effort to make data more Web-like. We provide an introduction to the Web of Linked Data from the perspective of a Web developer that would like to ...
Gabriel Ciobanu +2 more
doaj +1 more source
Towards an induction principle for nested data types [PDF]
arXiv, 2023 A well-known problem in the theory of dependent types is how to handle so-called nested data types. These data types are difficult to program and to reason about in total dependently typed languages such as Agda and Coq. In particular, it is not easy to derive a canonical induction principle for such types.
arxiv
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013 Data types are undergoing a major leap forward in their sophistication driven by a conjunction of i) theoretical advances in the foundations of data types, and ii) requirements of programmers for ever more control of the data structures they work with.
Ghani, Neil +3 more
openaire +2 more sources
Typed topology and its application to data set [PDF]
Topology and its Applications Volume 342, 1 February 2024, 108760, 2023 The concept of $typed$ $topology$ is introduced. In a typed topological space, some open sets are assigned "types", and topological concepts such as closure, connectedness can be defined using types. A finite data set in $R^2$ is a typically typed topological space.
arxiv
Not all data are equal: Influence of data type and amount in spatial conservation prioritisation
Methods in Ecology and Evolution, 2018 Decisions about land use significantly influence biodiversity globally. The field of spatial conservation prioritisation explores allocation of conservation effort, including for reserve network expansion, targeting habitat restoration, or minimising ...
H. Kujala +3 more
semanticscholar +1 more source
Semantics for first-order affine inductive data types via slice categories [PDF]
, 2020 Affine type systems are substructural type systems where copying of information is restricted, but discarding of information is permissible at all types. Such type systems are well-suited for describing quantum programming languages, because copying of quantum information violates the laws of quantum mechanics.
arxiv +1 more source