Search results for "Programming"
showing 10 items of 3090 documents
Decision Support Systems Based on CLP Approach in SMEs
2006
The paper focuses on a selected class of decision problems related with the production flow planning in SMEs, particularly in new production orders. Verification of orders gives a possibility to evaluate whether resources capacity of a manufacturer is balanced with the orderer's requirements. The class of decision problems under analysis is included in the scope of organizational production preparation and can be naturally determined by available CLP (Constraint Logic Programming) tools. The approach proposed in the paper is based on establishment of an interface which facilitates its task oriented use. The system has been presented on the basis of a sample order execution in a manufacturer…
Optimal switches in multi-inventory systems
2007
Given a switched multi-inventory system we wish to find the optimal schedule of the resets to maintain the system in a safe operating interval, while minimizing a function related to the cost of the resets. We discuss a family of instances that can be solved in polynomial time by linear programming. We do this by introducing a set-covering formulation with a totally unimodular constraint matrix.
A Research Review on Building Information Modeling in Construction―An Area Ripe for IS Research
2012
Published version of article of an article in the journal: Communications of the Association for Information Systems. Also available from the publisher : http://http://aisel.aisnet.org/cais/vol31/iss1/10/ This article presents a review of the research on Building Information Modeling (BIM) in construction, with the aim of identifying areas in this domain where IS research can contribute. The concept of BIM comprises an infrastructure of IT tools supporting collaborative and integrated design, assembly, and operation of buildings. This integrated construction approach, with all stakeholders editing or retrieving information from commonly shared models, requires major changes to well-establis…
Communication of Science Advice to Government
2015
There are various ways to construct good processes for soliciting and understanding science. Our critique of advisory models finds that a well-supported chief science advisor (CSA) best ensures the provision of deliberative, informal, and emergency advice to government. Alternatively, bias, increasingly manifest as science-based advocacy, can hinder communication, diminish credibility, and distort scientific evidence.
Definition and Assessment of a BAC Factor for Estimating Electrical Consumption of Outdoor Lighting
2018
The BAC factors method was introduced by the international Standard EN 15232 for a rough evaluation of energy savings in buildings obtained thanks to automation. The above standard considers the building's services such as heating, cooling, ventilation and lighting and takes into account automation on the basis of assumed usage profile for the related technical installations. However, the standard does not refer specifically to the automation of outdoor lighting systems such as those serving gardens, entrance walkways and passages around the building and supplied by it. In this paper, the authors propose a method for evaluation an outdoor BAC factor for lighting system considering various s…
Perceived-Value-driven Optimization of Energy Consumption in Smart Homes
2020
Residential energy consumption has been rising rapidly during the last few decades. Several research efforts have been made to reduce residential energy consumption, including demand response and smart residential environments. However, recent research has shown that these approaches may actually cause an increase in the overall consumption, due to the complex psychological processes that occur when human users interact with these energy management systems. In this article, using an interdisciplinary approach, we introduce a perceived-value driven framework for energy management in smart residential environments that considers how users perceive values of different appliances and how the us…
Quality of life ranking of Spanish cities: A non-compensatory approach
2021
Abstract Urban areas are hubs of economic activity, but also consumption centers where a high quality of life may attract human capital and increase prospects of economic growth and well-being. We rank 73 Spanish cities on the basis of 35 individual indicators covering three basic facets of quality of life: socio-economic performance, general livability conditions, and residents' health status. We reject the conventional approach of compensability among different quality of life dimensions in favor of a Condorcet-inspired non-compensability approach. We obtain three partial composite indicators, one for each of the aforementioned dimensions, and a global indicator that synthesizes the three…
Social Media News: Motivation, Purpose and Usage
2013
This paper presents the results of an online survey which was conducted to analyse the use of social web in the context of daily news. Users' motivation and habit in the news consumption were focused. Moreover, users' news behaviour was distinguished in three purposes such news consumption, news production and news dissemination to find out if the usage has a passive or active character. In a second step it was questioned which social software is used for which purpose. In conclusion users appreciate social software for features such as interactivity and information that traditional media does not provide. Among the social web platforms users prefer social networking sites as well as videos…
Orbits of bounded bijective operators and Gabor frames
2020
This paper is a contribution to frame theory. Frames in a Hilbert space are generalizations of orthonormal bases. In particular, Gabor frames of $L^2(\mathbb{R})$, which are made of translations and modulations of one or more windows, are often used in applications. More precisely, the paper deals with a question posed in the last years by Christensen and Hasannasab about the existence of overcomplete Gabor frames, with some ordering over $\mathbb{Z}$, which are orbits of bounded operators on $L^2(\mathbb{R})$. Two classes of overcomplete Gabor frames which cannot be ordered over $\mathbb{Z}$ and represented by orbits of operators in $GL(L^2(\mathbb{R}))$ are given. Some results about opera…
Tool Support for Model Driven Development of Pervasive Systems
2007
This work presents the PervML Generative Tool (PervGT) that supports a model driven method for the development of pervasive services in ubiquitous environments. The tool, which is based on the Eclipse platform, provides facilities for the graphical description of pervasive systems using PervML, a UML-like modeling language. Once the pervasive system is specified, the PervML model is used as input to a transformation engine that generates source code and other implementation assets. This generated code extends an OSGi-based framework in order to build the final pervasive applications