CCL

Összesen 8 találat.
#/oldal:
Részletezés:
Rendezés:

1.

001-es BibID:BIBFORM048430
Első szerző:Nagy Benedek (informatikus, matematikus)
Cím:Computing discrete logarithm by interval-valued paradigm / Benedek Nagy, Sándor Vályi
Dátum:2013
ISBN:2075-2180
Tárgyszavak:Természettudományok Matematika- és számítástudományok konferenciacikk
interval-valued computing
new computing paradigms
Fizikai-, Számítás- és Anyagtudomány
Megjelenés:Electronic Proceedings in Theoretical Computer Science. - 143 (2013), p. 76-86. -
További szerzők:Vályi Sándor (1968-) (matematikus, informatikus)
Pályázati támogatás:TÁMOP-4.2.2.C-11/1/KONV-2012-0001
TÁMOP
A Jövő Internet elméleti alapjai
TÁMOP-4.2.1/B-09/1/KONV-2010-0007
TÁMOP
Kriptográfia algoritmusok és protokollok
Internet cím:DOI
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

2.

001-es BibID:BIBFORM029908
Első szerző:Nagy Benedek (informatikus, matematikus)
Cím:Prime factorization by interval-valued computing / Benedek Nagy, Sándor Vályi
Dátum:2011
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény hazai lapban
Fizikai-, Számítás- és Anyagtudomány
Megjelenés:Publicationes Mathematicae. - 79 : 3/4 (2011), p. 539-551. -
További szerzők:Vályi Sándor (1968-) (matematikus, informatikus)
Pályázati támogatás:TÁMOP-4.2.1/B-09/1/KONV-2010-0007
TÁMOP
Kriptográfia algoritmusok és protokollok
Internet cím:Szerző által megadott URL
DOI
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

3.

001-es BibID:BIBFORM020789
Első szerző:Nagy Benedek (informatikus, matematikus)
Cím:Solving a PSPACE-complete problem by a linear interval-valued computation / Benedek Nagy, Sándor Vályi
Dátum:2006
Tárgyszavak:Természettudományok Matematika- és számítástudományok könyvfejezet
Megjelenés:Logical Approaches to Computational Barriers : Second Conference on Computability in Europe, CiE 2006 Swansea, UK, June 30-July 5, 2006 Proceedings / Arnold Beckmann, [et al.] (eds.). - p. 216-225. -
További szerzők:Vályi Sándor (1968-) (matematikus, informatikus)
Internet cím:Szerző által megadott URL
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

4.

001-es BibID:BIBFORM012623
Első szerző:Nagy Benedek (informatikus, matematikus)
Cím:Interval-valued computing as a visual reasoning system / Benedek Nagy, Sándor Vályi
Dátum:2007
Tárgyszavak:Műszaki tudományok Informatikai tudományok előadáskivonat
Megjelenés:DMS 2007 : Proceedings of the Thirteenth International Conference on Distributed Multimedia Systems / ed. T. Znati, G. Polese, M. Kankanhalli. - p. 247-250. -
További szerzők:Vályi Sándor (1968-) (matematikus, informatikus)
Internet cím:Szerző által megadott URL
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

5.

001-es BibID:BIBFORM005692
Első szerző:Nagy Benedek (informatikus, matematikus)
Cím:Interval-valued computations and their connection with PSPACE / Benedek Nagy, Sándor Vályi
Dátum:2008
Megjegyzések:At the conference CiE 2005, the first author introduced a new model for analog computations, namely interval-valued computations. In this model, computations work on the so-called interval-valued bytes, which are special subsets of the interval [0, 1) rather than a finite sequence of bits. The question was posed there, which complexity is needed to solve PSPACE-complete problems in this paradigm. In this paper, after formalizing the computational model, we answer this question. We show that the validity problem of quantified propositional formulae is decidable by a linear interval-valued computation. As a consequence, all polynomial space problems are decidable by a polynomial interval-valued computation. Furthermore, it is proven that PSPACE coincides with the class of languages which are decidable by a restricted polynomial interval-valued computation.
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény külföldi lapban
újelvű számítások
intervallum-érték
bonyolultságelmélet
Algorithmic complexity
Parallel computing
New computing paradigms
interval-valued computing
unconvential computing
Megjelenés:Theoretical Computer Science. - 394 : 3 (2008), p. 208-222. -
További szerzők:Vályi Sándor (1968-) (matematikus, informatikus)
Internet cím:DOI
elektronikus változat
elektronikus változat
Borító:

6.

001-es BibID:BIBFORM002866
Első szerző:Nagy Benedek (informatikus, matematikus)
Cím:Visual reasoning by generalized interval-values and interval temporal logic / Benedek Nagy, Sándor Vályi
Dátum:2007
ISSN:1613-0073
Megjegyzések:Interval-valued computation is an unconventional computing paradigm.It is an idealization of classical 16-, 32-, 64- etc. bit based computations. It represents data as specific subsets of the unit interval - in this sense this paradigm is classified into the continuous space machine paradigm near to optical computing. In this paper we show the visual reasoning power of interval-valued computations, namely, we demonstrate that the decision process of quantified propositional formulae is fully representable in a natural visual form. Further, we give a temporal-logical interpretation of interval-valued computations.
Tárgyszavak:Műszaki tudományok Informatikai tudományok előadáskivonat
könyvrészlet
interval-valued computing
unconvential computing
Megjelenés:Visual Languages and Logic / ed. Philip Cox, Andrew Fish, John Howse. - p. 13-26. -
További szerzők:Vályi Sándor (1968-) (matematikus, informatikus)
Internet cím:Szerző által megadott URL
Szerző által megadott URL
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

7.

001-es BibID:BIBFORM002263
Első szerző:Nagy Benedek (informatikus, matematikus)
Cím:Interval-valued computations without the product operator / Nagy Benedek, Vályi Sándor
Dátum:2007
Tárgyszavak:Természettudományok Matematika- és számítástudományok Műszaki tudományok Informatikai tudományok előadáskivonat
interval-valued computing
unconventional computing
new computing paradigms
Megjelenés:Proceedings of the 7th International Conference on Applied Informatics, Eger, Hungary, January 28-31, 2007. / szerk. Emőd Kovács, Péter Olajos, Tibor Tómács. - p. 83-90.
További szerzők:Vályi Sándor (1968-) (matematikus, informatikus)
Internet cím:elektronikus változat
Borító:

8.

001-es BibID:BIBFORM002036
Első szerző:Nagy Benedek (informatikus, matematikus)
Cím:Visual reasoning by generalized interval-values and interval temporal logic / Benedek Nagy, Sándor Vályi
Dátum:2007
Megjegyzések:Interval-valued computation is an unconventional computing paradigm. It is an idealization of classical 16-, 32-, 64- etc. bit based computations. It represents data as specific subsets of the unit interval - in this sense this paradigm is classified into the continuous space machine paradigm near to optical computing. In this paper we show the visual reasoning power of interval-valued computations, namely, we demonstrate that the decision process of quantified propositional formulae is fully representable in a natural visual form. Further, we give a temporal-logical interpretation of interval-valued computations.
Tárgyszavak:Természettudományok Matematika- és számítástudományok tanulmány, értekezés
intervallum-értékű számítások
visual computing
new computing paradigms
Megjelenés:Proceedings of the VLL 2007 workshop on Visual Languages and Logic in Coeur d'Aléne, Idaho, USA, 23rd September 2007 as part of the 2007 IEEE Symposium on Visual Languages and Human Centric Computing VL/HCC 07 / ed. by Philip Cox, Andrew Fish, John Howse. - p. 13-26.
További szerzők:Vályi Sándor (1968-) (matematikus, informatikus)
Internet cím:Szerző által megadott URL
Intézményi repozitóriumban (DEA) tárolt változat
Borító:
Rekordok letöltése1 
Corvina könyvtári katalógus v8.2.27 © 2023 Monguz kft. Minden jog fenntartva.