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

Your search keyword '"Brno University of Technology"' showing total 270 results

Start Over Author "Brno University of Technology" Database OpenAIRE

270 results on '"Brno University of Technology"'

1. 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

2. 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

3. 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

4. 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

5. 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

6. 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

7. 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

8. 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

9. 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

10. 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

11. {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

12. 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

13. 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

14. 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

15. 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

16. 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

17. 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

18. 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

19. 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

20. 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

21. 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

22. 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

23. 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

24. 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

25. 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

26. 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

27. 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

28. 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

29. 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

30. 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

31. 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

32. 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

33. 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

34. 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

35. 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

36. CeO 2 and CeO 2 :Pr nanocrystalline powders prepared by the polymeric precursor method: Yellow and red pigments with tunable color

Author: Vinicius T. Santana, Alexandre Mesquita, Jakub Hrubý, Maria Inês Basso Bernardi, Petr Neugebauer, Luiziana Aparecida Gonzaga, Universidade Estadual Paulista (Unesp), Brno University of Technology, and Universidade de São Paulo (USP)
Subjects: TERRAS RARAS, rare earths, cerium/cerium compounds, Materials science, Nanostructure, Nanocrystalline material, Pigment, Chemical engineering, pigment, visual_art, nanostructures, Materials Chemistry, Ceramics and Composites, visual_art.visual_art_medium
Abstract: Made available in DSpace on 2020-12-12T01:30:01Z (GMT). No. of bitstreams: 0 Previous issue date: 2020-11-01 Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) The development of stable and reproducible inorganic pigments is noteworthy for industrial applications mainly considering more intense shades and low toxicity. Among the various candidates to substitute non-hazardous red and yellow pigments, CeO2 and CeO2:Pr have been attracting attention because of their opacity and high-temperature stability besides being environmental-friendly and health-friendly. In this study, nanostructured CeO2 and CeO2:Pr samples were synthesized using the polymeric precursor method and structural and optical characterizations were performed. Scanning electron microscopy reveals the morphology of CeO2 nanoparticles in which the particle size ranges from 22 to 28 nm as a function of the annealing temperature. Pr-doping does not show influence on the particle size. XRD results show that CeO2 and CeO2:Pr samples crystallize in the cubic fluorite lattice with Fm3m space group. Raman spectra show the fluorite F2g mode, confirming the XRD results. With Pr-doping and the annealing of the samples, two bands are observed between 550 and 600 cm−1, which are related to the defects in the fluorite structure associated with oxygen vacancies. XPS spectra reveal an increase in the ratio of Ce3+ ions depending on the annealing temperature and Pr-doping. This increase is associated with the carbon removal from the lattice by annealing. This behavior causes a change in the hue of the powders as the annealing temperature increases. According to diffuse reflectance and colorimetric measurements, CeO2 shows a light-yellow color due to the O 2pCe 4f transitions whose b* parameter mainly decreases with annealing, becoming almost white. The CeO2:Pr sample exhibits a red-orange color because of the electronic transitions between 4f2 → 5d1 states of Pr3+. Upon annealing, L* and b* parameters decrease, resulting in a red-brown shade. The charge compensation or charge transfer is responsible for the modification of the hue of these pigments. Institute of Geosciences and Exact Sciences São Paulo State University (Unesp) CEITEC – Central European Institute of Technology Brno University of Technology São Carlos Institute of Physics University of São Paulo - USP Institute of Geosciences and Exact Sciences São Paulo State University (Unesp) FAPESP: 2013/12993-4
Published: 2020
Full Text: View/download PDF

37. Multiwavelength classification of X-ray selected galaxy cluster candidates using convolutional neural networks

Author: Lukas Burget, C. Garrel, Marguerite Pierre, Nicolas Clerc, Norbert Werner, Matej Kosiba, Alina Khalikova, Sarah Kendrew, Miriam E. Ramos-Ceja, Filip Hroch, Mona Molham, M. Lieu, Bruno Altieri, Elias Koulouridis, T. Sadibekova, L. Faccioli, I. Valtchanov, Evelina R. Gaynullina, Faculty of Science [Brno] (SCI / MUNI), Masaryk University [Brno] (MUNI), European Space Astronomy Centre (ESAC), European Space Agency (ESA), Centre for Astronomy and Particle Theory, University of Nottingham, Institut de recherche en astrophysique et planétologie (IRAP), Institut national des sciences de l'Univers (INSU - CNRS)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Observatoire Midi-Pyrénées (OMP), Météo France-Centre National d'Études Spatiales [Toulouse] (CNES)-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche pour le Développement (IRD)-Météo France-Centre National d'Études Spatiales [Toulouse] (CNES)-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche pour le Développement (IRD)-Centre National de la Recherche Scientifique (CNRS), Astrophysique Interprétation Modélisation (AIM (UMR_7158 / UMR_E_9005 / UM_112)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Institut national des sciences de l'Univers (INSU - CNRS)-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Université de Paris (UP), Space Telescope Science Institute (STSci), Telespazio, Services par satellites, Ulugh Beg Astronomical Institute, Uzbekistan Academy of Sciences, Eötvös Loránd University (ELTE), Hiroshima University, Faculty of Information Technology [Brno] (FIT / BUT), Brno University of Technology [Brno] (BUT), National Observatory of Athens (NOA), National Research Institute of Astronomy and Geophysics [Helwan] (NRIAG), Max Planck Institute for Extraterrestrial Physics (MPE), Max-Planck-Gesellschaft, Agence Spatiale Européenne = European Space Agency (ESA), Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut national des sciences de l'Univers (INSU - CNRS)-Observatoire Midi-Pyrénées (OMP), Institut de Recherche pour le Développement (IRD)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut national des sciences de l'Univers (INSU - CNRS)-Centre National d'Études Spatiales [Toulouse] (CNES)-Centre National de la Recherche Scientifique (CNRS)-Météo-France -Institut de Recherche pour le Développement (IRD)-Institut national des sciences de l'Univers (INSU - CNRS)-Centre National d'Études Spatiales [Toulouse] (CNES)-Centre National de la Recherche Scientifique (CNRS)-Météo-France -Centre National de la Recherche Scientifique (CNRS), and Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Institut national des sciences de l'Univers (INSU - CNRS)-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)
Subjects: Cosmology and Nongalactic Astrophysics (astro-ph.CO), FOS: Physical sciences, Astrophysics::Cosmology and Extragalactic Astrophysics, 01 natural sciences, Convolutional neural network, 010305 fluids & plasmas, 0103 physical sciences, Cluster (physics), Instrumentation and Methods for Astrophysics (astro-ph.IM), 010303 astronomy & astrophysics, Galaxy cluster, High Energy Astrophysical Phenomena (astro-ph.HE), Physics, [SDU.ASTR]Sciences of the Universe [physics]/Astrophysics [astro-ph], Contextual image classification, business.industry, Astronomy and Astrophysics, Pattern recognition, Digitized Sky Survey, Sample (graphics), Data set, Binary classification, Space and Planetary Science, Artificial intelligence, Astrophysics - High Energy Astrophysical Phenomena, Astrophysics - Instrumentation and Methods for Astrophysics, business, Astrophysics - Cosmology and Nongalactic Astrophysics
Abstract: Galaxy clusters appear as extended sources in XMM-Newton images, but not all extended sources are clusters. So, their proper classification requires visual inspection with optical images, which is a slow process with biases that are almost impossible to model. We tackle this problem with a novel approach, using convolutional neural networks (CNNs), a state-of-the-art image classification tool, for automatic classification of galaxy cluster candidates. We train the networks on combined XMM-Newton X-ray observations with their optical counterparts from the all-sky Digitized Sky Survey. Our data set originates from the X-CLASS survey sample of galaxy cluster candidates, selected by a specially developed pipeline, the XAmin, tailored for extended source detection and characterisation. Our data set contains 1 707 galaxy cluster candidates classified by experts. Additionally, we create an official Zooniverse citizen science project, The Hunt for Galaxy Clusters, to probe whether citizen volunteers could help in a challenging task of galaxy cluster visual confirmation. The project contained 1 600 galaxy cluster candidates in total of which 404 overlap with the expert's sample. The networks were trained on expert and Zooniverse data separately. The CNN test sample contains 85 spectroscopically confirmed clusters and 85 non-clusters that appear in both data sets. Our custom network achieved the best performance in the binary classification of clusters and non-clusters, acquiring accuracy of 90 %, averaged after 10 runs. The results of using CNNs on combined X-ray and optical data for galaxy cluster candidate classification are encouraging and there is a lot of potential for future usage and improvements., 14 pages, 10 tables, 16 figures, accepted for publication in MNRAS
Published: 2020
Full Text: View/download PDF

38. Comparative analysis of targeted next-generation sequencing panels for the detection of gene mutations in chronic lymphocytic leukemia: an ERIC multi-center study

Author: Sutton, Lesley-Ann, Ljungström, Viktor, Enjuanes, Anna, Cortese, Diego, Skaftason, Aron, Tausch, Eugen, Kozubik, Katerina Stano, Nadeu, Ferran, Armand, Marine, Malcikova, Jikta, Djureinovic, Tatjana, Forster, Jade, Davis, Zadie, Oscier, David, Rossi, Davide, Ghia, Paolo, Strefford, Jonathan C., Pospisilova, Sarka, Stilgenbauer, Stephan, Davi, Frederic, Campo, Elias, Stamatopoulos, Kostas, Rosenquist, Richard, Karolinska Institutet [Stockholm], Uppsala University, Institut d'Investigacions Biomèdiques August Pi i Sunyer (IDIBAPS), Universitat de Barcelona (UB), University of Ulm (UUlm), Central European Institute of Technology [Brno] (CEITEC MU), Brno University of Technology [Brno] (BUT), Service d'Hématologie clinique [CHU Pitié-Salpêtrière], CHU Pitié-Salpêtrière [AP-HP], Sorbonne Université (SU)-Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP)-Sorbonne Université (SU)-Assistance publique - Hôpitaux de Paris (AP-HP) (AP-HP), Sorbonne Université - Faculté de Médecine (SU FM), Sorbonne Université (SU), University of Southampton, Oncology Institute of Southern Switzerland (IOSI), Universita Vita Salute San Raffaele = Vita-Salute San Raffaele University [Milan, Italie] (UniSR), IRCCS Ospedale San Raffaele [Milan, Italy], Karolinska University Hospital [Stockholm], Sutton, Lesley-Ann, Ljungström, Viktor, Enjuanes, Anna, Cortese, Diego, Skaftason, Aron, Tausch, Eugen, Stano Kozubik, Katerina, Nadeu, Ferran, Armand, Marine, Malcikova, Jikta, Pandzic, Tatjana, Forster, Jade, Davis, Zadie, Oscier, David, Rossi, Davide, Ghia, Paolo, Strefford, Jonathan C, Pospisilova, Sarka, Stilgenbauer, Stephan, Davi, Frederic, Campo, Elia, Stamatopoulos, Kosta, and Rosenquist, Richard
Subjects: Cytogenetics and Molecular Genetics, [SDV]Life Sciences [q-bio], Mutation, Next-generation sequencing, High-Throughput Nucleotide Sequencing, Humans, Chronic Lymphocytic Leukemia, Hematology, Hematologi, Genomics, Precision Medicine, Leukemia, Lymphocytic, Chronic, B-Cell, Article
Abstract: International audience; Next-generation sequencing (NGS) has transitioned from research to clinical routine, yet the comparability of different technologies for mutation profiling remains an open question. We performed a European multicenter (n=6) evaluation of three amplicon-based NGS assays targeting 11 genes recurrently mutated in chronic lymphocytic leukemia. Each assay was assessed by two centers using 48 pre-characterized chronic lymphocytic leukemia samples; libraries were sequenced on the Illumina MiSeq instrument and bioinformatics analyses were centralized. Across all centers the median percentage of target reads ≥100x ranged from 94.2- 99.8%. In order to rule out assay-specific technical variability, we first assessed variant calling at the individual assay level i.e., pairwise analysis of variants detected amongst partner centers. After filtering for variants present in the paired normal sample and removal of PCR/sequencing artefacts, the panels achieved 96.2% (Multiplicom), 97.7% (TruSeq) and 90% (HaloPlex) concordance at a variant allele frequency (VAF) >0.5%. Reproducibility was assessed by looking at the inter-laboratory variation in detecting mutations and 107 of 115 (93% concordance) mutations were detected by all six centers, while the remaining eight variants (7%) were undetected by a single center. Notably, 6 of 8 of these variants concerned minor subclonal mutations (VAF 5%, after rigorous validation, the use of unique molecular identifiers may be necessary to reach a higher sensitivity and ensure consistent and accurate detection of low-frequency variants.
Published: 2020
Full Text: View/download PDF

39. 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

40. Recommendation of RILEM TC 264 RAP on the evaluation of asphalt recycling agents for hot mix asphalt

Author: Martin Hugener, Di Wang, Augusto Cannone Falchetto, Laurent Porot, Patricia Kara De Maeijer, Marko Orešković, Margarida Sa-da-Costa, Hassan Tabatabaee, Edoardo Bocci, Atsushi Kawakami, Bernhard Hofko, Andrea Grilli, Emiliano Pasquini, Marco Pasetto, Huachun Zhai, Hilde Soenen, Wim Van den bergh, Fabrizio Cardone, Alan Carter, Kamilla Vasconcelos, Xavier Carbonneau, Aurelie Lorserie, Goran Mladenović, Tomas Koudelka, Pavel Coufalik, Runhua Zhang, Eshan Dave, Gabriele Tebaldi, Swiss Federal Laboratories for Materials Science and Technology, Department of Civil Engineering, Kraton Chemical B.V., University of Antwerp, University of Belgrade, National Laboratory of Civil Engineering, eCampus University, Tokyo Institute of Technology, TU Wien, University of the Republic of San Marino, University of Padova, Idaho Asphalt Supply Inc, Nynas NV, Marche Polytechnic University, École de technologie supérieure, Universidade de São Paulo, Campus Scientifique et Technique COLAS, Brno University of Technology, University of New Hampshire, University of Parma, Aalto-yliopisto, and Aalto University
Subjects: Asphalt Recycling Agent (ARA), Ageing, Binder, Mechanics of Materials, Physics, Dynamic shear rheometer, Reclaimed asphalt, Rheology, General Materials Science, Building and Construction, Engineering sciences. Technology, Civil and Structural Engineering
Abstract: Funding Information: The authors would like to acknowledge the contributions of the active members of the RILEM technical committee TC 264-RAP in terms of experimental results, data analysis and proofreading. The authors would also like to thank Nynas AB, Kraton Chemical BV and Technical University of Braunschweig for supporting the interlaboratory activity by providing bituminous materials, ARA and RA binder. Publisher Copyright: © 2022, The Author(s). This recommendation is based on the results of an inter-laboratory study organised by the RILEM technical committee TC 264-RAP "Asphalt Pavement Recycling"—Task Group 3 (TG3) focusing on Asphalt Binder for Recycled Asphalt Mixture. The TG3 aimed to evaluate the effect of a specific family of materials known as asphalt recycling agent (ARA) on the aged binder under different configurations. Even though ageing is an irreversible phenomenon, effective ARA must have the capability to improve the flexibility of the bituminous materials and their resistance against cracking susceptibility with no adverse effect on the rutting resistance of pavements containing reclaimed asphalt. A total of 17 participating laboratories analysed the properties of binder blends composed of aged binder from reclaimed asphalt in three different contents (60, 80, 100%), ARA and virgin binder. The physical properties of the blends were thoroughly evaluated through traditional and rheological binder testing. This recommendation proposes to restore the original material properties at low and intermediate temperatures (i.e. cracking resistance) while balancing the high-temperature characteristics (i.e. rutting susceptibility) with durable impact throughout the progression of ageing phenomena. Therefore, useing of the Dynamic Shear Rheometer is foreseen as a more suitable and sustainable means to evaluate binder blends containing an asphalt recycling agent. Compared with conventional testing, the proposed approach requires fewer materials while resulting in a faster experimental procedure with one single test.
Published: 2022

41. Inverse evaluation of pressure in elastohydrodynamic point contact

Author: Jérôme Molimard, Querry, M., Vergne, P., Hartl, M., Krupka, I., Laboratoire de Tribologie et Dynamique des Systèmes (LTDS), École Centrale de Lyon (ECL), Université de Lyon-Université de Lyon-École Nationale des Travaux Publics de l'État (ENTPE)-Ecole Nationale d'Ingénieurs de Saint Etienne-Centre National de la Recherche Scientifique (CNRS), Centre Science des Matériaux et des Structures (SMS-ENSMSE), École des Mines de Saint-Étienne (Mines Saint-Étienne MSE), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Département Mécanique et Procédés d'Elaboration (MPE-ENSMSE), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-SMS, Laboratoire de Mécanique des Structures (LMSt), Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA), faculty of mechanical engineering (Brno University of Technology), and Brno University of Technology [Brno] (BUT)
Subjects: ComputingMilieux_MISCELLANEOUS
Abstract: International audience
Published: 2002

42. Differential colorimetry : a tool for the analysis of fluid film lubrication

Author: Jérôme Molimard, Querry, M., Vergne, P., Hartl, M., Krupka, I., Poliscuk, R., Liska, M., Laboratoire de Tribologie et Dynamique des Systèmes (LTDS), École Centrale de Lyon (ECL), Université de Lyon-Université de Lyon-École Nationale des Travaux Publics de l'État (ENTPE)-Ecole Nationale d'Ingénieurs de Saint Etienne-Centre National de la Recherche Scientifique (CNRS), Centre Science des Matériaux et des Structures (SMS-ENSMSE), École des Mines de Saint-Étienne (Mines Saint-Étienne MSE), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Département Mécanique et Procédés d'Elaboration (MPE-ENSMSE), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-SMS, Laboratoire de Mécanique des Structures (LMSt), Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA), faculty of mechanical engineering (Brno University of Technology), Brno University of Technology [Brno] (BUT), Laboratoire de Mécanique des Contacts et des Structures [Villeurbanne] (LaMCoS), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA)-Centre National de la Recherche Scientifique (CNRS), and Colin, Anne-Marie
Subjects: ComputingMilieux_MISCELLANEOUS
Abstract: International audience
Published: 2002

43. Thin Film Colorimetric Interferometry

Author: Martin Hartl, Miroslav Liška, Michel Querry, Philippe Vergne, Radek Poliščuk, Jérôme Molimard, Ivan Krupka, Faculty of Mechanical Engineering, Brno University of Technology [Brno] (BUT), faculty of mechanical engineering (Brno University of Technology), Laboratoire de Mécanique des Contacts et des Structures [Villeurbanne] (LaMCoS), Institut National des Sciences Appliquées de Lyon (INSA Lyon), and Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Centre National de la Recherche Scientifique (CNRS)
Subjects: Materials science, Base oil, [PHYS.MECA.GEME]Physics [physics]/Mechanics [physics]/Mechanical engineering [physics.class-ph], 02 engineering and technology, Hexadecane, chemistry.chemical_compound, Optics, 0203 mechanical engineering, Squalane, Thin film, Lubricant, ComputingMilieux_MISCELLANEOUS, business.industry, Mechanical Engineering, Surfaces and Interfaces, 021001 nanoscience & nanotechnology, Surfaces, Coatings and Films, [SPI.MECA.GEME]Engineering Sciences [physics]/Mechanics [physics.med-ph]/Mechanical engineering [physics.class-ph], Interferometry, 020303 mechanical engineering & transports, chemistry, Mechanics of Materials, Lubrication, Nanometre, 0210 nano-technology, business
Abstract: Measurement technique for the study of very thin lubrication films down to one nanometer in a point contact between a steel ball and a transparent disc is used to explore the relationship between central and minimum film thickness and rolling speed at the interface between elastohydrodynamic and boundary lubrication for a series of lubricating fluids. This technique based on the colorimetric interferometry combines powerful film thickness mapping capabilities with high accuracy. It was confirmed that both hexadecane and mineral base oil obey the linear relationship between log central and minimum film thickness and log rolling speed predicted by elastohydrodynamic theory down to approximately one nanometer. Conversely, squalane and additive-treated mineral base oil showed film thickness enhancement at slow speeds caused by boundary layers formation within the lubricant film. Obtained experimental data was used for the determination of pressure-viscosity coefficients of test fluids. The measurement techniq...
Published: 2001
Full Text: View/download PDF

44. Design, Verification, Test, and In-Field Implications of Approximate Digital Integrated Circuits

Author: Alberto Bosio, Stefano Di Carlo, Patrick Girard, Annachiara Ruospo, Ernesto Sanchez, Alessandro Savino, Lukas Sekanina, Marcello Traiola, Zdenek Vasicek, Arnaud Virazel, INL - Conception de Systèmes Hétérogènes (INL - CSH), Institut des Nanotechnologies de Lyon (INL), École Centrale de Lyon (ECL), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-École Supérieure de Chimie Physique Électronique de Lyon (CPE)-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Centre National de la Recherche Scientifique (CNRS)-École Centrale de Lyon (ECL), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Centre National de la Recherche Scientifique (CNRS), Politecnico di Torino = Polytechnic of Turin (Polito), Test and dEpendability of microelectronic integrated SysTems (TEST), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Brno University of Technology [Brno] (BUT), Architectures matérielles spécialisées pour l’ère post loi-de-Moore (TARAN), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-ARCHITECTURE (IRISA-D3), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), 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)-CentraleSupélec-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 Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-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)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), and Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)
Subjects: [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Approximation Circuits, Approximating Safety-Critical Applications, Approximate Circuits, Approximate Computing for IoT, DIGITAL SYSTEM DESIGN TEST AND VERIFICATION, Approximate Computing for HPC Applications, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Abstract: International audience; Today, the concept of approximation in computing is becoming more and more a “hot topic” to investigate how computing systems can be more energy-efficient, faster, and less complex. Intuitively, instead of performing exact computations and, consequently, requiring a high amount of resources, Approximate Computing aims at selectively relaxing the specifications, trading accuracy off for efficiency. While Approximate Computing allows many improvements when looking at systems’ performance, energy efficiency, and complexity, it poses significant challenges regarding the design, the verification, the test, and the in-field reliability of Approximate Digital Integrated Circuits. This chapter covers these aspects, leveraging the authors’ experience in the field to present state-of-the-art solutions to apply during the different development phases of an Approximate Computing system.
Published: 2022
Full Text: View/download PDF

45. Laser-Driven Wireless Deep Brain Stimulation using Temporal Interference and Organic Electrolytic Photocapacitors

Author: Florian Missey, Mary J. Donahue, Pascal Weber, Ibrahima Ngom, Emma Acerbo, Boris Botzanowski, Ludovico Migliaccio, Viktor Jirsa, Eric Daniel Głowacki, Adam Williamson, Institut de Neurosciences des Systèmes (INS), Aix Marseille Université (AMU)-Institut National de la Santé et de la Recherche Médicale (INSERM), Linköping University (LIU), Brno University of Technology [Brno] (BUT), Institut de Neurosciences de la Timone (INT), Aix Marseille Université (AMU)-Centre National de la Recherche Scientifique (CNRS), Karolinska University Hospital Solna and Karolinska Institutet, A.W. and E.D.G. acknowledge funding from the European Research Council (ERC) under the European Union's Horizon 2020 research and innovation programme (A.W. grant agreement No 716867, E.D.G. grant agreement No. 949191). M.J.D acknowledges funding from the European Research Council (834677 'e-NeuroPharma' ERC-2018-ADG). The authors gratefully acknowledges financial support from the Knut and Alice Wallenberg Foundation within the framework of the Wallenberg Centre for Molecular Medicine at Linkoping University and the Swedish Research Council (Vetenskapsradet, 2018-04505)., European Project: 716867,ERC, European Project: 949191,OPTEL-MED, and European Project: 834677,e-NeuroPharma
Subjects: organic bioelectronics, Biomaterials, organic electrolytic photocapacitors, optoelectronics, [SDV]Life Sciences [q-bio], Electrochemistry, Condensed Matter Physics, deep brain stimulation, temporal interference, Electronic, Optical and Magnetic Materials
Abstract: International audience; Deep brain stimulation (DBS) is a technique commonly used both in clinical and fundamental neurosciences. Classically, brain stimulation requires an implanted and wired electrode system to deliver stimulation directly to the target area. Although techniques such as temporal interference (TI) can provide stimulation at depth without involving any implanted electrodes, these methods still rely on a wired apparatus which limits free movement. Herein organic photocapacitors as untethered light-driven electrodes which convert deep-red light into electric current are reported. Pairs of these ultrathin devices can be driven using lasers at two different frequencies to deliver stimulation at depth via temporally interfering fields. This concept of laser TI stimulation using numerical modeling, tests with phantom brain samples, and finally in vivo tests is validated. Wireless organic photocapacitors are placed on the cortex and elicit stimulation in the hippocampus, while not delivering off-target stimulation in the cortex. This laser-driven wireless TI evokes a neuronal response at depth that is comparable to control experiments induced with deep brain stimulation protocols using implanted electrodes. This work shows that a combination of these two techniques-temporal interference and organic electrolytic photocapacitors-provides a reliable way to target brain structures requiring neither deeply implanted electrodes nor tethered stimulator devices. The laser TI protocol demonstrated here addresses two of the most important drawbacks in the field of DBS and thus holds potential to solve many issues in freely moving animal experiments or for clinical chronic therapy application.
Published: 2022
Full Text: View/download PDF

46. G-quadruplexes in helminth parasites

Author: Alessio Cantara, Yu Luo, Michaela Dobrovolná, Natalia Bohalova, Miroslav Fojta, Daniela Verga, Lionel Guittat, Anne Cucchiarini, Solène Savrimoutou, Cécile Häberli, Jean Guillon, Jennifer Keiser, Václav Brázda, Jean Louis Mergny, Mergny, Jean-Louis, Masaryk University [Brno] (MUNI), Institute of Biophysics of the Czech Academy of Sciences (IBP / CAS), Czech Academy of Sciences [Prague] (CAS), Laboratoire d'Optique et Biosciences (LOB), École polytechnique (X)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Centre National de la Recherche Scientifique (CNRS), Chimie, Modélisation et Imagerie pour la Biologie [Orsay], Université Paris-Sud - Paris 11 (UP11)-Institut Curie [Paris]-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), Brno University of Technology [Brno] (BUT), Centre de recherche de l'Institut Curie [Paris], Institut Curie [Paris], Université Sorbonne Paris Nord, Acides Nucléiques : Régulations Naturelle et Artificielle (ARNA), Université de Bordeaux (UB)-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 Basel (Unibas)
Subjects: [SDV.BIBS] Life Sciences [q-bio]/Quantitative Methods [q-bio.QM], Genome, Nematoda, Ligands, [SDV.BIBS]Life Sciences [q-bio]/Quantitative Methods [q-bio.QM], G-Quadruplexes, Platyhelminths, [SDV.BBM.GTP]Life Sciences [q-bio]/Biochemistry, Molecular Biology/Genomics [q-bio.GN], Helminths, parasitic diseases, Genetics, [SDV.BBM.GTP] Life Sciences [q-bio]/Biochemistry, Molecular Biology/Genomics [q-bio.GN], Animals, Humans, [SDV.MP.PAR]Life Sciences [q-bio]/Microbiology and Parasitology/Parasitology, Cattle, Parasites, [SDV.MP.PAR] Life Sciences [q-bio]/Microbiology and Parasitology/Parasitology
Abstract: Parasitic helminths infecting humans are highly prevalent infecting ∼2 billion people worldwide, causing inflammatory responses, malnutrition and anemia that are the primary cause of morbidity. In addition, helminth infections of cattle have a significant economic impact on livestock production, milk yield and fertility. The etiological agents of helminth infections are mainly Nematodes (roundworms) and Platyhelminths (flatworms). G-quadruplexes (G4) are unusual nucleic acid structures formed by G-rich sequences that can be recognized by specific G4 ligands. Here we used the G4Hunter Web Tool to identify and compare potential G4 sequences (PQS) in the nuclear and mitochondrial genomes of various helminths to identify G4 ligand targets. PQS are nonrandomly distributed in these genomes and often located in the proximity of genes. Unexpectedly, a Nematode, Ascaris lumbricoides, was found to be highly enriched in stable PQS. This species can tolerate high-stability G4 structures, which are not counter selected at all, in stark contrast to most other species. We experimentally confirmed G4 formation for sequences found in four different parasitic helminths. Small molecules able to selectively recognize G4 were found to bind to Schistosoma mansoni G4 motifs. Two of these ligands demonstrated potent activity both against larval and adult stages of this parasite.
Published: 2022
Full Text: View/download PDF

47. Revisiting Joint Decoding Based Multi-Talker Speech Recognition withDNN Acoustic Model

Author: Kocour, Martin, Žmolíková, Kateřina, Ondel, Lucas, Švec, Ján, Delcroix, Marc, Ochiai, Tsubasa, Burget, Lukáš, Černocký, Jan, Faculty of Information Technology [Brno] (FIT / BUT), Brno University of Technology [Brno] (BUT), Traitement du Langage Parlé (TLP ), Laboratoire Interdisciplinaire des Sciences du Numérique (LISN), CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Sciences et Technologies des Langues (STL), CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS), NTT Corporation, Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Sciences et Technologies des Langues (STL), and Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)
Subjects: [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG], [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
Published: 2021

48. Bayesian Subspace HMM for the Zerospeech 2020 Challenge

Author: Yusuf, Bolaji, Ondel, Lucas, Faculty of Information Technology [Brno] (FIT / BUT), Brno University of Technology [Brno] (BUT), Boğaziçi University [Istanbul], and Boǧaziçi üniversitesi = Boğaziçi University [Istanbul]
Subjects: FOS: Computer and information sciences, Computer Science - Machine Learning, Computer Science - Computation and Language, [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG], Audio and Speech Processing (eess.AS), Statistics - Machine Learning, FOS: Electrical engineering, electronic engineering, information engineering, Machine Learning (stat.ML), Computer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing), Computation and Language (cs.CL), [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], Machine Learning (cs.LG), Electrical Engineering and Systems Science - Audio and Speech Processing
Abstract: In this paper we describe our submission to the Zerospeech 2020 challenge, where the participants are required to discover latent representations from unannotated speech, and to use those representations to perform speech synthesis, with synthesis quality used as a proxy metric for the unit quality. In our system, we use the Bayesian Subspace Hidden Markov Model (SHMM) for unit discovery. The SHMM models each unit as an HMM whose parameters are constrained to lie in a low dimensional subspace of the total parameter space which is trained to model phonetic variability. Our system compares favorably with the baseline on the human-evaluated character error rate while maintaining significantly lower unit bitrate.
Published: 2021

49. Unsupervised Word Segmentation from Discrete Speech Units in Low-Resource Settings

Author: Boito, Marcely Zanon, Yusuf, Bolaji, Ondel, Lucas, Villavicencio, Aline, Besacier, Laurent, 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]), Faculty of Information Technology [Brno] (FIT / BUT), Brno University of Technology [Brno] (BUT), Boǧaziçi üniversitesi = Boğaziçi University [Istanbul], University of Sheffield [Sheffield], FEDERAL UNIVERSITY OF RIO GRANDE DO SUL PORTO ALEGRE BRA, Partenaires IRSTEA, Institut national de recherche en sciences et technologies pour l'environnement et l'agriculture (IRSTEA)-Institut national de recherche en sciences et technologies pour l'environnement et l'agriculture (IRSTEA), 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), Naver Labs Europe [Meylan], and Boğaziçi University [Istanbul]
Subjects: FOS: Computer and information sciences, Sound (cs.SD), Computer Science - Computation and Language, [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG], Audio and Speech Processing (eess.AS), FOS: Electrical engineering, electronic engineering, information engineering, Computation and Language (cs.CL), Computer Science - Sound, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], Electrical Engineering and Systems Science - Audio and Speech Processing
Abstract: Documenting languages helps to prevent the extinction of endangered dialects, many of which are otherwise expected to disappear by the end of the century. When documenting oral languages, unsupervised word segmentation (UWS) from speech is a useful, yet challenging, task. It consists in producing time-stamps for slicing utterances into smaller segments corresponding to words, being performed from phonetic transcriptions, or in the absence of these, from the output of unsupervised speech discretization models. These discretization models are trained using raw speech only, producing discrete speech units that can be applied for downstream (text-based) tasks. In this paper we compare five of these models: three Bayesian and two neural approaches, with regards to the exploitability of the produced units for UWS. For the UWS task, we experiment with two models, using as our target language the Mboshi (Bantu C25), an unwritten language from Congo-Brazzaville. Additionally, we report results for Finnish, Hungarian, Romanian and Russian in equally low-resource settings, using only 4 hours of speech. Our results suggest that neural models for speech discretization are difficult to exploit in our setting, and that it might be necessary to adapt them to limit sequence length. We obtain our best UWS results by using Bayesian models that produce high quality, yet compressed, discrete representations of the input speech signal., Accepted to SIGUL 2022
Published: 2021

50. Non-Parametric Bayesian Subspace Models for Acoustic Unit Discovery

Author: Lucas Ondel, Bolaji Yusuf, Lukas Burget, Murat Saraclar, Laboratoire Interdisciplinaire des Sciences du Numérique (LISN), CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS), Traitement du Langage Parlé (TLP ), CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Sciences et Technologies des Langues (STL), CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS), Faculty of Information Technology [Brno] (FIT / BUT), Brno University of Technology [Brno] (BUT), BUSIM Speech Group, Department of Electrical and Electronic Engineering [Istanbul], Boǧaziçi üniversitesi = Boğaziçi University [Istanbul]-Boǧaziçi üniversitesi = Boğaziçi University [Istanbul], Boğaziçi University [Istanbul]-Boğaziçi University [Istanbul], Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Sciences et Technologies des Langues (STL), and Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)
Subjects: Computational Mathematics, Acoustics and Ultrasonics, [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG], Computer Science::Sound, [INFO.INFO-SD]Computer Science [cs]/Sound [cs.SD], Computer Science (miscellaneous), Computer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing), Electrical and Electronic Engineering, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
Abstract: This work investigates subspace non-parametric models for the task of learning a set of acoustic units from unlabeled speech recordings. We constrain the base-measure of a Dirichlet-Process mixture with a phonetic subspace-estimated from other source languages-to build an educated prior, thereby forcing the learned acoustic units to resemble phones of known source languages. Two types of models are proposed: (i) the Subspace HMM (SHMM) which assumes that the phonetic subspace is the same for every language, (ii) the Hierarchical-Subspace HMM (H-SHMM) which relaxes this assumption and allows to have a language-specific subspace estimated on the unlabeled target data. These models are applied on 3 languages: English, Yoruba and Mboshi and they are compared with various competitive acoustic units discovery baselines. Experimental results show that both subspace models outperform other systems in terms of clustering quality and segmentation accuracy. Moreover, we observe that the H-SHMM provides results superior to the SHMM supporting the idea that language-specific priors are preferable to language-agnostic priors for acoustic unit discovery.
Published: 2021

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

Journal

Database

Publisher

270 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