SIRIS-Lab/unlabelled-sti-corpus huggingface dataset:
Metacomputational complexity theory

The goal of the project is to advance our understanding of the central questions in Computational Complexity Theory such as the famous P versus NP problem. 

Complexity Theory approaches questions about efficiency of computation by investigating lower and upper bounds on the complexity of concrete computational models such as Boolean circuits or propositional proof systems. Unfortunately, even after several decades of intense research the progress on the question of proving strong complexity lower bounds remains very incremental. In fact, several significant barrier results have been discovered, partially explaining the complexity of establishing complexity lower bounds. 
While the barrier results presented a serious obstacle they also revealed new structural properties of complexity lower bounds connecting lower bounds to the construction of efficient learning algorithms, cryptography or independence results in mathematical logic. The present project continues the development of these structural connections and complexity-theoretic properties of problems about complexity, which we shortly refer to as Metacomputational Complexity Theory. 
 
The objectives of the project can be divided into two groups. 

1. Hardness magnification, exploring limits and consequences of an emerging theory of hardness magnification which arouse recently from investigations of metacomputational aspects of circuit lower bounds and received a lot of attention as a promising approach overcoming previously existing barriers for proving complexity lower bounds. 

2. Structural theory, strengthening and generalizing connections between the methods for proving lower bounds and other central concepts of computer science, such as efficient learning algorithms, cryptographic primitives and automatizability of propositional proof systems, through the lens of mathematical logic.
The ‘citizenship industry’: commodified citizenship, the corporate sector and global inequality

Originally introduced by the Caribbean microstate St. Kitts and Nevis in 1984, the possibility of buying citizenship via citizenship-by-investment (CBI) schemes has more recently spread across the Caribbean and to Europe. This proliferation of CBI, the associated commodification of citizenship and migration, the increase in corporate political power and reworking of social inequality are of fundamental importance to Europe and global society. Yet, CBI has received scant scholarly attention and particularly the ‘Citizenship Industry’ – the corporations and industry bodies driving and profiting from CBI – remains largely unexamined. ‘CitIndus’ addresses these gaps. It will explore how corporations effectively created, skilfully perform and arguably control the global citizenship market; illuminate their role in the proliferation of CBI, in shaping global migration regimes and as increasingly influential intermediaries between governments and citizens. Examining the Citizenship Industry will also further our understandings of how citizenship mediates global and local social inequalities and how its commodification reworks these structures of inequality. CitIndus thus advances interdisciplinary social science on citizenship, migration and social inequality. It also meets growing calls to embed migration research more effectively within social theory and advances the conversation between cutting-edge postcolonial and political economy approaches. Methodologically, CitIndus takes the innovative approach of 'following’ the Citizenship Industry, synthesising complementary qualitative methods, including document analysis, interviews, participant observation and qualitative GIS. CitIndus will be supervised by two world-leading experts: Prof Torpey, an authority on citizenship and the state at CUNY, and Prof Jazeel, an authority on postcolonial geography and migration at UCL and its Migration Research Unit, a European hub for migration research.
Bismuth UPD on the modified Au(111) electrode

Abstract The bismuth UPD was studied on Au(1 1 1) electrodes modified by silver intermediates and adsorbed thymine. Cyclic voltammetry, potential step experiments and X-ray photoelectron spectroscopy were used for investigation. The results were compared to the results of the analogous experiments performed on bare Au(1 1 1) and on bulk silver. In the first part it is shown that the Bi UPD on AgML/Au(1 1 1) differs completely from the UPD on Au(1 1 1) as well as on bulk Ag due to changed electronic properties of the substrate. The 2nd part focuses on the Bi UPD in presence of the nucleobase thymine. Thymine undergoes a reorientation from the chemisorbed state to the physisorbed state on Au(1 1 1) at potentials where the Bi UPD takes place. During the UPD adsorbed thymine is replaced by Bi species on the electrode surface. It does not re-adsorb on top of the deposited Bi layer. An energetic advantage due to re-adsorption on topmost layer as described for the Cu UPD on thymine modified Au(1 1 1) does not occur.
Photographic portraits of migrants in South Africa: framed between identity photographs and (self-)presentation

This essay explores how migration within the African continent is framed visually by passport photos as well as artistic documentary projects based in Johannesburg, South Africa. It offers examples of what type of photographic (self-)portraits are constructed, which photographs circulate and how African migrants’ self-images as well as South African society’s perception of them are affected by certain photographic images. The method employed is a close reading of some paradigmatic photographs. In addition, I will discuss different – and often gendered – ways in which African migrant subjects may become visible. In short, this essay asks, what photographic portraits construct the hegemonic view of the African migrant subject in the public sphere? Accordingly, the tension between visibility and invisibility of African migrants’ lives emerges in the interstices of the inquiry. The paper first looks at the taking of identity photographs, since the passport photo exemplifies how the individual is made visible ...
A domain-specific visual language for modeling metacognition in intelligent systems

Abstract Metacognition has been used in artificial intelligence to increase the level of autonomy of intelligent systems. However the design of systems with metacognitive capabilities is a difficult task due to the number and complexity of processes involved. This paper presents a domain-specific visual language specifically developed for modeling metacognition in intelligent systems called M++. In M++ the specifications of the cognitive level (object-level) and metacognitive level (meta-level) are supported in a metamodel configured according to the standard Meta-Object Facility (MOF) of Model-Driven Architecture (MDA) methodology. M++ allows the generation of metacognitive diagrams in a visual editor named MetaThink . A validation process was conducted to ensure the reliability of M++ in terms of quality of the notation and consistency of generated models. The validation was performed using two techniques: (i) empirical study and (ii) model tracing. The results given in the experimental study demonstrate that M++ is a useful notation for the process of modeling metacognitive components in intelligent systems. Metacognitive models generated from the validation process using the Tracing technique were consistent with the MOF-based metamodel. M++ contribute to cognitive architecture research adding precision to metacognitive concepts and enabling cognitive architecture researchers to do fast and exploratory prototyping of metacognitive systems using MetaThink tool.
Regioselective hydrogen bonding phase transfer catalysis

The challenge of performing reactions with catalyst control over regioselectivity has not been met with a general solution. Here, we approach this longstanding problem in the field by addressing the specific question of how to regioselectively install fluorine - a key element in the agrochemical and pharmaceutical industries. By combining the charge-modulating properties of hydrogen bond donors with a phase transfer event, we propose that it will be possible to use simple fluoride salts in regioselective fluorination reactions. Using hydrogen bonding as an activation mode for cheap inorganic salts, we will address new challenges in site selectivity through catalyst design and an extensive interrogation of the potential energy landscape of the reactions. This research will demand catalysts that can control the charge density on a nucleophile and will require computational studies that enable the prediction of regioselectivity on the basis of a nucleophilicity index. To apply the lessons of these studies in the context of asymmetric catalysis, new high performance catalysts will be developed that are capable of kinetic resolution and enantioconvergent allylic fluorination. The ultimate test of the regioselective fluorination methods will be in the synthesis of novel PET tracers, where both time and operational simplicity are critical to achieving a high specific activity. Regioselective hydrogen bonding phase transfer catalysis will strongly influence the broader landscape of catalysis and yield mechanistic insight into a novel synthetic process while providing valuable biological probes from abundant feedstock chemicals. The interdisciplinary aim of this proposal is to connect computational chemists, synthetic organic chemists, radiochemists, and PET imaging specialists in a framework that allows the production of new tools to expedite clinical breakthroughs.
Early age of alcohol initiation is not the cause of alcohol use disorders in adulthood, but is a major indicator of genetic risk. A population-based twin study

An early age of alcohol initiation (AAI) is associated with and has been hypothesized to be a cause of alcohol use disorders (AUD) in adulthood. Results from twin studies, however, indicate that AAI is an indicator of risk for AUD. We aimed to test a causal hypothesis versus a risk indicator hypothesis for the relationship between early AAI and AUD.A population-based twin study using biometric twin modelling.Norway.A population-based sample of 1336 Norwegian twins.Life-time DSM-IV AUDs were assessed by structured clinical interview and AAI by questionnaire.The risk indicator model in which the association between AAI and AUD was explained by common vulnerability was the best fitted to the data. The heritability was 37% [95% confidence interval (CI) = 21%, 53%] for AAI and 62% (95% CI = 51%, 73%) for AUD. Genetic risk for AAI accounted for 44% (95% CI = 17%, 71%) of the total genetic risk for AUD and the correlation between genetic factors for AAI and AUD was -0.66 (95%CI -0.87, -0.46). Individual-specific environmental risk for AAI explained only 1% (95% CI = 0%, 3%) of the risk for AUD. Shared environmental factors did not influence AUD, but accounted for 25% (95% CI = 7%, 35%) of the variance in AAI.The association between early age of alcohol initiation and alcohol use disorders in later life does not reflect a causal relationship, but is due almost entirely to common genetic risk factors.
Vertical mixing in homogeneous sheared stratified turbulence: A one-dimensional-turbulence study

We conduct a parametric study of diapycnal mixing using one-dimensional-turbulence (ODT) simulations. Homogeneous sheared stratified turbulence is considered. ODT simulations reproduce the intermediate and energetic regimes of mixing, in agreement with previous work, but do not capture important physics of the diffusive regime. ODT indicates Kρ~ɛ/N2 for the intermediate regime, and Kρ~(ɛh4)1/3 for the energetic regime and limit of near-zero stratification. Here Kρ is the turbulent diffusivity for mass, ɛ the dissipation rate, N the buoyancy frequency, and h the computational domain height, where h is relevant mainly in simulations with jump-periodic vertical boundary conditions. These scaling relationships suggest that Kρ is independent of the molecular diffusivity. ODT results for a wide range of parameters show that Kρ cannot be parametrized solely with the turbulent intensity parameter ɛ/(νN2), in contrast with the previous studies, but it is well predicted by correlations using the Ellison length scale.
Advanced wireless system for predictive monitoring of structural wind turbine components

Wind energy plants are increasingly becoming critical parts of electrical infrastructure around the world. Despite major technological advancements over the past decade, an estimated 5.500 wind turbine blades fail each year, resulting in long periods of unexpected downtime and repair costs. 

At eologix sensor technologies gmbh, we are developing an advanced system called eolACC that uses wireless accelerometers to detect damage to blades before they fail. The patented sensor technology is thin and flexible, allowing it to be easily applied to virtually any location, even on aerodynamic surfaces of blades. Together with a base station and our software, diagnostics will alert operators of poor blade conditions and thus enhance their ability to plan critical maintenance activities. Additionally, the insight from blade sensors will help operators manage assets more effectively, and make objective decisions about useful lifetimes and operating ranges. 
eolACC builds off of an ice detection system previously made by eologix by utilizing the same sensor profile, wireless data transmission, and ambient light power system. Initially eolACC will be sold to owners and operators of wind plants, and in the future we will pursue collaboration with large wind turbine manufacturers. 
The eolACC system will ultimately help wind power plants to operate more efficiently by reducing unexpected downtime. Owners and operators will be able to more effectively plan budgets and maximize the lifetime of their assets.
LOCK ASSEMBLY, SOLAR PANEL MOUNTING APPARATUS, AND RECREATIONAL VEHICLE

Provided are a lock assembly, a solar panel mounting apparatus, and a recreational vehicle. The lock assembly includes a driving member (1), a locking member (2), and a latch (110). The driving member (1) includes a connection end (11), and a driving end (12) movable with respect to the connection end (11). The connection end (11) is arranged on a fastener (100). The locking member (2) is rotatably arranged on a carrier (200) through a first rotation shaft (21). The driving end (12) is rotatably connected to the locking member (2) through a second rotation shaft (22). The locking member (2) includes a hook (23). The latch (110) is arranged on the fastener (100). The hook (23) is capable of hooking the latch (110).
Circumferential fit assessment of CAD/CAM single crowns--a pilot investigation on a new virtual analytical protocol.

Objective Techniques currently applied to determine the marginal accuracy of dental crown restorations yield inadequate information. This investigation aimed to test a new virtual approach for determining the precision of fit of single-crown copings. Method and materials Zirconia single crown copings were manufactured on 10 gypsum, single-tooth master casts with two different established computer-aided design/computer-assisted manufacture (CAD/CAM) systems (groups A and B). After cementation, the circumferential fit was assessed with an industrial noncontact scanner and virtual 3D analysis, following a triple-scan protocol. Marginal fit was determined by virtual sectioning; each abutment-coping complex was digitally sliced in 360 vertical sections (1 degree per section). Standardized measurement distances for analyzing the marginal fit (z, xy, xyz) were selected, and a crosshair alignment was utilized to determine whether crowns were horizontally and/or vertically too large or small. The Mann-Whitney test was applied to test for differences between groups. Results Significant differences in the xy direction (P = .008) were measured between groups. Group A showed a greater number of horizontally overextended margins and a higher frequency of xy distances greater than 150 Μm, in addition to a tendency for excessive z distances (P = .095). Conclusion The mean marginal gap values were clinically acceptable in the present investigation; however, a full circumferential analysis revealed significant differences in marginal coping quality.
VARIABLE CAPACITY TURBOCHARGER AND CONTROL METHOD THEREFOR

The variable capacity turbocharger includes a variable nozzle unit used to change a capacity at which exhaust gas is emitted from a scroll passage of a turbine housing to an exhaust port. The variable nozzle unit includes: a first and a second nozzle plates that form a flow passage routed from the scroll passage to the exhaust port; an actuator that changes an area of the flow passage; an annular space that is formed in a region adjacent to the scroll passage and in which part of power transmitting movable components of the actuator are arranged; a communication hole that is formed in the first nozzle plate and that is used to allow exhaust gas to flow from the scroll passage into the annular space; and an open/close portion that is provided at the part of the movable components and that opens or closes the communication hole.
Application of compiler transformations against software vulnerabilities exploitation

Software vulnerabilities are a serious threat for security of information systems. Any software written in C/C++ contain considerable amount of vulnerabilities. Some of them can be used by attackers to seize control of the system. In this paper, for counteracting such vulnerabilities, we propose to use compiler transformations: function reordering by permutation within a module, insertion of additional local variables into the function's stack, local variables hashing on the stack. By means of these transformations, it is suggested to generate a diversified population of executable files of the application being compiled. Such an approach, for example, complicates planning of the ROP attacks on the entire population. Having obtained a single executable file, the attacker can create an ROP exploit, which works only for this version of the application. The other executable files of the population will remain insensitive to this attack.
Musical and poetic creativity for a unique moment in the western christian liturgy, c.1000-1500

BENEDICAMUS pursues a transformative focus on creative practices surrounding a particular moment in the Western Christian liturgy: the exclamation Benedicamus Domino (“Let us Bless the Lord”), which sounded in song several times a day from c.1000 to 1500. This moment was granted special musical licence c.1000: singers of plainchant melodies could choose to reprise a favourite tune from the Church music for the day, re-texting it with the words Benedicamus Domino. In consequence, Benedicamus Domino enjoyed unprecedented longevity and significance as a focus of compositional interest, prompting some of the earliest experiments in multi-voiced polyphonic composition c.1100, as well as a lasting tradition of popular, devotional carols in the 1300s and 1400s.  Histories of music have principally told the stories of particular composers, genres, institutions, or geographical centres. BENEDICAMUS undertakes the first longue durée study of musical and poetic responses to an exceptional liturgical moment, using this innovative perspective to work productively across established historiographical and disciplinary boundaries. Encompassing half a millennium of musical and ritual activity, hundreds of musical compositions, poetic texts, and manuscript sources, it offers pan-European perspectives on a chronologically and geographically diverse range of musical and poetic genres never before considered in conjunction. It develops new methods of music analysis to uncover traces of ad hoc or improvisatory performative practices that were not explicitly recorded in writing, forging interdisciplinary contexts for thinking about artistic creativity and experimentation in a time-period where these concepts have been little studied. BENEDICAMUS engages with the beginnings of musical and poetic genres and techniques that were crucial in shaping practices still current today, and reflects on music’s enduringly complex relationship with spirituality, ritual, and the sacred.
Inhibition of the t-cell receptor signalling pathway for treatment of t-cell lymphoma

Non-Hodgkin lymphoma (NHL) is a form of cancer emerging from the transformation of a mature B- or T-cell lymphocyte. NHL is the 11th most common cancer in Europe, and the 10th most common cancer worldwide. Functional evidence of the key role of B-cell receptor (BCR) signalling in B-cell malignancies came mainly from works conducted in Dr Louis Staudt’s lab (National Cancer Institute, Lymphoid Malignancies Branch, Bethesda, USA) where the outgoing phase of the global fellowship would take place. Rapid translation of basic science discovery on the BCR signalling led to the development of a specific inhibitor of a key BCR pathway adaptor named Bruton’s tyrosine kinase (BTK), which was granted for accelerated approval both in United States and Europe by regulatory medical agencies.
While the potency of BCR pathway inhibitors is currently revolutionizing the management of B-cell malignancies, peripheral (ie mature) T-cell lymphomas (PTCL) still share a dismal prognosis with a 10-year overall survival barely exceeding 15%. Previous work of the experienced researcher provides strong evidence that PTCL similarly rely on T-cell receptor (TCR) signalling pathway for survival. Targeting this pathway could then lead to discovery of potent therapeutic compounds for PTCL treatment. 
During the 2 years of the global fellowship, the researcher would first perform a TCR pathway small hairpin RNAs (shRNAs) loss-of-function screen in PTCL cell lines in the group of Dr Louis Staudt where the technic is already available and has been fruitfully applied to B-cell malignancies. Second, the researcher would identify potential pharmacological inhibitors of the previously identified targets both in vitro and in vivo in PTCL cell lines xenograft models. This second phase of the project would take place both among the outgoing team and the return group of Pr Gilles Salles (Centre National de la Recherche Scientifique, Indolent-B-cell Proliferation Branch, Lyon, France).
DEVICES AND METHODS FOR PERFUSION THERAPY

Devices, methods, and assemblies for perfusion therapy including cerebral perfusion therapy such as those for use in the treatment of acute ischemic stroke. The treatment includes delivery of blood to or about the vicinity of a thrombus site.
Koreans' consciousness survey on the onboard safety of domestic passenger ship

Abstract: Users of passenger ships and cruise ships are rapidly increasing year by year, and the needs of the floating architecture are newly come out. But the studies about the passengers’ safety and the countermeasures against incidents on board the ships are rare, although the ships’ incidents are occurred averagely 15 cases per year during last 10 years. For the purposes of the analysis of the safety consciousness and gathering the some of input data for evacuation simulation for Korean passengers on board ships, this study performed surveys targeting ordinary 394 passengers who are not specially trained and/or accustomed with onboard living conditions. The results are the followings. The reliability on ships’ safety is surveyed as 32.3%. Only 14.6% of respondents are aware that there were safety education on board ship during sailing. And 42.2% and 40.9% of respondents answered that they saw the map of emergency routes and knew where the life boats are, respectively. And 73.3% select crews’ direct or in-direct(like announcement by indoor broadcasting system) guidances as the most effective evacuation method.
Pharmazie ALBARELOS – Anpassung der Unternehmen an COVID-19-Kontext

Anpassung von Albarel PHARMACY an den COVID-19-Kontext durch die Neuorganisation von Arbeitsplätzen, Hygieneausrüstung, automatischen Zahlungs- und Informationsgeräten, Desinfektion von Räumlichkeiten und Notfallplänen gemäß den Empfehlungen der zuständigen Behörden.