Static Analysis for Divide-and-Conquer Pattern Discovery

Routines implementing divide-and-conquer algorithms are good candidates for parallelization. Their identifying property is that such a routine divides its input into "smaller" chunks, calls itself recursively on these smaller chunks, and combines the outputs into one. We set up conditions which characterize a wide range of d&c routine definitions. These conditions can be verified by static program analysis. This way d&c routines can be found automatically in existing program texts, and their parallelization based on semi-automatic refactoring can be facilitated. We work out the details in the context of the Erlang programming language

Szénhidrátok dehidratációja és hidrogénezése vízoldható katalizátorok jelenlétében = Dehydration and Hydrogenation of Carbohydrates in the Presence of Water Soluble Catalysts

A szénhidrátokból előállítható gamma-valerolakton (GVL) ismert fizikai és kémiai tulajdonságai, valamint a munkánk során meghatározott alacsony gőznyomása, kültéri körülmények közötti kiemelkedő stabilítása, jó égési és üzemanyag jellemzői, alacsony toxikussága és kellemes illata különösen alkalmassá teszi arra, hogy fenntartható folyadékként tárolják, szállítsák és energia és/vagy szénalapú termékek termelésére használják. Homogén vagy heterogén katalitikus reakciók megfelelő kombinációjával sikerült szacharózból kiindulva egyre kevesebb oxigént tartalmazó C5-oxigenátokat (levulinsav, GVL, 1,4-butándiol, 2-metil-THF) és végül alkánok keverékét előállítani. A szénhidrátok savak jelenlétében lejátszódó katalitikus dehitratálása során képződő levulin- és hangyasav keverékéből a ruténium alapú Shvo-katalizátor jelenlétében 100%-os szelektivítással képződik a GVL. Ez különösen azért fontos, mert kimutattuk hogy a levulinsav molekuláris hidrogénnel történő hidrogénezésével előállított GVL kismértékű redukciójában keletkező 2-metil-THF könnyen peroxidosodik, amely veszélyezteti a GVL biztonságos használatát. A GVL füst és kellemetlen illatanyagok képződése nélkül ég, jól használható faszén gyújtó folyadékaként és 95 oktánszámú benzinhez keverve az etanolhoz hasonló üzemanyag tulajdonságokat mutat. A GVL-gazdaság kialakulásának kritikus feltétele, hogy a GVL-t vagy a levulinsavat nem-ehető szénhidrátokból gazdaságosan lehessen termelni. | We have proposed that gamma-valerolactone (GVL) exhibits the most important characteristics of an ideal sustainable liquid, which could be used for the production of energy and carbon based consumer products. In addition to its known propeties, we have shown that GVL has low vapor pressure, high stability in aerobic aqueous environments, good burning and fuel properties, which make it particularly suitable for easy storage and transportation even in a large scale. The multi-step conversion of sucrose to various C5-oxygenates (levulinic acid, GVL, 1,4-butanediol, 2-methyl-THF) and alkanes was achieved by integrating various homgeneous or heterogeneous catalytic systems. The catalytic conversion of levulinic and formic acids, formed in acid catalyzed dehydration of carbohydrates, in the presence of the Ru-based Shvo-catalyst resulted in GVL with 100% selectivity. This is a very important result, since we have shown that during the catalytic hydrogenation of levulinic acid to GVL with molecular hydrogen the side product 2-methyl-THF readily forms peroxides, which could be a major safety issue. GVL burns without the formation of smoke and unpleasant smell, can be used effectively as a lighter liquid of charcoal, and has similar fuel properties to that of ethanol, when it is mixed with 95 octane gasoline

Funkcionális és morfológiai vizsgálatok mozgászavarok tanulmányozásában: Párhuzamosan végzett elektrofiziológiás és MRI volumetriás vizsgálatok alkalmazása a mozgászavarok patofizilógiájának kutatásában, a gyógyszeres és műtéti terápia hatékonyságána = Functional and morphological studies of movement disorders: The rule of simultaneous tremorometric and MRI volumetric measurement in investigating the pathophysiology of movement disorders, in defining the efficiency of conservative and surgical therapy

Pályázatunk egyik fő célja az emberi mozgás fontos, részleteiben máig ismeretlen funkciójú komponensének, a tremornak a vizsgálata volt. A parkinsonos tremor dinamikus jellegének vizsgálatával bizonyítottuk, hogy a korábbi véleményekkel ellentétben akár a másodpercenként bekövetkező változások hátterében nemcsak a tremor intenzitása, hanem az elektrofiziológiai karaktere (frekvencia, entrópia) is megváltozik. Továbbá azt is igazoltuk, hogy Parkinsonos betegeknél a patológiás és a fiziológiás tremor váltakozása is megfigyelhető. Az ablatív és a mélyagyi stimulációs műtétek tremorometriás vizsgálata vezetett arra a megfigyelésre, hogy a beavatkozást követően a patológiás tremor komponensek is változáson mennek keresztül: a frekvencia és az entrópia szignifikáns mértékben növekszik. Ezzel szemben a hosszú távon hatástalan ablatív műtétek esetében a több hétig tartó átmeneti tremor intenzitás-csökkenésen kívül nem észlelhető hasonló elektrofiziológiai változás. Következtetésképp a tremor elektrofiziológiai vizsgálata alkalmas lehet a műtéti ineffektivitás korai, akár a műtét során történő, felismerésére és ezáltal a reoperáció elkerülésére. A mélyagyi stimuláció mellett elvégzett MRI vizsgálat biztonságosságát igazoló megállapításainkat követően, a stimuláció hatékonyságát vizsgáltuk Parkinson-kórban. Igazoltuk, hogy megfelelő betegcsoportban a stimuláció hatásossága tovább fokozható, amennyiben a betegeket megtanítjuk a stimulációs paraméterek otthoni változtatására is. | The primary aim of our research project was to study an important, but not well-established component of the movement system, the tremor. By the analysis of the dynamic nature of the Parkinsonian rest tremor we demonstrated that during the medication-off state not only the amplitude but also other electrophysiological characteristics (e.g. frequency, entropy) can change by the minute. Furthermore we also demonstrated that in case of Parkinson's disease (PD) the alteration of pathological and physiological tremor can occur. These finings are in contradistinction to the current theories concerning tremor genesis and basal ganglia pathophysiology. The comparison of pre- and postoperative accelerometric recordings of both ablations and deep brain stimulator (DBS) implantations for PD showed that after surgery the tremor frequency and entropy increase. Contrary, after ineffective surgery such changes cannot be observed despite the temporary amplitude reduction. Therefore, the analysis of tremor may enable us to recognize the failed surgery in advance, even during the operation, which may avoid the need of a repeat operation. After establishing the safety considerations using 1.0-T MRI on DBS implanted patients, we demonstrated that in selected cases, the efficacy of stimulation can be further increased by training Parkinsonian patients for the use of the therapy controller

Vibration Damping Measurement on Car Windshields

Knowledge of the damping properties of a windshield is a fundamental element of the acoustical characterization of a car. The measuring method of damping for a windshield is presented in the paper. The damping loss factor – as a basic measure of mechanical damping – was determined experimentally by two means: the reverberation time from impact hammer testing as well as the modal behavior from 3D laser scanning vibrometer measurements. The results proved that the modal shapes have a fundamental effect on the measured damping values

PPCU Sam: Open-source face recognition framework

In recent years by the popularization of AI, an increasing number of enterprises deployed machine learning algorithms in real life settings. This trend shed light on leaking spots of the Deep Learning bubble, namely the catastrophic decrease in quality when the distribution of the test data shifts from the training data. It is of utmost importance that we treat the promises of novel algorithms with caution and discourage reporting near perfect experimental results by fine-tuning on fixed test sets and finding metrics that hide weak points of the proposed methods. To support the wider acceptance of computer vision solutions we share our findings through a case-study in which we built a face-recognition system from scratch using consumer grade devices only, collected a database of 100k images from 150 subjects and carried out extensive validation of the most prominent approaches in single-frame face recognition literature. We show that the reported worst-case score, 74.3% true-positive ratio drops below 46.8% on real data. To overcome this barrier, after careful error analysis of the single-frame baselines we propose a low complexity solution to cover the failure cases of the single-frame recognition methods which yields an increased stability in multi-frame recognition during test time. We validate the effectiveness of the proposal by an extensive survey among our users which evaluates to 89.5% true-positive ratio