Search results for "construct"
showing 10 items of 3723 documents
Geometric and conceptual knowledge representation within a generative model of visual perception
1989
A representation scheme of knowledge at both the geometric and conceptual levels is offered which extends a generative theory of visual perception. According to this theory, the perception process proceeds through different scene representations at various levels of abstraction. The geometric domain is modeled following the CSG (constructive solid geometry) approach, taking advantage of the geometric modelling scheme proposed by A. Pentland, based on superquadrics as representation primitives. Recursive Boolean combinations and deformations are considered in order to enlarge the scope of the representation scheme and to allow for the construction of real-world scenes. In the conceptual doma…
Recursive modeling for completed code generation
2009
Model-Driven Development is promising to software development because it can reduce the complexity and cost of developing large software systems. The basic idea is the use of different kinds of models during the software development process, transformations between them, and automatic code generation at the end of the development. But unlike the structural parts, fully-automated code generation from the behavior parts is still hard, if it works at all, restricted to specific application areas using a domain specific language, DSL.This paper proposes an approach to model the behavior parts of a system and to embed them into the structural models. The underlying idea is recursive refinements …
Mesh connectivity compression using convection reconstruction
2007
International audience; During a highly productive period running from 1995 to about 2002, the research in lossless compression of 3D meshes mainly consisted in a hard battle for the best bitrates. But for a few years, compression rates seem stabilized around 1.5 bit per vertex for the connectivity coding of usual meshes, and more and more work is dedicated to remeshing, lossy compression, or gigantic mesh compression, where memory and CPU optimizations are the new priority. However, the size of 3D models keeps growing, and many application fields keep requiring lossless compression. In this paper, we present a new contribution for single-rate lossless connectivity compression, which first …
The power of procrastination in inductive inference: How it depends on used ordinal notations
1995
We consider inductive inference with procrastination. Usually it is defined using constructive ordinals. For constructive ordinals there exist many different systems of notations. In this paper we study how the power of inductive inference depends on used system of notations.
Towards a Comprehensive Understanding of Body Image: Integrating Positive Body Image, Embodiment and Self-Compassion.
2021
Body image (BI) disturbance is a relevant factor in the etiology and treatment of eating disorders (ED). Although progress has been made in recent decades in understanding BI and its relationship with ED, the efficacy of BI disturbance prevention and intervention programs is still limited. In order to reach deeper understanding of BI disturbance and clarify the interactions between some protective and risk factors related to this construct, we carried out a literature review on some specific BI-related factors that so far have been analyzed independently. We specifically examined positive and negative BI; embodiment and its role in the development of positive and negative BI; and self-compa…
Automata and forbidden words
1998
Abstract Let L ( M ) be the (factorial) language avoiding a given anti-factorial language M . We design an automaton accepting L ( M ) and built from the language M . The construction is effective if M is finite. If M is the set of minimal forbidden words of a single word ν, the automaton turns out to be the factor automaton of ν (the minimal automaton accepting the set of factors of ν). We also give an algorithm that builds the trie of M from the factor automaton of a single word. It yields a nontrivial upper bound on the number of minimal forbidden words of a word.
Minimal forbidden words and factor automata
1998
International audience; Let L(M) be the (factorial) language avoiding a given antifactorial language M. We design an automaton accepting L(M) and built from the language M. The construction is eff ective if M is finite. If M is the set of minimal forbidden words of a single word v, the automaton turns out to be the factor automaton of v (the minimal automaton accepting the set of factors of v). We also give an algorithm that builds the trie of M from the factor automaton of a single word. It yields a non-trivial upper bound on the number of minimal forbidden words of a word.
On the classification of large residential buildings stocks by sample typologies for energy planning purposes
2014
Local and central administrations are often called to properly allocate economic resources intended for the territorial energy planning, on the basis of the performances achieved by implementing energy conservation measures. Particularly in the residential sector, that represents one of the most relevant sector for the energy demand, effective and reliable evaluation tools are required for this aim. Unfortunately, building stocks are characterized by a very large number of buildings that are referred to different construction periods and are equipped with a variety of appliances and tools, other than with different heating and cooling systems. This means that the whole energy consumption of…
Architectural technologies for life environment: Spent coffee ground reuse in lime-based mortars. A preliminary assessment for innovative green therm…
2022
Spent coffee ground, the residue obtained from the brewing process, is the primary unavoidable (inedible) waste from the coffee consumption. As coffee production and beverage consumption are increasing worldwide, a more sustainable waste management is required since the usual disposal in landfill is a liability to both humans and the environment. This paper is aimed at showing a possible alternative reuse of coffee ground wastes in novel green building materials intended for thermo-plastering applications in construction, in a circular economy context. Coffee waste was used in various percentages (up to 17.5%) to assess the engineering performance of the produced bio-composite mortars. The …
Criteria for validity of thermodynamic equations from non-equilibrium molecular dynamics simulations
2008
Abstract The assumption of local equilibrium is validated in four different systems where heat and mass are transported. Mass fluxes up to 13 kmol / m 2 s and temperature gradients up to 10 12 K / m were used. A two-component mixture, two vapor–liquid interfaces, a chemical reaction in a temperature gradient and gas adsorbed in zeolite were studied using non-equilibrium molecular dynamics simulations. In all cases, we verified that thermodynamic variables obeyed normal thermodynamic relations, with an accuracy better than 5%. The heat and mass fluxes, and the reaction rate were linearly related to the driving forces. Onsager's reciprocal relations were validated for two systems. Equipartiti…