Effects of benfluorex metabolites on membrane fluidity and insulin-related processes

Hepatocyte growth factor (HGF) is a potent mitogen for the maturation of hepatocytes in vitro which plays a role in liver regeneration in vivo. In addition, transforming growth factor-beta 1 (TGF-beta 1) is also a potent regulator of liver regeneration. In attempting to clarify the mechanisms related to liver regeneration after partial hepatectomy, we investigated the expression of HGF and TGF-beta 1 in rats with liver cirrhosis (LC). A rat model of LC was prepared using carbon tetrachloride (CCl4). The expression of HGF mRNA in both the LC and control groups showed a similar time-course with the highest expression seen at 18h after a 70% hepatectomy. The expression of TGF-beta 1 mRNA peaked at 18h after partial hepatectomy in the LC group and at 48h in the control group. The 5-bromo-2'-deoxyuridine (BrdU) labeling index for the LC group at 24, 48, and 72 h after partial hepatectomy was 9.2%, 5.9%, and 1.8%, while for the control group it was 7.0%, 11.7%, and 6.8%, respectively. The BrdU labeling index in the LC group was thus suppressed earlier than that in the control group. We therefore postulate that regeneration of the remnant liver in the presence of LC accelerates immediately after partial hepatectomy, but the extent of regeneration is insufficient because of an early cessation due to an early expression of TGF-beta 1.     

Insiders Behaving Badly

This column goes beyond previous insider analyses to identify a framework for a taxonomy of insider threats including both malicious and inadvertent actions by insiders that put organizations or their resources at some risk. The framework includes factors reflecting the organization, the individual, the information technology system, and the environment.     

Towards a smooth design process for static communicative node‐link diagrams

Node‐link infographics are visually very rich and can communicate messages effectively, but can be very difficult to create, often involving a painstaking and artisanal process. In this paper we present an investigation of node‐link visualizations for communication and how to better support their creation. We begin by breaking down these images into their basic elements and analyzing how they are created. We then present a set of techniques aimed at improving the creation workflow by bringing more flexibility and power to users, letting them manipulate all aspects of a node‐link diagram (layout, visual attributes, etc.) while taking into account the context in which it will appear. These techniques were implemented in a proof‐of‐concept prototype called GraphCoiffure, which was designed as an intermediary step between graph drawing/editing software and image authoring applications. We describe how GraphCoiffure improves the workflow and illustrate its benefits through practical examples.     

Toward the Interactive 3D Modelling Applied to Ponte Rotto in Rome

We present the first step of a research aimed at automating a driven interactive 3D modeling of an existing architectural object. The method is based on oriented multi-image spherical panoramas produced by stitching techniques. The photogrammetric process has two steps: the creation of a semi-automatic process to find homolog points in two panoramas; the creation of parametric definitions for an interactive modeling creating points, segments, and surfaces based on the plotted points in the first step. By connecting these two steps, the creation of the model will be automatic, as we indicate the necessary points in just one panoramic photo. The principals of multi-view geometry and epipolar geometry were applied to simplify the calculation in the first step in order to create an automatic identification of the correspondent points in the other panorama. The epipolar geometry is described by both analytical and graphical programming, implementing in the first case a C++ application and in the second case a Rhinoceros and Grasshopper application. A case study of the Ponte Rotto in Rome (Italy) is presented.     

Minimum Setup Minimum Aberration Two‐level Split‐plot Type Designs for Physical Prototype Testing

Although new technologies allow for less effort in prototyping, physical testing still remains an important step in the product development cycle. Well‐planned experiments are useful to guide the decision‐making process. During the design of an experiment, one of the challenges is to balance limited resources and system constraints to obtain useful information. It is common that prototypes are composed of several parts, with some parts more difficult to assemble than others. And, usually, there is only one piece available of each part type and a large number of different setups. Under these conditions, designs with randomization restrictions become attractive approaches. Considering this scenario, a new and additional criterion, minimum setup, to construct split‐plot type designs is presented. Designs with the minimum number of setups of the more difficult parts, which are especially useful for screening purposes in physical prototype testing, are discussed. The use of the proposed criterion combined with minimum aberration for selecting a regular design is shown through a real application in testing car prototypes. As a tool to practitioners, catalogs of selected 32‐run minimum setup minimum aberration split‐split‐plot and split‐split‐split‐plot designs are presented. More complete catalogs are available as Supporting information. Copyright © 2015 John Wiley & Sons, Ltd.     

Formalizing process-based risk with Value-Focused Process Engineering

Following calls to advance the integration of risk and business process modeling paradigms, this paper formalizes the process of incorporating risk into business process models through the principles of Value-Focused Process Engineering (VFPE). In doing so, the paper aims to extend the existing VFPE modeling notation to reflect a set of necessary constructs required to adequately represent risk in goal-oriented business-process models. The extended set of constructs is proposed to support a formal systems view of process-based risk. Process-based risk is formalized on the one hand, as a product of complex interactions between activity-based elements, and on the other hand, as a natural component of the value creation mechanism of an elementary function or a complex process. The proposed risk-aware VFPE formalism also formulates rules for decomposing risk in process models according to the organizational values, thereby enabling better risk visibility, reducing process complexity, and ensuring continuity of business processes.     

Discrete Semantics for Hybrid Automata

Many natural systems exhibit a hybrid behavior characterized by a set of continuous laws which are switched by discrete events. Such behaviors can be described in a very natural way by a class of automata called hybrid automata. Their evolution are represented by both dynamical systems on dense domains and discrete transitions. Once a real system is modeled in a such framework, one may want to analyze it by applying automatic techniques, such as Model Checking or Abstract Interpretation. Unfortunately, the discrete/continuous evolutions not only provide hybrid automata of great flexibility, but they are also at the root of many undecidability phenomena. This paper addresses issues regarding the decidability of the reachability problem for hybrid automata (i.e., “can the system reach a state a from a state b?”) by proposing an “inaccurate” semantics. In particular, after observing that dense sets are often abstractions of real world domains, we suggest, especially in the context of biological simulation, to avoid the ability of distinguishing between values whose distance is less than a fixed ε. On the ground of the above considerations, we propose a new semantics for first-order formulæ which guarantees the decidability of reachability. We conclude providing a paradigmatic biological example showing that the new semantics mimics the real world behavior better than the precise one.     

Compact representations of all members of an independence system

It is well known that (reduced, ordered) binary decision diagrams (BDDs) can sometimes be compact representations of the full solution set of Boolean optimization problems. Recently they have been suggested to be useful as discrete relaxations in integer and constraint programming (Hoda et al. 2010). We show that for every independence system there exists a top-down (i.e., single-pass) construction rule for the BDD. Furthermore, for packing and covering problems on n variables whose bandwidth is bounded by \(\mathcal {O}(\log n)\) the maximum width of the BDD is bounded by \(\mathcal {O}(n)\). We also characterize minimal widths of BDDs representing the set of all solutions to a stable set problem for various basic classes of graphs. Besides implicitly enumerating or counting all solutions and optimizing a class of nonlinear objective functions that includes separable functions, the results can be applied for effective evaluation of generating functions.     

Illustrating volume data sets and layered models with importance-aware composition

Non-photorealistic (illustrative) rendering augments typical rendering models to selectively emphasize or de-emphasize specific structures of rendered objects. Illustrative techniques may affect not only the rendering style of specific portions of an object but also their visibility, ensuring that less important regions do not occlude more important ones. Cutaway views completely remove occluding, unimportant structures—possibly also removing valuable context information—while existing solutions for smooth reduction of occlusion based on importance lack precise visibility control, simplicity and generality. We introduce a new front-to-back fragment composition equation that directly takes into account a measure of sample importance and allows smooth and precise importance-based visibility control. We demonstrate the generality of our composition equation with several illustrative effects, which were obtained by using a set of importance measures calculated on the fly or defined by the user. The presented composition method is suitable for direct volume rendering as well as rendering of layered 3D models. We discuss both cases and show examples, though focusing mainly on illustration of volumetric data.     

Supporting Different Dimensions of Adaptability in Workflow Modeling

This paper discusses the theme of workflow systemadaptability in relation to process modeling. Startingfrom a discussion on the role of formal constructs incooperation, the main claim is that adaptabilityinvolves different dimensions of process modeling.These dimensions concern the possibility to flexiblycombine a rich set of basic categories in order toobtain the most suitable language for modeling thetarget business process and the work practices aroundit; to take into account various levels of visibilityof the contexts of definition and use of a processmodel; and finally to allow for temporary as well aspermanent modifications of the process itself.Ariadne, a notation conceived for the above purpose,is illustrated by means of a working example.Moreover, the paper presents the main designprinciples governing Ariadne's implementation.