14,327 results on '"Reiner, A P"'
Search Results
2. An Expressive Trace Logic for Recursive Programs
- Author
-
Gurov, Dilian and Hähnle, Reiner
- Subjects
Computer Science - Logic in Computer Science ,Computer Science - Software Engineering ,68Q55 (Primary) 03B45 (Secondary) ,F.3.2 ,F.3.1 ,F.4.1 - Abstract
We present an expressive logic over trace formulas, based on binary state predicates, chop, and least fixed-points, for precise specification of programs with recursive procedures. Both, programs and trace formulas, are equipped with a direct-style, fully compositional, denotational semantics that on programs coincides with the standard SOS of recursive programs. We design a compositional proof calculus for proving finite-trace program properties, and prove soundness as well as (relative) completeness. We show that each program can be mapped to a semantics-preserving trace formula and, vice versa, each trace formula can be mapped to a canonical program over slightly extended programs, resulting in a Galois connection between programs and formulas. Our results shed light on the correspondence between programming constructs and logical connectives., Comment: 22 pages, 6 figures
- Published
- 2024
3. Overhead Measurement Noise in Different Runtime Environments
- Author
-
Reichelt, David Georg, Jung, Reiner, and van Hoorn, André
- Subjects
Computer Science - Performance ,D.2.7 ,D.2.8 - Abstract
In order to detect performance changes, measurements are performed with the same execution environment. In cloud environments, the noise from different processes running on the same cluster nodes might change measurement results and thereby make performance changes hard to measure. The benchmark MooBench determines the overhead of different observability tools and is executed continuously. In this study, we compare the suitability of different execution environments to benchmark the observability overhead using MooBench. To do so, we compare the execution times and standard deviation of MooBench in a cloud execution environment to three bare-metal execution environments. We find that bare metal servers have lower runtime and standard deviation for multi-threaded MooBench execution. Nevertheless, we see that performance changes up to 4.41% are detectable by GitHub actions, as long as only sequential workloads are examined.
- Published
- 2024
4. Topological meron-antimeron domain walls and skyrmions in a low-symmetry system
- Author
-
Brüning, Reiner, Rózsa, Levente, Conte, Roberto Lo, Kubetzka, André, Wiesendanger, Roland, and von Bergmann, Kirsten
- Subjects
Condensed Matter - Mesoscale and Nanoscale Physics - Abstract
The generation of topologically non-trivial magnetic configurations has been a pivotal topic in both basic and applied nanomagnetism research. Localized non-coplanar magnetic defects such as skyrmions or merons were found to interact strongly with currents, making them interesting candidates for future spintronics applications. Here, we study a low-symmetry bcc(110) system by spin-polarized scanning tunneling microscopy and an atomistic spin model using parameters obtained from first-principles calculations. We demonstrate how a delicate balance between energy terms generates both topologically trivial and non-trivial domain walls, depending on their crystallographic direction. The topological walls consist of merons and antimerons and the topological charge amounts to about 0.2/nm wall length. The incorporation of holes in the films facilitates the transition from an in-plane ferromagnetic ground state to a spin-spiral state. Both domain walls and spirals transition into isolated elongated magnetic skyrmions in applied magnetic fields, establishing low-symmetry systems as a versatile platform for spin-texture engineering.
- Published
- 2024
5. The Aegis Orbit Determination and Impact Monitoring System and services of the ESA NEOCC web portal
- Author
-
Fenucci, Marco, Faggioli, Laura, Gianotto, Francesco, Cioci, Davide Bracali, Cano, Juan Luis, Conversi, Luca, Devogèle, Maxime, Di Girolamo, Gianpiero, Drury, Charlie, Föhring, Dora, Gisolfi, Luigi, Kresken, Reiner, Micheli, Marco, Moissl, Richard, Ocaña, Francisco, Oliviero, Dario, Porru, Andrea, Ramirez-Moreta, Pablo, Rudawska, Regina, Bernardi, Fabrizio, Bertolucci, Alessia, Dimare, Linda, Guerra, Francesca, Baldisserotto, Valerio, Ceccaroni, Marta, Cennamo, Ramona, Chessa, Andrea, Del Vigna, Alessio, Koschny, Detlef, Teodorescu, Ana Maria, and Perozzi, Ettore
- Subjects
Astrophysics - Earth and Planetary Astrophysics - Abstract
The NEO Coordination Centre (NEOCC) of the European Space Agency is an operational centre that, among other activities, computes the orbits of near-Earth objects and their probabilities of impact with the Earth. The NEOCC started providing information about near-Earth objects in 2012 on a dedicated web portal, accessible at https://neo.ssa.esa.int/. Since the beginning of the operational phase, many developments and improvements have been implemented regarding the software, the data provided, and the portal. One of the most important upgrades is that the NEOCC is now independently providing data through a newly developed Orbit Determination and Impact Monitoring system, named Aegis. All the data computed by Aegis is publicly available on the NEOCC web portal, and Aegis is also used to maintain all the major services offered. The most important services comprise an orbital catalogue of all known asteroids, a list of possible future impacts with the Earth (also called Risk List), a list of forthcoming close approaches, a set of graphical toolkits, and an on-demand ephemerides service. Many of the services are also available through dedicated APIs, which can be used to automatically retrieve data. Here we give an overview of the algorithms implemented in the Aegis software, and provide a summary of the services offered by the NEOCC that are supported by Aegis., Comment: Accepted for publication on CMDA
- Published
- 2024
6. Methylation patterns associated with C-reactive protein in racially and ethnically diverse populations
- Author
-
Lundin, Jessica I, Peters, Ulrike, Hu, Yao, Ammous, Farah, Avery, Christy L, Benjamin, Emelia J, Bis, Joshua C, Brody, Jennifer A, Carlson, Chris, Cushman, Mary, Gignoux, Chris, Guo, Xiuqing, Haessler, Jeff, Haiman, Chris, Joehanes, Roby, Kasela, Silva, Kenny, Eimear, Lapalainien, Tuuli, Levy, Daniel, Liu, Chunyu, Liu, Yongmei, Loos, Ruth JF, Lu, Ake, Matise, Tara, North, Kari E, Park, Sungshim L, Ratliff, Scott M, Reiner, Alex, Rich, Stephen S, Rotter, Jerome I, Smith, Jennifer A, Sotoodehnia, Nona, Tracy, Russell, Van den Berg, David, Xu, Huichun, Ye, Ting, Zhao, Wei, Raffield, Laura M, Kooperberg, Charles, and Study, On Behalf of the PAGE
- Subjects
Biological Sciences ,Genetics ,Minority Health ,American Indian or Alaska Native ,Human Genome ,Health Disparities ,Aetiology ,2.1 Biological and endogenous factors ,Inflammatory and immune system ,Humans ,DNA Methylation ,C-Reactive Protein ,Epigenesis ,Genetic ,DNA ,Inflammation ,Genome-Wide Association Study ,CpG Islands ,Intracellular Signaling Peptides and Proteins ,C-reactive protein ,methylation ,epigenetics ,EWAS ,racial and ethnic diversity ,Mendelian randomization ,causal pathway ,PAGE Study ,Biochemistry and Cell Biology ,Medical Biochemistry and Metabolomics ,Developmental Biology ,Biochemistry and cell biology - Abstract
Systemic low-grade inflammation is a feature of chronic disease. C-reactive protein (CRP) is a common biomarker of inflammation and used as an indicator of disease risk; however, the role of inflammation in disease is not completely understood. Methylation is an epigenetic modification in the DNA which plays a pivotal role in gene expression. In this study we evaluated differential DNA methylation patterns associated with blood CRP level to elucidate biological pathways and genetic regulatory mechanisms to improve the understanding of chronic inflammation. The racially and ethnically diverse participants in this study were included as 50% White, 41% Black or African American, 7% Hispanic or Latino/a, and 2% Native Hawaiian, Asian American, American Indian, or Alaska Native (total n = 13,433) individuals. We replicated 113 CpG sites from 87 unique loci, of which five were novel (CADM3, NALCN, NLRC5, ZNF792, and cg03282312), across a discovery set of 1,150 CpG sites associated with CRP level (p
- Published
- 2024
7. Zinc finger nuclease-mediated gene editing in hematopoietic stem cells results in reactivation of fetal hemoglobin in sickle cell disease.
- Author
-
Lessard, Samuel, Rimmelé, Pauline, Ling, Hui, Moran, Kevin, Vieira, Benjamin, Lin, Yi-Dong, Rajani, Gaurav, Hong, Vu, Reik, Andreas, Boismenu, Richard, Hsu, Ben, Chen, Michael, Cockroft, Bettina, Uchida, Naoya, Tisdale, John, Alavi, Asif, Krishnamurti, Lakshmanan, Abedi, Mehrdad, Galeon, Isobelle, Reiner, David, Wang, Lin, Ramezi, Anne, Rendo, Pablo, Walters, Mark, Levasseur, Dana, Peters, Robert, Harris, Timothy, and Hicks, Alexandra
- Subjects
Anemia ,Sickle Cell ,Fetal Hemoglobin ,Humans ,Gene Editing ,Hematopoietic Stem Cells ,Zinc Finger Nucleases ,Female ,Male ,Adult ,Hematopoietic Stem Cell Transplantation ,Animals ,Mice ,Repressor Proteins - Abstract
BIVV003 is a gene-edited autologous cell therapy in clinical development for the potential treatment of sickle cell disease (SCD). Hematopoietic stem cells (HSC) are genetically modified with mRNA encoding zinc finger nucleases (ZFN) that target and disrupt a specific regulatory GATAA motif in the BCL11A erythroid enhancer to reactivate fetal hemoglobin (HbF). We characterized ZFN-edited HSC from healthy donors and donors with SCD. Results of preclinical studies show that ZFN-mediated editing is highly efficient, with enriched biallelic editing and high frequency of on-target indels, producing HSC capable of long-term multilineage engraftment in vivo, and express HbF in erythroid progeny. Interim results from the Phase 1/2 PRECIZN-1 study demonstrated that BIVV003 was well-tolerated in seven participants with SCD, of whom five of the six with more than 3 months of follow-up displayed increased total hemoglobin and HbF, and no severe vaso-occlusive crises. Our data suggest BIVV003 represents a compelling and novel cell therapy for the potential treatment of SCD.
- Published
- 2024
8. Effect of environmental noise on charge diffusion in DNA: Towards modeling its potential epigenetic impact in live processes
- Author
-
Rossini, Mirko, Ammerpohl, Ole, Siebert, Reiner, and Ankerhold, Joachim
- Subjects
Physics - Biological Physics ,Quantum Physics - Abstract
Charge diffusion through desoxyribonucleic acid (DNA) is a physico-chemical phenomenon that on the one hand is being explored for technological purposes, on the other hand is applied by nature for various informational processes in life. With regard to the latter, increasing experimental and theoretical evidence indicates that charge diffusion through DNA is involved in basic steps of DNA replication and repair, as well as regulation of gene expression via epigenetic mechanisms such as DNA methylation or DNA binding of proteins. From the physics point of view, DNA supports a metallic-like behavior with long-range charge mobility. Nevertheless, particularly considering a living environment, charge mobility in DNA needs to take into account omnipresent noise and disorder. Here, we analyze quantum diffusion of single charges along DNA-inspired two-dimensional tight-binding lattices in presence of different sources of intrinsic and environmental fluctuations. It is shown that double-strand lattices, parametrized according to atomistic calculations of DNA sequences, offer a complex network of pathways between sites and may give rise to long-distance coherence phenomena. These effects strongly depend on carrier type (electrons, holes), the energetic profile of the lattice (composition) as well as the type of noise and disorder. Of particular interest are spatially correlated low-frequency fluctuations which may support coherent charge transfer over distances of a few sites. Our results may trigger further experimental activities aiming at investigating charge mobility in DNA both in the native in-vivo context as well as on artificial platforms., Comment: 11 pages (10 without bibliography), 10 figures
- Published
- 2024
9. BIRA: A Spherical Bistatic Reflectivity Measurement System
- Author
-
Andrich, Carsten, Nowack, Tobias F., Ihlow, Alexander, Giehl, Sebastian, Engelhardt, Maximilian, Sommerkorn, Gerd, Schwind, Andreas, Hofmann, Willi, Bornkessel, Christian, Thomä, Reiner S., and Hein, Matthias A.
- Subjects
Electrical Engineering and Systems Science - Signal Processing - Abstract
The upcoming 6G mobile communication standard will offer a revolutionary new feature: Integrated sensing and communication (ISAC) reuses mobile communication signals to realize multi-static radar for various applications including localization. Consequently, applied ISAC propagation research necessitates to evolve from classical monostatic radar cross section (RCS) measurement of static targets on to bistatic radar reflectivity characterization of dynamic objects. Here, we introduce our "Bistatic Radar" (BIRA) and antenna measurement facility for bistatic spherical positioning with sub-millimeter accuracy on a diameter of up to 7 m and with almost continuous frequency coverage from 0.7 up to 260 GHz. Currently, BIRA is the only bistatic measurement facility capable of unrestricted ISAC research: In addition to vector network analysis, BIRA employs advanced wideband transceiver technology with an instantaneous bandwidth of up to 4 GHz. These transceivers grant BIRA the unique ability to characterize dynamic targets in both Doppler and range, while also significantly accelerating RCS measurements of static objects., Comment: 9 pages, 8 figures
- Published
- 2024
10. Harmonics and graded Ehrhart theory
- Author
-
Reiner, Victor and Rhoades, Brendon
- Subjects
Mathematics - Combinatorics ,Mathematics - Commutative Algebra - Abstract
The Ehrhart polynomial and Ehrhart series count lattice points in integer dilations of a lattice polytope. We introduce and study a $q$-deformation of the Ehrhart series, based on the notions of harmonic spaces and Macaulay's inverse systems for coordinate rings of finite point configurations. We conjecture that this $q$-Ehrhart series is a rational function, and introduce and study a bigraded algebra whose Hilbert series matches the $q$-Ehrhart series. Defining this algebra requires a new result on Macaulay inverse systems for Minkowski sums of point configurations., Comment: 61 pages. Version 3: This version features a streamlined proof of Theorem 1.4, based on a suggestion of Ian Cavey
- Published
- 2024
11. Safety of the PCSK9 inhibitor alirocumab: insights from 47 296 patient-years of observation
- Author
-
Goodman, Shaun G, Steg, Philippe Gabriel, Szarek, Michael, Bhatt, Deepak L, Bittner, Vera A, Diaz, Rafael, Harrington, Robert A, Jukema, J Wouter, White, Harvey D, Zeiher, Andreas M, Manvelian, Garen, Pordy, Robert, Poulouin, Yann, Stipek, Wanda, Garon, Genevieve, Schwartz, Gregory G, Steg, Ph Gabriel, Tricoci, Pierluigi, Roe, Matthew T, Mahaffey, Kenneth W, Edelberg, Jay M, Hanotin, Corinne, Lecorps, Guillaume, Moryusef, Angèle, Sasiela, William J, Tamby, Jean-François, Aylward, Philip E, Drexel, Heinz, Sinnaeve, Peter, Dilic, Mirza, Lopes, Renato D, Gotcheva, Nina N, Prieto, Juan-Carlos, Yong, Huo, López-Jaramillo, Patricio, Pećin, Ivan, Reiner, Zeljko, Ostadal, Petr, Poulsen, Steen Hvitfeldt, Viigimaa, Margus, Nieminen, Markku S, Danchin, Nicolas, Chumburidze, Vakhtang, Marx, Nikolaus, Liberopoulos, Evangelos, Valdovinos, Pablo Carlos Montenegro, Tse, Hung-Fat, Kiss, Robert Gabor, Xavier, Denis, Zahger, Doron, Valgimigli, Marco, Kimura, Takeshi, Kim, Hyo Soo, Kim, Sang-Hyun, Erglis, Andrejs, Laucevicius, Aleksandras, Kedev, Sasko, Yusoff, Khalid, López, Gabriel Arturo Ramos, Alings, Marco, Halvorsen, Sigrun, Flores, Roger M Correa, Sy, Rody G, Budaj, Andrzej, Morais, Joao, Dorobantu, Maria, Karpov, Yuri, Ristic, Arsen D, Chua, Terrance, Murin, Jan, Fras, Zlatko, Dalby, Anthony J, Tuñón, José, de Silva, H Asita, Hagström, Emil, Landmesser, Ulf, Chiang, Chern-En, Sritara, Piyamitr, Guneri, Sema, Parkhomenko, Alexander, Ray, Kausik K, Moriarty, Patrick M, Chaitman, Bernard, Kelsey, Sheryl F, Olsson, Anders G, and Rouleau, Jean-Lucien
- Subjects
Biomedical and Clinical Sciences ,Clinical Sciences ,Clinical Trials and Supportive Activities ,Patient Safety ,Clinical Research ,6.1 Pharmaceuticals ,Good Health and Well Being ,Humans ,Antibodies ,Monoclonal ,Humanized ,Anticholesteremic Agents ,Biomarkers ,Cardiovascular Diseases ,Cholesterol ,LDL ,Dyslipidemias ,PCSK9 Inhibitors ,Proprotein Convertase 9 ,Randomized Controlled Trials as Topic ,Serine Proteinase Inhibitors ,Time Factors ,Treatment Outcome ,ODYSSEY OUTCOMES Investigators ,Alirocumab ,Cholesterol ,PCSK9 ,Safety ,Cardiorespiratory Medicine and Haematology ,Pharmacology and Pharmaceutical Sciences ,Cardiovascular medicine and haematology ,Pharmacology and pharmaceutical sciences - Abstract
The ODYSSEY OUTCOMES trial, comprising over 47 000 patient-years of placebo-controlled observation, demonstrated important reductions in the risk of recurrent ischaemic cardiovascular events with the monoclonal antibody to proprotein convertase subtilisin/kexin type 9 alirocumab, as well as lower all-cause death. These benefits were observed in the context of substantial and persistent lowering of low-density lipoprotein cholesterol with alirocumab compared with that achieved with placebo. The safety profile of alirocumab was indistinguishable from matching placebo except for a ∼1.7% absolute increase in local injection site reactions. Further, the safety of alirocumab compared with placebo was evident in vulnerable groups identified before randomization, such as the elderly and those with diabetes mellitus, previous ischaemic stroke, or chronic kidney disease. The frequency of adverse events and laboratory-based abnormalities was generally similar to that in placebo-treated patients. Thus, alirocumab appears to be a safe and effective lipid-modifying treatment over a duration of at least 5 years.
- Published
- 2024
12. BOrg: A Brain Organoid-Based Mitosis Dataset for Automatic Analysis of Brain Diseases
- Author
-
Awais, Muhammad, Hameed, Mehaboobathunnisa Sahul, Bhattacharya, Bidisha, Reiner, Orly, and Anwer, Rao Muhammad
- Subjects
Electrical Engineering and Systems Science - Image and Video Processing ,Computer Science - Computer Vision and Pattern Recognition ,Computer Science - Machine Learning - Abstract
Recent advances have enabled the study of human brain development using brain organoids derived from stem cells. Quantifying cellular processes like mitosis in these organoids offers insights into neurodevelopmental disorders, but the manual analysis is time-consuming, and existing datasets lack specific details for brain organoid studies. We introduce BOrg, a dataset designed to study mitotic events in the embryonic development of the brain using confocal microscopy images of brain organoids. BOrg utilizes an efficient annotation pipeline with sparse point annotations and techniques that minimize expert effort, overcoming limitations of standard deep learning approaches on sparse data. We adapt and benchmark state-of-the-art object detection and cell counting models on BOrg for detecting and analyzing mitotic cells across prophase, metaphase, anaphase, and telophase stages. Our results demonstrate these adapted models significantly improve mitosis analysis efficiency and accuracy for brain organoid research compared to existing methods. BOrg facilitates the development of automated tools to quantify statistics like mitosis rates, aiding mechanistic studies of neurodevelopmental processes and disorders. Data and code are available at https://github.com/awaisrauf/borg.
- Published
- 2024
13. L-MAGIC: Language Model Assisted Generation of Images with Coherence
- Author
-
Cai, Zhipeng, Mueller, Matthias, Birkl, Reiner, Wofk, Diana, Tseng, Shao-Yen, Cheng, JunDa, Stan, Gabriela Ben-Melech, Lal, Vasudev, and Paulitsch, Michael
- Subjects
Computer Science - Computer Vision and Pattern Recognition - Abstract
In the current era of generative AI breakthroughs, generating panoramic scenes from a single input image remains a key challenge. Most existing methods use diffusion-based iterative or simultaneous multi-view inpainting. However, the lack of global scene layout priors leads to subpar outputs with duplicated objects (e.g., multiple beds in a bedroom) or requires time-consuming human text inputs for each view. We propose L-MAGIC, a novel method leveraging large language models for guidance while diffusing multiple coherent views of 360 degree panoramic scenes. L-MAGIC harnesses pre-trained diffusion and language models without fine-tuning, ensuring zero-shot performance. The output quality is further enhanced by super-resolution and multi-view fusion techniques. Extensive experiments demonstrate that the resulting panoramic scenes feature better scene layouts and perspective view rendering quality compared to related works, with >70% preference in human evaluations. Combined with conditional diffusion models, L-MAGIC can accept various input modalities, including but not limited to text, depth maps, sketches, and colored scripts. Applying depth estimation further enables 3D point cloud generation and dynamic scene exploration with fluid camera motion. Code is available at https://github.com/IntelLabs/MMPano. The video presentation is available at https://youtu.be/XDMNEzH4-Ec?list=PLG9Zyvu7iBa0-a7ccNLO8LjcVRAoMn57s., Comment: accepted to CVPR 2024
- Published
- 2024
14. On the acceptance, commissioning, and quality assurance of electron FLASH units
- Author
-
Palmiero, Allison, Liu, Kevin, Colnot, Julie, Chopra, Nitish, Neill, Denae, Connell, Luke, Velasquez, Brett, Koong, Albert C., Lin, Steven H., Balter, Peter, Tailor, Ramesh, Robert, Charlotte, Germond, Jean-François, Jorge, Patrik Gonçalves, Geyer, Reiner, Beddar, Sam, Moeckli, Raphael, and Schüler, Emil
- Subjects
Physics - Medical Physics - Abstract
Background & Purpose: FLASH or ultra-high dose rate (UHDR) radiation therapy (RT) has gained attention in recent years for its ability to spare normal tissues relative to conventional dose rate (CDR) RT in various preclinical trials. However, clinical implementation of this promising treatment option has been limited because of the lack of availability of accelerators capable of delivering UHDR RT. We established a framework for the acceptance, commissioning, and periodic quality assurance (QA) of electron FLASH units and present an example of commissioning. Methods: A protocol for acceptance, commissioning, and QA of UHDR linear accelerators was established by combining and adapting standards and professional recommendations for standard linear accelerators based on the experience with UHDR at four clinical centers that use different UHDR devices. Non-standard dosimetric beam parameters considered included pulse width, pulse repetition frequency, dose per pulse, and instantaneous dose rate, together with recommendations on how to acquire these measurements. Results: The 6 and 9 MeV beams of an UHDR electron device were commissioned by using this developed protocol. Measurements were acquired with a combination of ion chambers, beam current transformers (BCTs), and dose rate independent passive dosimeters. The unit was calibrated according to the concept of redundant dosimetry using a reference setup. Conclusions: This study provides detailed recommendations for the acceptance testing, commissioning, and routine QA of low-energy electron UHDR linear accelerators. The proposed framework is not limited to any specific unit, making it applicable to all existing eFLASH units in the market. Through practical insights and theoretical discourse, this document establishes a benchmark for the commissioning of UHDR devices for clinical use., Comment: 22 Pages, 8 Figures
- Published
- 2024
- Full Text
- View/download PDF
15. The Non-collinear Path to Topological Superconductivity
- Author
-
Brüning, Reiner, Bedow, Jasmin, Conte, Roberto Lo, von Bergmann, Kirsten, Morr, Dirk. K., and Wiesendanger, Roland
- Subjects
Condensed Matter - Superconductivity ,Condensed Matter - Mesoscale and Nanoscale Physics - Abstract
Combining spin textures in ultra-thin films with conventional superconductors has emerged as a powerful and versatile platform for designing topologically non-trivial superconducting phases as well as spin-triplet Cooper pairs. As a consequence, two-dimensional magnet-superconductor hybrids (2D MSHs) are promising candidate systems to realize devices for topology-based quantum technologies and superconducting spintronics. So far, studies have focused mostly on systems hosting collinear ferromagnets or antiferromagnets. However, topologically non-trivial phases have been predicted to emerge in MSH systems with non-collinear spin textures as well. In this article, we present the experimental discovery of topological superconductivity in the MSH system Fe/Ta(110) where a magnetic spiral is realized in the Fe monolayer on the surface of the s-wave superconductor Ta. By combining low-temperature spin-polarized scanning tunneling microscopy measurements with theoretical modeling, we are able to conclude that the system is in a topological nodal-point superconducting phase with low-energy edge modes. Due to the non-collinear spin texture in our MSH system, these edge modes exhibit a magnetization direction-dependent dispersion. Furthermore, we identify direct signatures of Rashba spin-orbit coupling in the experimentally measured differential tunneling conductance. The present work realizes a non-collinear spin texture-based path to topological superconductivity.
- Published
- 2024
16. Transfer Learning for CSI-based Positioning with Multi-environment Meta-learning
- Author
-
Foliadis, Anastasios, Castañeda, Mario H., Stirling-Gallacher, Richard A., and Thomä, Reiner S.
- Subjects
Electrical Engineering and Systems Science - Signal Processing ,Computer Science - Artificial Intelligence - Abstract
Utilizing deep learning (DL) techniques for radio-based positioning of user equipment (UE) through channel state information (CSI) fingerprints has demonstrated significant potential. DL models can extract complex characteristics from the CSI fingerprints of a particular environment and accurately predict the position of a UE. Nonetheless, the effectiveness of the DL model trained on CSI fingerprints is highly dependent on the particular training environment, limiting the trained model's applicability across different environments. This paper proposes a novel DL model structure consisting of two parts, where the first part aims at identifying features that are independent from any specific environment, while the second part combines those features in an environment specific way with the goal of positioning. To train such a two-part model, we propose the multi-environment meta-learning (MEML) approach for the first part to facilitate training across various environments, while the second part of the model is trained solely on data from a specific environment. Our findings indicate that employing the MEML approach for initializing the weights of the DL model for a new unseen environment significantly boosts the accuracy of UE positioning in the new target environment as well the reliability of its uncertainty estimation. This method outperforms traditional transfer learning methods, whether direct transfer learning (DTL) between environments or completely training from scratch with data from a new environment. The proposed approach is verified with real measurements for both line-of-sight (LOS) and non-LOS (NLOS) environments., Comment: Submitted for IEEE journal publication. 10 pages, 13 figures, 7 tables
- Published
- 2024
17. A Compact Delay Model for OTS Devices
- Author
-
Chawa, M. M. Al, Tetzlaff, R., Bedau, D., Reiner, J. W., Stewart, D. A., and Grobis, M. K.
- Subjects
Electrical Engineering and Systems Science - Systems and Control ,Electrical Engineering and Systems Science - Signal Processing - Abstract
This paper presents a novel compact delay model of Ovonic Threshold Switch (OTS) devices that works efficiently for circuit simulations. The internal state variable of the two terminal devices is estimated using a delay system that uses a few electrical components related to a suggested equivalent circuit of the device. Finally, we tested the proposed model against measured data from devices fabricated by Western Digital Research.
- Published
- 2024
18. The impact of noise on the simulation of NMR spectroscopy on NISQ devices
- Author
-
Khedri, Andisheh, Stadler, Pascal, Bark, Kirsten, Lodi, Matteo, Reiner, Rolando, Vogt, Nicolas, Marthaler, Michael, and Leppäkangas, Juha
- Subjects
Quantum Physics - Abstract
We present the simulation of nuclear magnetic resonance (NMR) spectroscopy of small organic molecules with two promising quantum computing platforms, namely IBM's quantum processors based on superconducting qubits and IonQ's Aria trapped ion quantum computer addressed via Amazon Braket. We analyze the impact of noise on the obtained NMR spectra, and we formulate an effective decoherence rate that quantifies the threshold noise that our proposed algorithm can tolerate. Furthermore we showcase how our noise analysis allows us to improve the spectra. Our investigations pave the way to better employ such application-driven quantum tasks on current noisy quantum devices., Comment: 10 pages, 13 figures
- Published
- 2024
19. Demonstration of system-bath physics on gate-based quantum computer
- Author
-
Stadler, Pascal, Lodi, Matteo, Khedri, Andisheh, Reiner, Rolando, Bark, Kirsten, Vogt, Nicolas, Marthaler, Michael, and Leppäkangas, Juha
- Subjects
Quantum Physics - Abstract
We demonstrate algorithmic cooling on IBM-Q devices. We utilize inherent qubit noise to simulate the equilibration of an interacting spin system towards its ground state, when coupled to a dissipative auxiliary-spin bath. The steady-state correlations in the system are defined by the system Hamiltonian and are stable as long as the algorithm can be executed. In particular, we demonstrate the relaxation of system spins to ferromagnetic and antiferromagnetic ordering, controlled by the definition of the Hamiltonian. We are able to perform simulated cooling for global systems of up to three system spins and four auxiliary spins., Comment: 17 pages, 12 figures in total: 9 pages main text with 6 figures
- Published
- 2024
20. The Polynomial Hierarchy does not collapse
- Author
-
Czerwinski, Reiner
- Subjects
Computer Science - Computational Complexity ,Computer Science - Formal Languages and Automata Theory ,03D15, 03D55, 69Q15, 68Q17 ,F.1.3 ,F.2.3 - Abstract
The arithmetical hierarchy (AH) is similar to the polynomial hierarchy (PH). Unlike the PH, the AH does not collapse relative to any oracle. A language in the (k + 1)-st level of the AH is computable enumerable (c.e.) relative to the kth level. So, given an oracle in the kth level of the AH, we could use a black-box search to decide whether the input word is in the language. With very large padding arguments, i.e. the paddings grow faster than any relative to the level k of the AH computable function, we would construct a language contained in the k + 1 level of PH, if we use only a finite set of input words. From the oracle in AH, we would construct an analogue oracle at the kth level of PH. For the input words of the finite set, a word is in the language of AH, if and only if it is in the language of PH. And the input word is in the oracle set of AH, if and only if it is in the oracle of PH. As in the language of AH, we must apply a black-box search in the language of PH. So, we would also have exponentially many oracle queries in the language of PH. The PH does not collapse., Comment: 11 pages
- Published
- 2024
21. Koszulity, supersolvability, and Stirling representations
- Author
-
Almousa, Ayah, Reiner, Victor, and Sundaram, Sheila
- Subjects
Mathematics - Combinatorics ,Mathematics - Commutative Algebra ,Mathematics - Rings and Algebras ,16S37, 05B35 - Abstract
Supersolvable hyperplane arrangements and matroids are known to give rise to certain Koszul algebras, namely their Orlik-Solomon algebras and graded Varchenko-Gel'fand algebras. We explore how this interacts with group actions, particularly for the braid arrangement and the action of the symmetric group, where the Hilbert functions of the algebras and their Koszul duals are given by Stirling numbers of the first and second kinds, respectively. The corresponding symmetric group representations exhibit branching rules that interpret Stirling number recurrences, which are shown to apply to all supersolvable arrangements. They also enjoy representation stability properties that follow from Koszul duality., Comment: References added, some typos corrected, and contact information updated
- Published
- 2024
22. Grover's algorithm in a four-qubit silicon processor above the fault-tolerant threshold
- Author
-
Thorvaldson, Ian, Poulos, Dean, Moehle, Christian M., Misha, Saiful H., Edlbauer, Hermann, Reiner, Jonathan, Geng, Helen, Voisin, Benoit, Jones, Michael T., Donnelly, Matthew B., Pena, Luis F., Hill, Charles D., Myers, Casey R., Keizer, Joris G., Chung, Yousun, Gorman, Samuel K., Kranz, Ludwik, and Simmons, Michelle Y.
- Subjects
Quantum Physics ,Condensed Matter - Mesoscale and Nanoscale Physics - Abstract
Spin qubits in silicon are strong contenders for realizing a practical quantum computer. This technology has made remarkable progress with the demonstration of single and two-qubit gates above the fault-tolerant threshold and entanglement of up to three qubits. However, maintaining high fidelity operations while executing multi-qubit algorithms has remained elusive, only being achieved for two spin qubits to date due to the small qubit size, which makes it difficult to control qubits without creating crosstalk errors. Here, we use a four-qubit silicon processor with every operation above the fault tolerant limit and demonstrate Grover's algorithm with a ~95% probability of finding the marked state, one of the most successful implementations to date. Our four-qubit processor is made of three phosphorus atoms and one electron spin precision-patterned into 1.5 nm${}^2$ isotopically pure silicon. The strong resulting confinement potential, without additional confinement gates that can increase cross-talk, leverages the benefits of having both electron and phosphorus nuclear spins. Significantly, the all-to-all connectivity of the nuclear spins provided by the hyperfine interaction not only allows for efficient multi-qubit operations, but also provides individual qubit addressability. Together with the long coherence times of the nuclear and electron spins, this results in all four single qubit fidelities above 99.9% and controlled-Z gates between all pairs of nuclear spins above 99% fidelity. The high control fidelities, combined with >99% fidelity readout of all nuclear spins, allows for the creation of a three-qubit Greenberger-Horne-Zeilinger (GHZ) state with 96.2% fidelity, the highest reported for semiconductor spin qubits so far. Such nuclear spin registers can be coupled via electron exchange, establishing a path for larger scale fault-tolerant quantum processors., Comment: 16 pages, 9 figures, 3 tables
- Published
- 2024
23. Endoskopische und chirurgische Behandlung intestinaler Stenosen im Zusammenhang mit chronisch-entzündlichen Darmerkrankungen
- Author
-
Pfister, Tabea, Zbinden, Jonas, Misselwitz, Benjamin, Burri, Emanuel, Rieder, Florian, Brügger, Lukas, and Wiest, Reiner
- Published
- 2024
- Full Text
- View/download PDF
24. Integrative proteomic analyses across common cardiac diseases yield mechanistic insights and enhanced prediction
- Author
-
Schuermans, Art, Pournamdari, Ashley B., Lee, Jiwoo, Bhukar, Rohan, Ganesh, Shriienidhie, Darosa, Nicholas, Small, Aeron M., Yu, Zhi, Hornsby, Whitney, Koyama, Satoshi, Kooperberg, Charles, Reiner, Alexander P., Januzzi, James L., Honigberg, Michael C., and Natarajan, Pradeep
- Published
- 2024
- Full Text
- View/download PDF
25. Germline copy number variants and endometrial cancer risk
- Author
-
Stylianou, Cassie E., Wiggins, George A. R., Lau, Vanessa L., Dennis, Joe, Shelling, Andrew N., Wilson, Michelle, Sykes, Peter, Amant, Frederic, Annibali, Daniela, De Wispelaere, Wout, Easton, Douglas F., Fasching, Peter A., Glubb, Dylan M., Goode, Ellen L., Lambrechts, Diether, Pharoah, Paul D. P., Scott, Rodney J., Tham, Emma, Tomlinson, Ian, Bolla, Manjeet K., Couch, Fergus J., Czene, Kamila, Dörk, Thilo, Dunning, Alison M., Fletcher, Olivia, García-Closas, Montserrat, Hoppe, Reiner, Jernström, Helena, Kaaks, Rudolf, Michailidou, Kyriaki, Obi, Nadia, Southey, Melissa C., Stone, Jennifer, Wang, Qin, Spurdle, Amanda B., O’Mara, Tracy A., Pearson, John, and Walker, Logan C.
- Published
- 2024
- Full Text
- View/download PDF
26. Identification of proteins associated with type 2 diabetes risk in diverse racial and ethnic populations
- Author
-
Liu, Shuai, Zhu, Jingjing, Zhong, Hua, Wu, Chong, Xue, Haoran, Darst, Burcu F., Guo, Xiuqing, Durda, Peter, Tracy, Russell P., Liu, Yongmei, Johnson, W. Craig, Taylor, Kent D., Manichaikul, Ani W., Goodarzi, Mark O., Gerszten, Robert E., Clish, Clary B., Chen, Yii-Der Ida, Highland, Heather, Haiman, Christopher A., Gignoux, Christopher R., Lange, Leslie, Conti, David V., Raffield, Laura M., Wilkens, Lynne, Marchand, Loïc Le, North, Kari E., Young, Kristin L., Loos, Ruth J., Buyske, Steve, Matise, Tara, Peters, Ulrike, Kooperberg, Charles, Reiner, Alexander P., Yu, Bing, Boerwinkle, Eric, Sun, Quan, Rooney, Mary R., Echouffo-Tcheugui, Justin B., Daviglus, Martha L., Qi, Qibin, Mancuso, Nicholas, Li, Changwei, Deng, Youping, Manning, Alisa, Meigs, James B., Rich, Stephen S., Rotter, Jerome I., and Wu, Lang
- Published
- 2024
- Full Text
- View/download PDF
27. Reconstruction of severe acetabular defects (Paprosky type III A) in total hip arthroplasty using modular tantalum augments in combination with a cemented cup
- Author
-
Spranz, David, Müller, Lisa-Marie, Trefzer, Raphael, Hetto, Pit, Nees, Timo, Renkawitz, Tobias, Walker, Tilman, and Reiner, Tobias
- Published
- 2024
- Full Text
- View/download PDF
28. Optimising in-cell NMR acquisition for nucleic acids
- Author
-
Annecke, Henry T. P., Eidelpes, Reiner, Feyrer, Hannes, Ilgen, Julian, Gürdap, Cenk Onur, Dasgupta, Rubin, and Petzold, Katja
- Published
- 2024
- Full Text
- View/download PDF
29. Context-specific assessments of carbon footprints of the rice value chain: from product labeling to potential mitigation impacts
- Author
-
Wassmann, Reiner, Nelson, Katherine M., Bui, Yen Tan, Nguyen-Van-Hung, Gummert, Martin, Asch, Folkard, Vo, Thi Bach Thuong, Butterbach-Bahl, Klaus, Kiese, Ralf, Janz, Baldur, Mai, Van Trinh, and Sander, Bjoern Ole
- Published
- 2024
- Full Text
- View/download PDF
30. 2024 Recommendations on the Optimal Use of Lipid-Lowering Therapy in Established Atherosclerotic Cardiovascular Disease and Following Acute Coronary Syndromes: A Position Paper of the International Lipid Expert Panel (ILEP)
- Author
-
Banach, Maciej, Reiner, Željko, Surma, Stanisław, Bajraktari, Gani, Bielecka-Dabrowa, Agata, Bunc, Matjaz, Bytyçi, Ibadete, Ceska, Richard, Cicero, Arrigo F. G., Dudek, Dariusz, Dyrbuś, Krzysztof, Fedacko, Jan, Fras, Zlatko, Gaita, Dan, Gavish, Dov, Gierlotka, Marek, Gil, Robert, Gouni-Berthold, Ioanna, Jankowski, Piotr, Járai, Zoltán, Jóźwiak, Jacek, Katsiki, Niki, Latkovskis, Gustavs, Magda, Stefania Lucia, Margetic, Eduard, Margoczy, Roman, Mitchenko, Olena, Durak-Nalbantic, Azra, Ostadal, Petr, Paragh, Gyorgy, Petrulioniene, Zaneta, Paneni, Francesco, Pećin, Ivan, Pella, Daniel, Postadzhiyan, Arman, Stoian, Anca Pantea, Trbusic, Matias, Udroiu, Cristian Alexandru, Viigimaa, Margus, Vinereanu, Dragos, Vlachopoulos, Charalambos, Vrablik, Michal, Vulic, Dusko, and Penson, Peter E.
- Published
- 2024
- Full Text
- View/download PDF
31. The genetic landscape of neuro-related proteins in human plasma
- Author
-
Repetto, Linda, Chen, Jiantao, Yang, Zhijian, Zhai, Ranran, Timmers, Paul R. H. J., Feng, Xiao, Li, Ting, Yao, Yue, Maslov, Denis, Timoshchuk, Anna, Tu, Fengyu, Twait, Emma L., May-Wilson, Sebastian, Muckian, Marisa D., Prins, Bram P., Png, Grace, Kooperberg, Charles, Johansson, Åsa, Hillary, Robert F., Wheeler, Eleanor, Pan, Lu, He, Yazhou, Klasson, Sofia, Ahmad, Shahzad, Peters, James E., Gilly, Arthur, Karaleftheri, Maria, Tsafantakis, Emmanouil, Haessler, Jeffrey, Gyllensten, Ulf, Harris, Sarah E., Wareham, Nicholas J., Göteson, Andreas, Lagging, Cecilia, Ikram, Mohammad Arfan, van Duijn, Cornelia M., Jern, Christina, Landén, Mikael, Langenberg, Claudia, Deary, Ian J., Marioni, Riccardo E., Enroth, Stefan, Reiner, Alexander P., Dedoussis, George, Zeggini, Eleftheria, Sharapov, Sodbo, Aulchenko, Yurii S., Butterworth, Adam S., Mälarstig, Anders, Wilson, James F., Navarro, Pau, and Shen, Xia
- Published
- 2024
- Full Text
- View/download PDF
32. Feasibility and performance of spin-echo EPI MR elastography at 3 Tesla for staging hepatic fibrosis in the presence of hepatic iron overload
- Author
-
Sgier, David, Stocker, Daniel, Jüngst, Christoph, Renzulli, Melanie, Biletska-Hanchorova, Hanna, Weber, Achim, Kannengiesser, Stephan, Gubler, Christoph, and Reiner, Caecilia S.
- Published
- 2024
- Full Text
- View/download PDF
33. Effekte von klassischer Musik oder von Heavy Metal bei Mensch und Tier: Implikationen für die Intensivmedizin
- Author
-
Trappe, Hans-Joachim, Völkel, Eva-Maria, and Reiner, Gerald
- Published
- 2024
- Full Text
- View/download PDF
34. Effect of Statin Treatment on Lipoprotein-Associated Phospholipase A2 Mass and Activity: A Systematic Review and Meta-analysis of Randomized Placebo-Controlled Trials
- Author
-
Sahebkar, Amirhossein, Reiner, Željko, Almahmeed, Wael, Jamialahmadi, Tannaz, and Simental-Mendía, Luis E.
- Published
- 2024
- Full Text
- View/download PDF
35. First insights into genotype and phenotype of familial amyotrophic lateral sclerosis in Egypt: early onset and high consanguinity
- Author
-
Hamdi, Nabila, Mueller, Kathrin, Hamza, Amr, Soliman, Radwa, Onbool, Enass, Omran, Kareem, Ocab, Omnia, Freischmidt, Axel, Siebert, Reiner, Ludolph, Albert, and Fahmy, Nagia
- Published
- 2024
- Full Text
- View/download PDF
36. Towards an assessment of psychosocial work factors in a multi-level mental health intervention in the workplace: results from the MENTUPP pilot-study
- Author
-
Tsantila, Fotini, Rugulies, Reiner, Coppens, Evelien, De Witte, Hans, Arensman, Ella, Kahar, Abdulla, Cerga-Pashoja, Arlinda, Corcoran, Paul, De Winter, Lars, Greiner, Birgit, Griffin, Eve, Hogg, Bridget, Leduc, Caleb, Leduc, Mallorie, Maxwell, Margaret, Reich, Hanna, Ross, Victoria, Van Audenhove, Chantal, and Aust, Birgit
- Published
- 2024
- Full Text
- View/download PDF
37. Clinical characterization of common pathogenic variants of SOD1-ALS in Germany
- Author
-
Wiesenfarth, Maximilian, Forouhideh-Wiesenfarth, Yalda, Elmas, Zeynep, Parlak, Özlem, Weiland, Ulrike, Herrmann, Christine, Schuster, Joachim, Freischmidt, Axel, Müller, Kathrin, Siebert, Reiner, Günther, Kornelia, Fröhlich, Elke, Knehr, Antje, Simak, Tatiana, Bachhuber, Franziska, Regensburger, Martin, Petri, Susanne, Klopstock, Thomas, Reilich, Peter, Schöberl, Florian, Schumann, Peggy, Körtvélyessy, Peter, Meyer, Thomas, Ruf, Wolfgang P., Witzel, Simon, Tumani, Hayrettin, Brenner, David, Dorst, Johannes, and Ludolph, Albert C.
- Published
- 2024
- Full Text
- View/download PDF
38. Filgotinib bei Colitis ulcerosa: ein Review
- Author
-
Blesl, Andreas, Novacek, Gottfried, Reinisch, Walter, Kienbauer, Melanie, Platzer, Reingard, Wolzt, Michael, Koch, Robert, Högenauer, Christoph, Ribarics, Reiner, and Moschen, Alexander
- Published
- 2024
- Full Text
- View/download PDF
39. Insights into fluid evolution and Re enrichment by mineral micro-analysis and fluid inclusion constraints: Evidence from the Maronia Cu-Mo ± Re ± Au porphyry system in NE Greece
- Author
-
Falkenberg, Jan J., Keith, Manuel, Melfos, Vasilios, Hohl, Max, Haase, Karsten M., Voudouris, Panagiotis, Höss, Alica, Wenske, Julia, Klemd, Reiner, Beier, Christoph, Kutzschbach, Martin, and Strauss, Harald
- Published
- 2024
- Full Text
- View/download PDF
40. Mesh2NeRF: Direct Mesh Supervision for Neural Radiance Field Representation and Generation
- Author
-
Chen, Yujin, Nie, Yinyu, Ummenhofer, Benjamin, Birkl, Reiner, Paulitsch, Michael, Müller, Matthias, and Nießner, Matthias
- Subjects
Computer Science - Computer Vision and Pattern Recognition - Abstract
We present Mesh2NeRF, an approach to derive ground-truth radiance fields from textured meshes for 3D generation tasks. Many 3D generative approaches represent 3D scenes as radiance fields for training. Their ground-truth radiance fields are usually fitted from multi-view renderings from a large-scale synthetic 3D dataset, which often results in artifacts due to occlusions or under-fitting issues. In Mesh2NeRF, we propose an analytic solution to directly obtain ground-truth radiance fields from 3D meshes, characterizing the density field with an occupancy function featuring a defined surface thickness, and determining view-dependent color through a reflection function considering both the mesh and environment lighting. Mesh2NeRF extracts accurate radiance fields which provides direct supervision for training generative NeRFs and single scene representation. We validate the effectiveness of Mesh2NeRF across various tasks, achieving a noteworthy 3.12dB improvement in PSNR for view synthesis in single scene representation on the ABO dataset, a 0.69 PSNR enhancement in the single-view conditional generation of ShapeNet Cars, and notably improved mesh extraction from NeRF in the unconditional generation of Objaverse Mugs., Comment: Accepted to ECCV 2024, Project page: https://terencecyj.github.io/projects/Mesh2NeRF/ Video: https://youtu.be/SsFkhSuQYGM
- Published
- 2024
41. Improving the Spatial Correlation Characteristics of Antenna Arrays using Linear Operators and Wide-band Modelling
- Author
-
Miranda, Marc, Semper, Sebastian, Döbereiner, Michael, and Thomä, Reiner
- Subjects
Electrical Engineering and Systems Science - Signal Processing - Abstract
The analysis of wireless communication channels at the mmWave, sub-THz and THz bands gives rise to difficulties in the construction of antenna arrays due to the small maximum inter-element spacing constraints at these frequencies. Arrays with uniform spacing greater than half the wavelength for a certain carrier frequency exhibit aliasing side-lobes in the angular domain, prohibiting non-ambiguous estimates of a propagating wave-front's angle of arrival. In this paper, we present how wide-band modelling of the array response is useful in mitigating this spatial aliasing effect. This approach aims to reduce the grating lobes by exploiting the angle- and frequency-dependent phase-shifts observed in the response of the array to a planar wave-front travelling across it. Furthermore, we propose a method by which the spatial correlation characteristics of an array operating at 33 GHz carrier frequency with an instantaneous bandwidth of 1 GHz can be improved such that the angular-domain side-lobes are reduced by 5-10 dB. This method, applicable to arbitrary antenna array manifolds, makes use of a linear operator that is applied to the base-band samples of the channel transfer function measured in space and frequency domains. By means of synthetically simulated arrays, we show that when operating with a bandwidth of 1 GHz, the use of a derived linear operator applied to the array output results in the spatial correlation characteristics approaching those of the array operating at a bandwidth of 12 GHz. Hence, non-ambiguous angle estimates can be obtained in the field without the use of expensive high-bandwidth RF front-end components., Comment: 7 pages, 4 figures, 27th Workshop on Smart Antennas, 2024
- Published
- 2024
42. Deep Learning based Positioning with Multi-task Learning and Uncertainty-based Fusion
- Author
-
Foliadis, Anastasios, Castañeda, Mario H., Stirling-Gallacher, Richard A., and Thomä, Reiner S.
- Subjects
Electrical Engineering and Systems Science - Signal Processing - Abstract
Deep learning (DL) methods have been shown to improve the performance of several use cases for the fifth-generation (5G) New radio (NR) air interface. In this paper we investigate user equipment (UE) positioning using the channel state information (CSI) fingerprints between a UE and multiple base stations (BSs). In such a setup, we consider two different fusion techniques: early and late fusion. With early fusion, a single DL model can be trained for UE positioning by combining the CSI fingerprints of the multiple BSs as input. With late fusion, a separate DL model is trained at each BS using the CSI specific to that BS and the outputs of these individual models are then combined to determine the UE's position. In this work we compare these different fusion techniques and show that fusing the outputs of separate models achieves higher positioning accuracy, especially in a dynamic scenario. We also show that the combination of multiple outputs further benefits from considering the uncertainty of the output of the DL model at each BS. For a more efficient training of the DL model across BSs, we additionally propose a multi-task learning (MTL) scheme by sharing some parameters across the models while jointly training all models. This method, not only improves the accuracy of the individual models, but also of the final combined estimate. Lastly, we evaluate the reliability of the uncertainty estimation to determine which of the fusion methods provides the highest quality of uncertainty estimates., Comment: 15 Pages, 17 Figures. Published in IEEE Journal
- Published
- 2024
- Full Text
- View/download PDF
43. SmartML: Towards a Modeling Language for Smart Contracts
- Author
-
Veschetti, Adele, Bubel, Richard, and Hähnle, Reiner
- Subjects
Computer Science - Software Engineering - Abstract
Smart contracts codify real-world transactions and automatically execute the terms of the contract when predefined conditions are met. This paper proposes SmartML, a modeling language for smart contracts that is platform independent and easy to comprehend. We detail its formal semantics and type system with a focus on its role in addressing security vulnerabilities. We show along a case study, how SmartML contributes to the prevention of reentrancy attacks, illustrating its efficacy in reinforcing the reliability and security of smart contracts within decentralized systems.
- Published
- 2024
44. Sounding-Based Evaluation of Multi-Sensor ISAC Networks for Drone Applications: Measurement and Simulation Perspectives
- Author
-
Beuster, Julia, Smeenk, Carsten Jan, Myint, Saw James, Faramarzahanagri, Reza, Andrich, Carsten, Giehl, Sebastian, Schneider, Christian, and Thomä, Reiner S.
- Subjects
Electrical Engineering and Systems Science - Signal Processing - Abstract
With the upcoming multitude of commercial and public applications envisioned in the mobile 6G radio landscape using unmanned aerial vehicles (UAVs), integrated sensing and communication (ISAC) plays a key role to enable the detection and localization of passive objects with radar sensing, while optimizing the utilization of scarce resources. To explore the potential of future ISAC architectures with UAVs as mobile nodes in distributed multi-sensor networks, the system's fundamental capability to detect static and dynamic objects that reveal themselves by their bi-static back-scattering needs to be evaluated. Therefore, this paper addresses simulation- and measurement based data acquisition methods to gather knowledge about the bistatic reflectivity of single objects including their Micro-Doppler signature for object identification as well as the influence of multipath propagation in different environments on the localization accuracy and radar tracking performance. We show exemplary results from simulation models, bi-static reflectivity measurements in laboratory environment and real-flight channel sounding experiments in selected scenarios showcasing the potential of synthetic and measured data sets for development and evaluation of ISAC algorithms. The presented measurement data sets are publicly available to encourage the academic RF community to validate future algorithms using realistic scenarios alongside simulations models., Comment: 6 pages, 6 figures, 4th IEEE Symposium on Joint Communication and Sensing
- Published
- 2024
45. Sandpile groups for cones over trees
- Author
-
Reiner, Victor and Smith, Dorian
- Subjects
Mathematics - Combinatorics ,05C50, 05C25 - Abstract
Sandpile groups are a subtle graph isomorphism invariant, in the form of a finite abelian group, whose cardinality is the number of spanning trees in the graph. We study their group structure for graphs obtained by attaching a cone vertex to a tree. For example, it is shown that the number of generators of the sandpile group is at most one less than the number of leaves in the tree. For trees on a fixed number of vertices, the paths and stars are shown to provide extreme behavior, not only for the number of generators, but also for the number of spanning trees, and for Tutte polynomial evaluations that count the recurrent sandpile configurations by their numbers of chips., Comment: Version to appear in Research in the Mathematical Sciences
- Published
- 2024
46. AI-enabled Cyber-Physical In-Orbit Factory -- AI approaches based on digital twin technology for robotic small satellite production
- Author
-
Leutert, Florian, Bohlig, David, Kempf, Florian, Schilling, Klaus, Mühlbauer, Maximilian, Ayan, Bengisu, Hulin, Thomas, Stulp, Freek, Albu-Schäffer, Alin, Kutscher, Vladimir, Plesker, Christian, Dasbach, Thomas, Damm, Stephan, Anderl, Reiner, and Schleich, Benjamin
- Subjects
Computer Science - Robotics - Abstract
With the ever increasing number of active satellites in space, the rising demand for larger formations of small satellites and the commercialization of the space industry (so-called New Space), the realization of manufacturing processes in orbit comes closer to reality. Reducing launch costs and risks, allowing for faster on-demand deployment of individually configured satellites as well as the prospect for possible on-orbit servicing for satellites makes the idea of realizing an in-orbit factory promising. In this paper, we present a novel approach to an in-orbit factory of small satellites covering a digital process twin, AI-based fault detection, and teleoperated robot-control, which are being researched as part of the "AI-enabled Cyber-Physical In-Orbit Factory" project. In addition to the integration of modern automation and Industry 4.0 production approaches, the question of how artificial intelligence (AI) and learning approaches can be used to make the production process more robust, fault-tolerant and autonomous is addressed. This lays the foundation for a later realisation of satellite production in space in the form of an in-orbit factory. Central aspect is the development of a robotic AIT (Assembly, Integration and Testing) system where a small satellite could be assembled by a manipulator robot from modular subsystems. Approaches developed to improving this production process with AI include employing neural networks for optical and electrical fault detection of components. Force sensitive measuring and motion training helps to deal with uncertainties and tolerances during assembly. An AI-guided teleoperated control of the robot arm allows for human intervention while a Digital Process Twin represents process data and provides supervision during the whole production process. Approaches and results towards automated satellite production are presented in detail.
- Published
- 2024
- Full Text
- View/download PDF
47. Modelling Micro-Doppler Signature of Drone Propellers in Distributed ISAC
- Author
-
Costa, Heraldo Cesar Alves, Myint, Saw James, Andrich, Carsten, Giehl, Sebastian W., Schneider, Christian, and Thomä, Reiner S.
- Subjects
Electrical Engineering and Systems Science - Signal Processing - Abstract
Integrated Sensing and Communication (ISAC) comprises detection and analysis of non-cooperative targets by exploiting the resources of the mobile radio system. In this context, micro-Doppler is of great importance for target classification, in order to distinguish objects with local movements. For developing algorithms for target classification, it is necessary to have a large amount of target signatures. Aiming to generate these data, this paper proposes a mathematical model for the micro-Doppler of drone rotating propellers, and validate the proposed model by comparing it to measured micro-Doppler. Results show that the proposed mathematical model can generate micro-Doppler data very similar to those from measurement data., Comment: overall: 6 pages, LaTeX; 2024-02-13 resubmission: affiliation updated, internal references corrected, external reference added, images re-generated for better quality, typo in Section III-C corrected, Tables merged for space saving
- Published
- 2024
- Full Text
- View/download PDF
48. Bistatic Reflectivity and Micro-Doppler Signatures of Drones for Integrated Communication and Sensing
- Author
-
Costa, Heraldo Cesar Alves, Myint, Saw James, Andrich, Carsten, Giehl, Sebastian W., Schneider, Christian, and Thomä, Reiner S.
- Subjects
Electrical Engineering and Systems Science - Signal Processing - Abstract
The integration of wireless communication and radar sensing is gaining the interest of researchers from wireless communication and radar societies. Sensing in Integrated Communication and Sensing (ICAS) systems differs from the traditional radar system in the configuration of transmitter-target-receiver, the operating frequency bands, and the transmitting waveform. It is necessary to understand how target electromagnetic signatures behave in this context. Therefore, this paper presents measurements and analysis of two important target signatures, reflectivity and micro-Doppler, for sensing in ICAS. These target signatures are measured in the state-of-the-art measurement system, Bistatische-Radar-Messeinrichtung (BiRa)., Comment: arXiv admin note: text overlap with arXiv:2401.14287 Submitted to International Radar Symposium 2024 (IRS 2024) Changes in 08.03.2024 version: General reformulation. The main subjects, methods, and conclusions are kept the same
- Published
- 2024
49. Phishing Website Detection through Multi-Model Analysis of HTML Content
- Author
-
Çolhak, Furkan, Ecevit, Mert İlhan, Uçar, Bilal Emir, Creutzburg, Reiner, and Dağ, Hasan
- Subjects
Computer Science - Cryptography and Security ,Computer Science - Artificial Intelligence - Abstract
The way we communicate and work has changed significantly with the rise of the Internet. While it has opened up new opportunities, it has also brought about an increase in cyber threats. One common and serious threat is phishing, where cybercriminals employ deceptive methods to steal sensitive information.This study addresses the pressing issue of phishing by introducing an advanced detection model that meticulously focuses on HTML content. Our proposed approach integrates a specialized Multi-Layer Perceptron (MLP) model for structured tabular data and two pretrained Natural Language Processing (NLP) models for analyzing textual features such as page titles and content. The embeddings from these models are harmoniously combined through a novel fusion process. The resulting fused embeddings are then input into a linear classifier. Recognizing the scarcity of recent datasets for comprehensive phishing research, our contribution extends to the creation of an up-to-date dataset, which we openly share with the community. The dataset is meticulously curated to reflect real-life phishing conditions, ensuring relevance and applicability. The research findings highlight the effectiveness of the proposed approach, with the CANINE demonstrating superior performance in analyzing page titles and the RoBERTa excelling in evaluating page content. The fusion of two NLP and one MLP model,termed MultiText-LP, achieves impressive results, yielding a 96.80 F1 score and a 97.18 accuracy score on our research dataset. Furthermore, our approach outperforms existing methods on the CatchPhish HTML dataset, showcasing its efficacies.
- Published
- 2024
50. SecureReg: Combining NLP and MLP for Enhanced Detection of Malicious Domain Name Registrations
- Author
-
Çolhak, Furkan, Ecevit, Mert İlhan, Dağ, Hasan, and Creutzburg, Reiner
- Subjects
Computer Science - Cryptography and Security ,Computer Science - Artificial Intelligence - Abstract
The escalating landscape of cyber threats, characterized by the registration of thousands of new domains daily for large-scale Internet attacks such as spam, phishing, and drive-by downloads, underscores the imperative for innovative detection methodologies. This paper introduces a cutting-edge approach for identifying suspicious domains at the onset of the registration process. The accompanying data pipeline generates crucial features by comparing new domains to registered domains, emphasizing the crucial similarity score. The proposed system analyzes semantic and numerical attributes by leveraging a novel combination of Natural Language Processing (NLP) techniques, including a pretrained CANINE model and Multilayer Perceptron (MLP) models, providing a robust solution for early threat detection. This integrated Pretrained NLP (CANINE) + MLP model showcases the outstanding performance, surpassing both individual pretrained NLP models and standalone MLP models. With an F1 score of 84.86\% and an accuracy of 84.95\% on the SecureReg dataset, it effectively detects malicious domain registrations. The findings demonstrate the effectiveness of the integrated approach and contribute to the ongoing efforts to develop proactive strategies to mitigate the risks associated with illicit online activities through the early identification of suspicious domain registrations.
- Published
- 2024
Catalog
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.