نتایج جستجو برای: hyper new

تعداد نتایج: 1870062  

Journal: :IEEE Robot. Automat. Mag. 1994
Gregory S. Chirikjian Joel W. Burdick

. . . a. O...O~...*..I.~..rrlr.r.,..........~.~~~~~~b~...~.~~~*.~*.~~*~~~*.~.~~~~~~.~~8~b#~~*M~906~*~ “Hyper-redundant” manipulators have a very large number of actuatable degrees of freedom. The benefits of hyper-redundant robots include the ability to avaoid obstacles, increased robustness with respect to mechanical failure, and the ability to perform new forms of robot locomotion and graspin...

2011
Andreas Maletti

These notes report on recent advances in the relatively new area of hyper-minimization. Several open questions that were raised in the pioneering article [Badr, Geffert, and Shipman. Hyper-minimizing minimized deterministic finite state automata. RAIRO Theor. Inf. Appl., 43(1):69–94, 2009] are addressed here and the solutions, which are mostly taken from the literature, are presented in a unifo...

1994
Frank Kappe Keith Andrews Mansuet Gaisbauer Michael Pichler

This paper describes Hyper-G, a new hypermedia information system which combines the best of Gopher, WAIS, and World Wide Web. Hyper-G is speci cally designed as a distributed, large-scale hypermedia information system supporting navigation in a large body of dynamically changing information without becoming \lost in hyperspace". Users may choose a hierarchical navigation paradigm, click on hyp...

This  paper extends the notion of fuzzy $BCK$-subalgebras to fuzzy hyper $BCK$-subalgebras and defines an extended fuzzy $BCK$-subalgebras. This study  considers  a type of fuzzy hyper  $BCK$-ideals  in this  hyperstructure  and  describes   the  relationship  between hyper  $BCK$-ideals and  fuzzy hyper  $BCK$-ideals.  In fact, it tries to introduce   a  strongly  regular  relation  on hyper $...

1996
Peter Baumgartner Ulrich Furbach Ilkka Niemelä

This paper introduces a variant of clausal normal form tableaux that we call “hyper tableaux”. Hyper tableaux keep many desirable features of analytic tableaux while taking advantage of the central idea from (positive) hyper resolution, namely to resolve away all negative literals of a clause in a single inference step. Another feature of the proposed calculus is the extensive use of universall...

2017
Gordon Chiu

The innovative Intel® HyperFlexTM FPGA Architecture features a “registers everywhere” design that includes ubiquitous retiming and pipelining registers, called Hyper-Registers. These Hyper-Registers are available in every routing wire on the device. Combined with the new Intel Quartus® Prime Hyper-Aware design flow, these Hyper-Registers allow designers to break the performance barrier, achievi...

M. M. Zahedi , T. Roudbari ,

A simple method is described, to prove some theorems for simple hyper K-algebras and to study positive implicative hyper K-ideals, weak (implicative ) hyper K-ideals in simple hyper K-algebras . Beside, some results on positive implicative and (weak) implicative simple hyper K-algebras are presented. Finally classification of simple hyper Kalgebras of order 4, which are satisfied in conditions ...

Journal: :International Journal of Pure and Apllied Mathematics 2015

khadijeh Abolpour, Masoome Golmohamadian Mohammad Mehdi Zahedi,

We present some connections between the max-min general fuzzy automaton theory and the hyper structure theory. First, we introduce a hyper BCK-algebra induced by a max-min general fuzzy automaton. Then, we study the properties of this hyper BCK-algebra. Particularly, some theorems and results for hyper BCK-algebra are proved. For example, it is shown that this structure consists of different ty...

Journal: :Axioms 2022

BZ-algebra, as the common generalization of BCI-algebra and BCC-algebra, is a kind important logic algebra. Herein, new concepts QM-BZ-algebra quasi-hyper BZ-algebra are proposed their structures constructions studied. First, definition presented, structure obtained: Each KG-union quasi-alter BCK-algebra anti-grouped BZ-algebra. Second, generalized quasi-left alter (hyper) BZ-algebras QM-hyper ...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید