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

AuthID: I-000-1RA

External   Internal

Publications Count: 1277

43 Team Members
Filters -> Year: 2026
981
TITLE: PARALLEL CALCULATION OF SUBGRAPH CENSUS IN BIOLOGICAL NETWORKS
AUTHORS: Ribeiro, P ; Silva, F ; Lopes, L ;
PUBLISHED: 2010, SOURCE: 1st International Conference on Bioinformatics (BIOINFORMATICS 2010) in BIONFORMATICS 2010: PROCEEDINGS OF THE FIRST INTERNATIONAL CONFERENCE ON BIOINFORMATICS, PAGES: 56-65
982
TITLE: Patient Empowerment by the Means of Citizen-managed Electronic Health Records: Web 2.0 Health Digital Identity
AUTHORS: Falcao Reis, F; Correia, ME ;
PUBLISHED: 2010, SOURCE: 7th Annual Conference of the International-Council-on-Medical-and-Care-Compunetics (ICMCC) in MEDICAL AND CARE COMPUNETICS 6, VOLUME: 156, PAGES: 214-228
983
TITLE: Portability of Prolog programs: theory and case-studies
AUTHORS: Jan Wielemaker; Vítor Santos Costa ;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1009.3796, PAGES: 05
984
TITLE: Predicting the Start of Protein alpha-Helices Using Machine Learning Algorithms
AUTHORS: Rui Camacho ; Rita Ferreira; Natacha Rosa; Vania Guimaraes; Nuno A Fonseca ; Vitor Santos Costa ; Miguel de Sousa; Alexandre Magalhaes ;
PUBLISHED: 2010, SOURCE: 4th International workshop on Practical Applications of Computational Biology & Bioinformatics in ADVANCES IN BIOINFORMATICS, VOLUME: 74, PAGES: 33-41
985
TITLE: Preprocessing Boolean Formulae for BDDs in a Probabilistic Context
AUTHORS: Mantadelis, T ; Rocha, R ; Kimmig, A; Janssens, G;
PUBLISHED: 2010, SOURCE: 12th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, VOLUME: 6341, PAGES: 260-272
986
TITLE: Probabilistic Inductive Querying Using ProbLog
AUTHORS: Luc De Raedt; Angelika Kimmig; Bernd Gutmann; Kristian Kersting; Vítor Santos Costa ; Hannu Toivonen;
PUBLISHED: 2010, SOURCE: Inductive Databases and Constraint-Based Data Mining, PAGES: 229-262
987
TITLE: Retroactive Subsumption-Based Tabled Evaluation of Logic Programs
AUTHORS: Cruz, F ; Rocha, R ;
PUBLISHED: 2010, SOURCE: 12th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, VOLUME: 6341, PAGES: 130-142
988
TITLE: Reusable and Inter-Operable Web-Based Intelligent Tutoring Systems Using SCORM 2004
AUTHORS: Gustavo Santos; Alvaro Figueira ;
PUBLISHED: 2010, SOURCE: 9th European Conference on e-Learning in PROCEEDINGS OF THE 9TH EUROPEAN CONFERENCE ON E-LEARNING, VOL 1, PAGES: 521-527
989
TITLE: Runtime Programming through Model-Preserving, Scalable Runtime Patches
AUTHORS: Christoph M Kirsch; Luís M B Lopes ; Eduardo R B Marques ; Ana Sokolova;
PUBLISHED: 2010, SOURCE: FACS, VOLUME: 6921 LNCS, PAGES: 290-294
990
TITLE: Secure multicast in IPTV services
AUTHORS: Pinto, A ; Ricardo, M ;
PUBLISHED: 2010, SOURCE: COMPUTER NETWORKS, VOLUME: 54, ISSUE: 10, PAGES: 1531-1542
991
992
TITLE: Sequential Pattern Mining in Multi-relational Datasets
AUTHORS: Ferreira, CA ; Gama, J ; Costa, VS ;
PUBLISHED: 2010, SOURCE: 13th Conference of the Spanish-Association-for-Artificial-Intelligence (CAEPIA 2009) in CURRENT TOPICS IN ARTIFICIAL INTELLIGENCE, VOLUME: 5988, PAGES: 121-+
993
TITLE: Specifying a Programming Exercises Evaluation Service on the e-Framework
AUTHORS: Leal, JP ; Queirós, R ; Ferreira, D;
PUBLISHED: 2010, SOURCE: 9th International Conference on Advances in Web-Based Learning in ADVANCES IN WEB-BASED LEARNING-ICWL 2010, VOLUME: 6483, PAGES: 141-+
994
TITLE: TALM: A Hybrid Execution Model with Distributed Speculation Support
AUTHORS: Leandro A J Marzulo; Tiago A O Alves; Felipe M G França; Vítor Santos Costa ;
PUBLISHED: 2010, SOURCE: SBAC-PAD (Workshops), PAGES: 31-36
995
TITLE: Temporal Anomaly Detection: An Artificial Immune Approach Based on T Cell Activation, Clonal Size Regulation and Homeostasis
AUTHORS: Antunes, MJ ; Correia, ME ;
PUBLISHED: 2010, SOURCE: ADVANCES IN COMPUTATIONAL BIOLOGY, VOLUME: 680, PAGES: 291-298
996
TITLE: Threads and or-parallelism unified
AUTHORS: Costa, VS ; Dutra, I ; Rocha, R ;
PUBLISHED: 2010, SOURCE: 26th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 10, ISSUE: 4-6, PAGES: 417-432
997
TITLE: Towards a study of meta-predicate semantics
AUTHORS: Moura, P ;
PUBLISHED: 2010, SOURCE: 26th International Conference on Logic Programming, ICLP 2010 - Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments - CICLOPS-WLPE 2010 in Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments, CICLOPS-WLPE 2010, VOLUME: abs/1009.3773, PAGES: 04
998
TITLE: Towards e-learning 2.0: case study of an e-learning environment
AUTHORS: Ricardo Queirós ; Lino Oliveira; Mário Pinto; Cândida Silva;
PUBLISHED: 2010, SOURCE: Proceedings of the 9th European Conference on e-Learning
999
TITLE: Towards eLearning 2.0: Case Study of an eLearning Environment
AUTHORS: Ricardo Queiros ; Lino Oliveira ; Mario Pinto; Candida Silva;
PUBLISHED: 2010, SOURCE: 9th European Conference on e-Learning in PROCEEDINGS OF THE 9TH EUROPEAN CONFERENCE ON E-LEARNING, VOL 1, PAGES: 812-815
1000
TITLE: Visual programming of XSLT from examples
AUTHORS: José P Leal ; Ricardo Queirós ;
PUBLISHED: 2010, SOURCE: XML, Associated Technologies and Applications

Results per Page: 20.
Page 50 of 64. Total results: 1277.