Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Recurso Textual
|
![]() |
Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD)Laleau, Régine ; Méry, Dominique ; Nakajima, Shin ; Troubitsyna, ElenaElectronic Proceedings in Theoretical Computer Science, 2018, Vol.271EPTCSTexto completo disponível |
2 |
Material Type: Recurso Textual
|
![]() |
Proceedings of the Third Workshop on Formal Integrated Development Environment, F-IDE@FM 2016, Limassol, Cyprus, November 8, 2016Dubois, Catherine ; Masci, Paolo ; Méry, DominiqueElectronic Proceedings in Theoretical Computer Science, 2017, Vol.240EPTCSTexto completo disponível |
3 |
Material Type: Recurso Textual
|
![]() |
Impact on network performance of probe vehicle data usage: an experimental design for simulation assessmentMontero Mercadé, Lídia ; Linares Herreros, María Paz ; Casanovas Garcia, Josep ; Codina Sancho, Esteve ; Recio, Gonzalo ; Lorente, Ester ; Salmeron Moya, Juan2018Texto completo disponível |
4 |
Material Type: Recurso Textual
|
![]() |
Barcelona Virtual Mobility Lab: the multimodal transport simulation testbed for emerging mobility concepts evaluationMontero Mercadé, Lídia ; Linares Herreros, María Paz ; Salmeron Moya, Juan ; Recio, Gonzalo ; Lorente, Ester ; Vázquez, Juan JoséInternational Academy, Research, and Industry Association (IARIA) 2018Texto completo disponível |
5 |
Material Type: Recurso Textual
|
![]() |
Trends in Combinatorial Analysis: Complex Data, Machine Learning, and High-Performance ComputingAzad, Ariful ; Uçar, Bora ; Pothen, AlexSIAM News, 2019, p.1-3SIAMTexto completo disponível |
6 |
Material Type: Recurso Textual
|
![]() |
EditorialLecroq, Thierry ; Mouchard, LaurentJournal of Discrete Algorithms, 2015, Vol.31ElsevierTexto completo disponível |
7 |
Material Type: Recurso Textual
|
![]() |
Dynamic pipelining of multidimensional range queriesDuch Brown, Amalia ; Lugosi, Daniel ; Pasarella Sánchez, Ana Edelmira ; Zoltan Torres, Ana Cristina2019Texto completo disponível |
8 |
Material Type: Recurso Textual
|
![]() |
ECML PKDD 2016 Journal Track Special Issue of Machine LearningGärtner, Thomas ; Nanni, Mirco ; Passerini, Andrea ; Robardet, CélineMachine Learning, 2016, Vol.104 (2-3)Springer VerlagTexto completo disponível |
9 |
Material Type: Recurso Textual
|
![]() |
ECML PKDD 2016 Journal Track Special IssueGärtner, Thomas ; Nanni, Mirco ; Passerini, Andrea ; Robardet, CélineData Mining and Knowledge Discovery, 2016, Vol.30 (5)springerTexto completo disponível |
10 |
Material Type: Recurso Textual
|
![]() |
Le Web politique au prisme de la science des donnéesBoyadjian, Julien ; Olivesi, Aurélie ; Velcin, JulienRéseaux : communication, technologie, société, 2017 (204)Lavoisier, La DécouverteTexto completo disponível |