This paper shows how to generate an English step-bystep explanation that describes how an automated reasoning system solves a complex constraint program. We study programs that solve tabular-constraint problems encoded in Constraint Lingo and then translated into propositional logic with cardinality constraints. We instrument the logic solver so that it generates log files. We inspect those log...

The LinGO Grammar Matrix customization system (Bender et al., 2002, 2010) is a web-based software system for creating implemented HPSG (Pollard and Sag, 1994) grammar fragments on the basis of user input of typological and lexical information. These fragments are compatible with the LKB grammar development environment (Copestake, 2002) and other DELPH-IN software. The system consists of a core ...

This paper establishes the income and risk model in financial investment based on multi-objective programming theory, aiming to analyze the relationship between risk and return in financial investment and discuss the relationship between the risk the investor shall bear and decentralization degree of investment project. MATLAB software is used to analyze the investor’s optimized return under fi...

A p-hub center network design problem consists of some nodes as hubs and allocation of non-hub nodes to them wherein the maximum travel times between any pair of nodes is minimized. The distinctive feature of this study is proposing a new mathematical formulation for modeling costs in a p-hub center problem. Here, instead of considering costs as a linear function of distance, for the first time...

We argue that database query languages can be used to specif’y constraint satisfaction problems. We describe one such language here. It is based on tuple relational calculus and its sentences are used to define constraints. For a fragment of this language we develop a front end, Constraint Lingo, to facilitate programming tasks. Finally, we show that programs in Constraint Lingo can be compiled...

This study addressed warehouse storage location assignment problems (SLAP) to minimize total travelling distances in an order-picking process. The problem was formulated and presented as a mixed integer programming model. The LINGO optimization solver was then used to find solutions for a set of generated problems. The results showed that the LINGO optimization solver easily attained optimal so...

Postnatal administration of phencyclidine (PCP) in rodents causes major disturbances to neurological processes resulting in severe modifications to normal behavioral traits into adulthood. It is routinely used to model psychiatric disorders such as schizophrenia, producing many of the dysfunctional processes in the brain that are present in this devastating disorder, including elevated levels o...

Unraveling the causes underlying Alzheimer's disease (AD) is certainly one of the greatest challenges of this century for researchers. With advances in medicine and technology, the world is experiencing a demographic shift towards a growing elderly population. With this increasingly ageing population, the number of individuals being affected by AD is booming. AD has a significant negative impac...

The growing population in Puebla City these last couple of years entailed the expansion of its original urban area. The most recent settlements have established on areas that are highly exposed to natural disasters, thus, requiring the proper emergency service coverage provided by Fire Stations. To assure this kind of service coverage, the current fire stations in Puebla City were evaluated thr...