4,275 research outputs found

    LIPIcs, Volume 251, ITCS 2023, Complete Volume

    Get PDF
    LIPIcs, Volume 251, ITCS 2023, Complete Volum

    Twin-Width V: Linear Minors, Modular Counting, and Matrix Multiplication

    Get PDF

    Sensitivity of NEXT-100 detector to neutrinoless double beta decay

    Get PDF
    Nesta tese estĂșdiase a sensibilidade do detector NEXT-100 ĂĄ desintegraciĂłn dobre beta sen neutrinos. Existe un gran interese na busca desta desintegraciĂłn xa que poderĂ­a respostar preguntas fundamentais en fĂ­sica de neutrinos. O detector constitĂșe a terceira fase do experimento NEXT, colaboraciĂłn na que se desenrolou esta tese. A continuaciĂłn inclĂșese un resumo de cada un dos capĂ­tulos nos que se divide a tese. ComĂ©zase introducindo o marco teĂłrico e experimental nas secciĂłns FĂ­sica de neutrinos, A busca da desintegraciĂłn dobre beta sen neutrinos e O experimento NEXT. Posteriormente descrĂ­bense a parte principal do anĂĄlise da tese en SimulaciĂłn do detector, Procesamento de datos e Sensibilidade do detector NEXT-100

    Exploration autonome et efficiente de chantiers miniers souterrains inconnus avec un drone filaire

    Get PDF
    Abstract: Underground mining stopes are often mapped using a sensor located at the end of a pole that the operator introduces into the stope from a secure area. The sensor emits laser beams that provide the distance to a detected wall, thus creating a 3D map. This produces shadow zones and a low point density on the distant walls. To address these challenges, a research team from the UniversitĂ© de Sherbrooke is designing a tethered drone equipped with a rotating LiDAR for this mission, thus benefiting from several points of view. The wired transmission allows for unlimited flight time, shared computing, and real-time communication. For compatibility with the movement of the drone after tether entanglements, the excess length is integrated into an onboard spool, contributing to the drone payload. During manual piloting, the human factor causes problems in the perception and comprehension of a virtual 3D environment, as well as the execution of an optimal mission. This thesis focuses on autonomous navigation in two aspects: path planning and exploration. The system must compute a trajectory that maps the entire environment, minimizing the mission time and respecting the maximum onboard tether length. Path planning using a Rapidly-exploring Random Tree (RRT) quickly finds a feasible path, but the optimization is computationally expensive and the performance is variable and unpredictable. Exploration by the frontier method is representative of the space to be explored and the path can be optimized by solving a Traveling Salesman Problem (TSP) but existing techniques for a tethered drone only consider the 2D case and do not optimize the global path. To meet these challenges, this thesis presents two new algorithms. The first one, RRT-Rope, produces an equal or shorter path than existing algorithms in a significantly shorter computation time, up to 70% faster than the next best algorithm in a representative environment. A modified version of RRT-connect computes a feasible path, shortened with a deterministic technique that takes advantage of previously added intermediate nodes. The second algorithm, TAPE, is the first 3D cavity exploration method that focuses on minimizing mission time and unwound tether length. On average, the overall path is 4% longer than the method that solves the TSP, but the tether remains under the allowed length in 100% of the simulated cases, compared to 53% with the initial method. The approach uses a 2-level hierarchical architecture: global planning solves a TSP after frontier extraction, and local planning minimizes the path cost and tether length via a decision function. The integration of these two tools in the NetherDrone produces an intelligent system for autonomous exploration, with semi-autonomous features for operator interaction. This work opens the door to new navigation approaches in the field of inspection, mapping, and Search and Rescue missions.La cartographie des chantiers miniers souterrains est souvent rĂ©alisĂ©e Ă  l’aide d’un capteur situĂ© au bout d’une perche que l’opĂ©rateur introduit dans le chantier, depuis une zone sĂ©curisĂ©e. Le capteur Ă©met des faisceaux laser qui fournissent la distance Ă  un mur dĂ©tectĂ©, crĂ©ant ainsi une carte en 3D. Ceci produit des zones d’ombres et une faible densitĂ© de points sur les parois Ă©loignĂ©es. Pour relever ces dĂ©fis, une Ă©quipe de recherche de l’UniversitĂ© de Sherbrooke conçoit un drone filaire Ă©quipĂ© d’un LiDAR rotatif pour cette mission, bĂ©nĂ©ficiant ainsi de plusieurs points de vue. La transmission filaire permet un temps de vol illimitĂ©, un partage de calcul et une communication en temps rĂ©el. Pour une compatibilitĂ© avec le mouvement du drone lors des coincements du fil, la longueur excĂ©dante est intĂ©grĂ©e dans une bobine embarquĂ©e, qui contribue Ă  la charge utile du drone. Lors d’un pilotage manuel, le facteur humain entraĂźne des problĂšmes de perception et comprĂ©hension d’un environnement 3D virtuel, et d’exĂ©cution d’une mission optimale. Cette thĂšse se concentre sur la navigation autonome sous deux aspects : la planification de trajectoire et l’exploration. Le systĂšme doit calculer une trajectoire qui cartographie l’environnement complet, en minimisant le temps de mission et en respectant la longueur maximale de fil embarquĂ©e. La planification de trajectoire Ă  l’aide d’un Rapidly-exploring Random Tree (RRT) trouve rapidement un chemin rĂ©alisable, mais l’optimisation est coĂ»teuse en calcul et la performance est variable et imprĂ©visible. L’exploration par la mĂ©thode des frontiĂšres est reprĂ©sentative de l’espace Ă  explorer et le chemin peut ĂȘtre optimisĂ© en rĂ©solvant un Traveling Salesman Problem (TSP), mais les techniques existantes pour un drone filaire ne considĂšrent que le cas 2D et n’optimisent pas le chemin global. Pour relever ces dĂ©fis, cette thĂšse prĂ©sente deux nouveaux algorithmes. Le premier, RRT-Rope, produit un chemin Ă©gal ou plus court que les algorithmes existants en un temps de calcul jusqu’à 70% plus court que le deuxiĂšme meilleur algorithme dans un environnement reprĂ©sentatif. Une version modifiĂ©e de RRT-connect calcule un chemin rĂ©alisable, raccourci avec une technique dĂ©terministe qui tire profit des noeuds intermĂ©diaires prĂ©alablement ajoutĂ©s. Le deuxiĂšme algorithme, TAPE, est la premiĂšre mĂ©thode d’exploration de cavitĂ©s en 3D qui minimise le temps de mission et la longueur du fil dĂ©roulĂ©. En moyenne, le trajet global est 4% plus long que la mĂ©thode qui rĂ©sout le TSP, mais le fil reste sous la longueur autorisĂ©e dans 100% des cas simulĂ©s, contre 53% avec la mĂ©thode initiale. L’approche utilise une architecture hiĂ©rarchique Ă  2 niveaux : la planification globale rĂ©sout un TSP aprĂšs extraction des frontiĂšres, et la planification locale minimise le coĂ»t du chemin et la longueur de fil via une fonction de dĂ©cision. L’intĂ©gration de ces deux outils dans le NetherDrone produit un systĂšme intelligent pour l’exploration autonome, dotĂ© de fonctionnalitĂ©s semi-autonomes pour une interaction avec l’opĂ©rateur. Les travaux rĂ©alisĂ©s ouvrent la porte Ă  de nouvelles approches de navigation dans le domaine des missions d’inspection, de cartographie et de recherche et sauvetage

    Parameterized Complexity of Binary CSP: Vertex Cover, Treedepth, and Related Parameters

    Get PDF
    We investigate the parameterized complexity of Binary CSP parameterized by the vertex cover number and the treedepth of the constraint graph, as well as by a selection of related modulator-based parameters. The main findings are as follows: - Binary CSP parameterized by the vertex cover number is W[3]-complete. More generally, for every positive integer d, Binary CSP parameterized by the size of a modulator to a treedepth-d graph is W[2d+1]-complete. This provides a new family of natural problems that are complete for odd levels of the W-hierarchy. - We introduce a new complexity class XSLP, defined so that Binary CSP parameterized by treedepth is complete for this class. We provide two equivalent characterizations of XSLP: the first one relates XSLP to a model of an alternating Turing machine with certain restrictions on conondeterminism and space complexity, while the second one links XSLP to the problem of model-checking first-order logic with suitably restricted universal quantification. Interestingly, the proof of the machine characterization of XSLP uses the concept of universal trees, which are prominently featured in the recent work on parity games. - We describe a new complexity hierarchy sandwiched between the W-hierarchy and the A-hierarchy: For every odd t, we introduce a parameterized complexity class S[t] with W[t] ? S[t] ? A[t], defined using a parameter that interpolates between the vertex cover number and the treedepth. We expect that many of the studied classes will be useful in the future for pinpointing the complexity of various structural parameterizations of graph problems

    Proceedings of SIRM 2023 - The 15th European Conference on Rotordynamics

    Get PDF
    It was our great honor and pleasure to host the SIRM Conference after 2003 and 2011 for the third time in Darmstadt. Rotordynamics covers a huge variety of different applications and challenges which are all in the scope of this conference. The conference was opened with a keynote lecture given by Rainer Nordmann, one of the three founders of SIRM “Schwingungen in rotierenden Maschinen”. In total 53 papers passed our strict review process and were presented. This impressively shows that rotordynamics is relevant as ever. These contributions cover a very wide spectrum of session topics: fluid bearings and seals; air foil bearings; magnetic bearings; rotor blade interaction; rotor fluid interactions; unbalance and balancing; vibrations in turbomachines; vibration control; instability; electrical machines; monitoring, identification and diagnosis; advanced numerical tools and nonlinearities as well as general rotordynamics. The international character of the conference has been significantly enhanced by the Scientific Board since the 14th SIRM resulting on one hand in an expanded Scientific Committee which meanwhile consists of 31 members from 13 different European countries and on the other hand in the new name “European Conference on Rotordynamics”. This new international profile has also been emphasized by participants of the 15th SIRM coming from 17 different countries out of three continents. We experienced a vital discussion and dialogue between industry and academia at the conference where roughly one third of the papers were presented by industry and two thirds by academia being an excellent basis to follow a bidirectional transfer what we call xchange at Technical University of Darmstadt. At this point we also want to give our special thanks to the eleven industry sponsors for their great support of the conference. On behalf of the Darmstadt Local Committee I welcome you to read the papers of the 15th SIRM giving you further insight into the topics and presentations

    Novel 129Xe Magnetic Resonance Imaging and Spectroscopy Measurements of Pulmonary Gas-Exchange

    Get PDF
    Gas-exchange is the primary function of the lungs and involves removing carbon dioxide from the body and exchanging it within the alveoli for inhaled oxygen. Several different pulmonary, cardiac and cardiovascular abnormalities have negative effects on pulmonary gas-exchange. Unfortunately, clinical tests do not always pinpoint the problem; sensitive and specific measurements are needed to probe the individual components participating in gas-exchange for a better understanding of pathophysiology, disease progression and response to therapy. In vivo Xenon-129 gas-exchange magnetic resonance imaging (129Xe gas-exchange MRI) has the potential to overcome these challenges. When participants inhale hyperpolarized 129Xe gas, it has different MR spectral properties as a gas, as it diffuses through the alveolar membrane and as it binds to red-blood-cells. 129Xe MR spectroscopy and imaging provides a way to tease out the different anatomic components of gas-exchange simultaneously and provides spatial information about where abnormalities may occur. In this thesis, I developed and applied 129Xe MR spectroscopy and imaging to measure gas-exchange in the lungs alongside other clinical and imaging measurements. I measured 129Xe gas-exchange in asymptomatic congenital heart disease and in prospective, controlled studies of long-COVID. I also developed mathematical tools to model 129Xe MR signals during acquisition and reconstruction. The insights gained from my work underscore the potential for 129Xe gas-exchange MRI biomarkers towards a better understanding of cardiopulmonary disease. My work also provides a way to generate a deeper imaging and physiologic understanding of gas-exchange in vivo in healthy participants and patients with chronic lung and heart disease

    Fuzzy Natural Logic in IFSA-EUSFLAT 2021

    Get PDF
    The present book contains five papers accepted and published in the Special Issue, “Fuzzy Natural Logic in IFSA-EUSFLAT 2021”, of the journal Mathematics (MDPI). These papers are extended versions of the contributions presented in the conference “The 19th World Congress of the International Fuzzy Systems Association and the 12th Conference of the European Society for Fuzzy Logic and Technology jointly with the AGOP, IJCRS, and FQAS conferences”, which took place in Bratislava (Slovakia) from September 19 to September 24, 2021. Fuzzy Natural Logic (FNL) is a system of mathematical fuzzy logic theories that enables us to model natural language terms and rules while accounting for their inherent vagueness and allows us to reason and argue using the tools developed in them. FNL includes, among others, the theory of evaluative linguistic expressions (e.g., small, very large, etc.), the theory of fuzzy and intermediate quantifiers (e.g., most, few, many, etc.), and the theory of fuzzy/linguistic IF–THEN rules and logical inference. The papers in this Special Issue use the various aspects and concepts of FNL mentioned above and apply them to a wide range of problems both theoretically and practically oriented. This book will be of interest for researchers working in the areas of fuzzy logic, applied linguistics, generalized quantifiers, and their applications
    • 

    corecore