Using dynamic demand information and zoning for the storage of non-uniform density stock keeping units

The warehouse order-picking operation is one of the most labour-intense activities that has an important impact on responsiveness and efficiency of the supply chain. An understanding of the impact of the simultaneous effects of customer demand patterns and order clustering, considering physical restrictions in product storage, is critical for improving operational performance. Storage restrictions may include storing non-uniform density stock keeping units (SKUs) whose dimensions and weight constrain the order-picking operation given that a priority must be followed. In this paper, a heuristic optimisation based on a quadratic integer programming is employed to generate a layout solution that considers customer demand patterns and order clustering. A simulation model is used to investigate the effects of creating and implementing these layout solutions in conjunction with density zones to account for restrictions in non-uniform density SKUs. Results from combining layout optimisation heuristics and density zoning indicate statistical significant differences between assignments that ignore the aforementioned factors and those that recognise it.     

Innovative techniques in pediatric liver transplantation: reduced-, split- and living-donor related liver transplantation

BACKGROUND: Biological systems that show threshold phenomena are candidates for stochastic resonance as a mechanism to explain what appears to be biovariability. Stochastic resonance is the amplification of weak signals by "noise." OBJECTIVE: This review discusses the areas of contact dermatitis in which threshold events have been documented. The purpose is to point out the mechanism by which stochastic resonance may affect patch test results. METHODS: A literature review technique was used. RESULTS: The recent finding of a neurological influence on contract dermatitis provides a mechanism for stochastic resonance to affect patch test results. CONCLUSION: Stochastic resonance is likely to affect patch test results when more than one patch test result is positive.     

Diacylglycerol and the promotion of lamellar-hexagonal and lamellar-isotropic phase transitions in lipids: implications for membrane fusion

Changes in steady-state fluorescence anisotropy of 1 -(4-trimethylaminophenyl)-6-phenyl-1,3,5-hexatriene TMA-DPH) are applied to the detection of lamellar-hexagonal transitions in egg phosphatidylethanolamine. Even low (2 mole%) proportions of diacylglycerol decrease the hexagonal transition temperature considerably, as confirmed by differential scanning calorimetry. Diacylglycerol is also found to promote a lamellar to "isotropic" (Q(224) cubic) transition in mixtures of phosphatidylcholine: phosphatidylethanolamine:cholesterol. This nonreversible transition is also observed by (31)P nuclear magnetic resonance and detected as a large increase in TMA-DPH steady-state anisotropy. The same technique reveals as well that lysophosphatidylcholine counteracts the effect of diacylglycerol and stabilizes the lamellar phase in both transitions. Diacylglycerol and lysophosphatidylcholine are known to respectively promote and inhibit membrane fusion in a variety of systems. These data are interpreted in support of the hypothesis of a highly bent structural fusion intermediate ("stalk"). They also show the interest of lipid-phase studies in predicting and rationalizing membrane fusion mechanisms.     

Generating blogs out of product catalogues: An MDE approach

Blogs can be used as a conduit for customer opinions and, in so doing, building communities around products. We attempt to realise this vision by building blogs out of product catalogues. Unfortunately, the immaturity of blog engines makes this endeavour risky. This paper presents a model-driven approach to face this drawback. This implies the introduction of (meta)models: the catalogue model, based on the standard Open Catalog Format, and blog models, that elaborate on the use of blogs as conduits for virtual communities. Blog models end up being realised through blog engines. Specifically, we focus on two types of engines: a hosted blog platform and a standalone blog platform, both in Blojsom. However, the lack of standards in a broad and constantly evolving blog-engine space, hinders both the portability and the maintainability of the solution. Hence, we resort to the notion of “abstract platform” as a way to depart from the peculiarities of specific blog engines. Additionally, the paper measures the reuse gains brought by MDE in comparison with the manual coding of blogs.     

RUSHES—an annotation and retrieval engine for multimedia semantic units

Multimedia analysis and reuse of raw un-edited audio visual content known as rushes is gaining acceptance by a large number of research labs and companies. A set of research projects are considering multimedia indexing, annotation, search and retrieval in the context of European funded research, but only the FP6 project RUSHES is focusing on automatic semantic annotation, indexing and retrieval of raw and un-edited audio-visual content. Even professional content creators and providers as well as home-users are dealing with this type of content and therefore novel technologies for semantic search and retrieval are required. In this paper, we present a summary of the most relevant achievements of the RUSHES project, focusing on specific approaches for automatic annotation as well as the main features of the final RUSHES search engine.     

Aircraft design optimization

In this paper we describe briefly a set of procedures for the optimal design of full mission aerospace systems. This involves multi-physics simulations at various fidelity levels, surrogates, distributed computing and multi-objective optimization. Low-fidelity analysis is used to populate a database of inputs and outputs of the system simulation and Neural Networks are then designed to generate inexpensive surrogates. Higher fidelity is used only where is warranted and also to do a local exploration after global optimization techniques have been used on the surrogates in order to provide plausible initial values. The ideas are exemplified on a generic supersonic aircraft configuration, where one of the main goals is to reduce the ground sonic boom.     

A compiler for parsing schemata

We present a compiler that can be used to automatically obtain efficient Java implementations of parsing algorithms from formal specifications expressed as parsing schemata. The system performs an analysis of the inference rules in the input schemata in order to determine the best data structures and indexes to use, and to ensure that the generated implementations are efficient. The system described is general enough to be able to handle all kinds of schemata for different grammar formalisms, such as context‐free grammars and tree‐adjoining grammars, and it provides an extensibility mechanism allowing the user to define custom notational elements. This compiler has proven very useful for analyzing, prototyping and comparing natural‐language parsers in real domains, as can be seen in the empirical examples provided at the end of the paper. Copyright © 2008 John Wiley & Sons, Ltd.     

Group decision making with incomplete fuzzy linguistic preference relations

The aim of this paper is to propose a procedure to estimate missing preference values when dealing with incomplete fuzzy linguistic preference relations assessed using a two‐tuple fuzzy linguistic approach. This procedure attempts to estimate the missing information in an individual incomplete fuzzy linguistic preference relation using only the preference values provided by the respective expert. It is guided by the additive consistency property to maintain experts' consistency levels. Additionally, we present a selection process of alternatives in group decision making with incomplete fuzzy linguistic preference relations and analyze the use of our estimation procedure in the decision process. © 2008 Wiley Periodicals, Inc.     

Proof Pearl: a Formal Proof of Higman��s Lemma in ACL2

Higman??s lemma is an important result in infinitary combinatorics, which has been formalized in several theorem provers. In this paper we present a formalization and proof of Higman??s Lemma in the ACL2 theorem prover. Our formalization is based on a proof by Murthy and Russell, where the key termination argument is justified by the multiset relation induced by a well-founded relation. To our knowledge, this is the first mechanization of this proof.     

Exception handling in workflow management systems

Fault tolerance is a key requirement in process support systems (PSS), a class of distributed computing middleware encompassing applications such as workflow management systems and process centered software engineering environments. A PSS controls the flow of work between programs and users in networked environments based on a “metaprogram” (the process). The resulting applications are characterized by a high degree of distribution and a high degree of heterogeneity (properties that make fault tolerance both highly desirable and difficult to achieve). We present a solution for implementing more reliable processes by using exception handling, as it is used in programming languages, and atomicity, as it is known from the transaction concept in database management systems. We describe the mechanism incorporating both transactions and exceptions and present a validation technique allowing to assess the correctness of process specifications