Repository of the Academy's Library

Items where Subject is "Q Science / természettudomány > QA Mathematics / matematika > QA76 Computer software / programozás"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Item Type
Jump to: A | B | C | D | F | H | K | L | M | P | R | V
Number of items at this level: 36.

A

Alberti, Gábor and Balogh, Katalin and Kleiber, Judit and Viszket, Anita (2006) GeLexi terv (lexikalista nyelvtan és diskurzusreprezentációs szemantika számítógépes implementációval) = GeLexi project (lexicalist grammar and discourse representation semantics with computational implementation). Project Report. OTKA.

Arató, Péter and Csák, Bence and Kalmár, Péter and Kandár, Tibor and László, Zoltán and Mann, Zoltán Ádám and Mohr, Zoltán and Orbán, András (2007) Új rendszerszintű szintézis algoritmusok kutatása a software fejlesztés elveinek és módszertanának kiterjesztése révén = Research for new algorithms in system level synthesis by extending the principles and methodology of software development. Project Report. OTKA.

B

Balázs, István and Déri , Zoltán and Lobogós , Katalin and Muha, Lajos and Nyíri , Géza and Sneé, Péter and Váncsa, Julianna (2008) Informatikai Biztonság Irányításának Vizsgálata (IBIV). Közigazgatási Informatikai Bizottság ajánlásai, 1-3 (25). Miniszterelnöki Hivatal, Budapest.

Benkő, János and Balogh, Antal and Husti, István and Nagy, Zita and Németh, Csaba and Soós, Pál and Szüle, Zsolt (2007) Számítógépes növénytermelési információs és tervezési rendszer fejlesztése = Computer aided information and planning system development in plant production. Project Report. OTKA.

Berkes, Zoltán and Déri, Zoltán and Krasznay, Csaba and Muha, Lajos (2008) Informatikai Biztonsági Irányítási Rendszer (IBIR). Közigazgatási Informatikai Bizottság ajánlásai, 1-1 (25). Miniszterelnöki Hivatal, Budapest.

Bodlaki, Ákos and Csernay, Andor and Mátyás , Péter and Muha, Lajos and Papp , György and Vadász, Dezső (1996) Informatikai Rendszerek Biztonsági Követelményei. Miniszterelnöki Hivatal Informatikai Tárcaközi Bizottság ajánlásai (12). Miniszterelnöki Hivatal, Budapest. ISBN 963-03-4264-2

Boha, Roland and Tóth, Brigitta and Gaál, Zsófia Anna and Kardos, Zsófia and File, Bálint and Molnár, Márk (2013) Számolási teljesítmény spektrális, fázisszinkronizációs és gráfelméleti EEG-jellemzői. IDEGGYÓGYÁSZATI SZEMLE / CLINICAL NEUROSCIENCE, 66 (5-6). pp. 175-183. ISSN 0019-1442

C

Csallner, András Erik and Csébfalvi, Anikó and Csendes, Tibor and Kocsis, András Balázs and Kovács, Zoltán (2008) Globális optimalizálási problémák ellenőrzött pontosságú megoldása mérnöki alkalmazásokban = Solving Global Optimization Problems with Validated Accuracy in Engineering Applications. Project Report. OTKA.

D

Devecseri, Viktor and Raj, Levente and Fekete, Róbert Tamás (2013) Comparison of different multiple camera calibration methods. In: XVI International PhD Workshop OWD, 18-21 October 2014, Wisla, Poland.

Deák, István and Bukszár, József and Fábián, Csaba and Hujter, Mihály and Mádi-Nagy, Gergely and Prékopa, András and Szántai, Tamás (2009) Nemkonvex és diszkrét sztochasztikus programozási feladatok megoldása és alkalmazása = Solution and applications of nonconvex and discrete stochastic programming problems. Project Report. OTKA.

Déri, Zoltán and Lobogós, Katalin and Muha, Lajos and Sneé, Péter and Váncsa, Julianna (2008) Informatikai Biztonság Irányítási Követelmények (IBIK). Közigazgatási Informatikai Bizottság ajánlásai, 1-2 (25). Miniszterelnöki Hivatal, Budapest.

F

Fodor, Nándor (2007) A 4M modell továbbfejlesztése különös tekintettel nedvességforgalmi moduljára = Further development of the 4M model focusing on its water balance module. Project Report. OTKA.

H

Hajdu, Lajos and Fazekas, Attila and Hajdu, András and Nagy, Benedek (2007) Diszkrét módszerek a digitális képfeldolgozásban = Discrete methods in digital image processing. Project Report. OTKA.

Herdon, Miklós and Kovács, György and Tamás, János and Várallyai, László (1996) Térinformatikai oktatás és infrastruktúrafejlesztés a DATE-n. In: Informatika a felsőoktatásban 96 - Networkshop 96. Debreceni Egyetem, Debrecen, pp. 611-617. ISBN 963-0470-25-X

Herdon, Miklós and Szilágyi, Róbert (2002) Internet alapú döntéstámogató rendszerek. In: A mezőgazdasági termelés és erőforrás-hasznosítás ökonómiája = Economy of use for agricultural production and resources: VIII. Nemzetközi Agrárökonómiai Tudományos Napok = 8th International Agrieconomic Scientific Days. Károly Róbert Főiskola, Gyöngyös, pp. 328-333.

Horváth, Zoltán and Csörnyei, Zoltán and Kozma, László and Kozsik, Tamás and Pásztorné dr. Varga, Katalin and Tejfel, Máté and Zsók, Viktória (2007) Elosztott funkcionális programok helyessége = Verification of distributed functional programs. Project Report. OTKA.

K

Kató, Zoltán (2007) Markov mezők a képmodellezésben, alkalmazásuk az automatikus képszegmentálás területén = Markovian Image Models: Applications in Unsupervised Image Segmentation. Project Report. OTKA.

Kim, Hyunju and Toroczkai, Zoltán and Erdős, Péter and Miklós, István and Székely, László A. (2009) Degree-based graph construction. JOURNAL OF PHYSICS A: MATHEMATICAL AND THEORETICAL, 42 (39). pp. 1-10. ISSN 1751-8113

Kollár, István and Dabóczi, Tamás and Sujbert, László (2009) Modell alapú digitális jelfeldolgozás = Model Based Digital Signal Processing. Project Report. OTKA.

Krasznay, Csaba and Muha, Lajos and Rigó, Ernő and Szigeti, Szabolcs (2008) Informatikai Biztonsági Iránymutató Kis Szervezeteknek (IBIX). Közigazgatási Informatikai Bizottság ajánlásai, 3 (25). Miniszterelnöki Hivatal, Budapest.

L

Lantos, Béla (2006) Matlab programfejlesztés autópálya hálózat irányítására. Algoritmus, szoftver és dokumentáció. Project Report. -. (Unpublished)

Lantos, Béla (2007) Stand-alone C programfejlesztés gépjármű ütközésmentes pályatervezésére és prediktív irányítására mérhető állapotok esetén. Project Report. -. (Unpublished)

M

Majzik, István and Csertán, György and Huszerl, Gábor and Pataricza, András and Pintér, Gergely and Varró, Dániel (2007) Önellenőrzés és futásidejű verifikáció számítógépes programokban = Self-checking and run-time verification in computer programs. Project Report. OTKA.

Meszéna, Zsolt and Farkas, Eszter (2007) Molekulatömeg-eloszlás számítása és tervezése = Molecular weight distribution calculation and design. Project Report. OTKA.

Molnárka, Győző and Farzan, Ruszlán and Gáspár, Csaba and Harmati, István and Horváth, András and Horváth, Zoltán and Kiss, Béla and Kóczy T., László and Malczovich, Brigitta and Muresan, Leila and Pákozdiné Miletics, Edit and Takács, Márta (2007) Soft computing számítógépes realizálása numerikus algoritmusokkal = Soft computing implementation by numerical algorithms. Project Report. OTKA.

Muha, Lajos (2008) Az informatikai biztonság egy lehetséges rendszertana. BOLYAI SZEMLE, 17 (4). pp. 137-156. ISSN 1416-1443

Muha, Lajos (2003) Az informatikai biztonság felügyeleti és tanúsító intézményrendszere. In: HiSec 2003 konferencia, 2003.10.28-2003.10.29, Budapest.

Muha, Lajos (2007) Az informatikai biztonság oktatása. In: Felsőoktatási matematikai-, fizika- és számítástechnika oktatók XXXI. Konferenciája. Dunaújvárosi Főiskola Kiadói Hivatala, Dunaújváros, pp. 202-205. ISBN 978-963-216-270-6

Muha, Lajos (2006) Informatikai biztonsági szabványok és irányelvek. In: IX. Országos Neumann Kongresszus, 2006.06.26-2006.06.29, Győr.

Muha, Lajos (2008) Magyar Informatikai Biztonsági Keretrendszer (MIBIK). Közigazgatási Informatikai Bizottság ajánlásai, 1 (25). Miniszterelnöki Hivatal, Budapest.

Muha, Lajos and Bodlaki, Ákos (1996) Az informatikai biztonság tanúsítási és minősítési eljárásrendjének terve. Manual. Miniszterelnöki Hivatal, Budapest.

P

Palla, Gergely and Farkas, Illés (2009) Komplex hálózatok vizsgálata = Studies of complex networks. Project Report. OTKA.

Popper, György and Gáspár, Zsolt and Kovács, Flórián and Kurutzné dr. Kovács, Márta and Németh, Róbert and Paláncz, Béla and Tarnai, Tibor (2007) Mechanikai problémákból származó nemlin. egyenletrendszerek elemzése és megoldása a MATHEMATICA integrált rendszer alkalmazásával. = Analysis and solving sets of nonlinear equations originated from mechanics using the integrated system MATHEMATICA. Project Report. OTKA.

R

Rozványi, György Iván and Kaliszky, Sándor and Lógó, János and Niels, Olhoff and Pomezanski, Vanda (2007) Szerkezetek topológiai optimalizálásának új elméletei és módszerei számítástechnikai nehézségek megoldására = Topology optimization of structures - new theories and methods for overcoming computational difficulties. Project Report. OTKA.

V

Vicsi, Klára and Gordos, Géza and Naszódi, Mátyás and Tatai, Péter (2007) Magyar nyelvű kötött, közép szótáras, folyamatos beszédfelismerő rendszer megvalósítási megoldásainak kutatása = Research on the construction of continuous speech recognizer for a Hungarian middle sized vocabulary. Project Report. OTKA.

Váncza, József and Kis, Tamás and Kovács, András and Márkus, András (2007) Új projekt ütemezési módszerek a termelés-tervezés támogatására = New project scheduling approaches for production planning. Project Report. OTKA.

This list was generated on Mon Apr 21 06:06:54 2014 CEST.