INESCTEC: Browsing DSpace

Browsing by Title

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:

Showing results 2696 to 2715 of 7125 < previous next >

Issue Date	Title	Author(s)
2014	G-Tries: a data structure for storing and finding subgraphs	Pedro Manuel Ribeiro; Fernando Silva
2017	Gait analysis as a complementary tool in the levodopa dose decision in vascular Parkinson's disease	Gago,M; Flora Rocha Ferreira; Mollaei,N; Rodrigues,M; Sousa,N; Bicho,E; Rodrigues,P
2011	Game Design Evaluation Study for Student Integration	Armando Sousa; André Cruz; António Coelho
2015	Game Design Techniques for Software Engineering Management Education	Letra,P; Ana Cristina Paiva; Nuno Flores
2014	A game for robot operation training in Search and Rescue missions	Goncalves,R; Ricardo José Baptista; António Coelho; Aníbal Matos; de Carvalho,CV; Bedkowski,J; Musialik,P; Ostrowski,I; Majek,K
2017	Gamification at Scraim	Silva,D; António Coelho; Duarte,C; Henriques,PC
2016	Gamification of Learning Activities with the Odin service	José Carlos Paiva; José Paulo Leal; Ricardo Queirós
2006	GANS: A Signalling Framework for Dynamic Interworking between Heterogeneous Networks	N. Akhtar; Rui Lopes Campos
-	GAPI2.0	-
2012	Gas refractometry based on an all-fiber spatial optical filter	Luís Carlos Coelho; Ricardo Melo André; Orlando Frazão; Susana Oliveira Silva
2015	Gaze-Based Personalized Multi-View Experiences	Maria Teresa Andrade; Tiago André Costa
-	GBYPLN_EVO	-
-	GeCLIFmcast	-
-	GEMS	-
2002	A GENERAL APPROACH FOR SECURITY MONITORING AND PREVENTIVE CONTROL OF NETWORKS WITH LARGE WIND POWER PRODUCTION	Helena Vasconcelos; José Nuno Fidalgo; João Peças Lopes
1995	A General Methodology For Distribution Planning Under Uncertainty, Including Genetic Algorithms And Fuzzy Models In A Multi-Criteria Environment	Luis Miguel Proença; Vladimiro Miranda
2017	A General Morphological Analysis to Support Strategic Management Decisions in Public Transport Companies	De Fátima Teles,M; Jorge Freire Sousa
2019	Generalising KAT to Verify Weighted Computations	HASLab INESC TEC,Universidade do Minho,R. da Universidade,4710-057 Braga,Portugal,; CIDMA,Universidade de Aveiro,Campus Universitario de Santiago,3810-193 Aveiro,Portugal,; Luís Soares Barbosa; Madeira,A; Leandro Rafael Gomes; Universidade do Minho,R. da Universidade,4710-057 Braga,Portugal & Quantum Software Engineering Group,INL,; 6759; 5603
2019	A Generalized Program Verification Workflow Based on Loop Elimination and SA Form	Belo Lourenco,C; Maria João Frade; Jorge Sousa Pinto; 5605; 5595
2018	Generating the algebraic theory of C(X): The case of partially ordered compact spaces	Hofmann,D; Nora,P; Renato Jorge Neves; 6181

Showing results 2696 to 2715 of 7125 < previous next >