scholarly journals A Large Set of Designs On Vector Spaces

1994 ◽  
Vol 47 (3) ◽  
pp. 247-272 ◽  
Author(s):  
D.K. Raychaudhuri ◽  
E.J. Schram
Keyword(s):  
2020 ◽  
Vol 2 (4) ◽  
pp. 397-413
Author(s):  
Pim Arendsen ◽  
Diego Marcos ◽  
Devis Tuia

In this paper, we study how to extract visual concepts to understand landscape scenicness. Using visual feature representations from a Convolutional Neural Network (CNN), we learn a number of Concept Activation Vectors (CAV) aligned with semantic concepts from ancillary datasets. These concepts represent objects, attributes or scene categories that describe outdoor images. We then use these CAVs to study their impact on the (crowdsourced) perception of beauty of landscapes in the United Kingdom. Finally, we deploy a technique to explore new concepts beyond those initially available in the ancillary dataset: Using a semi-supervised manifold alignment technique, we align the CNN image representation to a large set of word embeddings, therefore giving access to entire dictionaries of concepts. This allows us to obtain a list of new concept candidates to improve our understanding of the elements that contribute the most to the perception of scenicness. We do this without the need for any additional data by leveraging the commonalities in the visual and word vector spaces. Our results suggest that new and potentially useful concepts can be discovered by leveraging neighbourhood structures in the word vector spaces.


Author(s):  
Xudong Weng ◽  
O.F. Sankey ◽  
Peter Rez

Single electron band structure techniques have been applied successfully to the interpretation of the near edge structures of metals and other materials. Among various band theories, the linear combination of atomic orbital (LCAO) method is especially simple and interpretable. The commonly used empirical LCAO method is mainly an interpolation method, where the energies and wave functions of atomic orbitals are adjusted in order to fit experimental or more accurately determined electron states. To achieve better accuracy, the size of calculation has to be expanded, for example, to include excited states and more-distant-neighboring atoms. This tends to sacrifice the simplicity and interpretability of the method.In this paper. we adopt an ab initio scheme which incorporates the conceptual advantage of the LCAO method with the accuracy of ab initio pseudopotential calculations. The so called pscudo-atomic-orbitals (PAO's), computed from a free atom within the local-density approximation and the pseudopotential approximation, are used as the basis of expansion, replacing the usually very large set of plane waves in the conventional pseudopotential method. These PAO's however, do not consist of a rigorously complete set of orthonormal states.


Author(s):  
Michael schatz ◽  
Joachim Jäger ◽  
Marin van Heel

Lumbricus terrestris erythrocruorin is a giant oxygen-transporting macromolecule in the blood of the common earth worm (worm "hemoglobin"). In our current study, we use specimens (kindly provided by Drs W.E. Royer and W.A. Hendrickson) embedded in vitreous ice (1) to avoid artefacts encountered with the negative stain preparation technigue used in previous studies (2-4).Although the molecular structure is well preserved in vitreous ice, the low contrast and high noise level in the micrographs represent a serious problem in image interpretation. Moreover, the molecules can exhibit many different orientations relative to the object plane of the microscope in this type of preparation. Existing techniques of analysis requiring alignment of the molecular views relative to one or more reference images often thus yield unsatisfactory results.We use a new method in which first rotation-, translation- and mirror invariant functions (5) are derived from the large set of input images, which functions are subsequently classified automatically using multivariate statistical techniques (6). The different molecular views in the data set can therewith be found unbiasedly (5). Within each class, all images are aligned relative to that member of the class which contributes least to the classes′ internal variance (6). This reference image is thus the most typical member of the class. Finally the aligned images from each class are averaged resulting in molecular views with enhanced statistical resolution.


2011 ◽  
Vol 131 (9) ◽  
pp. 1633-1641
Author(s):  
Toshifumi Honda ◽  
Kenji Obara ◽  
Minoru Harada ◽  
Hajime Igarashi

2019 ◽  
Vol 47 (2) ◽  
pp. 118-140
Author(s):  
Artem Kusachov ◽  
Fredrik Bruzelius ◽  
Mattias Hjort ◽  
Bengt J. H. Jacobson

ABSTRACT Commonly used tire models for vehicle-handling simulations are derived from the assumption of a flat and solid surface. Snow surfaces are nonsolid and may move under the tire. This results in inaccurate tire models and simulation results that are too far from the true phenomena. This article describes a physically motivated tire model that takes the effect of snow shearing into account. The brush tire model approach is used to describe an additional interaction between the packed snow in tire tread pattern voids with the snow road surface. Fewer parameters and low complexity make it suitable for real-time applications. The presented model is compared with test track tire measurements from a large set of different tires. Results suggest higher accuracy compared with conventional tire models. Moreover, the model is also proven to be capable of correctly predicting the self-aligning torque given the force characteristics.


Author(s):  
Ehud Hrushovski ◽  
François Loeser

This chapter introduces the concept of stable completion and provides a concrete representation of unit vector Mathematical Double-Struck Capital A superscript n in terms of spaces of semi-lattices, with particular emphasis on the frontier between the definable and the topological categories. It begins by constructing a topological embedding of unit vector Mathematical Double-Struck Capital A superscript n into the inverse limit of a system of spaces of semi-lattices L(Hsubscript d) endowed with the linear topology, where Hsubscript d are finite-dimensional vector spaces. The description is extended to the projective setting. The linear topology is then related to the one induced by the finite level morphism L(Hsubscript d). The chapter also considers the condition that if a definable set in L(Hsubscript d) is an intersection of relatively compact sets, then it is itself relatively compact.


Author(s):  
Yaniv Aspis ◽  
Krysia Broda ◽  
Alessandra Russo ◽  
Jorge Lobo

We introduce a novel approach for the computation of stable and supported models of normal logic programs in continuous vector spaces by a gradient-based search method. Specifically, the application of the immediate consequence operator of a program reduct can be computed in a vector space. To do this, Herbrand interpretations of a propositional program are embedded as 0-1 vectors in $\mathbb{R}^N$ and program reducts are represented as matrices in $\mathbb{R}^{N \times N}$. Using these representations we prove that the underlying semantics of a normal logic program is captured through matrix multiplication and a differentiable operation. As supported and stable models of a normal logic program can now be seen as fixed points in a continuous space, non-monotonic deduction can be performed using an optimisation process such as Newton's method. We report the results of several experiments using synthetically generated programs that demonstrate the feasibility of the approach and highlight how different parameter values can affect the behaviour of the system.


2019 ◽  
Author(s):  
Ryther Anderson ◽  
Achay Biong ◽  
Diego Gómez-Gualdrón

<div>Tailoring the structure and chemistry of metal-organic frameworks (MOFs) enables the manipulation of their adsorption properties to suit specific energy and environmental applications. As there are millions of possible MOFs (with tens of thousands already synthesized), molecular simulation, such as grand canonical Monte Carlo (GCMC), has frequently been used to rapidly evaluate the adsorption performance of a large set of MOFs. This allows subsequent experiments to focus only on a small subset of the most promising MOFs. In many instances, however, even molecular simulation becomes prohibitively time consuming, underscoring the need for alternative screening methods, such as machine learning, to precede molecular simulation efforts. In this study, as a proof of concept, we trained a neural network as the first example of a machine learning model capable of predicting full adsorption isotherms of different molecules not included in the training of the model. To achieve this, we trained our neural network only on alchemical species, represented only by their geometry and force field parameters, and used this neural network to predict the loadings of real adsorbates. We focused on predicting room temperature adsorption of small (one- and two-atom) molecules relevant to chemical separations. Namely, argon, krypton, xenon, methane, ethane, and nitrogen. However, we also observed surprisingly promising predictions for more complex molecules, whose properties are outside the range spanned by the alchemical adsorbates. Prediction accuracies suitable for large-scale screening were achieved using simple MOF (e.g. geometric properties and chemical moieties), and adsorbate (e.g. forcefield parameters and geometry) descriptors. Our results illustrate a new philosophy of training that opens the path towards development of machine learning models that can predict the adsorption loading of any new adsorbate at any new operating conditions in any new MOF.</div>


Sign in / Sign up

Export Citation Format

Share Document