News

Dr. Ugur Kuter collaborated with University of Maryland graduate students Ron Alford and Vikas Shivashankar and faculty Dr. Dana Nau on "HTN PRoblem Spaces: Structure, Algorithms, Termination" published at the 2012 Symposium on Combinatorial Search (SoCS-12), which can be accessed here: http://www.socs12.org/papers.html

SIFT researchers Dr. Christopher Miller, Peggy Wu and Tammy Ott have had an article accepted to the Journal of Cognitive Engineering and Decision Making. This paper reports work done under the E4D2 program and is titled “Politeness in Teams: Implications for Directive Compliance Behavior and Associated Attitudes.” It appears in print in Volume 6 Issue 2 June 2012 pp. 214 - 242. The abstract can be found here.

SIFT has been awarded continued funding under DARPA's Adaptive Vehicle Make program to continue our META-X probabilistic verification efforts, leveraging SIFT's prior verification efforts for automated plan analysis.  SIFT will extend our existing probabilistic verification approach, adding importance sampling and culprit identification to our multi-component methods for functional failure analysis.  For more information, please contact the program PI, Mr.

SIFT is awarded a 3-year research contract by the Office of Naval Research. The project is entitled "HACKAR: Helpful Advice and Coding Knowledge for Attack Resistance." The HACKAR project will be a new approach to proactive analysis, detection, and diagnosis of vulnerabilities in functions and modules at development time. HACKAR will help programmers by providing advice and coding knowledge for addressing potential vulnerabilities in their code, so that programmers can be aware of these threats and fix them before the code is deployed.

SIFT Researcher Dan Thomsen presented the Future Visions 2012 symposium at Colorado State on April 12, 2012. Mr. Thomsen presented "Evolving Security Policy to meet the complexities of Tomorrow," a look at how we might turn complexity, which usually works against computer security into a tool to address simplify security administration.

SIFT Researcher Dr. Ugur Kuter has recently collaborated with University of Maryland, College Park and Naval Research Labs at Washington DC. in a total of three papers on novel AI planning formalisms and algorithms in classical and dynamic, multi-agent domains. These works will be published and presented at the 11th International Conference on Autonomous Agents and Multiagent System (AAMAS-12).

SIFT was awarded a Phase I Small Business Innovation Research grant (SBIR) by the Telemedicine & Advanced Technology Research Center (TATRC) entitled "CALM: Continuous Anger Level Management."

SIFT was awarded a phase 1 SBIR titled "SAGA: Sequential Art via Game Assistance." This SBIR combines social games and AI-directed therapy to help treat soldiers with Post Traumatic Stress Disorder by creating sequential art (graphic novels) to tell their story.

SIFT Researcher Ugur Kuter was asked to contribute a paper to and present at the Festshcrift tribute symposium given to Dana Nau. This work will subsequently be published in a book also organized by Festshcrift.

SIFT Researcher Dan Thomsen is a Guest Editor for the November/December 2012 special issue of IEEE Security & Privacy on "Lost Treasures of Computer Security & Privacy."

For more information: http://www.computer.org/portal/web/computingnow/spcfp6

Pages