Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Information Flow AnalysisScheben, Christoph ; Greiner, SimonDeductive Software Verification – The KeY Book, 2016-12, p.453-471 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
2 |
Material Type: Artigo de Congresso
|
A graph-based approach for shape skeleton analysisAndré Ricardo Backes Odemir Martinez Bruno; International Conference on Image Analysis and Processing - ICIAP (15. 2009 Salerno)Lecture Notes in Computer Science Heidelberg v. 5716, p. 731-738, 2009Heidelberg Springer 2009Localização: IFSC - Inst. Física de São Carlos (PROD016226 ) e outros locais(Acessar) |
|
3 |
Material Type: Artigo
|
Deeply Learning Deformable Facial Action Parts Model for Dynamic Expression AnalysisLiu, Mengyi ; Li, Shaoxin ; Shan, Shiguang ; Wang, Ruiping ; Chen, XilinComputer Vision -- ACCV 2014, p.143-157 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
4 |
Material Type: Artigo
|
Formal Modelling and Analysis of a Self-Adaptive Robotic SystemPässler, Juliane Linda ; ter Beek, Maurice H ; Damiani, Ferruccio ; Tapia Tarifa, Silvia Lizeth ; Johnsen, Einar BrochLecture notes in computer science, 2023 [Periódico revisado por pares]Texto completo disponível |
|
5 |
Material Type: Artigo
|
Community Dynamics: Event and Role Analysis in Social Network AnalysisFagnan, Justin ; Rabbany, Reihaneh ; Takaffoli, Mansoureh ; Verbeek, Eric ; Zaïane, Osmar R.Advanced Data Mining and Applications, p.85-97 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
6 |
Material Type: Artigo
|
Exploratory Analysis of Marketing and Non-marketing E-cigarette Themes on TwitterHan, Sifei ; Kavuluru, RamakanthSocial Informatics, 2016-01, p.307-322 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
7 |
Material Type: Livro
|
Static analysisInternational Symposium on Static Analysis, SAS'98, 5 1998 Pisa Giorgio LeviGoos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-Berlin Springer-Verlag c1998Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v.1503 )(Acessar) |
|
8 |
Material Type: Livro
|
Static analysisInternational Symposium Static Analysis Symposium, SAS 2000, 7 2000 Santa Barbara Jens PalsbergGoos, G., ed; Hartmanis, J., ed; Leeuwen, J. van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-Berlin Springer-Verlag c2000Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v.1824 )(Acessar) |
|
9 |
Material Type: Artigo
|
Competitive Analysis for Multi-objective Online AlgorithmsTiedemann, Morten ; Ide, Jonas ; Schöbel, AnitaWALCOM: Algorithms and Computation, p.210-221 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
10 |
Material Type: Artigo
|
On Computationally-Enhanced Visual Analysis of Heterogeneous Data and Its Application in Biomedical InformaticsTurkay, Cagatay ; Jeanquartier, Fleur ; Holzinger, Andreas ; Hauser, HelwigInteractive Knowledge Discovery and Data Mining in Biomedical Informatics, p.117-140 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |