Tools for reformulating logical forms into zero-one mixed integer programs (MIPS)

A systematic procedure for transforming a set of logical statements or logical conditions imposed on a model into an Integer Linear Programming (ILP) formulation or a Mixed Integer Programming (MIP) formulation is presented. A reformulation procedure which uses the extended reverse polish representation of a compound logical form is then described. A prototype user interface by which logical forms can be reformulated and the corresponding MIP constructed and analysed within an existing Mathematical Programming modelling system is illustrated. Finally, the steps to formulate a discrete optimisation model in this way are demonstrated by means of an example

Witness

Witness, co-written by award-winning Tanzanian-Australian filmmaker Martin Mhando and WA actor and writer David Moody, explores the law of probability as it plays out in bitter human conflicts, retelling stories of torture and atrocities from Chile to Cambodia in a constantly morphing, fractured form. As the play progresses, the men perform a collage of vignettes in which the roles of white, black, male, female, jailer, prisoner, aggressor and victim are endlessly exchanged. At one point Moody dons a curly black wig to play a comical Colonel Gaddafi; elsewhere both men perform a disturbing Auschwitz cabaret scene as “Hymie and Abe,” complete with Marx Brothers nose-and-glasse

Sets and indices in linear programming modelling and their integration with relational data models

LP models are usually constructed using index sets and data tables which are closely related to the attributes and relations of relational database (RDB) systems. We extend the syntax of MPL, an existing LP modelling language, in order to connect it to a given RDB system. This approach reuses existing modelling and database software, provides a rich modelling environment and achieves model and data independence. This integrated software enables Mathematical Programming to be widely used as a decision support tool by unlocking the data residing in corporate databases

Introducing new constructs for data modelling and column generation in LP modelling languages

Through popular implementation of structured query language (SQL) and query-by-example(QBE) relational databases have become the de-facto industry standard for data modelling.We consider the indices, sets, and the declarative form of Linear Programming (LP) modelling languages and introduce new constructs which provide direct link to the database systems. The models constructed in this way are data driven and display a dynamicstructure. We then show how this approach can be naturally extended to include column generation features stated in procedural forms within an otherwise declarative modelling paradigm

Social Requirements for Virtual Organization Breeding Environments

The creation of Virtual Breeding Environments (VBE) is a topic which has received too little attention: in most former works, the existence of the VBE is either assumed, or is considered as the result of the voluntary, participatory gathering of a set of candidate companies. In this paper, the creation of a VBE by a third authority is considered: chambers of commerce, as organizations whose goal is to promote and facilitate business interests and activity in the community, could be good candidates for exogenous VBE creators. During VBE planning, there is a need to specify social requirements for the VBE. In this paper, SNA metrics are proposed as a way for a VBE planner to express social requirements for a VBE to be created. Additionally, a set of social requirements for VO planners, VO brokers, and VBE members are proposed.Comment: 10 pages, 2 figure

Bioconjugation of Green Fluorescent Protein via an Unexpectedly Stable Cyclic Sulfonium Intermediate

Bioconjugation of superfolder GFP involving the formation of an unusually stable, and unprecedented, cyclic sulfonium species is described. This sulfonium can undergo smooth reaction with a range of nucleophiles to give sulfur-, selenium- and azide-modified GFP derivatives in high conversions

A novel synthetic chemistry approach to linkage-specific ubiquitin conjugation.

Ubiquitination is of great importance as the post-translational modification of proteins with ubiquitin, or ubiquitin chains, facilitates a number of vital cellular processes. Herein we present a facile method of preparing various ubiquitin conjugates under mild conditions using michael acceptors based on dibromo-maleimides and dibromo-pyridazinediones

An Introduction to Community Detection in Multi-layered Social Network

Social communities extraction and their dynamics are one of the most important problems in today's social network analysis. During last few years, many researchers have proposed their own methods for group discovery in social networks. However, almost none of them have noticed that modern social networks are much more complex than few years ago. Due to vast amount of different data about various user activities available in IT systems, it is possible to distinguish the new class of social networks called multi-layered social network. For that reason, the new approach to community detection in the multi-layered social network, which utilizes multi-layered edge clustering coefficient is proposed in the paper.Comment: M.D. Lytras et al. (Eds.): WSKS 2011, CCIS 278, pp. 185-190, 201