Background: Sesquiterpenes are a class of natural products with a diverse range of attractive industrial proprieties. Due to economic difficulties of sesquiterpene production via extraction from plants or chemical synthesis there is interest in developing alternative and cost efficient bioprocesses. The hydrocarbon α-santalene is a precursor of sesquiterpenes with relevant commercial applicatio...

The gradual and painstaking determination of the CKM matrix over a long period of time is a remarkable accomplishment of our field, and hopefully it will attain a level of completion from the B-factory studies to come. The emphasis of B-factories will be on the physics of b quarks and deservedly so. Already, there is discovery of a ∆B = 2 process (Bd−Bd mixing) and an EW-penguin decay (B → K γ)...

The author acknowledges the financial support for this research made available by the Lean Aircraft Initiative at MIT sponsored jointly by the US Air Force and a group of aerospace companies. All facts, statements, opinions, and conclusions expressed herein are solely those of the author and do not in any way reflect those of the Lean Aircraft Initiative, the US Air Force, the sponsoring compan...

The development of reusable requirements and design artifacts often requires one to characterize families of problem and solution models. This paper presents a metamodeling approach to characterizing a family of models. A characterization is expressed as a Role Model that consists of roles that can be played by UML model elemets. In this paper we describe how a family of UML static structural d...

Let's read! We will often find out this sentence everywhere. When still being a kid, mom used to order us to always read, so did the teacher. Some books are fully read in a week and we need the obligation to support reading. What about now? Do you still love reading? Is reading only for you who have obligation? Absolutely not! We here offer you a new book enPDFd japans software factories a chal...

Software modelers refactor their design models to improve design quality while preserving essential functional properties. Tools that allow modelers to check whether their refactorings preserve specified essential behaviors are needed to support rigorous model evolution. In this paper we describe a rigorous approach to analyzing design model refactorings that involve changes to operation specif...

In the world of software systems, the process of evolving is an essential one. If this process represents no challenge on small systems, it becomes unbearable if the size of the system exceeds a certain limit. Therefore, the need arises for software tools that can carry out the necessary transformations automatically. This paper addresses the possibility to detect spots within an object-oriente...

Factory farming continues to grow around the world as a low-cost way of producing animal products for human consumption. However, many of the practices associated with intensive animal farming have been criticized by public health professionals and animal welfare advocates. The aim of this essay is to raise three independent moral concerns with factory farming, and to explain why the practices ...