La norma lingüística del español desde una perspectiva lexicográfica: norma nacional versus norma panhispánica

La definición de la norma lingüística del español desde una perspectiva lexicográfica plantea dificultades y ha provocado debates intensos. Normalmente se otorga al Diccionario académico un valor normativo en el mundo de habla española, sin embargo no está concebido como estrictamente normativo, ya que da entrada a elementos diversos de carácter vulgar, jergal, etc. Por otra parte, ha sido rechazado como referencia normativa por quienes critican su centralismo o su falta de correspondencia con la situación real del español. Estas actitudes críticas se han expresado con frecuencia en la lexicografía hispanoamericana. Las Academias de la lengua española han dado pasos en los últimos años para configurar una norma de carácter panhispánico que sea alternativa real a la implantación de normas de ámbito local o nacional, pero en el terreno lexicográfico la tarea es ardua. Para llevarla a cabo es necesario fundamentar teóricamente con mayor profundidad el concepto de norma panhispánica y elaborar recursos lexicográficos útiles para adaptarla al español actual. La alternativa que se plantea es: avance en la configuración de una norma panhispánica o contienda entre normas nacionale

El balance de pagos

Fil: Aguirre Dubarry, Alejandro J. Universidad de Buenos Aires. Facultad de Derecho. Cátedra de Política Económica Argentina. Buenos Aires, Argentin

Algunas consideraciones sobre el comportamiento de ciertas variables marcroeconómicas

Fil: Aguirre Dubarry, Alejandro J. Universidad de Buenos Aires. Facultad de Derecho. Cátedra de Política Económica Argentina. Buenos Aires, Argentin

Diseño y construcción de una estación didáctica para control de caudal y nivel

El programa de Mecatrónica de la Universidad Tecnológica de Pereira actualmente carece de herramientas para manejar, medir y controlar las variables del control de procesos y producción automatizada, dichas variables son ampliamente estudiadas de forma teóricas en Control o Instrumentación; pero no hay soporte físico necesario para la realización de prácticas que faciliten y refuercen el proceso de aprendizaje, realizando observaciones de que los modelos matemáticos de los sistemas vistos en clase, aplicándose y visualizándose esa teoría en el sistema físico tangible. A través de este proyecto se pretende realizar el diseño y construcción de un módulo didáctico para controlar dos de las variables que se pueden presentar en los procesos industriales, en este caso Nivel y Caudal, aunque la idea es realizarlo de manera modular para que más adelante se pueda complementar con los sensores y actuadores necesarios para las variables adicionales de Presión, Temperatura, pH, etc. y sirva de herramienta de apoyo en la práctica de laboratorio y trabajos de grado para los estudiantes de Mecatrónica y otros programas de la universidad. Para poder llevar esto a cabo se hará uso de herramientas como el programa SolidWorks, para todo el diseño mecánico y estructural del módulo didáctico ofreciendo una garantía mecánica de funcionamiento del sistema; para el sistema de adquisición de datos y SCADA del sistema se realizó con el software LabView y una tarjeta de adquisición de datos de National Instrumens las cual controla y supervisa todo el sistema mediante válvulas monoestables 1/2 y 2 válvulas proporcionales servo controladas en posición

A Relational Logic for Higher-Order Programs

Relational program verification is a variant of program verification where one can reason about two programs and as a special case about two executions of a single program on different inputs. Relational program verification can be used for reasoning about a broad range of properties, including equivalence and refinement, and specialized notions such as continuity, information flow security or relative cost. In a higher-order setting, relational program verification can be achieved using relational refinement type systems, a form of refinement types where assertions have a relational interpretation. Relational refinement type systems excel at relating structurally equivalent terms but provide limited support for relating terms with very different structures. We present a logic, called Relational Higher Order Logic (RHOL), for proving relational properties of a simply typed $\lambda$-calculus with inductive types and recursive definitions. RHOL retains the type-directed flavour of relational refinement type systems but achieves greater expressivity through rules which simultaneously reason about the two terms as well as rules which only contemplate one of the two terms. We show that RHOL has strong foundations, by proving an equivalence with higher-order logic (HOL), and leverage this equivalence to derive key meta-theoretical properties: subject reduction, admissibility of a transitivity rule and set-theoretical soundness. Moreover, we define sound embeddings for several existing relational type systems such as relational refinement types and type systems for dependency analysis and relative cost, and we verify examples that were out of reach of prior work.Comment: Submitted to ICFP 201

ANNA MARÍA PRAT I TRABAL (1938-2013)

El siguiente artículo se adjunta en memoria de la Sra. Ana M. Prat. Corresponde a un resumen bibliográfico escrito por Doña Marcela Aguirre Cabrera, Coordinadora del programa SciELO Chile.La Sra. Ana María Prat colaboró desde un principio en la implementación y certificación de la revista JOTMI. Recordaremos con mucho cariño sus consejos y evaluaciones.El siguiente artículo se adjunta en memoria de la Sra. Ana M. Prat. Corresponde a un resumen bibliográfico escrito por Doña Marcela Aguirre Cabrera, Coordinadora del programa SciELO Chile.La Sra. Ana María Prat colaboró desde un principio en la implementación y certificación de la revista JOTMI. Recordaremos con mucho cariño sus consejos y evaluaciones

Formal verification of higher-order probabilistic programs

Probabilistic programming provides a convenient lingua franca for writing succinct and rigorous descriptions of probabilistic models and inference tasks. Several probabilistic programming languages, including Anglican, Church or Hakaru, derive their expressiveness from a powerful combination of continuous distributions, conditioning, and higher-order functions. Although very important for practical applications, these combined features raise fundamental challenges for program semantics and verification. Several recent works offer promising answers to these challenges, but their primary focus is on semantical issues. In this paper, we take a step further and we develop a set of program logics, named PPV, for proving properties of programs written in an expressive probabilistic higher-order language with continuous distributions and operators for conditioning distributions by real-valued functions. Pleasingly, our program logics retain the comfortable reasoning style of informal proofs thanks to carefully selected axiomatizations of key results from probability theory. The versatility of our logics is illustrated through the formal verification of several intricate examples from statistics, probabilistic inference, and machine learning. We further show the expressiveness of our logics by giving sound embeddings of existing logics. In particular, we do this in a parametric way by showing how the semantics idea of (unary and relational) TT-lifting can be internalized in our logics. The soundness of PPV follows by interpreting programs and assertions in quasi-Borel spaces (QBS), a recently proposed variant of Borel spaces with a good structure for interpreting higher order probabilistic programs

Design of an automated cocktail mixing experience

Thesis (S.B.)--Massachusetts Institute of Technology, Dept. of Mechanical Engineering, 2013.Cataloged from PDF version of thesis.Includes bibliographical references (page 36).This thesis describes the design concept development of an automated cocktail mixing device and user interface that is capable of dispensing a variety of alcoholic and non-alcoholic ingredients to produce a myriad of drink recipes. The design consists of twelve containers, each connected to an electronically controlled valve, mounted over a circularly symmetric frame that houses a cup while ingredients are dispensed into it. A user study was conducted in which participants responded to questions regarding their drinking habits, drink preferences and perceived experience/knowledge of mixing cocktails. In addition, participants were asked to rate a variety of functionalities that might be found in an automated cocktail mixing device based on how important or crucial they perceived them to be. The responses collected through this user study were used to drive the direction of the design concept development. The automated cocktail mixing device design concept was modeled using CAD software in order to better understand the spatial constraints and requirements of the assembly components. This model, combined with the user study and proposed user interface functionalities, serve as the foundation for the further development of the product.by Alejandro Aguirre.S.B