natgillin/translations-raw huggingface dataset:
The thesis consists of two main topics: the utilization of symbolic execution for runtime error detection and the investigation of practical refactoring activity.
A disszertáció két témát ölel fel: szimbolikus végrehajtás felhasználását futásidejű hibák detektálása céljából, valamint refaktoring tevékenységek vizsgálatát a gyakorlatban.
To make the detection of runtime errors more accurate, we propose a novel algorithm that keeps track of the conditions above symbolic variables during the analysis.
Hogy a potenciális futásidejű hibák detektálását hatékonyabbá tegyük, egy olyan új algoritmust javasolunk, amely követi a szimbolikus változók közötti összefüggéseket a szimbolikus végrehajtás alatt.
However, software code quality is very important, because a too complex, hard-to-maintain code results in more bugs, and makes further development more expensive.
Másrészről a forráskód minősége egy nagyon fontos tényező, mert egy túl komplex és nehezen karbantartható kód több programhibához és nehezebben fejleszthető rendszerhez vezet.
It is able to expose defects that would be very difficult and timeconsuming to find through manual testing, and would be exponentially more costly to fix if they were not detected until runtime.
A módszer képes olyan programhibákat megtalálni, amiket rendkívül nehéz és költséges lenne teszteléssel detektálni, valamint exponenciálisan növekedne a javítás költsége is, amennyiben nem fedeznénk fel ezeket a problémákat a program futtatása előtt.
The dataset consists of refactorings and source code metrics of open-source Java systems.
Az adatbázis nyílt forrású Java rendszerekben talált refaktoringokat és forráskód metrikákat tartalmaz.
By getting answers to these questions, we could understand how developers refactor code in practice, which would help propose new methods and tools for them that are aligned with their current habits leading to more effective software engineering methodologies in the industry.
Ha megválaszolnánk ezeket a kérdéseket és megértenénk, hogy a fejlesztők hogyan alkalmaznak forráskód refaktoringot a gyakorlatban, akkor olyan módszereket és eszközöket fejleszthetnénk, amelyek hatékonyabbá tudnánk tenni az ipari szoftverfejlesztést.
We subjected the dataset to an analysis of the effects of code refactoring on source code metrics and maintainability, which are primary quality attributes in software development.
Felhasználásával a refaktoringok forráskód metrikákra, valamint a karbantarthatóságra gyakorolt hatását vizsgáltuk, amik fontos minőségi jellemzők a szoftverfejlesztésben.
To help further empirical investigations of code refactoring, we proposed a publicly available refactoring dataset.
Hogy támogassuk a későbbi kutatását a forráskód refaktoringok gyakorlati alkalmazásának, elkészítettünk egy publikusan elérhető refaktoring adatbázist.
In this work, we focus on runtime error detection (such as null pointer dereference, bad array indexing, division by zero, etc.) by discovering critical execution paths in Java programs.
Az értekezésben futásidejű programhibák detektálására fókuszálunk (mint például null pointer dereferencia, tömb túlindexelés, nullával való osztás, stb.)
It is a big challenge in software engineering to produce huge, reliable and robust software systems.
Nagyméretű, megbízható és robusztus szoftverrendszerek előállítása a szoftverfejlesztés egy nagy kihívása manapság.
We also investigated the limitations of this state space together with the development of efficient search heuristics.
Emellett megvizsgáltuk, hogy az állapoteret hogyan tudjuk optimálisan korlátozni, továbbá új bejárási algoritmusokat is fejlesztettünk.
Source code refactoring is a popular and powerful technique for improving the internal structure of software systems.
A forráskód refaktoring egy népszerű és hatékony technika programok belső minőségének javítására.
In industry, developers typically have to focus on solving problems quickly.
Az ipari szoftverfejlesztésben a fejlesztőknek tipikusan gyorsan kell jó megoldást adni egy problémára és a forráskód minősége gyakran csak másodlagos az időnyomás miatt.
The main usages of symbolic execution are generating inputs of program failure and high-coverage test cases.
A szimbolikus végrehajtás fő felhasználási területei a magas lefedettséget eredményező tesztinput generálás, valamint olyan inputok generálása, ami programhibához vezet és annak leállását eredményezi.
Our research proposes approaches to handling the aforementioned problem of path explosion by applying symbolic execution at the level of methods.
Az értekezésben a fenti problémára adunk lehetséges megoldást azzal, hogy a szimbolikus végrehajtást metódus szinten végezzük el, azaz a program minden metódusára külön-külön indítunk egy elemzést.
He originally proposed that detecting code smells should be the primary technique for identifying refactoring opportunities in the code.
code smell-ek) kellene, hogy mutassák a refaktoringgal javítandó konstrukciókat.
Morphological, functional and immunomodulatory effects of rosuvastatin and aspirin in cultured microglial cells
A rosuvastatin és az aszpirin morfológiai, funkcionális és immunszabályozó szerepe mikroglia tenyészetekben
Additionally, an inflammatory biomarker, the soluble urokinase-type plasminogen activator receptor (suPAR) was studied in the plasma of SSc patients in relation to the internal organ involvement.
Ezenkívül, egy gyulladásos biomarker, a solubilis urokináz típusú plazminogén aktivátor receptor (suPAR), megjelenését vizsgáltam SSc-s betegek plazmájában a belszervi érintettség függvényében.
The investigation of lymphocyte activation processes and an inflammatory biomarker in autoimmune connective tissue diseases
Sejtaktivációs folyamatok és egy gyulladásos biomarker vizsgálata autoimmun kötőszöveti kórképekben
Over the course of my Ph.D. studies, I investigated alterations in the pattern of leukocyte activation of patients with primary Sjögren’s syndrome (pSS) and systemic sclerosis (SSc) compared to healthy controls.
PhD munkám során primer Sjögren szindrómás (pSS)és szisztémás sclerózisos (SSc) betegekből izolált fehérvérsejtek működési és aktivációs mintázatában jelentkező eltéréseket vizsgáltam.
Sensing mechanisms and individuality of heat stress in mammalian cells
A hőstressz érzékelésének mechanizmusai és individualitása emlős sejtekben
The application of HPLC methods for the preclinical and clinical assessment of neurological disorders
HPLC metodikák alkalmazása neurológiai megbetegedések preklinikai és klinikai vizsgálatára
Assessment of memory and executive function in major neuropsychiatric disorders using eye-tracking and neuromodulation
Memória- és végrehajtó funkció vizsgálata major neuropszichiátriai kórképekben szemmozgás-követés és neuromoduláció segítségével
The effects of female sexual hormones on α1- and α2- adrenergic receptor subtypes in the pregnant rat myometrium
A női szexuálhormonok hatásának vizsgálata az α1- és α2-adrenerg receptor altípusok működésére vemhes patkány miometriumban
Tumor cells can adopt the phenotype of stromal cells by cell fusion
Tumorsejtek fenotípus-változása tumor-sztróma sejtfúzió hatására
Characterization of new antinociceptive ligands in rat model: preclinical studies
Új antinociceptiv ligandok jellemzése patkánymodellben: preklinikai vizsgálatok
Hungarian Migration to Mexico between 1901 and 1950
Magyar kivándorlás Mexikóba, 1901-1950
The common points of company law and inheritance law with fragments from austrian law
A társasági jog és az öröklési jog kapcsolódási pontjai osztrák jogi fragmentumokkal
Epidemiological- and antibiotic susceptibility investigation of Hungarian Bacteroides fragilis group clinical isolates
Bacteroides fragilis csoportba tartozó magyarországi klinikai izolátumok epidemiológiai és antibiotikum érzékenységi vizsgálata
Isolation and characterization of Neosartorya fischeri antifungal protein 2 (NFAP2)
A Neosartorya fischeri antifungális protein 2 (NFAP2) izolálása és jellemzése
After a short foreword and introduction, we investigate the problem of swing- ing.
Rövid előszó és bevezetés után a hintázás problémáját vizsgáljuk.
Stabilization and destabilization of the equilibria of the pendulum
Az inga egyensúlyi helyzeteinek stabilizálása és destabilizálása
Introducing the concepts of solutions going away from the origin and ap- proaching to the origin, we give necessary and sufficient conditions in terms of T and ε for the existence of solutions of these types, which yield conditions for the existence of periodic solutions of the equation of motion.
Szükséges és elegendő föltételeket adunk ezek létezésére, és segítségükkel meg- fogalmazzuk a mozgásegyenlet periodikus megoldásainak létét garantáló tételt.
The curves on the param- eter plane corresponding to the 2T- and the 4T-periodic solutions describe the boundaries of the stability zone, so we can specify the exact stability map.
A fázissíkon ezen periodikus meg- oldásoknak megfelelő görbék segítségével a korábbi, becsléssel kapott, stabilitási zónákra vonatkozó eredményeinket pontosítjuk, s így az egzakt stabilitási tér- képet tudjuk elkészíteni.
In the thesis we investigate motions of an excited pendulum about their equilib- ria.
Ezt követően az inga fölső egyensúlyi helyzete körüli mozgásokra koncentrá- lunk.
An earlier published method is improved to the arbitrary inverted pendulum and thanks to this we give a sharper estimate for the stabi- lizability of the upper equilibrium.
Egy korábban megjelent publikáció módszerét kiterjesztve az abban található, az inga fölső egyensúlyi helyzetének stabilizálhatóságáról szóló ered- ményt élesítjük és egyben alkalmazzuk az általános esetre.
Our method is elementary in the sense that instead of dif- ficult calculations of the Floquet Theory - the classical theory of the differential equation with periodic coefficient - simply geometric ideas are applied.
Disszertációm az inga fölső egyensúlyi helyzetének stabilizálhatóságáról, il- letve alsó egyensúlyi helyzetének destabilizálhatóságáról szól, megadva az al- kalmasan választott paramétertartományokban a stabil és instabil zónákat az azokat elválasztó periodikus megoldásokból álló görbék leírása segítségével.
Decision models and soft optimization
Döntési modellek és fuzzy optimalizálás
The „Mystic variable" Constructions of Happiness in Nabokov's works of his Russian Years
A "misztikus változó" (Boldogság-konstrukciók Nabokov orosz korszakának műveiben)
The aim of the investigation is to prove local asymptotic properties of the likelihood function.
A vizsgálódás célja a likelihood függvény lokális aszimptotikus tulajdonságainak bizonyítása.
In the thesis a statistical model of linear stochastic differential equation with time delay is considered.
Az értekezésben lineáris időkésleltetett sztochasztikus differenciálegyenletekkel leírt statisztikai modellt tekintünk.
Asymptotic inference for linear stochastic differential equations with time delay
Lineáris késleltetett sztochasztikus differenciálegyenletek aszimptotikus statisztikai vizsgálata
Synthesis of sterane-condensed nitrogen-containing heterocycles from bifunctional sex hormone derivatives
Szteránvázhoz kondenzált nitrogéntartalmú heterociklusok szintézise bifunkciós nemi hormon származékokból
Multiplatform analysis of herpesvirus transcriptomes
Herpeszvírusok multiplatform analízise
Investigation of shading efficiency of popular urban tree species based on examples from Szeged
Népszerű városi fafajok árnyékolóképességének vizsgálata szegedi példák alapján
Spatiotemporal changes in morphology and bed material budget along the lowland section of River Maros
A morfológia és a mederanyag-egyenleg térbeli és időbeli változása a Maros síksági szakaszán
Comparative analysis of the effect of exogenous SA on light and dark in wild-type and ethylene receptor mutant, Never ripe tomato plants
Exogén SA kezelések fényben és sötétben történő hatásának összehasonlító elemzése vad típusú és etilén receptor mutáns, Never-ripe paradicsom növények leveleiben
The metabolism of PAs is regulated not just by SA but also by the gaseous phytohormone ethylene (ET), which is a key regulator in plant growth and developmental process as well as biotic stress response.
A PA-ok mennyiségét és metabolizmusát azonban nemcsak az SA, hanem a biotikus stresszfolyamatokban ugyancsak fontos szerepet játszó, gáz halmazállapotú hormon, az etilén (ET) is nagymértékben befolyásolja.
Polyamines (PAs) are low molecular weight organic compounds acting as signal molecules by directly or indirectly involved in the biotic stress response pathway.
A poliaminok (PA) kis molekulatömegű, biológiailag aktív molekulák, melyek szignálmolekulaként közvetlenül vagy a katabolizmusuk által közvetett módon kulcsfontosságú szereppel bírnak a biotikus stresszfolyamatokban.
Furthermore, ET and PAs may be an antagonistic relationship because they share a common biosynthetic precursor.
A PA-ok és az ET között ugyanis kompetitív kapcsolat áll fenn, mivel mindkét molekula bioszintézisének közös prekurzora az S-adenozil-L-metionin (SAM).
The cellular response to biotic stress is an oxidative and nitrosative burst involving production of reactive oxygen species (ROS) and nitric oxide (NO).
A növényeket érintő stressztényezők közül az egyik legfontosabb a biotikus stressz, amelyet különböző élőlények úgy, mint baktériumok, gombák és fertőző ágensek (vírusok) válthatnak ki, megnövelve a sejten belüli reaktív oxigénformák (ROS) és nitrogén-monoxid (NO) mennyiségét.
However, plant immune defence also depends on the environmental factors such as light.
A fénynek ugyanis fontos szerepe van a növényi immunválasz kiváltásában.
Characterization of toxicologically significant efflux transporters and their interactions with drugs
Toxikológiailag szignifikáns efflux transzporterek jellemzése és azok gyógyszerekkel való kölcsönhatása
Non-Rigid Registration of Visual Objects
Vizuális objektumok affin és nem-lineáris regisztrációja
Characterization of optically active perovskite electrodes
Optikailag aktív perovszkit elektródok vizsgálata
Training Methods for Deep Neural Network-Based Acoustic Models in Speech Recognition
Tanítási módszerek mély neuronhálós akusztikus modellekhez beszédfelismerésben
Effects of 3-nitropropionic acid on the cortical and peripheral nervous activity in rats
A 3-nitropropionsav hatása a patkány kortikális és perifériás idegrendszeri aktivitására
Development and optimization of high intensity solid state-excimer hybrid laser systems and their application for short pulse material processing
Nagy intenzitású hibrid szilárdtest-excimer lézerrendszerek fejlesztése illetve optimalizálása, és alkalmazásuk a rövidimulzusú anyagmegmunkálás területén
Nonlinear methods for spatial and temporal noise reduction in ultrashort pulse optical systems
Lézerimpulzusok tér és időbeli tulajdonságainak javítása rövid impulzusú optikai rendszerekben
Methodological aspects of the reliability of statistics on economic flows, as a sensitive issue in the EU harmonisation process
A valós gazdasági folyamatok statisztikai mérhetősége, különös tekintettel az EU csatlakozásra
Applications of the sol-gel method for the synthesis of novel catalytic materials
A szol-gél módszer néhány alkalmazása új katalizátorok előállítására
Width-type graph parameters
Szélesség típusú gráfparaméterek
Design and development of nucleic acid amplification-based assays for the detection and characterization of plant viruses
Nukleinsav amplifikáción alapuló eljárások tervezése és fejlesztése növényi vírusdiagnosztikai alkalmazásokhoz
Orientation and rotation of trapped microparticles in optical tweezers
Mikroszkopikus testek orientációja és forgása lézercsipeszben
Regulation of guard cell ion channels; Investigation of pH-dependent regulation through the activity of the simplest K+channel
A sztómazárósejtek ioncsatorna-működésének szabályozása; A pH-függő szabályozás vizsgálata a legprimitívebb K+-csatorna modellrendszerében
Quantum teleportation on generic Hilbert spaces and in optics
Kvantumteleportáció általános Hilbert-terekben és az optikában
Modelling of femtosecond opticl setups
Femtoszekundumos optikai elrendezések modellezése
Control of the stress responses in auxin heterotrophic and autotrophic tobacco tissue cultures
A stresszválasz szabályozása auxin autotróf és heterotróf dohány szövettenyészetekben
Phase modulation of laser pulses in two-pass second-harmonic generation and by propagation in a resonant medium
Lézerimpulzusok fázismodulációja kétutas frekvenciakétszerezésnél, valamint rezonáns közegben való terjedésnél
Identification of a novel function played by Importin-α2 protein during Drosophila oogenesis
Az Importin-alpha 2 fehérje új funkciójának azonosítása a Drosophila melanogaster petefejlődése során
Hydrogenase enzymes in Methylococcus Capsulatus (BATH)
Hidrogenáz enzimek vizsgálata Methylococcus Capsulatus (BATH)-ban
Frequency of developmental defects on the skull and the axial skeleton on skeletal collections from the Middle ages and the Avar period
A koponya és az axiális váz fejlődési rendellenességeinek gyakorisága avar kori és középkori temetők embertani leletein
Functional investigation of an RNA binding protein with methyl-transferase domain
Egy metiltranszferáz domént tartalmazó RNS-kötő fehérje funkcionális vizsgálata
Stress response in fish: Identification and analysis of the expression pattern of hsp70 and metallothionein genes in common carp (Cyprinus carpio)
Stresszválasz halakban: hsp70 és metallothionein gének azonosítása és expressziójuk vizsgálata pontyban (Cyprinus carpio)
Signal transduction cascades controlling the expression of NiFe hydrogenases and photosynthetic apparatus in Thiocapsa roseopersicina
NiFe hidrogenázok és fotoszintetikus rendszer kifejeződését szabályozó szignál transzdukciós mechanizmusok Thiocapsa roseopersicina-ban
Hybrid modelling of elementary processes of cold cathode glow discharges
Hidegkatódos ködfénykisülések alapjelenségeinek hibrid modellezése
Mechanism of the ArF ablation of graphite investigated by fast photography, atomic force microscopic and particle mobility measurements
A grafit ArF lézeres ablációjának mechanizmusa atomi erő mikroszkópos, gyorsfényképezéses és részecske mobilitás méréses vizsgálatok tükrében
An ESR study of some copper(II) - bioligand equilibrium systems in aqueous solution by the two-dimensional evaluation method: microspeciation and coordination modes
Bioligandum - réz(II) egyensúlyi rendszerek ESR-spektroszkópiai vizsgálata vizes oldatban kétdimenziós értékelő módszerrel: mikroeloszlás és koordinációs módok
The role of the ENCANDER OF ZESTE protein in establishing the epigenetic repression in Drosophila melanogaster
Az Enhancer of zeste fehérje szerepe az epigenetikus represszió létrehozásában Drosophila melanogasterben
Building a model based on the EUROSEM soil erosion model
Talajeróziós modellépítés a EUROSEM modell nyomán
Taxonomic and faunistic studies of big-headed flies (Diptera: Pipunculidae)
Csupaszemlegyek taxonómiai és faunisztikai kutatása (Diptera: Pipunculidae)
New results achieved upon the construction of the femtosecond titanium-sapphire laser system at University of Szeged
A szegedi femtoszekundumos titán-zafír lézerrendszer építése során elért eredmények
Dendritic information processing: placement and effect of GABAergic synapses, gap junctions, and voltage-gated ion channels on cortical neurons
Dendritikus információ feldolgozás: GABA-erg szinapszisok, gap junction-ok és feszültségfüggő ioncsatornák elhelyezkedése és hatása agykérgi neuronokon
Reliable Global Optimization Methods for Constrained Problems and Their Application for Solving Circle Packing Problems
Garantált megbízhatóságú globális optimalizálási módszerek továbbfejlesztése korlátozásos feladatokra és alkalmazásuk körpakolási feladatok megoldása esetén
Investigation of exchange and correlation functionals in Density Functional Theory in case of ground and excited state systems
Kicserélődési és korrelációs funkcionálok vizsgálata a sűrűségfunkcionál elméletben alap és gerjesztett állapotú rendszerek esetén
Molecular characterization of the Drosophila 26S proteasome: subunit composition, subunit rearrangements in the regulatory complex and identification of O-glycosylated subunits
A Drosophila melanogaster 26A proteaszóma alegységösszetétele, alegységszerkezet-változásai és O-glikozilációi
Analysis of border cell migration using systematic gain-of-function studies in Drosophila melanogaster
A sejtvándorlásban szerepet játszó gének azonosítása funkciónyeréses mutánsok létrehozása és analízise révén Drosophila melanogasterben
Investigation of the effect of H2S on the catalytic transformation of carbon-dioxide and methane
A H2S hatása a CO2 és a CH4 katalitikus átalakításában
Genetic and biochemical studies on the gene encoding proteasomal subunit S5a/Rpn10/p54 in Drosophila melanogaster
A 26S proteaszóma p54 alegységét érintő deléció előállítása és jellemzése Drosophila melanogaster-ben
Hsp70 chaperone homolog in Synechocystis PCC6803: the role of DnaK2 in defence a gainst different stresses and in modulation of the physical state of tilakoid membranes
Hsp70 chaperone homológ Synechocystis PCC6803-ban: a DnaK2 szerepe a stresszhelyzetek kivédésében és a tilakoid membránok fizikai állapotának szabályozásában
Direct and indirect chromatographic separation of stereoisomers of amino acids
Aminosav sztereoizomerek közvetett és közvetlen folyadékkromatográfiás elválasztása
Functional characterisation of a transcription factor component of phytochrome fotoreceptor controlled signalling pathways
A fitokróm fotoreceptorok irányította jelátvitelben szerepet játszó transzkripciós faktor funkcionális vizsgálata
Reconstruction of hydrocarbon-bearing paleofluid migration in the basement of the Great Hungarian Plain, in the area of the Szeghalom dome
Szénhidrogén-tartalmú paleofluidum-migráció nyomainak rekonstrukciója az Alföld kristályos aljzatában, a Szeghalom-dóm területén
Mediation in the ADR-system with specific regard to its role in labour law in Hungary
A mediáció az alternatív vitamegoldás rendszerében, különös tekintettel munkajogi szerepére
Evaluation and mapping of spatial and temporal distribution of the urban heat island in Szeged
A Szeged városi hősziget területi és időbeli eloszlásának térképezése és elemzése
The role of gap junctions in cardioprotection against the ischaemia and reperfusion-induced severe ventricular arrhythmias
A réskapcsolatok szerepének a vizsgálata korai és késői antiaritmiás hatás kialakításában
The role of viral and immunological factors in congenital cytomegaloviros infections
A congenitális cytomgalovírus fertőzés pathomehanizmusában szerepet játszó virális és immunológiai faktorok
The nature and development of proving ability
A bizonyítási képesség értelmezése és fejlődésének jellemzői iskoláskorban
Towards understanding hydrogenase maturation in Thiocapsa roseopersicina
Hidrogenáz érés a Thiocapsa roseopersicina baktériumban
Investigation of Dynamical and Static Operation Modes of Atomic Force Microscope
Atomi erő mikroszkóp dinamikus és statikus üzemmódjainak vizsgálata
Petrography, geochemistry and petrogenesis of the basic subvolcanic rocks in the villány mts
A Villányi-hegység bázisos teléreinek petrográfiája, geokémiája és petrogenetikája
Detection of charge rearrangements of membrane proteins in three dimensions
Membránfehérje-töltésátrendeződések detektálása három dimenzióban
Nitric oxide in membranes and aqueous media: spin trapping and interaction with spin labels.
Nitrogén-monoxid membránokban és vizes közegben: spincsapdázása és spinjelzőkkel való kölcsönhatása.
Dependency analysis and learning methods of declarative languages
Deklaratív nyelvek függőségi analízise és tanulása
Photoelectric responses of bacteriorhodopsin
Bakteriorodopszin intermedierek fotoelektromos válaszai
Taxonomic revision of problematic west-african salticid genera (Araneae: Salticidae)
Problematikus Nyugat-Afrikai ugrópók nemek (Araneae: Salticidae) taxonómiai revíziója
Comparsion of the role of invasive alien plants in open sand grasslands
Inváziós növények szerepének összehasonlító vizsgálata nyílt homokgyepekben
Enviromental effects of groundwater withdrawal in south Nyírség
Felszín alatti víztermelés környezeti hatásai a Dél-Nyírség példáján