1,935 research outputs found
VCC-LF dataset
No full textThis is readme for VCC-LF dataset.
This dataset provides light field mat files that capture by Lytro I.
The light field resolusion is [h,w,u,v,d].
If you use these data or our toolkit code, please cite our paper properly
@inproceedings{ lirsiggraphasia2019,
title={Hierarchical and View-invariant Light Field Segmentation by Maximizing Entropy Rate on 4D Ray Graphs},
author={Li, Rui and Heidrich, Wolfgang},
booktitle={ACM Transactions on Graphics (Proc. SIGGRAPH Asia)},
year={2019},
publisher={ACM}
LF-copying without LF
No full textAbstractA copying approach to ellipsis is presented, whereby the locus of copying is not a level of derived syntactic structure (LF), but rather the derivation itself. The ban on preposition stranding in sprouting follows without further stipulation, and other, seemingly structure sensitive, empirical generalizations about elliptical constructions, including the preposition stranding generalization, follow naturally as well. Destructive operations which ‘repair’ non-identical antecedents are recast in terms of exact identity of derivations with parameters. In the context of a compositional semantic interpretation scheme, the derivational copying approach to ellipsis presented here is revealed to be a particular instance of a proform theory, thus showing that the distinctions between, and arguments about, syntactic and semantic theories of ellipsis need to be revisited
LFTOP: An LF based approach to domain specific reasoning
No full textSpecialized vocabulary, notations and inference rules tailored for the description, analysis and reasoning of a domain is very important for the domain. For domain-specific issues researchers focus mainly on the design and implementation of domain-specific languages (DSL) and pay little attention to the reasoning aspects. We believe that domain-specific reasoning is very important to help the proofs of some properties of the domains and should be more concise, more reusable and more believable. It deserves to be investigated in an engineering way. Type theory provides good support for generic reasoning and verification. Many type theorists want to extend uses of type theory to more domains, and believe that the methods, ideas, and technology of type theory can have a beneficial effect for computer assisted reasoning in many domains. Proof assistants based on type theory are well known as effective tools to support reasoning. But these proof assistants have focused primarily on generic notations for representation of problems and are oriented towards helping expert type theorists build proofs efficiently. They are successful in this goal, but they are less suitable for use by non-specialists. In other words, one of the big barriers to limit the use of type theory and proof assistant in domain-specific areas is that it requires significant expertise to use it effectively. We present LFTOP ― a new approach to domain-specific reasoning that is based on a type-theoretic logical framework (LP) but does not require the user to be an expert in type theory. In this approach, users work on a domain-specific interface that is familiar to them. The interface presents a reasoning system of the domain through a user-oriented syntax. A middle layer provides translation between the user syntax and LF， and allows additional support for reasoning (e.g. model checking). Thus, the complexity of the logical framework is hidden but we also retain the benefits of using type theory and its related tools, such as precision and machine-checkable proofs. The approach is being investigated through a number of case studies. In each case study, the relevant domain-specific specification languages and logic are formalized in Plastic. The relevant reasoning system is designed and customized for the users of the corresponding specific domain. The corresponding lemmas are proved in Plastic. We analyze the advantages and shortcomings of this approach, define some new concepts related to the approach, especially discuss issues arising from the translation between the different levels. A prototype implementation is developed. We illustrate the approach through many concrete examples in the prototype implementation. The study of this thesis shows that the approach is feasible and promising, the relevant methods and technologies are useful and effective
Walnut Grove school, 1910
No full textWalnut Grove school, 1910,20.2x25.4cm. 1. Nora Spurlock, 2. (Grace) Farley, 3. Verba Regney, 4. Ethel Bailey, 5. Ribdia Chapman, 6. Goldie Chapman, Eva Spurlock,8. Bryan Gwinn, 9. Beulah Starkey, 10. Naomia Bryan, teacher, 11. Mary Blake, 12. Burl Spurlock, 13. Rene Barns, 14. Russell McComas, 15. Cora Bailey, 16. Earl Spurlock, 17. Alva Bailey, 18. Robert Miser, 19. John Chapman, 20. Okey Bailey, 21. Addie Bailey, 22. Andrew Miser, boy with dog, 23. Charlie (Pig) Miser, 24. Russell Bryan, 25. Lillian Bryan , girl with muff/Mona\u27s mother, 26. Verna Chapman, 27. Jim McComas, 28. Grover Chapman, 29. Bertha Spurlock, 30. Mary Spurlock, center lf, 31. Flora McComas, center rt.https://mds.marshall.edu/carrie_eldridge_collection/1103/thumbnail.jp
Walnut Grove school, 1910
No full textWalnut Grove school, 1910,20.2x25.4cm. 1. Nora Spurlock, 2. (Grace) Farley, 3. Verba Regney, 4. Ethel Bailey, 5. Ribdia Chapman, 6. Goldie Chapman, Eva Spurlock,8. Bryan Gwinn, 9. Beulah Starkey, 10. Naomia Bryan, teacher, 11. Mary Blake, 12. Burl Spurlock, 13. Rene Barns, 14. Russell McComas, 15. Cora Bailey, 16. Earl Spurlock, 17. Alva Bailey, 18. Robert Miser, 19. John Chapman, 20. Okey Bailey, 21. Addie Bailey, 22. Andrew Miser, boy with dog, 23. Charlie (Pig) Miser, 24. Russell Bryan, 25. Lillian Bryan , girl with muff/Mona\u27s mother, 26. Verna Chapman, 27. Jim McComas, 28. Grover Chapman, 29. Bertha Spurlock, 30. Mary Spurlock, center lf, 31. Flora McComas, center rt.https://mds.marshall.edu/carrie_eldridge_collection/1104/thumbnail.jp
A multi-wavelength study of z = 3.15 Lyman-α emitters in the GOODS south field
No full textUdgivelsesdato: Augus
Polynomial Approximation in Ep(D) with 0 < p < 1
No full textAbstractIn this paper, we construct approximants by means of interpolation polynomialsto prove Jackson′s theorem and the Bernstein inequality in Ep(D) with 0 < p < 1
Mean Convergence of Interpolation Polynomials in a Domain with Corners
No full textAbstractIn this paper, we prove mean convergence of interpolation polynomials in a domain with some corners
Machine learning and digital twins: monitoring and control for dynamic security in power systems
No full textThe reader of the chapter will be able to connect techniques from machine learning (ML) and digital twins (DTs) to gain insights for monitoring and control of (dynamic) security for electrical power systems. DTs are validated and verified high-fidelity (hf) models providing high simulation accuracy. DTs can be used for simulation of the supervised process of system operation and are therefore able to provide synthetic studied data, where measurement data are scarce. However, for some real-time applications in monitoring and control, such high-fidelity simulation models are not appropriate due to the corresponding computational barrier. There, ML aims to create an application-specific, low-fidelity (lf) approximation of the digital twin. Such trained lf models are used in real-time applications where computational time is scarce and lf information is sufficient. The conceptual intersection of hf and lf models has been little explored and becomes increasingly complex. This chapter aims to provide a conceptual overview of how such hf and lf models can be combined. This chapter is split into two parts where the first part is to introduce ML, lf models, and digital twins, hf models, for power systems analysis, and the second chapter is to use these two types of models to form purpose-driven surrogate lf models, illustrated on the example of dynamic security assessment (DSA). In the first part, the concepts for using DTs as hf models for online power system studies and their corresponding tuning of model parameters are introduced. Subsequently, ML i.e., lf models, are introduced and their corresponding training frameworks. Green Open Access added to TU Delft Institutional Repository ‘You share, we take care!’ – Taverne project https://www.openaccess.nl/en/you-share-we-take-care Otherwise as indicated in the copyright section: the publisher is the copyright holder of this work and the author uses the Dutch legislation to make this work public.Intelligent Electrical Power Grid
Deep spectroscopic luminosity function of Abell 85 : no evidence for a steep upturn of the faint-end slope
No full textIA, AD and ALS acknowledge partial support from the INFN grant InDark and from the grant Progetti di Ateneo TO Call 2012 0011 ‘Marco Polo’ of the University of Torino.We present a new deep determination of the spectroscopic luminosity function (LF) within the virial radius of the nearby and massive Abell 85 (A85) cluster down to the dwarf regime (M* + 6) using Very Large Telescope/Visible Multi-Object Spectrograph (VLT/VIMOS) spectra for ∼2000 galaxies with mr ≤ 21 mag and 〈μe,r〉 ≤ 24 mag arcsec−2. The resulting LF from 438 cluster members is best modelled by a double Schechter function due to the presence of a statistically significant upturn at the faint end. The amplitude of this upturn (αf ~ -1.58+0.19-0.15), however, is much smaller than that of the Sloan Digital Sky Survey (SDSS) composite photometric cluster LF by Popesso et al., αf ∼ −2. The faint-end slope of the LF in A85 is consistent, within the uncertainties, with that of the field. The red galaxy population dominates the LF at low luminosities, and is the main factor responsible for the upturn. The fact that the slopes of the spectroscopic LFs in the field and in a cluster as massive as A85 are similar suggests that the cluster environment does not play a major role in determining the abundance of low-mass galaxies.Peer reviewe
- …
