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
801
TITLE: Proceedings of the 13th International Colloquium on Implementation of Constraint and LOgic Programming Systems
AUTHORS: Ricardo Rocha ; Christian Theil Have;
PUBLISHED: 2013, SOURCE: CoRR, VOLUME: abs/1307.8389
802
803
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
804
TITLE: Publishing Linked Data with DaPress
AUTHORS: Teresa Costa ; José Paulo Leal ;
PUBLISHED: 2013, SOURCE: SLATE, VOLUME: 29, PAGES: 67-81
805
TITLE: Score As You Lift (SAYL): A Statistical Relational Learning Approach to Uplift Modeling
AUTHORS: Houssam Nassif; Finn Kuusisto; Elizabeth S Burnside; David Page; Jude W Shavlik; Vítor Santos Costa ;
PUBLISHED: 2013, SOURCE: ECML/PKDD (3), VOLUME: 8190 LNAI, ISSUE: PART 3, PAGES: 595-611
806
TITLE: Seqins - A Sequencing Tool for Educational Resources
AUTHORS: Ricardo Queirós ; José Paulo Leal ; José Campos;
PUBLISHED: 2013, SOURCE: SLATE, VOLUME: 29, PAGES: 83-96
807
TITLE: Stheno, a real-time fault-tolerant P2P middleware platform for light-train systems
AUTHORS: Rolando Martins ; Luís M B Lopes ; Fernando M A Silva ; Priya Narasimhan ;
PUBLISHED: 2013, SOURCE: 28th Annual ACM Symposium on Applied Computing, SAC 2013 in Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, Coimbra, Portugal, March 18-22, 2013, PAGES: 431-438
808
TITLE: Temporal Visualization of a Multidimensional Network of News Clips
AUTHORS: Gomes, F; Devezas, J ; Figueira, A ;
PUBLISHED: 2013, SOURCE: World Conference on Information Systems and Technologies (WorldCIST) in ADVANCES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOLUME: 206, PAGES: 157-166
809
TITLE: Testing the perception of time, state and causality to predict programming aptitude
AUTHORS: Jose Paulo Leal ;
PUBLISHED: 2013, SOURCE: Federated Conference on Computer Science and Information Systems (FedCSIS) in 2013 FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS (FEDCSIS), PAGES: 721-726
810
TITLE: The community structure of a multidimensional network of news clips
AUTHORS: José Luís Devezas ; Álvaro Reis Figueira ;
PUBLISHED: 2013, SOURCE: Int. J. Web Based Communities, VOLUME: 9, ISSUE: 3, PAGES: 411-429
811
TITLE: The LSTS Toolchain for Networked Vehicle Systems
AUTHORS: Jose Pinto ; Paulo S Dias ; Ricardo Martins; Joao Fortuna; Eduardo Marques ; Joao Sousa ;
PUBLISHED: 2013, SOURCE: MTS/IEEE OCEANS Conference in 2013 MTS/IEEE OCEANS - BERGEN
812
TITLE: Towards a Faster Network-Centric Subgraph Census
AUTHORS: Pedro Paredes ; Pedro Ribeiro ;
PUBLISHED: 2013, SOURCE: IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM) in 2013 IEEE/ACM INTERNATIONAL CONFERENCE ON ADVANCES IN SOCIAL NETWORKS ANALYSIS AND MINING (ASONAM), PAGES: 270-277
813
TITLE: Towards deductive verification of MPI programs against session types
AUTHORS: Eduardo R B Marques ; Francisco Martins ; Vasco T Vasconcelos ; Nicholas Ng; Nuno Martins ;
PUBLISHED: 2013, SOURCE: PLACES, VOLUME: 137, PAGES: 103-113
814
TITLE: Using Device Detection Techniques in M-Learning Scenarios
AUTHORS: Ricardo Queiros ; Mario Pinto;
PUBLISHED: 2013, SOURCE: Conference on XML, Applications, and Associated Technologies (XATA) in INNOVATIONS IN XML APPLICATIONS AND METADATA MANAGEMENT: ADVANCING TECHNOLOGIES, PAGES: 118-134
815
TITLE: Using machine learning to identify benign cases with non-definitive biopsy
AUTHORS: Finn Kuusisto; Inês de Castro Dutra ; Houssam Nassif; Yirong Wu; Molly E Klein; Heather B Neuman; Jude W Shavlik; Elizabeth S Burnside ;
PUBLISHED: 2013, SOURCE: Healthcom, PAGES: 283-285
816
TITLE: Using proximity to compute semantic relatedness in RDF graphs
AUTHORS: Jose Paulo Leal ;
PUBLISHED: 2013, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 10, ISSUE: 4, PAGES: 1727-1746
817
TITLE: 1st Symposium on Languages, Applications and Technologies, SLATE 2012, Braga, Portugal, June 21-22, 2012
AUTHORS: Alberto Simões; Ricardo Queirós ; Daniela Carneiro da Cruz;
PUBLISHED: 2012, SOURCE: SLATE, VOLUME: 21
818
TITLE: A Cooperative Protocol for Jamming Eavesdroppers in Wireless Networks
AUTHORS: Joao P Vilela ; Joao Barros ;
PUBLISHED: 2012, SOURCE: IEEE International Conference on Communications (ICC) in 2012 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS (ICC), PAGES: 841-845
819
TITLE: A design and implementation of the Extended Andorra Model
AUTHORS: Lopes, R ; Costa, VS ; Silva, F ;
PUBLISHED: 2012, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 12, ISSUE: 3, PAGES: 319-360
820
TITLE: A distributed system for learning programming on-line
AUTHORS: Verdú, E; Regueras, LM; Verdú, MJ; Leal, JP ; de Castro, JP; Queirós, R ;
PUBLISHED: 2012, SOURCE: COMPUTERS & EDUCATION, VOLUME: 58, ISSUE: 1, PAGES: 1-10

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