This paper presents the Job Shop Scheduling Problem (JSSP) represented as the well known Satisfiabilty Problem (SAT). Even though the representation of JSSP in SAT is not a new issue, presented here is a new codification that needs fewer clauses in the SAT formula for JSSP instances than those used in previous works. The codification proposed, which has been named the Reduced Sat Formula (RSF),...

© 2017 Russell Sage Foundation. Hipp, John R., and Charis E. Kubrin. 2017. “From Bad to Worse: How Changing Inequality in Nearby Areas Impacts Local Crime.” RSF: The Russell Sage Foundation Journal of the Social Sciences 3(2): 129–51. DOI: 10.7758/RSF.2017.3.2.06. This research is supported in part by NIJ grant 2012R2CX0010. We thank George Galster and Nicholas Branic for comments on an earlier...

Mining frequent subtrees from tree databases is currently a very active research topic. This research has many interests, including for instance mediator schema building from XML schemas. In this framework, many works have been proposed. However, the way the data are represented is often very memory-consuming. In this paper, we propose a new method to represent such data. We show that this repr...

Increasingly real-time systems must handle the self-suspension of tasks, i.e. lowerbound wait times between subtasks, in a timely and predictable manner. A fast schedulability test that does not significantly overestimate the temporal resources needed to execute self-suspending task sets would be of benefit to these modern computing systems. In this paper, we present a polynomial-time test that...

With the rapid development of wireless sensor network (WSN), how to effectively and conveniently manage the WSN has become an urgent problem. According to the actual requirement of WSN management, the WSN management system based on WebGIS is designed and implemented. Many functions are designed for the system, such as monitoring scheme management and monitoring, monitoring data collection and a...

This application, developed by students in service learning courses, will be used both by workers at the Red Cross to find and solicit volunteers and by volunteers who want to keep track of their volunteerwork history and Red Cross certifications. By capturing such knowledge in an easily accessible database, Red Cross workers can use our intuitive front end to rapidly find the workers they need...

In this work, a new method for mesh simpliication and surface reconstruction speciically designed for the needs of CAD/CAM engineering design and analysis is introduced. The method simpliies the original free-form face model by rst constructing restricted curvature deviation regions, generating a boundary conforming nite element quadrilateral mesh of the regions, and then tting a smooth surface...