This document presents the results of the Model Checking Contest held at Petri Nets 2013 in Milano. This contest aimed at a fair and experimental evaluation of the performances of model checking techniques applied to Petri nets. This is the third edition after two successful editions in 2011 [34] and 2012 [33]. The participating tools were compared on several examinations (state space generatio...

I. THE BEHAVIORAL ECONOMICS OF INTELLECTUAL PROPERTY LAW . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 R A. Classical Economics and Intellectual Property . . . . . . . 5 R B. Behavioral Challenges to the Rational Choice Model: The Endowment Effect . . . . . . . . . . . . . . . . . . . . . 6 R 1. The Strength of the Endowment Effect . ....

This report describes the follow-up of a community-sponsored smoking cessation contest. The aims of the evaluation were to describe the characteristics of contestants and the quit rates at six weeks, six months and one year. The "Quit to Win" contest was held as part of a larger cancer prevention program in Medicine Hat, Alberta. In order to be eligible for prizes, contestants were required to ...

This week, Preventing Chronic Disease (PCD) publishes the winning submission in the journal’s third annual Student Research Paper Contest, “Emergency Medical Services Capacity for Prehospital Stroke Care in North Carolina,” by Mehul D. Patel and colleagues (1). The contest is part of PCD’s effort to support and encourage the development of the next generation of public health professionals. Mr ...

This paper proposes the Education Design Experiment (EDE) as an instructional framework for robotics education and demonstrates how it is implemented in the Trinity College Fire-Fighting Home Robot Contest (TCFFHRC) projects. The overarching goal of the EDE is to examine how best to implement, evaluate, and conceptualize the robotics education process while designing, building and operating rob...

This paper investigates the implications of different prize structures on effort provision in dynamic (two-stage) elimination contests. Theoretical results show that, for risk-neutral participants, a structure with a single prize for the winner of the contest maximizes total effort, while a structure with two appropriately chosen prizes (a runner-up prize and a final prize) ensures incentive ma...

The Break Our Watermarking System (BOWS) contest gave researchers three months to defeat an unknown watermark, given three marked images and online access to a watermark detector. The authors participated in the first phase of the contest, defeating the mark while retaining the highest average quality among attacked images. The techniques developed in this contest led to general methods for rev...

This article presents the results of the Model Checking Contest held at Petri Nets 2012 in Hambourg. This contest aimed at a fair and experimental evaluation of the performances of model checking techniques applied to Petri nets. This is the second edition after a successful one in 2011 [29]. The participating tools were compared on several examinations (state space generation and evaluation of...

Using a two-player Tullock-type contest we show that intuitively and structurally different contests can be strategically equivalent. Strategically equivalent contests generate the same best response functions and, as a result, the same equilibrium efforts. However, strategically equivalent contests may yield different equilibrium payoffs. We propose a simple two-step procedure to identify stra...

A broadband transmission filter from 400 to 1100 nm was selected for the manufacturing problem contest. The purpose of the contest is to test the state of the art of current optical thin film manufacturing capabilities. A total of 37 people from 15 teams participated in the contest and submitted 17 samples. Diverse approaches were taken by participants to tackle the problem. A range of differen...