Building Models of Real-Time Systems from Application Software JOSEPH SIFAKIS, STAVROS TRIPAKIS, ASSOCIATE MEMBER, IEEE, AND SERGIO YOVINE Invited Paper We present a methodology for building timed models of real-time

Source URL: www-verimag.imag.fr

• Software engineering
• Computing
• Hardware description languages
• Synchronous programming languages
• SIGNAL
• Esterel
• Real-time computing
• Actor model
• Model checking
• Component-based software engineering
• Modeling and Analysis of Real Time and Embedded systems
• Reo Coordination Language

Out-of-the-Box Robust Parsing of Portuguese Jo˜ao Silva, Ant´onio Branco, S´ergio Castro, and Ruben Reis University of Lisbon {jsilva,antonio.branco,sergio.castro,ruben.reis}@di.fc.ul.pt Abstract In this paper we ass

Source URL: www.di.fc.ul.pt

• Linguistics
• Natural language processing
• Computational linguistics
• Corpus linguistics
• Software
• Compiler construction
• Parsing
• Natural language parsing
• Treebank
• LL parser
• Part-of-speech tagging
• Statistical parsing

An experimental demonstration of blind ocean acoustic tomographya) Sérgio M. Jesusb兲 and Cristiano Soares SiPLAB - FCT, Universidade do Algarve, Campus de Gambelas, PTFaro, Portugal Emanuel Coelho

Source URL: www.siplab.fct.ualg.pt

• Oceanography
• Acoustics
• Physics
• Ocean currents
• Physical oceanography
• Anti-submarine warfare
• Ocean acoustic tomography
• Tomography
• Underwater acoustics
• Sonar
• Inverse problem
• Speed of sound

CURRÍCULO SINTÉTICO DOS MEMBROS DO CONSELHO FISCAL DA BBTS SÉRGIO IUNES BRITO PRESIDENTE

Source URL: www.bbtecno.com.br

Sergio Enrique HUENUQUEO ALONSO Edad: 43 años. Fecha de Extravío: 16 de Noviembre del año 2015.

Source URL: www.pdichile.cl

Lunes 27 de junioActividades en el Campus El Naranjo) 09:30 a 10:30 Mesa redonda de apertura: Regulación de la Contaduría Pública Presidente: Dr. Sergio Iván Ramírez Cacho (U. de Colima, México)

Source URL: riica2016.unican.es

Review by Dr Sergio Freire, for manuscript: Variable population exposure and distributed travel speeds in least-cost tsunami evacuation modelling Author comments in bold, signified by ‘>>’ REVIEW REPORT

Source URL: www.nat-hazards-earth-syst-sci-discuss.net

• Logarithms
• Logarithm
• Comment

Sérgio Oliveira dos Santos Apreciação da motricidade aprecia ação Belo corpo que se move,

Source URL: www2.fe.usp.br

REPORT tavolo di lavoro 25 Giugno 2016 “LAVORARE A LUNARIA organizzare tempi e stili di lavoro” Partecipanti: Federica Alberino (facilitatrice), Giovanni Alteri, Sergio Andreis, Valentina Bacco, Davide Di Pietro, Sar

Source URL: www.lunaria.org

Developing a Deep Linguistic Databank Supporting a Collection of Treebanks: the CINTIL DeepGramBank António Branco, Francisco Costa, João Silva, Sara Silveira, Sérgio Castro, Mariana Avelãs, Clara Pinto, João Graça

Source URL: www.di.fc.ul.pt

• Linguistics
• Language
• Computational linguistics
• Corpus linguistics
• Applied linguistics
• Natural language processing
• Syntax
• Treebank
• Dependency grammar
• Annotation
• Parsing
• Deep linguistic processing