Inesc Tecnologia e Ciência (INESC TEC)
Inesc Technology and Science

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: 18000

1699 Team Members
Filters -> Year: 2024
13941
TITLE: GamaSlicer: an online laboratory for program verification and analysis. an online laboratory for program verification and analysis
AUTHORS: Daniela Carneiro da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLISHED: 2010, SOURCE: 10th Workshop on Language Descriptions, Tools and Applications, LDTA 2010 in Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications, LDTA 2010, Paphos, Cyprus, March 28-29, 2010 - satellite event of ETAPS, PAGES: 3
INDEXED IN: Scopus DBLP CrossRef
13942
TITLE: Gas Pipelines LPV Modelling and Identification for Leakage Detection  Full Text
AUTHORS: dos Santos, PL ; Azevedo Perdicoulis, TP ; Ramos, JA; Jank, G; de Carvalho, JLM ; Milhinhos, J;
PUBLISHED: 2010, SOURCE: American Control Conference in 2010 AMERICAN CONTROL CONFERENCE, PAGES: 1211-1216
INDEXED IN: Scopus WOS DBLP CrossRef
13943
TITLE: Gender Differences in Internet Usage Habits: A Case Study in Higher Education
AUTHORS: Rosalina Babo; Carla Teixeira Lopes ; Ana Claudia Rodrigues; Mario Pinto; Ricardo Queiros ; Paulo Coelho de Oliveira;
PUBLISHED: 2010, SOURCE: 14th International-Business-Information-Management-Association Conference in BUSINESS TRANSFORMATION THROUGH INNOVATION AND KNOWLEDGE MANAGEMENT: AN ACADEMIC PERSPECTIVE, VOLS 1-2, VOLUME: 1, PAGES: 385-396
INDEXED IN: Scopus WOS
13944
TITLE: Generic Point-free Lenses
AUTHORS: Hugo Pacheco ; Alcino Cunha ;
PUBLISHED: 2010, SOURCE: 10th International Conference on Mathematics of Program Construction in MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, VOLUME: 6120, PAGES: 331-352
INDEXED IN: Scopus WOS DBLP CrossRef: 9
13945
TITLE: Genetic Algorithm with Local Search for Community Mining in Complex Networks
AUTHORS: Di Jin; Dongxiao X He; Dayou Y Liu; Carlos Baquero ;
PUBLISHED: 2010, SOURCE: 22nd International Conference on Tools with Artificial Intelligence in 22ND INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2010), PROCEEDINGS, VOL 1, VOLUME: 1, PAGES: 105-112
INDEXED IN: Scopus WOS DBLP CrossRef: 41
13946
TITLE: Godel's system T revisited  Full Text
AUTHORS: Alves, S ; Fernandez, M; Florido, M ; Mackie, I;
PUBLISHED: 2010, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 411, ISSUE: 11-13, PAGES: 1484-1500
INDEXED IN: Scopus WOS DBLP CrossRef
13947
TITLE: Greenhouse Heat Load Prediction Using a Support Vector Regression Model
AUTHORS: Coelho, JP ; Cunha, JB ; Oliveira, PD ; Pires, ES ;
PUBLISHED: 2010, SOURCE: 5th International Workshop on Soft Computing Models in Industrial Applications in SOFT COMPUTING MODELS IN INDUSTRIAL AND ENVIRONMENTAL APPLICATIONS, VOLUME: 73, PAGES: 111-117
INDEXED IN: WOS DBLP CrossRef: 2 Handle
13948
TITLE: Grid interactive charging control for plug-in electric vehicles
AUTHORS: Rei, RJ; Soares, FJ ; Rocha Almeida, PM; Pecas Lopes, JA ;
PUBLISHED: 2010, SOURCE: 13th International IEEE Conference on Intelligent Transportation Systems, ITSC 2010 in IEEE Conference on Intelligent Transportation Systems, Proceedings, ITSC, PAGES: 386-391
INDEXED IN: Scopus CrossRef: 16
13949
TITLE: GUI Inspection from Source Code Analysis
AUTHORS: João Carlos Silva; José Creissac Campos ; João Saraiva ;
PUBLISHED: 2010, SOURCE: ECEASST, VOLUME: 33
INDEXED IN: Scopus DBLP
13950
TITLE: Hábitos de utilização da internet nos alunos do ensino superior: caso de estudo
AUTHORS: Ana C Rodrigues; Mário Pinto; Ricardo Queirós; Rosalina Babo; Carla T Lopes ; Paulo C d Oliveira;
PUBLISHED: 2010, SOURCE: Recursos humanos: das teorias às boas práticas: os artigos de investigação e intervenção
INDEXED IN: Handle
13951
TITLE: HAND GRIP STRENGTH IN A SAMPLE Of 11 to 14 Years Old Children  Full Text
AUTHORS: Carreira, H; Amaral, TF ; Bras Silva, C ; Oliveira, BMPM ; Borges, N ;
PUBLISHED: 2010, SOURCE: ACTA MEDICA PORTUGUESA, VOLUME: 23, ISSUE: 5, PAGES: 811-818
INDEXED IN: Scopus WOS Handle
13952
TITLE: Handling mobility on a QoS-aware service-based framework for mobile systems
AUTHORS: Goncalves, J; Ferreira, LL ; Pinho, LM ; Silva, G;
PUBLISHED: 2010, SOURCE: IEEE/IFIP 8th International Conference on Embedded and Ubiquitous Computing, EUC 2010 in Proceedings - IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, EUC 2010, PAGES: 97-104
INDEXED IN: Scopus CrossRef
13953
TITLE: Hg(II) sensing based on functionalized carbon dots obtained by direct laser ablation  Full Text
AUTHORS: Helena Goncalves ; Pedro A S Jorge ; Fernandes, JRA ; Joaquim C G E Esteves da Silva ;
PUBLISHED: 2010, SOURCE: SENSORS AND ACTUATORS B-CHEMICAL, VOLUME: 145, ISSUE: 2, PAGES: 702-707
INDEXED IN: Scopus WOS CrossRef: 248
13954
TITLE: Hierarchical medical image annotation using SVM-based approaches
AUTHORS: Amaral, IF; Coelho, F; Da Costa, JFP ; Cardoso, JS ;
PUBLISHED: 2010, SOURCE: 10th International Conference on Information Technology and Applications in Biomedicine: Emerging Technologies for Patient Specific Healthcare, ITAB 2010 in Proceedings of the IEEE/EMBS Region 8 International Conference on Information Technology Applications in Biomedicine, ITAB
INDEXED IN: Scopus CrossRef: 8
13955
TITLE: High SNR secrecy rates with OFDM signaling over fading channels
AUTHORS: Renna, F ; Laurenti, N; Poor, HV;
PUBLISHED: 2010, SOURCE: 2010 IEEE 21st International Symposium on Personal Indoor and Mobile Radio Communications, PIMRC 2010 in IEEE International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC, PAGES: 2692-2697
INDEXED IN: Scopus CrossRef: 6
13956
TITLE: High-level programming and control for industrial robotics: using a hand-held accelerometer-based input device for gesture and posture recognition
AUTHORS: Neto, P; Pires, JN ; Moreira, AP ;
PUBLISHED: 2010, SOURCE: INDUSTRIAL ROBOT-AN INTERNATIONAL JOURNAL, VOLUME: 37, ISSUE: 2, PAGES: 137-147
INDEXED IN: Scopus WOS DBLP CrossRef: 62
13957
TITLE: HUMANOID LOW-LEVEL CONTROLLER DEVELOPMENT BASED ON A REALISTIC SIMULATION
AUTHORS: Lima, JL ; Goncalves, JC ; Costa, PG ; Moreira, AP ;
PUBLISHED: 2010, SOURCE: INTERNATIONAL JOURNAL OF HUMANOID ROBOTICS, VOLUME: 7, ISSUE: 4, PAGES: 587-607
INDEXED IN: Scopus WOS DBLP CrossRef: 3
13958
TITLE: Hybrid framework for evaluating video object tracking algorithms  Full Text
AUTHORS: Carvalho, P ; Cardoso, JS ; Corte Real, L ;
PUBLISHED: 2010, SOURCE: ELECTRONICS LETTERS, VOLUME: 46, ISSUE: 6, PAGES: 411-412
INDEXED IN: Scopus WOS CrossRef: 1
13959
TITLE: Hybrid modeling, control and estimation in ABS applications based on In-Wheel electric motors
AUTHORS: Ricardo d Castro; João d Sousa; Rui Araújo ; F. Lobo Pereira; Diamantino Freitas;
PUBLISHED: 2010
INDEXED IN: Handle
13960
TITLE: Hybrid sol-gel technology for fast prototyping in astronomical interferometry
AUTHORS: Ghasempour, A; Leite, AMP ; Alexandre, D ; Reynaud, F; Marques, PVS ; Garcia, PJV ;
PUBLISHED: 2010, SOURCE: Conference on Optical and Infrared Interferometry II in OPTICAL AND INFRARED INTERFEROMETRY II, VOLUME: 7734
INDEXED IN: Scopus WOS CrossRef

Results per Page: 20.
Página 698 de 900. Total de resultados: 18000.