This paper provides an introduction to one-dimensional cutting stock problems and solution procedures. The first problem considered requires that both trim loss and pattern changes be controlled. Both linear programming and sequential heuristic procedures are discussed along with the ways they can be used jointly to generate the best possible solutions to this type of problem. Two other importa...

TRIM-NHL proteins are a family of translational regulators that control cell growth, proliferation, and differentiation during development. Drosophila Brat and Mei-P26 TRIM-NHL proteins serve as tumor suppressors in stem cell lineages and have been proposed to exert this action, in part, via the repression of the protooncogene dMyc. Here we analyze the role of Brat, Mei-P26, and dMyc in regulat...

Activated macrophages play an important role in many inflammatory diseases including septic shock and atherosclerosis. However, the molecular mechanisms limiting macrophage activation are not completely understood. Members of the tripartite motif (TRIM) family have recently emerged as important players in innate immunity and antivirus. Here, we systematically analyzed mRNA expressions of repres...

Environmental issues and rising fuel prices necessitate better energy efficiency in all sectors. Shipping industry is a stakeholder in environmental issues. Shipping industry is responsible for approximately 3% of global CO₂ emissions, 14-15% of global NO(X) emissions, and 16% of global SO(X) emissions. Ship trim optimization has gained enormous momentum in recent years being an effective opera...

We present TRIM, an abstract machine capable of executing a subset of the algebraic speci cation language OBJ3. A speci cally designed compiler translates the order sorted conditional equations of an OBJ3 speci cation into TRIM code. The fact that TRIM supports order sorted term rewriting natively di erentiates it from many other abstract term rewriting machines. To obtain more e cient abstract...

Most proteins of the TRIM family (also known as RBCC family) are ubiquitin ligases that share a peculiar protein structure, characterized by including an N-terminal RING finger domain closely followed by one or two B-boxes. Additional protein domains found at their C termini have been used to classify TRIM proteins into classes. TRIMs are involved in multiple cellular processes and many of them...

Trimming is an important primitive operation in geometric modeling. It is also the root of many numerical and topological problems in modern NURBS based CAGD systems. In this paper we introduce a new method for trimming subdivision surfaces. It is based on the use of combined subdivision schemes to guarantee exact interpolation of trim curves. The latter ensures, for example, that if two surfac...

The DRAT-trim tool is a satisfiability proof checker based on the new DRAT proof format. Unlike its predecessor, DRUP-trim, all presently known SAT solving and preprocessing techniques can be validated using DRAT-trim. Checking time of a proof is comparable to the running time of the proof-producing solver. Memory usage is also similar to solving memory consumption, which overcomes a major hurd...