Center for Research in Advanced Computing Systems (CRACS)
Center for Research in Advanced Computing Systems
AuthID: I-000-1RA Publications Count: 1277
43 Team MembersFilters -> Year: 2026
661
TITLE: NVL: a coordination language for unmanned vehicle networks. a coordination language for unmanned vehicle networks
AUTHORS: Marques, ERB ; Ribeiro, M; Pinto, J ; Sousa, JB ; Martins, F ;
PUBLISHED: 2015, SOURCE: 30th ACM Symposium on Applied Computing (SAC) in 30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II, VOLUME: 13-17-April-2015, PAGES: 331-334
AUTHORS: Marques, ERB ; Ribeiro, M; Pinto, J ; Sousa, JB ; Martins, F ;
PUBLISHED: 2015, SOURCE: 30th ACM Symposium on Applied Computing (SAC) in 30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II, VOLUME: 13-17-April-2015, PAGES: 331-334
662
TITLE: Odin: a service for gamification of learning activities
AUTHORS: José P Leal ; José Paiva; Ricardo Queirós;
PUBLISHED: 2015, SOURCE: Symposium on Languages, Applications and Technologies (SLATE), 4th
AUTHORS: José P Leal ; José Paiva; Ricardo Queirós;
PUBLISHED: 2015, SOURCE: Symposium on Languages, Applications and Technologies (SLATE), 4th
663
TITLE: Odin: A Service for Gamification of Learning Activities
AUTHORS: Paiva, JC ; Leal, JP ; Queirós, R ;
PUBLISHED: 2015, SOURCE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563, PAGES: 194-204
AUTHORS: Paiva, JC ; Leal, JP ; Queirós, R ;
PUBLISHED: 2015, SOURCE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563, PAGES: 194-204
664
TITLE: On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities
AUTHORS: Cruz, F ; Rocha, R ;
PUBLISHED: 2015, SOURCE: 17th International Symposium on Practical Aspects of Declarative Languages (PADL) in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2015, VOLUME: 9131, PAGES: 34-49
AUTHORS: Cruz, F ; Rocha, R ;
PUBLISHED: 2015, SOURCE: 17th International Symposium on Practical Aspects of Declarative Languages (PADL) in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2015, VOLUME: 9131, PAGES: 34-49
665
TITLE: ORCHESTRATING ONLINE GROUP WORK WHILE ASSESSING INDIVIDUAL PARTICIPATIONS
AUTHORS: Alvaro Figueira ;
PUBLISHED: 2015, SOURCE: 9th International Technology, Education and Development Conference (INTED) in INTED2015: 9TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE, PAGES: 2996-3005
AUTHORS: Alvaro Figueira ;
PUBLISHED: 2015, SOURCE: 9th International Technology, Education and Development Conference (INTED) in INTED2015: 9TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE, PAGES: 2996-3005
666
TITLE: Pairwise structural role mining for user categorization in information cascades
AUTHORS: Choobdar, S ; Ribeiro, P ; Silva, F ;
PUBLISHED: 2015, SOURCE: IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM) in PROCEEDINGS OF THE 2015 IEEE/ACM INTERNATIONAL CONFERENCE ON ADVANCES IN SOCIAL NETWORKS ANALYSIS AND MINING (ASONAM 2015), PAGES: 137-144
AUTHORS: Choobdar, S ; Ribeiro, P ; Silva, F ;
PUBLISHED: 2015, SOURCE: IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM) in PROCEEDINGS OF THE 2015 IEEE/ACM INTERNATIONAL CONFERENCE ON ADVANCES IN SOCIAL NETWORKS ANALYSIS AND MINING (ASONAM 2015), PAGES: 137-144
667
TITLE: Performance Evaluation of Statistical Functions
AUTHORS: Rodrigues, A ; Silva, C ; Borges, P; Silva, S; Dutra, I ;
PUBLISHED: 2015, SOURCE: IEEE Int Conf on Smart City/8th IEEE Int Conf on Soc Comp and Networking (SocialCom)/5th IEEE Int Conf on Sustainable Comp and Commun (SustainCom)/Int Conf on Big Data Intelligence and Comp (DataCom)/5th Int Symposium on Cloud and Serv Comp (SC2) in 2015 IEEE INTERNATIONAL CONFERENCE ON SMART CITY/SOCIALCOM/SUSTAINCOM (SMARTCITY), PAGES: 754-760
AUTHORS: Rodrigues, A ; Silva, C ; Borges, P; Silva, S; Dutra, I ;
PUBLISHED: 2015, SOURCE: IEEE Int Conf on Smart City/8th IEEE Int Conf on Soc Comp and Networking (SocialCom)/5th IEEE Int Conf on Sustainable Comp and Commun (SustainCom)/Int Conf on Big Data Intelligence and Comp (DataCom)/5th Int Symposium on Cloud and Serv Comp (SC2) in 2015 IEEE INTERNATIONAL CONFERENCE ON SMART CITY/SOCIALCOM/SUSTAINCOM (SMARTCITY), PAGES: 754-760
668
TITLE: Physical-layer Security Against Non-degraded Eavesdroppers
AUTHORS: Joao P Vilela ; Joao Sa Sousa;
PUBLISHED: 2015, SOURCE: IEEE Global Communications Conference (GLOBECOM) in 2015 IEEE GLOBAL COMMUNICATIONS CONFERENCE (GLOBECOM)
AUTHORS: Joao P Vilela ; Joao Sa Sousa;
PUBLISHED: 2015, SOURCE: IEEE Global Communications Conference (GLOBECOM) in 2015 IEEE GLOBAL COMMUNICATIONS CONFERENCE (GLOBECOM)
669
TITLE: Predicting Adverse Drug Events from Electronic Medical Records
AUTHORS: Jesse Davis; Vítor Santos Costa ; Peggy L Peissig; Michael Caldwell; David Page;
PUBLISHED: 2015, SOURCE: Foundations of Biomedical Knowledge Representation, PAGES: 243-257
AUTHORS: Jesse Davis; Vítor Santos Costa ; Peggy L Peissig; Michael Caldwell; David Page;
PUBLISHED: 2015, SOURCE: Foundations of Biomedical Knowledge Representation, PAGES: 243-257
670
TITLE: Predicting Drugs Adverse Side-Effects Using a Recommender-System
AUTHORS: Pinto, D; Costa, P; Camacho, R ; Costa, VS ;
PUBLISHED: 2015, SOURCE: 18th International Conference on Discovery Science (DS) in DISCOVERY SCIENCE, DS 2015, VOLUME: 9356, PAGES: 201-208
AUTHORS: Pinto, D; Costa, P; Camacho, R ; Costa, VS ;
PUBLISHED: 2015, SOURCE: 18th International Conference on Discovery Science (DS) in DISCOVERY SCIENCE, DS 2015, VOLUME: 9356, PAGES: 201-208
671
TITLE: Predicting malignancy from mammography findings and image-guided core biopsies
AUTHORS: Ferreira, P ; Fonseca, NA ; Dutra, I ; Woods, R; Burnside, E ;
PUBLISHED: 2015, SOURCE: INTERNATIONAL JOURNAL OF DATA MINING AND BIOINFORMATICS, VOLUME: 11, ISSUE: 3, PAGES: 257-276
AUTHORS: Ferreira, P ; Fonseca, NA ; Dutra, I ; Woods, R; Burnside, E ;
PUBLISHED: 2015, SOURCE: INTERNATIONAL JOURNAL OF DATA MINING AND BIOINFORMATICS, VOLUME: 11, ISSUE: 3, PAGES: 257-276
672
TITLE: Predicting Results from Interaction Patterns During Online Group Work
AUTHORS: Álvaro Figueira ;
PUBLISHED: 2015, SOURCE: 10th European Conference on Technology Enhanced Learning, EC-TEL 2015 in Design for Teaching and Learning in a Networked World - 10th European Conference on Technology Enhanced Learning, EC-TEL 2015, Toledo, Spain, September 15-18, 2015, Proceedings, VOLUME: 9307, PAGES: 414-419
AUTHORS: Álvaro Figueira ;
PUBLISHED: 2015, SOURCE: 10th European Conference on Technology Enhanced Learning, EC-TEL 2015 in Design for Teaching and Learning in a Networked World - 10th European Conference on Technology Enhanced Learning, EC-TEL 2015, Toledo, Spain, September 15-18, 2015, Proceedings, VOLUME: 9307, PAGES: 414-419
673
TITLE: Preface
AUTHORS: Alves, S ; Cervesato, I; Chaudhuri, K; Fernández, M; Florido, M ; Gay, S; Martini, S; Paolini, L; Della Rocca, SR; Schürmann, C; Simmons, R; Vasconcelos, V;
PUBLISHED: 2015, SOURCE: 3rd International Workshop on Linearity, LINEARITY 2014 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 176
AUTHORS: Alves, S ; Cervesato, I; Chaudhuri, K; Fernández, M; Florido, M ; Gay, S; Martini, S; Paolini, L; Della Rocca, SR; Schürmann, C; Simmons, R; Vasconcelos, V;
PUBLISHED: 2015, SOURCE: 3rd International Workshop on Linearity, LINEARITY 2014 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 176
674
TITLE: Preface
AUTHORS: Barbosa, JG ; Dutra, I ;
PUBLISHED: 2015, SOURCE: Grid Computing: Techniques and Future Prospects
AUTHORS: Barbosa, JG ; Dutra, I ;
PUBLISHED: 2015, SOURCE: Grid Computing: Techniques and Future Prospects
676
TITLE: Proceedings Third International Workshop on Linearity, LINEARITY 2014, Vienna, Austria, 13th July, 2014
AUTHORS: Sandra Alves ; Iliano Cervesato;
PUBLISHED: 2015, SOURCE: LINEARITY, VOLUME: 176
AUTHORS: Sandra Alves ; Iliano Cervesato;
PUBLISHED: 2015, SOURCE: LINEARITY, VOLUME: 176
677
TITLE: Protocol-Based Verification of Message-Passing Parallel Programs
AUTHORS: López, HA; Marques, ERB ; Martins, F ; Ng, N; Santos, C; Vasconcelos, VT ; Yoshida, N;
PUBLISHED: 2015, SOURCE: ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) in ACM SIGPLAN NOTICES, VOLUME: 50, ISSUE: 10, PAGES: 280-298
AUTHORS: López, HA; Marques, ERB ; Martins, F ; Ng, N; Santos, C; Vasconcelos, VT ; Yoshida, N;
PUBLISHED: 2015, SOURCE: ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) in ACM SIGPLAN NOTICES, VOLUME: 50, ISSUE: 10, PAGES: 280-298
678
TITLE: Rand-FaSE: fast approximate subgraph census
AUTHORS: Paredes, P ; Ribeiro, P ;
PUBLISHED: 2015, SOURCE: SOCIAL NETWORK ANALYSIS AND MINING, VOLUME: 5, ISSUE: 1, PAGES: 17:1-17:18
AUTHORS: Paredes, P ; Ribeiro, P ;
PUBLISHED: 2015, SOURCE: SOCIAL NETWORK ANALYSIS AND MINING, VOLUME: 5, ISSUE: 1, PAGES: 17:1-17:18
679
TITLE: Reducing Large Semantic Graphs to Improve Semantic Relatedness
AUTHORS: Costa, T ; Leal, JP ;
PUBLISHED: 2015, SOURCE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563, PAGES: 236-245
AUTHORS: Costa, T ; Leal, JP ;
PUBLISHED: 2015, SOURCE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563, PAGES: 236-245
680
TITLE: Reducing simulation runtime in wireless sensor networks: A simulation framework to reduce wsn simulation runtime by using multiple simultaneous instances. A Simulation Framework to Reduce WSN Simulation Runtime by Using Multiple Simultaneous Instances
AUTHORS: Pinto, P ; Pinto, AA ; Ricardo, M ;
PUBLISHED: 2015, SOURCE: Handbook of Research on Computational Simulation and Modeling in Engineering, PAGES: 726-741
AUTHORS: Pinto, P ; Pinto, AA ; Ricardo, M ;
PUBLISHED: 2015, SOURCE: Handbook of Research on Computational Simulation and Modeling in Engineering, PAGES: 726-741
