Cocoa

Sallie Logan Public Library Sallie Logan Public Library- Information about the programs, services, and collections of the library. Murphysboro United Methodist Church Murphysboro United Methodist Church- Includes newsletter, calendar, history, pictures, links and contact information. Mango Mango- Photographs and information on this tree, its history, biology, cultivation requirements and the fruit as a food. Mango: Post-harvest Operations Mango: Post-harvest Operations- Provides information on harvesting, packinghouse operations, cooling system, storage, transportation system and processing. Mango Cultivation Mango Cultivation- A draft work on mango fruit tree management and cultivation. Mango Resources Mango Resources- Online information about botany, cultivars, and the cultivation and economy of mangoes, particularly in India. Jamaican Mangoes Jamaican Mangoes- Includes list of Jamaican varieties and a chemical analysis of fruit. Julia F. Morton's "Fruits of Warm Climates": Mango Julia F. Morton's "Fruits of Warm Climates": Mango- A chapter covering history of cultivation, botanical description, comparison of varieties, and nutrient content of fruit. MAC and Combined Heuristics: Two Reasons to Forsake FC (and CBJ?) on Hard Problems MAC and Combined Heuristics: Two Reasons to Forsake FC (and CBJ?) on Hard Problems- ResearchIndex: In the last 20 years, many algorithms and heuristics were developed to find solu… Garnet: Multi-Garnet: Integrating Multi-Way Constraints with Garnet Garnet: Multi-Garnet: Integrating Multi-Way Constraints with Garnet- ResearchIndex: Constraints provide a useful mechanism to maintain relations in user interface toolkits. Garnet… ResearchIndex: Kaleidoscope: A Constraint Imperative Programming Language ResearchIndex: Kaleidoscope: A Constraint Imperative Programming Language- The Constraint Imperative Programming CIP family of languages integrates constraints and imperative, obj… ILOG CP ILOG CP- Constraint-programming optimization engine, providing cutting-edge optimization technology and an optimization library for workforce scheduling, league scheduling, sequen… Book: Foundations of Constraint Satisfaction Book: Foundations of Constraint Satisfaction- Description of book, Academic Press, release 1993: programs from book. Constraints: An International Journal Constraints: An International Journal- Covering all aspects of computing with constraints; on paper or online; fee required. Gecode Gecode- Generic Constraint Development Environment. Constraint solver implemented as C++ library. Main goals: modifiability, extensibility, speed. Features: integer and set variab… ICOT Free Software ICOT Free Software- Free constraint software developed by Institute for New Generation Computer Technology (ICOT), Japan: Constraint MGTP (CMGTP) model generation theorem prover (… ThingLabII: Constraint-based user interfaces ThingLabII: Constraint-based user interfaces- Supports exploration of constraint-based user interfaces; consists of a set of classes that define constraints and constrainable obje… Garnet: Brad A. Myers Garnet: Brad A. Myers- Personal page of Garnet inventor and lead researcher. Describes Garnet motives, rationale. Natural Programming Natural Programming- Attempt to make a system that is easier to learn and use than anything available to novice programmers today: HANDS: Human-centered Advances for Novice Develo… Garnet Project Garnet Project- Generating an Amalgam of Real-time, Novel Editors and Toolkits; developed by User Interface Software Group, Human Computer Interaction Institute, School of Compute… Constraints Archive Constraints Archive- Holds comp.constraints FAQ, pages of constraint-related pointers, source code for various systems, benchmarks, directory of people interested in constraints, … Seventh International Conference on Principles and Practice of Constraint Programming Seventh International Conference on Principles and Practice of Constraint Programming- 2001 November 26 - December 1, Paphos, Cyprus. Garnet Toolkit FAQ Garnet Toolkit FAQ- Frequently Asked Questions about Garnet user interface development environment for Common Lisp and X11 or Macintosh developed by User Interface Software Group,… Cassowary Cassowary- Incremental constraint solving toolkit, efficiently solves systems of linear equalities, inequalities. Constraints can be requirements or preferences. Client code speci… A Differential Approach to Graphical Interaction A Differential Approach to Graphical Interaction- The ad hoc manner in which direct manipulation interfaces have been designed and implemented restricts the types of interactive c… Constraints for the Web Constraints for the Web- Constraints can specify desired layout of web documents, and behavior of embedded applets: 2 system architectures where author and viewer can make layout … Omega Project Omega Project- Frameworks and algorithms for analyzing and transforming scientific programs; 2 major components: the Omega test system to manipulate sets of affine constraints ove… StarFLIP++ StarFLIP++- Free, reusable iterative optimization library for combinatorial problems with fuzzy constraints. GNU LGPL. Brandeis Interval Arithmetic Constraint Solver Brandeis Interval Arithmetic Constraint Solver- Java applet that solves non-linear real arithmetic constraints. Book: Programming with Constraints: an Introduction Book: Programming with Constraints: an Introduction- Description of book, MIT Press, release March 1998: programs from book, slides for courses for use with book.