Mostrando recursos 1 - 20 de 174

  1. Shrink-Fit: A Framework for Flexible Accelerator Sizing

    Lyons, Michael; Wei, Gu-Yeon; Brooks, David M.
    RTL design complexity discouraged adoption of reconfigurable logic in general purpose systems, impeding opportunities for performance and energy improvements. Recent improvements to HLS compilers simplify RTL design and are easing this barrier. A new challenge will emerge: managing reconfigurable resources between multiple applications with custom hardware designs. In this paper, we propose a method to "shrink-fit" accelerators within widely varying fabric budgets. Shrink-fit automatically shrinks existing accelerator designs within small fabric budgets and grows designs to increase performance when larger budgets are available. Our method takes advantage of current accelerator design techniques and introduces a novel architectural approach based on...

  2. RP-DeLP: A weighted defeasible argumentation framework based on a recursive semantics

    Alsinet, Teresa; Bejar, Ramon; Godo, Lluis; Guitart, Francesc
    In this article, we propose a recursive semantics for warranted formulas in a general defeasible logic argumentation framework by formalizing a notion of collective (non-binary) conflict among arguments. The recursive semantics for warranted formulas is based on the intuitive grounds that if an argument is rejected, then further arguments built on top of it should also be rejected. The main characteristic of our recursive semantics is that an output (or extension) of a knowledge base is a pair consisting of a set of warranted and a set of blocked formulas. Arguments for both warranted and blocked formulas are recursively based...

  3. Contratos de consumo

    Krieger, Walter F.
    Siendo la regulación de las relaciones de consumo, tal como lo señala Lorenzetti un “microsistema del derecho” que atraviesa el derecho civil, el derecho comercial, el derecho de daños y el derecho administrativo, corresponde, a los fines de obtener un ordenamiento lógico, formular un análisis que parta de lo general y luego avance hacia lo particular.

  4. ¿Uno para todos? Distribución territorial del gasto, política provincial y Gobiernos Locales en Córdoba, 2001-2004

    Nazareno, Marcelo Gabriel; Cingolani, Mónica Susana; Mazzalay, Víctor Hugo
    El presente proyecto está orientado a establecer las características generales de la distribución territorial del gasto discrecional por parte del Gobierno de la Provincia de Córdoba desde el año 2001. Propone como hipótesis general que esta distribución está sometida tanto a una lógica electoral por parte del Gobierno Provincial, como a la influencia de las características de las redes sociales que vinculan a los Gobiernos locales con el Gobierno Provincial, ambos factores, a su vez, condicionados por las características de los contextos institucionales que regulan el sistema político, las diferentes áreas del gasto provincial y el acceso a las redes...

  5. La economía política de la asignación de recursos públicos. Distribución del gasto provincial entre jurisdicciones locales en Córdoba. 1998 - 2005

    Nazareno, Marcelo Gabriel; Cingolani, Mónica Susana; Mazzalay, Víctor Hugo; Pacharoni, Víctor Alberto; Lardone, Martín Guillermo; Morón, Silvia Susana
    Este proyecto pretende establecer las características generales de la distribución territorial del gasto discrecional por parte del Gobierno de la provincia de Córdoba desde el año 1998. La hipótesis general es que esta distribución está sometida tanto a una lógica electoral como a la influencia de las redes sociales que vinculan a los Gobiernos locales con el Gobierno provincial. Ambos factores, a su vez, están condicionados por las características de los contextos institucionales que regulan el sistema político, las diferentes áreas del gasto provincial y el acceso a las redes de interacción social. Como una de las hipótesis específicas, plantea...

  6. Forensic bitemark identification: weak foundations, exaggerated claims

    Saks, Michael J.; Albright, Thomas; Bohan, Thomas L.; Bierer, Barbara E.; Bowers, C. Michael; Bush, Mary A.; Bush, Peter J.; Casadevall, Arturo; Cole, Simon A.; Denton, M. Bonner; Diamond, Shari Seidman; Dioso-Villa, Rachel; Epstein, Jules; Faigman, David; Faigman, Lisa; Fienberg, Stephen E.; Garrett, Brandon L.; Giannelli, Paul C.; Greely, Henry T.; Imwinkelried, Edward; Jamieson, Allan; Kafadar, Karen; Kassirer, Jerome P.; Koehler, Jonathan ‘Jay’; Korn, David; Mnookin, Jennifer; Morrison, Alan B.; Murphy, Erin; Peerwani, Nizam; Peterson, Joseph L.; Risinger, D. Michael; Sensabaugh, George F.; Spiegelman, Clifford; Stern, Hal; Thompson, William C.; Wayman, James L.; Zabell, Sandy; Zumwalt, Ross E.
    Abstract Several forensic sciences, especially of the pattern-matching kind, are increasingly seen to lack the scientific foundation needed to justify continuing admission as trial evidence. Indeed, several have been abolished in the recent past. A likely next candidate for elimination is bitemark identification. A number of DNA exonerations have occurred in recent years for individuals convicted based on erroneous bitemark identifications. Intense scientific and legal scrutiny has resulted. An important National Academies review found little scientific support for the field. The Texas Forensic Science Commission recently recommended a moratorium on the admission of bitemark expert testimony. The California Supreme Court...

  7. Las fábricas de tabacos en España (1731-1945)

    Castañeda López, Carolina
    El objeto de la presente tesis es el estudio comparativo desde un enfoque arquitectónico y patrimonial de las fábricas tabacaleras en España surgidas bajo la gestión del monopolio hacendístico del tabaco. Con ello se pretende profundizar en la realidad arquitectónica que engloba un proceso de producción determinado, como es el del tabaco, históricamente asociado a la figura de la mujer como trabajadora y que define un tipo fabril característico en la formalización arquitectónica del espacio productivo. En este sentido, la investigación se ha centrado en aquellas fundaciones fabriles surgidas bajo la gestión de la Renta de Tabacos por parte de...

  8. Desplegado de programas lógicos difusos.

    Penabad Vázquez, Jaime
    El objetivo general de esta tesis es la introducción de un conjunto de transformaciones, basadas en desplegado, para optimizar programas lógicos difusos. Introducimos por primera vez estas técnicas de transformación de programas, que por otra parte son clásicas en paradigmas declarativos precedentes como el lógico, funcional y el lógico-funcional, sobre distintos lenguajes de la programación lógica difusa (a los que también en ocasiones aportamos diferentes tipos de enriquecimientos), poniendo especial énfasis en el relativamente reciente marco lógico multi-adjunto. En este potente paradigma difuso se extiende la noción clásica de cláusula al etiquetar las reglas con pesos y permitir la presencia...

  9. Learning Commonalities in RDF and SPARQL

    El Hassad, Sara; Goasdoué, François; Jaudoin, Hélène
    Finding commonalities between descriptions of data or knowledge is a fundamental task in Machine Learning. The formal notion characterizing precisely such commonalities is known as least general generalization of descriptions and was introduced by G. Plotkin in the early 70's, in First Order Logic. Identifying least general generalizations has a large scope of database applications ranging from query optimization (e.g., to share commonalities between queries in view selection or multi-query optimization) to recommendation in social networks (e.g., to establish connections between users based on their commonalities between profiles or searches). To the best of our knowledge, this is the first...

  10. Expressing and Detecting Control Flow Properties of Distributed Computations

    Garg, Vijay,; Tomlinson, Alex; Fromentin, Eddy; Raynal, Michel
    Properties of distributed computations can be either on their global states or on their control flows. This paper addresses control flow properties. It first presents a simple yet powerful logic for expressing general properties on control flows, seen as sequences of local states. Among other properties, we can express invariance, sequential properties (to satisfy such a property a control flow must match a pattern described as a word on some alphabet) and non-sequential properties (these properties are on several control flows at the same time). A decentralized detection algorithm for properties described by this logic is then presented. This algorithm,...

  11. Expressing and Detecting Control Flow Properties of Distributed Computations

    Garg, Vijay,; Tomlinson, Alex; Fromentin, Eddy; Raynal, Michel
    Properties of distributed computations can be either on their global states or on their control flows. This paper addresses control flow properties. It first presents a simple yet powerful logic for expressing general properties on control flows, seen as sequences of local states. Among other properties, we can express invariance, sequential properties (to satisfy such a property a control flow must match a pattern described as a word on some alphabet) and non-sequential properties (these properties are on several control flows at the same time). A decentralized detection algorithm for properties described by this logic is then presented. This algorithm,...

  12. Encoding a dependent-type -calculus in a logic programming language

    Felty, Amy; Miller, Dale
    Various forms of typed l-calculi have been proposed as specification languages for representing wide varieties of object logics. The logical framework, LF is an example of such a dependent-type l-calculus. A small subset of intuitionistic logic with quantification over simply typed l-calculus has also been proposed as a framework for specifying general logics. The logic of hereditary Harrop formulas with quantification at all non-predicate types, denoted here as hhw is such a meta-logic that has been implemented in both the Isabelle theorem prover and the lProlog logic programming language. In this paper, we show how LF can be encoded into...

  13. Encoding a dependent-type -calculus in a logic programming language

    Felty, Amy; Miller, Dale
    Various forms of typed l-calculi have been proposed as specification languages for representing wide varieties of object logics. The logical framework, LF is an example of such a dependent-type l-calculus. A small subset of intuitionistic logic with quantification over simply typed l-calculus has also been proposed as a framework for specifying general logics. The logic of hereditary Harrop formulas with quantification at all non-predicate types, denoted here as hhw is such a meta-logic that has been implemented in both the Isabelle theorem prover and the lProlog logic programming language. In this paper, we show how LF can be encoded into...

  14. Encoding a dependent-type -calculus in a logic programming language

    Felty, Amy; Miller, Dale
    Various forms of typed l-calculi have been proposed as specification languages for representing wide varieties of object logics. The logical framework, LF is an example of such a dependent-type l-calculus. A small subset of intuitionistic logic with quantification over simply typed l-calculus has also been proposed as a framework for specifying general logics. The logic of hereditary Harrop formulas with quantification at all non-predicate types, denoted here as hhw is such a meta-logic that has been implemented in both the Isabelle theorem prover and the lProlog logic programming language. In this paper, we show how LF can be encoded into...

  15. A Hybrid Linear Logic for Constrained Transition Systems with Applications to Molecular Biology

    Chaudhuri, Kaustuv; Despeyroux, Joelle
    Linear implication can represent state transitions, but real transition systems operate under temporal, stochastic or probabilistic constraints that are not directly representable in ordinary linear logic. We propose a general modal extension of intuitionistic linear logic where logical truth is indexed by constraints and hybrid connectives combine constraint reasoning with logical reasoning. The logic has a focused cut-free sequent calculus that can be used to internalize the rules of particular constrained transition systems; we illustrate this with an adequate encoding of the synchronous stochastic pi-calculus. We also present some preliminary experiments of direct encoding of biological systems in the logic.

  16. A Hybrid Linear Logic for Constrained Transition Systems with Applications to Molecular Biology

    Chaudhuri, Kaustuv; Despeyroux, Joelle
    Linear implication can represent state transitions, but real transition systems operate under temporal, stochastic or probabilistic constraints that are not directly representable in ordinary linear logic. We propose a general modal extension of intuitionistic linear logic where logical truth is indexed by constraints and hybrid connectives combine constraint reasoning with logical reasoning. The logic has a focused cut-free sequent calculus that can be used to internalize the rules of particular constrained transition systems; we illustrate this with an adequate encoding of the synchronous stochastic pi-calculus. We also present some preliminary experiments of direct encoding of biological systems in the logic.

  17. A Hybrid Linear Logic for Constrained Transition Systems with Applications to Molecular Biology

    Chaudhuri, Kaustuv; Despeyroux, Joelle
    Linear implication can represent state transitions, but real transition systems operate under temporal, stochastic or probabilistic constraints that are not directly representable in ordinary linear logic. We propose a general modal extension of intuitionistic linear logic where logical truth is indexed by constraints and hybrid connectives combine constraint reasoning with logical reasoning. The logic has a focused cut-free sequent calculus that can be used to internalize the rules of particular constrained transition systems; we illustrate this with an adequate encoding of the synchronous stochastic pi-calculus. We also present some preliminary experiments of direct encoding of biological systems in the logic.

  18. An introduction to general logic [microform].

    Jones, E. E. Constance.
    Microfilm.

  19. Aristotle's ategorical Syllogisms as Dialectical Games. Work in Progress

    Rahman, Shahid; Crubellier, Michel; Mcconaughey, Zoe
    It is the introduction of book in Preparation on the links between Aristotle's Logic and his dialectics The main claim is that nowadays dialogical frame for logic provides the most accurate reconstruction of Arisotl'es general notion of logic

  20. Aristotle's ategorical Syllogisms as Dialectical Games. Work in Progress

    Rahman, Shahid; Crubellier, Michel; Mcconaughey, Zoe
    It is the introduction of book in Preparation on the links between Aristotle's Logic and his dialectics The main claim is that nowadays dialogical frame for logic provides the most accurate reconstruction of Arisotl'es general notion of logic

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.