Projektek

61 - 70 | 88 projekt
Projekt neve Csökkenő rendezés Intézmény Vezető
Optimization of WSNs by Formal Methods MTA Számítástechnikai és Automatizálási Kutatóintézet Dr. Kovásznai Gergely

Szenzorhálózatokhoz generálunk maximális élettartamot lehetővé tevő ütemezést, miközben a hálózatra vonatkozó bizonyos biztonsági kikötéseket nem sértjük meg.

Az optimális ütemezést OMT (Optimization Modulo Theories) szolverek segítségével generáljuk. Saját OMT szolverünket pedig ezek futási eredményeivel vetjük össze.

A szenzorhálózatok ütemezésén kívül egyéb klasszikus optimalizálási feladatokkal is teszteljük a szolvereket, pl. hátizsák probléma, minimális feszítőfa.

Eddigi cikkeink a témában:

Ormoshegyi Tamás diplomamunka MTA Számítástechnikai és Automatizálási Kutatóintézet Horváth Gergely

Ormoshegyi Tamás diplomamunkája, intenzív optimalizációs számítások Fico Xpress segítségével

Pletyka, reputáció és kooperáció: A társadalmi rend informális építőkövei MTA Társadalomtudományi Kutatóközpont Számadó Szabolcs

A projektben a kommunikáció és a reputációs rendszerek evolúcióját és evolúciós stabilitását vizsgáljuk koopertaív szituációk kontextusában. Fő kérdésünk, hogy ezek a kommunikációs reputációs rendszerek mikor járulnak hozzá a kooperativitás növekedéséhez.

Proof of concept - eegR in the cloud Kognitív Idegtudományi és Pszichológiai Intézet Tóth Dénes

A saját fejlesztésű, elektrofiziológiai adatok elemzésére, R nyelven írt eegR csomagot (https://github.com/tdeenes/eegR) a későbbiekben szeretném felhőből futtatható alkalmazássá fejleszteni. Első lépésként tesztelni szeretném az MTA Cloud-ban a különböző csomagok telepíthetőségét, használhatóságát, az elemzés skálázhatóságát, párhuzamosítási technikák hatékonyságát, stb.

ProteinProspector Központi Laboratóriumok Medzihradszky F. Katalin

A ProteinProspector egy adatbázislekereső, amely elengedhetetlen tömegspektrometriai alapú proteomikai analízisekhez.

Rádiósugárzó aktívgalaxis magok rádióintereferométeres adatainak feldolgozása Konkoly Thege Miklós Csillagászati Intézet Gabányi Krisztina

Rádiósugárzó aktívgalaxis magok (active galactic nuclei, AGN) rádióintereferométeres adatainak feldolgozása és kiértékelése Common Astronomy Software Applications (CASA, https://casa.nrao.edu/) adatredukáló szoftverrel. Egyrészt a brit e-Multi-Element Remotely Linked Interferometer Network (eMERLIN, http://www.e-merlin.ac.uk/ ) nagy vörös eltolódású rádiótartományban fényes AGN-ekról készült cm-es hullámhosszakon készült méréseit, másrészt az amerikai Karl G.

RECENS HuTongue spontán beszéd szövegkorpusz létrehozása és elemzése MTA Társadalomtudományi Kutatóközpont Takács Károly

A projekt célja egy magyar nyelvű, spontán interakció alapú szövegkorpusz létrehozása és elemzése. A kutatás fő kérdései az informális kommunikáció mibenlétére és strukturális beágyazottságára vonatkoznak. A projektben először magas minőségben, egyedi hangcsatornákon rögzített hangfile-ok kerülnek leiratozásra.

http://recens.tk.mta.hu/

Repository development MTA Támogatott Kutatócsoportok Irodája Dr. Palkó Gábor

Az ELTE BTK Digitális Bölcsészet Központ (elte-dh.hu) repozitóriumot fejleszt a bölcsészkaron folyó kutatások adatainak kereshetővé tételére és közzétételére.

Security Scanning Cluster MTA Számítástechnikai és Automatizálási Kutatóintézet Rigó Ernő

A projekt célja a biztonsági pásztázás és ellenőrzés (security scanning) párhuzamosíthatósági lehetőségeinek kutatása, illetve a cloud környezetben való futtatás automatizálási lehetőségeinek (orchestration) vizsgálata.

Structured Robust Control Desing Against Mixed Uncertainty MTA Számítástechnikai és Automatizálási Kutatóintézet Patartics Bálint

Az utóbbi időben nagy hangsúlyt kapott a strukturált szabályozótervezés kutatá­sa, amellyel az elméleti eredmények ipari alkalmazásokban felhasználhatóvá vál­nak. Alkalmazásával lehetőség nyílik PID vagy egyéb könnyen implementálható szabályozók optimális hangolására.