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.     

Inclusion dynamics hybrid automata

Hybrid systems are dynamical systems with the ability to describe mixed discrete-continuous evolution of a wide range of systems. Consequently, at first glance, hybrid systems appear powerful but recalcitrant, neither yielding to analysis and reasoning through a purely continuous-time modeling as with systems of differential equations, nor open to inferential processes commonly used for discrete state-transition systems such as finite state automata. A convenient and popular model, called hybrid automata, was introduced to model them and has spurred much interest on its tractability as a tool for inference and model checking in a general setting. Intuitively, a hybrid automaton is simply a “finite-state” automaton with each state augmented by continuous variables, which evolve according to a set of well-defined continuous laws, each specified separately for each state. This article investigates both the notion of hybrid automaton and the model checking problem over such a structure. In particular, it relates first-order theories and analysis results on multivalued maps and reduces the bounded reachability problem for hybrid automata whose continuous laws are expressed by inclusions (x′f(x,t)) to a decidability problem for first-order formulæ over the reals. Furthermore, the paper introduces a class of hybrid automata for which the reachability problem can be decided and shows that the problem of deciding whether a hybrid automaton belongs to this class can be again decided using first-order formulæ over the reals. Despite the fact that the bisimulation quotient for this class of hybrid automata can be infinite, we show that our techniques permit effective model checking for a nontrivial fragment of CTL.     

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.     

Written Emotional Disclosure Buffers the Effects of Social Constraints on Distress Among Cancer Patients.

The aims of the present study were to examine whether written emotional disclosure would reduce distress among cancer patients and whether it would buffer the effects of high levels of social constraint (negative social responses to patients' expressions of emotion regarding their cancer) on distress. Cancer patients (N=104) were randomly assigned to write about their emotions regarding their cancer 20 min a day for 3 days or to write about a nonemotional topic. They completed questionnaires at baseline and 6 months postintervention. Results showed that written disclosure buffered the effects of social constraints on stress at the 6-month follow-up and that avoidance partly mediated these effects. The present data reinforce the notion that interventions should be tailored to patients' needs. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Distribution of nitric oxide synthase immunoreactivity in the mouse brain

Nitric oxide (NO) is a gaseous intercellular messenger with a wide range of neural functions. NO is synthesized by activation of different isoforms of nitric oxide synthases (NOS). At present NOS immunoreactivity has been described in mouse brain in restricted and definite areas and no detailed mapping studies have yet been reported for NOS immunoreactivity. We have studied the distribution of neuronal NOS-containing neurons in the brain of three months male mice, using a specific commercial polyclonal antibody against the neuronal isoform of nitric oxide synthase (nNOS). Neuronal cell bodies exhibiting nNOS immunoreactivity were found in several distinct nuclei throughout the brain. The neurons that were positively stained exhibited different intensities of reaction. In some brain areas (i.e., cortex, striatum, tegmental nuclei) neurons were intensely stained in a Golgi-like fashion. In other regions, immunoreactive cells are moderately stained (i.e., magnocellular nucleus of the posterior commissure, amygdaloid nucleus, interpeduncular nucleus, lateral periaqueductal gray) or weakly stained (i.e., vascular organ of the lamina terminalis, hippocampus, inferior colliculus, reticular nucleus). In the mouse, the NO-producing system appears well developed and widely diffused. In particular, nNOS immunoreactive neurons seem chiefly present in several sensory pathways like all the nuclei of the olfactory system, as well as in many regions of the lymbic system. These data suggest a widespread role for the NO system in the mouse nervous system.