Computational Structure of Human Language

The central thesis of this report is that human language is NP-complete. That is, the process of comprehending and producing utterances is bounded above by the class NP, and below by NP-hardness. This constructive complexity thesis has two empirical consequences. The first is to predict that a linguistic theory outside NP is unnaturally powerful. The second is to predict that a linguistic theory easier than NP-hard is descriptively inadequate. To prove the lower bound, I show that the following three subproblems of language comprehension are all NP-hard: decide whether a given sound is possible sound of a given language; disambiguate a sequence of words; and compute the antecedents of pronouns. The proofs are based directly on the empirical facts of the language user's knowledge, under an appropriate idealization. Therefore, they are invariant across linguistic theories. (For this reason, no knowledge of linguistic theory is needed to understand the proofs, only knowledge of English.) To illustrate the usefulness of the upper bound, I show that two widely-accepted analyses of the language user's knowledge (of syntactic ellipsis and phonological dependencies) lead to complexity outside of NP (PSPACE-hard and Undecidable, respectively). Next, guided by the complexity proofs, I construct alternate linguisitic analyses that are strictly superior on descriptive grounds, as well as being less complex computationally (in NP). The report also presents a new framework for linguistic theorizing, that resolves important puzzles in generative linguistics, and guides the mathematical investigation of human language.

A Detailed Look at Scale and Translation Invariance in a Hierarchical Neural Model of Visual Object Recognition

The HMAX model has recently been proposed by Riesenhuber & Poggio as a hierarchical model of position- and size-invariant object recognition in visual cortex. It has also turned out to model successfully a number of other properties of the ventral visual stream (the visual pathway thought to be crucial for object recognition in cortex), and particularly of (view-tuned) neurons in macaque inferotemporal cortex, the brain area at the top of the ventral stream. The original modeling study only used ``paperclip'' stimuli, as in the corresponding physiology experiment, and did not explore systematically how model units' invariance properties depended on model parameters. In this study, we aimed at a deeper understanding of the inner workings of HMAX and its performance for various parameter settings and ``natural'' stimulus classes. We examined HMAX responses for different stimulus sizes and positions systematically and found a dependence of model units' responses on stimulus position for which a quantitative description is offered. Interestingly, we find that scale invariance properties of hierarchical neural models are not independent of stimulus class, as opposed to translation invariance, even though both are affine transformations within the image plane.

Geometric and Algebraic Aspects of 3D Affine and Projective Structures from Perspective 2D Views

We investigate the differences --- conceptually and algorithmically --- between affine and projective frameworks for the tasks of visual recognition and reconstruction from perspective views. It is shown that an affine invariant exists between any view and a fixed view chosen as a reference view. This implies that for tasks for which a reference view can be chosen, such as in alignment schemes for visual recognition, projective invariants are not really necessary. We then use the affine invariant to derive new algebraic connections between perspective views. It is shown that three perspective views of an object are connected by certain algebraic functions of image coordinates alone (no structure or camera geometry needs to be involved).

Object Detection in Images by Components

In this paper we present a component based person detection system that is capable of detecting frontal, rear and near side views of people, and partially occluded persons in cluttered scenes. The framework that is described here for people is easily applied to other objects as well. The motivation for developing a component based approach is two fold: first, to enhance the performance of person detection systems on frontal and rear views of people and second, to develop a framework that directly addresses the problem of detecting people who are partially occluded or whose body parts blend in with the background. The data classification is handled by several support vector machine classifiers arranged in two layers. This architecture is known as Adaptive Combination of Classifiers (ACC). The system performs very well and is capable of detecting people even when all components of a person are not found. The performance of the system is significantly better than a full body person detector designed along similar lines. This suggests that the improved performance is due to the components based approach and the ACC data classification structure.

Sales restriction, quality selection and the mode of competition

A regulator imposing “sales restrictions” on firms competing in oligopolistic markets may enhance quality provision by the firms. Moreover, for most restrictions levels, the impact on quality selection is invariant to the mode of competition

When a data set can be considered compositional?

Traditionally, compositional data has been identified with closed data, and the simplex has been considered as the natural sample space of this kind of data. In our opinion, the emphasis on the constrained nature of compositional data has contributed to mask its real nature. More crucial than the constraining property of compositional data is the scale-invariant property of this kind of data. Indeed, when we are considering only few parts of a full composition we are not working with constrained data but our data are still compositional. We believe that it is necessary to give a more precise definition of composition. This is the aim of this oral contribution

Analyzing shapes as compositions of distances

We propose to analyze shapes as “compositions” of distances in Aitchison geometry as an alternate and complementary tool to classical shape analysis, especially when size is non-informative. Shapes are typically described by the location of user-chosen landmarks. However the shape – considered as invariant under scaling, translation, mirroring and rotation – does not uniquely define the location of landmarks. A simple approach is to use distances of landmarks instead of the locations of landmarks them self. Distances are positive numbers defined up to joint scaling, a mathematical structure quite similar to compositions. The shape fixes only ratios of distances. Perturbations correspond to relative changes of the size of subshapes and of aspect ratios. The power transform increases the expression of the shape by increasing distance ratios. In analogy to the subcompositional consistency, results should not depend too much on the choice of distances, because different subsets of the pairwise distances of landmarks uniquely define the shape. Various compositional analysis tools can be applied to sets of distances directly or after minor modifications concerning the singularity of the covariance matrix and yield results with direct interpretations in terms of shape changes. The remaining problem is that not all sets of distances correspond to a valid shape. Nevertheless interpolated or predicted shapes can be backtransformated by multidimensional scaling (when all pairwise distances are used) or free geodetic adjustment (when sufficiently many distances are used)

Thermal Noise Behavior of the Bridge Circuit

This paper considers a connection between the deterministic and noisy behavior of nonlinear networks. Specifically, a particular bridge circuit is examined which has two possibly nonlinear energy storage elements. By proper choice of the constitutive relations for the network elements, the deterministic terminal behavior reduces to that of a single linear resistor. This reduction of the deterministic terminal behavior, in which a natural frequency of a linear circuit does not appear in the driving-point impedance, has been shown in classical circuit theory books (e.g. [1, 2]). The paper shows that, in addition to the reduction of the deterministic behavior, the thermal noise at the terminals of the network, arising from the usual Nyquist-Johnson noise model associated with each resistor in the network, is also exactly that of a single linear resistor. While this result for the linear time-invariant (LTI) case is a direct consequence of a well-known result for RLC circuits, the nonlinear result is novel. We show that the terminal noise current is precisely that predicted by the Nyquist-Johnson model for R if the driving voltage is zero or constant, but not if the driving voltage is time-dependent or the inductor and capacitor are time-varying

A tale of two logits, compositional data analysis and zero observations

The application of compositional data analysis through log ratio trans- formations corresponds to a multinomial logit model for the shares themselves. This model is characterized by the property of Independence of Irrelevant Alter- natives (IIA). IIA states that the odds ratio in this case the ratio of shares is invariant to the addition or deletion of outcomes to the problem. It is exactly this invariance of the ratio that underlies the commonly used zero replacement procedure in compositional data analysis. In this paper we investigate using the nested logit model that does not embody IIA and an associated zero replacement procedure and compare its performance with that of the more usual approach of using the multinomial logit model. Our comparisons exploit a data set that com- bines voting data by electoral division with corresponding census data for each division for the 2001 Federal election in Australia

Implementation of a robust coded structured light technique for dynamic 3D measurements

This paper presents the implementation details of a coded structured light system for rapid shape acquisition of unknown surfaces. Such techniques are based on the projection of patterns onto a measuring surface and grabbing images of every projection with a camera. Analyzing the pattern deformations that appear in the images, 3D information of the surface can be calculated. The implemented technique projects a unique pattern so that it can be used to measure moving surfaces. The structure of the pattern is a grid where the color of the slits are selected using a De Bruijn sequence. Moreover, since both axis of the pattern are coded, the cross points of the grid have two codewords (which permits to reconstruct them very precisely), while pixels belonging to horizontal and vertical slits have also a codeword. Different sets of colors are used for horizontal and vertical slits, so the resulting pattern is invariant to rotation. Therefore, the alignment constraint between camera and projector considered by a lot of authors is not necessary

A system to reduce the effect of CCDs saturation

Colour image segmentation based on the hue component presents some problems due to the physical process of image formation. One of that problems is colour clipping, which appear when at least one of the sensor components is saturated. We have designed a system, that works for a trained set of colours, to recover the chromatic information of those pixels on which colour has been clipped. The chromatic correction method is based on the fact that hue and saturation are invariant to the uniform scaling of the three RGB components. The proposed method has been validated by means of a specific colour image processing board that has allowed its execution in real time. We show experimental results of the application of our method

Modeling of hybrid systems by piecewise decomposition

Piecewise linear models systems arise as mathematical models of systems in many practical applications, often from linearization for nonlinear systems. There are two main approaches of dealing with these systems according to their continuous or discrete-time aspects. We propose an approach which is based on the state transformation, more particularly the partition of the phase portrait in different regions where each subregion is modeled as a two-dimensional linear time invariant system. Then the Takagi-Sugeno model, which is a combination of local model is calculated. The simulation results show that the Alpha partition is well-suited for dealing with such a system

Efectividad y seguridad de las emulsiones de pescado en la colestasis asociada a nutrición parenteral en neonatos

El daño hepático asociado a Nutrición Parenteral es una complicación letal en pacientes con nutrición parenteral prolongada. Su etiología no es clara aún, y se cree que las emulsiones lipídicas tradicionales con en base aceite de soya pueden contribuir a su génesis. Recientemente la modificación del contenido de ácidos grasos de las emulsiones lipídicas tradicionalmente de ácidos grasos omega-6 a ricas en omega-3 se postula como terapia prometedora en niños con PNALD. Se realizó una búsqueda sistemática de la literatura en Cochrane y Pubmed, se seleccionaron ensayos clínicos controlados y estudios de cohorte prospectiva. Se utilizó le metodología SIGN para la calificación de los estudios y evaluación del grado de recomendación basada en la evidencia. El meta-análisis que se llevó a cabo incluyó dos artículos de cohorte prospectiva del grupo de Boston para la variable principal de desenlace considerada: tiempo de reverso de la colestasis. Los pacientes que recibieron emulsiones de lípidos de pescado experimentaron regresión de la colestasis significativamente más rápido que los que recibieron emulsiones de soya (HR=10.3, IC 95%:3.7,29,0, efectos fijos), menor mortalidad y menor necesidad de trasplante hepático. Su utilización no se asocia con deficiencia de ácidos grasos, hipertrigliceridemia, coagulopatía o retraso en el crecimiento. Se evidencio una correlación entre la disminución de los niveles de triglicéridos y aumento de los niveles de albúmina, sugiriendo un beneficio nutricional en los pacientes bajo infusiones de lípidos de pescado.

Proceso de transformación de insumo a producto cárnico bovino de la organización HB carnes PC S.A.S Del Frigorífico Guadalupe

El presente trabajo brinda un estudio de la cadena de abastecimiento y de producción del sector cárnico colombiano específicamente de una micropyme ubicada en la Central de Carnes Guadalupe del Frigorífico Guadalupe. Estudiando y evaluando los diferentes procesos que intervienen en dicha empresa con base en los estándares y regulaciones tanto a nivel nacional como internacional. El estudio usa una metodología donde se da a conocer la situación del mercado ganadero en diferentes momentos del tiempo, así como una proyección a futuro a propósito de las nuevas condiciones de mercado que implican la firma del Tratado de Libre Comercio con Estados Unidos. Se lleva a cabo una revisión teórica y conceptual donde se identifican las mejores prácticas dentro de la cadena cárnica observando experiencias de éxito en Colombia y otros países que han tecnificado el funcionamiento de la misma. Que servirá de base para la evaluación de la cadena específica de HB CARNES PC S.A.S, la micropyme a estudiar. Por último se lleva a cabo un ejercicio de simulación de exportación del producto cárnico desde Colombia a Rusia, a través de la matriz de Distribución Física Internacional, como una estrategia alterna a lo propuesto por el TLC firmado.

Proceso de transformación de insumo a producto cárnico bovino de la organización HB carnes PC S.A.S del Frigorífico Guadalupe

El presente trabajo brinda un estudio de la cadena de abastecimiento y de producción del sector cárnico colombiano específicamente de una micropyme ubicada en la Central de Carnes Guadalupe del Frigorífico Guadalupe. Estudiando y evaluando los diferentes procesos que intervienen en dicha empresa con base en los estándares y regulaciones tanto a nivel nacional como internacional. El estudio usa una metodología donde se da a conocer la situación del mercado ganadero en diferentes momentos del tiempo, así como una proyección a futuro a propósito de las nuevas condiciones de mercado que implican la firma del Tratado de Libre Comercio con Estados Unidos. Se lleva a cabo una revisión teórica y conceptual donde se identifican las mejores prácticas dentro de la cadena cárnica observando experiencias de éxito en Colombia y otros países que han tecnificado el funcionamiento de la misma. Que servirá de base para la evaluación de la cadena específica de HB CARNES PC S.A.S, la micropyme a estudiar. Por último se lleva a cabo un ejercicio de simulación de exportación del producto cárnico desde Colombia a Rusia, a través de la matriz de Distribución Física Internacional, como una estrategia alterna a lo propuesto por el TLC firmado.