Author: "Brno University of Technology" - Searchworks@Jio Institute Digital Library Search Results

Your search keyword '"Brno University of Technology"' showing total 2,937 results

Start Over Author "Brno University of Technology"

2,937 results on '"Brno University of Technology"'

1. Use of Computer Aided Design and 3D Printing for Anesthesiology Management in a Pediatric Patient With Cleft Facial Defect (3D obturator)

Author: Brno University of Technology, Masaryk University, and Petr Štourač, MD, assoc.prof.MD,Ph.D
Published: 2022

2. Use of Computer Aided Design and 3D Printing for Anesthesiology Management in a Pediatric Patient With Cleft Facial Defect (3D Obturator) - Pilot Trial (Pilobtur)

Author: Brno University of Technology, Masaryk University, and Petr Štourač, MD, assoc.prof.MD,Ph.D
Published: 2022

3. Basalt fibre surface modification via plasma polymerization of tetravinylsilane/oxygen mixtures for improved interfacial adhesion with unsaturated polyester matrix

Author: Czech Science Foundation, Brno University of Technology, Lilli, Matteo, Jurko, Michal, Sirjovova, Veronika, Zvonek, Milan, Cech, Vladimir, Scheffler, Christina, Rogero, Celia, Ilyn, Max, Tirillò, Jacopo, Sarasini, Fabrizio, Czech Science Foundation, Brno University of Technology, Lilli, Matteo, Jurko, Michal, Sirjovova, Veronika, Zvonek, Milan, Cech, Vladimir, Scheffler, Christina, Rogero, Celia, Ilyn, Max, Tirillò, Jacopo, and Sarasini, Fabrizio
Abstract: With the aim of optimizing the interfacial adhesion of basalt fibres with thermoset matrices, in this research the plasma polymerization technique (PECVD) was used to synthesize polymeric coatings based on tetravinylsilane (TVS) or its mixtures with oxygen on the surface of basalt fibres. The successful deposition of the polymer sizing was confirmed by XPS analysis, which highlighted the increase in the intensity of the carbon and oxygen peaks. To evaluate the influence of polymer sizing on interfacial adhesion, basalt fibre/polyester resin composites were tested through the short beam shear (SBS) test. Compared to neat basalt fibres, the modified fibres showed a significant increase in the interlaminar shear strength (ILSS) higher than 180%. These results compared quite favourably with those on glass fibres used as baseline, with higher ILSS values as a function of oxygen content. The improvement in interfacial adhesion was correlated with the increase in basalt fibre surface energy by single fibre dynamic contact angle tests.
Published: 2021

4. Generalized Roughness Bearing Faults Diagnosis Based on Induction Motor Stator Current

Author: Andrijauskas, Ignas, Vaitkunas, Mindaugas, Adaskevicius, Rimas, and Brno University of Technology
Subjects: 010302 applied physics, Welch’s spectral density, Bearing (mechanical), Computer science, Stator, wavelet decomposition, Surface finish, 01 natural sciences, 010305 fluids & plasmas, law.invention, Wavelet decomposition, Control theory, law, 0103 physical sciences, bearing fault diagnosis, lcsh:Electrical engineering. Electronics. Nuclear engineering, Induction motor, Electrical and Electronic Engineering, Current (fluid), stator current spectrum, lcsh:TK1-9971
Abstract: Despite their reliability, induction motors tend to fail. Around 41% of faults in motors are bearing related and that is the most common fault in motor field. Due to the lack of research on generalized roughness bearing fault diagnostics by use of a stator current spectrum, the presented study analyses both single-point and generalized roughness bearing faults and their classification possibilities. In this paper, a new method for generalized roughness ball bearing fault identification by use of a stator current signal analysis is presented. The algorithm relies on Discrete Wavelet Transform and Welch's spectral density analysis. The composition of both methods is used for building a feature vector for the classifier. In order to achieve classification, support vector machine classifier with linear kernel function has been applied. The validation experiment and results are presented.
Published: 2018
Full Text: View/download PDF

5. Mobility for learners and staff - higher education students and staff mobility inter-institutional agreement 2018-2021 between programme countries - Universidade Lusíada de Lisboa and Brno University of Technology

Author: Universidade Lusíada de Lisboa and Brno University of Technology
Subjects: Cooperação internacional, Cooperação institucional, Gestão de empresas – Ensino e estudo
Abstract: Data da assinatura: 23 Setembro 2019 - Cooperate for exchange of students and/or staff in the context of the Erasmus + programme; - Subject area: Business administration.
Published: 2019

6. Controlled covalent functionalization of 2 H‐MoS2 with molecular or polymeric adlayers

Author: Ministerio de Ciencia, Innovación y Universidades (España), Agencia Estatal de Investigación (España), Ministerio de Economía y Competitividad (España), European Research Council, European Commission, Brno University of Technology, Comunidad de Madrid, Quirós‐Ovies, Ramiro, Vázquez Sulleiro, Manuel, Vera‐Hidalgo, Mariano, Prieto, Javier, Gómez, I. Jénnifer, Sebastián, Víctor, Ricote, J., Pérez, Emilio M., Ministerio de Ciencia, Innovación y Universidades (España), Agencia Estatal de Investigación (España), Ministerio de Economía y Competitividad (España), European Research Council, European Commission, Brno University of Technology, Comunidad de Madrid, Quirós‐Ovies, Ramiro, Vázquez Sulleiro, Manuel, Vera‐Hidalgo, Mariano, Prieto, Javier, Gómez, I. Jénnifer, Sebastián, Víctor, Ricote, J., and Pérez, Emilio M.
Abstract: Most air‐stable 2D materials are relatively inert, which makes their chemical modification difficult. In particular, in the case of MoS2, the semiconducting 2 H‐MoS2 is much less reactive than its metallic counterpart, 1T‐MoS2. As a consequence, there are hardly any reliable methods for the covalent modification of 2 H‐MoS2. An ideal method for the chemical functionalization of such materials should be both mild, not requiring the introduction of a large number of defects, and versatile, allowing for the decoration with as many different functional groups as possible. Herein, a comprehensive study on the covalent functionalization of 2 H‐MoS2 with maleimides is presented. The use of a base (Et3N) leads to the in situ formation of a succinimide polymer layer, covalently connected to MoS2. In contrast, in the absence of base, functionalization stops at the molecular level. Moreover, the functionalization protocol is mild (occurs at room temperature), fast (nearly complete in 1 h), and very flexible (11 different solvents and 10 different maleimides tested). In practical terms, the procedures described here allow for the chemist to manipulate 2 H‐MoS2 in a very flexible way, decorating it with polymers or molecules, and with a wide range of functional groups for subsequent modification. Conceptually, the spurious formation of an organic polymer might be general to other methods of functionalization of 2D materials, where a large excess of molecular reagents is typically used.
Published: 2020

7. Independent engineering of individual plasmon modes in plasmonic dimers with conductive and capacitive coupling

Author: Czech Science Foundation, European Commission, Ministry of Education, Youth and Sports (Czech Republic), Brno University of Technology, Křápek, V., Konečná, Andrea, Horák, M., Ligmajer, F., Stöger-Pollach, M., Hrtoň, Martin, Babocký, J., Šikola, T., Czech Science Foundation, European Commission, Ministry of Education, Youth and Sports (Czech Republic), Brno University of Technology, Křápek, V., Konečná, Andrea, Horák, M., Ligmajer, F., Stöger-Pollach, M., Hrtoň, Martin, Babocký, J., and Šikola, T.
Abstract: We revisit plasmon modes in nanoparticle dimers with conductive or insulating junction resulting in conductive or capacitive coupling. In our study, which combines electron energy loss spectroscopy, optical spectroscopy, and numerical simulations, we show the coexistence of strongly and weakly hybridised modes. While the properties of the former ones strongly depend on the nature of the junction, the properties of the latter ones are nearly unaffected. This opens up a prospect for independent engineering of individual plasmon modes in a single plasmonic antenna. In addition, we show that Babinet’s principle allows to engineer the near field of plasmon modes independent of their energy. Finally, we demonstrate that combined electron energy loss imaging of a plasmonic antenna and its Babinet-complementary counterpart allows to reconstruct the distribution of both electric and magnetic near fields of localised plasmon resonances supported by the antenna, as well as charge and current antinodes of related charge oscillations.
Published: 2020

8. Limits of Babinet’s principle for solid and hollow plasmonic antennas

Author: Czech Science Foundation, Ministry of Education, Youth and Sports (Czech Republic), Brno University of Technology, Horák, M. [0000-0001-6503-8294], Křápek, V. [0000-0002-4047-8653], Konečná, Andrea [0000-0002-7423-5481], Ligmajer, F. [0000-0003-0346-4110], Šikola, T. [0000-0002-5450-4621], Horák, M., Křápek, V., Hrtoň, M., Konečná, Andrea, Ligmajer, F., Stöger-Pollach, M., Šamořil, T., Paták, A, Édes, Z., Metelka, O., Babocký, J., Šikola, T., Czech Science Foundation, Ministry of Education, Youth and Sports (Czech Republic), Brno University of Technology, Horák, M. [0000-0001-6503-8294], Křápek, V. [0000-0002-4047-8653], Konečná, Andrea [0000-0002-7423-5481], Ligmajer, F. [0000-0003-0346-4110], Šikola, T. [0000-0002-5450-4621], Horák, M., Křápek, V., Hrtoň, M., Konečná, Andrea, Ligmajer, F., Stöger-Pollach, M., Šamořil, T., Paták, A, Édes, Z., Metelka, O., Babocký, J., and Šikola, T.
Abstract: We present an experimental and theoretical study of Babinet’s principle of complementarity in plasmonics. We have used spatially-resolved electron energy loss spectroscopy and cathodoluminescence to investigate electromagnetic response of elementary plasmonic antenna: gold discs and complementary disc-shaped apertures in a gold layer. We have also calculated their response to the plane wave illumination. While the qualitative validity of Babinet’s principle has been confirmed, quantitative differences have been found related to the energy and quality factor of the resonances and the magnitude of related near fields. In particular, apertures were found to exhibit stronger interaction with the electron beam than solid antennas, which makes them a remarkable alternative of the usual plasmonic-antennas design. We also examine the possibility of magnetic near field imaging based on the Babinet’s principle.
Published: 2019

9. Internal flow and air core dynamics in simplex and spill-return pressure-swirl atomizers

Author: Czech Science Foundation, Ministry of Education, Youth and Sports, República Checa, Brno University of Technology, Maly, Milan, Janáčková, Lada, Jedelský, Jan, Sláma, Jaroslav, Sapík, Marcel, Wigley, Graham, Czech Science Foundation, Ministry of Education, Youth and Sports, República Checa, Brno University of Technology, Maly, Milan, Janáčková, Lada, Jedelský, Jan, Sláma, Jaroslav, Sapík, Marcel, and Wigley, Graham
Abstract: [EN] It is well known that the spray characteristics of pressure-swirl atomizers are strongly linked to the internal flow and that an unstable air core may cause instabilities in the spray. In this paper, a 10:1 scale transparent Plexiglas (PMMA) model of a pressure-swirl atomizer as used in a small gas turbine is introduced. The internal flow was examined using high-speed imaging, laser-Doppler anemometry and computational fluid dynamics tools. The experimental and numerical results were analysed and compared in terms of the air core morphology and its temporal stability. Two different liquids were used, Kerosene-type Jet A-1 represented a commonly used fuel while p-Cymene (4-Isopropyltoluene) matched the refractive index of the Plexiglas atomizer body. The internal flow characteristics were set using dimensionless numbers i.e. the Reynolds number and Froude number. The flow test conditions were limited to inlet Reynolds numbers from 750 to 1750. Two atomizers were examined to represent a Simplex and Spill-return (SR) geometries. In a comparative manner, the SR atomizer features a central passage in the rear wall of the swirl chamber. The main advantage of this concept is that the fuel is always supplied to the swirl chamber at a high pressure therefore providing good atomization over a wide range of the injection flow rate. However, the presence of the spill orifice strongly affects the internal flow even if the spill-line is closed. The air core in the Simplex atomizer was found fully developed and stable. The SR atomizer behaved differently, the air core did not form at all, and the spray was therefore unstable.
Published: 2017

10. Universal Voltage Conveyor and Current Conveyor in Fast Full-Wave Rectifier

Author: Brno University of Technology, Burian, Josef, Koton, Jaroslav, Herencsar, Norbert, Brno University of Technology, Burian, Josef, Koton, Jaroslav, and Herencsar, Norbert
Abstract: This paper deals about the design of a fast voltage-mode full-wave rectifier, where universal voltage conveyor and second-generation current conveyor are used as active elements. Thanks to the active elements, the input and output impedance of the non-linear circuit is infinitely high respectively zero in theory. For the rectification only two diodes and three resistors are required as passive elements. The performance of the circuit is shown on experimental measurement results showing the dynamic range, time response, frequency dependent DC transient value and RMS error for different values of input voltage amplitudes.
Published: 2012

11. A Voltage Gain-Controlled Modified CFOA And Its Application in Electronically Tunable Four-Mode All-Pass Filter Design

Author: Project CZ.1.07/2.3.00/30.0039 of Brno University of Technology, SIX CZ.1.05/2.1.00/03.0072 from the operational program Research and Development for Innovation, BUT Fund No. FEKT--S--11--15, GACR projects No. P102/11/P489, P102/10/P561, P102/09/1681., Herencsar, Norbert, Koton, Jaroslav, Lahiri, Abhirup, Metin, Bilgin, Vrba, Kamil, Project CZ.1.07/2.3.00/30.0039 of Brno University of Technology, SIX CZ.1.05/2.1.00/03.0072 from the operational program Research and Development for Innovation, BUT Fund No. FEKT--S--11--15, GACR projects No. P102/11/P489, P102/10/P561, P102/09/1681., Herencsar, Norbert, Koton, Jaroslav, Lahiri, Abhirup, Metin, Bilgin, and Vrba, Kamil
Abstract: This paper presents a new active building block (ABB) called voltage gain-controlled modified current feedback amplifier (VGC-MCFOA) based on bipolar junction transistor technology. The versatility of the new ABB is demonstrated in new first-order all-pass filter structure design employing single VGC-MCFOA, single grounded capacitor, and three resistors. Introduced circuit provides all four possible transfer functions at the same configuration, namely current-mode, transimpedance-mode, transadmittance-mode, and voltage-mode. The pole frequency of the circuit can be easily tuned by means of DC bias currents. The theoretical results are verified by SPICE simulations based on bipolar transistor arrays AT&T ALA400-CBIC-R process parameters.
Published: 2012

12. Speech Technology for Unwritten Languages

Author: Mark Hasegawa-Johnson, Lucas Ondel, Elin Larsen, Shruti Palaskar, Liming Wang, Sebastian Stüker, Francesco Ciannella, Markus Müller, Odette Scharenborg, Rachid Riad, Florian Metze, Pierre Godard, Laurent Besacier, Mingxing Du, Alan W. Black, Danny Merkx, Emmanuel Dupoux, Philip Arthur, Graham Neubig, Delft University of Technology (TU Delft), Groupe d’Étude en Traduction Automatique/Traitement Automatisé des Langues et de la Parole (GETALP), Laboratoire d'Informatique de Grenoble (LIG), Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ), Université Grenoble Alpes (UGA)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ), Université Grenoble Alpes (UGA), Carnegie Mellon University [Pittsburgh] (CMU), Department. of Computer Science [Illinois], University of Illinois System, Institute for Anthropomatics (KIT), Karlsruhe Institute of Technology (KIT), Traitement du Langage Parlé (TLP), Laboratoire d'Informatique pour la Mécanique et les Sciences de l'Ingénieur (LIMSI), Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS), Brno University of Technology [Brno] (BUT), Johns Hopkins University (JHU), Laboratoire de sciences cognitives et psycholinguistique (LSCP), Département d'Etudes Cognitives - ENS Paris (DEC), École normale supérieure - Paris (ENS-PSL), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-École normale supérieure - Paris (ENS-PSL), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-École des hautes études en sciences sociales (EHESS)-Centre National de la Recherche Scientifique (CNRS), Radboud University [Nijmegen], Apprentissage machine et développement cognitif (CoML), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-École des hautes études en sciences sociales (EHESS)-Centre National de la Recherche Scientifique (CNRS)-Département d'Etudes Cognitives - ENS Paris (DEC), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-École des hautes études en sciences sociales (EHESS)-Centre National de la Recherche Scientifique (CNRS)-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), The work reported here was started at JSALT 2017 in CMU,Pittsburgh, and was supported by JHU and CMU via grants from Google, Microsoft, Amazon, Facebook, and Apple. This work used the Extreme Science and Engineering Discovery Environment (XSEDE), which is supported by NSF grant number OCI-1053575. Specifically, it used the Bridges system, which is supported by NSF award number ACI-1445606, at the Pittsburgh Supercomputing Center (PSC). OS was partially supported by a Vidi-grant from NWO (276-89-003) and partially by a Delft Technology Fellowship from Delft University of Technology. PG, MM and SS were funded by the French ANR and the German DFG under grant ANR-14-CE35-0002 (BULB project). MD, EL, RR and ED were funded by the European Research Council (ERC-2011-AdG-295810 BOOTPHON), and ANR-10-LABX-0087 IEC and ANR-10-IDEX-0001-02 PSL., ANR-19-P3IA-0001,PRAIRIE,PaRis Artificial Intelligence Research InstitutE(2019), ANR-17-EURE-0017,FrontCog,Frontières en cognition(2017), ANR-10-IDEX-0001,PSL,Paris Sciences et Lettres(2010), ANR-19-P3IA-0003,MIAI,MIAI @ Grenoble Alpes(2019), École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-École normale supérieure - Paris (ENS Paris), Radboud university [Nijmegen], Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire de sciences cognitives et psycholinguistique (LSCP), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA), Université Paris-Sud - Paris 11 (UP11)-Université Paris-Saclay-Sorbonne Université - UFR d'Ingénierie (UFR 919), Sorbonne Université (SU)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Saclay (COmUE), Sorbonne Université (SU)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Saclay (COmUE)-Université Paris-Sud - Paris 11 (UP11)-Université Paris-Saclay-Sorbonne Université - UFR d'Ingénierie (UFR 919), Brno University of Technology, and École normale supérieure - Paris (ENS Paris)-École normale supérieure - Paris (ENS Paris)-École des hautes études en sciences sociales (EHESS)-Centre National de la Recherche Scientifique (CNRS)
Subjects: Acoustics and Ultrasonics, Computer science, Speech synthesis, Semantics, computer.software_genre, unsupervised learning, image retrieval, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], 030507 speech-language pathology & audiology, 03 medical and health sciences, speech synthesis, Computer Science (miscellaneous), Electrical and Electronic Engineering, Everyday life, automatic speech recognition, Speech technology, Speech processing, Linguistics, Language & Communication, Computational Mathematics, Task analysis, Language & Speech Technology, 0305 other medical science, computer, Utterance, Meaning (linguistics)
Abstract: International audience; Speech technology plays an important role in our everyday life. Speech is, among others, used for human-computer interaction, including, for instance, information retrieval and on-line shopping. In the case of an unwritten language, however, speech technology is unfortunately difficult to create, because it cannot be created by the standard combination of pre-trained speech-to-text and text-to-speech subsystems. The research presented in this paper takes the first steps towards speech technology for unwritten languages. Specifically, the aim of this work was 1) to learn speech-to-meaning representations without using text as an intermediate representation, and 2) to test the sufficiency of the learned representations to regenerate speech or translated text, or to retrieve images that depict the meaning of an utterance in an unwritten language. The results suggest that building systems that go directly from speech-to-meaning and from meaning-to-speech, bypassing the need for text, is possible.
Published: 2020
Full Text: View/download PDF

13. Unravelling local environments in mixed TiO2–SiO2 thin films by XPS and ab initio calculations

Author: Lenka Zajíčková, Michèle Carette, Pavel Ondračka, David Holec, Agnès Granier, David Nečas, Mireille Richard-Plouet, Antoine Goullet, Stéphane Elisabeth, Central European Institute of Technology [Brno] (CEITEC MU), Brno University of Technology [Brno] (BUT), Institut d’Électronique, de Microélectronique et de Nanotechnologie - UMR 8520 (IEMN), Centrale Lille-Institut supérieur de l'électronique et du numérique (ISEN)-Université de Valenciennes et du Hainaut-Cambrésis (UVHC)-Université de Lille-Centre National de la Recherche Scientifique (CNRS)-Université Polytechnique Hauts-de-France (UPHF), Bio-Micro-Electro-Mechanical Systems - IEMN (BIOMEMS - IEMN), Centrale Lille-Institut supérieur de l'électronique et du numérique (ISEN)-Université de Valenciennes et du Hainaut-Cambrésis (UVHC)-Université de Lille-Centre National de la Recherche Scientifique (CNRS)-Université Polytechnique Hauts-de-France (UPHF)-Centrale Lille-Institut supérieur de l'électronique et du numérique (ISEN)-Université de Valenciennes et du Hainaut-Cambrésis (UVHC)-Université de Lille-Centre National de la Recherche Scientifique (CNRS)-Université Polytechnique Hauts-de-France (UPHF), Institut des Matériaux Jean Rouxel (IMN), Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-Ecole Polytechnique de l'Université de Nantes (EPUN), Université de Nantes (UN)-Université de Nantes (UN)-Institut de Chimie du CNRS (INC)-Centre National de la Recherche Scientifique (CNRS), Syst Plus Consulting, University of Leoben (MU), Faculty of Science [Brno] (SCI / MUNI), Masaryk University [Brno] (MUNI), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Institut de Chimie du CNRS (INC)-Ecole Polytechnique de l'Université de Nantes (EPUN), Université de Nantes (UN)-Université de Nantes (UN), Central European Institute of Technology [Brno] (CEITEC), Brno University of Technology [Brno], Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS), Institut d’Électronique, de Microélectronique et de Nanotechnologie (IEMN) - UMR 8520 (IEMN), Centre National de la Recherche Scientifique (CNRS)-Université de Lille-Université Polytechnique Hauts-de-France (UPHF)-Ecole Centrale de Lille-Université Polytechnique Hauts-de-France (UPHF)-Institut supérieur de l'électronique et du numérique (ISEN), University of science (Masaryk University), and Masaryk University
Subjects: 010302 applied physics, Materials science, Binding energy, General Physics and Astronomy, Infrared spectroscopy, 02 engineering and technology, Surfaces and Interfaces, General Chemistry, 021001 nanoscience & nanotechnology, Condensed Matter Physics, 01 natural sciences, 7. Clean energy, Surfaces, Coatings and Films, Amorphous solid, X-ray photoelectron spectroscopy, Core electron, Ab initio quantum chemistry methods, Chemical physics, 0103 physical sciences, [PHYS.COND.CM-MS]Physics [physics]/Condensed Matter [cond-mat]/Materials Science [cond-mat.mtrl-sci], Density functional theory, Thin film, 0210 nano-technology, ComputingMilieux_MISCELLANEOUS
Abstract: International audience; Mixed TixSi1−xO2 oxide can exhibit a partial phase separation of the TiO2 and SiO2 phases at the atomic level. The quantification of TiO2-SiO2 mixing in the amorphous material is complicated and was so far done mostly by infrared spectroscopy. We developed a new approach to the fitting of X-ray photoelectron spectroscopy data for the quantification of partial phase separation in amorphous TixSi1-xO2 thin films deposited by plasma enhanced chemical vapour deposition. Several fitting constraints reducing the total number of degrees of freedom in the fits and thus the fit uncertainty were obtained by using core electron binding energies predicted by density functional theory calculations on TixSi1-xO2 amorphous supercells. Consequently, a decomposition of the O1s peak into TiO2, SiO2 and mixed components was possible. The component areas ratios were compared with the ratios predicted by older theoretical models based on the atomic environment statistics and we also developed several new models corresponding to more realistic atomic structure and partial mixing. Based on the comparison we conclude that the studied films are mostly disordered, with only a moderate phase separation.
Published: 2020
Full Text: View/download PDF

14. The Zero Resource Speech Challenge 2019: TTS without T

Author: Julien Karadayi, Laurent Besacier, Lucas Ondel, Ewan Dunbar, Mathieu Bernard, Charlotte Dugrain, Juan Benjumea, Robin Algayres, Xuan-Nga Cao, Alan W. Black, Lucie Miskic, Emmanuel Dupoux, Sakriani Sakti, Université Paris Diderot - Paris 7 (UPD7), Laboratoire de sciences cognitives et psycholinguistique (LSCP), Département d'Etudes Cognitives - ENS Paris (DEC), École normale supérieure - Paris (ENS Paris)-École normale supérieure - Paris (ENS Paris)-Centre National de la Recherche Scientifique (CNRS)-École des hautes études en sciences sociales (EHESS), Apprentissage machine et développement cognitif (CoML), École normale supérieure - Paris (ENS Paris)-École normale supérieure - Paris (ENS Paris)-Centre National de la Recherche Scientifique (CNRS)-École des hautes études en sciences sociales (EHESS)-Département d'Etudes Cognitives - ENS Paris (DEC), École normale supérieure - Paris (ENS Paris)-École normale supérieure - Paris (ENS Paris)-Centre National de la Recherche Scientifique (CNRS)-École des hautes études en sciences sociales (EHESS)-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Laboratoire de Linguistique Formelle (LLF UMR7110), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS), Brno University of Technology, Language Technologies Institute [Pittsburgh] (LTI), Carnegie Mellon University [Pittsburgh] (CMU), Groupe d’Étude en Traduction Automatique/Traitement Automatisé des Langues et de la Parole (GETALP), Laboratoire d'Informatique de Grenoble (LIG), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA), Nara Institute of Science and Technology, RIKEN Center for Advanced Intelligence Project (AIP), ANR-11-LABX-0025-01,PERSYVAL-lab,Systèmes et Algorithmes Pervasifs au confluent des mondes physique et numérique(2011), École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-École des hautes études en sciences sociales (EHESS)-Centre National de la Recherche Scientifique (CNRS), Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire de sciences cognitives et psycholinguistique (LSCP), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-École des hautes études en sciences sociales (EHESS)-Centre National de la Recherche Scientifique (CNRS)-Département d'Etudes Cognitives - ENS Paris (DEC), Brno University of Technology [Brno] (BUT), Groupe d’Étude en Traduction Automatique/Traitement Automatisé des Langues et de la Parole (GETALP ), Laboratoire d'Informatique de Grenoble (LIG ), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019])-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019]), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019]), RIKEN Center for Advanced Intelligence Project [Tokyo] (RIKEN AIP), RIKEN - Institute of Physical and Chemical Research [Japon] (RIKEN), ANR-11-LABX-0025,PERSYVAL-lab,Systemes et Algorithmes Pervasifs au confluent des mondes physique et numérique(2011), ANR-19-P3IA-0003,MIAI,MIAI @ Grenoble Alpes(2019), Centre National de la Recherche Scientifique (CNRS)-Université Paris Diderot - Paris 7 (UPD7), École normale supérieure - Paris (ENS-PSL), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-École normale supérieure - Paris (ENS-PSL), and Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-École des hautes études en sciences sociales (EHESS)-Centre National de la Recherche Scientifique (CNRS)-Inria de Paris
Subjects: FOS: Computer and information sciences, Sound (cs.SD), Computer science, Speech recognition, Acoustic unit discovery, Speech synthesis, 02 engineering and technology, computer.software_genre, Unsupervised learning, Computer Science - Sound, 030507 speech-language pathology & audiology, 03 medical and health sciences, Raw audio format, Resource (project management), Transcription (linguistics), [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG], Audio and Speech Processing (eess.AS), 0202 electrical engineering, electronic engineering, information engineering, FOS: Electrical engineering, electronic engineering, information engineering, [SPI.ACOU]Engineering Sciences [physics]/Acoustics [physics.class-ph], Computer Science - Computation and Language, 020206 networking & telecommunications, Zero (linguistics), ComputingMethodologies_PATTERNRECOGNITION, Zero resource speech technology, 0305 other medical science, computer, Computation and Language (cs.CL), Electrical Engineering and Systems Science - Audio and Speech Processing
Abstract: We present the Zero Resource Speech Challenge 2019, which proposes to build a speech synthesizer without any text or phonetic labels: hence, TTS without T (text-to-speech without text). We provide raw audio for a target voice in an unknown language (the Voice dataset), but no alignment, text or labels. Participants must discover subword units in an unsupervised way (using the Unit Discovery dataset) and align them to the voice recordings in a way that works best for the purpose of synthesizing novel utterances from novel speakers, similar to the target speaker's voice. We describe the metrics used for evaluation, a baseline system consisting of unsupervised subword unit discovery plus a standard TTS system, and a topline TTS using gold phoneme transcriptions. We present an overview of the 19 submitted systems from 10 teams and discuss the main results., Interspeech 2019
Published: 2019

15. Unique morphogenetic signatures define mammalian neck muscles and associated connective tissues

Author: Estelle Jullian, Alexandre Grimaldi, Marketa Tesarova, Elizabeth M. Sefton, Gabrielle Kardon, Shahragim Tajbakhsh, Jozef Kaiser, Eglantine Heude, Tomáš Zikmund, Robert G. Kelly, Noritaka Adachi, Département Adaptations du vivant (AdV), Evolution des régulations endocriniennes (ERE), Muséum National d'Histoire Naturelle (MNHN)-Centre National de la Recherche Scientifique (CNRS)-Muséum National d'Histoire Naturelle (MNHN)-Centre National de la Recherche Scientifique (CNRS)-Mécanismes adaptatifs : des organismes aux communautés (MECADEV), Centre National de la Recherche Scientifique (CNRS)-Muséum National d'Histoire Naturelle (MNHN)-Centre National de la Recherche Scientifique (CNRS)-Muséum National d'Histoire Naturelle (MNHN)-Molécules de Communication et Adaptation des Micro-organismes (MCAM) (MCAM), Muséum National d'Histoire Naturelle (MNHN)-Centre National de la Recherche Scientifique (CNRS)-Centre National de la Recherche Scientifique (CNRS)-Structure et Instabilité des Génomes (STRING), Muséum National d'Histoire Naturelle (MNHN)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Biologie des Organismes et Ecosystèmes Aquatiques (BOREA), Université de Caen Normandie (UNICAEN), Normandie Université (NU)-Normandie Université (NU)-Muséum National d'Histoire Naturelle (MNHN)-Institut de Recherche pour le Développement (IRD)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université des Antilles (UA)-Université de Caen Normandie (UNICAEN), Normandie Université (NU)-Normandie Université (NU)-Institut de Recherche pour le Développement (IRD)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université des Antilles (UA), First Faculty of Medicine, Charles University [Prague], Department of Human Genetics [Salt Lake City], University of Utah, Institut de Biologie du Développement de Marseille (IBDM), Aix Marseille Université (AMU)-Collège de France (CdF)-Centre National de la Recherche Scientifique (CNRS), Cellules Souches et Développement, Institut Pasteur [Paris]-Centre National de la Recherche Scientifique (CNRS), Central European Institute of Technology [Brno, Czech Republic], Brno University of Technology [Brno], Department of Human Genetics, Département de Biologie du Développement, Institut Pasteur [Paris], Cellules Souches et Développement / Stem Cells and Development, Institut Pasteur [Paris] (IP)-Centre National de la Recherche Scientifique (CNRS), Central European Institute of Technology [Brno] (CEITEC MU), Brno University of Technology [Brno] (BUT), Aix Marseille Université (AMU)-Collège de France (CdF (institution))-Centre National de la Recherche Scientifique (CNRS), and Poulain, Sébastien
Subjects: Male, 0301 basic medicine, Mouse, [SDV]Life Sciences [q-bio], Mesoderm, somite, 0302 clinical medicine, Neck Muscles, Morphogenesis, Biology (General), [SDV.BDD]Life Sciences [q-bio]/Development Biology, ComputingMilieux_MISCELLANEOUS, Mammals, Mice, Knockout, 0303 health sciences, Microscopy, Confocal, Myogenesis, General Neuroscience, [SDV.BA]Life Sciences [q-bio]/Animal biology, [SDV.BID.EVO]Life Sciences [q-bio]/Biodiversity/Populations and Evolution [q-bio.PE], 030302 biochemistry & molecular biology, Gene Expression Regulation, Developmental, Neural crest, General Medicine, Cell biology, [SDV] Life Sciences [q-bio], medicine.anatomical_structure, Somites, Connective Tissue, embryonic structures, Medicine, Female, neural crest, Research Article, TBX1, animal structures, QH301-705.5, Science, Connective tissue, Mice, Transgenic, [SDV.BC]Life Sciences [q-bio]/Cellular Biology, Biology, neck myogenesis, General Biochemistry, Genetics and Molecular Biology, 03 medical and health sciences, medicine, Animals, Muscle, Skeletal, 030304 developmental biology, [SDV.GEN]Life Sciences [q-bio]/Genetics, General Immunology and Microbiology, Lateral plate mesoderm, [SDV.BBM.BM]Life Sciences [q-bio]/Biochemistry, Molecular Biology/Molecular biology, X-Ray Microtomography, Somite, 030104 developmental biology, cranial mesoderm, T-Box Domain Proteins, Developmental biology, 030217 neurology & neurosurgery, Developmental Biology
Abstract: In vertebrates, head and trunk muscles develop from different mesodermal populations and are regulated by distinct genetic networks. Neck muscles at the head-trunk interface remain poorly defined due to their complex morphogenesis and dual mesodermal origins. Here, we use genetically modified mice to establish a 3D model that integrates regulatory genes, cell populations and morphogenetic events that define this transition zone. We show that the evolutionary conserved cucullaris-derived muscles originate from posterior cardiopharyngeal mesoderm, not lateral plate mesoderm, and we define new boundaries for neural crest and mesodermal contributions to neck connective tissue. Furthermore, lineage studies and functional analysis ofTbx1-andPax3-null mice reveal a unique genetic program for somitic neck muscles that is distinct from that of somitic trunk muscles. Our findings unveil the embryological and developmental requirements underlying tetrapod neck myogenesis and provide a blueprint to investigate how muscle subsets are selectively affected in some human myopathies.
Published: 2018
Full Text: View/download PDF

16. Multiscale in modelling and validation for solar photovoltaics

Author: Witold Jacak, Emmanuel Stratakis, J. C. Rimada, Hele Savin, Efrat Lifshitz, Mimoza Ristova, Mateja Hočevar, Radovan Kopecek, Blas Garrido, M. J. M. Gomes, Mircea Guina, Konstantinos Petridis, Alessio Gagliardi, David Fuertes Marrón, Ivana Capan, Jacky Even, Jaroslav Zadny, Pavel Tománek, V. Donchev, Stefan Birner, Janne Halme, Zoe Amin-Akhlaghi, Fatma Yuksel, Frederic Cortes Juan, Ahmed Neijm, Lejo k. Joseph, Søren Madsen, Abdurrahman Şengül, Marija Drev, Kristian Berland, Jose G. F. Coutinho, Knut Deppert, Diego Alonso-Álvarez, José Silva, Lucjan Jacak, Georg Pucker, Marco Califano, Violetta Gianneta, Nicholas J. Ekins-Daukes, Nikola Bednar, Urs Aeberhard, Shuxia Tao, Spyridon Kassavetis, Rasit Turan, Jelena Radovanović, Katarzyna Kluczyk, Ullrich Steiner, Ivana Savic, Maria E. Messing, Victor Neto, Stanko Tomić, Neil Beattie, Shengda Wang, Androula G. Nassiopoulou, Antonio Martí Vega, Denis Mencaraglia, M. Sendova-Vassileva, Ákos Nemcsics, Felipe Murphy Armando, Boukje Ehlen, Jean-François Guillemoles, Matthias Auf der Maur, James P. Connolly, Laurent Pedesseau, Clas Persson, Christin David, Lacramioara Popescu, Bostjan Cerne, N. Adamovic, Jean-Louis Lazzari, JM José Maria Ulloa, Urša Opara Krašovec, Irinela Chilibon, Jan Storch, Zoran Jakšić, Antti Tukiainen, Tareq Abu Hamed, Martin Loncaric, Laurentiu Fara, V. Kazukauskas, Jean-Paul Kleider, Javad Zarbakhsh, Dead Sea-Arava Science Center (DSASC), Institut für Energie- und Klimaforschung - Photovoltaik (IEK-5), Forschungszentrum Jülich GmbH | Centre de recherche de Juliers, Helmholtz-Gemeinschaft = Helmholtz Association-Helmholtz-Gemeinschaft = Helmholtz Association, Imperial College London, ZAMSTEC − Science, Technology and Engineering Consulting, Università degli Studi di Roma Tor Vergata [Roma], University of Northumbria at Newcastle [United Kingdom], University of Leeds, Rudjer Boskovic Institute [Zagreb], Laboratoire Génie électrique et électronique de Paris (GeePs), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Universitat Politècnica de València (UPV), Lund University [Lund], Institut des Fonctions Optiques pour les Technologies de l'informatiON (Institut FOTON), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-École Nationale Supérieure des Sciences Appliquées et de Technologie (ENSSAT)-Centre National de la Recherche Scientifique (CNRS), University Politehnica of Bucharest [Romania] (UPB), Universidad Politécnica de Madrid (UPM), Technische Universität Munchen - Université Technique de Munich [Munich, Allemagne] (TUM), National Center for Scientific Research 'Demokritos' (NCSR), Centre of Physics of the University of Minho (CFUM), Institut de Recherche et Développement sur l'Energie Photovoltaïque (IRDEP), Ecole Nationale Supérieure de Chimie de Paris - Chimie ParisTech-PSL (ENSCP), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut de Chimie du CNRS (INC)-Centre National de la Recherche Scientifique (CNRS)-EDF R&D (EDF R&D), EDF (EDF)-EDF (EDF), Tampere University of Technology [Tampere] (TUT), Aalto University, University of Ljubljana, Wroclaw University of Science and Technology, University of Belgrade [Belgrade], Aristotle University of Thessaloniki, Vilnius University [Vilnius], Centre Interdisciplinaire de Nanoscience de Marseille (CINaM), Aix Marseille Université (AMU)-Centre National de la Recherche Scientifique (CNRS), Aarhus University [Aarhus], University College Cork (UCC), Óbuda University [Budapest], Universidade de Aveiro, University of Oslo (UiO), Technological Educational Institute of Crete, Fondazione Bruno Kessler [Trento, Italy] (FBK), University of Havana (Universidad de la Habana) (UH), Ss. Cyril and Methodius University in Skopje (UKIM), Tyndall National Institute [Cork], Zonguldak Bülent Ecevit University (BEU), Universidade de Taubaté (UNITAU), Cavendish Laboratory, University of Cambridge [UK] (CAM), Institute of Chemical Process Fundamentals of the ASCR, Czech Republic, Foundation for Research and Technology - Hellas (FORTH), Eindhoven University of Technology [Eindhoven] (TU/e), Brno University of Technology [Brno] (BUT), University of Salford, Middle East Technical University [Ankara] (METU), Gebze Technical University, Czech Academy of Sciences [Prague] (CAS), Carinthia University of Applied Sciences, MP1406, European Cooperation in Science and Technology, Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU), Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-École Nationale Supérieure des Sciences Appliquées et de Technologie (ENSSAT)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), EDF R&D (EDF R&D), EDF (EDF)-EDF (EDF)-Centre National de la Recherche Scientifique (CNRS)-Ecole Nationale Supérieure de Chimie de Paris - Chimie ParisTech-PSL (ENSCP), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut de Chimie du CNRS (INC), Centre National de la Recherche Scientifique (CNRS)-Aix Marseille Université (AMU), Ss. Cyril and Methodius University in Skopje, Universidade do Minho, Dead Sea and Arava Science Center, Vienna University of Technology, Forschungszentrum Jülich, University of Rome Tor Vergata, Northumbria University, University of Oslo, nextnano GmbH, Rudjer Boskovic Institute, ZEL-EN d.o.o., National Institute of Research and Development for Optoelectronics, Université Paris-Saclay, Polytechnic University of Valencia, University of Aveiro, Madrid Institute for Advanced Studies in Nanoscience, Lund University, Sofia University St. Kliment Ohridski, Trimo Grp, Boukje.com Consulting, Centre National de la Recherche Scientifique (CNRS), University Politehnica of Bucharest, Technical University of Munich, University of Barcelona, Institute of Nanoscience and Nanotechnology, The University of Tokyo, Tampere University of Technology, Department of Applied Physics, Wrocław University of Science and Technology, University of Belgrade, ISC Konstanz eV, Vilnius University, Aix-Marseille Université, Technion-Israel Institute of Technology, Aarhus University, Polytechnic University of Madrid, University College Cork, Demokritos National Centre for Scientific Research, Silvaco Europe Ltd, Óbuda University, Hellenic Mediterranean University, Fondazione Bruno Kessler, University of Havana, SS Cyril and Methodius University in Skopje, Department of Electronics and Nanoengineering, Bulgarian Academy of Sciences, Bulent Ecevit University, Adolphe Merkle Institute, Czech Academy of Sciences, Foundation for Research and Technology - Hellas, Eindhoven University of Technology, Brno University of Technology, Middle East Technical University, Aalto-yliopisto, Zonguldak Bülent Ecevit Üniversitesi, Center for Computational Energy Research, and Computational Materials Physics
Subjects: Nano structures, lcsh:TJ807-830, Modelling and validation, 02 engineering and technology, semiconductors, 01 natural sciences, 7. Clean energy, Settore ING-INF/01 - Elettronica, Environmental footprints, law.invention, [SPI.MAT]Engineering Sciences [physics]/Materials, Semiconductor materials, WAVE BASIS-SET, law, Photovoltaics, CARRIER MULTIPLICATION, Multi-scale simulation, multi-scale modelling, Telecomunicaciones, COLLOIDAL QUANTUM DOTS, device simulation, NANOMETER-SCALE, Photovoltaic cells, Physics, Photovoltaic system, Nanostructured materials, Renewable energy resources, 021001 nanoscience & nanotechnology, Condensed Matter Physics, Multiscale modeling, Electronic, Optical and Magnetic Materials, Characterization (materials science), Renewable energy, [CHIM.THEO]Chemical Sciences/Theoretical and/or physical chemistry, ELECTRONIC-STRUCTURE, SDG 12 – Verantwoordelijke consumptie en productie, Energías Renovables, Physical Sciences, TIGHT-BINDING, Systems engineering, Electrónica, 0210 nano-technology, NEAR-FIELD, solar cells, third generation photovoltaics, nano structures, Solar cells, J500, Ciências Naturais::Ciências Físicas, F300, H600, Third generation photovoltaics, ta221, Renewable energy source, Ciências Físicas [Ciências Naturais], lcsh:Renewable energy sources, GREENS-FUNCTION, Solar power generation, Different length scale, Physics, Applied, OPTICAL-RESPONSE, 0103 physical sciences, Solar cell, SDG 7 - Affordable and Clean Energy, Electrical and Electronic Engineering, 010306 general physics, Device simulations, Ecological footprint, Science & Technology, ta114, Renewable Energy, Sustainability and the Environment, business.industry, TOTAL-ENERGY CALCULATIONS, [SPI.NRJ]Engineering Sciences [physics]/Electric power, Environmental technology, Nanostructures, Multiple exciton generation, 13. Climate action, Conversion efficiency, business, SDG 12 - Responsible Consumption and Production, SDG 7 – Betaalbare en schone energie
Abstract: Photovoltaics is amongst the most important technologies for renewable energy sources, and plays a key role in the development of a society with a smaller environmental footprint. Key parameters for solar cells are their energy conversion efficiency, their operating lifetime, and the cost of the energy obtained from a photovoltaic system compared to other sources. The optimization of these aspects involves the exploitation of new materials and development of novel solar cell concepts and designs. Both theoretical modeling and characterization of such devices require a comprehensive view including all scales from the atomic to the macroscopic and industrial scale. The different length scales of the electronic and optical degrees of freedoms specifically lead to an intrinsic need for multiscale simulation, which is accentuated in many advanced photovoltaics concepts including nanostructured regions. Therefore, multiscale modeling has found particular interest in the photovoltaics community, as a tool to advance the field beyond its current limits. In this article, we review the field of multiscale techniques applied to photovoltaics, and we discuss opportunities and remaining challenges. © T. Abu Hamed et al., published by EDP Sciences, 2018., European Cooperation in Science and Technology: MP1406, The authors are grateful for the financial support by the COST Action MP1406 “MultiscaleSolar.”
Published: 2018
Full Text: View/download PDF

17. The MegaM@Rt2 ECSEL project: MegaModelling at Runtime – Scalable model-based framework for continuous development and runtime validation of complex systems

Author: Hugo Bruneliere, Jordi Cabot, Luigi Pomante, Pavel Smrz, Andrey Sadovykh, Davide Di Ruscio, Silvia Mazzini, Wasif Afzal, Abel Gómez, Dragos Truscan, Eric Cariou, Jesus Gorronogoitia, Mälardalen University College ( MDH ), NaoMod - Nantes Software Modeling Group ( NaoMod ), Laboratoire des Sciences du Numérique de Nantes ( LS2N ), Université de Nantes ( UN ) -École Centrale de Nantes ( ECN ) -Centre National de la Recherche Scientifique ( CNRS ) -IMT Atlantique Bretagne-Pays de la Loire ( IMT Atlantique ) -Université de Nantes ( UN ) -École Centrale de Nantes ( ECN ) -Centre National de la Recherche Scientifique ( CNRS ) -IMT Atlantique Bretagne-Pays de la Loire ( IMT Atlantique ), Automatique, productique et informatique ( DAPI ), IMT Atlantique Bretagne-Pays de la Loire ( IMT Atlantique ), University of L'Aquila [Italy] ( UNIVAQ ), SOFTEAM, INTECS, Laboratoire Informatique de l'Université de Pau et des Pays de l'Adour ( LIUPPA ), Université de Pau et des Pays de l'Adour ( UPPA ), Abo Akademi University [Turku], Institució Catalana de Recerca i Estudis Avançats [Barcelona] ( ICREA ), Universitat de Barcelona ( UB ) -Fundació Catalana per a la Recerca i la Innovació (FCRI)-ICREA, Universitat Oberta de Catalunya [Barcelona] ( UOC ), ATOS [madrid], ATOS Origin, Brno University of Technology, European Project : 737494,H2020,MegaM@Rt2 ( 2017 ), Mälardalen University (MDH), NaoMod - Nantes Software Modeling Group (LS2N - équipe NaoMod), Laboratoire des Sciences du Numérique de Nantes (LS2N), Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique (IMT Atlantique), University of L'Aquila [Italy] (UNIVAQ), Laboratoire Informatique de l'Université de Pau et des Pays de l'Adour (LIUPPA), Université de Pau et des Pays de l'Adour (UPPA), Åbo Akademi University [Turku], Institució Catalana de Recerca i Estudis Avançats (ICREA), Universitat Oberta de Catalunya [Barcelona] (UOC), Brno University of Technology [Brno] (BUT), European Project: 737494,H2020 ,H2020-ECSEL-2016-1-RIA-two-stage,MegaMaRt2(2017), NaoMod - Nantes Software Modeling Group (NaoMod), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Università degli Studi dell'Aquila, Åbo Akademi University, Université de Pau et des Pays de l'Adour, Mälardalen University, and Universitat Oberta de Catalunya. Internet Interdisciplinary Institute (IN3)
Subjects: Work package, Computer science, Research and development management, Adaptive computing systems, 02 engineering and technology, System lifecycle, Design Time, tiempo de ejecución, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], temps de disseny, 0202 electrical engineering, electronic engineering, information engineering, Use case, Continuous development, computer.programming_language, Sistemes adaptatius (Informàtica), ingeniería dirigida por modelos, Model-Driven Engineering, Industrial enterprise, 020202 computer hardware & architecture, Electronic industries, Runtime, Hardware and Architecture, Scalability, enginyeria dirigida per models, Design time, Computer and Information Sciences, Traceability, Computer Networks and Communications, Life cycle, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [ INFO.INFO-SE ] Computer Science [cs]/Software Engineering [cs.SE], Deliverable, Artificial Intelligence, Sistemas adaptativos (Informática), Runtimes, [ INFO.INFO-CL ] Computer Science [cs]/Computation and Language [cs.CL], business.industry, 020207 software engineering, Data- och informationsvetenskap, Megamodelling, Industrial research, temps d'execució, Model-driven engineering, Software, Software deployment, Systems design, tiempo de diseño, Model-driven architecture, Software engineering, business, computer, Traceability managements
Abstract: International audience; A major challenge for the European electronic industry is to enhance productivity by ensuring quality of development, integration and maintenance while reducing the associated costs. Model-Driven Engineering (MDE) principles and techniques have already shown promising capabilities, but they still need to scale up to support real-world scenarios implied by the full deployment and use of complex electronic components and systems. Moreover, maintaining efficient traceability, integration, and communication between two fundamental system life cycle phases (design time and runtime) is another challenge requiring the scalability of MDE. This paper presents an overview of the ECSEL1 project entitled “MegaModelling at runtime – Scalable model-based framework for continuous development and runtime validation of complex systems” (MegaM@Rt2), whose aim is to address the above mentioned challenges facing MDE. Driven by both large and small industrial enterprises, with the support of research partners and technology providers, MegaM@Rt2 aims to deliver a framework of tools and methods for: 1) system engineering/design and continuous development, 2) related runtime analysis and 3) global models and traceability management. Diverse industrial use cases (covering strategic domains such as aeronautics, railway, construction and telecommunications) will integrate and demonstrate the validity of the MegaM@Rt2 solution. This paper provides an overview of the MegaM@Rt2 project with respect to its approach, mission, objectives as well as to its implementation details. It further introduces the consortium as well as describes the work packages and few already produced deliverables.
Published: 2018
Full Text: View/download PDF

18. Stability of the In-Plane Room Temperature van der Waals Ferromagnet Chromium Ditelluride and Its Conversion to Chromium-Interleaved CrTe2 Compounds

Author: Anike Purbawati, Suman Sarkar, Sébastien Pairis, Marek Kostka, Abdellali Hadj-Azzem, Didier Dufeu, Priyank Singh, Daniel Bourgault, Manuel Nuñez-Regueiro, Jan Vogel, Julien Renard, Laëtitia Marty, Florentin Fabre, Aurore Finco, Vincent Jacques, Lei Ren, Vivekanand Tiwari, Cedric Robert, Xavier Marie, Nedjma Bendiab, Nicolas Rougemaille, Johann Coraux, Micro et NanoMagnétisme (NEEL - MNM), Institut Néel (NEEL), Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ), Université Grenoble Alpes (UGA)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ), Université Grenoble Alpes (UGA), Systèmes hybrides de basse dimensionnalité (NEEL - HYBRID), Croissance Cristalline et MicroAnalyse (NEEL - C2MA), Brno University of Technology [Brno] (BUT), Ingénierie Expérimentale (NEEL - ExpE), Thermodynamique et biophysique des petits systèmes (NEEL - TPS), Magnétisme et Supraconductivité (NEEL - MagSup), Laboratoire Charles Coulomb (L2C), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Laboratoire de physique et chimie des nano-objets (LPCNO), Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut de Chimie de Toulouse (ICT), Institut de Recherche pour le Développement (IRD)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut de Chimie du CNRS (INC)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Institut de Recherche pour le Développement (IRD)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Institut de Chimie du CNRS (INC)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Fédération de recherche « Matière et interactions » (FeRMI), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), and Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Centre National de la Recherche Scientifique (CNRS)
Subjects: [PHYS]Physics [physics], Condensed Matter - Materials Science, Materials Chemistry, Electrochemistry, Materials Science (cond-mat.mtrl-sci), FOS: Physical sciences, Electronic, Optical and Magnetic Materials
Abstract: Van der Waals magnetic materials are building blocks for novel kinds of spintronic devices and playgrounds for exploring collective magnetic phenomena down to the two-dimensional limit. Chromium-tellurium compounds are relevant in this perspective. In particular, the 1$T$ phase of CrTe$_2$ has been argued to have a Curie temperature above 300~K, a rare and desirable property in the class of lamellar materials, making it a candidate for practical applications. However, recent literature reveals a strong variability in the reported properties, including magnetic ones. Using electron microscopy, diffraction and spectroscopy techniques, together with local and macroscopic magnetometry approaches, our work sheds new light on the structural, chemical and magnetic properties of bulk 1$T$-CrTe$_2$ exfoliated in the form of flakes having a thickness ranging from few to several tens of nanometers. We unambiguously establish that 1$T$-CrTe$_2$ flakes are ferromagnetic above room temperature, have an in-plane easy axis of magnetization, low coercivity, and we confirm that their Raman spectroscopy signatures are two modes, $E_{2\text{g}}$ (103.5~cm$^{-1}$) and $A_{1\text{g}}$ (136.5~cm$^{-1}$). We also prove that thermal annealing causes a phase transformation to monoclinic Cr$_5$Te$_8$ and, to a lesser extent, to trigonal Cr$_5$Te$_8$. In sharp contrast with 1$T$-CrTe$_2$, none of these compounds have a Curie temperature above room temperature, and they both have perpendicular magnetic anisotropy. Our findings reconcile the apparently conflicting reports in the literature and open opportunities for phase-engineered magnetic properties.
Published: 2023
Full Text: View/download PDF

19. Pyridyl-benzimidazole derivatives decorated with phenylazo substituents and their low-spin iron(<scp>ii</scp>) complexes: a study of the synthesis, structure and photoisomerization

Author: Jakub Orvoš, Róbert Fischer, Barbora Brachňaková, Ján Pavlik, Ján Moncoľ, Alexandra Šagátová, Marek Fronc, Jozef Kožíšek, Lucie Routaboul, Azzedine Bousseksou, Ivan Šalitroš, Slovak University of Technology in Bratislava, Laboratoire de chimie de coordination (LCC), Institut de Chimie de Toulouse (ICT), Institut de Recherche pour le Développement (IRD)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut de Chimie du CNRS (INC)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Institut de Recherche pour le Développement (IRD)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS), Palacky University Olomouc, and Brno University of Technology [Brno] (BUT)
Subjects: [CHIM.ORGA]Chemical Sciences/Organic chemistry, Materials Chemistry, [CHIM.COOR]Chemical Sciences/Coordination chemistry, General Chemistry, Catalysis
Abstract: International audience; A series of phenylazo-substituted derivatives of pyridyl-benzimidazoles L1–L5 has been synthesized via a modified Mills reaction and their structural, spectral and photoswitching properties were investigated. NMR spectroscopy and single-crystal X-ray diffraction analysis of the desired compounds confirmed their E conformation. The light-induced E ↔ Z (also called trans ↔ cis) isomerization was monitored using UV-VIS and 1H NMR spectroscopy that revealed a reversible photochromic behavior governed by first-order kinetics. State-of-the-art meta-dynamics simulations (iMTD-GC) and ab initio calculations (CASSCF-NEVPT2 and STEOM-DLPNO-CCSD) made the analysis of the electronic structures of ligands possible, which helped to explain the bland E-to-Z conversion of L1 and pronounced switching of L2–L5 ligands. Furthermore, the computational studies identified the active wavelengths of E-to-Z conversion and allowed assessing the mechanisms of photoisomerization. Additionally, ligands L1 and L2 were used for the preparation of four ferrous coordination compounds C1–C4 in which the structural and magnetic investigations confirmed the permanent low-spin state and diamagnetic behavior in the solid state. On the other hand, dissolved compounds C1 and C2 are high-spin at room temperature and their blue light irradiation causes the decomplexation instead of the desired E-to-Z isomerization.
Published: 2023
Full Text: View/download PDF

20. {SPEN:} {A} Solver for Separation Logic

Author: Mihaela Sighireanu, Tomáš Vojnar, Ondřej Lengál, Constantin Enea, Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS), Faculty of Information Technology [Brno] (FIT / BUT), Brno University of Technology [Brno] (BUT), Enea, Constantin, Faculty of Information Technology [Brno] (FIT), and Brno University of Technology [Brno]
Subjects: [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Theoretical computer science, Computer science, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], 020207 software engineering, 02 engineering and technology, Separation logic, [INFO] Computer Science [cs], Solver, 16. Peace & justice, Satisfiability, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Automaton, Tree (data structure), TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Fragment (logic), 0202 electrical engineering, electronic engineering, information engineering, Benchmark (computing), Computer Science::Programming Languages, [INFO]Computer Science [cs], 020201 artificial intelligence & image processing, Heap (data structure)
Abstract: International audience; SPEN is a solver for a fragment of separation logic (SL) with inductively-defined predicates covering both (nested) list structures as well as various kinds of trees, possibly extended with data. The main functionalities of SPEN are deciding the satisfiability of a formula and the validity of an entailment between two formulas, which are essential for verification of heap manipulating programs. The solver also provides models for satisfiable formulas and diagnosis for invalid entailments. SPEN combines several concepts in a modular way, such as boolean abstractions of SL formulas, SAT and SMT solving, and tree au-tomata membership testing. The solver has been successfully applied to a rather large benchmark of various problems issued from program verification tools.
Published: 2017
Full Text: View/download PDF

21. European summer temperatures since Roman times

Author: Luterbacher, J., Werner, J. P., Smerdon, J. E., Fernandez-Donado, L., Gonzalez-Rouco, F. J., Barriopedro, D., Ljungqvist, F. C., Buentgen, U., Zorita, E., Wagner, S., Esper, J., Mccarroll, D., Toreti, A., Frank, D., Jungclaus, J. H., Barriendos, M., Bertolin, C., Bothe, O., Brazdil, R., Camuffo, D., Dobrovolny, P., Gagen, M., Garica-Bustamante, E., Ge, Q., Gomez-Navarro, J. J., Guiot, Joel, Hao, Z., Hegerl, G. C., Holmgren, K., Klimenko, V. V., Martin-Chivelet, J., Pfister, C., Roberts, N., Schindler, A., Schurer, A., Solomina, O., Gunten, L., Wahl, E., Wanner, H., Wetter, O., Xoplaki, E., Yuan, N., Zanchettin, D., Zhang, H., Zerefos, C., Institute of Geography [Bern], University of Bern, GKSS Research Centre, Swiss Federal Research Institute WSL, SWISS FEDERAL RESEARCH INSTITUTE WSL, Max Planck Institute for Meteorology (MPI-M), Max-Planck-Gesellschaft, Departament d'Astronomia i Meteorologia [Barcelona] (DAM), Universitat de Barcelona (UB), Climate Service Center [Hambourg] (GERICS), Helmholtz-Zentrum Geesthacht (GKSS), Brno University of Technology [Brno], Centre européen de recherche et d'enseignement des géosciences de l'environnement (CEREGE), Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche pour le Développement (IRD)-Collège de France (CdF)-Institut national des sciences de l'Univers (INSU - CNRS)-Aix Marseille Université (AMU)-Institut National de la Recherche Agronomique (INRA), Ecosystèmes continentaux et risques environnementaux (ECCOREV), Aix Marseille Université (AMU)-Centre National de la Recherche Scientifique (CNRS), Living Environment Laboratory (LELab). University of Tokyo, The University of Tokyo, Earth and Ocean Sciences Division, Nicholas School of the Environment, Duke University [Durham]-Duke University [Durham], Institute of Geography, Russian Academy of Sciences, Moscow, Russian Federation, Research Centre for Atmospheric Physics and Climatology [Athens], Academy of Athens, Brno University of Technology [Brno] (BUT), Institut de Recherche pour le Développement (IRD)-Institut National de la Recherche Agronomique (INRA)-Aix Marseille Université (AMU)-Collège de France (CdF (institution))-Institut national des sciences de l'Univers (INSU - CNRS)-Centre National de la Recherche Scientifique (CNRS), The University of Tokyo (UTokyo), and Aix Marseille Université (AMU)-Institut national des sciences de l'Univers (INSU - CNRS)-Collège de France (CdF (institution))-Institut de Recherche pour le Développement (IRD)-Centre National de la Recherche Scientifique (CNRS)-Institut National de la Recherche Agronomique (INRA)
Subjects: 300 Social sciences, sociology & anthropology, 530 Physics, European summer temperature reconstruction, [SDE.MCG]Environmental Sciences/Global Changes, paleoclimatology, Settore GEO/12 - Oceanografia e Fisica dell'Atmosfera, Common Era, Medieval Climate Anomaly, Bayesian hierarchical modelling, ensemble of climate model simulations, heat waves, Heat waves, Ensemble of climate model simulations, 570 Life sciences, biology, Paleoclimatology, 550 Earth sciences & geology
Abstract: The spatial context is critical when assessing present-day climate anomalies, attributing them to potential forcings and making statements regarding their frequency and severity in a long-term perspective. Recent international initiatives have expanded the number of high-quality proxy-records and developed new statistical reconstruction methods. These advances allow more rigorous regional past temperature reconstructions and, in turn, the possibility of evaluating climate models on policy-relevant, spatio-temporal scales. Here we provide a new proxy-based, annually-resolved, spatial reconstruction of the European summer (June–August) temperature fields back to 755 CE based on Bayesian hierarchical modelling (BHM), together with estimates of the European mean temperature variation since 138 BCE based on BHM and composite-plus-scaling (CPS). Our reconstructions compare well with independent instrumental and proxy-based temperature estimates, but suggest a larger amplitude in summer temperature variability than previously reported. Both CPS and BHM reconstructions indicate that the mean 20th century European summer temperature was not significantly different from some earlier centuries, including the 1st, 2nd, 8th and 10th centuries CE. The 1st century (in BHM also the 10th century) may even have been slightly warmer than the 20th century, but the difference is not statistically significant. Comparing each 50 yr period with the 1951–2000 period reveals a similar pattern. Recent summers, however, have been unusually warm in the context of the last two millennia and there are no 30 yr periods in either reconstruction that exceed the mean average European summer temperature of the last 3 decades (1986–2015 CE). A comparison with an ensemble of climate model simulations suggests that the reconstructed European summer temperature variability over the period 850–2000 CE reflects changes in both internal variability and external forcing on multi-decadal time-scales. For pan-European temperatures we find slightly better agreement between the reconstruction and the model simulations with high-end estimates for total solar irradiance. Temperature differences between the medieval period, the recent period and the Little Ice Age are larger in the reconstructions than the simulations. This may indicate inflated variability of the reconstructions, a lack of sensitivity and processes to changes in external forcing on the simulated European climate and/or an underestimation of internal variability on centennial and longer time scales., Support for PAGES 2k activities is provided by the US and Swiss National Science Foundations, US National Oceanographic and Atmospheric Administration and by the International Geosphere-Biosphere Programme. JPWacknowledges support from the Centre of Climate Dynamics (SKD), Bergen. The work of OB, SW and EZ is part of CLISAP. JL, SW, EZ, JPW, JGN, OB also acknowledge support by the German Science Foundation Project ‘Precipitation in the past millennia in Europe–Extensionback toRoman times’.MBacknowledges the Catalan Meteorological Survey (SMC), National Programme I+D, Project CGL2011-28255. PD and RB acknowledge support from the Czech Science Foundation project no. GA13-04291S. VK was supported by Russian Science Foundation (grant 14- 19-00765) and the Russian Foundation for Humanities (grants 15-07-00012, 15-37-11129). GH and AS are supported by the ERC funded project TITAN (EC- 320691). GH was further funded by the Wolfson Foundation and the Royal Society as a Royal Society Wolfson Research Merit Award (WM130060) holder. NY is funded by the LOEWEexcellence cluster FACE2- FACE of the Hessen State Ministry of Higher Education, Research and the Arts; HZ acknowledge support from the DFG project AFICHE. Lamont contribution #7961. The reconstructions can be downloaded from the NOAA paleoclimate homepage: www.ncdc.noaa. gov/paleo/study/19600. LFD, EGB and JFGR were supported by grants CGL2011-29677-c02-02 and CGL2014-599644-R. All authors are part of the Euro- Med 2kConsortium.
Published: 2016
Full Text: View/download PDF

22. Algorithms for audio inpainting based on probabilistic nonnegative matrix factorization

Author: Ondřej Mokrý, Paul Magron, Thomas Oberlin, Cédric Févotte, Brno University of Technology [Brno] (BUT), Speech Modeling for Facilitating Oral-Based Communication (MULTISPEECH), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Natural Language Processing & Knowledge Discovery (LORIA - NLPKD), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Institut Supérieur de l'Aéronautique et de l'Espace (ISAE-SUPAERO), Signal et Communications (IRIT-SC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Centre National de la Recherche Scientifique (CNRS), Czech Science Foundation (GA ˇCR) Project No. 20-29009S, ANR-19-P3IA-0004,ANITI,Artificial and Natural Intelligence Toulouse Institute(2019), European Project: CoG-6681839,ERC FACTORY, Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Magron, Paul, Artificial and Natural Intelligence Toulouse Institute - - ANITI2019 - ANR-19-P3IA-0004 - P3IA - VALID, and European Research Council (ERC FACTORY-CoG-6681839) - ERC FACTORY - CoG-6681839 - INCOMING
Subjects: FOS: Computer and information sciences, Sound (cs.SD), [INFO.INFO-TS] Computer Science [cs]/Signal and Image Processing, audio inpainting, nonnegative matrix factorization, Computer Science - Sound, expectation-maximization, [INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing, Audio and Speech Processing (eess.AS), Computer Science::Sound, Control and Systems Engineering, alternating minimization, Signal Processing, FOS: Electrical engineering, electronic engineering, information engineering, Computer Vision and Pattern Recognition, Electrical and Electronic Engineering, Software, Electrical Engineering and Systems Science - Audio and Speech Processing
Abstract: International audience; Audio inpainting, i.e., the task of restoring missing or occluded audio signal samples, usually relies on sparse representations or autoregressive modeling. In this paper, we propose to structure the spectrogram with nonnegative matrix factorization (NMF) in a probabilistic framework. First, we treat the missing samples as latent variables, and derive two expectation-maximization algorithms for estimating the parameters of the model, depending on whether we formulate the problem in the time-or time-frequency domain. Then, we treat the missing samples as parameters, and we address this novel problem by deriving an alternating minimization scheme. We assess the potential of these algorithms for the task of restoring short-to middle-length gaps in music signals. Experiments reveal great convergence properties of the proposed methods, as well as competitive performance when compared to state-of-the-art audio inpainting techniques.
Published: 2023

23. Efficient Tree Construction for Multiscale Image Representation and Processing

Author: Sébastien Lefèvre, François Merciol, Jiří Havel, Faculty of Information Technology [Brno] (FIT / BUT), Brno University of Technology [Brno] (BUT), Environment observation with complex imagery (OBELIX), Université de Bretagne Sud (UBS)-SIGNAUX ET IMAGES NUMÉRIQUES, ROBOTIQUE (IRISA-D5), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), CentraleSupélec-Télécom Bretagne-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Rennes (ENS Rennes)-Université de Bretagne Sud (UBS)-Centre National de la Recherche Scientifique (CNRS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-CentraleSupélec-Télécom Bretagne-Université de Rennes 1 (UR1), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Rennes (ENS Rennes)-Centre National de la Recherche Scientifique (CNRS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Faculty of Information Technology [Brno] (FIT), Brno University of Technology [Brno], Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Université de Bretagne Sud (UBS)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-CentraleSupélec-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Université de Rennes (UNIV-RENNES)-CentraleSupélec-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-Université de Rennes 1 (UR1), and Université de Rennes (UNIV-RENNES)-CentraleSupélec
Subjects: Pixel, Computer science, business.industry, ComputingMethodologies_IMAGEPROCESSINGANDCOMPUTERVISION, 020207 software engineering, Image processing, Pattern recognition, 02 engineering and technology, Data structure, Computer graphics, Range (mathematics), Tree (data structure), Minimum spanning tree-based segmentation, [INFO.INFO-TI]Computer Science [cs]/Image Processing [eess.IV], 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Computer vision, Artificial intelligence, business, Information Systems, Feature detection (computer vision)
Abstract: International audience; With the continuous growth of sensor performances , image analysis and processing algorithms have to cope with larger and larger data volumes. Besides, the informative components of an image might not be the pixels themselves, but rather the objects they belong to. This has led to a wide range of successful multiscale techniques in image analysis and computer vision. Hierarchical representations are thus of first importance, and require efficient algorithms to be computed in order to address real-life applications. Among these hierarchical models, we focus on morphological trees (e.g., min/max-tree, tree of shape, binary partition tree, α-tree) that come with interesting properties and already led to appropriate techniques for image processing and analysis, with a growing interest from the image processing community. More precisely, we build upon two recent algorithms for efficient α-tree computation and introduce several improvements to achieve higher performance. We also discuss the impact of the data structure underlying the tree representation, and provide for the sake of illustration several applications where efficient multiscale image representation leads to fast but accurate techniques, e.g. in remote sensing image analysis or video segmentation.
Published: 2016
Full Text: View/download PDF

24. Magneto-optical signature of massless Kane electrons in Cd3As2

Author: Akrap, A., Hakl, M., Tchoumakov, S., Crassee, I., Kuba, J., Goerbig, M., Homes, C. c., Caha, O., Novák, J., Teppe, F., Desrat, W., Koohpayeh, S., Wu, L., Armitage, N. p., Nateprov, A., Arushanov, E., Gibson, Q. d., Cava, J., van Der Marel, D., Piot, B., Faugeras, C., Martinez Garcia, Gines, Potemski, M., Orlita, M., Department of Quantum Matter Physics [Geneva] (DQMP), University of Geneva [Switzerland], Laboratoire national des champs magnétiques intenses - Grenoble (LNCMI-G ), Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019]), Laboratoire de Physique des Solides (LPS), Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS), Group of Applied Physics - Biophotonics [Geneva] (GAP-Biophotonics), Group of Applied Physics [Geneva] (GAP), University of Geneva [Switzerland]-University of Geneva [Switzerland], CEITEC BUT, Brno University of Technology, Purkynova 123, 612 00 Brno, Czech Republic, Centre National de la Recherche Scientifique (CNRS)-Université Paris-Sud - Paris 11 (UP11), Department of Condensed Matter Physics and Materials Science [TIFR] (CMPMS), Tata Institute for Fundamental Research (TIFR), Central European Institute of Technology [Brno] (CEITEC MU), Brno University of Technology [Brno] (BUT), Laboratoire Charles Coulomb (L2C), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS), Johns Hopkins University (JHU), University of California [Berkeley], University of California, Academy of Sciences of Moldova, Academy of Sciences of Moldova (ASM), Department of Physics, Princeton University (DPPU), Princeton University, and Université Paris-Sud - Paris 11 (UP11)-Centre National de la Recherche Scientifique (CNRS)
Subjects: Condensed Matter - Other Condensed Matter, Condensed Matter - Materials Science, Condensed Matter - Mesoscale and Nanoscale Physics, [PHYS.COND.CM-GEN]Physics [physics]/Condensed Matter [cond-mat]/Other [cond-mat.other], Mesoscale and Nanoscale Physics (cond-mat.mes-hall), [PHYS.COND.CM-MS]Physics [physics]/Condensed Matter [cond-mat]/Materials Science [cond-mat.mtrl-sci], Materials Science (cond-mat.mtrl-sci), FOS: Physical sciences, ddc:500.2, [PHYS.COND.CM-MSQHE]Physics [physics]/Condensed Matter [cond-mat]/Mesoscopic Systems and Quantum Hall Effect [cond-mat.mes-hall], Other Condensed Matter (cond-mat.other)
Abstract: We report on optical reflectivity experiments performed on Cd3As2 over a broad range of photon energies and magnetic fields. The observed response clearly indicates the presence of 3D massless charge carriers. The specific cyclotron resonance absorption in the quantum limit implies that we are probing massless Kane electrons rather than symmetry-protected 3D Dirac particles. The latter may appear at a smaller energy scale and are not directly observed in our infrared experiments., Comment: 5 pages, 4 figures + supplementary materials (17 pages), to be published in Phys. Rev. Lett
Published: 2016
Full Text: View/download PDF

25. Genome expansion of Arabis alpina linked with retrotransposition and reduced symmetric DNA methylation

Author: Florian Maumus, Nora Bujdoso, Christiane Kiefer, I. Mateos, Claudia Chica, Korbinian Schneeberger, Claude Becker, George Coupland, Mathieu Piednoël, Maria C. Albani, Raquel Iglesias-Fernández, Martin A. Lysak, Geo Velikkakam James, Vimal Rawat, Karl Nordström, Thomas Piofczyk, Loren Castaings, Laura de Lorenzo, Cristina Barrero-Sicilia, Matthias Zytnicki, François Roudier, Javier Paz-Ares, Vincent Colot, Julieta L. Mateos, Markus C. Berns, Pilar Carbonero, Eva-Maria Willing, Sara Bergonzi, Bogna Szarzynska, Detlef Weigel, Jörg Hagmann, Norman Warthmann, Seth J. Davis, Ales Pecinka, Romy Chen-Min-Tao, Terezie Mandáková, Stephan C. Schuster, Hadi Quesneville, Carlos Alonso-Blanco, Department of Plant Developmental Biology, Max Planck Institute for Plant Breeding Research (MPIPZ), Research group Plant Cytogenomics, Central European Institute of Technology [Brno] (CEITEC), Unité de Recherche Génomique Info (URGI), Institut National de la Recherche Agronomique (INRA), Department of Molecular Biology, Max Planck Institute for Developmental Biology, Max-Planck-Gesellschaft-Max-Planck-Gesellschaft, Research School of Biology, Australian National University (ANU), Institut de biologie de l'ENS Paris (UMR 8197/1024) (IBENS), Département de Biologie - ENS Paris, École normale supérieure - Paris (ENS Paris)-École normale supérieure - Paris (ENS Paris)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Centre National de la Recherche Scientifique (CNRS), Unité de Biométrie et Intelligence Artificielle (UBIA), Department of Plant Molecular Genetics, Centro Nacional de Biotecnologia, Consejo Superior de Investigaciones Científicas [Spain] (CSIC), Centro de Biotecnología y Genómica de Plantas, Universidad Politécnica de Madrid (UPM), Max-Planck-Gesellschaft, Center for Comparative Genomics and Bioinformatics, Pennsylvania State University (Penn State), Penn State System-Penn State System, ANR, Central European Institute of Technology [Brno] (CEITEC MU), Brno University of Technology [Brno] (BUT)-Brno University of Technology [Brno] (BUT), Institut de biologie de l'ENS Paris (IBENS), Centre National de la Recherche Scientifique (CNRS)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Département de Biologie - ENS Paris, École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de la Santé et de la Recherche Médicale (INSERM)-École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de la Santé et de la Recherche Médicale (INSERM), Consejo Superior de Investigaciones Científicas [Madrid] (CSIC), Center for Comparative Genomics and Bioinformatics (CCBB), Brno University of Technology [Brno] (BUT), Institut National de la Santé et de la Recherche Médicale (INSERM)-Centre National de la Recherche Scientifique (CNRS)-Département de Biologie - ENS Paris, Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS Paris), and Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Centre National de la Recherche Scientifique (CNRS)
Subjects: 0106 biological sciences, Transposable element, Epigenomics, Biología, [SDV]Life Sciences [q-bio], Retrotransposon, Plant Science, Biology, 01 natural sciences, Genome, Ciencias Biológicas, 03 medical and health sciences, Plant evolution, Laboratorium voor Plantenveredeling, Life Science, Ciencias de las Plantas, Botánica, 030304 developmental biology, 2. Zero hunger, Genetics, 0303 health sciences, Arabis alpina, ARABIS ALPINA, Methylation, biology.organism_classification, Long terminal repeat, GENOME, Phylogenetics, Plant Breeding, DNA methylation, CIENCIAS NATURALES Y EXACTAS, 010606 plant biology & botany
Abstract: Despite evolutionary conserved mechanisms to silence transposable element activity, there are drastic differences in the abundance of transposable elements even among closely related plant species. We conducted a de novo assembly for the 375 Mb genome of the perennial model plant, Arabis alpina. Analysing this genome revealed long-lasting and recent transposable element activity predominately driven by Gypsy long terminal repeat retrotransposons, which extended the low-recombining pericentromeres and transformed large formerly euchromatic regions into repeat-rich pericentromeric regions. This reduced capacity for long terminal repeat retrotransposon silencing and removal in A. alpina co-occurs with unexpectedly low levels of DNA methylation. Most remarkably, the striking reduction of symmetrical CG and CHG methylation suggests weakened DNA methylation maintenance in A. alpina compared with Arabidopsis thaliana. Phylogenetic analyses indicate a highly dynamic evolution of some components of methylation maintenance machinery that might be related to the unique methylation in A. alpina. Fil: Willing, Eva Maria. Max Planck Institute for Plant Breeding Research; Alemania Fil: Rawat, Vimal. Central European Institute of Technology; República Checa Fil: Mandáková, Terezie. Central European Institute of Technology; República Checa Fil: Maumus, Florian. INRA. Research Unit in Genomics; Francia Fil: James, Geo Velikkakam. Max Planck Institute for Plant Breeding Research; Alemania Fil: Nordström, Karl J. V.. Max Planck Institute for Plant Breeding Research; Alemania Fil: Becker, Claude. Max Planck Institute for Developmental Biology; Alemania Fil: Warthmann, Norman. Max Planck Institute for Developmental Biology; Alemania. The Australian National University; Australia Fil: Chica, Claudia. Centre National de la Recherche Scientifique; Francia Fil: Szarzynska, Bogna. Centre National de la Recherche Scientifique; Francia Fil: Zytnicki, Matthias. Max Planck Institute for Developmental Biology; Alemania Fil: Albani, Maria C.. Max Planck Institute for Plant Breeding Research; Alemania Fil: Kiefer, Christiane. Max Planck Institute for Plant Breeding Research; Alemania Fil: Bergonzi, Sara. Max Planck Institute for Plant Breeding Research; Alemania Fil: Castaings, Loren. Max Planck Institute for Plant Breeding Research; Alemania Fil: Mateos, Julieta Lisa. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Instituto de Investigaciones Bioquímicas de Buenos Aires. Fundación Instituto Leloir. Instituto de Investigaciones Bioquímicas de Buenos Aires; Argentina. Max Planck Institute for Plant Breeding Research; Alemania Fil: Berns, Markus C.. Max Planck Institute for Plant Breeding Research; Alemania Fil: Bujdoso, Nora. Max Planck Institute for Plant Breeding Research; Alemania Fil: Piofczyk, Thomas. Max Planck Institute for Plant Breeding Research; Alemania Fil: Roudier, François. Centre National de la Recherche Scientifique; Francia Fil: Carbonero, Pilar. Universidad Politécnica de Madrid; España Fil: Paz Ares, Javier. Consejo Superior de Investigaciones Cientificas; España Fil: Davis, Seth J.. Max Planck Institute for Plant Breeding Research; Alemania Fil: Pecinka, Ales. Max Planck Institute for Plant Breeding Research; Alemania Fil: Quesneville, Hadi. INRA. Research Unit in Genomics; Francia Fil: Colot, Vincent. Centre National de la Recherche Scientifique; Francia Fil: Lysak, Martin A.. Central European Institute of Technology; República Checa Fil: Weigel, Detlef. Max Planck Institute for Developmental Biology; Alemania Fil: Coupland, George. Max Planck Institute for Plant Breeding Research; Alemania Fil: Schneeberger, Korbinian. Max Planck Institute for Plant Breeding Research; Alemania
Published: 2015
Full Text: View/download PDF

26. Reactivity and transport mapping of Cu(II) ions in humic hydrogels

Author: Petr Sedlacek, Martina Klučáková, Michal Kalina, Laurent Grasset, Brno University of Technology [Brno], Synthèse et réactivité des substances naturelles (SRSN), Centre National de la Recherche Scientifique (CNRS)-Université de Poitiers, Brno University of Technology [Brno] (BUT), and Université de Poitiers-Institut de Chimie du CNRS (INC)-Centre National de la Recherche Scientifique (CNRS)
Subjects: chemistry.chemical_classification, Chemistry, [CHIM.ORGA]Chemical Sciences/Organic chemistry, Stratigraphy, Diffusion, Metal ions in aqueous solution, Inorganic chemistry, Reactivity, [CHIM.CATA]Chemical Sciences/Catalysis, 010501 environmental sciences, 010402 general chemistry, 01 natural sciences, complex mixtures, Methylation, 0104 chemical sciences, Ion, Humic acid, Self-healing hydrogels, Functional groups, Reactivity (chemistry), [CHIM.OTHE]Chemical Sciences/Other, 0105 earth and related environmental sciences, Earth-Surface Processes
Abstract: International audience; Reactivity and transport properties of metal ions are important both for evaluating and understanding role of humic substances in natural systems and human-driven applications as solving their structural questions. This paper focuses on metal ions diffusion and immobilization in humic hydrogels with various contents of reactive functional groups of humic substances in order to study an effect of their selective blocking on the mobility and immobilization of Cu(II) ions. Cu(II) ions were chosen as an example of reactive metal for the diffusion experiments. The environment for the diffusion experiment was prepared from the hydrogel form of humic acids. Humic acids were modified by the methylation with trimethylsilyl-diazomethan. Various ratios between untreated and methylated humic acids were used in order to regulate the content of carboxylic groups in humic hydrogels. The hydrogels were pressed gently in glass tubes and used for diffusion experiments (method of instantaneous planar source). After the diffusions the hydrogel from the tubes was sliced and Cu(II) ions were extracted separately from the slices of hydrogels by the 1 M HCl. The concentration of Cu(II) ions in extractants was determined by means of ultraviolet/visible spectrometry. Previous works showed that transport of metal ions in humic gels is strongly influenced by reactivity of humic acids, therefore changes in the content of carboxylic groups result in changes of diffusivity. The diffusion coefficients of Cu(II) ions, determined in this work, showed the significant dependence on reaction ability of humic hydrogels. Lower amounts of the carboxylic groups caused the decrease of the diffusion rate. The reason could be that the interactions of Cu(II) ions with HA in gel cause their immobilization. The immobilized metal ions are strongly bonded with HA and are not able to diffuse. It results in the increase of the concentration gradient of movable Cu(II) ions, which is the driving force of their transport. The used mathematical description is discussed in terms of the influence of reaction of Cu(II) ions with humic acids and their structural arrangement in hydrogels with various content of reactive functional groups. In general, diffusion experiments seem to provide valuable method for reactivity mapping studies on humic substances.
Published: 2014
Full Text: View/download PDF

27. Hydrogen Concentrations and He Isotopes in Olivine From Ultramafic Lamprophyres Provide New Constraints on a Wet Tarim Plume and Earth's Deep Water Cycle

Author: Changhong Wang, Zhaochong Zhang, Andrea Giuliani, Sylvie Demouchy, Catherine Thoraval, Lukáš Krmíček, Hongze Bo, Wanfeng Zhang, Xiaoping Xia, State Key Laboratory of Geological Processes and Mineral Resources, Institute of Geochemistry and Petrology [ETH Zürich], Department of Earth Sciences [Swiss Federal Institute of Technology - ETH Zürich] (D-ERDW), Eidgenössische Technische Hochschule - Swiss Federal Institute of Technology [Zürich] (ETH Zürich)- Eidgenössische Technische Hochschule - Swiss Federal Institute of Technology [Zürich] (ETH Zürich), Laboratoire Magmas et Volcans (LMV), Institut national des sciences de l'Univers (INSU - CNRS)-Institut de Recherche pour le Développement et la société-Centre National de la Recherche Scientifique (CNRS)-Université Clermont Auvergne (UCA)-Observatoire de Physique du Globe de Clermont-Ferrand (OPGC), Institut national des sciences de l'Univers (INSU - CNRS)-Centre National de la Recherche Scientifique (CNRS)-Université Clermont Auvergne (UCA)-Institut national des sciences de l'Univers (INSU - CNRS)-Centre National de la Recherche Scientifique (CNRS)-Université Clermont Auvergne (UCA), Géosciences Montpellier, Institut national des sciences de l'Univers (INSU - CNRS)-Centre National de la Recherche Scientifique (CNRS)-Université des Antilles (UA)-Université de Montpellier (UM), Brno University of Technology [Brno] (BUT), and State Key Laboratory of Isotope Geochemistry, Guangzhou Institute of Geochemistry
Subjects: Geophysics, Space and Planetary Science, Geochemistry and Petrology, Earth and Planetary Sciences (miscellaneous), [SDU.STU.PE]Sciences of the Universe [physics]/Earth Sciences/Petrography
Abstract: International audience; Water enters Earth's mantle via subduction of hydrated oceanic slab and largely returns to the ocean-atmosphere system through arc volcanism. However, the extent to which H 2O is transferred into the deep mantle is poorly constrained. Here, we address this question by combining mineral chemistry and bulk-rockgeochemistry data for aillikites related to the deep mantle plume which generated the Permian Tarim large igneous province (NW China). The water contents of olivine phenocrysts are 75–168 ppm H 2O and positively correlated with Ti contents. These results, combined with infrared hydroxyl peaks at 3,572 and 3,525 cm −1 , suggest that H is mainly present in the form of Ti-clinohumite-like point defects. Hydrogen concentration profiles across olivine reveal that H loss during decompression was limited to the outermost rims, and yield dehydration durations of 15–417 min. Based on the water contents of the highest-Fo olivine cores, the water contents of the primitive aillikite melts and their mantle source are estimated as 1.6–4.7 wt% and 150–1,200 ppm H 2O, respectively. 3He/ 4He ratios (5.31–5.84 Ra) of olivine phenocrysts are slightly lower than MORBs and suggest involvement of recycled slab containing U (and hence radiogenic 4He) in the plume source. This interpretation is consistent with Pb isotope compositions of the aillikites which are intermediate between PREMA (Prevalent Mantle) and EM (Enriched Mantle) compositions. These lines of evidence combined with the depleted Sr-Nd isotopes and moderately radiogenic Os isotopes of the aillikites suggest that water in these rocks derived from a plume source marginally contaminated by deeply subducted hydrated material.
Published: 2022
Full Text: View/download PDF

28. Analyzing the Impact of EV and BESS Deployment on PV Hosting Capacity of Distribution Networks

Author: Robin Filip, Verner Püvi, Martin Paar, Matti Lehtonen, Brno University of Technology, Department of Electrical Engineering and Automation, Aalto-yliopisto, and Aalto University
Subjects: Control and Optimization, Renewable Energy, Sustainability and the Environment, hosting capacity, Energy Engineering and Power Technology, Building and Construction, low-voltage networks, Monte Carlo simulations, photovoltaic, battery energy storage systems, electric vehicles, Electrical and Electronic Engineering, Engineering (miscellaneous), Energy (miscellaneous)
Abstract: Funding Information: This work was supported by Aalto University of Finland as a part of “SolarX” project 211763 funded by Business Finland, and by the Ministry of Education, Youth and Sports of the Czech Republic under BUT specific research programme (project No. FEKT-S-20-6449) in the Centre for Research and Utilization of Renewable Energy (CVVOZE). Funding Information: This research work has been carried out in the Centre for Research and Utilization of Renewable Energy (CVVOZE). Authors gratefully acknowledge financial support from the Ministry of Education, Youth and Sports of the Czech Republic under BUT specific research programme (project No. FEKT-S-20-6449). The work was conducted during the Erasmus+ exchange program. Publisher Copyright: © 2022 by the authors. The current article analyzes the impact of charging electric vehicles and battery energy storage systems on the photovoltaic hosting capacity of low-voltage distribution networks. A Monte Carlo-based simulation is used to analyze predominantly rural, intermediate and predominantly urban residential regions facing different penetrations of electric vehicles utilizing uncontrolled and controlled charging, and evaluate their impact on photovoltaic hosting capacity. Subsequently, electric vehicles are replaced or supplemented by residential battery energy storage systems, and their combined impact on the hosting capacity is studied. The results revealed that electric vehicles solely do not improve the hosting capacity unless they are connected to the network during sunshine hours. However, controlled storage provides a remarkable increase to the hosting capacity and exceptional contribution in combination with electric vehicles and customers with high loads. Finally, a feasibility analysis showed that controlled charging of the storage has a lower marginal cost of increasing hosting capacity as compared to network reinforcement.
Published: 2022

29. Un état de l'art sur la compréhension des changements dans le régime des crues en Europe

Author: Hall, J., Arheimer, B., Borga, M., Brázdil, R., Claps, P., Kiss, A., Kjeldsen, T.R., Kriauciuniene, J., Kundzewicz, Z.W., Lang, M., Llasat, M.C., Macdonald, N., Mcintyre, N., Mediero, L., Merz, B., Merz, R., Molnar, P., Montanari, A., Neuhold, C., Parajka, J., Perdigão, R.A.P., Plavcová, L., Rogger, M., Salinas, J.L., Sauquet, E., Schär, C., Szolgay, J., Viglione, A., Blöschl, G., Vienna University of Technology (TU Wien), Swedish Meteorological and Hydrological Institute (SMHI), Department of Land, Environment, Universita degli Studi di Padova, Brno University of Technology [Brno] (BUT), Politecnico di Torino = Polytechnic of Turin (Polito), University of Bath [Bath], Laboratory of Hydrology, Lithuanian Energy Institute, Institute for Agricultural and Forest Environment, Polska Akademia Nauk = Polish Academy of Sciences (PAN), Hydrologie-Hydraulique (UR HHLY), Institut national de recherche en sciences et technologies pour l'environnement et l'agriculture (IRSTEA), Universitat de Barcelona (UB), Institute of Risk and Uncertainty, University of Liverpool, Imperial College London, Department of Civil Engineering: Hydraulic and Energy, Technical University of Madrid, German Research Centre for Geosciences - Helmholtz-Centre Potsdam (GFZ), Department of Catchment Hydrology [UFZ Leipzig], Helmholtz Zentrum für Umweltforschung = Helmholtz Centre for Environmental Research (UFZ), Eidgenössische Technische Hochschule - Swiss Federal Institute of Technology [Zürich] (ETH Zürich), Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO), Flood Control Management, Federal Ministry of Agriculture, Forestry, Environment and Water Management, Department of Land and Water Resources Management, Slovak University of Technology in Bratislava, Technical University of Vienna [Vienna] (TU WIEN), Brno University of Technology [Brno], Politecnico di Torino [Torino] (Polito), Polska Akademia Nauk (PAN), Helmholtz Centre for Environmental Research (UFZ), Eidgenössische Technische Hochschule - Swiss Federal Institute of Technology in Zürich [Zürich] (ETH Zürich), and Università di Bologna [Bologna] (UNIBO)
Subjects: CLIMATIC CHANGE, REGIME DE CRUE, CHANGEMENT CLIMATIQUE, [SDE]Environmental Sciences
Abstract: International audience; There is growing concern that flooding is becoming more frequent and severe in Europe. A better understanding of flood regime changes and their drivers is therefore needed. The paper reviews the current knowledge on flood regime changes in European rivers that has traditionally been obtained through two alternative research approaches. The first approach is the data-based detection of changes in observed flood events. Current methods are reviewed together with their challenges and opportunities. For example, observation biases, the merging of different data sources and accounting for nonlinear drivers and responses. The second approach consists of modelled scenarios of future floods. Challenges and opportunities associated with flood change scenarios are discussed such as fully accounting for uncertainties in the modelling cascade and feedbacks. To make progress in flood change research, we suggest that a synthesis of these two approaches is needed. This can be achieved by focusing on long duration records and flood-rich and flood-poor periods rather than on short duration flood trends only, by formally attributing causes of observed flood changes, by validating scenarios against observed flood regime dynamics, and by developing low-dimensional models of flood changes and feedbacks. The paper finishes with a call for a joint European flood change research network.; Suite au sentiment d'une aggravation du risque d'inondation en Europe, il devient important de mieux comprendre les mécanismes en jeu. L'article présente une revue bibliographique des connaissances sur cette question, d'abord sur la détection de changements dans le régime des crue, puis dans la simulation du régime futur sous hypothèse de scénarios climatiques. Il est souligné l'importance de travailler sur des longues séries de façon à bien prendre en compte les oscillations climatiques, de rechercher des causes physiques aux changements détectés, et d'introduire dans les simulations une étape de validation sur les données anciennes et de prise en compte de rétro-effets. L'article se termine par le souhait de mise en place d'un réseau de recherche européen sur l'étude des changements dans le régime des crues.
Published: 2014
Full Text: View/download PDF

30. Recherche documentaire sur les crues historiques en Europe et utilité pour l'analyse fréquentielle

Author: Kjeldsen, T. R., Macdonald, N., Lang, M., Mediero, L., Albuquerque, T., Bogdanowicz, E., Brazdil, R., Castellarin, A., David, V., Fleig, A., Gül, G.O., Kriauciuniene, J., Kohnova, S., Merz, B., Nicholson, O., Roald, L.A., Salinas, J.L., Sarauskienel, D., Sraj, M., Strupczewski, W., Szolgay, J., Toumazis, A., Vanneuville, W., Veijalainen, N., Wilson, D., University of Bath [Bath], Royal Liverpool University Hospital, University of Liverpool-Royal Liverpool and Broadgreen University Hospital NHS Trust, Hydrologie-Hydraulique (UR HHLY), Institut national de recherche en sciences et technologies pour l'environnement et l'agriculture (IRSTEA), Department of Civil Engineering: Hydraulic and Energy, Technical University of Madrid, Department of Civil Engineering, Polytechnique Institute of Castelo Branco, Institute of Fundamental Technological Research (IPPT), Polska Akademia Nauk = Polish Academy of Sciences (PAN), Brno University of Technology [Brno] (BUT), Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO), Doppler Institute/ Department of Mathematics, Czech Technical University in Prague (CTU), Norwegian Resources and Energy Directorate (NVE), Dokuz Eylül Üniversitesi = Dokuz Eylül University [Izmir] (DEÜ), Laboratory of Hydrology, Lithuanian Energy Institute, aucun, Slovak University of Technology in Bratislava, GeoForschungsZentrum - Helmholtz-Zentrum Potsdam (GFZ), The Office of Public Works, Institute of Hydraulic Engineering and Water Resources Management, University of Technology, Faculty of Civil and Geodetic Engineering, University of Ljubljana, Institute of Geophysics, Polish Academy, Dion, European Environment Agency (EEA), Freshwater Centre [Helsinki], Finnish Environment Institute (SYKE), Polska Akademia Nauk (PAN), Brno University of Technology [Brno], Università di Bologna [Bologna] (UNIBO), Norwegian Resources and Energy Directorate, and Dokuz Eylul University
Subjects: MODELE PROBABILISTE, [SDE]Environmental Sciences, CRUE HISTORIQUE
Abstract: International audience; This review outlines the use of documentary evidence of historical flood events in contemporary flood frequency estimation in European countries. The study shows that despite widespread consensus in the scientific literature on the utility of documentary evidence, the actual migration from academic to practical application has been limited. A detailed review of flood frequency estimation guidelines from different countries showed that the value of historical data is generally recognised, but practical methods for systematic and routine inclusion of this type of data into risk analysis are in most cases not available. Studies of historical events were identified in most countries, and good examples of national databases attempting to collate the available information were identified. The conclusion is that there is considerable potential for improving the reliability of the current flood risk assessments by harvesting the valuable information on past extreme events contained in the historical data sets.; Cet article présente une revue de l'utilisation de l'information documentaire sur les crues historiques par les pays européens pour l'analyse fréquentielle des crues. L'étude montre que, malgré l'existence d'un consensus scientifique sur l'intérêt de ce type d'information, son utilisation reste encore limitée d'un point de vue opérationnel. Si les guides pratiques sur l'estimation des crues mentionnent en général bien l'intérêt de l'information historique, il existe encore peu de logiciel disponible utilisant cette information. Des travaux sont en cours dans plusieurs pays pour constituer des bases de données nationales sur les crues historiques. La conclusion est qu'il y aurait un fort bénéfice à exploiter ces informations pour l'estimation du risque de crue.
Published: 2014
Full Text: View/download PDF

31. An atlas of over 90,000 conserved noncoding sequences provides insight into crucifer regulatory regions

Author: Zoé Joly-Lopez, J. Chris Pires, Thomas E. Bureau, Christopher D. Town, Erik van den Bergh, John R. Stinchcombe, Ken Dewar, Ewa Forczek, Xiaowu Wang, Douglas R. Hoen, Emilio Vello, Alan M. Moses, Martin A. Lysak, Terezie Mandáková, David E. Jarvis, Daniel J. Schoen, Patrick P. Edger, Jeremy Schmutz, Adrian E. Platts, Karen S. Schumaker, Joshua G. Steffen, M. Eric Schranz, Paul M. Harrison, Mickael Leclercq, Annabelle Haudry, Khaled M. Hazzouri, Robert J. Williamson, Mathieu Blanchette, Stephen I. Wright, Eléments transposables, évolution, populations, Département génétique, interactions et évolution des génomes [LBBE] (GINSENG), Laboratoire de Biométrie et Biologie Evolutive - UMR 5558 (LBBE), Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-VetAgro Sup - Institut national d'enseignement supérieur et de recherche en alimentation, santé animale, sciences agronomiques et de l'environnement (VAS)-Centre National de la Recherche Scientifique (CNRS)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-VetAgro Sup - Institut national d'enseignement supérieur et de recherche en alimentation, santé animale, sciences agronomiques et de l'environnement (VAS)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire de Biométrie et Biologie Evolutive - UMR 5558 (LBBE), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-VetAgro Sup - Institut national d'enseignement supérieur et de recherche en alimentation, santé animale, sciences agronomiques et de l'environnement (VAS)-Centre National de la Recherche Scientifique (CNRS), McGill University and Genome Quebec Innovation Centre, Institute of Vegetables and Flowers (IVF), Chinese Academy of Agricultural Sciences (CAAS), United States Department of Energy, Research group Plant Cytogenomics, Central European Institute of Technology [Brno] (CEITEC MU), Brno University of Technology [Brno] (BUT)-Brno University of Technology [Brno] (BUT), Psychiatry, Centre for the Analysis of Genome Evolution and Function, University of Toronto, Department of Biology [Montréal], McGill University = Université McGill [Montréal, Canada], and McGill Centre for Bioinformatics (MCB)
Subjects: 0106 biological sciences, Arabidopsis, Regulatory Sequences, Nucleic Acid, [SDV.BID.SPT]Life Sciences [q-bio]/Biodiversity/Systematics, Phylogenetics and taxonomy, 01 natural sciences, Genome, Conserved non-coding sequence, Conserved sequence, Population genomics, brassica-oleracea, Gene Expression Regulation, Plant, Gene Duplication, Cluster Analysis, Conserved Sequence, Phylogeny, ComputingMilieux_MISCELLANEOUS, Genetics, 0303 health sciences, [SDV.BID.EVO]Life Sciences [q-bio]/Biodiversity/Populations and Evolution [q-bio.PE], High-Throughput Nucleotide Sequencing, Genomics, drosophila, [SDV.BIBS]Life Sciences [q-bio]/Quantitative Methods [q-bio.QM], Biosystematiek, annotation, dna elements, Genome, Plant, arabidopsis-thaliana, Biology, size, Evolution, Molecular, 03 medical and health sciences, evolution, human genome, Nucleotide Motifs, Selection, Genetic, Gene, 030304 developmental biology, [SDV.GEN.GPO]Life Sciences [q-bio]/Genetics/Populations and Evolution [q-bio.PE], Computational Biology, Molecular Sequence Annotation, 15. Life on land, ultraconserved elements, Noncoding DNA, gene-expression, Brassicaceae, Biosystematics, Human genome, EPS, Gene Deletion, 010606 plant biology & botany
Abstract: Despite the central importance of noncoding DNA to gene regulation and evolution, understanding of the extent of selection on plant noncoding DNA remains limited compared to that of other organisms. Here we report sequencing of genomes from three Brassicaceae species (Leavenworthia alabamica, Sisymbrium irio and Aethionema arabicum) and their joint analysis with six previously sequenced crucifer genomes. Conservation across orthologous bases suggests that at least 17% of the Arabidopsis thaliana genome is under selection, with nearly one-quarter of the sequence under selection lying outside of coding regions. Much of this sequence can be localized to approximately 90,000 conserved noncoding sequences (CNSs) that show evidence of transcriptional and post-transcriptional regulation. Population genomics analyses of two crucifer species, A. thaliana and Capsella grandiflora, confirm that most of the identified CNSs are evolving under medium to strong purifying selection. Overall, these CNSs highlight both similarities and several key differences between the regulatory DNA of plants and other species.
Published: 2013
Full Text: View/download PDF

32. HArMoNICS: High-Assurance Microgrid Network Infrastructure Case Study

Author: Gianluca Roascio, Gabriele Costa, Emmanuel Baccelli, Lukas Malina, Raimundas Matulevicius, Marius Momeu, Nerijus Morkevicius, Enrico Russo, Branka Stojanovic, Aimilia Tasidou, IEEE (Institute of Electrical and Electronics Engineers), Politecnico di Torino = Polytechnic of Turin (Polito), Università degli studi di Genova = University of Genoa (UniGe), inTeRnet BEyond the usual (TRiBE ), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Brno University of Technology [Brno] (BUT), University of Tartu, University of Applied Sciences [Munich], Kaunas University of Technology (KTU), Department of Electrical and Computer Engineering [Xanthi], and Democritus University of Thrace (DUTH)
Subjects: intelligent infrastructure, General Computer Science, cybersecurity, Smart buildings, cyber security, Embedded systems, General Engineering, Servers, Harmonic analysis, Virtual private networks, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], case study, Computer security, Security, Intelligent systems, General Materials Science, Electrical and Electronic Engineering, Microgrids, embedded systems
Abstract: International audience; Modern Intelligent Infrastructures (II) are highly complex, interconnected systems that are now emerging. For instance, II can integrate technologies and processes to provide citizens with faster services and better goods. An average II can include many technologies, e.g., Cloud applications and IoT devices, under different environments, e.g., industry 4.0 production plants and smart buildings. Although II bring concrete benefits to all of these contexts, they also carry security concerns. Reasoning about threats and security exposures that might affect II is non-trivial. This is only partially due to their inherent complexity. As a matter of fact, real II are typically in charge of some critical operations that cannot be interrupted or compromised for experimental purposes. An alternative solution is to rely on digital replicas which can provide a good trade-off between realism and usability. These assets represent a strategic and highly demanded resource for the security community. In this paper, we present HArMoNICS, a case study infrastructure meant to provide a playground for security experts interested in II security. HArMoNICS revolves around a digital replica of a real Smart Polygeneration Microgrid (SPM) located in Italy. Although most of the components are based on or inspired by the real system, HArMoNICS has been enriched with further security-relevant features. As a result, the case study includes vertical use cases focusing on specific security topics. Security researchers can use it to assess the effectiveness of new methodologies, to carry out security training activities, or even to extend it with new elements.
Published: 2022
Full Text: View/download PDF

33. Convergent vews on disordered protein dynamics from NMR and computational approaches

Author: Nicola, Salvi, Vojtěch, Zapletal, Zuzana, Jaseňáková, Milan, Zachrdla, Petr, Padrta, Subhash, Narasimhan, Thorsten, Marquardsen, Jean-Max, Tyburn, Lukáš, Žídek, Martin, Blackledge, Fabien, Ferrage, Pavel, Kadeřávek, Institut de biologie structurale (IBS - UMR 5075), Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche Interdisciplinaire de Grenoble (IRIG), Direction de Recherche Fondamentale (CEA) (DRF (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Direction de Recherche Fondamentale (CEA) (DRF (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Grenoble Alpes (UGA), Masaryk University [Brno] (MUNI), Central European Institute of Technology [Brno] (CEITEC MU), Brno University of Technology [Brno] (BUT), Laboratoire des biomolécules (LBM UMR 7203), Chimie Moléculaire de Paris Centre (FR 2769), École normale supérieure - Paris (ENS-PSL), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Ecole Nationale Supérieure de Chimie de Paris - Chimie ParisTech-PSL (ENSCP), Université Paris sciences et lettres (PSL)-Ecole Superieure de Physique et de Chimie Industrielles de la Ville de Paris (ESPCI Paris), Université Paris sciences et lettres (PSL)-Institut de Chimie du CNRS (INC)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS-PSL), Université Paris sciences et lettres (PSL)-Institut de Chimie du CNRS (INC)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Département de Chimie - ENS Paris, Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Centre National de la Recherche Scientifique (CNRS), Bruker BioSpin MRI GmbH [Ettlingen, Germany], ANR-18-CE29-0003,NANO-DISPRO,Une méthode intégrative pour déterminer les mouvements nanométriques des protéines désordonnées(2018), Ferrage, Fabien, and APPEL À PROJETS GÉNÉRIQUE 2018 - Une méthode intégrative pour déterminer les mouvements nanométriques des protéines désordonnées - - NANO-DISPRO2018 - ANR-18-CE29-0003 - AAPG2018 - VALID
Subjects: Intrinsically Disordered Proteins, [CHIM.THEO]Chemical Sciences/Theoretical and/or physical chemistry, [SDV.BBM.BP]Life Sciences [q-bio]/Biochemistry, Molecular Biology/Biophysics, [CHIM.THEO] Chemical Sciences/Theoretical and/or physical chemistry, Magnetic Resonance Spectroscopy, [SDV.BBM.BS]Life Sciences [q-bio]/Biochemistry, Molecular Biology/Structural Biology [q-bio.BM], Protein Conformation, [SDV.BBM.BS] Life Sciences [q-bio]/Biochemistry, Molecular Biology/Structural Biology [q-bio.BM], Biophysics, [SDV.BBM.BP] Life Sciences [q-bio]/Biochemistry, Molecular Biology/Biophysics, DNA-Directed RNA Polymerases, Molecular Dynamics Simulation, Amides
Abstract: International audience; Intrinsically disordered proteins (IDPs) or intrinsically disordered regions (IDRs) is a class of biologically important proteins exhibiting specific biophysical characteristics. They lack a hydrophobic core, and their conformational behavior is strongly influenced by electrostatic interactions. IDPs and IDRs are highly dynamic, and a characterization of the motions of IDPs and IDRs is essential for their physically correct description. NMR together with molecular dynamics simulations are the methods best suited to such a task because they provide information about dynamics of proteins with atomistic resolution. Here, we present a study of motions of a disordered C-terminal domain of the delta subunit of RNA polymerase from Bacillus subtilis. Positively and negatively charged residues in the studied domain form transient electrostatic contacts critical for the biological function. Our study is focused on investigation of ps-ns dynamics of backbone of the delta subunit based on analysis of amide 15N NMR relaxation data and molecular dynamics simulations. In order to extend an informational content of NMR data to lower frequencies, which are more sensitive to slower motions, we combined standard (high-field) NMR relaxation experiments with high-resolution relaxometry. Altogether, we collected data reporting the relaxation at 12 different magnetic fields, resulting in an unprecedented data set. Our results document that the analysis of such data provides a consistent description of dynamics and confirms the validity of so far used protocols of the analysis of dynamics of IDPs also for a partially folded protein. In addition, the potential to access detailed description of motions at the timescale of tens of ns with the help of relaxometry data is discussed. Interestingly, in our case, it appears to be mostly relevant for a region involved in the formation of temporary contacts within the disordered region, which was previously proven to be biologically important.
Published: 2022
Full Text: View/download PDF

34. Acknowledging and citing core facilities

Author: Kivinen, Katja, GAM van Luenen, Henri, Alcalay, Myriam, Bock, Christoph, Dodzian, Joanna, Hoskova, Katerina, Hoyle, Danielle, Hradil, Ondrej, Christensen, Sofie Kjellerup, Korn, Bernhard, Kosteas, Theodoros, Morales, Mònica, Skowronek, Krzysztof, Theodorou, Vasiliki, van Minnebruggen, Geert, Salamero, Jean, Premvardhan, Lavanya, Institute for Molecular Medicine Finland [Helsinki] (FIMM), Helsinki Institute of Life Science (HiLIFE), Helsingin yliopisto = Helsingfors universitet = University of Helsinki-Helsingin yliopisto = Helsingfors universitet = University of Helsinki, Netherlands Cancer Institute (NKI), Antoni van Leeuwenhoek Hospital, European Institute of Oncology [Milan] (ESMO), Research Center for Molecular Medicine of the Austrian Academy of Sciences [Vienna, Austria] (CeMM ), Austrian Academy of Sciences (OeAW), International Institute of Molecular and Cell Biology [Warsaw] (IIMCB), Central European Institute of Technology [Brno] (CEITEC MU), Brno University of Technology [Brno] (BUT), The Babraham Institute [Cambridge, UK], EU-LIFE Alliance [Barcelona], Friedrich Miescher Institute for Biomedical Research (FMI), Novartis Research Foundation, Institute of Molecular Biology and Biotechnology (IMBB-FORTH), Foundation for Research and Technology - Hellas (FORTH), Center for Genomic Regulation (CRG-UPF), CIBER de Epidemiología y Salud Pública (CIBERESP), Vlaams Instituut voor Biotechnologie [Ghent, Belgique] (VIB), Space-timE RePresentation, Imaging and cellular dynamics of molecular COmplexes (SERPICO), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), and Institut Curie [Paris]
Subjects: [SDV]Life Sciences [q-bio], [SHS]Humanities and Social Sciences
Abstract: International audience
Published: 2022
Full Text: View/download PDF

35. Job Adverts Analyzer for Cybersecurity Skills Needs Evaluation

Author: Ricci, Sara, Sikora, Marek, Parker, Simon, Lendak, Imre, Danidou, Yianna, Chatzopoulou, Argyro, Badonnel, Remi, Alksnys, Donatas, Brno University of Technology [Brno] (BUT), German Cancer Research Center - Deutsches Krebsforschungszentrum [Heidelberg] (DKFZ), University of Novi Sad, European University of Cyprus, ApiroPlus Solutions Ltd, Resilience and Elasticity for Security and ScalabiliTy of dynamic networked systems (RESIST), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Networks, Systems and Services (LORIA - NSS), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), and Mykolas Romeris University
Subjects: [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]
Abstract: International audience
Published: 2022
Full Text: View/download PDF

36. Automatic Verification of Integer Array Programs

Author: Filip Konečný, Marius Bozga, Peter Habermehl, Tomáš Vojnar, Radu Iosif, VERIMAG (VERIMAG - IMAG), Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique de Grenoble (INPG)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Université Joseph Fourier - Grenoble 1 (UJF), Laboratoire d'informatique Algorithmique : Fondements et Applications (LIAFA), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS), Faculty of Information Technology [Brno] (FIT / BUT), Brno University of Technology [Brno] (BUT), Ahmed Bouajjani and Oded Maler, ANR-05-RNTL-0002,AVERILES,Analyse et vérification de logiciels embarqués avec structures de mémoire dynamique(2005), Automates et Applications [LIAFA], Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS), Université Joseph Fourier - Grenoble 1 (UJF)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA), Faculty of Information Technology [Brno] (FIT), and Brno University of Technology [Brno]
Subjects: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Computer science, Computation, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Transitive closure, counter automata, 020207 software engineering, difference bound matrices, 02 engineering and technology, Composition (combinatorics), array programs, Decidability, Automaton, program verification, Bounded function, 0202 electrical engineering, electronic engineering, information engineering, Code (cryptography), transducers, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, 020201 artificial intelligence & image processing, Algorithm, array logic, Integer (computer science)
Abstract: International audience; We provide a verification technique for a class of programs working on integerarrays of finite, but not a priori bounded length. We use the logic of integer arrays SIL\cite{lpar08} to specify pre- and post-conditions of programs and their parts. Effects of non-looping parts of code are computed syntactically on the level of SIL. Loop pre-conditions derived during the computation in SIL are converted into counter automata (CA). Loops are automatically translated---purely on the syntactical level---to transducers. Pre-condition CA and transducers are composed, and the composition over-approximated by flat automata with difference bound constraints, which are next converted back into SIL formulae, thus inferring post-conditions of the loops. Finally, validity of post-conditions specified by the user in may be checked as entailment is decidable for SIL.
Published: 2009
Full Text: View/download PDF

37. What Else Is Decidable about Integer Arrays?

Author: Radu Iosif, Tomáš Vojnar, Peter Habermehl, Automates et Applications [LIAFA], Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS), VERIMAG (VERIMAG - IMAG), Université Joseph Fourier - Grenoble 1 (UJF)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA), Faculty of Information Technology [Brno] (FIT), Brno University of Technology [Brno], ANR-05-RNTL-0002,AVERILES,Analyse et vérification de logiciels embarqués avec structures de mémoire dynamique(2005), Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique de Grenoble (INPG)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Université Joseph Fourier - Grenoble 1 (UJF), Faculty of Information Technology [Brno] (FIT / BUT), and Brno University of Technology [Brno] (BUT)
Subjects: Discrete mathematics, Class (set theory), Selection rule, Structure (category theory), [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences, Automaton, Decidability, Combinatorics, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Integer, Fragment (logic), 010201 computation theory & mathematics, Constraint graph, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Computer Science::Formal Languages and Automata Theory, Mathematics
Abstract: International audience; We introduce a new decidable logic for reasoning about infinite arrays of integers. The logic is in the ∃ * ∀ * first-order fragment and allows (1) Presburger constraints on existentially quantified variables, (2) difference constraints as well as periodicity constraints on universally quantified indices, and (3) difference constraints on values. In particular, using our logic, one can express constraints on consecutive elements of arrays (e.g. ∀i. 0 ≤ i < n → a[i + 1] = a[i] − 1) as well as periodic facts (e.g. ∀i. i ≡ 2 0 → a[i] = 0). The decision procedure follows the automata-theoretic approach: we translate formulae into a special class of Büchi counter automata such that any model of a formula corresponds to an accepting run of the automaton, and vice versa. The emptiness problem for this class of counter automata is shown to be decidable, as a consequence of earlier results on counter automata with a flat control structure and transitions based on difference constraints. We show interesting program properties expressible in our logic, and give an example of invariant verification for programs that handle integer arrays.
Published: 2008
Full Text: View/download PDF

38. Proving Termination of Tree Manipulating Programs

Author: Radu Iosif, Tomáš Vojnar, Peter Habermehl, Adam Rogalewicz, Automates et Applications [LIAFA], Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS), VERIMAG (VERIMAG - IMAG), Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique de Grenoble (INPG)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Université Joseph Fourier - Grenoble 1 (UJF), Faculty of Information Technology [Brno] (FIT / BUT), Brno University of Technology [Brno] (BUT), ANR-05-RNTL-0002,AVERILES,Analyse et vérification de logiciels embarqués avec structures de mémoire dynamique(2005), Université Joseph Fourier - Grenoble 1 (UJF)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA), Faculty of Information Technology [Brno] (FIT), and Brno University of Technology [Brno]
Subjects: Theoretical computer science, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], LOOP (programming language), Programming language, 020207 software engineering, 02 engineering and technology, Separation logic, computer.software_genre, Decidability, Tree (data structure), Counter automaton, 0202 electrical engineering, electronic engineering, information engineering, Computer Science::Programming Languages, 020201 artificial intelligence & image processing, Tree automaton, computer, Mathematics, Counterexample, Abstraction (linguistics)
Abstract: International audience; We consider the termination problem of programs manipulating tree-like dynamic data structures. Our approach is based on an abstract-check-rene loop. We use abstract regular tree model-checking to infer invariants of the program. Then, we translate the program to a counter automaton which simulates it. If the counter automaton can be shown to terminate using existing techniques, the program terminates. If not, we analyse the possible counterexample given by a counter automata termination checker and either conclude that the program does not terminate, or else rene the abstraction and repeat. We show that the spurious-ness problem for lasso-shaped counterexamples is decidable in some non-trivial cases. We applied the method successfully on several interesting case studies.
Published: 2007
Full Text: View/download PDF

39. Reproducibility and accuracy of microscale thermophoresis in the NanoTemper Monolith: a multi laboratory benchmark study

Author: Caroline Mas, Grzegorz Piszczek, Marjetka Podobnik, Kathryn Perez, Timothy Sharpe, Stephen H. McLaughlin, Roland Montserret, Stefan H. Knauer, Bruno Baron, Christopher M. Johnson, Quyen Nguyen, Mark A. Williams, Katja Pirc, Arthur Sedivy, Celeste Abreu, Tina Daviter, David Ortega-Alarcon, Daumantas Matulis, Rouba Nasreddine, Carlo Carolis, Thomas A. Jowitt, Stephan Uebel, David Staunton, Andrew P. Leech, Maria Garcia-Alai, June Southall, Alexander Fish, Jitka Holková, Alexander K. Buell, Michael Weyand, Jasmina Rokov-Plavec, Blanca López-Méndez, Sylvie Berger, Josef Houser, Natalia Rodrigo, Wojciech Bal, Chad A. Brautigam, Josef Hamacek, Reine Nehmé, Olga Abian, Christian Guenther, Ondrej Vanek, Susanne Schaefer, Sharon M. Kelly, Malgorzata Adamczyk, Di Wu, Pedro Tavares, University of Copenhagen = Københavns Universitet (KU), Biophysique Moléculaire (plateforme) - Molecular Biophysics (platform), Institut Pasteur [Paris]-Centre National de la Recherche Scientifique (CNRS), University of Texas Southwestern Medical Center [Dallas], University of Manchester [Manchester], Universität Bayreuth, Max Planck Institute of Biochemistry (MPIB), Max-Planck-Gesellschaft, University of London [London], Vienna Biocenter Core Facilities, Partenaires INRAE, University of Zaragoza - Universidad de Zaragoza [Zaragoza], Charles University [Prague] (CU), Warsaw University of Technology [Warsaw], Institute of Biochemistry and Biophysics, Polish Academy of Sciences (PAN), Institut de Recherches SERVIER (IRS), Technical University of Denmark [Lyngby] (DTU), Centre for Genomic Regulation [Barcelona] (CRG), Universitat Pompeu Fabra [Barcelona] (UPF)-Centro Nacional de Analisis Genomico [Barcelona] (CNAG), The institute of cancer research [London], Netherlands Cancer Institute (NKI), Antoni van Leeuwenhoek Hospital, EMBL Hamburg, Centre de biophysique moléculaire (CBM), Université d'Orléans (UO)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Centre National de la Recherche Scientifique (CNRS)-Institut de Chimie du CNRS (INC), Central European Institute of Technology [Brno] (CEITEC MU), Brno University of Technology [Brno] (BUT), MRC Laboratory of Molecular Biology [Cambridge, UK] (LMB), University of Cambridge [UK] (CAM)-Medical Research Council, University of Glasgow, University of York [York, UK], Integrated Structural Biology Grenoble (ISBG - UMS 3518 ), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-European Molecular Biology Laboratory [Grenoble] (EMBL)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA), Vilnius University [Vilnius], Institut de biologie et chimie des protéines [Lyon] (IBCP), Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Centre National de la Recherche Scientifique (CNRS), Institut de Chimie Organique et Analytique (ICOA), Université d'Orléans (UO)-Centre National de la Recherche Scientifique (CNRS)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Institut de Chimie du CNRS (INC)-Institut National de la Santé et de la Recherche Médicale (INSERM), EMBL Heidelberg, National Institute of Chemistry, National Heart, Lung, and Blood Institute [Bethesda] (NHLBI), University of Zagreb, University of Bayreuth, University of Basel (Unibas), University of Oxford [Oxford], Faculdade de Ciências e Tecnologia [Faro] (FCT), Universidade do Algarve (UAlg), This research was funded by Fondo de Investigaciones Sanitarias from Instituto de Salud Carlos III and European Union (ERDF/ESF, 'Investing in your future' PI18/00349 and Diputación General de Aragón Digestive Pathology Group B25_17R to O.A. Spanish Ministry of Science, Innovation and Universities, FPI Predoctoral Research Contract BES-2017-080739 to D.O.A. This research was funded by project no 2015/17/B/NZ2/01160 (granted to MA), we also acknowledge financial support, from the Faculty of Chemistry at Warsaw University of Technology. As part of the Federal FTI strategy, this work was generously supported by the City of Vienna and the Austrian Ministry for Education, Science and Research., Frapart, Isabelle, University of Copenhagen = Københavns Universitet (UCPH), Institut Pasteur [Paris] (IP)-Centre National de la Recherche Scientifique (CNRS), Max-Planck-Institut für Biochemie = Max Planck Institute of Biochemistry (MPIB), Danmarks Tekniske Universitet = Technical University of Denmark (DTU), Université d'Orléans (UO)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Institut de Chimie du CNRS (INC)-Centre National de la Recherche Scientifique (CNRS), Integrated Structural Biology Grenoble (ISBG), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université d'Orléans (UO)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Institut de Chimie du CNRS (INC)-Centre National de la Recherche Scientifique (CNRS), and University of Oxford
Subjects: 0301 basic medicine, 030103 biophysics, Materials science, Thermophoresis, Interaction, Biophysics, [SDV.BBM.BP] Life Sciences [q-bio]/Biochemistry, Molecular Biology/Biophysics, Calorimetry, Benchmark, 03 medical and health sciences, Biomolècules, MST, TRIC, KD, [PHYS.PHYS.PHYS-INS-DET]Physics [physics]/Physics [physics]/Instrumentation and Detectors [physics.ins-det], Surface plasmon resonance, Monolith, Reliability (statistics), Reproducibility, geography, geography.geographical_feature_category, K D, Microscale thermophoresis, Intensity change, Temperature, Reproducibility of Results, Correction, General Medicine, Biofísica, [SDV.BBM.BP]Life Sciences [q-bio]/Biochemistry, Molecular Biology/Biophysics, Benchmarking, 030104 developmental biology, [PHYS.PHYS.PHYS-INS-DET] Physics [physics]/Physics [physics]/Instrumentation and Detectors [physics.ins-det], Benchmark (computing), Original Article, Biological system, Laboratories
Abstract: Microscale thermophoresis (MST), and the closely related Temperature Related Intensity Change (TRIC), are synonyms for a recently developed measurement technique in the field of biophysics to quantify biomolecular interactions, using the (capillary-based) NanoTemper Monolith and (multiwell plate-based) Dianthus instruments. Although this technique has been extensively used within the scientific community due to its low sample consumption, ease of use, and ubiquitous applicability, MST/TRIC has not enjoyed the unambiguous acceptance from biophysicists afforded to other biophysical techniques like isothermal titration calorimetry (ITC) or surface plasmon resonance (SPR). This might be attributed to several facts, e.g., that various (not fully understood) effects are contributing to the signal, that the technique is licensed to only a single instrument developer, NanoTemper Technology, and that its reliability and reproducibility have never been tested independently and systematically. Thus, a working group of ARBRE-MOBIEU has set up a benchmark study on MST/TRIC to assess this technique as a method to characterize biomolecular interactions. Here we present the results of this study involving 32 scientific groups within Europe and two groups from the US, carrying out experiments on 40 Monolith instruments, employing a standard operation procedure and centrally prepared samples. A protein-small molecule interaction, a newly developed protein-protein interaction system and a pure dye were used as test systems. We characterized the instrument properties and evaluated instrument performance, reproducibility, the effect of different analysis tools, the influence of the experimenter during data analysis, and thus the overall reliability of this method. All authors acknowledge the COST Action project ARBRE-MOBIEU CA15126 under the auspices of whose Working Group 4 this study was carried out. ARBRE-MOBIEU COST Action CA15126 funded meetings in the Center for Protein Research, University of Copenhagen (ECOST-MEETING-CA15126-280618-098884) to organize this study and in the Vienna Biocenter Core Facilities GmbH (ECOST-MEETING-CA15126-121119-111544) to discuss the results of the benchmark. Ondřej Vaněk acknowledges support from the Ministry of Education, Youth and Sports of the Czech Republic (LTC17065 in frame of the COST Action CA15126). Jitka Holková and Josef Houser acknowledge CF Biomolecular Interactions and Crystallization of CIISB, Instruct-CZ Centre, supported by MEYS CR (LM2018127). Jasmina Rokov-Plavec acknowledges support from the Croatian Science Foundation (IP-2016-06-6272). Alexander K. Buell thanks the Novo Nordisk Foundation (grant number NNFSA170028392) for funding. Li Peng Lundgren acknowledges for preliminary MST/TRIC experiments (STMS 37745 in the frame of the COST Action CA15126) and the COST Action (CA15126) for a STMS (STMS 44783) for the data analysis. The Novo Nordisk Foundation Center for Protein Research is supported financially by the Novo Nordisk Foundation (Grant agreement NNF14CC0001). Katja Pirc and Marjetka Podobnik acknowledge the grant by the Slovenian Research Agency P1-0391 (Title: Molecular Interactions). This research was funded by Fondo de Investigaciones Sanitarias from Instituto de Salud Carlos III and European Union (ERDF/ESF, “Investing in your future” PI18/00349 and Diputación General de Aragón Digestive Pathology Group B25_17R to O.A. Spanish Ministry of Science, Innovation and Universities, FPI Predoctoral Research Contract BES-2017-080739 to D.O.A. This research was funded by project no 2015/17/B/NZ2/01160 (granted to MA)
Published: 2021
Full Text: View/download PDF

40. Study of the thermal properties of filaments for 3D printing

Author: Psencik, Petr [CEITEC, Brno University of Technology, 612 00 Brno (Czech Republic)]
Published: 2016
Full Text: View/download PDF

41. Impact of alternative fuel rheology on spraying process of small pressure-swirl atomizer

Author: Jícha, Miroslav [Brno University of Technology, Faculty of Mechanical Engineering, Energy Institute, Technická 2896/2, 61669 Brno (Czech Republic)]
Published: 2016
Full Text: View/download PDF

42. Analytical and numerical analysis of the slope of von Mises planar trusses

Author: Frantík, P. [Brno University of Technology, Faculty of Civil Engineering, Department of Structural Mechanics Veveří St. 95, ZIP 602 00, Brno (Czech Republic)]
Published: 2016
Full Text: View/download PDF

43. Sensitivity analysis of static resistance of slender beam under bending

Author: Valeš, Jan [Brno University of Technology, Faculty of Civil Engineering, Department of Structural Mechanics Veveří St. 95, ZIP 602 00, Brno (Czech Republic)]
Published: 2016
Full Text: View/download PDF

44. High-resolution fully vectorial scanning Kerr magnetometer

Author: Turčan, Igor [Institute of Physical Engineering, Brno University of Technology, Technická 2, 616 69 Brno (Czech Republic)]
Published: 2016
Full Text: View/download PDF

45. Programs with Lists are Counter Automata

Author: Tomáš Vojnar, Ahmed Bouajjani, Radu Iosif, Pierre Moro, Marius Bozga, Peter Habermehl, Moro, Pierre, Springer, Laboratoire d'informatique Algorithmique : Fondements et Applications (LIAFA), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS), VERIMAG (VERIMAG - IMAG), Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique de Grenoble (INPG)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Université Joseph Fourier - Grenoble 1 (UJF), Faculty of Information Technology [Brno] (FIT / BUT), Brno University of Technology [Brno] (BUT), Centre National de la Recherche Scientifique (CNRS)-Université Paris Diderot - Paris 7 (UPD7), Université Joseph Fourier - Grenoble 1 (UJF)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA), Automates et Applications [LIAFA], Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS), Faculty of Information Technology [Brno] (FIT), Brno University of Technology [Brno], ANR-05-RNTL-0002,AVERILES,Analyse et vérification de logiciels embarqués avec structures de mémoire dynamique(2005), and ACI projet Securité Informatique the Czech Grant Agency (projects GA CR 102/04/0780 and 102/03/D211).
Subjects: Model checking, Theoretical computer science, Computer science, 0102 computer and information sciences, 02 engineering and technology, computer.software_genre, 01 natural sciences, Theoretical Computer Science, Model Checking, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Data link, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Bisimulation, Formal verification, Heap (data structure), [INFO.INFO-CR] Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Safety and termination, Programming language, Counter automata, ACM, 020207 software engineering, linked lists, Linked list, Linked data, Abstract interpretation, Data structure, Programs with singly-linked lists, Decidability, Automaton, Counter automaton, 010201 computation theory & mathematics, Hardware and Architecture, Lists with ordered data, Automata theory, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, Nested loop join, verification, computer, Computer Science::Formal Languages and Automata Theory, Software, Integer (computer science)
Abstract: International audience; We address the problem of verifying programs manipulating one-selector linked data structures. We propose and study in detail an application of counter automata as an accurate abstract model for this problem. We let control states of the counter automata correspond to abstract heap graphs where list segments without sharing are collapsed, and use counters to keep track of the number of elements in these segments. As a significant theoretical result, we show that the obtained counter automata are bisimilar to the original programs. Moreover, from a practical point of view, our translation allows one to apply efficient automatic analysis techniques and tools developed for counter automata (integer programs) in order to verify both safety as well as termination of list-manipulating programs. As another theoretical contribution, we prove that if the control of the generated counter automata does not contain nested loops (i.e., these automata are flat), both safety and termination are de-cidable for the original programs. Subsequently, we generalise our counter-automata-based model to keep track of ordering properties over lists storing ordered data. Finally, we show effectiveness of our approach by verifying automatically safety as well as termination of several sorting programs.
Published: 2006
Full Text: View/download PDF

46. Automata-Based Verification of Programs with Tree Updates

Author: Radu Iosif, Peter Habermehl, Tomáš Vojnar, Habermehl, Peter, Automates et Applications [LIAFA], Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS), VERIMAG (VERIMAG - IMAG), Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique de Grenoble (INPG)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Université Joseph Fourier - Grenoble 1 (UJF), Faculty of Information Technology [Brno] (FIT / BUT), Brno University of Technology [Brno] (BUT), ANR-05-RNTL-0002,AVERILES,Analyse et vérification de logiciels embarqués avec structures de mémoire dynamique(2005), Laboratoire d'informatique Algorithmique : Fondements et Applications (LIAFA), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS), Université Joseph Fourier - Grenoble 1 (UJF)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA), Faculty of Information Technology [Brno] (FIT), Brno University of Technology [Brno], Iosif, Radu, and Réseau National en Technologies Logicielles - Analyse et vérification de logiciels embarqués avec structures de mémoire dynamique - - AVERILES2005 - ANR-05-RNTL-0002 - RNTL - VALID
Subjects: Red–black tree, Tree rotation, Loop invariant, AVL tree, K-ary tree, Theoretical computer science, Computer Networks and Communications, Computer science, red-black trees, model-checking, 02 engineering and technology, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], [INFO.INFO-PF] Computer Science [cs]/Performance [cs.PF], 0202 electrical engineering, electronic engineering, information engineering, Tree automaton, Mathematics, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], 020207 software engineering, Data structure, Longest path problem, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Decidability, Range tree, Tree (data structure), [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], Binary search tree, Theory of computation, 020201 artificial intelligence & image processing, Software, Information Systems
Abstract: International audience; This paper describes an effective verification procedure for imperative programs that handle (balanced) tree-like data structures. Since the verification problem considered is undecidable, we appeal to a classical semi-algorithmic approach in which the user has to provide manually the loop invariants in order to check the validity of Hoare triples of the form {P}C{Q}, where P, Q are the sets of states corresponding to the pre- and post-conditions, and C is the program to be verified. We specify the sets of states (representing tree-like memory configurations) using a special class of tree automata named Tree Automata with Size Constraints (TASC). The main advantage of using TASC in program specifications is that they recognize non-regular sets of tree languages such as the AVL trees, the red-black trees, and in general, specifications involving arithmetic reasoning about the lengths (depths) of various (possibly all) paths in the tree. The class of TASC is closed under the operations of union, intersection and complement, and moreover, the emptiness problem is decidable, which makes it a practical verification tool. We validate our approach considering red-black trees and the insertion procedure, for which we verify that the output of the insertion algorithm is a {\em balanced} red-black tree, i.e. the longest path is at most twice as long as the shortest path.
Published: 2006
Full Text: View/download PDF

47. Grain Structure Engineering of NiTi Shape Memory Alloys by Intensive Plastic Deformation

Author: Zifan Wang, Jingwei Chen, Radim Kocich, Samuel Tardif, Igor P. Dolbnya, Lenka Kunčická, Jean-Sébastien Micha, Konstantinos Liogas, Oxana V. Magdysyuk, Ivo Szurman, Alexander M. Korsunsky, Department of Engineering Science, University of Oxford, Oxford, United Kingdom, Faculty of Mechanical Engineering, Brno University of Technology, Brno, Czech Republic, Nanostructures et Rayonnement Synchrotron (NRS ), Modélisation et Exploration des Matériaux (MEM), Institut de Recherche Interdisciplinaire de Grenoble (IRIG), Direction de Recherche Fondamentale (CEA) (DRF (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Direction de Recherche Fondamentale (CEA) (DRF (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Grenoble Alpes (UGA)-Institut de Recherche Interdisciplinaire de Grenoble (IRIG), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Grenoble Alpes (UGA), Diamond Light Source Ltd, Synthèse, Structure et Propriétés de Matériaux Fonctionnels (STEP ), SYstèmes Moléculaires et nanoMatériaux pour l’Energie et la Santé (SYMMES), Institut de Chimie du CNRS (INC)-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche Interdisciplinaire de Grenoble (IRIG), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Grenoble Alpes (UGA)-Institut de Chimie du CNRS (INC)-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche Interdisciplinaire de Grenoble (IRIG), and Faculty of Materials Science and Technology, VŠ B-Technical University of Ostrava
Subjects: phase transformation, multiscale, bespoke NiTi shape memory alloys, [PHYS.COND.CM-MS]Physics [physics]/Condensed Matter [cond-mat]/Materials Science [cond-mat.mtrl-sci], powder diffraction, General Materials Science, grain structure, ComputingMilieux_MISCELLANEOUS, lattice rotation, Laue microdiffraction
Abstract: To explore an effective route of customizing the superelasticity (SE) of NiTi shape memory alloys via modifying the grain structure, binary Ni55Ti45 (wt) alloys were fabricated in as-cast, hot swaged, and hot-rolled conditions, presenting contrasting grain sizes and grain boundary types. In situ synchrotron X-ray Laue microdiffraction and in situ synchrotron X-ray powder diffraction techniques were employed to unravel the underlying grain structure mechanisms that cause the diversity of SE performance among the three materials. The evolution of lattice rotation, strain field, and phase transformation has been revealed at the micro-and mesoscale, and the effect of grain structure on SE performance has been quantified. It was found that (i) the Ni4Ti3 and NiTi2 precipitates are similar among the three materials in terms of morphology, size, and orientation distribution; (ii) phase transformation happens preferentially near high-angle grain boundary (HAGB) yet randomly in low-angle grain boundary (LAGB) structures; (iii) the smaller the grain size, the higher the phase transformation nucleation kinetics, and the lower the propagation kinetics; (iv) stress concentration happens near HAGBs, while no obvious stress concentration can be observed in the LAGB grain structure during loading; (v) the statistical distribution of strain in the three materials becomes asymmetric during loading; (vi) three grain lattice rotation modes are identified and termed for the first time, namely, multi-extension rotation, rigid rotation, and nondispersive rotation; and (vii) the texture evolution of B2 austenite and B19 ' martensite is not strongly dependent on the grain structure. Web of Science
Published: 2022
Full Text: View/download PDF

48. UVA and solar driven photocatalysis with rGO/TiO2/polysiloxane for inactivation of pathogens in recirculation aquaculture systems (RAS) streams

Author: Irina Levchuk, Tomáš Homola, Gaurav Singhal, Juan José Rueda-Márquez, Július Vida, Pavel Souček, Tomáš Svoboda, Elena Villar-Navarro, Olga Levchuk, Petr Dzik, Anna Lähde, Javier Moreno-Andrés, University of Eastern Finland, Masaryk University, Department of Chemical and Metallurgical Engineering, Brno University of Technology, University of Cádiz, Peter the Great St. Petersburg Polytechnic University, Aalto-yliopisto, and Aalto University
Subjects: Chemical engineering, Flexible thin films, TP155-156, General Medicine, Aquaculture water, Photocatalysis, Bacteria inactivation
Abstract: Authors would like to thank Jouni Vielma from Natural Resources Institute Finland for providing RAS water and M. Shekargoftar from Masaryk University for SEM measurements. Authors express their gratitude to Arūnas Meščeriakovas from University of Eastern Finland for TEM measurements. Authors are grateful for UEF Water joint funding from Saastamoinen foundation, Olvi foundation and Wihuri foundation. This research was supported by GACR project 19–14770Y funded by Czech Science Foundation and project LM2018097, funded by the Ministry of Education, Youth and Sports of the Czech Republic. J. J. Rueda Marquez would like to thank Academy of Finland (N°322339, 2019 - 2022) and Tekniikan Edistämissäätiö (TES Foundation, Finland, grant number 6120). J. Moreno-Andrés is grateful for the financial support by the European Union under the 2014–2020 ERDF Operational Programme and by the Department of Economy, Knowledge, Business and University of the Regional Government of Andalusia. Project reference: FEDER-UCA18–108023 and Grant IJC2020–042741-I funded by MCIN/AEI/ 10.13039/501100011033 and by European Union NextGenerationEU/PRTR. In this study TiO2/polysiloxane(SiBi) thin films modified with different concentrations of graphene oxide (GO) were prepared by ink-jet printing on flexible polyethylene terephthalate (PET) substrates. Prepared coatings were characterized by means of scanning electron microscopy (SEM), transmission electron microscopy (TEM), X-ray photoelectron spectroscopy (XPS), ultraviolet photoelectron spectroscopy (UPS), Raman and water contact angle measurements. During photocatalytic tests strong change of color of prepared coatings modified with GO was observed. XPS analysis of thin films after photocatalytic tests suggests that reduction of GO took place. Prepared coatings were studied for inactivation of microorganisms naturally occurring in aquaculture water under UVA and natural solar irradiation. Effect of rGO concentration in prepared coating on inactivation of target bacteria Aeromonas hydrophila and Citrobacter gillenii was evaluated under UVA irradiation. Aeromonas hydrophila was more sensitive to photocatalytic inactivation in comparison with Citrobacter gillenii. Higher photocatalytic inactivation of target microorganisms was attributed to thin films with concentration of rGO 1 and 5%. The rGO/TiO2/SiBi 5% were further tested for inactivation of Aeromonas salmocida, Serratia fonticola strain and Lactococcus lactis strain under natural solar light. Solar photocatalysis slightly enhanced inactivation of Aeromonas salmocida and Serratia fonticola strain, while opposite was observed for Lactococcus lactis strain.
Published: 2022

49. Visualization of hydrogen atoms in a perdeuterated lectin-fucose complex reveals key details of protein-carbohydrate interactions

Author: V. Trevor Forsyth, Anne Imberty, Matthew P. Blakeley, Michael Haertlein, Lukas Gajdos, Michaela Wimmerová, Juliette M. Devos, Atul Kumar, Centre de Recherches sur les Macromolécules Végétales (CERMAV), Institut de Chimie du CNRS (INC)-Université Grenoble Alpes (UGA)-Centre National de la Recherche Scientifique (CNRS), Institut Laue-Langevin (ILL), ILL, Central European Institute of Technology [Brno] (CEITEC MU), and Brno University of Technology [Brno] (BUT)
Subjects: Glycan, Stereochemistry, Stacking, Q1, Fucose, 03 medical and health sciences, chemistry.chemical_compound, Bacterial Proteins, Structural Biology, Lectins, Aromatic amino acids, Protein–carbohydrate interactions, [CHIM]Chemical Sciences, QD, Binding site, Molecular Biology, 030304 developmental biology, 0303 health sciences, biology, Hydrogen bond, Chemistry, 030302 biochemistry & molecular biology, Ligand (biochemistry), 3. Good health, biology.protein, lipids (amino acids, peptides, and proteins), Photorhabdus, Hydrogen, Protein Binding, QD415
Abstract: Summary Carbohydrate-binding proteins from pathogenic bacteria and fungi have been shown to be implicated in various pathological processes, where they interact with glycans present on the surface of the host cells. These interactions are part of the initial processes of infection of the host and are very important to study at the atomic level. Here, we report the room temperature neutron structures of PLL lectin from Photorhabdus laumondii in its apo form and in complex with deuterated L-fucose, which is, to our knowledge, the first neutron structure of a carbohydrate-binding protein in complex with a fully deuterated carbohydrate ligand. A detailed structural analysis of the lectin-carbohydrate interactions provides information on the hydrogen bond network, the role of water molecules, and the extent of the CH-π stacking interactions between fucose and the aromatic amino acids in the binding site.
Published: 2021
Full Text: View/download PDF

50. Abstraction refinement and antichains for trace inclusion of infinite state systems

Author: Lukáš Holík, Radu Iosif, Tomáš Vojnar, Adam Rogalewicz, Brno University of Technology [Brno] (BUT), VERIMAG (VERIMAG - IMAG), and Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019])
Subjects: Sequence, Finite-state machine, Theoretical computer science, Computer science, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Theoretical Computer Science, Undecidable problem, Automaton, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], 010201 computation theory & mathematics, Hardware and Architecture, 0202 electrical engineering, electronic engineering, information engineering, [INFO]Computer Science [cs], 020201 artificial intelligence & image processing, State (computer science), Alphabet, Computer Science::Formal Languages and Automata Theory, Software, TRACE (psycholinguistics)
Abstract: International audience; A generic register automaton is a finite automaton equipped with variables (which may be viewed as counters or, more generally, registers) ranging over infinite data domains. A trace of a generic register automaton is an alternating sequence of alphabet symbols and values taken by the variables during an execution of the automaton. The problem addressed in this paper is the inclusion between the sets of traces (data languages) recognized by such automata. Since the problem is undecidable in general, we give a semi-algorithm based on a combination of abstraction refinement and antichains, which is proved to be sound and complete, but whose termination is not guaranteed. Moreover, we further enhance the proposed algorithm by exploiting a concept of data simulations, i.e., simulation relations aware of the data associated with the words. We have implemented our technique in a prototype tool and show promising results on multiple non-trivial examples.
Published: 2020
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results

Searchworks

Select search scope, currently: Articles Catalog books, media & more in Jio Institute collections Articles journal articles & other e-resources

Search

Search Constraints

Refine your results

Search Limiters

Topic

Publication Year Range

Language

Publication Type

Journal

Region

Database

Publisher

2,937 results on '"Brno University of Technology"'

Search Results

Catalog

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources