Arias

Results: 533



#Item
151Type theory / Functional languages / Mathematical logic / FAUST / Eval / Mathematical proof / Nyquist–Shannon sampling theorem / Coq / Dependent type / Mathematics / Computing / Theoretical computer science

A Taste of Sound Reasoning in Faust Emilio Jesús Gallego Arias, Olivier Hermant, Pierre Jouvelot MINES ParisTech, PSL Research University, France {emilio.gallego_arias, olivier.hermant, pierre.jouvelot}@mines-paristech.

Add to Reading List

Source URL: www.cri.ensmp.fr

Language: English - Date: 2015-03-19 06:05:38
152

ONUSIDA celebró el Día Internacional para la Cero Discriminación 1ro. de Marzo, Día Internacional para la Cero Discriminación Licda. Arantxa Arias Bajo el lema: “Ábrete al mundo y tiende la mano”, el Programa

Add to Reading List

Source URL: media.onu.org.do

Language: Spanish - Date: 2015-04-09 12:08:11
    153Republics / Laura Chinchilla / Óscar Arias / National Liberation Party / Tico / Costa Rican general election / Politics of Costa Rica / Costa Rica / Politics

    ©Lonely Planet Publications Pty Ltd Understand Costa Rica Costa Rica Today . . . . . . . . . . . . . . . . . . . . . . . . 464 Green goals and a border dispute feature in this snapshot of

    Add to Reading List

    Source URL: media.lonelyplanet.com

    Language: English - Date: 2014-08-01 20:00:43
    154

    CON ALLENDE EN CAMPANA Mtro. Osvaldo Arias Escobedo. Histoiador. mce-rector de la Universidad de Clùle-Chillârt. Actualntente profesor etx la Escuela de Histoia de la Universidad Miclnacana y Coordirndor de Estrtdios

    Add to Reading List

    Source URL: www.salvador-allende.cl

    Language: Spanish - Date: 2007-09-16 13:27:31
      155Cloud infrastructure / Software as a service / Azure Services Platform / HP Cloud Service Automation Software / IBM cloud computing / Cloud computing / Centralized computing / Computing

      Resource Provisioning in Clouds via Non-Functional Requirements By Diana Carolina Barreto Arias

      Add to Reading List

      Source URL: www.cloudbus.org

      Language: English - Date: 2014-01-13 23:54:06
      156Italian language / Geography of Oceania / Geography of Australia / Languages of Europe / Melbourne / South Yarra /  Victoria

      MUSIC | Jazz ART | Artist talk FESTA DI FINE ANNO 2009 | Opera arias

      Add to Reading List

      Source URL: www.iicmelbourne.esteri.it

      Language: English - Date: 2015-05-09 10:12:24
      157Rainbow trout / Trout / Fish meal / Lupinus / Fish / Aquaculture / Oncorhynchus

      ADRIÁN J. HERNÁNDEZ ARIAS Licenciado en Acuicultura MSc en Ciencias Bio-acuáticas, Tokyo University of Fisheries PhD en Ciencias Bio-acuáticas, Tokyo University of Marine Sciences and Technology

      Add to Reading List

      Source URL: www.acuicultura.uct.cl

      Language: English - Date: 2014-05-16 18:38:36
      158Directorate-General for Health and Consumers

      ECHIM Core Group meeting, 22–23.9., ISS, Rome Minutes Present: Arpo Aromaa (THL; chair), Pedro Arias Bohigas (ES), Patsy Bailey (UK), Grainne Cosgrove (IE), Rita Gaidelyte (HI), Silvia Ghirini (ISS), Mika Gissler (THL)

      Add to Reading List

      Source URL: www.echim.org

      Language: English - Date: 2012-10-30 08:49:08
        159Formal methods / FAUST / Logic in computer science / Mathematics / Formal verification / Correctness / Domain-specific language / Digital signal processing / Theoretical computer science / Applied mathematics / Electronic engineering

        Verification of Faust Signal Processing Programs in C OQ Emilio Jes´us Gallego Arias Olivier Hermant Pierre Jouvelot

        Add to Reading List

        Source URL: www.cri.ensmp.fr

        Language: English - Date: 2015-01-22 05:49:10
        160Formal methods / FAUST / Logic in computer science / Mathematics / Formal verification / Correctness / Domain-specific language / Digital signal processing / Theoretical computer science / Applied mathematics / Electronic engineering

        Verification of Faust Signal Processing Programs in C OQ Emilio Jes´us Gallego Arias Olivier Hermant Pierre Jouvelot

        Add to Reading List

        Source URL: feever.fr

        Language: English - Date: 2015-01-20 16:24:56
        UPDATE