Search results for "Programming"

Exacus: Efficient and Exact Algorithms for Curves and Surfaces

2005

We present the first release of the Exacus C++ libraries. We aim for systematic support of non-linear geometry in software libraries. Our goals are efficiency, correctness, completeness, clarity of the design, modularity, flexibility, and ease of use. We present the generic design and structure of the libraries, which currently compute arrangements of curves and curve segments of low algebraic degree, and boolean operations on polygons bounded by such segments.

Boosting Design Space Explorations with Existing or Automatically Learned Knowledge

2012

During development, processor architectures can be tuned and configured by many different parameters. For benchmarking, automatic design space explorations (DSEs) with heuristic algorithms are a helpful approach to find the best settings for these parameters according to multiple objectives, e.g. performance, energy consumption, or real-time constraints. But if the setup is slightly changed and a new DSE has to be performed, it will start from scratch, resulting in very long evaluation times. To reduce the evaluation times we extend the NSGA-II algorithm in this article, such that automatic DSEs can be supported with a set of transformation rules defined in a highly readable format, the fuz…

Managing Human Factors to Reduce Organisational Risk in Industry

2018

[EN] Human factors are intrinsically involved at virtually any level of most industrial/business activities, and may be responsible for several accidents and incidents, if not correctly identified and managed. Focusing on the significance of human behaviour in industry, this article proposes a multi-criteria decision-making (MCDM)-based approach to support organizational risk assessment in industrial environments. The decision-making trial and evaluation laboratory (DEMATEL) method is proposed as a mathematical framework to evaluate mutual relationships within a set of human factors involved in industrial processes, with the aim of highlighting priorities of intervention. A case study relat…

A Biologically Inspired Representation of the Intelligence of a University Campus

2016

Abstract Intelligence or smartness in an urban environment implies several factors directed to improve quality of life and efficiency. It is important to note that in this context the inclusion of citizens and their devices is a key factor for reaching smartness. Data from mobile devices are increasingly used in everyday activities and have to be considered a useful means for handling and analyzing knowledge and communications. This paper shows how to represent important data when dealing with smartness by creating an analogy between the representation of human brain areas, activated when specific tasks are performed, and groups of students when behaviors or needs arise. The brain traffic c…

Evaluation of the DART 3D model in the thermal domain using satellite/airborne imagery and ground-based measurements

2011

This work provides an evaluation of the discrete anisotropy radiative transfer (DART) three-dimensional (3D) model in assessing the simulation of directional brightness temperatures (Tb) at both sensor and surface levels. Satellite imagery acquired with the Advanced Spaceborne Thermal Emission and Reflection Radiometer (ASTER), airborne imagery acquired with the Airborne Hyperspectral Scanner (AHS) sensor and ground-based measurements collected over an agricultural area were used to evaluate the DART model at nadir views. Directional radiometric temperatures measured with a goniometric system at ground level were also used to evaluate modelling results at different view angles. The DART mod…

Impact of building automation control systems and technical building management systems on the energy performance class of residential buildings: An …

2014

Abstract The paper focuses on the evaluation of the impact on residential buildings of building automation control (BAC) and technical building management (TBM) systems. This work shows how the control, monitoring and automation functions considered by the European Standard EN 15232 can considerably influence the energy performance of a single-family test house and, consequently, its energy performance class. The study puts into evidence that the benefit that can be drawn from the installation of BAC and TBM systems depends on the type of technical appliances in the household and on the starting energy performance class. Finally, the economic impact due to the introduction of BACS or TBM fu…

Information Systems Students’ Impressions on Learning Modeling Enterprise Architectures

2020

This Full Research Paper presents enterprise architecture (EA) modeling tools utilized in an educational context. EA is a well-known and a commonly used approach for organizational development aiming to improve the alignment of business operations and information technology. This high level design of information technology (IT) driven business operations lays the foundations on lower level technical activities such as the design and implementation of application programs and features, system boundary interfaces, database distribution and data pipes, and system recovery. Organizations’ architectures are made visible by creating EA artefacts, such as business process diagrams, data models and…

Domain-Specific Characteristics of Data Quality

2017

The research discusses the issue how to describe data quality and what should be taken into account when developing an universal data quality management solution. The proposed approach is to create quality specifications for each kind of data objects and to make them executable. The specification can be executed step-by-step according to business process descriptions, ensuring the gradual accumulation of data in the database and data quality checking according to the specific use case. The described approach can be applied to check the completeness, accuracy, timeliness and consistency of accumulated data.

Asynchronous Runtime Verification of Business Processes: Proof of Concept

2020

CD44v6 is a marker of constitutive and reprogrammed cancer stem cells driving colon cancer metastasis.

2014

SummaryCancer stem cells drive tumor formation and metastasis, but how they acquire metastatic traits is not well understood. Here, we show that all colorectal cancer stem cells (CR-CSCs) express CD44v6, which is required for their migration and generation of metastatic tumors. CD44v6 expression is low in primary tumors but demarcated clonogenic CR-CSC populations. Cytokines hepatocyte growth factor (HGF), osteopontin (OPN), and stromal-derived factor 1α (SDF-1), secreted from tumor associated cells, increase CD44v6 expression in CR-CSCs by activating the Wnt/β-catenin pathway, which promotes migration and metastasis. CD44v6− progenitor cells do not give rise to metastatic lesions but, when…