Proper-Noun Entity Recognition and Disambiguation system for short text Pasquale Giantomaso Student at DIAG Sapienza via Ariosto, 25 , Roma

Source URL: web-ngram.research.microsoft.com

• Markup languages
• Uniform resource locator
• Technical communication
• Information retrieval
• URL redirection
• Entity
• Named-entity recognition
• Freebase
• HTML
• Computing
• World Wide Web
• Internet

AI-Based Geo-Webservices for Data Consistency Check: Experiences within the EU Project GIMMI Pasquale Di Donato LABSITA, University of Rome “La Sapienza” Rome, ITALY

Source URL: itcnt05.itc.nl

• Geographic information systems
• GIS software

Quantifying Information Leaks using Reliability Analysis † ˘ areanu ˘ Quoc-Sang Phan∗ Pasquale Malacaria∗ Corina S. Pas Marcelo d’Amorim‡

Source URL: www.eecs.qmul.ac.uk

• Systems engineering
• Reliability engineering
• Algorithm
• Information flow
• Side channel attack
• Systems science
• Applied mathematics
• Abstract interpretation
• Symbolic execution
• Quicken Interchange Format

Abstract Model Counting: a novel approach for Quantification of Information Leaks Quoc-Sang Phan Pasquale Malacaria

Source URL: www.eecs.qmul.ac.uk

• Formal methods
• Electronic design automation
• Logic in computer science
• NP-complete problems
• Constraint programming
• Satisfiability Modulo Theories
• Quicken Interchange Format
• Java Pathfinder
• Boolean satisfiability problem
• Theoretical computer science
• Mathematics
• Applied mathematics

Concurrent Bounded Model Checking Quoc-Sang Phan Pasquale Malacaria ˘ areanu

Source URL: www.eecs.qmul.ac.uk

• Formal methods
• Logic in computer science
• Electronic design automation
• NP-complete problems
• Model checking
• Java Pathfinder
• Satisfiability Modulo Theories
• Concolic testing
• KeY
• Theoretical computer science
• Applied mathematics
• Mathematics

3ante_Certosa-esec ENG.indd

Source URL: memoriadibologna.comune.bologna.it

• Cloister
• Bologna
• Emilia-Romagna
• Italy
• Architecture
• Certosa di Pavia
• Certosa di Bologna
• Pasquale Rizzoli
• La Certosa

Italy - June 22, 2002 National TV channel Intervista a Pasquale Pistorio President and CEO of STMicroelectronics

Source URL: www.stfoundation.org

Dissimilarity-Based Detection of Schizophrenia Aydın Ulas ,1 Robert P.W. Duin,2 Umberto Castellani,1 Marco Loog,2 Pasquale Mirtuono,1 Manuele Bicego,1,3 Vittorio Murino,1,3 Marcella Bellani,4 Stefania Cerruti,4 Michele

Source URL: profs.sci.univr.it

• Imaging
• Magnetic resonance imaging
• Neuroimaging
• Tensors
• Structural similarity
• Support vector machine
• Optics
• Statistics
• Image processing
• Diffusion MRI

Curriculum Vitae INFORMAZIONI PERSONALI Pasquale Popolizio

Source URL: www.websemantico.org

bbc.co.uk/food Torta pasquale Ingredients For the torta 25g/1oz butter, for greasing

Source URL: www.bbc.co.uk

• Cuisine of the Western United States
• Mexican cuisine
• Philippine cuisine
• Torta
• Pastry
• Pizza
• Spanakopita
• Barbajuan
• Food and drink
• Flatbreads
• Mediterranean cuisine