cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
MALPITY: Automatic Identification and Exploitation of Tarpit Vulnerabilities in Malware
Creators: name: Walla, Sebastian
name: Rossow, Christian
Publisher: name: CISPA
Year: 2023

description: Law enforcement agencies regularly take down botnets as the ultimate defense against global malware operations. By arresting malware authors, and simultaneously infiltrating or shutting down a botnet’s network infrastructures (such as C2 servers), defenders stop global threats and mitigate pending infections. In this paper, we propose malware tarpits, an orthogonal defense that does not require seizing botnet infrastructures, and at the same time can also be used to slow down malware spreading and infiltrate its monetization techniques. A tarpit is a network service that causes a client to stay busy with a network operation. Our work aims to automatically identify network operations used by malware that will block the malware either forever or for a significant amount of time. We describe how to non-intrusively exploit such tarpit vulnerabilities in malware to slow down or, ideally, even stop malware. Using dynamic malware analysis, we monitor how malware interacts with the POSIX and Winsock socket APIs. From this, we infer network operations that would have blocked when provided certain network inputs. We augment this vulnerability search with an automated generation of tarpits that exploit the identified vulnerabilities. We apply our prototype MALPITY on six popular malware families and discover 12 previously-unknown tarpit vulnerabilities, revealing that all families are susceptible to our defense. We demonstrate how to, e.g., halt Pushdo’s DGA-based C2 communication, hinder SalityP2P peers from receiving commands or updates, and stop Bashlite’s spreading engine.
Reader pays or author pays? (20 reasons against plan S)
Creators: name: Nauta
Publisher: name: Zenodo
Year: 2019
Subjects: Plan-S
open access
IEEE

description: This Article describes my opinion about the implementation of Plan-S. By looking at it as "reader pays" versus "author pays" we can have a clearer view on this complex matter. I look at this dilemma through an engineering perspective. In my field Electrical Engineering we publish trough the Institute of Electrical and Electronics Engineers. Te world largest technical professional organisation, founded in 1884. IEEE is a non-profit and will suffer from the Shock Plan-S wants to create. I give 20 reasons why plan-S is not the way to go.
Sets of Robust Rules, and How to Find Them
Creators: name: Fischer, Jonas
name: Vreeken, Jilles
Publisher: name: CISPA
Year: 2023

description: Association rules are among the most important concepts in data mining. Rules of the form X → Y are simple to understand, simple to act upon, yet can model important local dependencies in data. The problem is, however, that there are so many of them. Both traditional and state-of-the-art frameworks typically yield millions of rules, rather than identifying a small set of rules that capture the most important dependencies of the data. In this paper, we define the problem of association rule mining in terms of the Minimum Description Length principle. That is, we identify the best set of rules as the one that most succinctly describes the data. We show that the resulting optimization problem does not lend itself for exact search, and hence propose Grab, a greedy heuristic to efficiently discover good sets of rules directly from data. Through an extensive set of experiments we show that, unlike the state-of-the-art, Grab does reliably recover the ground truth. On real world data we show it finds reasonable numbers of rules, that upon close inspection give clear insight in the local distribution of the data.
Optimierte Diagnostik durch molekulare Biomarker bei sekundären Kardiomyopathien
Creators: name: Heidecker, Bettina
Publisher: name: Charité - Universitätsmedizin Berlin
Year: 2020
Subjects: subject: Myocarditis
subject: Secondary Cardiomyopathy
subject: Machine Learning
subject: High-Throughput
subject: Biomarker
subject: 600 Technology, Medicine, Applied sciences::610 Medical sciences; Medicine::610 Medical sciences; Medicine

description: Mein Forschungsbereich war bisher auf die Entwicklung von Biomarkern im Bereich Herzinsuffizienz und sekundäre Kardiomyopathien fokussiert. Zusammen mit meiner Arbeitsgruppe haben wir einen Transkriptombiomarker für die Diagnose und Prognose bei Patienten mit neu diagnostizierter Herzinsuffizienz entwickelt, als auch einen Marker zum Monitoring des Ansprechens auf Beta-Blocker Therapie. Hierbei haben wir wichtige individuelle Unterschiede im Genexpressionsprofil von Patienten mit Herzinsuffizienz beschrieben, welche im Zeitalter der Präzisionsmedizin berücksichtigt werden sollten, insbesondere geschlechtsspezifische Unterschiede, aber auch Unterschiede basierend auf Krankheitsstadium und funktionelle Parameter. Robuste statistische Analysen sind notwendig, wenn Big-Data-Analysen angewandt werden, um Fehlerquellen wie „Overfitting“ und zufällige Assoziation von Parametern mit einem Phänotyp auf Grund sehr hoher Anzahl von Variablen im Experiment zu vermeiden. Entsprechende statistische Algorithmen wurden bereits entwickelt. Unsere Forschung im Bereich der Magnetresonanztomografie bei Myokarditis bestätigt nochmals, dass eine genaue Diagnose und prognostische Evaluation nicht durch einen einzelnen Biomarker möglich ist, da wie bereits erwähnt kein Biomarker perfekt ist. Zusätzlich zeigt sie auf, dass die Bildgebung in der Myokarditis auch im Rahmen der Verlaufskontrolle eine relevante Rolle spielt und dass die Magnetresonanztomografie eine wichtige Funktion bei der Identifikation von Patienten mit Myokarditis bei “Myocardial infarction and non-obstructive coronary artery disease” hat. Außerdem hat uns Magnetresonanztomografie ermöglicht, die Sicherheit von nicht-steroidalen Antirheumatika bei akuter Myoperikarditis zu montiorisieren und zeigte sogar einen möglichen therapeutischen Vorteil bei dieser Patientengruppe. Im Bereich der stabilen koronaren Gefäßerkrankung haben wir mit Hilfe von Proteomanalysen das kardiovaskuläre Risiko von individuellen Patienten mit hoher Genauigkeit berechnet.Hierzu wurde ein Proteommarker in einer Kohorte von 938 Patienten entwickelt und bei weiteren 971 Patienten erfolgreich validiert. Zusammenfassend steht uns aktuell eine Vielzahl an diagnostischen Methoden im Bereich der kardiovaskulären Medizin zur Verfügung von Genetik, über Transkriptom- und Proteombiomarker und modernste Bildgebungstechniken. Im Zeitalter der Präzisionsmedizin sollten wir alle vorhandenen Daten eines Patienten auf integrative Weise berücksichtigen, um eine individualisierte und optimierte Therapie zu ermöglichen.
Implementation of Message Passing Language
Creators: name: Kumar, Prashant
Publisher: name: Graduate Studies
Year: 2018
Subjects: subject: Concurrency
subject: Compilers
subject: Message Passing Language
subject: Abstract Machine
subject: Computer Science

description: Message Passage Language (MPL) is a programming language based on the work of Cockett and Pastro. MPL is a statically typed concurrent programming language with message passing as the concurrency primitive. It brings communication safety to interacting processes using a type system. MPL consists of two languages, concurrent MPL and sequential MPL, which can interact with each other. Concurrent MPL programs are written using concurrency constructs built into the language and protocols, which are concurrent data types. These concurrency constructs allow intuitive modelling of real world concurrency scenarios. Sequential MPL is a functional programming language. In addition to data definitions, sequential MPL allows codata definitions, which can model infinite structures. Sequential MPL allows for disciplined recursion using folds and unfolds in addition to normal recursion. In this thesis, we develop the first prototype of a compiler for MPL. We reformulate MPL's design to allow normal recursion in addition to primitive recursion, the only form of recursion allowed in previous designs. In light of the changes made to MPL, we describe MPL's type system. Then we develop an algorithm for type inferencing MPL programs, and implement it. In addition, we develop and implement an abstract machine to run MPL programs. We also develop the intermediate languages through which MPL programs compile to the abstract machine. We describe and implement the algorithms used in the compilation of MPL programs to the abstract machines, namely lambda lifting and compilation of pattern-matching.
A new construction of cyclic homology
Creators: name: Ginzburg, Victor
name: Schedler, Travis
Publisher: name: arXiv
Year: 2012
Subjects: subject: K-Theory and Homology (math.KT)
subject: Algebraic Geometry (math.AG)
subject: Quantum Algebra (math.QA)
subject: Rings and Algebras (math.RA)
subject: FOS: Mathematics

description: Based on the ideas of Cuntz and Quillen, we give a simple construction of cyclic homology of unital algebras in terms of the noncommutative de Rham complex and a certain differential similar to the equivariant de Rham differential. We describe the Connes exact sequence in this setting. We define equivariant Deligne cohomology and construct, for each n > 0, a natural map from cyclic homology of an algebra to the GL_n-equivariant Deligne cohomology of the variety of n-dimensional representations of that algebra. The bridge between cyclic homology and equivariant Deligne cohomology is provided by extended cyclic homology, which we define and compute here, based on the extended noncommutative de Rham complex introduced previously by the authors.
description: 37pp
Spin-polarized current separator based on a fork-shaped Rashba nanostructure
Creators: name: Xiao, Xianbo
name: Chen, Yuguang
Publisher: name: arXiv
Year: 2012
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: A scheme for a spin-polarized current separator is proposed by studying the spin-dependent electron transport of a fork-shaped nanostructure with Rashba spin-orbit coupling (SOC), connected to three leads with the same width. It is found that two spin-polarized currents are of the same magnitude but opposite polarizations can be generated simultaneously in the two output leads when the spin-unpolarized electrons injected from the input lead. The underlying physics is revealed to originate from the different spin-dependent conductance caused by the effects of Rashba SOC and the geometrical structure of the system. Further study shows that the spin-polarized current with strong a robustness against disorder, demonstrates the feasibility of the proposed nanostructure for a real application.
description: 9 pages, 4 figures
Fairwalk: Towards Fair Graph Embedding
Creators: name: Rahman, Tahleen
name: Surma, Bartlomiej
name: Backes, Michael
name: Zhang, Yang
Publisher: name: CISPA
Year: 2023

description: Graph embeddings have gained huge popularity in the recent years as a powerful tool to analyze social networks. However, no prior works have studied potential bias issues inherent within graph embedding. In this paper, we make a first attempt in this direction. In particular, we concentrate on the fairness of node2vec, a popular graph embedding method. Our analyses on two real-world datasets demonstrate the existence of bias in node2vec when used for friendship recommendation. We therefore propose a fairness-aware embedding method, namely Fairwalk, which extends node2vec. Experimental results demonstrate that Fairwalk reduces bias under multiple fairness metrics while still preserving the utility.
Decorrelation of neural-network activity by inhibitory feedback
Creators: name: Tetzlaff, Tom
name: Helias, Moritz
name: Einevoll, Gaute T.
name: Diesmann, Markus
Publisher: name: arXiv
Year: 2012
Subjects: subject: Neurons and Cognition (q-bio.NC)
subject: Biological Physics (physics.bio-ph)
subject: FOS: Biological sciences
subject: FOS: Physical sciences

description: Correlations in spike-train ensembles can seriously impair the encoding of information by their spatio-temporal structure. An inevitable source of correlation in finite neural networks is common presynaptic input to pairs of neurons. Recent theoretical and experimental studies demonstrate that spike correlations in recurrent neural networks are considerably smaller than expected based on the amount of shared presynaptic input. By means of a linear network model and simulations of networks of leaky integrate-and-fire neurons, we show that shared-input correlations are efficiently suppressed by inhibitory feedback. To elucidate the effect of feedback, we compare the responses of the intact recurrent network and systems where the statistics of the feedback channel is perturbed. The suppression of spike-train correlations and population-rate fluctuations by inhibitory feedback can be observed both in purely inhibitory and in excitatory-inhibitory networks. The effect is fully understood by a linear theory and becomes already apparent at the macroscopic level of the population averaged activity. At the microscopic level, shared-input correlations are suppressed by spike-train correlations: In purely inhibitory networks, they are canceled by negative spike-train correlations. In excitatory-inhibitory networks, spike-train correlations are typically positive. Here, the suppression of input correlations is not a result of the mere existence of correlations between excitatory (E) and inhibitory (I) neurons, but a consequence of a particular structure of correlations among the three possible pairings (EE, EI, II).
Modal decomposition of the baroclinic response to wind in elongated lakes
Creators: name: Imam, Yehya Emad
Publisher: name: University of British Columbia
Year: 2012

description: The baroclinic response to wind is examined in narrow elongated lakes. The main objective is to link the excitation and modulation of baroclinic modes to lake bathymetry and stratification, temporal and spatial characteristics of wind forcing, and damping. Three lake bathymetries are examined which represent 1) variable-depth single basins with straight thalweg, 2) two-basin lakes with straight thalweg, and 3) two-basin lakes with arms at which the thalweg bends sharply. The bathymetries are examined using idealized lake forms as well as data from two Canadian lakes. Modal analysis and a three-dimensional hydrodynamic numerical model are used to analyze the baroclinic response. Also, a modal-based forced model is developed to simulate the decoupled modal responses to wind and provide a direct link between lake and forcing characteristics and modal composition of the response. This study shows that coupling between wind-forcing spatial structure and bathymetry determines which modes are excited, while wind-forcing temporal patterns modulate the magnitude of excited modes. It is found that, when wind is near-uniform, the first horizontal mode, H1, dominates the response regardless of bathymetry, because the near-uniform wind couples with the spatial distribution of layer flow for H1. In sub-basins separated by geometric constrictions (sills and contractions) or sharp bends in the thalweg relative to wind direction, the wind induces local metalimnetic tilts that are superimposed on the domain-wide H1 tilt. The sub-basin tilts are attributable to higher horizontal modes which are equivalent to the H1 modes of the decoupled sub-basins. Furthermore, this study demonstrates the following: 1) interbasin exchange due to H1 shifts from two to more layers due to interaction of vertical modes, 2) geometric constrictions result in strong damping of H1 which causes high forcing-response coherence and broadens the resonance bandwidth, and 3) along-thalweg depth variability in single basins increases the number of excited modes and localizes the interface shear for asymmetric basins and causes the opposite effects for symmetric basins. The findings of this study contribute to understanding the baroclinic response to wind in lakes of complex bathymetry.
Analysis of risk factors leading to failure in septic two-stage exchange arthroplasty
Creators: name: Akgün, Doruk
Publisher: name: Charité - Universitätsmedizin Berlin
Year: 2020
Subjects: subject: periprosthetic joint infection
subject: hip
subject: knee
subject: risk factors for failure
subject: 600 Technik, Medizin, angewandte Wissenschaften::610 Medizin und Gesundheit::610 Medizin und Gesundheit

description: The aim of this habilitation script was to arm the treating physicians with an armamentarium of knowledge to achieve better success in eradicating PJI. Therefore, the published data concentrated on identification of the factors leading to failure in two-stage exchange arthroplasty in patients with PJI and on optimization of infection-free survival. Microbial biofilm makes the diagnosis and the treatment of PJI more challenging and therefore biofilm-active antibiotics are crucial to enhance treatment success. Microorganisms, for which no biofilm active antibiotic exits, presents a major difficulty in achieving high infect eradication rates in these patients. According to the results of this habilitation script however, an individualization of antimicrobial and surgical therapy regimes with a longer prothesis-free interval and longer antibiotic administration may enable achieving similar success rates in patients irrespective of causative microorganism after two-stage exchange arthroplasty. Furthermore, the data presented in this habilitation script emphasizes the implementation of a treatment supported by a multidisciplinary team approach as a crucial step to optimize outcome in patients with PJI. It could have been shown, that high infection eradication rates can be achieved by using a standardized two-stage exchange arthroplasty supported by a multidisciplinary team even in a challenging patient cohort. Given the fact, that there is a wide variety in the definition of PJI and its treatment success, which causes a heterogeneity of existing studies, further research is highly needed on more precisely defining PJI and success. Thus, consistency in definition between studies will enhance the overall quality of existing literature. Especially, when defining treatment success, it is important to distinguish between a new infection and an ongoing infection, as this prevent patients from unnecessary surgical interventions and antimicrobial treatment.
Higher moment singularities explored by the net proton non-statistical fluctuations
Creators: name: Zhou, Dai-Mei
name: Limphirat, Ayut
name: Yan, Yu-liang
name: Cheng, Yun
name: Yan, Yu-peng
name: Cai, Xu
name: Csernai, Laszlo P.
name: Sa, Ben-Hao
Publisher: name: arXiv
Year: 2012
Subjects: subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: We use the non-statistical fluctuation instead of the full one to explore the higher moment singularities of net proton event distributions in the relativistic Au+Au collisions at $\sqrt{s_{NN}}$ from 11.5 to 200 GeV calculated by the parton and hadron cascade model PACIAE. The PACIAE results of mean ($M$), variance ($σ^2$), skewness ($S$), and kurtosis ($κ$) are consistent with the corresponding STAR data. Non-statistical moments are calculated as the difference between the moments derived from real events and the ones from mixed events, which are constructed by combining particles randomly selected from different real events. An evidence of singularity at $\sqrt{s_{NN}}\sim$ 60 GeV is first seen in the energy dependent non-statistical $S$ and $Sσ$.
description: 5 pages,5 figures
Control of an Aerial Manipulator with an Attached Two DoF Arm
Creators: name: Staples, Marshall James
Publisher: name: Graduate Studies
Year: 2018
Subjects: subject: Sliding Mode Control
subject: adaptive sliding mode control
subject: aerial manipulation
subject: Education--Sciences
subject: Applied Mechanics
subject: Engineering--Mechanical
subject: Robotics

description: An aerial manipulator is the combined system of a robot arm attached to an unmanned aerial vehicle (UAV). The aerial vehicle increases the size of the robot arm’s workspace in three dimensions, allowing the robot arm to execute manipulation tasks where it could not before. However, it is challenging to effectively control the position of the end-effector of a robot arm attached to a UAV due to the kinematic and dynamic coupling of the two systems. The focus of this work is to develop an effective control algorithm to enable a aerial manipulator comprising an 2-DOF robot arm and a UAV to follow complex trajectories in 3D space as well as maneuver the UAV in coordination with the arm to place the end-effector in position and orientation suitable for tasks not possible today. To accomplish this task, a mathematical model of the coupled kinematics and dynamics of the UAV and robot arm are formulated. In addition, such model is used for the control of the aerial manipulator. The chosen control solution of an adaptive sliding mode controller for the robot arm is shown to be effective in simulation tests. With the proposed control architecture, the robot arm is able to track any 3D curve projected into its planar workspace while the UAV performs the needed movements to map the robot arm 2D trajectories into the desired 3D curves.
Bridging the Gap Between Abstractions and Critical-Path Heuristics via Hypergraphs
Creators: name: Steinmetz, Marcel
name: Torralba, Álvaro
Publisher: name: CISPA
Year: 2023

description: Abstractions and critical-path heuristics are among the most important families of admissible heuristics in classical planning. In this paper, we present a new family of heuristics, which we name hyperabstractions, given by the combination of the principal ideas underlying abstractions and critical-path heuristics. Hyperabstractions approximate goal distances through a mapping from states to sets of abstract states. The abstract transition behavior forms a relation between abstract states and sets of abstract states, and is formally represented via the notion of hypergraphs. We show that both abstractions and critical-path heuristics can naturally be expressed as members of this family. Moreover, we devise a method to construct hyperabstractions, using either a set of abstractions or a critical-path heuristic as a seed, in a way that guarantees that the resulting distance estimations dominate those of the input heuristics, sometimes even strictly. By finding suitable cost partitionings for hyperabstraction heuristics, this dominance result is preserved even in comparison to the additive combination of the input heuristics. Our experiments indicate the potential of this new class of heuristics, opening a wide range of future research topics.
Spin cluster operator theory for the Kagome lattice antiferromagnet
Creators: name: Hwang, Kyusung
name: Kim, Yong Baek
name: Yu, Jaejun
name: Park, Kwon
Publisher: name: arXiv
Year: 2011
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: The spin-1/2 quantum antiferromagnet on the Kagome lattice provides a quintessential example in the strongly correlated electron physics where both effects of geometric frustration and quantum fluctuation are pushed to their limit. Among possible non-magnetic ground states, the valence bond solid (VBS) with a 36-site unit cell is one of the most promising candidates. A natural theoretical framework for the analysis of such VBS order is to consider quantum states on a bond connecting the nearest-neighboring sites as fundamental quantum modes of the system and treat them as effectively independent "bond particles." While correctly describing the VBS order in the ground state, this approach, known as the bond operator theory, significantly overestimates the lowest spin excitation energy. To overcome this problem, we take a next logical step in this paper to improve the bond operator theory and consider extended spin clusters as fundamental building blocks of the system. Depending on two possible configurations of the VBS order, various spin clusters are considered: (i) in the VBS order with staggered hexagonal resonance, we consider one spin cluster for a David star and two spin clusters with each composed of a perfect hexagon and three attached dimers, and (ii) in the VBS order with uniform hexagonal resonance, one spin cluster composed of a David star and three attached dimers. It is shown that the majority of low-energy spin excitations are nearly or perfectly flat in energy. With most of its weight coming from the David star, the lowest spin excitation has a gap much lower than the previous value obtained by the bond operator theory, narrowing the difference against exact diagonalization results.
description: 24 pages, 10 figures, 6 tables
MEDDOPROF: Codes Reference List
Creators: name: Eulàlia Farré-Maduell
name: Lima-López, Salvador
name: Miranda-Escalada, Antonio
name: Briva-Iglesias, Vicent
name: Krallinger, Martin
Publisher: name: Zenodo
Year: 2021
Subjects: NLP
clinical NLP
entity linking
occupations
professions
shared task

description: The MEDDOPROF Shared Task tackles the detection of occupations and employment statuses in clinical cases in Spanish from different specialties. Systems capable of automatically processing clinical texts are of interest to the medical community, social workers, researchers, the pharmaceutical industry, computer engineers, AI developers, policy makers, citizen’s associations and patients. Additionally, other NLP tasks (such as anonymization) can also benefit from this type of data. This is the reference coding list to be used for Task 3 (MEDDOPROF-NORM). It is a .tsv file that has three columns: code, label and alternative label. Codes from two sources are listed: ESCO and SNOMED-CT (these are preceded by the string 'SCTID:' in the list). With a few exceptions, professions are mapped to ESCO, while working statuses and activities are mapped to SNOMED-CT. Please cite if you use this resource: Salvador Lima-López, Eulàlia Farré-Maduell, Antonio Miranda-Escalada, Vicent Brivá-Iglesias and Martin Krallinger. NLP applied to occupational health: MEDDOPROF shared task at IberLEF 2021 on automatic recognition, classification and normalization of professions and occupations from medical texts. In Procesamiento del Lenguaje Natural, 67. 2021. @article{meddoprof, title={NLP applied to occupational health: MEDDOPROF shared task at IberLEF 2021 on automatic recognition, classification and normalization of professions and occupations from medical texts}, author={Lima-López, Salvador and Farré-Maduell, Eulàlia and Miranda-Escalada, Antonio and Brivá-Iglesias, Vicent and Krallinger, Martin}, journal = {Procesamiento del Lenguaje Natural}, volume = {67}, year={2021}, issn = {1989-7553}, url = {http://journal.sepln.org/sepln/ojs/ojs/index.php/pln/article/view/6393}, pages = {243--256} } Resources: - Web - Training data - Annotation Guidelines MEDDOPROF is part of the IberLEF 2021 workshop, which is co-located with the SEPLN 2021 conference. For further information, please visit https://temu.bsc.es/meddoprof/ or email us at encargo-pln-life@bsc.es MEDDOPROF is promoted by the Plan de Impulso de las Tecnologías del Lenguaje de la Agenda Digital (Plan TL).
HideNoSeek: Camouflaging Malicious JavaScript in Benign ASTs
Creators: name: Fass, Aurore
name: Backes, Michael
name: Stock, Ben
Publisher: name: CISPA
Year: 2023

description: In the malware field, learning-based systems have become popular to detect new malicious variants. Nevertheless, attackers with specific and internal knowledge of a target system may be able to produce input samples which are misclassified. In practice, the assumption of strong attackers is not realistic as it implies access to insider information. We instead propose HideNoSeek, a novel and generic camouflage attack, which evades the entire class of detectors based on syntactic features, without needing any information about the system it is trying to evade. Our attack consists of changing the constructs of malicious JavaScript samples to reproduce a benign syntax. For this purpose, we automatically rewrite the Abstract Syntax Trees (ASTs) of malicious JavaScript inputs into existing benign ones. In particular, HideNoSeek uses malicious seeds and searches for isomorphic subgraphs between the seeds and traditional benign scripts. Specifically, it replaces benign sub-ASTs by their malicious equivalents (same syntactic structure) and adjusts the benign data dependencies--without changing the AST--, so that the malicious semantics is kept. In practice, we leveraged 23 malicious seeds to generate 91,020 malicious scripts, which perfectly reproduce ASTs of Alexa top 10,000 web pages. Also, we can produce on average 14 different malicious samples with the same AST as each Alexa top 10. Overall, a standard trained classifier has 99.98% false negatives with HideNoSeek inputs, while a classifier trained on such samples has over 88.74% false positives, rendering the targeted static detectors unreliable.
title: “Every historical event has many truths”: Australian Students of German Staging German History
Creators: name: Benbow, Heather Merle
name: Nores Cerfeda, Davide
name: Cleverley, James
name: Dorrer, Andreas
name: Müller, Daniela
name: Weller, Christiane
Publisher: name: Universitäts- und Landesbibliothek Darmstadt
Year: 2023

description: In this article we reflect on a theatre production about World War I staged by university students of German in Melbourne, Australia. The project was conceptualised by German language program academics and postgraduate students. The project explored WWI using German cultural and historical primary sources. We find that students perceived a range of benefits as individuals and learners of German as a foreign language and culture through their participation in the project. In terms of improved understanding of German history, we argue that taking on a foreign – German – perspective allowed for the acquisition of nuanced historical and cultural knowledge.
An Enhanced Indexing And Ranking Technique On The Semantic Web
Creators: name: Tolba, Ahmed
name: Eladawi, Nabila
name: Elmogy, Mohammed
Publisher: name: arXiv
Year: 2011
Subjects: subject: Artificial Intelligence (cs.AI)
subject: FOS: Computer and information sciences

description: With the fast growth of the Internet, more and more information is available on the Web. The Semantic Web has many features which cannot be handled by using the traditional search engines. It extracts metadata for each discovered Web documents in RDF or OWL formats, and computes relations between documents. We proposed a hybrid indexing and ranking technique for the Semantic Web which finds relevant documents and computes the similarity among a set of documents. First, it returns with the most related document from the repository of Semantic Web Documents (SWDs) by using a modified version of the ObjectRank technique. Then, it creates a sub-graph for the most related SWDs. Finally, It returns the hubs and authorities of these document by using the HITS algorithm. Our technique increases the quality of the results and decreases the execution time of processing the user's query.
description: 8 pages, 7 figures
Additional file 1 of The LXRB-SREBP1 network regulates lipogenic homeostasis by controlling the synthesis of polyunsaturated fatty acids in goat mammary epithelial cells
Creators: name: Zhang, Wenying
name: Zhang, Changhui
name: Luo, Jun
name: Xu, Huifen
name: Liu, Jianxin
name: Loor, Juan J.
name: Shi, Hengbo
Publisher: name: figshare
Year: 2022
Subjects: subject: Biochemistry
subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Physiology
subject: Chemical Sciences not elsewhere classified
subject: Developmental Biology
subject: Cancer

description: Additional file 1: Table S1. Name, accession number, sequences, amplicon length of primer pairs used in the present experiment, efficiency of amplification of PCR, and references. Fig. S1. Relative mRNA expression level in the goat mammary epithelial cells incubated with adenovirus expression liver X receptor beta (LXRB). Fig. S2. Relative mRNA expression level in the goat mammary epithelial cells incubated siRNA targeted liver X receptor beta (LXRB).
Towards an interoperable information infrastructure providing decision support for genomic medicine
Creators: name: Samwald, Matthias
name: Stenzhorn, Holger
name: Dumontier, Michel
name: Marshall, M. Scott
name: Luciano, Joanne
name: Adlassnig, Klaus-Peter
Publisher: name: arXiv
Year: 2011
Subjects: subject: Other Computer Science (cs.OH)
subject: FOS: Computer and information sciences

description: Genetic dispositions play a major role in individual disease risk and treatment response. Genomic medicine, in which medical decisions are refined by genetic information of particular patients, is becoming increasingly important. Here we describe our work and future visions around the creation of a distributed infrastructure for pharmacogenetic data and medical decision support, based on industry standards such as the Web Ontology Language (OWL) and the Arden Syntax.
Laconic Conditional Disclosure of Secrets and Applications
Creators: name: Döttling, Nico
name: Garg, Sanjam
name: Goyal, Vipul
name: Malavolta, Giulio
Publisher: name: CISPA
Year: 2023

description: In a Conditional Disclosure of Secrets (CDS) a verifier V wants to reveal a message m to a prover P conditioned on the fact that x is an accepting instance of some NP-language L. An honest prover (holding the corresponding witness w) always obtains the message m at the end of the interaction. On the other hand, if x ∈ L / we require that no PPT P∗ can learn the message m. We introduce laconic CDS, a two round CDS protocol with optimal computational cost for the verifier V and optimal communication cost. More specifically, the verifier’s computation and overall communication grows with poly(|x|, λ, log(T)), where λ is the security parameter and T is the verification time for checking that x ∈ L (given w). We obtain constructions of laconic CDS under standard assumptions, such as CDH or LWE. Laconic CDS serves as a powerful tool for maliciousifying semi-honest protocols while preserving their computational and communication complexities. To substantiate this claim, we consider the setting of non-interactive secure computation: Alice wants to publish a short digest corresponding to a private large input x on her web page such that (possibly many) Bob, with a private input y, can send a short message to Alice allowing her to learn C(x, y) (where C is a public circuit). The protocol must be reusable in the sense that Bob can engage in arbitrarily many executions on the same digest. In this context we obtain the following new implications. 1) UC Secure Bob-optimized 2PC: We obtain a UC secure protocol where Bob’s computational cost and the communication cost of the protocol grows with poly(|x|, |y|, λ, d), where d is the depth of the computed circuit C. 2) Malicious Laconic Function Evaluation: Next, we move on to the setting where Alice’s input x is large. For this case, UC secure protocols must have communication cost growing with |x|. Thus, with the goal of achieving better efficiency, we consider a weaker notion of malicious security. For this setting, we obtain a protocol for which Bob’s computational cost and the communication cost of the protocol grows with poly(|y|, λ, d), where d is the depth of the computed circuit C.
Three Quasi-Local Masses
Creators: name: Katz, Neil N.
name: Khuri, Marcus A.
Publisher: name: arXiv
Year: 2012
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: Mathematical Physics (math-ph)
subject: Differential Geometry (math.DG)
subject: FOS: Physical sciences
subject: FOS: Mathematics

description: We propose a definition of quasi-local mass based on the Penrose Inequality. Two further definitions are given by measuring distortions of the exponential map.
description: Mod. Phys. Lett. A, to appear, 8 pages
A non-local approach to simulation of damage in composite structures
Creators: name: Forghani, Alireza
Publisher: name: University of British Columbia
Year: 2011

description: Fibre reinforced polymers (FRP) are one of the fastest growing materials in advanced structural applications. Due to the complexity and existence of multiple and interactive modes of failure, there is a lack of comprehensive theory that describes the damage behaviour of these materials. The UBC Composite Damage Model (CODAM) is a sub-laminate based model that is designed to simulate the behaviour of laminated composites at the macro (structural) scale. Physical basis and numerical robustness are the main objectives of CODAM development. The original formulation of CODAM that was developed in the mid 1990’s suffers from material objectivity problem that results in spurious dependency of numerical predictions on the choice of the coordinate system. In this thesis, the objectivity issue of the original CODAM is identified and addressed through a new formulation called CODAM2. The new formulation is capable of predicting damage in various laminate lay-ups from quasi-isotropic to unidirectional. It is also capable of simulating the damage-induced orthotropy in the laminate. An orthotropic non-local averaging scheme is developed for CODAM2 to address the localization issue. Compared to isotropic averaging, the orthotropic scheme significantly improves the predicted crack direction and damage pattern in composite laminates. Unlike the conventional isotropic non-local averaging that performs the averaging over a circular (spherical in 3D) zone, in the orthotropic scheme the averaging is performed over an elliptical zone which requires the introduction of two length scales. The performance of CODAM2 equipped with orthotropic averaging is demonstrated through numerical examples. It is shown that the developed model is capable of accurately predicting the damage behaviour in various specimen geometries from sharp-notched to blunt-notched and open-hole specimens. The predictions of the model in terms of load-displacement, crack-tip position, damage height and crack directions agree well with experimental observations and measurements. CODAM2 provides a promising numerical tool to simulate the effect of damage on the behaviour of structures made of laminated composites. This model is computationally efficient and yet relatively simple to understand, calibrate and use in practical applications.
Direct Observation of the Hyperfine Transition of the Ground State Positronium
Creators: name: Yamazaki, T.
name: Miyazaki, A.
name: Suehara, T.
name: Namba, T.
name: Asai, S.
name: Kobayashi, T.
name: Saito, H.
name: Ogawa, I.
name: Idehara, T.
name: Sabchevski, S.
Publisher: name: arXiv
Year: 2012
Subjects: subject: High Energy Physics - Experiment (hep-ex)
subject: Atomic Physics (physics.atom-ph)
subject: FOS: Physical sciences

description: We report the first direct measurement of the hyperfine transition of the ground state positronium. The hyperfine structure between ortho-positronium and para-positronium is about 203 GHz. We develop a new optical system to accumulate about 10 kW power using a gyrotron, a mode converter, and a Fabry-Pérot cavity. The hyperfine transition has been observed with a significance of 5.4 standard deviations. The transition probability is measured to be $A = 3.1^{+1.6}_{-1.2} \times 10^{-8}$ s$^{-1}$ for the first time, which is in good agreement with the theoretical value of $3.37 \times 10^{-8}$ s$^{-1}$.
Two-Particle-Self-Consistent Approach for the Hubbard Model
Creators: name: Tremblay, A. -M. S.
Publisher: name: arXiv
Year: 2011
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: Superconductivity (cond-mat.supr-con)
subject: FOS: Physical sciences

description: Even at weak to intermediate coupling, the Hubbard model poses a formidable challenge. In two dimensions in particular, standard methods such as the Random Phase Approximation are no longer valid since they predict a finite temperature antiferromagnetic phase transition prohibited by the Mermin-Wagner theorem. The Two-Particle-Self-Consistent (TPSC) approach satisfies that theorem as well as particle conservation, the Pauli principle, the local moment and local charge sum rules. The self-energy formula does not assume a Migdal theorem. There is consistency between one- and two-particle quantities. Internal accuracy checks allow one to test the limits of validity of TPSC. Here I present a pedagogical review of TPSC along with a short summary of existing results and two case studies: a) the opening of a pseudogap in two dimensions when the correlation length is larger than the thermal de Broglie wavelength, and b) the conditions for the appearance of d-wave superconductivity in the two-dimensional Hubbard model.
description: Chapter in "Theoretical methods for Strongly Correlated Systems", Edited by A. Avella and F. Mancini, Springer Verlag, (2011) 55 pages. Misprint in Eq.(23) corrected (thanks D. Bergeron)
Improving Automated Symbolic Analysis of Ballot Secrecy for E-voting Protocols: A Method Based on Sufficient Conditions
Creators: name: Cremers, Cas
name: Hirschi, Lucca
Publisher: name: CISPA
Year: 2023

description: We advance the state-of-the-art in automated symbolic analysis for e-voting protocols by introducing three conditions that together are sufficient to guarantee ballot secrecy. There are two main advantages to using our conditions, compared to existing automated approaches. The first is a substantial expansion of the class of protocols and threat models that can be automatically analysed: we can systematically deal with (a) honest authorities present in different phases, (b) threat models in which no dishonest voters occur, and (c) protocols whose ballot secrecy depends on fresh data coming from other phases. The second advantage is that it can significantly improve verification efficiency, as the individual conditions are often simpler to verify. E.g., for the LEE protocol, we obtain a speedup of over two orders of magnitude. We show the scope and effectiveness of our approach using ProVerif in several case studies, including FOO, LEE, JCJ, and Belenios. In these case studies, our approach does not yield any false attacks, suggesting that our conditions are tight.
Prime, Order Please! Revisiting Small Subgroup and Invalid Curve Attacks on Protocols using Diffie-Hellman
Creators: name: Cremers, Cas
name: Jackson, Dennis
Publisher: name: CISPA
Year: 2023

description: Diffie-Hellman groups are a widely used component in cryptographic protocols in which a shared secret is needed. These protocols are typically proven to be secure under the assumption they are implemented with prime order Diffie Hellman groups. However, in practice, many implementations either choose to use non-prime order groups for reasons of efficiency, or can be manipulated into operating in non-prime order groups. This leaves a gap between the proofs of protocol security, which assume prime order groups, and the real world implementations. This is not merely a theoretical possibility: many attacks exploiting small subgroups or invalid curve points have been found in the real world. While many advances have been made in automated protocol analysis, modern tools such as Tamarin and ProVerif represent DH groups using an abstraction of prime order groups. This means they, like many cryptographic proofs, may miss practical attacks on real world protocols. In this work we develop a novel extension of the symbolic model of Diffie-Hellman groups. By more accurately modelling internal group structure, our approach captures many more differences between prime order groups and their actual implementations. The additional behaviours that our models capture are surprisingly diverse, and include not only attacks using small subgroups and invalid curve points, but also a range of proposed mitigation techniques, such as excluding low order elements, single coordinate ladders, and checking the elliptic curve equation. Our models thereby capture a large family of attacks that were previously outside the symbolic model. We implement our improved models in the Tamarin prover. We find a new attack on the Secure Scuttlebutt Gossip protocol, independently discover a recent attack on Tendermint’s secure handshake, and evaluate the effectiveness of the proposed mitigations for recent Bluetooth attacks.
Highly Efficient Key Exchange Protocols with Optimal Tightness: Enabling real-world deployments with theoretically sound parameters
Creators: name: Cohn-Gordon, Katriel
name: Cremers, Cas
name: Gjøsteen, Kristian
name: Jacobsen, Hakon
name: Jager, Tibor
Publisher: name: CISPA
Year: 2023

description: In this paper we give nearly-tight reductions for modern implicitly authenticated Diffie-Hellman protocols in the style of the Signal and Noise protocols which are extremely simple and efficient. Unlike previous approaches, the combination of nearly-tight proofs and efficient protocols enables the first real-world instantiations for which the parameters can be chosen in a theoretically sound manner. Our reductions have only a linear loss in the number of users, implying that our protocols are more efficient than the state of the art when instantiated with theoretically sound parameters. We also prove that our security proofs are optimal: a linear loss in the number of users is unavoidable for our protocols for a large and natural class of reductions.
Towards a New Minimal SO(10) Unification
Creators: name: Bertolini, Stefano
name: Di Luzio, Luca
name: Malinsky, Michal
Publisher: name: arXiv
Year: 2012
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We argue that non-supersymmetric SO(10) models based on a renormalizable Higgs sector in which spontaneous symmetry breaking is triggered by the VEVs of a 45-dimensional adjoint and a 126-dimensional tensor representations can provide a potentially realistic yet relatively simple framework for a future robust estimate of the proton lifetime. Following closely the work Phys.Rev.D85, 095014 (2012), arXiv: 1202.0807 [hep-ph] we comment on the gauge unification constraints on the B-L breaking scale and show that there are several regions in the parameter space of the minimal model where the seesaw scale in the phenomenologically favoured ballpark of around 10^13-14 GeV is consistently supported.
description: 8 pages, 2 figures, prepared for the proceedings of the GUT2012 workshop, Kyoto, Japan, March 2012
The role of coherent vorticity in turbulent transport in resistive drift-wave turbulence
Creators: name: Bos, Wouter J. T.
name: Futatani, Shinpei
name: Benkadda, Sadruddin
name: Farge, Marie
name: Schneider, Kai
Publisher: name: arXiv
Year: 2011
Subjects: subject: Plasma Physics (physics.plasm-ph)
subject: FOS: Physical sciences

description: The coherent vortex extraction method, a wavelet technique for extracting coherent vortices out of turbulent flows, is applied to simulations of resistive drift-wave turbulence in magnetized plasma (Hasegawa-Wakatani system). The aim is to retain only the essential degrees of freedom, responsible for the transport. It is shown that the radial density flux is carried by these coherent modes. In the quasi-hydrodynamic regime, coherent vortices exhibit depletion of the polarization-drift nonlinearity and vorticity strongly dominates strain, in contrast to the quasiadiabatic regime.