Center for Research in Advanced Computing Systems (CRACS)
Center for Research in Advanced Computing Systems

Inesc Tecnologia e Ciência (INESC TEC) :: CS: Computer 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: 1167

37 Team Members
Filters -> Year: 2024
701
TITLE: Integrative functional statistics in logic programming
AUTHORS: Angelopoulos, N; Santos Costa, V ; Azevedo, J; Wielemaker, J; Camacho, R ; Wessels, L;
PUBLISHED: 2013, SOURCE: 15th International Symposium on Practical Aspects of Declarative Languages, PADL 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7752 LNCS, PAGES: 190-205
INDEXED IN: Scopus DBLP CrossRef: 11
702
TITLE: Interactive Shopping Experience through Immersive Store Environments
AUTHORS: Kunal Mankodiya; Rolando Martins ; Jonathan Francis; Elmer Garduno; Rajeev Gandhi; Priya Narasimhan;
PUBLISHED: 2013, SOURCE: 2nd International Conference on Design, User Experience, and Usability: User Experience in Novel Technological Environments, DUXU 2013, Held as Part of 15th International Conference on Human-Computer Interaction, HCI International 2013 in Design, User Experience, and Usability. User Experience in Novel Technological Environments - Second International Conference, DUXU 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part III, VOLUME: 8014, ISSUE: PART 3, PAGES: 372-382
INDEXED IN: Scopus DBLP CrossRef: 1
703
TITLE: Knowledge on Heart Condition of Children based on Demographic and Physiological Features
AUTHORS: Pedro Ferreira ; Tiago T V Vinhoza ; Ana Castro ; Felipe Mourato; Thiago Tavares; Sandra Mattos; Ines Dutra ; Miguel Coimbra ;
PUBLISHED: 2013, SOURCE: 26th IEEE International Symposium on Computer-Based Medical Systems (CBMS) in 2013 IEEE 26TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), PAGES: 314-319
INDEXED IN: Scopus WOS DBLP CrossRef: 2
704
TITLE: LogicObjects: Enabling Logic Programming in Java through Linguistic Symbiosis
AUTHORS: Sergio Castro; Kim Mens; Paulo Moura ;
PUBLISHED: 2013, SOURCE: 15th International Symposium on Practical Aspects of Declarative Languages, PADL 2013 in Practical Aspects of Declarative Languages - 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings, VOLUME: 7752, PAGES: 26-42
INDEXED IN: Scopus DBLP CrossRef
705
TITLE: MacroDB: Scaling Database Engines on Multicores
AUTHORS: Joao Soares ; Joao Lourenco ; Nuno Preguica;
PUBLISHED: 2013, SOURCE: 19th International Conference on Euro-Par in EURO-PAR 2013 PARALLEL PROCESSING, VOLUME: 8097, PAGES: 607-619
INDEXED IN: Scopus WOS DBLP CrossRef: 2
706
TITLE: Making Programming Exercises Interoperable with PExIL
AUTHORS: Ricardo Queiros ; Jose Paulo Leal ;
PUBLISHED: 2013, SOURCE: Conference on XML, Applications, and Associated Technologies (XATA) in INNOVATIONS IN XML APPLICATIONS AND METADATA MANAGEMENT: ADVANCING TECHNOLOGIES, PAGES: 38-56
INDEXED IN: Scopus WOS CrossRef: 2
707
TITLE: Managing experiments on cognitive processes in writing with HandSpy  Full Text
AUTHORS: Carlos Monteiro; Jose Paulo Leal ;
PUBLISHED: 2013, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 10, ISSUE: 4, PAGES: 1747-1773
INDEXED IN: Scopus WOS DBLP CrossRef: 3
708
TITLE: MetaBot: Automated and dynamically schedulable robotic behaviors in retail environments
AUTHORS: Jonathan Francis; Utsav Drolia; Kunal Mankodiya; Rolando Martins ; Rajeev Gandhi; Priya Narasimhan;
PUBLISHED: 2013, SOURCE: 2013 11th IEEE International Symposium on Robotic and Sensors Environments, ROSE 2013 in IEEE International Symposium on Robotic and Sensors Environments, ROSE 2013, Washington, DC, USA, October 21-23, 2013, PAGES: 148-153
INDEXED IN: Scopus DBLP CrossRef
709
TITLE: On Comparing Alternative Splitting Strategies for Or-Parallel Prolog Execution on Multicores PDF
AUTHORS: Rui Vieira; Ricardo Rocha ; Fernando M. A. Silva ;
PUBLISHED: 2013, SOURCE: CoRR, VOLUME: abs/1301.7690
INDEXED IN: DBLP arXiv
710
TITLE: On the efficient implementation of mode-directed tabling
AUTHORS: Santos, J ; Rocha, R ;
PUBLISHED: 2013, SOURCE: 15th International Symposium on Practical Aspects of Declarative Languages, PADL 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7752 LNCS, PAGES: 141-156
INDEXED IN: Scopus DBLP CrossRef: 4
711
TITLE: Or-parallel prolog execution on clusters of multicores  Full Text
AUTHORS: Santos, J ; Rocha, R ;
PUBLISHED: 2013, SOURCE: 2nd Symposium on Languages, Applications and Technologies, SLATE 2013 in OpenAccess Series in Informatics, VOLUME: 29, PAGES: 9-20
INDEXED IN: Scopus DBLP
712
TITLE: Physician's awareness of e-prescribing security risks
AUTHORS: Hugo Rodrigues; Luis Filipe C Antunes ; Cristina Santos ; Manuel Eduardo Correia ; Tiago Miguel Pinho; Hilario Gil Magalhaes;
PUBLISHED: 2013, SOURCE: 26th IEEE International Symposium on Computer-Based Medical Systems (CBMS) in 2013 IEEE 26TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), PAGES: 489-492
INDEXED IN: Scopus WOS DBLP CrossRef
713
TITLE: Predicting Traffic in the Cloud: A Statistical Approach
AUTHORS: Bruno Lopes Dalmazo; Joao P Vilela ; Marilia Curado ;
PUBLISHED: 2013, SOURCE: 3rd IEEE International Conference on Cloud and Green Computing (CGC) in 2013 IEEE THIRD INTERNATIONAL CONFERENCE ON CLOUD AND GREEN COMPUTING (CGC 2013), PAGES: 121-126
INDEXED IN: Scopus WOS CrossRef: 15
714
TITLE: Preface
AUTHORS: Leal, JP ; Rocha, R; Simões, A;
PUBLISHED: 2013, SOURCE: 2nd Symposium on Languages, Applications and Technologies, SLATE 2013 in OpenAccess Series in Informatics, VOLUME: 29
INDEXED IN: Scopus
716
TITLE: Prolog programming with a map-reduce parallel construct
AUTHORS: Corte Real, J ; Dutra, I ; Rocha, R ;
PUBLISHED: 2013, SOURCE: 15th Symposium on Principles and Practice of Declarative Programming, PPDP 2013 in Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, PPDP 2013, PAGES: 285-296
INDEXED IN: Scopus DBLP CrossRef: 3
717
TITLE: Proposal of a Secure Electronic Prescription System
AUTHORS: Rodrigues, HAM; Antunes, L ; Correia, ME ;
PUBLISHED: 2013, SOURCE: International Conference on Information Society (I-Society) in INTERNATIONAL CONFERENCE ON INFORMATION SOCIETY (I-SOCIETY 2013), VOLUME: 6, ISSUE: 3/4, PAGES: 165-168
INDEXED IN: Scopus WOS CrossRef: 1 Unpaywall
718
TITLE: Publishing Linked Data with DaPress
AUTHORS: Teresa Costa ; José Paulo Leal ;
PUBLISHED: 2013, SOURCE: 2nd Symposium on Languages, Applications and Technologies, SLATE 2013 in 2nd Symposium on Languages, Applications and Technologies, SLATE 2013, June 20-21, 2013 - Porto, Portugal, VOLUME: 29, PAGES: 67-81
INDEXED IN: Scopus DBLP
719
TITLE: Score As You Lift (SAYL): A statistical relational learning approach to uplift modeling
AUTHORS: Nassif, H; Kuusisto, F; Burnside, ES; Page, D; Shavlik, J; Santos Costa, V ;
PUBLISHED: 2013, SOURCE: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, ECML PKDD 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8190 LNAI, ISSUE: PART 3, PAGES: 595-611
INDEXED IN: Scopus DBLP CrossRef: 4
720
TITLE: Seqins - A Sequencing Tool for Educational Resources
AUTHORS: Ricardo Queirós ; José Paulo Leal ; José Campos;
PUBLISHED: 2013, SOURCE: 2nd Symposium on Languages, Applications and Technologies, SLATE 2013 in 2nd Symposium on Languages, Applications and Technologies, SLATE 2013, June 20-21, 2013 - Porto, Portugal, VOLUME: 29, PAGES: 83-96
INDEXED IN: Scopus DBLP

Results per Page: 20.
Página 36 de 59. Total de resultados: 1167.