Instituto de Engenharia de Sistemas e Computadores (INESC ID)

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
External   Internal

Update Citation

No data about last update.
Rules:
 This actions updates publications citations of every team member.
 Only validated by team members publications are included.
 Only the current year team is included in this action.>
 The action is executed in the background, thus the results are NOT immediate.
 This actions can be executed only once a month!

Update PrePrints

No data about last update.
Rules:
 This actions updates all pre print publications of the group/institution.
 Only validated by current year team members publications are included.
 The action is executed in the background, thus the results are NOT immediate.
 This actions can be executed only once a day!

Publications Count: 6818

112 Team Members
Filters -> Year: 2024
6541
TÍTULO: Prime implicant computation using satisfiability algorithms
AUTORES: Manquinho, VM ; Flores, PF ; Silva, JPM ; Oliveira, AL ;
PUBLICAÇÃO: 1997, FONTE: 9th IEEE International Conference on Tools with Artificial Intelligence in NINTH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, PÁGINAS: 232-239
INDEXADO EM: Scopus WOS DBLP CrossRef: 28
6542
TÍTULO: PSPCLink: A Cooperation Between General Symbolic and Poisson Series Processors
AUTORES: Alberto Abad ; Juan Félix San Juan;
PUBLICAÇÃO: 1997, FONTE: J. Symb. Comput., VOLUME: 24, NÚMERO: 1, PÁGINAS: 113-122
INDEXADO EM: DBLP
6543
TÍTULO: Question/Answer Dialogues for Interfacing a Database with Supreme Court Decisions (Abstract)  Full Text
AUTORES: José Gabriel Lopes; Paulo Quaresma ; Irene Pimenta Rodrigues ;
PUBLICAÇÃO: 1997, FONTE: Proceedings of the 1997 6th International Conference on Artificial Intelligence and Law in ICAIL, PÁGINAS: 255
INDEXADO EM: Scopus DBLP CrossRef
6544
TÍTULO: Realistic fault extraction for high-quality design and test of VLSI systems
AUTORES: Goncalves, FM ; Teixeira, IC ; Teixeira, JP ;
PUBLICAÇÃO: 1997, FONTE: 1997 IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems in 1997 IEEE INTERNATIONAL SYMPOSIUM ON DEFECT AND FAULT TOLERANCE IN VLSI SYSTEMS, PROCEEDINGS, PÁGINAS: 29-37
INDEXADO EM: Scopus WOS CrossRef
6545
TÍTULO: Robust search algorithms for test pattern generation  Full Text
AUTORES: Silva, JPM ; Sakallah, KA;
PUBLICAÇÃO: 1997, FONTE: 27th Annual International Symposium on Fault-Tolerant Computing (FTCS-27) in TWENTY-SEVENTH ANNUAL INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT COMPUTING, DIGEST OF PAPERS, PÁGINAS: 152-161
INDEXADO EM: WOS DBLP
6546
TÍTULO: Sliding mode control of voltage sourced boost-type reversible rectifiers
AUTORES: Silva, JF ;
PUBLICAÇÃO: 1997, FONTE: IEEE International Symposium on Industrial Electronics in ISIE '97 - PROCEEDINGS OF THE IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1-3, VOLUME: 2, PÁGINAS: 329-334
INDEXADO EM: Scopus WOS
6547
TÍTULO: Switching activity estimation using limited depth reconvergent path analysis
AUTORES: Costa, JC; Monteiro, JC ; Devadas, S;
PUBLICAÇÃO: 1997, FONTE: 1997 International Symposium on Low Power Electronics and Design in 1997 INTERNATIONAL SYMPOSIUM ON LOW POWER ELECTRONICS AND DESIGN, PROCEEDINGS, PÁGINAS: 184-189
INDEXADO EM: Scopus WOS
6548
TÍTULO: Variable block sized motion segmentation for video coding
AUTORES: Silveira, M ; Piedade, M ;
PUBLICAÇÃO: 1997, FONTE: 1997 IEEE International Symposium on Circuits and Systems (ISCAS 97) - Circuits and Systems in the Information Age in ISCAS '97 - PROCEEDINGS OF 1997 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS I - IV: CIRCUITS AND SYSTEMS IN THE INFORMATION AGE, VOLUME: 2, PÁGINAS: 1293-1296
INDEXADO EM: Scopus WOS
6549
TÍTULO: Voltage control of twelve pulse rectifiers fitted with double LC filters
AUTORES: Pinto, SF ; Silva, JF ;
PUBLICAÇÃO: 1997, FONTE: IEEE International Symposium on Industrial Electronics in ISIE '97 - PROCEEDINGS OF THE IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1-3, VOLUME: 2, PÁGINAS: 323-328
INDEXADO EM: Scopus WOS CrossRef: 2
6550
TÍTULO: A coordinate-transformed Arnoldi algorithm for generating guaranteed stable reduced-order models of RLC circuits  Full Text
AUTORES: Silveira, L. Miguel ; Kamon, M; Elfadel, I; White, J;
PUBLICAÇÃO: 1996, FONTE: 1996 IEEE/ACM International Conference on Computer-Aided Design in 1996 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN - DIGEST OF TECHNICAL PAPERS, PÁGINAS: 288-294
INDEXADO EM: Scopus WOS
6551
TÍTULO: A new configuration of low cost rotative diesel UPS system
AUTORES: Anunciada, V; Santana, J ;
PUBLICAÇÃO: 1996, FONTE: 18th Telecommunications Energy Conference (INTELEC 96) in INTELEC - EIGHTEENTH INTERNATIONAL TELECOMMUNICATIONS ENERGY CONFERENCE, PÁGINAS: 420-427
INDEXADO EM: Scopus WOS
6552
TÍTULO: A transparent light-weight group service  Full Text
AUTORES: Rodrigues, L ; Guo, K; Sargento, A; vanRenesse, R; Glade, B; Verissimo, P ; Birman, K;
PUBLICAÇÃO: 1996, FONTE: 15th Symposium on Reliable Distributed Systems (SRDS-15) in 15TH SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, PÁGINAS: 130-139
INDEXADO EM: Scopus WOS DBLP
6553
TÍTULO: A wind park reduced-order model using singular perturbations theory
AUTORES: Castro, RMG ; deJesus, JMF;
PUBLICAÇÃO: 1996, FONTE: 1996 IEEE / PES Winter Meeting in IEEE TRANSACTIONS ON ENERGY CONVERSION, VOLUME: 11, NÚMERO: 4, PÁGINAS: 735-741
INDEXADO EM: Scopus WOS CrossRef
6554
TÍTULO: Accent identification
AUTORES: Teixeira, C; Trancoso, I ; Serralheiro, A ;
PUBLICAÇÃO: 1996, FONTE: 4th International Congress on Spoken Language Processing in ICSLP 96 - FOURTH INTERNATIONAL CONFERENCE ON SPOKEN LANGUAGE PROCESSING, PROCEEDINGS, VOLS 1-4, VOLUME: 3, PÁGINAS: 1784-1787
INDEXADO EM: Scopus WOS
6555
TÍTULO: Accurate modelling of rod driven tower footing
AUTORES: Almeida, ME ; deBarros, MTC;
PUBLICAÇÃO: 1996, FONTE: IEEE TRANSACTIONS ON POWER DELIVERY, VOLUME: 11, NÚMERO: 3, PÁGINAS: 1606-1609
INDEXADO EM: Scopus WOS CrossRef
6556
TÍTULO: An incremental speaker-adaptation technique for hybrid HMM-MLP recognizer
AUTORES: Neto, JP ; Martins, C; Almeida, LB ;
PUBLICAÇÃO: 1996, FONTE: 4th International Congress on Spoken Language Processing in ICSLP 96 - FOURTH INTERNATIONAL CONFERENCE ON SPOKEN LANGUAGE PROCESSING, PROCEEDINGS, VOLS 1-4, VOLUME: 3, PÁGINAS: 1293-1296
INDEXADO EM: Scopus WOS
6557
TÍTULO: Application of speaker modification techniques to phonetic vocoding
AUTORES: Ribeiro, CM; Trancosa, IM ;
PUBLICAÇÃO: 1996, FONTE: 4th International Congress on Spoken Language Processing in ICSLP 96 - FOURTH INTERNATIONAL CONFERENCE ON SPOKEN LANGUAGE PROCESSING, PROCEEDINGS, VOLS 1-4, VOLUME: 1, PÁGINAS: 306-309
INDEXADO EM: Scopus WOS
6558
TÍTULO: Chapter 15 Feedback in computer supported cooperation systems: User interface design for a talk-like tool
AUTORES: Penz, F; Antunes, P; Fonseca, M ;
PUBLICAÇÃO: 1996, FONTE: Human Factors in Information Technology, VOLUME: 12, NÚMERO: C, PÁGINAS: 241-257
INDEXADO EM: Scopus CrossRef
6559
TÍTULO: Computation of electromagnetic transients on nonuniform transmission lines
AUTORES: deBarros, MTC; Almeida, ME ;
PUBLICAÇÃO: 1996, FONTE: 1995 IEEE/PES Summer Meeting in IEEE TRANSACTIONS ON POWER DELIVERY, VOLUME: 11, NÚMERO: 2, PÁGINAS: 1082-1091
INDEXADO EM: Scopus WOS
6560
TÍTULO: Conflict analysis in search algorithms for satisfiability
AUTORES: Silva, JPM ; Sakallah, KA;
PUBLICAÇÃO: 1996, FONTE: 8th IEEE International Conference on Tools with Artificial Intelligence (TAI 96) in EIGHTH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, PÁGINAS: 467-469
INDEXADO EM: Scopus WOS DBLP

Results per Page: 20.
Página 328 de 341. Total de resultados: 6818.