Toggle menu

+351213100300 info@inesc-id.pt

Feature Selection for Supervised Learning
INESC-ID DISTINGUISHED LECTURE SERIES: Symbiotic Autonomy: Robots, Humans, and the Web
Searching Web Archives
Challenges in the Application of Molecular and Quantum Mechanics to Biomolecular Problems
Future Many-core Processors: Challenges and Solutions
Understanding the mechanisms of virulence and resistance
Ultra Low-Power Circuits
Design reliable electronics in an unreliable world
Partilha de dados científicos : Um contributo do LNEG
Title: OPTIMAL DESIGN OF DISTRIBUTED SENSOR NETWORKS FOR FIELD RECONSTRUCTION
Symbiotic Autonomy: Robots, Humans, and the Web
Cyber-physical MPSoC Systems: Future Multi-Core Architectures for reliable Mobility & Technologies
PERCEPTUAL AND AUTOMATIC PROCESSING OF FRENCH ACCENTS
Organizational Learning and Support Tools
Re-Thinking Web Accessibility
NLP-triggered, ontology-based KB enrichment strategies
Model Checking and the Curse of Dimensionality
INESC-ID Distinguished Lecture Series: Model Checking and the Curse of Dimensionality
Towards OpenLogos Hybrid Machine Translation
SSL/TLS session-aware user authentication against man-in-the-middle attacks
Cyber-physical MPSoC Systems: Future Multi-Core Architectures for reliable Mobility & Technologies
The L2F Spoken Web Search system for Mediaeval 2012
Named-entity recognition in the past
Cleaning data with constraints
Epidemic spreading in online and offline social networks
Prediction of Escherichia coli single gene deletion mutants by projection to latent pathways
Formalization of English Phrasal Verbs
Translational research on genomics and proteomics: experience of the SING group
Entropy-based Pruning for Phrase-based Machine Translation
Integrated Neurocomputational and Empirical Studies of Learning and Cognition
Ensemble pruning via Weighted Accuracy and Diversity
Deeper QA: CMU, Watson, and the Open Advancement of Question Answering
WhatsUp : a P2P instant news items recommender
Map Matching :: Novageo Solutions at the 2012 ACM SIGSPATIAL Cup
WhatsUp : a P2P instant news items recommender
Speculations in Reliable Distributed Computing
Speculations in Reliable Distributed Computing
FPGA-Based Platform for Real-Time Internet
Privacy-Preserving Speech and Audio Processing
Sucint structures to self-indexing text
#134217736 (no title)
Control of solar thermal plants
Identification of microRNAs and analysis of their expression in Eucalyptus globulus
The Multicore Revolution
Gerenciamento Explícito de Memória de Rascunho a partir de Arquivos-objeto para Melhoria da Eficiência Energética de Sistemas Embarcados
The Organization of the Retina and Visual System
A component and an interface algebra for dynamic networks of interactions
Evaluating differential gene expression using RNA-sequencing data: a case study in host-pathogen interaction upon Listeria monocytogenes infection
Repetitions in Strings
Towards face-to-face conversations with social robots
Some results with MWMR registers by H. Fauconnier
A data mining approach to study disease presentation patterns in Primary Progressive Aphasia.
Everything you always wanted to know about worst-case (but were afraid to ask) …
Application of RNS to Cryptography
Head in the clouds: an overview of cloud computing and some associated research challenges
Unsupervised semantic structure discovery for audio
Self-Stabilizing Leader Election in Population Protocols
Design and Implementation of a Domain Specific Language for Next Generation Sequence Analysis
Talk1:The OpenRISC experience & Talk2:Machine Guided Energy Efficient Compilation
Topology-aware placement and load-balancing
Computational prediction of microRNA targets in plant genomes
Network mining based analysis of whole brain functional connectivity
Aspects of Geospatial Search and Analysis
Disciplined Approximate Computing: From Language to Hardware, and Beyond
MetaGen-FRAME
On Multi-class Classification Problems Using Genetic Programming
Novel semantic approaches in Genetic Programming.
Deterministic Scheduling for Replicated Systems
Technical Deep-Dive in a Column-Oriented In-Memory Database
Equilibria in a Repeated Epidemic Dissemination Game
An integrated view on future information and communication networks and services.
Novel semantic approaches in Genetic Programming.
Host-pathogen interaction upon infection with Listeria using NGS techniques
Unravelling communities of ALS patients using network mining
Spoken Dialogue Systems: Progress and Challenges
Spoken Dialogue Systems: Progress and Challenges
The Brazilian National Institute of Science and Technology for the Web: Towards a Better Understanding of Web Data
Tracking attention to issues as a way to learn about political systems: An Introduction to the Comparative Agendas Project
Identification of Hybrid Time-varying Parameter systems with Particle Filtering and Expectation Maximization
Coupling Pattern Recognition and Signal Processing
Digital information storage in DNA
Incremental Maintenance of RDF Views of Relational Data
Parallel efficient alignment of reads for re-sequencing applications
Distributed Computations Using Local Broadcasts
Quick Hyper-Volume
Achieving Photoreal Digital Actors in Film and in Real-Time
Assistive Speech Technology
Advances in Structured Prediction for Natural Language Processing
Automatic Detection and Correction of Web Application Vulnerabilities using Data Mining to Predict False Positives
Controlo distribuído de canais de água
Nasalidade Vocálica em Português – Pistas para identificação forense de falantes
Computational Methods for DNA Resequencing: A Survey
Prospecção de Texto e Jornalismo Computacional
Efficient algorithms for the identification of miRNA motifs in DNA sequences
Stochastic Modeling of Stem Cell Induction Protocols
Speeding up information extraction using sub-optimal algorithms
Using perspective schemata and a reference model for helping in the design of data integration systems
Robust linear regression methods in association studies
Multi-agent control for coordination in water infrastructures and intermodal transport networks
Control-based Clause Sharing in Parallel SAT
Recovering Capitalization and Punctuation Marks on Speech Transcriptions
System identification and control of irrigation channels
Reconfiguration schemes to mitigate faults in automated irrigation channels
Rich Prior Knowledge in Learning for Natural Language Processing
Um sistema online para o tratamento à distância da afasia
A mixture-of-experts approach to biclustering
The Statistical Phrase/Accent Model for Intonation Modeling
Parallel Video Coding on Multi-Core Platforms
Feature extraction for content-based recommendation – Mining the long tail
A Tutorial on Genetic Programming
Onto.PT: uma ontologia lexical para o Português, construída de forma automática
Seminário do grupo DMIR : Processpedia
Next Generation Search
On the Origin of Satellite Swarms
Pulsar Navigation
Reasearch in Kochi University of Technology, Japan
Vernáculo de Angola – Estado actual de conhecimento e perspectivas de investigação futura
José B. Pereira-Leal
Real-time link extraction and classification
In-silico strategies in drug design
Propriedades de subcategorização verbal no Português de S. Tomé
Methods for the Detection of Multilocus Interactions
A Computational Device Based on Regulation
Seminário do grupo DMIR : Gestão de Informação pessoal
Secure Computing: Tamper Evident and Tamper Resistant Processing
Network-Based Disease Candidate Gene Prioritization: Towards Global Diffusion in Heterogeneous Association Networks
Fault Tolerant Control
Biclustering-based Classiﬁcation of Clinical Expression Time Series: A Case Study in Patients with Multiple Sclerosis
3Hq Feature: A New 3D Shape Descriptor
Efficient Arithmetic Operators Applied to DSP Architectures
A mixture-of-experts approach to biclustering
Local identifiability of a HIV-1 infection model using a sensitivity approach
A Toolbox for Probability Calculus and Optimization
Ciberescola da Língua Portuguesa: objectivos, construção e resultados
G-Tries: an efficient data-structure for counting subgraphs
Topic-dependent Language Model Switching for Embedded Speech Recognition
Innovation & Entrepreneurship – BES Ventures
Tools and medical applications of an evolutionary cell biology
Deadline-aware scheduling for Software Transactional Memory
Supervised Topical Key Phrase Extraction of News Stories using Crowdsourcing, Light Filtering and Co-reference Normalization
CLIO & ++SPICY – tools for schema mapping
Online Bayesian Time-varying Parameter Estimation of HIV-1 data
Coordinating towards a common good
Learning to Rank Academic Experts
Semantic Analysis of Streaming Social Data
Systems analysis and metabolic networks modeling
Computational Analysis of Protein Coevolution and Interaction
Seminário do grupo DMIR : NetDyn – Understanding real large networks, from structure to dynamics
Hybrid Modeling for Systems Biology: Theory and Practice
Speaker and Content Identification
Data Integration Issues in Facilities Management
Dynamic neuroimaging using EEG-fMRI
Advances in understanding the epidemiology of HIV over the past decade
Intelligent Systems and Control
Research challenges from Free Software Distributions
On the Implementation of a Secure Musical Database Matching
Conceptual Modelling in Information Systems
Systems-of-Systems Engineering – The Engineering of Multiple Integrated Complex Systems
Towards a mathematical model of risk assessment of biocide induced antibiotic resistance
Pentaho Data Integration and the AgileBI Movement
REDEFINE: Application Synthesis on Reconfigurable Silicon Cores
A Polymorphic Finite Field Multiplier
The Delft Reconfigurable VLIW Processor
Towards Environmentally Robust Speech Applications
Projects “CAMP – Computational Analysis of MicroRNAs in Plants” and “NetDyn: Understanding real large networks, from structure to dynamics”
Mixed-signal fault equivalence: search and evaluation
TTS issues in Speech-to-Speech Machine translation
Support for User Involvement in Data Cleaning
Training with Imperfect Transcripts and Language Model Adaptation for ASR of TED talks
Linking Named Entities to the Corresponding Wikipedia Pages
Behavioral Pattern Detection using Compact and Fast Methods
A Relational Data Mining perspective for Bioinformatics applications
PT-STAR – Speech Translation Advanced Research to and from Portuguese
Test Scheduler: a Design-based Tool for Test Automation
Extracting academic data and linked data anonymization
Challenges for embedded systems development: can we have it all?
Fully generalized graph cores and applications
Bridging the design and implementation of distributed systems with program analysis.
Hugo Rosa – Using Fuzzy Fingerprints For Cyberbullying Detection in Social Networks
Talk Kirk Bresniker Chief Architect and HPE Fellow/VP
Computer Graphics in the Age of AI and Big Data
Urban Data Management, Analysis and Visualization
Robot learning from few demonstrations by exploiting the structure and geometry of data
INVITED TALK – Dr. Amit Kumar Pandey
Distributed Search and Recommendation with Profile Diversity
Bridging Informatics and Biology: case studies from the “field”
A Compiler-based Approach to Mitigate Fault Attacks Using SIMD Instructions
Radio Analytics: The Future Platform for Wireless Positioning, Tracking and Sensing (IST, DEEC and INESC-ID Distinguished Lecture)
Conceptual Models as Ontological Contracts (Distinguished Lecture Series)
IT Governance in the Board Room
“How Acting Through Autonomous Machines Changes People’s Decision Making” by Celso de Melo
State-of-the-Art FinFET Technology: An Industry Designer’s Perspective
Interactive Systems based on Electrical Muscle Stimulation
Crypto-hardware design for secure applications
Efficient paths in ordinal weighted graphs
Improved Maximum Likelihood Decoding using sparse Parity-Check Matrices
Towards Knowledge-Based Decision Support System using Propositional Analysis and Rhetorical Structure Theory
INVITED TALK – Prof. Pawel Kulakowski
On the Self in Selfie
Towards providing digital immunity to humanitarian organizations
Efficient computation of the search region in multi-objective optimization
Phonology of Dyslexia: Phonological and neurobiological explanations of cross-linguistic variations
Bicriteria Fixed-Charge Network Flow – Separating Fixed Costs and Flow Costs
Cases on optimization for scheduling and timetabling
Certifying Computations: Algorithmics meets Software Engineering
Privacy-preserving solutions for Security-as-a-Service (SecaaS) modell
Adapting the Studio Based Learning Methodology to Computer Science Education
Rethinking Memory System Design (and the Computing Platforms We Design Around It)
Managing Application Resilience: A Programming Language Approach
Basic Measurements in IP-Based Networks Jan Jerabek
Rationality, Contextuality, and Extended Probabilities
Computational Geometry Challenges and Results in Multiobjective Optimization
Toward Autonomous Social Robots in the Wild
Static versus Dynamic Deferred Acceptance in School Choice: Theory and Experiment
Development of Radiation Hard 150nm Standard Cell Library
Crosslinguistic perception and production of filled and silent pauses and raising L2 learners’ awareness of them
Helping out the middle class (in the cache) with the MITHRIL prefetching algorithm
Fast-SG: An alignment-free algorithm for hybrid assembly
The Future of Cyber-autonomy
HOOVER: Distributed, Flexible, and Scalable Streaming Graph Processing on OpenSHMEM
Body Language Without Body: Social Signals in Technology Mediated Communication
Scaling Distributed Machine Learning with In-Network Aggregation
‘Gielis Transformations in design and engineering’
Seminar – Personhood Online: Identification-Free Identities and Digital Citizenship via Proof-of-Presence
Comprehending Energy Behaviors of Java I/O APIs
HOW I THINK ABOUT RESEARCH
Programming Non-Volatile Memory
Biomechanical Analyses of Human Movement Aimed at Improving Rehabilitation Outcomes
Reactive Boolean Networks
Data processing methodologies in the area of E-Health for categorizing therapeutic responses in patients with migraine
Cloud computing overview and Running code on Google Cloud
Algorithm/Architecture Co-design for Smart Signals and Systems in Cognitive Cloud/Edge
Hardware Engineering in ARM
Focusing the Macroscope: How We Can Use Data to Understand Behavior
Talks on Model Driven Engineering & Artificial Intelligence Approaches
Introduction to IOTA — a feeless cryptocurrency
CANCELED – Introduction to Compact Data Structures: A Strategy for Big Data Processing
POSTPONED – Ethics of, and Trust in, Artificial Intelligence
An Ethical Crisis in Computing?
An Ethical Crisis in Computing
“Photovoltaic Optiverter – A Novel Hybrid MLPE Technology for Residential and Small Commercial Photovoltaic Applications“ by Dmitri Vinnikov
Conflict-free Replicated Data Types: An Overview
Artificial sociality- modelling the social mind
Tezos, a blockchain by scientists: principles and applications
Timely, Reliable, and Cost-Effective Internet Transport Service using Structured Overlay Networks
Personalizing Personal Robots
From Runtime Failures to Patches: Study of Patch Generation in Production
Socially Competent Robot Navigation
Firewall Configuration: Rule Sets and Usability
Scalability and Efficiency in Graph Mining
SCHOOLS ARE STUCK, CAN GAMES FIX THEM?
TerraHidro: Modelação Hidrológica Distribuída
Atomic Transaction Commit for Modern Data Stores
AI for Social Good: Learning and Planning in the End-to-End, Data-to-Deployment Pipeline (Distinguished Lecture)
Mixing Consistency in Geodistributed Transactions (Distinguished Lecture)
Learning with Sociable Robots and Artifacts
Sketching as an engine of research and development thinking
Modeling Interactive Information Retrieval and Social Media Interaction as Stochastic Process (Distinguished Lecture)
Origins of NP and P (Distinguished Lecture)
InfraComposer: Policy-driven Adaptive and Reflective Middleware for the cloudification of Simulation and Optimization Workflows
BADA – Big Automotive Data Analytics
Generating Software Tests (Distinguished Lecture)
Exploring light-weight tangibles
People-Centered Design. Why it matters?
Fixed-parameter tractable reductions to SAT
Temporal Information Retrieval – Understanding Time Sensitive Queries
Lasp: a language for eventually consistent distributed programming with CRDTs
The University of the Future: Taking Knowledge Out of Campus, A Personal Tale
Computing in Space with OpenSPL
Hardware Security: Challenges, Solutions and Opportunities
Trends in Software Automatic Tests
More is different: how complex networks lead to new emergent social behavior
Algoritmos Optimizados e Hardware Dedicado para a Codificação de Vídeo
Distributed Route Aggregation on the Global Network (DRAGON)
Lattice-based crypto: parallelization of sieving algorithms on multicore CPUs
Non-cooperative and Deceptive Dialogue
Predictive and Scalable MacroMolecular Modeling
Next-generation data-parallel dataflow systems
Ramon Llull: From the Ars Magna to Agreement Computing
Operation and Design of VHF Self-Oscillating DC-DC Converter with Integrated Transformer
Advanced Brain Imaging Techniques Symposium
Evolving Critical Systems
The promise and peril of anthropomorphizing agents
Gamification in your Classroom: Avoiding stale water in fancy juice boxes
Rethinking reverse converter design: From algorithms to hardware components
Collaborative Mobile Charging and Coverage in Wireless Sensor Networks
Chain-of-trust packet marking
Data integration tools for pre-processing biological data
What happens when you let reality inspire your research?
Integrative biomarker discovery in neurodegenerative diseases: a survey
FaRM: Fast Remote Memory
Advanced techniques for integrated DCDC converters
A Deep Neural Network Approach to Speech Enhancement
Elastic and Fault-Tolerant Stream Processing in the Cloud
Data integration tools for pre-processing biological data – CANCELED
The Biodegradation and Surfactants Database
Behavioral Signal Processing: Enabling human-centered behavioral informatics
Privacy-Preserving Event Stream Processing in the Cloud
Folk Theorems for Multi-Agent Systems
Eventual Leader Election in Evolving Mobile Networks
Signature-Free Asynchronous Byzantine Consensus with < n/3 and O(n²) Messages*
Using GPU coprocessor to accelerate computations in 3D MPDATA algorithm
The Effect of Streaming Time-shifted TV on TV Consumption
Inside Information – From Martian Meteorites to Mummies
Frequent Sequence Mining in MapReduce*
Reading News with Maps by Exploiting Spatial Synonyms
NetKAT: A Formal System For The Verification Of Networks
System and Toolchain Support for Reliable Intermittent Computing
VersionClimber: an algorithm and system for package evolution in data science
Arts and Design Based Research for the Creation of Transmedia Experiences
Toward a Unified Approach to Sustainable and Resilient Electric Energy Systems – Modeling, Control and Testbeds
From Birthing the Apocalypse to BIG FAT FAIL: (Net) Art as Software Research
Robotics for Children:From Exploratory Studies to Practical Applications
Algorithmic Mechanisms for Reliable Internet-based Master-Worker Computing: An Evolutionary Approach
EXPRESS – Expression and Recognition of Irony in Multicultural Social Media
Haptic Interfaces & Virtual Reality
Symbolic Execution for Evolving Software
High Performance Dense Linear Algebra on Low-Power Asymmetric Multicore Architectures
Human error is not the problem
A Secure Data Sharing and Query Processing Framework via Federation of Cloud Computing
Preservation of cultural heritage: “Human” technology in the digital era
The Future of Multidimensional Video Capture
Biomedical Image Informatics
Language Learning for Verification of Configuration Files
Deploying Incompatible Unmodified Dynamic Analyses in Production via Multi-version Execution
Challenges in Natural Language Processing: Question Answering and Dialog System
Computational Sustainability: Computing for a Better World
The Rise of Potentially Unwanted Programs: Measuring its Prevalence, Distribution through Pay-Per-Install Services, and Economics
Teams, Swarms, Crowds, and Collectives: Special Cases?
Dear router, let me make that decision for myself: extending DTN messages with routing and delivery software codes
Harnessing Virtualization Technology for Intrusion Detection and Analysis
Estocada: Flexible Hybrid Stores
Reconfigurable Computing: Architectures, Compilers, Applications
Distributed Estimation and Prediction of Radiation for Solar Energy Plants (CODISOL)
Tardis: Time Traveling Coherence Algorithm for Distributed Shared Memory
Generating Textual Summaries at Different Target Reading Levels: Summarizing Line Graphs for Visually Impaired Users
Middleboxes as a cloud service
Audio research for movies
Maximizing Parallelism without Exploding Deadlines in a Mixed Criticality Embedded System
Taking AR to Task: Explaining Where and How in the Real World
Design and Development of Microcontroller ZR16 – A Successful Case
Cooperation with the National Institute of Informatics
Some recent work on Convolutional Neural Networks (CNNs) for text classification
In search of the role’s footprints in client-therapist dialogues: Analyzing speech prosody from a sociolinguistic perspectiveciency Levels
Efficient Power and Wideband Data Transmission in Near Field
The Five Tribes of Machine Learning, and What You Can Take from Each
Optimal Computation of Avoided Words
Popping Superbubbles and identifying clumps
Haplotype Assembly
The Unicage method for (big) data processing and MONO-gramming for IoT – from Japan to the World.
Stochastic Computing
Pesquisas em PLN no Núcleo de Linguística Computacional (NILC)
Variação morfo-sintáctica em algumas variedades do Português. Características do Português L1 e L2 em diferentes situações de aprendizagem.
Dynamic model identification of Lactococcus lactis metabolism time-series
Representing Policies for Quantified Boolean Formulas
Parsing Conversational Speech
Leak Resistant Architecture: Statements and Perspectives
The Cost of Search?
”PLANEAMENTO DE RECURSOS MÓVEIS POR MELHORAMENTO ITERATIVO”
DOTTED SUFFIX TREES: A STRUCTURE FOR APPROXIMATE TEXT INDEXING
Recent work by Jean-Luc Rouas
“MÉTODOS DE BICLUSTERING PARA A IDENTIFICAÇÃO DE MECANISMOS DE REGULAÇÃO GENÉTICA”
“EVALUATION OF MDE TOOLS FROM A METAMODELING PERSPECTIVE”
ALGORITHMS FOR LINEAR PSEUDO-BOOLEAN OPTIMIZATION
“Qualidade de Serviço em Web-Services”
Ambrósio como auxiliar à execução de tarefas culinárias
“FUNCTION MODELING IN ORGANIZATIONAL ENGINEERING”
“POLICY MODELS FOR NETWORK AND SERVICES MANAGEMENT”
“NETWORK AND APPLICATION LAYER MOBILITY: A COMPARATIVE STUDY”
TCP – ANÁLISE COMPORTAMENTAL NO ÂMBITO DA QUALIDADE DE SERVIÇO”
“AVALIAÇÃO DE SITUAÇÕES PARA GERAÇÃO DE EMOÇÕES”
“FRAUDE EM TELECOMUNICAÇÕES E SISTEMAS DE CONTROLO DE FRAUDE”
Geração de funções de ranking usando Programação Genética
Speaker Characterization with MLSFs
Design for Testability and 0 PPM Strategies: Industrial Experience
Applications of Rewriting-Logic in Reconfigurable Hardware Design Space Exploration
“MODELAÇÃO DE CONTEXTO EM ENGENHARIA ORGANIZACIONAL”
Configurable Embedded Core for Controlling Electro-Mechanical Systems
Hierarchical linear subspace indexing method
“ESTADO DA ARTE DE TEORIAS E TECNOLOGIAS DE ENSINO-APRENDIZAGEM”
A WORKFLOW VIRTUAL MACHINE
“SISTEMA DE DESENVOLVIMENTO DE AGENTES DE BUSCA E SALVAMENTO”
Extracting Minimal Unsatisfiable Cores from Constraint Networks
Using local search to locate MUS
Formal Software Development with B
“A FRAMEWORK FOR INTEGRATING NATURAL LANGUAGE PROCESSING TOOLS”
An Introduction to Grid Computing
“SOFTWARE PRODUCT LINE ENGINEERING”
Modelos simples com tempo discreto de circuitos de regulação genética
Adaptive Main Memory Compression
Predicting transient error rates due to radiation for processor-based digital architectures
MODELAÇÃO DE CONTEXTO EM ENGENHARIA ORGANIZACIONAL”
Finding good unsatisfiable sub-clause-sets
CABL: Conteúdos Audiovisuais para Banda Larga
“TOWARDS PREDICTIVE MODELS FOR E-LEARNING”
Formats and services for data and algorithm interoperation in Bioinformatics
Pontuação e capitalização em transcrições de fala
Survey of Adaptive OFDM and Application to the Power Line Channel
A multi-microphone approach to speech processing in a smart-room environment
Redes em Chip, um novo paradigma de comunicação intra-chip
Introduction to the ISO TC/211 and the Open Geospatial Consortium
A Estatística ao Encontro da Biologia Molecular
Mining Protein Structure Data
CARMA – _A_rquitetura _M_PSoC _R_econfigurável para _A_plicações _C_riptográficas
Detecting mis-recognitions in ASR output
Ab Initio Protein Structure Prediction using Conformational Search and Information from Known Protein Structures
Modelo conceptual para auditoria organizacional contínua com análise em tempo real
Variation-Aware Timing Analysis
Aplicações da Computação Reconfigurável no Projecto de Robôs Móveis
BiGGEsTS – Biclustering Gene Expression Time-Series
Enriching Speech Recognition by Recovering Punctuation and Performing Capitalization
Birrell’s Distributed Reference Listing Revisited
Rationality and Fault-Tolerance
Microbial typing methods: databases and quantitative correspondence between typing methods results
Técnicas de Tradução de Bytecode Java para Codigo C
Affective Embodied Conversational Characters
GPLAB – A Genetic Programming Toolbox for MATLAB
Next Generation of MicroBioelectronic Systems
Architecture and Performance of Dynamic Offloader for Cluster Network
Questões espaciais no traçado de reservas para a protecção da biodiversidade
Network Inference From Co-occurences
Discriminative Modeling in NLP/SLP
Dynamic Entropy-Compressed Sequences and Applications
PET Positron Emission Tomography – Electrónica de Front-End
A Domain Knowledge Advisor for Dialogue Systems
Knowledge Discovery in Genomics and BioIntelligence Research
Extractive summarization of broadcast news
ANÁLISE DE RISCO
CONTROL OF ANESTHESIA OF PATIENTS UNDERGOING SURGERY
CMOS Technology Sub-1 V Supply Voltage References Based on Asymmetric Gain Stage Architecture
Extracting MUCs from Constraint Networks
Motion Tracking on Manifolds
Text-Independent Cross-Language Voice Conversion for Speech-to-Speech Translation
Linearity improvement techniques for high-speed ADCs
Who spoke when
Regular Expression Matching for Reconfigurable Packet Inspection
Functional organization of chromosomes in the mammalian cell nucleus
Computing Max satisfiable (MSS) and Min Unsatisfiable (MUC) of CNF formulas
Modelling Services in Information Systems Architectures
Códigos de Permutação para Compressão de Dados e Modulação
Understanding Bio-Complexity with Signal Processing
EA, BPM and ORM: Towards Convergence
Introduction to PCI – From the specification overview to the signal protocol
Lissajous based Mixed-Signal BIST and Floating Gate Monitors
Improving Efficiency of Arithmetic BIST by Combining Targeted and General Purpose Patterns
Indexing email for Fast Search and Filtering
Sistema de gestão da informação dos mecanismos de regulação genómica do organismo Saccharomyces cerevisiae
O M(in)istério da Educação: ou o Problema da Colocação dos Docentes 2004/2005
Cryptography in Embedded Systems
From Kant to Computation: Why Aesthetics Matter Now More than Ever, and What We Can Do about It
O M(in)istério da Educação: ou o Problema da Colocação dos Docentes 2004/2005 (repetição)
Fast Detection of Common Sequence Structure Patterns in RNAs
A Linear Time Biclustering Algorithm for Time Series Genomic Expression Data
Emparelhamento em texto comprimido
Grid Computing
Multiple Description Image and Video Coding for Noisy Channels
Building Scalable Routing and Storage Primitives
XML for databases and much more
Practical Proofs of Concurrent Programs
Reliability-Driven Hardware/Software Partitioning
Evaluation of microarchitectures: challenges and metrics
Computação distribuída usando o paradigma de “Grid”
Chip-Multiprocessor using Data Driven Multithreading (DDM) and Conventional Microprocessors Cores
Detecção de Intrusões
Técnicas, Algoritmos e Simuladores Dedicados ao Diagnóstico e à Simulação Eficiente de Faltas em Circuitos Analógicos e Mistos
Estimating the Conformational Energy of Biological Macromolecules
Intelligent tools for the Semantic Web based on qualitative modelling – A new type of query: concept@location in time
SEQUENCING AND ANALYSIS OF PATHOGEN GENOMES AT THE SANGER INSTITUTE
COMPARATIVE GENOMICS OF Staphylococcus aureus AND THE EVOLUTION OF VIRULENCE AND DRUG RESISTANCE
Modeling and Simulation of Time Domain Faults in Digital Systems
Gene Function Prediction by Mining Bioimedical Literature
Creative Discovery in Lexical Ontologies
Shortest Path Search Algorithms with Heuristic and Bidirectional Searches
Utilização da Estrutura de Ligações da Web em Problemas de Recuperação de Informação
Designing Agent Systems
Flexible and conformally shaped electronic surfaces
Solving SAT with an Embedded Processor and Reconfigurable Logic in an FPGA
Location determination in 802.11 networks
Learning and Recommending Shortcuts in Semantic Peer-to-Peer Networks
Apresentação e análise do algoritmo da colocação dos docentes do concurso do ano lectivo de 2004/2005
Arquitectura Reconfigurável para Simulação de Circuitos Digitais Combinatórios
2004 – A good year for grammatical inference
An Efficient Algorithm for Generating Super Condensed Neighborhoods
Biclustering Time-Series Expression Data: from Gene Expression to Biological Processes and Regulatory Networks
A Case for a Triangular Waveform Clock Signal
Using a More Powerful Teacher to Reduce the Number of Queries of the L* Algorithm in Practical Applications
Visão Geral do Projecto `Sistema Brasileiro de TV Digital´
Modeling and Optimization of Wireless Sensor Networks
Compiler-Directed Caching in FPGAs using RAM Blocks
Improved Indexing of Text using the Ziv-Lempel Trie
“SPATIAL DASHBOARD – ANALYSING BUSINESS PERFORMANCE USING THE SPATIO – TEMPORAL CONTEXT”
Algorithms and tools for automatic generation of DSP hardware structures
“SISTEMAS REMOTOS PARA MONOTORIZAÇÃO E ANÁLISE DE DADOS EM PLATAFORMAS DE E-LEARNING”
Dinâmica de Grupo em Equipas Formadas por Humanos e Personagens Sintéticos
A MAGNETORESISTIVE BIOCHIP FOR WATERBORN PATHOGEN DETECTION
“POLICY–BASED, OBJECT-ORIENTED TRANSACTIONAL SYSTEM FOR MOBILE NETWORKS”
“SUPORTE À EXECUÇÃO DE PROCESSOS DE NEGÓCIO”
O Setor de Tecnologia de Informação e a Estratégia para a indústria de Microeletrônica no Brasil. O papel e status do Ceitec Design Center.
METODOLOGIA PARA A CONCEPÇÃO DE SISTEMAS DE RECUPERAÇÃO DE INFORMAÇÃO”
Syntons, metabolons and interactons: an exact graph-theoretical approach for exploring neighbourhood between genomic and functional data
Solving Over-constrainted Problems with SAT Technology
“UTILIZAÇÃO DINÂMICA DE ONTOLOGIAS EM SISTEMAS DE DIÁLOGO”
ASSOCIATE Project Final Workshop
“ACTIVE OVERLAY NETWORK”
A Low-Power Low-Voltage CMOS A/D Sigma-Delta Modulator for Bio-Potential Signals using a Single-Phase Scheme
”TEAMING UP HUMAN AND SYNTHETIC CHARACTERS”
“SISTEMAS DE INFORMAÇÃO DE GESTÃO DE BALANCED SCORECARD – ESTADO DA ARTE, SELECÇÃO, IMPLEMENTAÇÃO E ALINHAMENTO COM A AQRQUITECTURA DA EMPRESA”
O ALGORITMO DE FOURIEI-MOTZKIN E A PROGRAMAÇÃO LINEAR
Black Screen
“ESTUDO DE ADAPTAÇÃO DE DIFERENTES TECNOLOGIAS WIRELESS A REDES ADHOC”
“ESTUDO COMPARATIVO E DE INTEGRAÇÃO WIFI / TETRA”
“APPLICATION SERVER LOAD BALANCING USING THE NETWORK LAYER”
Efficient Motion Vector Refinement Architecture for Sub-Pixel Motion Estimation Systems
“A CONTEXT-BASED ACTOR MODELING APPROACH TO SUPPORT HUMAN MULTITASKING AT ORGANIZATIONS”
An Exact Algorithm for the Maximal Sharing of Partial Terms in Multiple Constant Multiplications
Metodologias para o Tratamento Automático da Terminologia a partir de Corpora de Especialidade
Architecture of a Portable System Based on a Biochip for DNA Recognition
Dotted Suffix Trees : A Structure for Approximate Text Indexing
“ALINHAMENTO MÚLTIPLO DE SEQUÊNCIAS USANDO ALGORITMOS EVOLUTIVOS HÍBRIDOS”
Nominal featurization
Trusted Computing in Reconfigurable Processors
Networks from Genomes and Metabolomes
“SUPORTE À CONSTRUÇÃO E EXECUÇÃO AUTOMÁTICA DE TESTES FUNCIONAIS BASEADOS EM INTERFACES GRÁFICAS”
“WEBDATAMART PARA GESTÃO PORTUÁRIA”
“GESTÃO E REPRESENTAÇÃO DE DOMÍNIOS EM SISTEMAS DE DIÁLOGO”
Time to evaluate: Annotation Tools for the Semantic Web
From biosensors to biochips aiming the True Lab on Chip
Qualitative Simulation of the Carbon Starvation Response in Escherichia coli
RF QUADRATURE OSCILLATORS
Data Format Description Framework – A Descriptive Approach to Data Standardization
Optimization and Control for Metabolic Networks
Preparing a cyanobacterial chassis for H2 production: a synthetic biology approach
SMART-System – Metadata-based Sports Video Database, its Development and Experience
Solving Implicit Problems and Using Cyclic Graphs for Graphics
Hacking life: how to build a new life form in your computer
Power and Delay Comparison of Binary and Quaternary Arithmetic Circuits
High-Voltage-Enabled Analog/RF Circuit Techniques for Nanoscale CMOS
Security: Enabling the Reliability of IP Telephony
A Residue Approach to the Finite Field Arithmetics
BICS-Based March Test for Resistive-Open Defects Detection in SRAM
Observability-based Coverage-directed Path Search using Pseudo-Boolean Optimization
A View On Adaptive and Dependable Distributed Systems
Management and analysis of heterogeneous biological data : how the web can help
H.264 video encoding tools and the development of efficient hardware architectures
O Arquivo da Web Portuguesa
A Physiological model for human patients subject to anaewsthesia
Fast Kullback-Leibler Optimization Algorithm: Software Library Implementation
Motif representation and discovery
Concise Integer Linear Programming Formulations for Dependency Parsing
How to Complete an Interactive Configuration Process?
Power Macro-Modelling using an Iterative LS-SVM Method
Neurodynamic Optimization with Its Application for Model Predictive Control
Recent advances in language and speaker recognition: Gaussian Super Vectors and compensation methods
Language Technologies and CALL
Model checking in systems biology: an introduction
Semantic web applications to variable discovery in the life sciences: a cloudy future?
DFY/DFM – design for yield and manufacturability
PROCESSO DE GESTÃO DE INCIDENTES ITIL NA INDUSTRIA FARMACÊUTICA
Information Extraction: Knowledge Discovery from Text
Introdução ao C++ numa hora … para quem já sabe C
Speech Synthesis: past, present and future and how it mirrors speech processing development in general
What can we do with a multitude of genome sequences?
Test of NoCs and NoC-based Systems-on-chip
Transaction Activation Scheduling Support for Transactional Memory
Apt-pbo: Solving the Software Dependency Problem using Pseudo-Boolean Optimization
Data Parallel Acceleration of Decision Support Queries Using Cell/BE and GPUs
CSI: are Mendel’s data too good to be true?
Taking the Turn — Or Not: Turn Management in Spoken Dialogue Systems
Toward Energy-efficient Computing
ARMS – Automatic Residue-Minimization based Sampling for Multi-Point Modeling Techniques
Single nucleotide polymorphisms characterization in a Portuguese Caucasian breast cancer and control population
In Search of Shapes
Dynamic Programming Optimization of Multi-rate Multicast Video -Streaming Services
Next-generation sequencing (for dummies)
Wideband CMOS Receivers Exploiting Noise and Distortion Cancelling
Project “EnviGP – Improving Genetic Programming for the Environment and Other Applications”
DNA Sequence Alignment – A brief overview on computational algorithms and architectures
RESEARCH OVERVIEW ON INTELLIGENT TRANSPORTATION SYSTEMS
Controlling Complexity in Part-of-Speech Induction
Towards a Coding Style for Scalable Nonblocking Data Structures
Mining the Web 2.0 to Improve Search
Challenges and Directions in the Multicore Era
Learning words and speech units through natural interactions
Dynamics of CD4+ T cells in HIV-1 Infection
Computational Methods for the characterization and detection of protein binding sequences through information theory
Predicting Cloze Task Quality for Vocabulary Training
Efeitos de Radiação em Circuitos Integrados
SITIU: The Portuguese Version of Let’s Go!
Structured Prediction Cascades
Meaning Propagation
Hierarchical Phrase-based Translation with Weighted Finite-State Transducers
Modeling the F0 curve for Speech Synthesis
Characterful Speech Synthesis
Multiplication Algorithms for Monge Matrices
Distributed Compensations with Interruption in Long-Running Transactions
Distributed and Predictable Software Model Checking
Using Excel as user interface on a semantic information system
Speedpath Analysis Under Parametric Timing Models
Global Tolerance of Biochemical Systems and its Design Implications
Recent advances in language and speaker recognition: Compensation methods, the Joint Factor Analysis
Speaker Verification Experiments on the NIST SRE Database
Intellectual Property Seminar
PT-STAR: speech translation
Lexicon extraction from bilingual comparable corpora
Formal verification techniques: model checking in systems biology
Novelty and Evolution in Biological, Chemical and Random Reaction Networks
Phone Recognition and Language Modeling for Variety Identification
A Music Classification Method Based on Timbral Features
Winter Workshop of the Distributed Systems Group
CHE – Evolutionary Algorithms for Cluster Geometry Optimization
Fail-aware untrusted storage (FAUST)
“On-the-Fly Model Checking for Regular Alternation-Free Mu-Calculus” and “One Interface to Serve Them All”
In silico Metabolic Engineering
Avaliação de Usabilidade
Human Immunodeficiency Virus (HIV) Dynamic Modeling and Antiretroviral Treatment Analysis
Recent improvements in the PT-STAR Project
A Data Mining Approach for the detection of High-Risk Breast Cancer Groups
From Assembling Short DNA Reads to Protein Sequencing by Assembling Mass Spectra
Computer Architecture: an experience on performance and power
Analysis of interrogatives in different domains
Voltage-mode Quaternary FPGAs: An Evaluation of Interconnections
Minimal Perfect Hashing: A Competitive Method for Indexing Internal Memory
Modeling and control of microflow sensors based on temperature measurement
Visual style representations for illustrative visualization
Dynamic Energy Budget Theory: A General Mathematical Theory in Biology, Empirically Tested for the Major Groups of Organisms
Geração de Testes Baseados em Máquinas de Estados Finitos
Embedded Cryptography: flexibility and security through reconfigurability
What are functional modules in biological networks
Portuguese phonological system used in Beira Interior
Desenvolvimento da Microelectrónica no Brasil
Unsatisfiability-Based Algorithms for Maximum Satisfiability
Knowledge discovery in environmental microbiology and physiology: problems, tools and protocols
Transistor Level Automatic Generation of Radiation-Hardened Circuits
Speech related research at the Computer Vision Laboratory (ISR)
Folded and Error Tolerant Architectures for Digital Signal Processing: Design and Implementation
Aplicações da Computação Reconfigurável no Projecto de Robôs Móveis
Cross-media knowledge management
Mapper: An Efficient Data Transformation Operator
Aperfeiçoando arquitecturas de distribuição de relógio do tipo “mesh”
Scoring functions for learning Bayesian networks
Low Power Microarchitecture with Instruction Reuse
Fully compressed Sufix Trees
Multiresolution by Reversing Subdivision
Around the genome: particularities of the circular mitochondrial DNA
Negotiation Among Autonomous Computational Agents
Navegação Topológica à Inspecção de Linhas Eléctricas
Identification of Transcription Factor Binding Sites in Promoter Regions by Modularity Analysis of the Motif Co-Occurrence Graph
Procedural modelling – Towards infinite game worlds
Acoustic Signal Processing for Next-Generation Multichannel Human/Machine Interfaces
ARGUMENTAÇÃO
ESTADO DA ARTE DE PLATAFORMAS DE COMÉRCIO ELECTRÓNICO PARA GESTORES DE CONTEÚDO
COMPUTATIONAL DISCOURSE ANALYSIS
Survey on Data Network Congestion Prediction using Data Mining Techniques
Transactional Boosting: A Methodology for Highly-Concurrent Transactional Objects
Symmetry Breaking Ordering Constraints
SURVEY ON VISUALIZATION OF IMPLICIT SURFACES
Low Power Microarchitecture With Instruction Reuse
Compressing Web Graphs as Texts
Tackling the Acoustic Front-end for Distant-Talking Automatic Speech Recognition
Aggressive Loop Pipelining for Reconfigurable Architectures
Um Estudo sobre o Perfil da Produção Científica em Ciência da Computação
Using and dealing with immense quantities of data
Mining Queries
Media Asset management – O Arquivo Audiovisual da SIC
Speculations on a New Approach to Modeling Biological Systems
Broadband radio access network challenges
Neuroprosthetic devices: the interplay between electronic and biological systems
Location Proteomics Using Machine Learning Techniques
Using sequence and expression data to predict microRNA targets in animals
Speech recognition for less-represented languages
The CHAMELEON RF Project – a quick digest
Modeling and analysis of dynamic systems with the symbolic manipulation tool Pansym
Biochemical neutral solutions using S-system models
SOFTWARE AS A SERVICE
A MILP-based Approach to Path Sensitization of Embedded Software
On the Efficient Reduction of Complete EM based Parametric Models
Probabilistic retrieval and visualization of biologically relevant microarray experiments
O rio da minha aldeia: from Recife to Lyon and Lisbon
RNA-PROTEIN INTERACTION NETWORKS IN THE REGULATION OF GENE EXPRESSION
Beyond Edman Degradation: Algorithmic De novo Protein Sequencing of Monoclonal Antibodies
Elementos para um estudo comparativo da tipologia rítmica do Português
Parameter Tuning in SVM-Based Power Macro-Modeling
Programming Distributed Systems: an Introduction to MPI
Estimating Local Ancestry in Admixed Populations
Programming Multicores
Challenges in the Application of Quantum Mechanics to Biomolecular Problems
Kernel methods for the prioritization of candidate genes
Modelling HIV-1 Evolution under Drug Selective Pressure
Charge transport at the surface of organic semiconductors for molecular electronics
From Electrical Engineering to the Theory of Fuzzy Sets and Systems
DPA resistant design flow and its applications
Social Computing in Education
Insights on using mathematical models in systems
Embedded Systems for IT Security Applications – Properties and Design Considerations
Pattern Matching in Protein-Protein Interaction Graphs
Probabilistic Control and Applications to Gene Regulatory Networks
Modeling and Verification of Integrated Circuits
New architectures for the final scaling of the CMOS world
INTELLIGENT SIGNAL PROCESSING – THE CONFLUENCE OF SIGNAL PROCESSING AND PATTERN RECOGNITION
Solving Techniques and Heuristics for Max-SAT and Partial Max-SAT
Local Properties of Biological Networks
Faithful modeling of transient expression and its application to elucidating negative feedback regulation
Introduction to GPUs Programming using CUDA
COMPUTAÇÃO BASEADA NO CONTEXTO
Research
Thematic Lines
People
News & Events
Open Positions
- Open Positions
About Us

Category: Newsletter

Home > Newsletter

The July 2022 INESC-ID newsletter is out!

by Pedro Ferreira July 12, 2022 17:56

The July 2022 issue of NEWS-ID — the INESC-ID Newsletter — is out! Containing recent news from our researchers and their projects, open positions and some extra bits of content, our monthly newsletter is a great one-stop spot for great content on computer science and…

Highlights, News, Newsletter

The June 2022 INESC-ID newsletter is out!

by Pedro Ferreira June 14, 2022 15:38

The June 2022 issue of NEWS-ID — the INESC-ID Newsletter — is out! Containing recent news from our researchers and their projects, open positions and some extra bits of content, our monthly newsletter is a great one-stop spot for great content on computer science and…

Highlights, News, Newsletter

The INESC-ID March 2022 Newsletter is out!

by Pedro Ferreira March 8, 2022 17:58

The March 2022 issue of NEWS-ID — the INESC-ID Newsletter — is out! Containing recent news from our researchers and their projects, as well as upcoming events, open positions and some extra bits of content, our monthly newsletter is a great one-stop spot for great…

Highlights, INESC-ID, News, Newsletter

The INESC-ID February 2022 Newsletter is out!

by Pedro Ferreira February 8, 2022 12:31

The February 2022 issue of NEWS-ID — the INESC-ID Newsletter — is out! Containing recent news from our researchers and their projects, as well as upcoming events, open positions and some extra bits of content, our monthly newsletter is a great one-stop spot for great…

Highlights, INESC-ID, News, Newsletter

Newsletter

by Pedro Ferreira June 23, 2021 16:20

Subscribe Newsletter * indicates required First Name * Last Name * Email Address * GDPR PermissionsSubscriber consent I consent to receiving email communications as mentioned below. The data submitted through this form will be used exclusively for the sending of INESC-ID Newsletter, NEWS-ID, and will…

Newsletter

Upcoming Events

25 - 26 October

13:00 - 16:30

Category: Newsletter

The July 2022 INESC-ID newsletter is out!

The June 2022 INESC-ID newsletter is out!

The INESC-ID March 2022 Newsletter is out!

The INESC-ID February 2022 Newsletter is out!

Newsletter

Upcoming Events

Workshop “Metabolism and mathematical models: Two for a tango” – 2nd Edition