10 citations · 46 across the 12 of their papers we have counts for
13 papers
Inter-instance Data Impacts in Business Processes: A Model-based Analysis
Yotam Evron, Arava Tsoury, Anna Zamansky +2
A business process model represents the expected behavior of a set of process instances (cases). The process instances may be executed in parallel and may affect each other through…
Machine Learning Approaches to Predict and Detect Early-Onset of Digital Dermatitis in Dairy Cows using Sensor Data
Jennifer Magana, Dinu Gavojdian, Yakir Menachem +3
The aim of this study was to employ machine learning algorithms based on sensor behavior data for (1) early-onset detection of digital dermatitis (DD); and (2) DD prediction in dai…
Digitally-Enhanced Dog Behavioral Testing: Getting Help from the Machine
Nareed Farhat, Teddy Lazebnik, Joke Monteny +4
The assessment of behavioral traits in dogs is a well-studied challenge due to its many practical applications such as selection for breeding, prediction of working aptitude, chanc…
BovineTalk: Machine Learning for Vocalization Analysis of Dairy Cattle under Negative Affective States
Dinu Gavojdian, Teddy Lazebnik, Madalina Mincu +3
There is a critical need to develop and validate non-invasive animal-based indicators of affective states in livestock species, in order to integrate them into on-farm assessment p…
CatFLW: Cat Facial Landmarks in the Wild Dataset
George Martvel, Nareed Farhat, Ilan Shimshoni +1
Animal affective computing is a quickly growing field of research, where only recently first efforts to go beyond animal tracking into recognizing their internal states, such as pa…
Going Deeper than Tracking: a Survey of Computer-Vision Based Recognition of Animal Pain and Affective States
Sofia Broomé, Marcelo Feighelstein, Anna Zamansky +6
Advances in animal motion tracking and pose recognition have been a game changer in the study of animal behavior. Recently, an increasing number of works go 'deeper' than tracking,…
Deep Learning Models for Automated Classification of Dog Emotional States from Facial Expressions
Tali Boneh-Shitrit, Shir Amir, Annika Bremhorst +4
Similarly to humans, facial expressions in animals are closely linked with emotional states. However, in contrast to the human domain, automated recognition of emotional states fro…
On the role of technology in human-dog relationships: a future of nightmares or dreams?
Dirk van der Linden, Brittany I. Davidson, Orit Hirsch-Matsioulas +1
Digital technologies that help people take care of their dogs are becoming more widespread. Yet, little research explores what the role of technology in the human-dog relationship…
Reasoning with graded information: the case of diagnostic rating scales in healthcare
Thomas Vetterlein, Anna Zamansky
In medicine one frequently deals with vague information. As a tool for reasoning in this area, fuzzy logic suggests itself. In this paper we explore the applicability of the basic…
Towards Classification of Lightweight Formal Methods
Anna Zamansky, Maria Spichkova, Guillermo Rodriguez-Navas +2
The use of lightweight formal methods (LFM) for the development of industrial applications has become a major trend. Although the term "lightweight formal methods" has been used fo…
Towards a Human-Centred Approach in Modelling and Testing of Cyber-Physical Systems
Maria Spichkova, Anna Zamansky, Eitan Farchi
The ability to capture different levels of abstraction in a system model is especially important for remote integration, testing/verification, and manufacturing of cyber-physical s…
Teaching Logic to Information Systems Students: Challenges and Opportunities
Anna Zamansky, Eitan Farchi
In contrast to Computer Science, where the fundamental role of Logic is widely recognized, it plays a practically non-existent role in Information Systems curricula. In this paper…
Canonical calculi with (n,k)-ary quantifiers
Arnon Avron, Anna Zamansky
Propositional canonical Gentzen-type systems, introduced in 2001 by Avron and Lev, are systems which in addition to the standard axioms and structural rules have only logical rules…