The availability of mathematical knowledge on the Web changes mathematical practices. In a study of professional mathematicians’ search behavior we identified ten behavioral patterns particular to mathematicians. In this paper, we present a set of design goals for mathematical search interfaces implied by these patterns and insights derived from them.

Recent global peer-review reports have concluded on importance of buildings in tacking the energy security and climate change challenges. To integrate the buildings energy efficiency into the policy agenda, significant research efforts have been recently done. More specifically, the public domain provides a bulk of literature on the application of buildings-related efficiency technologies and b...

This study explored the behavior of students who used a book recommendation system, specifically the My-Bookstore system, over a five semester period. This study addressed two main research questions, the first being related to the most frequent behaviors and behavioral patterns. The results showed that “visiting” behavior and “book recommendation” behavior were the two most frequent behaviors ...

This paper presents the methodology developed to collect, understand and merge viewpoints coming from different stakeholders in order to build a shared and formal representation of the studied system dealing with groundwater management in the low-lying atoll of Tarawa (Republic of Kiribati). The methodology relies on three successive stages. First, a Global Targeted Appraisal focuses on social ...

Currently, criminal’s profile (CP) is obtained from investigator’s or forensic psychologist’s interpretation, linking crime scene characteristics and an offender’s behavior to his or her characteristics and psychological profile. This paper seeks an efficient and systematic discovery of non-obvious and valuable patterns between variables from a large database of solved cases via a probabilistic...

The rapid development of complex virtual worlds (most notably, in 3D computer and video games) introduces new challenges for the creation of virtual agents, controlled by artificial intelligence (AI) systems. Two important subproblems in this topic area which need to be addressed are (a) believability and (b) effectiveness of agents’ behavior, i.e. human-likeness of the characters and high abil...

Three studies are presented that compare decisions from experience in Denmark, Israel, and Taiwan. They focus on two change-related cultural differences suggested by previous research on dialectical vs. analytic approach to thinking. The first implies that East Asians are more likely to change their behavior over time (i.e., are less consistent), the second that they expect more changes in the ...

Service commissions, which are claimed by Ad-Networks and Publishers, are susceptible to forgery as non-human operators are able to artificially create fictitious traffic on digital platforms for the purpose of committing financial fraud. This places a significant strain on Advertisers who have no effective means of differentiating fabricated Ad-Reports from those which correspond to real consu...

We address the publication of a large academic information dataset while ensuring privacy. We evaluate anonymization techniques achieving the intended protection, while retaining the utility of the anonymized data. The published data can help to infer behaviors and study interaction patterns in an academic population. These could subsequently be used to improve the planning of campus life, such...

This study investigated work-rated stressors in software developers aimed at determining a metric model to help predict and control stress levels. To this end, 10 semi-structured interviews were conducted with software engineers and data were analyzed using Grounded Theory techniques. The results of this work show the main work stressors in our informants. In addition, in this work, we present ...