scholarly journals A Novel SAT-Based Approach to Model Based Diagnosis

2014 ◽  
Vol 51 ◽  
pp. 377-411 ◽  
Author(s):  
A. Metodi ◽  
R. Stern ◽  
M. Kalech ◽  
M. Codish
Keyword(s):  
Experimental Evidence ◽  
State Of The Art ◽  
The State ◽  
Minimal Cardinality ◽  
Model Based ◽  
First Time ◽  
The Way

This paper introduces a novel encoding of Model Based Diagnosis (MBD) to Boolean Satisfaction (SAT) focusing on minimal cardinality diagnosis. The encoding is based on a combination of sophisticated MBD preprocessing algorithms and the application of a SAT compiler which optimizes the encoding to provide more succinct CNF representations than obtained with previous works. Experimental evidence indicates that our approach is superior to all published algorithms for minimal cardinality MBD. In particular, we can determine, for the first time, minimal cardinality diagnoses for the entire standard ISCAS-85 and 74XXX benchmarks. Our results open the way to improve the state-of-the-art on a range of similar MBD problems.

A NEW LAYOUT DESIGN SYSTEM FOR MULTICHIP MODULES

1995 ◽  
Vol 06 (03) ◽  
pp. 509-538 ◽  
Author(s):  
BERNHARD M. RIESS ◽  
ANDREAS A. SCHOENE
Keyword(s):  
Efficient Algorithm ◽  
State Of The Art ◽  
Layout Design ◽  
The State ◽  
Design System ◽  
Multichip Modules ◽  
Analytical Technique ◽  
Cut Method ◽  
First Time ◽  
Three Components

A new layout design system for multichip modules (MCMs) consisting of three components is described. It includes a k-way partitioning approach, an algorithm for pin assignment, and a placement package. For partitioning, we propose an analytical technique combined with a problem-specific multi-way ratio cut method. This method considers fixed module-level pad positions and assigns the cells to regularly arranged chips on the MCM substrate. In the subsequent pin assignment step the chip-level pads resulting from cut nets are positioned on the chip borders. Pin assignment is performed by an efficient algorithm, which profits from the cell coordinates generated by the analytical technique. Global and final placement for each chip is computed by the state-of-the-art placement tools GORDIANL and DOMINO. For the first time, results for MCM layout designs of benchmark circuits with up to 100,000 cells are presented. They show a small number of required chip-level pads, which is the most restricted resource in MCM design, and short total wire lengths.

Cloud Monitoring

2012 ◽  
pp. 97-116
Author(s):  
Peer Hasselmeyer ◽  
Gregory Katsaros ◽  
Bastian Koller ◽  
Philipp Wieder
Keyword(s):  
State Of The Art ◽  
The State ◽  
Cloud Environment ◽  
State Health ◽  
Cloud Monitoring ◽  
Cloud Environments ◽  
And Performance ◽  
Cloud Infrastructures ◽  
Different Levels ◽  
The Way

The management of the entire service landscape comprising a Cloud environment is a complex and challenging venture. There, one task of utmost importance, is the generation and processing of information about the state, health, and performance of the various services and IT components, something which is generally referred to as monitoring. Such information is the foundation for proper assessment and management of the whole Cloud. This chapter pursues two objectives: first, to provide an overview of monitoring in Cloud environments and, second, to propose a solution for interoperable and vendor-independent Cloud monitoring. Along the way, the authors motivate the necessity of monitoring at the different levels of Cloud infrastructures, introduce selected state-of-the-art, and extract requirements for Cloud monitoring. Based on these requirements, the following sections depict a Cloud monitoring solution and describe current developments towards interoperable, open, and extensible Cloud monitoring frameworks.

The state of the art and the way ahead

2019 ◽  
pp. 194-202
Author(s):  
Claudia Lange ◽  
Sven Leuckert
Keyword(s):  
State Of The Art ◽  
The State ◽  
The Way

On the transmodality of signs and their interpretants: Evidence from Peirce’s MS 599, Reason’s Rules

Semiotica ◽  
2019 ◽  
Vol 2019 (228) ◽  
pp. 223-235
Author(s):  
Winfried Nöth
Keyword(s):  
Media Studies ◽  
State Of The Art ◽  
The State ◽  
Close Reading ◽  
Communicative Process ◽  
External Sign ◽  
The One ◽  
The Way

AbstractThe paper begins with a survey of the state of the art in multimodal research, an international trend in applied semiotics, linguistics, and media studies, and goes on to compare its approach to verbal and nonverbal signs to Charles S. Peirce’s approach to signs and their classification. The author introduces the concept of transmodality to characterize the way in which Peirce’s classification of signs reflects the modes of multimodality research and argues that Peirce’s classification of the signs takes modes and modalities in two different respects into consideration, (1) from the perspective of the sign and (2) from the one of its interpretant. While current research in multimodality has its focus on the (external) sign in a communicative process, Peirce considers additionally the multimodality of the interpretants, i.e., the mental icons and indexical scenarios evoked in the interpreters’ minds. The paper illustrates and comments on the Peircean method of studying the multi and transmodality of signs in an analysis of Peirce’s close reading of Luke 19:30 in MS 599, Reason’s Rules, of c. 1902. As a sign, this text is “monomodal” insofar as it consists of printed words only. The study shows in which respects the interpretants of this text evince trans and multimodality.

scholarly journals A Survey of Collaborative Filtering Techniques

2009 ◽  
Vol 2009 ◽  
pp. 1-19 ◽  
Author(s):  
Xiaoyuan Su ◽  
Taghi M. Khoshgoftaar
Keyword(s):  
Collaborative Filtering ◽  
Recommender Systems ◽  
Privacy Protection ◽  
State Of The Art ◽  
Predictive Performance ◽  
The State ◽  
Data Sparsity ◽  
Research And Practice ◽  
Model Based ◽  
Comprehensive Survey

As one of the most successful approaches to building recommender systems, collaborative filtering (CF) uses the known preferences of a group of users to make recommendations or predictions of the unknown preferences for other users. In this paper, we first introduce CF tasks and their main challenges, such as data sparsity, scalability, synonymy, gray sheep, shilling attacks, privacy protection, etc., and their possible solutions. We then present three main categories of CF techniques: memory-based, model-based, and hybrid CF algorithms (that combine CF with other recommendation techniques), with examples for representative algorithms of each category, and analysis of their predictive performance and their ability to address the challenges. From basic techniques to the state-of-the-art, we attempt to present a comprehensive survey for CF techniques, which can be served as a roadmap for research and practice in this area.

Systems in Prosthetic Hands and the Relationship With Their Performance

2013 ◽  
Author(s):  
Julio C. Díaz-Montes ◽  
Jesús Manuel Dorador-González
Keyword(s):  
Upper Limb ◽  
State Of The Art ◽  
The State ◽  
Prosthetic Devices ◽  
Prosthetic Hands ◽  
Upper Limb Prosthesis ◽  
The Relationship ◽  
Limb Prosthesis ◽  
The Way

A review of the state of the art in prosthetic hands is presented; this review covers the most common commercial prosthesis and prototypes under development. In this analysis, prosthetic devices were divided in six systems: actuation, reduction, blocking, transmission, flexion and support. The information obtained is presented according to those systems. The most important features of each system are presented together with their relationship with the performance of the entire prosthesis. An analysis that indicates the way in which prosthesis take advantage of the capabilities of current technologies is presented. Recommendations for improving the performance of upper limb prosthesis are proposed.

scholarly journals Waste generation prediction under uncertainty in smart cities through deep neuroevolution

2019 ◽  
pp. 128-138 ◽  
Author(s):  
Andrés Camero ◽  
Jamal Toutouh ◽  
Javier Ferrer ◽  
Enrique Alba
Keyword(s):  
Real World ◽  
State Of The Art ◽  
Smart Cities ◽  
Uncertain Data ◽  
Recurrent Network ◽  
The State ◽  
Waste Generation ◽  
Waste Collection ◽  
The Way

The unsustainable development of countries has created a problem due to the unstoppable waste generation. Moreover, waste collection is carried out following a pre-defined route that does not take into account the actual level of the containers collected. Therefore, optimizing the way the waste is collected presents an interesting opportunity. In this study, we tackle the problem of predicting the waste generation ratio in real-world conditions, i.e., under uncertainty. Particularly, we use a deep neuroevolutionary technique to automatically design a recurrent network that captures the filling level of all waste containers in a city at once, and we study the suitability of our proposal when faced to noisy and faulty data. We validate our proposal using a real-world case study, consisting of more than two hundred waste containers located in a city in Spain, and we compare our results to the state-of-the-art. The results show that our approach exceeds all its competitors and that its accuracy in a real-world scenario, i.e., under uncertain data, is good enough for optimizing the waste collection planning.

18. Novelty

2018 ◽  
Author(s):  
L. Bently ◽  
B. Sherman ◽  
D. Gangjee ◽  
P. Johnson
Keyword(s):  
State Of The Art ◽  
The State ◽  
Prior Art ◽  
Right To Work ◽  
The Way

This chapter considers novelty as a prerequisite for an invention to be patentable under both the Patents Act 1977 and the European Patents Convention. More specifically, it tackles three questions to help decide whether an invention is novel: what the invention is; what information is disclosed by the prior art; and whether the invention is novel (part of the state of the art). It also looks at the so-called ‘right to work’ argument, whereby novelty helps to ensure that patents are not used to prevent people from doing what they had already done before the patent was granted, and its modification as a result of changes in the way in which novelty is determined. The chapter concludes by discussing three specific types of inventions and the problems that have arisen when evaluating their novelty: inventions relating to medical uses, non-medical uses, and so-called selection inventions.

Sign in / Sign up

Export Citation Format

Share Document