A local and global tour on MOMoT

Software and Systems Modeling - Many model transformation scenarios require flexible execution strategies as they should produce models with the highest possible quality. At the same time,...     

Preferential exclusion of sucrose from recombinant interleukin-1 receptor antagonist: role in restricted conformational mobility and compaction of native state

Understanding the mechanism for sucrose-induced protein stabilization is important in many diverse fields, ranging from biochemistry and environmental physiology to pharmaceutical science. Timasheff and Lee [Lee, J. C. & Timasheff, S. N. (1981) J. Biol. Chem. 256, 7193-7201] have established that thermodynamic stabilization of proteins by sucrose is due to preferential exclusion of the sugar from the protein's surface, which increases protein chemical potential. The current study measures the preferential exclusion of 1 M sucrose from a protein drug, recombinant interleukin 1 receptor antagonist (rhIL-1ra). It is proposed that the degree of preferential exclusion and increase in chemical potential are directly proportional to the protein surface area and that, hence, the system will favor the protein state with the smallest surface area. This mechanism explains the observed sucrose-induced restriction of rhIL-1ra conformational fluctuations, which were studied by hydrogen-deuterium exchange and cysteine reactivity measurements. Furthermore, infrared spectroscopy of rhlL-1ra suggested that a more ordered native conformation is induced by sucrose. Electron paramagnetic resonance spectroscopy demonstrated that in the presence of sucrose, spin-labeled cysteine 116 becomes more buried in the protein's interior and that the hydrodynamic diameter of the protein is reduced. The preferential exclusion of sucrose from the protein and the resulting shift in the equilibrium between protein states toward the most compact conformation account for sucrose-induced effects on rhIL-1ra.     

Type inference in stack based languages

We consider a language of operations which pass parameters by means of a stack. An algebra over the set of type signatures is introduced, which allows the type signature of a program to be obtained from the type signatures of its constituent operations.Although the theories apply in principle to any stack based language, they have been evolved with particular regard to the proposed ANSI Standard Forth language, which is currently implemented in a type free manner. We hope this work will stimulate an interest in Forth amongst those applying algebraic techniques in software engineering, and we hope to lay the theoretical foundations for implementing practical type checkers to support Forth.     

通往10 Gbps以太网的低速之路

较低的速度通常不能算是创新，但在10 Gbps以太网的领域内，两种“低速”互连标准，即LX4和CX4，正在降低实现成本，并实现新的应用。     

冷漠的灯光和火热的Guru

我已经看见了未来。它充满耀眼的光芒。这种特殊的未来的具体体现就是由Lumileds生产并打上Luxeon的品牌铛售的高亮度发光二极管，该公司把一些采用了最新技术的样机带到了我们的办公室，这给我们留下了深刻印象。     

Contractor Prebid Planning Principles

Planning is an essential function of project management. Yet, many small- and medium-sized contractors do a relatively poor job of operational planning. Better prebid plans will reduce costs, shorten schedules, and improve labor productivity. Unfortunately, the published literature offers little guidance for smaller contractors on what constitutes effective planning. Most papers describe planning as a macrolevel process for owners. Most emphasize scope definition for industrial projects. This paper describes a microlevel planning process for contractors. It consists of eight steps which are: (1) assess contract risks; (2) develop a preliminary execution plan; (3) develop site layout plans; (4) identify the sequences that are essential-to-success; (5) develop detailed operational plans; (6) develop proactive strategies to assure construction input into design; (7) revise the preliminary plan; and (8) communicate and enforce the plan. The entire process is illustrated with a case study project and is fully illustrated with figures which show how to integrate the work of multiple contractors, keep key resources (crews or equipment) fully engaged with no downtime, provide time buffers so the work of follow on crews can be efficiently done, expedite the schedule using multiple work stations and concurrent work, ways to communicate the work plan to the superintendent and foremen, and how to assess the feasibility of various work methods. The steps are easy to understand and implement. They will yield immediate positive results.     

History of Construction, Engineering, and Management in the Department of Civil and Environmental Engineering at Penn State

At Penn State, the credit for broadening the Civil Engineering Department’s longstanding academic focus on analysis and design to include the construction phase must go to Dr. Harmer A. Weeden and his longtime associate Dr. Thomas D. Larson. Jack H. Willenbrock joined the Department as an Instructor in June 1968 and grew the construction program so that today about a fourth to a third of the civil undergraduates obtain employment in the construction industry. The program has awarded about 250 postbaccalaureate degrees.     

MODE-type algorithm for estimating damped, undamped, or explosive modes

We propose a new algorithm for estimating the parameters of damped, undamped, or explosive sinusoidal signals. The algorithm resembles the MODE algorithm, which is commonly used for direction of arrival estimation in the array signal processing field. It is derived as a natural approximation to an asymptotically (high-SNR) optimal parameter estimator and has excellent statistical accuracy. Nevertheless, it is computationally simple and easy to implement. Numerical examples are included to illustrate the performance of the proposed method.This work has been supported by the Swedish Research Council for Engineering Sciences (TFR).