Search results for "Turing"

Inductive inference of recursive functions: Qualitative theory

2005

This survey contains both old and very recent results in non-quantitative aspects of inductive inference of total recursive functions. The survey is not complete. The paper was written to stress some of the main results in selected directions of research performed at the University of Latvia rather than to exhaust all of the obtained results. We concentrated on the more explored areas such as the inference of indices in non-Goedel computable numberings, the inference of minimal Goedel numbers, and the specifics of inference of minimal indices in Kolmogorov numberings.

Understanding the scaling-up of community energy niches through Strategic Niche Management Theory: insights from Finland

2018

The growing phenomenon of civil society involvement in renewable energy generation has attracted researchers’ interest. However, rather little is known of how a diverse and relatively small sector such as community energy could scale up and promote a change in energy production. We examine this issue through the lens of Strategic Niche Management (SNM) and conceptualize community energy as a socio-technical niche that holds the potential to promote a transition to renewable energy. Drawing on interview data with members of community energy projects and experts in Finland, we identify different types of community energy projects and the factors that may prevent them from scaling up. The stud…

Typology of inflorescences

1965

Customer segmentation based on commitment and ICT use

2009

PurposeThe purpose of this paper is to determine and characterize groups of retail customers, based on their perception of commitment to the retailer and the degree of use of its technological equipment.Design/methodology/approachA CHAID algorithm is performed and differences between the resulting segments are tested through the analysis of variance.FindingsFour segments are obtained that differ significantly in commitment to the retailer and level of use of the store's information and communication technology (ICT) facilities, as well as in other variables related to the retailer‐consumer relationship. In particular, customer segments differ in their use of retailers' payment facilities.Pr…

Crisis and restructuration in the Valencian metropolitan area

2015

En el presente artículo presentamos los resultados de un análisis de la estructura socioeconómica del Área Metropolitana de Valencia en 2011 que, en comparación a la existente en 2001, permite apreciar las tendencias recientes de reestructuración territorial. A continuación, se utiliza la tipología territorial hallada como patrón para el análisis de la dinámica reciente de la inversión industrial, una de las variables económicas que ha jugado un papel más importante en la formación del área metropolitana, y que desde distintas instancias viene siendo señalada como un factor estratégico de la recuperación económica. El análisis realizado muestra que, tanto en relación con la actividad indust…

Typologies of the Understanding of the Experience Notion in Pedagogy

2019

The aim of this paper is to present possible typologies of experience and to point out the need to allow for the multidimensionality of experience categories in pedagogical research. Since experience is primarily a philosophical concept, the first section presents a generally acceptable definition of experience. The second section refers to the main philosophical, epistemological and methodological typologies of experience. The last of the typologies which may be of particular use in pedagogy has been discussed in the third section. It describes experience as an activity, its production (result), and a way of perceiving something. This typology organises the types of understanding experienc…

Protocolo técnico para la fotografía de fuentes filológicas primarias

2014

con fines documentales, proyectado para garantizar la máxima fidelidad posible al motivo original representado. Tras una descripción detallada del material necesario, seleccionado específicamente en función de las necesidades particulares de la fotografía de textos manuscritos o impresos, se desarrolla un procedimiento adaptado a las nuevas circunstancias de la fotografía digital, concebido en dos fases: la captación de la imagen en formato RAW, y su posterior edición. En este estudio se trata la primera parte, describiendo sistemáticamente, paso a paso, las decisiones técnicas relativas a los ajustes fotográficos de la toma en diferentes situaciones lumínicas, encaminadas a maximizar la ca…

Separation of di-n-propyl ether and n-propyl alcohol by extractive distillation and pressure-swing distillation: Computer simulation and economic opt…

2011

Abstract Azeotropic mixtures are impossible to separate by ordinary distillation. Two of the most common methods for separating a binary homogeneous azeotrope are pressure-swing distillation (PSD) and extractive distillation (ED). The PSD process is effective if the azeotropic composition changes significantly with pressure. The ED process is effective if a suitable solvent can be found. This paper compares these two alternatives to separate a mixture made up of 50 mol% of di-n-propyl ether and 50 mol% of n-propyl alcohol by means of a practical case of a plant to treat 12,000 Tm/year of this mixture. The simulation has been carried out satisfactorily by mean of a package of commercial soft…

Approach to the 1-propanol dehydration using an extractive distillation process with ethylene glycol

2015

Abstract The extractive distillation process exploits the capacity of some chemicals to alter the relative volatility between the components of a mixture. In this way, a third component (called entrainer) may be added to an azeotropic binary mixture to break the azeotrope. This paper discusses the potential use of ethylene glycol as entrainer in a 1-propanol dehydration process by extractive distillation. First, the present work focuses on the acquisition of isobaric vapor–liquid equilibrium data of the ternary system 1-propanol + water + ethylene glycol system and the binaries systems 1-propanol + ethylene glycol and water + ethylene glycol. All measurements were done at 101.3 kPa. The exp…

Structural behaviour of hybrid glass beams with T cross-sections

2018

Abstract An experimental investigation regarding the flexural and the shear behaviour of glass beams with length 900, 1300, 1700 mm and T cross-section is presented and discussed. T cross-sections were obtained by assembling glass web and glass flange. Some specimens were also reinforced internally in the web with steel plates of thickness 6 mm and depth 25 and 50 mm placed at the bottom portion of the beams for the entire length of the beams themselves. Three specimens for each investigated series were tested in flexure focusing on the flexural and shear response through the determination of the load-deflection curves and the crack patterns at rupture identifying the effects of steel plate…