
K. Kadambavanama; T. Senthilnathanb
Fast Generalized Fuzzy cmeans clustering algorithm (FGFCM) and its variants are effective methods for image clustering. Even though the incorporation of local spatial information to the objective function reduces their sensitivity to noise to some extent, they are still lack behind in suppressing the effect of noise and outliers on the edges and tiny areas of input image. This article proposes an algorithm to mitigate the disadvantage of FGFCM and its variants and enhances the performance of clustering. The experiments on the synthetic and real images are presented, to exhibit the improvements in the image clustering due to the proposed...

Andrzej Buller; Marek Perkowski
This paper presents a method of automated synthesis of reversible cascades in a special cellular automaton called CAMBrain Machine (CBM). Reversible circuits are investigated because they are expected to dissipate much less energy than their irreversible counterparts. It is believed that one day they will be implemented as nanoscale 3dimensional chips. A circuit is reversible if the number of its inputs equals the number of its outputs and there is a onetoone mapping between spaces of input vectors and output vectors. This paper provides (1) a brief introduction to reversible logic concentrating on definitions and properties of the Feynman, Toffoli,...

Sheetal Bandekar; Belgaum Karnataka; Vishal Kerkar; Belgaum Karnataka
In computer graphics the term ‗sprite ‘ is a two dimensional picture that is incorporated into a large scene such as a video game. ‗Pixel art ‘ or ‗Sprite art ‘ deals with creation of sprites. Using the concepts of mathematics especially plane geometry and trigonometry, this research paper gives developers a new logic to create sprites that can be used in a 2D video game to create characters, labels, links, background image, circle and a brick wall. With the proposed latest technology and the new approach towards the creation of sprites a game by name ―SCRAPBOOK ‖ has been...

L. Sriharish; M. Kamaraju Phd
The work mainly deals with in improving multiplication process by using Redundant Binary Technique. By implementing the existing method of Multiplication and Accumulation structure in Real time applications, occurs some difficulties like some hard multiples, and getting partial products in multiplication stage, it was not useful for higher radix values. The covalent redundant binary booth encoding algorithm overcomes the hard multiple generation problem and it reduces the partial products. The proposed algorithm dumped into the Booth encoding partial product generation stage. In this stage first step is to change the normal binary to redundant binary to make simple to avoid...

multiagent systems, machine learning, artificial intelligence, reinforcement learning, optimal control, Qlearning, fuzzy logic, fuzzy reinforcement learning, RoboCup soccer simulation

Marek A Perkowski
Layoutdriven logic synthesis combines logical and physical design to minimize in terconnect length for speed noise and powercritical applications The lattice diagram synthesis approach constructs for combinational functions regular lat tices with only local connections and input buses Lattice diagrams are directly mappable to hardware without additional layout steps This synthesis approach decomposes functions symmetrically using Shannon and Davio expansions and by repeating decomposition variables when necessary It has been proven that lattice diagrams can always be constructed in this manner independent of input variable ordering and expansion types applied Lattice size however is quite sensitive to these parameters This...

Sandeep Sangwan; Jyoti Kedia
In this paper performance analysis of full adder circuit has been carried out using improved feedthrough logic design technique which is a novel design technique. This technique is an improvement over already existing FTL. The circuit has been designed using existing high speed feedthrough logic and improved feedthrough logic in both 90nm and 180nm technology using cadence tools and a comparison has been done for power and delay. full adder circuit using improved FTL dissipates 37.9 % less than full adder using high speed FTL but delay is increased by 15.13 % but the overall power delay product is reduced...

Syed Jamal; Uddin Ahmed
November 2015. Biaxial bending means the column is carrying bending by one or both axis with axial load and with calculations it is possible to put those unique values into a pattern to make an interaction diagram with balanced failure zone, tension failure zone and finally compression failure zone of a short or slender column. By using programming it is possible to make the calculations in seconds. The method is to make functions and calling them to solve certain specific values to generate the diagram pattern. The outcome was diagram data generating application having the ability to combine programming and...

For Many Years, achieving unambiguous knowledge has been turned to a serious challenge for human being. The aim of this paper is to emphasize situation when classical {true, false} logic is not adequate for data selection and data classification. Linguistic expression like: high salary, young etc are very often used in life and in statistics. The goal of this paper is brief study of fuzzy logic and sets and how to make it suitable for database queries and classification tasks. Fuzzy approach is introduced with usual relational database model to handle linguistic queries. The purposed fuzzy approach provides flexibility when...

Chiara Del Vescovo; Bijan Parsia; Uli Sattler
Abstract In this paper we examine several forms of modularity in logics as a basis for various conceptions of the topical structure of an ontology. Intuitively, a topic is a coherent fragment of the subject matter of the ontology. Different topics may play different roles: e.g., the main topic (or topics), side topics, or subtopics. If, at the lowest level, the subject matter of an ontology is characterized by the set of concepts of the ontology, a topic is a “coherent ” subset of those concepts. Different forms of modularity induce different, more or less cognitively helpful, notions of coherence...

Intersil Corporation is a global technology leader specializing in the design and manufacture of high performance analog semiconductors. Built on a solid foundation, with many years of analog experience, Intersil is committed to developing leadership solutions for the Industrial market. Over the past several years, Intersil has heavily invested and will continue to invest in robust technology capable of supporting the demanding requirements of the Industrial market. Intersil’s proprietary 40V precision silicononinsulator (SOI) bipolar process technology, developed, specifically to target the Industrial market and the growing portfolio of leadership precision amplifiers, are excellent examples of this commitment. Precision data acquisition...

Emmanuel Beffara
Abstract. This paper elaborates on a new approach of the question of the prooftheoretic study of concurrent interaction called “proofs as schedules”. Observing that proof theory is well suited to the description of confluent systems while concurrency has nondeterminism as a fundamental feature, we develop a correspondence where proofs provide what is needed to make concurrent systems confluent, namely scheduling. In our core logical system (a variant of multiplicative linear logic), processes and schedulers appear explicitly as proofs in different fragments of the proof language and cut elimination between them does correspond to execution of a concurrent system. This separation...

Yang Xu
Universal Akers Arrays UAA allow to realize arbitrary Boolean function directly in cellular layout but are very areainecient This paper presents an extension of UAAs called Lattice Diagrams in which Shannon Positive and Negative Davio expansions are used in nodes An ecient method of mappig arbitrary multioutput incompletely speci ed functions to them is presented We prove that with these extensions our concept of regular layout becomes not only feasible but also ecient Regular layout is a fundamental concept in VLSI design which can have applications to submicron design and designing new negrain FPGAs INTRODUCTION Akers dened Universal Akers Arrays UAA...

Marek Penhaker; Ondrej Krejcar; Martin Cerny; Miroslav Behan; Pavlina Penhakerova
Abstract. In present days there are many innovations that improve communication for the remote user’s application. There is necessary to adapt user interface in content of application and age experience of user. There is presented the concept for applicable and spatially smart established applications focused on utilization and emphasis of information implemented with fuzzy logic recognition.

Abstract: Mathematics is a subject which is based on formal logic and hence uses formal symbols. This fact is often veiled by the emphasis generally placed in school, on the technical aspects of Mathematics. And no wonder, that generally, teachers refrain from introducing the logical aspects of Mathematics in class — it is very difficult for most students. We are satisfied if the students show — using SKEMP'S notions — (Skemp 5) an instrumental understanding rather than a relational understanding.

Heena Naaz; Md. Muqtar Ahmed; Panjala Kavitha
This paper deals with various multipliers implemented using CMOS logic style and their comparative analysis on the basis of power and PDP (Power delay product). A variety of multipliers have been reported in the literature but power dissipation and area used by these multiplier circuits are relatively large. This paper proposed a high performance and power efficient 8x8 multiplier design based on Vedic mathematics using CMOS logic style. Power consumption plays an imperative role specifically in the field of VLSI today, every designer be it an analog circuit or a digital circuit designer is concerned about the amount of power...

Peter Johnstone
Abstract. We describe a method for presenting (a topos closely related to) either of Freyd’s topostheoretic models for the independence of the axiom of choice as the classifying topos for a geometric theory. As an application, we show that no such topos can admit a geometric morphism from a twovalued topos satisfying countable dependent choice.

Jeanbaptiste Courtois; Sylvain Schmitz
Abstract. Alternating vector addition systems are obtained by equipping vector addition systems with states (VASS) with ‘fork ’ rules, and provide a natural setting for infinitearena games played over a VASS. Initially introduced in the study of propositional linear logic, they have more recently gathered attention in the guise of multidimensional energy games for quantitative verification and synthesis. We show that establishing who is the winner in such a game with a state reachability objective is 2ExpTimecomplete. As a further application, we show that the same complexity result applies to the problem of whether a VASS is simulated by a...

Michael Wick; Khashayar Rohanimanesh; Sameer Singh; Andrew Mccallum
Large, relational factor graphs with structure defined by firstorder logic or other languages give rise to notoriously difficult inference problems. Because unrolling the structure necessary to represent distributions over all hypotheses has exponential blowup, solutions are often derived from MCMC. However, because of limitations in the design and parameterization of the jump function, these samplingbased methods suffer from local minima—the system must transition through lowerscoring configurations before arriving at a better MAP solution. This paper presents a new method of explicitly selecting fruitful downward jumps by leveraging reinforcement learning (RL). Rather than setting parameters to maximize the likelihood of the...

Julien Lamoureux; Tony Field; Wayne Luk
Abstract—This paper describes the acceleration of virtual ecology models using fieldprogrammable gate arrays (FPGAs). Our approach targets models generated by the Virtual Ecology Workbench (VEW); an existing tool used by biological oceanographers to build and analyze models of the plankton ecosystem in the upper ocean. Depending on the plankton study and required level of detail, the logic, memory, and data transfer requirements of the generated models can vary significantly. Using FPGAs, hardware implementations can be customized to the specific requirements of the ecological system under study and provide significant speedups compared to software implementations. This paper describes a framework for...