An economic analysis of unilateral refusals to license intellectual property

The intellectual property laws in the United States provide the owners of intellectual property with discretion to license the right to use that property or to make or sell products that embody the intellectual property. However, the antitrust laws constrain the use of property, including intellectual property, by a firm with market power and may place limitations on the licensing of intellectual property. This paper focuses on one aspect of antitrust law, the so-called “essential facilities doctrine,” which may impose a duty upon firms controlling an “essential facility” to make that facility available to their rivals. In the intellectual property context, an obligation to make property available is equivalent to a requirement for compulsory licensing. Compulsory licensing may embrace the requirement that the owner of software permit access to the underlying code so that others can develop compatible application programs. Compulsory licensing may undermine incentives for research and development by reducing the value of an innovation to the inventor. This paper shows that compulsory licensing also may reduce economic efficiency in the short run by facilitating the entry of inefficient producers and by promoting licensing arrangements that result in higher prices.

Homologous genetic recombination as an intrinsic dynamic property of a DNA structure induced by RecA/Rad51-family proteins: A possible advantage of DNA over RNA as genomic material

Heteroduplex joints are general intermediates of homologous genetic recombination in DNA genomes. A heteroduplex joint is formed between a single-stranded region (or tail), derived from a cleaved parental double-stranded DNA, and homologous regions in another parental double-stranded DNA, in a reaction mediated by the RecA/Rad51-family of proteins. In this reaction, a RecA/Rad51-family protein first forms a filamentous complex with the single-stranded DNA, and then interacts with the double-stranded DNA in a search for homology. Studies of the three-dimensional structures of single-stranded DNA bound either to Escherichia coli RecA or Saccharomyces cerevisiae Rad51 have revealed a novel extended DNA structure. This structure contains a hydrophobic interaction between the 2′ methylene moiety of each deoxyribose and the aromatic ring of the following base, which allows bases to rotate horizontally through the interconversion of sugar puckers. This base rotation explains the mechanism of the homology search and base-pair switch between double-stranded and single-stranded DNA during the formation of heteroduplex joints. The pivotal role of the 2′ methylene-base interaction in the heteroduplex joint formation is supported by comparing the recombination of RNA genomes with that of DNA genomes. Some simple organisms with DNA genomes induce homologous recombination when they encounter conditions that are unfavorable for their survival. The extended DNA structure confers a dynamic property on the otherwise chemically and genetically stable double-stranded DNA, enabling gene segment rearrangements without disturbing the coding frame (i.e., protein-segment shuffling). These properties may give an extensive evolutionary advantage to DNA.

LR property of non-well-formed scales

This article studies generated scales having exactly three different step sizes within the language of algebraic combinatorics on words. These scales and their corresponding step-patterns are called non well formed. We prove that they can be naturally inserted in the Christoffel tree of well-formed words. Our primary focus in this study is on the left- and right-Lyndon factorization of these words. We will characterize the non-well-formed words for which both factorizations coincide. We say that these words satisfy the LR property and show that the LR property is satisfied exactly for half of the non-well-formed words. These are symmetrically distributed in the extended Christoffel tree. Moreover, we find a surprising connection between the LR property and the Christoffel duality. Finally, we prove that there are infinitely many Christoffel–Lyndon words among the set of non-well-formed words and thus there are infinitely many generated scales having as step-pattern a Christoffel–Lyndon word.

Generadores ScalaCheck para property-based testing de programas Spark y Spark Streaming

En los últimos años hemos sido testigos de la expansión del paradigma big data a una velocidad vertiginosa. Los cambios en este campo, nos permiten ampliar las áreas a tratar; lo que a su vez implica una mayor complejidad de los sistemas software asociados a estas tareas, como sucede en sistemas de monitorización o en el Internet de las Cosas (Internet of Things). Asimismo, la necesidad de implementar programas cada vez robustos y eficientes, es decir, que permitan el cómputo de datos a mayor velocidad y de los se obtengan información relevante, ahorrando costes y tiempo, ha propiciado la necesidad cada vez mayor de herramientas que permitan evaluar estos programas. En este contexto, el presente proyecto se centra en extender la herramienta sscheck. Sscheck permite la generación de casos de prueba basados en propiedades de programas escritos en Spark y Spark Streaming. Estos lenguajes forman parte de un mismo marco de código abierto para la computación distribuida en clúster. Dado que las pruebas basadas en propiedades generan datos aleatorios, es difícil reproducir los problemas encontrados en una cierta sesion; por ello, la extensión se centrará en cargar y guardar casos de test en disco mediante el muestreo de datos desde colecciones mayores.

The Finite Embeddability Property for some noncommutative knotted varieties of RL and DRL.

Residuated lattices, although originally considered in the realm of algebra providing a general setting for studying ideals in ring theory, were later shown to form algebraic models for substructural logics. The latter are non-classical logics that include intuitionistic, relevance, many-valued, and linear logic, among others. Most of the important examples of substructural logics are obtained by adding structural rules to the basic logical calculus

Development of a Strengths-Based Model for Insurance Automobile, Property, and Casualty Claims Operations

ABSTRACT \ Employers know that to have a successful organization, they must have the right people in the right jobs. But how will they know whom to place where? The development of a model based upon an individual's personality traits and strengths, and how to best use them, is a good place to start. Employees working in positions in which their traits and strengths are maximized enjoy work more, are more efficient, and are less apt to be absent or to look for work elsewhere. It is a mutually beneficial process of selection for both employers and employees. This model illustrates the process in an automobile and property insurance claims operation through utilization of the Myers-Briggs Type Indicators and the StrengthsFinder Profiles.

[ Property act], 1787

Copy of act pertaining to taking of property for failure to pay taxes. Signed: Alexander Martin and John Sitgreaves.

Indenture acknowledging sale of property, Boston, 1753

Document acknowledges the sale of the late Samuel Clark's house and property to Alexander Hill. Samuel Clark's executor, James Clark, was required by law to sell the property to the highest bidder in order to pay the debts of the deceased.

Deed of sale of property, Hingham, Massachusetts, 1686

Deed acknowledging Sprague's sale of land in Hingham to Israel Fering. Signed by Sprague, Nathaniel Beale, Sr., and John Parsens, Jr.