Author of the publication

Analysis of Dogs' Sleep Patterns Using Convolutional Neural Networks.

, , , , , , and . ICANN (3), volume 11729 of Lecture Notes in Computer Science, page 472-483. Springer, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Towards a general formal framework of Coherence Management in RE., , and . RE, page 274-277. IEEE Computer Society, (2015)Cognitive factors in inconsistency management., and . RE, page 226-229. IEEE Computer Society, (2015)Teaching of Formal Methods for Software Engineering., and . ENASE, page 370-376. SciTePress, (2016)Buddy's Wearable Is Not Your Buddy: Privacy Implications of Pet Wearables., , , , and . IEEE Security & Privacy, 17 (3): 28-39 (2019)Simplified forms of computerized reasoning with distance semantics., and . J. Applied Logic, 9 (1): 1-22 (2011)Analyzing Variability of Cloned Artifacts: Formal Framework and Its Application to Requirements., , and . BMMDS/EMMSAD, volume 214 of Lecture Notes in Business Information Processing, page 311-325. Springer, (2015)A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics., and . CSR, volume 5010 of Lecture Notes in Computer Science, page 52-63. Springer, (2008)A Set-based Logical Language for Specification of Combinatorial Models., and . ACSW, page 57:1-57:4. ACM, (2019)Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination., and . LFCS, volume 5407 of Lecture Notes in Computer Science, page 31-45. Springer, (2009)Reasoning with Uncertainty by Nmatrix-Metric Semantics., and . WoLLIC, volume 5110 of Lecture Notes in Computer Science, page 69-82. Springer, (2008)