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

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

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.

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

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.

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.

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.

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.

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.

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.