SIRIS-Lab/unlabelled-sti-corpus huggingface dataset:
Truth-Not-Trust

Logging is a universal and industry-agnostic practice, and organisations across diverse sectors are becoming increasingly vigilant about log security. Logs are the core sources for insights into the state of digital systems and central to discovering cyber attacks. Thus, malicious actors commonly remove traces of their activities by manipulating with logs.
To date, the market is missing solutions which can independently verify that the logs have not been tampered with by malicious insiders or outside attackers. Without confidence in the integrity of logs, organisations are unable to mitigate cyber incidents in time as they have zero or very limited situational awareness on the occurrence and scope of cyber incidents.
Guardtime AS, a pioneer in hash-based cryptography and production-grade blockchain technology implementation, has developed a breakthrough solution for log security - TrueTrail (TT).
TrueTrail provides immutability and independent log verification, leveraging our proprietary blockchain technology for a decentralised trust anchor. Thereby we will bring into the market a fundamentally new approach to log security, which:
• enables massive scale automated and independent log integrity assurance;
• provides real-time log integrity checks and long-term log record validity;
• makes any log data immutable and detects currently hidden log manipulations.
We have piloted the solution and validated the value proposition with large-scale piloting with several governmental institutions as well as gained first customers from the finance sector. By completing the TNT project we can launch TrueTrail to global markets, implement a highly scalable business model, significantly shorten the sales and implementation cycles, and target new customer segments. Moreover, the SMEI funding will allow us to achieve commercial independence and technological freedom.
METHOD FOR PRODUCING METAL PARTICLE DISPERSION, CONDUCTIVE INK USING METAL PARTICLE DISPERSION PRODUCED BY SUCH METHOD, AND CONDUCTIVE COATING FILM

Disclosed is a method for producing a metal particle dispersion wherein a metal compound is reduced by using carbodihydrazide represented by the formula (1) below or a polybasic acid polyhydrazide represented by the formula (2) below (wherein R represents an n-valent polybasic acid residue) in a liquid medium. By reducing the metal compound in the presence of a compound having a function preventing discoloration of the metal, there can be obtained a metal particle dispersion having excellent discoloration preventing properties. Metal particles produced by such methods have a uniform particle diameter and are excellent in dispersion stability. By using a conductive resin composition or conductive ink containing a metal particle dispersion obtained by such production methods, there can be formed a conductive coating film, such as a conductive circuit or an electromagnetic layer, having good characteristics.
Neural, computational and acoustic principles of auditory sensory processing sensitivity

Hearing is an essential part of human life. We communicate through the voice, use sounds to navigate in the world and enjoy listening to music. On the other hand noise pollution in living and working environments causes serious health problems impacting millions of people and many neurological or psychiatric conditions are accompanied by sensory symptoms. The personality concept of Sensory Processing Sensitivity (SPS) describes a continuum from hyper- to hyposensitivity profiles even in the healthy population. However, the underlying neural mechanisms are unknown and an objective acoustic tool to assess auditory SPS is missing. 
This groundbreaking, interdisciplinary action will adress this gap by combining methods from cognitive and computational neuroscience, acoustics and psychology. I will compute mathematical models to characterize auditory performance, unravel the biological imprint of SPS using neuroimaging, and ultimately provide the scientific community with a much-needed acoustic battery to assess SPS differences objectively. Predictive coding, a general theory of neural function inspired by research in artificial intelligence, machine learning, and systems neuroscience, will provide the theoretical framework for the computational models.
The interdisciplinary environment at the Center for Music in the Brain (MIB) at Aarhus University, has as its primary goal to investigate predictive coding of music. Therefore, it is the perfect location for this work and my training in psychology, auditory neurosciences and music make me the ideal person for this action. At MIB I will enhance my neuroscience (MEG), computational and programming skills. During a secondment at Oxford University I will extend the analyses to whole-brain approaches. Overall the action will foster my development as an indepent researcher capable of leading my own research group with groundbreaking potential for academia and industrial fields of application.
Genomics of chromosome architecture and dynamics in single cells

The spatial architecture of mammalian interphase chromosomes, each consisting of tens of megabases of DNA, poses an intriguing topological problem and is relevant for various nuclear functions. A major challenge is that chromosome architecture exhibits substantial stochastic cell-to-cell variation. To unravel the principles of chromosome organization, new single-cell genome-wide approaches that capture the intrinsic variability are needed.
	Interphase chromosomes interact extensively with relatively fixed nuclear ""landmarks"" such as the nuclear lamina and nucleoli, posing considerable restraints to the spatial organization of chromosomes. For example, about one-third of the mammalian genome interacts with the nuclear lamina. We have recently developed two complementary methods to (i) visualize and track landmark – genome interactions in living cells, and (ii) generate genome-wide maps of these interactions in single cells. These new methods offer unique opportunities to unravel chromosome architecture, taking cell-to-cell variation and dynamics into account. 
	Here I propose to take an integrative approach to study genome – landmark interactions in single mammalian cells. We will: (1) Extend our single-cell methods to visualize and map interactions of the genome with multiple landmarks, and with substantially enhanced genomic and temporal resolution; (2) Elucidate the dynamics and diversity of chromosome architecture in single cells, including differentiating cells; (3) Identify cis-determinants of chromosome - landmark interactions through systematic perturbation of linear chromosome organization, both by targeted mutagenesis and by a random scrambling approach; (4) elucidate the role of various proteins in the global and local control of single-cell dynamics of chromosome organization. 
	These tightly linked approaches will provide detailed understanding of the dynamic architecture of chromosomes in individual cells, and yield new methods and resources.
FLUCTUATIONS AND STABILITY IN CLIMAX SHRUB AND WOODLAND VEGETATION OF THE MOJAVE, GREAT BASIN AND TRANSITION DESERTS OF SOUTHERN NEVADA

ABSTRACT Woody vegetation was documented over a 12-year period, and rainfall through 10 years of the period, in 56 climax shrub and woodland communities in the Mojave, Great Basin and transition deserts of the Nevada Test Site in southern Nevada. Line interception data (335 m) were collected in each community in 1963, during a period of below-average rainfall, and again in 1975 along the same sampling lines, by the same method and observer. From summaries of the data for all sites and from data for individual sites, at the end of the 12 years which included periods of unusually high rainfall, there were consistent increases in numbers of shrubs and trees, mean height and percentage cover, and decreases in proportions of dead plants in the populations; but, neither the qualitative species composition nor the relative proportions of the species changed. From plant- by-plant comparisons along the lines of nine representative sites, it is evident that most of the shrubs and trees living in 1963 were still pre...
Digital platforms: pricing, variety and quality provision

Digital platforms, such as Amazon, Alibaba, Google, have become important global players. Their practices have led to significant anti-trust and regulatory scrutiny, and interventions. The existing theoretical models are not suited for the analysis of most of digital platforms as they fail to capture their important aspects and dynamics. This project’s first goal is to develop tractable and applicable models of markets with digital platforms capturing their unique features. The second goal is to investigate the implications of digital platforms’ business practices on prices, variety and quality provision to buyers, on small rivals, and on potential platform entry. I plan to attain these goals via two work packages: WP1 will provide a tractable framework capturing important characteristics of online market places and can thus be used to analyze e-commerce platforms’ optimal seller contracts and the implied variety offered to consumers. After illustrating an equivalence between a trade platform and a multiproduct monopolist, WP1 will identify with which demand systems and information structure multiproduct firms under-/over-provide variety. Using equivalence conditions WP1 will study whether, how, and when the variety implied by platforms’ pricing diverges from the social optimality and which type of seller contracts could mitigate such distortions. WP2 will provide tractable and applicable models to study competition between asymmetric platforms to attract high quality sellers. WP2 will analyze how platforms’ restrictions on users multi-homing (participating in multiple platforms) and restrictions on switching behavior of users affect market allocation, quality provision, prices, entry and dynamics. The findings of this project will highlight potential distortions in these multi-billion markets and ultimately suggest effective policy recommendations for competition policy in digital markets, which can greatly improve consumer welfare in the EU.
Financing frictions in high-potential entrepreneurship

Entrepreneurship is widely accepted as a key driver of economic growth and is a central policy priority across the world, including in the EU through initiatives such as the EU’s Entrepreneurship 2020 Action Plan.

While access to capital is viewed as one of the biggest hurdles to starting and growing a new business, the manner in which financing constraints for startups are invoked in academic work and policy frameworks is often poorly fleshed out. This lack of clarity is also reflected in the way policy makers sometimes invoke images of Silicon-Valley-type venture capital (VC) backed entrepreneurship when proposing reforms that are tailored towards small businesses with low growth potential.  My ERC CoG project aims to quantify and address financing frictions facing ‘high potential entrepreneurship’ through three related areas of inquiry:  

1.	Characterizing the financing sources and constraints facing high-potential entrepreneurs and small and medium sized enterprises (SMEs) that are responsible for driving employment and productivity growth in the economy.

2.	Developing adaptations to venture capital’s funding model to overcome specific financing hurdles facing the translation and scale-up of science-based ‘tough tech’ ventures.

3.	Understanding the dynamics of agglomeration in emerging industries, with a particular focus on how capital markets policy can impact where clusters of frontier technologies emerge.
Early detection and prediction of mechanical malfunction of machinery by sound analysis

This project is intended to resolve the hurdle of lack of predictive maintenance in industries. The elimination of the risk of downtime and the reduction of maintenance costs are precious for the industry, because it is currently a barrier for increasing the production and accelerating creation of better products that can provide higher profits. Therefore, the industry has strong need to adapt an easy-to-implement and easy-to-use solution. This led NEURONSW LTD. to the concept of prediction of mechanical malfunction of machinery by mechanical sound analysis. 

Neuron soundware (NeuronSW) is an innovative breakthrough solution combining advanced algorithms, machine learning and big data analysis to emulate the human auditory cortex enabling the early detection and prediction of mechanical malfunction of machinery. Through NeuronSW, manufacturers achieve intelligent audio diagnostics to monitor the key machinery equipment using the sound they generate. The integrated hardware and software platform automatically gathers sound of machines in real time and continuously assess the equipment health and operates similarly how experienced technicians use their ears to diagnose broken machines. It works offline and online and can be integrated into existing software or third party IoT platforms. This effectively transforms data into knowledge and actions. Sound and vibration sensors (microphones) can be quickly and cheaply installed on all types of machinery, enabling assets without digital interface or operated by legacy systems to be digitalized without expensive upgrades.
The Detection and Sequencing of a Broad-Host-Range Conjugative IncP-1β Plasmid in an Epidemic Strain of Mycobacterium abscessus subsp. bolletii

An extended outbreak of mycobacterial surgical infections occurred in Brazil during 2004-2008. Most infections were caused by a single strain of Mycobacterium abscessus subsp. bolletii, which was characterized by a specific rpoB sequevar and two highly similar pulsed-field gel electrophoresis (PFGE) patterns differentiated by the presence of a ∼50 kb band. The nature of this band was investigated.Genomic sequencing of the prototype outbreak isolate INCQS 00594 using the SOLiD platform demonstrated the presence of a 56,267-bp [corrected] circular plasmid, designated pMAB01. Identity matrices, genetic distances and phylogeny analyses indicated that pMAB01 belongs to the broad-host-range plasmid subgroup IncP-1β and is highly related to BRA100, pJP4, pAKD33 and pB10. The presence of pMAB01-derived sequences in 41 M. abscessus subsp. bolletii isolates was evaluated using PCR, PFGE and Southern blot hybridization. Sixteen of the 41 isolates showed the presence of the plasmid. The plasmid was visualized as a ∼50-kb band using PFGE and Southern blot hybridization in 12 isolates. The remaining 25 isolates did not exhibit any evidence of this plasmid. The plasmid was successfully transferred to Escherichia coli by conjugation and transformation. Lateral transfer of pMAB01 to the high efficient plasmid transformation strain Mycobacterium smegmatis mc(2)155 could not be demonstrated.The occurrence of a broad-host-range IncP-1β plasmid in mycobacteria is reported for the first time. Thus, genetic exchange could result in the emergence of specific strains that might be better adapted to cause human disease.
Noncoding rna meg3 inhibitor for heart failure treatment

Cardiac fibrosis is a hallmark of and mechanistically involved in heart failure; a disease will high clinical unmet need and fundamental socioeconomic importance. Specific treatments of cardiac fibrosis are lacking. RNAs that do not code for proteins comprise a large portion of the human genome. These so-called noncoding RNAs are emerging as important players in disease pathogenesis, yet their functional roles are ill understood. Our group currently pioneered first clinical testings on noncoding RNA inhibitors in heart failure patients showing the enormous clinical translational potential of such next-generation therapeutics. We now aim to develop a new approach to treat selected heart failure patients, which show increased signs of cardiac fibrosis. Within the ERC grant LONGHEART we have identified a lncRNA meg3 to be a novel and innovative target in heart failure pathologies with fibrosis (Circ Res. 2017 Aug 18;121(5):575-583; Fig. 1). Importantly meg3 is well conserved between rodents and humans allowing translational development. Oligonucleotide-mediated silencing of Meg3 in human cardiac fibroblasts and in vivo in mice resulted in decreased cardiac fibrosis and improved diastolic performance of the heart. Within MEGFIB, we now aim to advance these valuable research results on meg3-based improvements of cardiac fibrosis in mice towards commercial proof-of-concept. Important next steps are a) translation of the efficacy to human cells and tissues and b) sophisticated market analysis, c) IP strategy development and d) business development activities to maximize the value of the projects’ results. The outcome of our activities will be consolidated into a business plan for presenting our proposition to strategic partners, such as Cardior Pharmaceuticals or venture capitalists (VCs). We are proposing a unique RNA-based approach that offers a new opportunity to revolutionize medical practice, improve patient care and will reduce costs in the heart failure care.
University students' negotiation of physics identity in informal physics programs

University students  continue to develop their physics identity by engaging in practices that are central to the physics community. However, many  students also participate in other relevant practices, such as teaching and outreach. For some, teaching and outreach may be integral to their experience doing physics and building identity, although that may be counter to messaging from advisors or academia about their value. In this work, we investigate university students negotiation of physics identity after they have volunteered in informal physics programs for primary school children. We hypothesize that university students’ physics identity is foster or reshaped by the interactions and experiences they have in the program. We analyze university students interviews and responses to pre and post surveys using a blended framework of Self-Determination Theory and Community of Practice frameworks. From this analysis, we extract the experiences that affect their physics identity as they negotiate their memberships in the informal and formal physics communities of practice.
Encoding and Analysing Popular music

Popular music is defined as a set of different music traditions and expressions not included in the domain of classical music, but linked to specific ethnic/social groups, where the transmission standard is oral. However, this definition should identify broader contents linked to deep-rooted cross-cultural traditions, to artistic productions made by and for people. In fact, the investigation of differences between cultures helps the development of a broader social community.
The project will focus on the analysis of the popular music repertoires, from the Baroque period to date, in the 3 IPA Countries, in order to discover possible similarities, which will be the basis for a new future music production, putting the cultures of the territories involved into an integrated system. Also, cross-cultures researches about music interpretation are an innovative subject of study: there’s the need to understand how cognitive and emotional processes are linked to musical perception.
The popular repertoires music, worthy of great cultural, sociological and artistic interest will be connected in a shared music network, aimed at valorising territorial peculiarities and common traditions. This analysis will be deepened thank to the involvement of a neuroscience tool, through which it will be possible to investigate the neurobiological responses of people, belonging to the co-involved territories, to listen to the music covered by the project.
Generalised tree automata, monadic second order logic and transfer principles in combinatorial limits

The project will concentrate on two main directions (MD), which are connected through them both relying on Monadic Second Order (MSO) and its variants.   (MD 1) Shelah's conjecture. In his celebrated 1975 paper Shelah proved that the monadic second order theory (MSO) of the real order is undecidable. He conjectured in his Conjecture 7B that  Conjecture: MSO of the real order where the second order quantifier ranges only over Borel sets, is decidable.  In spite of important efforts on this question in both mathematics and computer science community, the conjecture is still open. Many strategies, including the one suggested by Shelah in his paper (to use Borel determinacy) have been tried. We propose to study this question using the recent methods of the generalised descriptive set theory and the generalised automata that we intend to develop. This is novel and might lead to important advances and the solution.   (MD2) Countable combinatorial limits. Since the work of Lovasz and others in his group around 2006, a new area of discrete mathematics emerged: the combinatorial limits. This fast growing area aroused much interest and found many applications Its first development was that of a graphon, which is an uncountable limit of a sequence of finite graphs, but there have been several others. It is always important to understand the transfer properties of statements between the sequence forming the limit and the limit itself.  The question has been considered through ultrapowers and through topology and Stone's  pairings. None suffices for the transfer of MSO sentence. We propose to study that transfer through the novel notion of a countable model where the notion of satisfaction has been changed so that the countable model reflects the structure of the sequence of finite models that were used to obtain the uncountable combinatorial limit. In this sense we obtain a countable combinatorial limit which we study using the methods of finite model theory.
Border Enforcement of Intellectual Property Rights in India

With the recognition of the need to heighten protection of intellectual property especially with regard to counterfeit trademark and pirated copyrighted goods, the enforcement of intellectual property rights at the borders has emerged as a significant issue in recent times. In view of this, the scheme of border measures has been discussed internationally at various fora including the World Trade Organization, the World Customs Organization, and the World Intellectual Property Organization as well as during negotiations of many multilateral and bilateral free trade agreements. India too, sought to enable right holders to enforce intellectual property rights at the border and, thereby, enhance border protection of intellectual property rights. In this regard, the Government of India notified the Intellectual Property Rights (Imported Goods) Rules, 2007 in May, 2007. The Rules, based on the model legislation by the World Customs Organization, seek to empower the Customs authorities to suspend the clearance of goods suspected to be infringing intellectual property in India. Further, they empower the Customs authorities to adjudicate on the issue of infringement and to seize or dispose the goods on finding in favour of the right holder. The Rules, however, present a major source of concern for importers. They fail to strike a balance between the rights of the right holders and the safeguards provided to the importers or the obligations of the right holders. In view of this, they present immense potential for abuse and their implementation has had a chequered history. The controversy surrounding the dual – SIM patent, presently being argued before various Indian fora, highlights the issues raised by the implementation of these rules, and presents a case for their re-evaluation.