Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Capítulo de Livro
|
Bringing Constitutive Dynamics to Situated Artificial InstitutionsPereira, Francisco ; Machado, Penousal ; Costa, Ernesto ; Cardoso, AmílcarProgress in Artificial Intelligence, 2015, Vol.9273, p.624-637 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
|
2 |
Material Type: Capítulo de Livro
|
Towards a Family of Test Selection Criteria for Symbolic Models of Real-Time SystemsBraga, Christiano ; Martí-Oliet, NarcisoFormal Methods: Foundations and Applications, 2015, Vol.8941, p.48-63 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
|
3 |
Material Type: Capítulo de Livro
|
Assessing the Efficiency of Suffix Stripping Approaches for Portuguese StemmingIliopoulos, Costas S ; Puglisi, Simon J ; Yilmaz, EmineString Processing and Information Retrieval, 2015, Vol.9309, p.210-221 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
|
4 |
Material Type: Capítulo de Livro
|
Evotype: Evolutionary Type DesignJohnson, Colin ; Carballal, Adrian ; Correia, JoãoEvolutionary and Biologically Inspired Music, Sound, Art and Design, 2015, Vol.9027, p.136-147 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
|
5 |
Material Type: Capítulo de Livro
|
Composable Memory Transactions for Java Using a Monadic Intermediate LanguagePardo, Alberto ; Swierstra, S. DoaitseProgramming Languages, 2015, Vol.9325, p.128-142 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
|
6 |
Material Type: Capítulo de Livro
|
Agent-Based Modelling for a Resource Management Problem in a Role-Playing GamePereira, Francisco ; Machado, Penousal ; Costa, Ernesto ; Cardoso, AmílcarProgress in Artificial Intelligence, 2015, Vol.9273Switzerland: Springer International Publishing AGTexto completo disponível |
|
7 |
Material Type: Capítulo de Livro
|
Smart Environments and Context-Awareness for Lifestyle Management in a Healthy Active Ageing FrameworkPereira, Francisco ; Machado, Penousal ; Costa, Ernesto ; Cardoso, AmílcarProgress in Artificial Intelligence, 2015, Vol.9273Switzerland: Springer International Publishing AGTexto completo disponível |
|
8 |
Material Type: Capítulo de Livro
|
Reasoning over Ontologies and Non-monotonic RulesPereira, Francisco ; Machado, Penousal ; Costa, Ernesto ; Cardoso, AmílcarProgress in Artificial Intelligence, 2015, Vol.9273Switzerland: Springer International Publishing AGTexto completo disponível |
|
9 |
Material Type: Capítulo de Livro
|
Social Simulation and ModellingPereira, Francisco ; Machado, Penousal ; Costa, Ernesto ; Cardoso, AmílcarProgress in Artificial Intelligence, 2015, Vol.9273Switzerland: Springer International Publishing AGTexto completo disponível |
|
10 |
Material Type: Capítulo de Livro
|
Detecting Motion Patterns in Dense Flow Fields: Euclidean Versus Polar SpacePereira, Francisco ; Machado, Penousal ; Costa, Ernesto ; Cardoso, AmílcarProgress in Artificial Intelligence, 2015, Vol.9273Switzerland: Springer International Publishing AGTexto completo disponível |