Household behavior and individual autonomy: A Lindahl approach.

A comprehensive model of economic household decision is presented which incorporates both fully cooperative and fully non-cooperative variants, parameterized by the income distribution, as well as a semi-cooperative variant, parameterized in addition by a vector B, representing the degrees of individual autonomy. In this comprehensive model, the concept of "household B-equilibrium" is introduced through the reformulation of the Lindahl equilibrium in strategic terms. Existence is proved and some generic properties of the household B-equilibrium derived. An example is given to illustrate. Finally a particular decomposition of the pseudo-Slutsky matrix is derived and the testability of the various models discussed.Intra-household allocation, household financial management, degree of autonomy, Lindahl prices, local income pooling, separate spheres.

Optimizing construction of scheduled data flow graph for on-line testability

The objective of this work is to develop a new methodology for behavioural synthesis using a flow of synthesis, better suited to the scheduling of independent calculations and non-concurrent online testing. The traditional behavioural synthesis process can be defined as the compilation of an algorithmic specification into an architecture composed of a data path and a controller. This stream of synthesis generally involves scheduling, resource allocation, generation of the data path and controller synthesis. Experiments showed that optimization started at the high level synthesis improves the performance of the result, yet the current tools do not offer synthesis optimizations that from the RTL level. This justifies the development of an optimization methodology which takes effect from the behavioural specification and accompanying the synthesis process in its various stages. In this paper we propose the use of algebraic properties (commutativity, associativity and distributivity) to transform readable mathematical formulas of algorithmic specifications into mathematical formulas evaluated efficiently. This will effectively reduce the execution time of scheduling calculations and increase the possibilities of testability

Automated Observability Investigation of Analog Electronic Circuits using SPICE

In the present paper, a computer-aided approach to fault observability investigation of linear analog circuits is developed. The method is based on sensitivity investigation of the test characteristics in the frequency domain. The test frequencies are selected maximizing the sensitivity of the magnitude of the test characteristics. Applying postprocessing of the simulation results using macrodefinitions in the graphical analyzer Probe, a fault observability investigation of the circuit is performed. A number of sensitivity measures are defined in Probe for observability investigation of multiple faults using pre-defined macrodefinitions. The sensitivity of S-parameters is obtained in order to investigate the fault observability at RF

Adapting to the Shifting Intent of Search Queries

Search engines today present results that are often oblivious to abrupt shifts in intent. For example, the query `independence day' usually refers to a US holiday, but the intent of this query abruptly changed during the release of a major film by that name. While no studies exactly quantify the magnitude of intent-shifting traffic, studies suggest that news events, seasonal topics, pop culture, etc account for 50% of all search queries. This paper shows that the signals a search engine receives can be used to both determine that a shift in intent has happened, as well as find a result that is now more relevant. We present a meta-algorithm that marries a classifier with a bandit algorithm to achieve regret that depends logarithmically on the number of query impressions, under certain assumptions. We provide strong evidence that this regret is close to the best achievable. Finally, via a series of experiments, we demonstrate that our algorithm outperforms prior approaches, particularly as the amount of intent-shifting traffic increases.Comment: This is the full version of the paper in NIPS'0

Supporting Unit Test Generation via Automated Isolation

“Este trabajo es una compilación de crónicas, resultado del programa Talleres de Crónica Memorias del Agua, auspiciado por el Banco de la República bajo la coordinación académica de la Pontificia Universidad Javeriana, que pretende contar una historia inédita del país inspirada por el agua. Las setenta y cuatro crónicas seleccionadas para este libro permitieron concluir que, en el nuevo milenio, en varias capitales y cabeceras municipales del país, hay miles de personas que libran una batalla diaria por acceder a este recurso básico. Estos talleres propiciaron un estimulante diálogo entre culturas regionales, generaciones, oficios, saberes, disciplinas y miradas al agua en medio de la diversidad territorial. La mayoría de los participantes jamás había escrito una crónica, y los que tenían experiencia con la escritura no habían experimentado con ese género. Otros comprendieron la desaprovechada cercanía entre la historia y el periodismo, el periodismo y la literatura. En los talleres aprendieron a encontrar su propia voz y a recoger las voces de otros para lograr esa polifonía que pide el género”. Descripción tomada de la sección de novedades de publicaciones de la Pontificia Universidad Javeriana. http://www.javeriana.edu.co/editorial/libros/pais-gota-agua- Memorias. - Lugares. - Personajes

Empirical Evidence of Large-Scale Diversity in API Usage of Object-Oriented Software

In this paper, we study how object-oriented classes are used across thousands of software packages. We concentrate on "usage diversity'", defined as the different statically observable combinations of methods called on the same object. We present empirical evidence that there is a significant usage diversity for many classes. For instance, we observe in our dataset that Java's String is used in 2460 manners. We discuss the reasons of this observed diversity and the consequences on software engineering knowledge and research

A Framework to Simultaneously Explain Tiny Neutrino Mass and Huge Missing Mass Problem of the Universe

Recently a minimalistic scenario has been developed to explain dark matter and tiny but nonzero neutrino masses. In this scenario, a new scalar called SLIM plays the role of the dark matter. Neutrinos achieve Majorana mass through a one-loop diagram. This scenario can be realized for both real and complex SLIM. Simultaneously explaining the neutrino mass and dark matter abundance constrains the scenario. In particular for real SLIM, an upper bound of a few MeV on the masses of the new particles and a lower bound on their coupling are obtained which make the scenario testable. The low energy scenario can be embedded within various $SU(2)\times U(1)$ symmetric models. I shall briefly review the scenario and a specific model that embeds the scenario, with special emphasis on the effects in the charged Kaon decay which might be observable at the KLOE and NA62 experiments.Comment: 7 pages, 1 figur

Sterile Neutrinos and B-L Symmetry

We revisit the relation between the neutrino masses and the spontaneous breaking of the B-L gauge symmetry. We discuss the main scenarios for Dirac and Majorana neutrinos and point out two simple mechanisms for neutrino masses. In this context the neutrino masses can be generated either at tree level or at quantum level and one predicts the existence of very light sterile neutrinos with masses below the eV scale. The predictions for lepton number violating processes such as mu to e and mu to e gamma are discussed in detail. The impact from the cosmological constraints on the effective number of relativistic degree of freedom is investigated.Comment: v2 new section for the LFV processes, minor corrections, main conclusion unchanged, version to appear in Physics Letters