Game AI is the decision-making process of computer-controlled opponents in computer games. Adaptive game AI can improve the entertainment value of computer games. It allows computercontrolled opponents to automatically fix weaknesses in the game AI and respond to changes in human-player tactics. Dynamic scripting is a recently developed approach for adaptive game AI that learns which tactics (i...

Context: Big Data Cybersecurity Analytics is increasingly becoming an important area of research and practice aimed at protecting networks, computers, and data from unauthorized access by analysing security event data using big data tools and technologies. Whilst a plethora of Big Data Cybersecurity Analytic Systems have been reported in the literature, there is a lack of a systematic and compr...

Although effective tutorial dialogue strategies are well understood, tutorial tactics that govern brief episodes of tutoring, such as a single step, are not. Because better tactics seem to be crucial for further improving pedagogical effectiveness, we have begun investigating the effects of varying tutorial tactics. In this paper we describe two planned experiments and the testbed we have creat...

With the notable exception of abstract, Coq’s standard collection of tactics are free from side effects. In this talk, I propose to make the case that additional tactics with limited side effects that are “local” to a given proof can have a considerable impact on performance, presenting as evidence a set of ML tactics that have been developed as part of the Fiat deductive synthesis framework. I...

AIMS AND OBJECTIVES To determine (1) factors associated with nurses' perceived confidence in and importance of delivering cessation interventions to patients after receiving the Tobacco Tactics educational module, and (2) whether self-reported delivery of smoking cessation services increased after the Tobacco Tactics educational programme was implemented. BACKGROUND Intensive nurse-based inpa...

A 4-year research project was initiated during the 2002 growing season to evaluate, on a regional scale, pest management systems based on reduced-risk tactics that previous research and experience had indicated would be effective, sustainable, economically viable, and lead to enhanced biological control. The participating states are: Michigan, New Jersey, New York, North Carolina, Pennsylvania,...

Evidence for carcass access times and levels of early hominid mobility is synthesized using studies of carnivore ethology and theories of interspecific competition to arrive at tentative conclusions about the organization of Plio-Pleistocene hominid foraging groups. The model presented suggests that group foraging tactics, in combination with high mobility, are central to successful confrontati...

The type of tactics in all (procedural) proof assistants is (a variant of) the one introduced in LCF. We discuss why this is inconvenient and we propose a new type for tactics that 1) allows the implementation of more clever tactics; 2) improves the implementation of declarative languages on top of procedural ones; 3) allows for better proof structuring; 4) improves proof automation; 5) allows ...

In this paper we investigate group maintenance behavior in community-based Free/Libre Open Source Software (FLOSS) development teams. Adopting a sociolinguistic perspective, we conceptualize group maintenance behavior as interpersonal communication tactics—specifically, social presence and politeness tactics—that help maintain relationships among group members. Developer email messages were col...

This paper tries to de-mystify the urban legends and expose the secrets of success of those who excel at online tactical first-person shooters. It focuses specifically on the evolution of winning tactics, and postulates the existence of a special sort of tactic – the neo-tactic – which exploits the underlying low-level physics properties of the virtual environment. Such tactics may only be empl...