CCL

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

1.

001-es BibID:BIBFORM054907
Első szerző:Aszalós László (matematikus)
Cím:Conjectures on phase transition at correlation clustering of random graphs / László Aszalós, János Kormos, Dávid Nagy
Dátum:2014
ISSN:0138-9491
Megjegyzések:The Correlation Clustering is a classical, NP hard optimizationproblem with many social, economic, physical, biological and computerscience applications. We had implemented several methods to ndnear optimal solutions for particular problems. Here we summarizethe results of our experiments on random graphs in particular withregard to phase transitions.
Tárgyszavak:Műszaki tudományok Informatikai tudományok idegen nyelvű folyóiratközlemény hazai lapban
folyóiratcikk
Megjelenés:Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio Computatorica. - 42 (2014), p. 37-54. -
További szerzők:Kormos János (1952-2015) (matematikus) Nagy Dávid (1990-) (programtervező informatikus)
Pályázati támogatás:TÁMOP-4.2.2.C-11/1/KONV-2012-0001
TÁMOP
Internet cím:Szerző által meadott URL
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

2.

001-es BibID:BIBFORM038727
Első szerző:Balázsfalvi Gábor
Cím:BitTorrent file sharing in mobile ad-hoc networks / Balázsfalvi G., Sztrik J.
Dátum:2006
Tárgyszavak:Műszaki tudományok Informatikai tudományok idegen nyelvű folyóiratközlemény hazai lapban
Megjelenés:Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös N ominatae Sectio Computatorica. - 26 (2006), p. 159-170. -
További szerzők:Sztrik János (1953-) (informatikus, matematikus)
Internet cím:Intézményi repozitóriumban (DEA) tárolt változat
Borító:

3.

001-es BibID:BIBFORM038732
Első szerző:Bérczes Tamás (informatikus)
Cím:The impact of multimedia traffic on the performance of proxy cache server / Bérczes Tamás, Sztrik János, Kim Che-soong
Dátum:2005
Tárgyszavak:Műszaki tudományok Informatikai tudományok idegen nyelvű folyóiratközlemény hazai lapban
Megjelenés:Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio Computatorica. - 25 (2005), p. 153-169. -
További szerzők:Sztrik János (1953-) (informatikus, matematikus) Kim Chesoong
Internet cím:Szerző által megadott URL
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

4.

001-es BibID:BIBFORM078763
Első szerző:Burai Pál (matematikus)
Cím:On symmetry of Makó-Páles means / Pál Burai, Justyna Jarczyk
Dátum:2018
ISSN:0138-9491
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény hazai lapban
Makó-Páles mean
Megjelenés:Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae Sectio Computatorica. - 47 (2018), p. 173-177. -
További szerzők:Jarczyk, Justyna
Pályázati támogatás:OTKA K-111651
OTKA
Internet cím:Szerző által megadott URL
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

5.

001-es BibID:BIBFORM104347
Első szerző:Čuprunov, Aleksej
Cím:Poisson limit theorems for the generalized allocation scheme / Alexey Chuprunov, István Fazekas
Dátum:2019
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény külföldi lapban
folyóiratcikk
Poisson distribution
power series distribution
limit theorem
generalized scheme of allocations
Megjelenés:Annales Universitatis Scientiarum Budapestinensis, Sectio Computatorica. - 49 (2019), p. 77-96. -
További szerzők:Fazekas István (1954-) (matematikus, informatikus)
Pályázati támogatás:EFOP-3.6.3-VEKOP-16-2017-00002
EFOP
Internet cím:Szerző által megadott URL
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

6.

001-es BibID:BIBFORM104491
Első szerző:Fazekas István (matematikus, informatikus)
Cím:Limit theorems for contaminated runs of heads / István Fazekas, Michael Ochieng Suja
Dátum:2021
Megjegyzések:The classical coin tossing experiment is studied. Limit theorems are obtained concerning the head-runs containing certain number of tails. It is proved that the limit of the number of those runs of length n which contain at most T tails is compound Poisson. Accompanying distributions are obtained for the length of the longest head-runs containing at most T tails. To this end a two parameter family of accompanying distributions is offered.
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény hazai lapban
folyóiratcikk
coin tossing
head-run
contaminated run
limit distribution
Poisson distribution
Megjelenés:Annales Universitatis Scientiarum Budapestinensis, Sectio Computatorica. - 52 (2021), p. 131-146. -
További szerzők:Suja Michael Ochieng (1977-) (Matematikus)
Pályázati támogatás:EFOP-3.6.3-VEKOP-16-2017-00002
EFOP
Internet cím:Szerző által megadott URL
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

7.

001-es BibID:BIBFORM007239
Első szerző:Hajdu András (matematikus, informatikus)
Cím:Choosing appropriate distance measurement in digital image segmentation / A. Hajdu, J. Kormos, B. Nagy, Z. Zörgő
Dátum:2004
ISSN:0138-9491
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény hazai lapban
Megjelenés:Annales Universitatis Scientarium Budapestinensis de Rolando Eötvös Nominatae. Sectio Computatorica. - 24 (2004), p. 193-208. -
További szerzők:Nagy Benedek (1973-) (informatikus, matematikus) Zörgő Zoltán Kormos János (1952-2015) (matematikus)
Internet cím:elektronikus változat
Borító:

8.

001-es BibID:BIBFORM037367
Első szerző:Kádek Tamás (programtervező matematikus)
Cím:Press-ready deduction trees in classical logic using point-plus-expressions / Kádek Tamás
Dátum:2012
Megjegyzések:The LATEX system is widely used in scientific journals with syntactically rich mathematical expressions. It is suitable not only for high-quality press-ready production, but also it can be applied for the development of dynamic presentations and learning materials containing many nice formulas. The need to construct numerous derivations using Gentzen style sequent calculus, gives the idea to automatize the process (which was implemented in the GenTreeCad application). The point-plus-expressions show, how to use an existing derivation to produce different solutions by di erent theorem proving methods.In this artice, we try to demonstrate the capability of point-plus-expressions meanwhile we are using them for automatic theorem proving. We want to show { using propositional logic { how we could take the advantages of the connection between the resolution and it's dual one, then the connection between sequent calculus and the tableau method as well.
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény hazai lapban
mathematical logic
mechanical theorem proving
Megjelenés:Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio Computatorica 37 (2012), p. 229-238. -
Pályázati támogatás:TÁMOP-4.2.2/B-10/1-2010-0024
TÁMOP
Internet cím:Szerző által megadott URL
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

9.

001-es BibID:BIBFORM008136
Első szerző:Pásztor Varga Katalin (matematikus)
Cím:Many-valued Logic, Mappings, ICF Graphs, Normal Forms / Pásztor Varga Katalin, Várterész Magda
Dátum:2009
Megjegyzések:The role of (canonical) conjunctive and disjunctive normal forms ((C)CNF, (C)DNF) is very important both in classical and many-valued logic. Normal forms have been proved as fundamental tools in automated theorem proving, in electrical engineering and, in the investigation of the complexity of logical mappings
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény hazai lapban
many-valued logic
normal forms
Megjelenés:Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Section Computatorica. - 31 (2009), p. 185-202. -
További szerzők:Várterész Magdolna (1954-) (informatikus, matematikus)
Internet cím:elektronikus változat
Borító:

10.

001-es BibID:BIBFORM012765
Első szerző:Sztrik János (informatikus, matematikus)
Cím:Tool supported performability investigations of heterogeneous finite-source retrial queues / J. Sztrik, C. S. Kim
Dátum:2010
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény hazai lapban
Megjelenés:Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Section Computatorica. - 2010 : 32 (2010), p. 201-220. -
További szerzők:Kim Chesoong
Pályázati támogatás:TÁMOP-4.2.1/B-09/1/KONV-2010-0007
TÁMOP
Új generációs hálózatok és számítási alkalmazások fejlesztése
Internet cím: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.