Much progress has been made in recent years in solving certain classes of production planning problems using mixed integer programming. One of the major challenges is how to make this expertise available and easy to use to the non-specialist and to the practitioners. Here we describe a modeling approach and tool LS-LIB, and report on computational results. LS-LIB is a library of primitives to d...

The SMT-LIB initiative is an international effort, coordinated by these authors and supported by several research groups world-wide, with the main goal of producing an extensive on-line library of benchmarks for satisfiability modulo theories. This paper defines syntax and semantics of the language used by SMT-LIB for writing theory specifications and benchmarks.

We have studied light-induced birefringence (LIB) and surface relief grating (SRG) formation in the series of methylacrylate polymers. The effect of material structure such as length of photochromic side chain, glass transition temperature and molecular structure of azo units on LIB and SRG are studied. The optical formation of self-induced SRG on films of these materials is also presented.

Isoleucine is one of the branched-chain amino acids (BCAAs) that are essential substrates for protein synthesis in all organisms. Although the metabolic pathway for isoleucine has been well characterized in higher plants, it is not known whether it plays a specific role in plant development. In this study, an Arabidopsis mutant, lib (low isoleucine biosynthesis), that has defects in both cell p...

Much progress has been made in recent years in solving certain classes of production planning problems using mixed integer programming. One of the major challenges is how to make this expertise available and easy to use to the non-specialist and to the practitioners. Here we describe a modeling approach and tool LS-LIB, and report on computational results. LS-LIB is a library of primitives to d...

This paper deals with the energy management strategy (EMS) for an on-board semi-active hybrid energy storage system (HESS) composed of a Li-ion battery (LiB) and ultracapacitor (UC). Considering both the nonlinearity of the semi-active structure and driving condition uncertainty, while ensuring HESS operation within constraints, an adaptive model predictive control (AMPC) method is adopted to d...

The SMT-LIB initiative is an international effort, coordinated by these authors and supported by several research groups world-wide, with the main goal of producing an extensive on-line library of benchmarks for satisfiability modulo theories. This paper defines syntax and semantics of the language used by SMT-LIB for writing theory specifications and benchmarks.