Multi-channel system for remote power quality monitoring of electricity supplied by public distribution networks

Peer Reviewe

A review of hypereutectic aluminum piston materials

Demands of today’s automotive industry are increasing; there is a constant tendency of weight reduction and higher reliability of constructions. Pistons and piston liners for vehicles are mostly manufactured from aluminum-silicon alloys. With different manufacturing methods and/or the addition of some chemical elements, base alloy properties can be modified. Methods for hypereutectic aluminum alloys and composites manufacturing and their influence on material properties will be given in this paper. The influence of Si percentage in base alloy and how an addition of some chemical elements affects the properties of these materials will be observed as well

A REVIEW ON MECHANICAL AND TRIBOLOGICAL PROPERTIES OF ALUMINIUM-BASED METAL MATRIX NANOCOMPOSITES

This paper provides a brief overview on the mechanical and tribological properties of aluminiumbased composites reinforced with various nanoparticles. The amount of reinforcement was, most often, up to 5 % (vol. or wt.). Based on the reviewed results, it can be observed that by increasing the amount of reinforcement, properties such as hardness and density increase significantly. Tribological tests were performed mostly on pin-on-disc tribometers under dry sliding conditions. Composites reinforced with ceramic nanoparticles such as Al2O3, SiC, TiC, TiO2 and TiB2 showed a higher wear resistance than their matrix alloys. The microstructure of the nanocomposites and morphology of the worn surfaces were in most cases studied by scanning electron microscopy (SEM), transmission electron microscopy (TEM) and energy dispersive spectroscopy (EDS)

Canine Dirofilaria Infections in Two Uninvestigated Areas of Serbia: Epidemiological and Genetic Aspects

In 2009 canine filarial infections were investigated in two northern areas of Serbia (Pancevo and Veliko Gradiste), applying morphometry, biochemical staining, and immunological kit to detect Dirofilaria immitis antigens, and two home-made ELISAs to detect antibodies to D. repens and D. immitis somatic/metabolic polyproteins. Moreover, molecular tools were applied to analyze the phylogenetic relationships of the isolates. The microfilariae detected in 21/122 dogs (17.2%) were identified as D. repens (n = 21) and D. immitis (n = 2). D. immitis antigens were found in another 13 animals with occult infection. All of the 15 heartworm-positive dogs also had antibodies to this parasite, which were detected in another 13 subjects, indicating an overall D. immitis seroprevalence rate of 22.9%. Serology for D. repens revealed evidence of antibodies in 42.6% of the dogs, but was negative for 4 microfilaremic dogs. As for the two different areas, the prevalence of microfilariae and/or D. immitis antigens, mainly due to D. repens microfilaremic animals, was not significantly higher in Veliko Gradiste (33.3%) than in Pancevo (22%). However, serology showed a different epidemiological picture. Heartworm infection occurred more often in both areas, and antibodies to dirofilarial nematodes were detected in 72.9% of dogs living in Pancevo, a rate higher than in those living in Veliko Gradiste (57.1%). No risk factors for infection were found, confirming the uselessness of prophylactic drugs against D. repens, and suggesting the presence in these areas of sunrise- or sunset-biting mosquitoes as important vectors. The results indicate the need for both appropriate entomological studies and further research on the intra-species variability shown by D. repens

BCIAUT-P300: A Multi-Session and Multi-Subject Benchmark Dataset on Autism for P300-Based Brain-Computer-Interfaces

There is a lack of multi-session P300 datasets for Brain-Computer Interfaces (BCI). Publicly available datasets are usually limited by small number of participants with few BCI sessions. In this sense, the lack of large, comprehensive datasets with various individuals and multiple sessions has limited advances in the development of more effective data processing and analysis methods for BCI systems. This is particularly evident to explore the feasibility of deep learning methods that require large datasets. Here we present the BCIAUT-P300 dataset, containing 15 autism spectrum disorder individuals undergoing 7 sessions of P300-based BCI joint-attention training, for a total of 105 sessions. The dataset was used for the 2019 IFMBE Scientific Challenge organized during MEDICON 2019 where, in two phases, teams from all over the world tried to achieve the best possible object-detection accuracy based on the P300 signals. This paper presents the characteristics of the dataset and the approaches followed by the 9 finalist teams during the competition. The winner obtained an average accuracy of 92.3% with a convolutional neural network based on EEGNet. The dataset is now publicly released and stands as a benchmark for future P300-based BCI algorithms based on multiple session data

Stabilité et homologie de factorisation équivariante

The aim of this thesis is to contribute to the study of the equivariant homotopy theory. Itconsists of three parts.In the first part we prove that the stabilization of the infinity category of G-spaces with respect tothe representation spheres is equivalent to the infinity category of G-spectra, where G is a compact Liegroup. The infinity category of G-spaces is obtained via the standard model structure on the categoryof G-spaces while the infinity category of G-spectra is acquired from the stable model structure. Infact, we prove that these categories are presentable, hence, we show the equivalence of presentableinfinity categories. In the second part we use the parametrized higher category theory to construct the equivariant version of the factorization homology. There already exists a construction of genuine equivariant factorization homology for manifolds with an action of a finite group, which we extend to the manifolds with an action of a compact Lie group with finite stabilizers. In the third part, we develop the theory of approximations to parametrized infinity operads when the parametrization is done with respect to the infinity category of transitive G-spaces (i.e. orbits) withfinite stabilizers, where G is a compact Lie group. We use this theory to prove that the infinity categoryof G-discs is freely generated by the infinity category of H-discs with suitable framing on both G-discsand H-discs, where H < G is a finite subgroupL'objectif de cette thèse est de contribuer à l'étude de la théorie de l'homotopie équivariante. Il se compose de trois parties. Dans la première partie, nous prouvons que la stabilisation de l'infinie catégorie des G-espaces par rapport aux sphères de représentation est équivalente à l'infinie catégorie des G-spectres, où G est un groupe de Lie compact. L'infinie catégorie des G-espaces est obtenue via la structure de modèle standard sur la catégorie des G-espaces, tandis que l'infinie catégorie des G-spectres est acquise à partir de la structure du modèle stable. En fait, on prouve que ces catégories sont présentables, donc on montre l'équivalence des infinie catégories présentables. Dans la deuxième partie, nous utilisons la théorie paramétrée des catégories supérieures pour construire la version équivariante de l'homologie de factorisation. Il existe déjà une construction de homologie de factorisation équivariante pour les variétés avec l'action d'un groupe fini, que nous étendons aux variétés avec l'action d'un groupe de Lie compact à stabilisateurs finis. Dans la troisième partie, nous développons la théorie des approximations des infinie opérades paramétrées lorsque la paramétrisation est faite par rapport à l'infinie catégorie des G-espaces transitifs (i.e. les orbites) avec des stabilisateurs finis, où G est un groupe de Lie compact. Nous utilisons cette théorie pour prouver que l'infinie catégorie des G-disques est librement générée par l'infinie catégorie des H-disques avec un cadrage approprié sur les G-disques et les H-disques, où H < G est un sous-groupe fini

A Universal Game Controller Interface (UGCI) for Neurofeedback ADHD treatment

Aufmerksamkeitsdefizit-/Hyperaktivitätsstörung (ADHS) ist die häufigste psychische Störung bei Kindern, mit einer geschätzten Vorkommnis von 5% bei Kindern im Schulalter (American Psychiatric Association, 2013). Trotz der Wirksamkeit von Ther- apien (Lansbergen et al., 2011; Arns, Heinrich and Strehl, 2014; Holtmann et al., 2014; Bluschke et al., 2016) hat sich, aufgrund von Nebeneffekten, der aktuelle Fokus auf die Entwicklung von alternativen Behandlungsmethoden verschoben. Eine der häufigsten nicht-pharmazeutischen Behandlungen für ADHS ist die Verhaltenstherapie mit Neu- rofeedback (NF) (Sonuga-Barke et al., 2013; Holtmann et al., 2014), die jedoch den Nachteil hat, dass es nur eine begrenzte Auswahl an Spielen für ADHS NF (Munoz et al., 2015) gibt. Die entwickelten anwendungsspezifischen Spiele können nicht nur die heutigen ästhetischen Standards nicht erfüllen, sondern liegen auch in anderen Aspekten wie der Spieldynamik (d.h. Vielfalt der Aufgaben) zurück. Aufgrund der schlechteren grafischen Standards und periodischer Dynamik verlagert sich die Aufmerksamkeit der Probanden (Kinder) nach einigen Sitzungen, wodurch die Therapie merkbar an Effizienz verliert. Die Entwicklung neuer, fortgeschrittener Spiele ist kostenintensiv und erfordert, dass ein profitabler Markt existiert. In dieser Thesis befasse ich mich mit der Prob- lematik und präsentiere ein innovatives Design für ein Universal Game Control Interface (UCGI), das Befehle und Eingaben moduliert in dem es die Aufmerksamkeit mittels EEG misst. Das UCGI wird somit als Proxy zwischen dem Steuergerät (z.B. Gamepad, Joystick, etc.) und einer Konsole bzw. Computer dienen. Das Gerät wird dabei auf bereits standardisierte Interfaces zwischen Computer und Controller zurückgreifen, wodurch jedes beliebige Spiel direkt gelenkt werden kann. Folglich können auch die aktuellsten Spiele ohne weitere Anpassungen gespielt werden. Die vorliegende Master- arbeit präsentiert eine detaillierte Beschreibung des konzeptuellen Designs als auch der Implementierung des ersten UGCI Prototypen. Abschließend demonstriere ich die Effektivität des Geräts und dessen Potenzial in der NF Behandlung von ADHS anhand einer durchgeführten Studie.Attention-deficit / hyperactivity disorder (ADHD) is the most common of psychiatric disorders in children with an assessed prevalence of about 5% in school-aged children (American Psychiatric Association, 2013). Despite the fact that medical therapy is very efficacious (Lansbergen et al., 2011; Arns, Heinrich and Strehl, 2014; Holtmann et al., 2014; Bluschke et al., 2016), due to its adverse effects, current focus has been pointed to the development of an alternative treatment for the disorder. One of the most common non-pharmacological treatment of ADHD is behavioral training using Neurofeedback (NF) (Sonuga-Barke et al., 2013; Holtmann et al., 2014). However, one of the draw- backs of the therapy is that the selection of the games for ADHD NF (Munoz et al., 2015) is limited. The developed purpose specific games cannot follow today's standards in aesthetic domain, but also in other aspects, such as game dynamics (diversity of the tasks). Due to poorer graphical standards and periodical dynamics, after a couple of sessions, the subject's (children's) interests shifts and conceivably making the therapy less effective. Development of the new advance games are very resource demanding, and it requires the broad market to be profitable. To overcome the obstacle, in the thesis I propose an innovative design of the Universal Game Control Interface (UGCI), a device that will serve as a modulator of the game commands based on EEG measured subject's attention state. In other words, UGCI will be used as a proxy between a game controller (e.g., gamepad, joystick, etc.) and a playing console or a computer. The device exploits already standardized communication interface between computer and game controllers, therefore, allowing implicitly direct control of any existing game on the market. Consequently, the most recent games can be played without any modification. In this regard, the master thesis provides the detailed description of the conceptual and implementational design of the UGCI. Finally, a conducted empirical study has demonstrated the effectiveness of the device and its potential for NF treatment of ADHD

Equivariant stabilization and factorization homology

L'objectif de cette thèse est de contribuer à l'étude de la théorie de l'homotopie équivariante. Il se compose de trois parties. Dans la première partie, nous prouvons que la stabilisation de l'infinie catégorie des G-espaces par rapport aux sphères de représentation est équivalente à l'infinie catégorie des G-spectres, où G est un groupe de Lie compact. L'infinie catégorie des G-espaces est obtenue via la structure de modèle standard sur la catégorie des G-espaces, tandis que l'infinie catégorie des G-spectres est acquise à partir de la structure du modèle stable. En fait, on prouve que ces catégories sont présentables, donc on montre l'équivalence des infinie catégories présentables. Dans la deuxième partie, nous utilisons la théorie paramétrée des catégories supérieures pour construire la version équivariante de l'homologie de factorisation. Il existe déjà une construction de homologie de factorisation équivariante pour les variétés avec l'action d'un groupe fini, que nous étendons aux variétés avec l'action d'un groupe de Lie compact à stabilisateurs finis. Dans la troisième partie, nous développons la théorie des approximations des infinie opérades paramétrées lorsque la paramétrisation est faite par rapport à l'infinie catégorie des G-espaces transitifs (i.e. les orbites) avec des stabilisateurs finis, où G est un groupe de Lie compact. Nous utilisons cette théorie pour prouver que l'infinie catégorie des G-disques est librement générée par l'infinie catégorie des H-disques avec un cadrage approprié sur les G-disques et les H-disques, où H < G est un sous-groupe fini.The aim of this thesis is to contribute to the study of the equivariant homotopy theory. Itconsists of three parts.In the first part we prove that the stabilization of the infinity category of G-spaces with respect tothe representation spheres is equivalent to the infinity category of G-spectra, where G is a compact Liegroup. The infinity category of G-spaces is obtained via the standard model structure on the categoryof G-spaces while the infinity category of G-spectra is acquired from the stable model structure. Infact, we prove that these categories are presentable, hence, we show the equivalence of presentableinfinity categories. In the second part we use the parametrized higher category theory to construct the equivariant version of the factorization homology. There already exists a construction of genuine equivariant factorization homology for manifolds with an action of a finite group, which we extend to the manifolds with an action of a compact Lie group with finite stabilizers. In the third part, we develop the theory of approximations to parametrized infinity operads when the parametrization is done with respect to the infinity category of transitive G-spaces (i.e. orbits) withfinite stabilizers, where G is a compact Lie group. We use this theory to prove that the infinity categoryof G-discs is freely generated by the infinity category of H-discs with suitable framing on both G-discsand H-discs, where H < G is a finite subgrou

Stabilité et homologie de factorisation équivariante

The aim of this thesis is to contribute to the study of the equivariant homotopy theory. Itconsists of three parts.In the first part we prove that the stabilization of the infinity category of G-spaces with respect tothe representation spheres is equivalent to the infinity category of G-spectra, where G is a compact Liegroup. The infinity category of G-spaces is obtained via the standard model structure on the categoryof G-spaces while the infinity category of G-spectra is acquired from the stable model structure. Infact, we prove that these categories are presentable, hence, we show the equivalence of presentableinfinity categories. In the second part we use the parametrized higher category theory to construct the equivariant version of the factorization homology. There already exists a construction of genuine equivariant factorization homology for manifolds with an action of a finite group, which we extend to the manifolds with an action of a compact Lie group with finite stabilizers. In the third part, we develop the theory of approximations to parametrized infinity operads when the parametrization is done with respect to the infinity category of transitive G-spaces (i.e. orbits) withfinite stabilizers, where G is a compact Lie group. We use this theory to prove that the infinity categoryof G-discs is freely generated by the infinity category of H-discs with suitable framing on both G-discsand H-discs, where H < G is a finite subgroupL'objectif de cette thèse est de contribuer à l'étude de la théorie de l'homotopie équivariante. Il se compose de trois parties. Dans la première partie, nous prouvons que la stabilisation de l'infinie catégorie des G-espaces par rapport aux sphères de représentation est équivalente à l'infinie catégorie des G-spectres, où G est un groupe de Lie compact. L'infinie catégorie des G-espaces est obtenue via la structure de modèle standard sur la catégorie des G-espaces, tandis que l'infinie catégorie des G-spectres est acquise à partir de la structure du modèle stable. En fait, on prouve que ces catégories sont présentables, donc on montre l'équivalence des infinie catégories présentables. Dans la deuxième partie, nous utilisons la théorie paramétrée des catégories supérieures pour construire la version équivariante de l'homologie de factorisation. Il existe déjà une construction de homologie de factorisation équivariante pour les variétés avec l'action d'un groupe fini, que nous étendons aux variétés avec l'action d'un groupe de Lie compact à stabilisateurs finis. Dans la troisième partie, nous développons la théorie des approximations des infinie opérades paramétrées lorsque la paramétrisation est faite par rapport à l'infinie catégorie des G-espaces transitifs (i.e. les orbites) avec des stabilisateurs finis, où G est un groupe de Lie compact. Nous utilisons cette théorie pour prouver que l'infinie catégorie des G-disques est librement générée par l'infinie catégorie des H-disques avec un cadrage approprié sur les G-disques et les H-disques, où H < G est un sous-groupe fini