Search results for " logic"
showing 10 items of 1720 documents
Creativity by copying: imitating life as a work of imagination
2021
Engineering biological systems is easily interpretable as a process of mere and cold replication, or even distortion, of the natural domain, since it is often linked to industry and built on the Cartesian assumption of human rationality’s control over asubmissive nature. In this article, I approach living systems design from an alternative perspective, supporting its similarities with activities which are traditionally associated with creativity, like arts. I show that different kinds of creativity are deeply involved in copying, composing, and modifying life, focusing on two different levels: that of scientific modelling, recognisable by looking at biological circuits design, and that of a…
A dynamic performance management approach to support local strategic planning
2015
In spite of efforts devoted in the last decades to local strategic planning, such field of research and practice has been frequently characterized by a lack of implementation. We argue here that this phenomenon is due to the limitations of the static and linear approach to local strategic planning in fostering the development of common shared view among policy makers on the relevant system's structure and behavior. By means of a case-study, we illustrate how an approach based on system dynamics modeling applied to Performance Management can be useful to overcome such weaknesses. The proposed approach enhances a better understanding of the causes and effects related to adopted policies, unde…
Exact extension of the DIRECT algorithm to multiple objectives
2019
The direct algorithm has been recognized as an efficient global optimization method which has few requirements of regularity and has proven to be globally convergent in general cases. direct has been an inspiration or has been used as a component for many multiobjective optimization algorithms. We propose an exact and as genuine as possible extension of the direct method for multiple objectives, providing a proof of global convergence (i.e., a guarantee that in an infinite time the algorithm becomes everywhere dense). We test the efficiency of the algorithm on a nonlinear and nonconvex vector function. peerReviewed
Gear classification and fault detection using a diffusion map framework
2015
This article proposes a system health monitoring approach that detects abnormal behavior of machines. Diffusion map is used to reduce the dimensionality of training data, which facilitates the classification of newly arriving measurements. The new measurements are handled with Nyström extension. The method is trained and tested with real gear monitoring data from several windmill parks. A machine health index is proposed, showing that data recordings can be classified as working or failing using dimensionality reduction and warning levels in the low dimensional space. The proposed approach can be used with any system that produces high-dimensional measurement data. peerReviewed
Anomaly Detection Algorithms for the Sleeping Cell Detection in LTE Networks
2015
The Sleeping Cell problem is a particular type of cell degradation in Long-Term Evolution (LTE) networks. In practice such cell outage leads to the lack of network service and sometimes it can be revealed only after multiple user complains by an operator. In this study a cell becomes sleeping because of a Random Access Channel (RACH) failure, which may happen due to software or hardware problems. For the detection of malfunctioning cells, we introduce a data mining based framework. In its core is the analysis of event sequences reported by a User Equipment (UE) to a serving Base Station (BS). The crucial element of the developed framework is an anomaly detection algorithm. We compare perfor…
Semi-automatic literature mapping of participatory design studies 2006--2016
2018
The paper presents a process of semi-automatic literature mapping of a comprehensive set of participatory design studies between 2006--2016. The data of 2939 abstracts were collected from 14 academic search engines and databases. With the presented method, we were able to identify six education-related clusters of PD articles. Furthermore, we point out that the identified clusters cover the majority of education-related words in the whole data. This is the first attempt to systematically map the participatory design literature. We argue that by continuing our work, we can help to perceive a coherent structure in the body of PD research.
Context–content systems of random variables : The Contextuality-by-Default theory
2016
Abstract This paper provides a systematic yet accessible presentation of the Contextuality-by-Default theory. The consideration is confined to finite systems of categorical random variables, which allows us to focus on the basics of the theory without using full-scale measure-theoretic language. Contextuality-by-Default is a theory of random variables identified by their contents and their contexts, so that two variables have a joint distribution if and only if they share a context. Intuitively, the content of a random variable is the entity the random variable measures or responds to, while the context is formed by the conditions under which these measurements or responses are obtained. A …
Accelerating the Americanization of Management Education
2015
The Journal of Management Inquiry astutely predicted in 2004 that the Americanization of business education would not just continue but increase. Ten years later, it is arguable that the acceleration of the Americanization of management education has exceeded all expectations. To theoretically build toward understanding how and why the American business education model has been adopted to different extents, this comparative study builds on the institutional logics perspective, arguing that different institutional logics can potentially explain the various forms and patterns of Americanization and how they are manifested in the world’s business schools.
Competing institutional logics in Soviet industrial location policy
2018
The Soviet legacy has been widely demonstrated to have had negative impacts on the regional and economic development of Russia. This article studies the mechanisms of competing institutional logics in Soviet industrial location policies as a source of this adverse heritage. The results indicate that prolonged competition between three institutional logics complicated the adoption and practice of consistent industrial location strategies and contributed to structural problems in economic geography. An analysis of Soviet institutional logics demonstrates parallel forms of competition and coexistence with findings from other institutional environments, paving the way for a broader theoretical …
A Completeness Proof for a Regular Predicate Logic with Undefined Truth Value
2023
We provide a sound and complete proof system for an extension of Kleene's ternary logic to predicates. The concept of theory is extended with, for each function symbol, a formula that specifies when the function is defined. The notion of "is defined" is extended to terms and formulas via a straightforward recursive algorithm. The "is defined" formulas are constructed so that they themselves are always defined. The completeness proof relies on the Henkin construction. For each formula, precisely one of the formula, its negation, and the negation of its "is defined" formula is true on the constructed model. Many other ternary logics in the literature can be reduced to ours. Partial functions …