The min-conflicts heuristic: Experimental and theoretical results

This paper describes a simple heuristic method for solving large-scale constraint satisfaction and scheduling problems. Given an initial assignment for the variables in a problem, the method operates by searching through the space of possible repairs. The search is guided by an ordering heuristic, the min-conflicts heuristic, that attempts to minimize the number of constraint violations after each step. We demonstrate empirically that the method performs orders of magnitude better than traditional backtracking techniques on certain standard problems. For example, the one million queens problem can be solved rapidly using our approach. We also describe practical scheduling applications where the method has been successfully applied. A theoretical analysis is presented to explain why the method works so well on certain types of problems and to predict when it is likely to be most effective

An extended abstract: A heuristic repair method for constraint-satisfaction and scheduling problems

The work described in this paper was inspired by a surprisingly effective neural network developed for scheduling astronomical observations on the Hubble Space Telescope. Our heuristic constraint satisfaction problem (CSP) method was distilled from an analysis of the network. In the process of carrying out the analysis, we discovered that the effectiveness of the network has little to do with its connectionist implementation. Furthermore, the ideas employed in the network can be implemented very efficiently within a symbolic CSP framework. The symbolic implementation is extremely simple. It also has the advantage that several different search strategies can be employed, although we have found that hill-climbing methods are particularly well-suited for the applications that we have investigated. We begin the paper with a brief review of the neural network. Following this, we describe our symbolic method for heuristic repair

Engineering Crowdsourced Stream Processing Systems

A crowdsourced stream processing system (CSP) is a system that incorporates crowdsourced tasks in the processing of a data stream. This can be seen as enabling crowdsourcing work to be applied on a sample of large-scale data at high speed, or equivalently, enabling stream processing to employ human intelligence. It also leads to a substantial expansion of the capabilities of data processing systems. Engineering a CSP system requires the combination of human and machine computation elements. From a general systems theory perspective, this means taking into account inherited as well as emerging properties from both these elements. In this paper, we position CSP systems within a broader taxonomy, outline a series of design principles and evaluation metrics, present an extensible framework for their design, and describe several design patterns. We showcase the capabilities of CSP systems by performing a case study that applies our proposed framework to the design and analysis of a real system (AIDR) that classifies social media messages during time-critical crisis events. Results show that compared to a pure stream processing system, AIDR can achieve a higher data classification accuracy, while compared to a pure crowdsourcing solution, the system makes better use of human workers by requiring much less manual work effort

Teaching Hispanic restaurant workers: Translanguaging as culturally sustaining pedagogy

In this article, we make a case for incorporating translanguaging pedagogy into the framework of Culturally Sustaining Pedagogy (CSP). Drawing on data from a one-year ethnographic study of an adult ESL program, we show how teachers believed in and attempted to create spaces for translanguaging and CSP, but in practice fell short. We conclude that translanguaging is most powerful when understood as a component of CSP but call for more research in this area.Accepted manuscrip

Working Notes from the 1992 AAAI Spring Symposium on Practical Approaches to Scheduling and Planning

The symposium presented issues involved in the development of scheduling systems that can deal with resource and time limitations. To qualify, a system must be implemented and tested to some degree on non-trivial problems (ideally, on real-world problems). However, a system need not be fully deployed to qualify. Systems that schedule actions in terms of metric time constraints typically represent and reason about an external numeric clock or calendar and can be contrasted with those systems that represent time purely symbolically. The following topics are discussed: integrating planning and scheduling; integrating symbolic goals and numerical utilities; managing uncertainty; incremental rescheduling; managing limited computation time; anytime scheduling and planning algorithms, systems; dependency analysis and schedule reuse; management of schedule and plan execution; and incorporation of discrete event techniques

Educational resource scheduling based on socio-inspired agents

Revised Selected Papers of 4th International Conference, ICSOFT 2009, Sofia, Bulgaria, July 26-29, 2009.The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-20116-5_17Scheduling a set of constrained resources is a difficult task, specially when there is no clear definition of ‘optimal’. When the constraints depend not only on physical or temporal issues but also in human desires or preferences the task gets harder. This is the case of educational resources, for example when a set of students must be distributed into a limited set of laboratories to attend to periodical practical sessions, in this case weekly. The preferences of the students may vary during the process for reasons such as the number of people already in that group. This paper presents a socio–inspired solution implemented as a multiagent system. The agents enroll themselves in the lab sessions based on their preferences and negotiate with other agents, using the resources they already have, to obtain desired groups that were already full.This work has been partially supported by the Spanish Ministry of Science and Innovation under grants TIN 2007-65989, TIN 2007-64718, and TIN2010-19872

The Advocate

Headlines include: Capra Awarded Reed Professorship; Constitutional Law Symposium A Success; 1996 Volunteer Fair Links Students With Their Communitieshttps://ir.lawnet.fordham.edu/student_the_advocate/1105/thumbnail.jp