SIRIS-Lab/unlabelled-sti-corpus huggingface dataset:
Quantum enhanced organic photovoltaics by strong coupling of ir vibrations to an optical cavity

In the quest for solar cell technologies, organic photovoltaics (OPVs) are playing a leading role as a potentially cost-effective and clean solution. Thus, much research has been devoted into increasing power conversion efficiencies (PCE), currently ~10% by optimising material properties at the different steps involved in the conversion of light into charge. There is evidence that charge delocalization and hot charge transfer (CT) states facilitate charge separation at the electron donor/acceptor interface. State-of-the-art OPVs already exhibit very high (>90%) internal quantum efficiencies (IQE). However, PCE relies not only on high IQE but also on minimizing energy loses (e.g. exciton relaxation) and avoiding charge recombination. A possible strategy to increase PCE is to find ways to optimise charge separation that allow simultaneously for high quantum efficiencies and architectures with longer exciton diffusion lengths or lower charge recombination rates. In QuESt we will investigate how to enhance OPV functionality by the emerging approach of modifying material properties through the hybridization of matter and photon states under strong light matter coupling. In particular, the aim of this project is to modify charge separation and eventually PCE in OPVs by engineering strong coupling between IR molecular vibrations and an optical cavity mode. We will develop a theoretical framework to describe the energy structure and charge dynamics in OPVs under strong vibrational coupling that will be benchmarked with non-linear spectroscopy experiments.
Performing the Curmudgeon: The Toothless Lion

Growing old is a process of reinvention. Performing the curmudgeon is one way to redefine dignity in a time of waning powers. The curmudgeon trades in earlier roles of authority and virility and, by repositioning himself above the fray, creates a new space where he can perform. This paper draws on J.L. Austin’s notion of performative utterances and explores how they can coalesce to form a persona which becomes a functioning gender parody (J. Butler) and participate in a broader dynamic of masculinities (R.W. Connell and J.W. Messerschmidt). After defining the curmudgeon, this paper considers two “case studies:” the comedian George Carlin and the poet Philip Larkin, in light of issues of chronology, space, sexuality and the creation of a “post-virile” status. Lastly, it addresses the political coding of the curmudgeon and its future as a masculine parody.
Cross-border network of incubation system for new ICT companies

This project plans the creation of a cross-border incubation network including pre- and post-incubation services for new ICT companies in the boating, tourism and energy supply business. The challenge is to create a virtuous ecosystem that will generate and consolidate high-tech product companies. An Establishment Agreement will set in place a cross-border network of formerly independent companies dealing in the provision of new business creation services.  The project will offer qualified and integrated cross-border services structured after international best practices and experiment with innovative scouting and matching methods for the demand and supply of technological solutions.  Furthermore, the promotion of these services will make the partner areas more attractive to aspiring entrepreneurs, including those coming from other geographical regions.  Aspiring entrepreneurs, economic organisations, Universities, research centres and incubators will be the primary beneficiaries of the results envisioned by this project. Said results will include the Scouting Operational Plan, virtual instruments (marketplace and game training) to promote the matching of innovation supply and demand, service catalogues, a management and communication platform for the promotion of network services, information integration and interactions between network operators. The project will take a bottom-up approach to bring out new business ideas and ways to help businesses get established.
Intrinsic pseudo-volume forms for logarithmic pairs

We study an adaptation to the logarithmic case of the Kobayashi- Eisenman pseudo-volume form, or rather an adaptation of its variant defined by Claire Voisin, for which she replaces holomorphic maps by holomorphic K-correspondences. We define an intrinsic logarithmic pseudo-volume form X;D for every pair (X;D) consisting of a complex manifold X and a normal crossing Weil divisor D on X, the positive part of which is reduced. We then prove that X;D is generically non- degenerate when X is projective and KX +D is ample. This result is analogous to the classical Kobayashi-Ochiai theorem. We also show the vanishing of X;D for a large class of log-K-trivial pairs, which is an important step in the direction of the Kobayashi conjecture about infinitesimal measure hyperbolicity in the logarithmic case. Resume (Pseudo-formes volumes intrinseques pour les paires logarithmiques)
Erroneous continuous cardiac output by calibrated pulse contour analysis

Pulse contour analysis techniques are used for beat-to-beat tracking of cardiac output in critically ill patients. However, an adequate pulse pressure waveform signal and identification of the appropriate (i.e. systolic) part of the waveform by the monitor are crucial for correct calculation of continuous cardiac output. We observed a case where the monitor failed to correctly identify the systolic part of the waveform during tachycardia thus giving false readings. We would like to emphasize the importance of visually checking the waveform for any irregularities that may cause erroneous calculations before initiating a therapy based on these values. One advantage of the system used here is that the part of the pressure curve used for analysis is automatically indicated.
Protein feature classification using particle swarm optimization and artificial neural networks

A protein superfamily consists of proteins which share amino acid sequence homology and are therefore functionally and structurally related. Protein classification focuses on predicting the function or the structure of new proteins. This can be done by classifying a new protein to a given family with previously known characteristics. Artificial neural networks have been successfully applied to problems in pattern classification, function approximation, and associative memories. The traditional Backpropagation (BP) algorithm is generally used to train multilayer feedforward network but they are limited to search for a suitable set of weights in an apriori fixed network topology. This mandates the selection of an appropriate optimized synaptic weight for the learning problem in hand. Particle Swarm Optimization (PSO) is a population based stochastic optimization technique which is very effective in solving real valued global optimization problems. Thus, a hybrid method combining PSO-BP is implemented in this paper. PSO has the limitation of getting trapped in local minima. So, mutation of few particles are done based on probability of mutation and thus, a modified PSO is implemented. The main objective of the paper is to develop an efficient classifier using feedforward neural network. The efficiency is measured in terms of speed, predictive accuracy, sensitivity, and specificity.
Improvements in or relating to propellers

600,498. Screw propellers. UNITED AIRCRAFT CORPORATION. Oct. 10, 1945, No. 26419. Convention date, Jan. 24. [Class 114] [Also in Group XXXII] To damp out vibrations a blade is provided with a conical shell 32 fitting the base 30 of the blade, this containing a ball 36 contacting a seal of larger radius. The ball space is closed by a plug 34 to which balance weights 44 can be attached. Specifications 416,255 and 437,631 are referred to.
Influence of Boundary Condition Types on Unstable Density-Dependent Flow

Boundary conditions are required to close the mathematical formulation of unstable density-dependent flow systems. Proper implementation of boundary conditions, for both flow and transport equations, in numerical simulation are critical. In this paper, numerical simulations using the FEFLOW model are employed to study the influence of the different boundary conditions for unstable density-dependent flow systems. A similar set up to the Elder problem is studied. It is well known that the numerical simulation results of the standard Elder problem are strongly dependent on spatial discretization. This work shows that for the cases where a solute mass flux boundary condition is employed instead of a specified concentration boundary condition at the solute source, the numerical simulation results do not vary between different convective solution modes (i.e., plume configurations) due to the spatial discretization. Also, the influence of various boundary condition types for nonsource boundaries was studied. It is shown that in addition to other factors such as spatial and temporal discretization, the forms of the solute transport equation such as divergent and convective forms as well as the type of boundary condition employed in the nonsource boundary conditions influence the convective solution mode in coarser meshes. On basis of the numerical experiments performed here, higher sensitivities regarding the numerical solution stability are observed for the Adams-Bashford/Backward Trapezoidal time integration approach in comparison to the Euler-Backward/Euler-Forward time marching approach. The results of this study emphasize the significant consequences of boundary condition choice in the numerical modeling of unstable density-dependent flow.
A METHOD AND SYSTEM FOR THE AUTOMATIC DETECTION OF SIMILAR OR IDENTICAL SEGMENTS IN AUDIO RECORDINGS

Disclosed are a computerized method and system for the identification of identical or similar audio recordings or segments of audio recordings. Identity or similarity between a first audio segment of a first audio stream and at least a second audio segment of an at least second audio stream is determined by digitizing at least the first audio segment and the at least second audio segment of said audio streams, calculating characteristic signatures from at least one local feature of the first audio segment and the at least second audio segment, aligning the at least two characteristic signatures, comparing the at least two aligned characteristic signatures and calculating a distance between the aligned characteristic signatures and determining identity or similarity between the at least two audio segments based on the determined distance.
Going Out by Going In: Business Model Innovation with Chinese Characteristics

A radical model of “going out by going in” is proposed. Conventionally, firms enter overseas markets by selling and ultimately investing—this is “going out.” Here, I argue that firms in emerging markets can draw revenues from overseas by penetrating previously inaccessible domestic markets and then renting their distribution and service channels to foreign competitors—this is “going out by going in.” Further, firms in emerging markets can combine knowledge platforms with distribution and service platforms to create markets for innovative products and, again, rent these platforms to overseas competitors. Two cases, both from the Haier Group, are on point: Haier's Integrated Channel Services business targeting rural markets, and the Haier “water box” project aimed at supplying potable water to households throughout China. © 2017 Wiley Periodicals, Inc.
Available transfer capability assessment with large wind farms connected by VSC-HVDC

With large wind farms connecting to the grid by VSC-HVDC, many urgent problems should be solved, such as power system reliability assessment and available transfer capability(ATC) assessment, which have important academic and practical significances to transmission system planning, operation and reliability evaluation. Considering the characteristics of wind farm and VSC-HVDC system, the ATC assessment of power system with large wind farms connecting by VSC-HVDC is studied based on Monte Carlo simulation, DC power flow and Linear-programming in this paper. Through long-time simulation and analyses, the adequacy indices of ATC can be gained. The algorithm is developed by MATLAB 6.5. The IEEE-RTS79 test system is used to verify the presented approach.
‘“It should allow me to opt in or opt out”: Investigating smartphone use and the contending attitudes of commuters towards geolocation data collection

Abstract A valuable body of literature critiques the ways in which data generated by individuals through their smartphone and mobile media use are collected and controlled by governments, state-based institutions and corporations. However, alongside this much-needed critical scholarship, it is necessary to identify the specific attitudes of users towards locational data collection activities and, by extension, the differing levels of socio-technical literacy that exist among smartphone users. This article presents evidence of the attitudes of train commuters about the geolocation mapping of their movement via smartphone Wi-Fi signals. Involving significant methodological challenges, the study used Simple Observation combined with a three-question survey of 100 commuters completed at a major train station in Melbourne, Australia, over a three-day period. Based on the evidence collected and analysed, the findings show that attitudes are grouped into six categories: (1) in favour, (2) in favour with guarantees, (3) sceptical, (4) staunchly opposed, (5) confused, and (6) apathetic. We propose that publicly visible initiatives to raise awareness about the collection and utilisation of smartphone data are essential to inform citizens about their locational privacy, especially given the continuing spread of sensor-based monitoring systems in public spaces and so-called smart cities.
Vertical innovations in transport and logistics over 5g experimentation facilities

The VITAL-5G proposal has the vision to advance the offered transport & logistics (T&L) services by engaging significant logistics stakeholders (Sea and River port authorities, road logistics operators, warehouse/hub logistic operators, etc.) as well as innovative SMEs and offering them an open and secure virtualized 5G environment  to test, validate and verify their T&L related cutting-edge Network Applications (NetApps). The combination of advanced 5G testbeds (offered through participating MNOs / vendors) with vertical specialized facilities and infrastructure (offered by participating key logistics stakeholders) through an open service validation platform (repurposed and created by the project) will create a unique opportunity for third parties such as SMEs to validate their T&L related solutions and services utilizing real-life resources and facilities, otherwise unavailable to them. The platform will provide to 3rd party experimenters, the necessary testing and validation tools, offering them a trusted and secure service execution environment under realistic conditions that supports multi tenancy. Such an elaborate validation mechanism will allow for the further refinement and fine-tuning of the provided services fostering the creation of new services and the evolution of existing ones, while boosting the SME presence in the emerging 5G-driven logistics ecosystem.
The VITAL-5G proposal plans to showcase the added-value of 5G connectivity for the European T&L sector by adopting a multi-modal approach containing major logistics hubs for freight and passengers (sea ports, river ports, warehouse / logistics hubs, highways, etc.) as well as the respective stakeholders (road operators, port authorities, 3rd party logistics (3PL) operators), thus creating an end-to-end chain of connected T&L services accommodating the entire continent.
Disputes in Everyday Life: Social and Moral Orders of Children and Young People

research presented in this volume has been undertaken in a range of settings and across ages, to display the rich, varied, and complex aspects of children and young people's everyday lives. The papers contribute to understanding children's disputes, framed as forms of social practice, by closely examining children's talk and interaction in disputes to offer insight into how they arrange their social lives within the context of school, home, neighborhood, correctional, and cafe settings. As such, this volume contributes to an emerging body of edited volumes that investigate children and young people's everyday interactions (Cromdal, 2009; Cromdal & Tholander, in press; Gardner & Forrester, 2010; Goodwin & Kyratzis, 2007; Hutchby & Moran-Ellis, 1998). Each paper has been peer reviewed, by respected researchers of the field, in some cases authors of this volume, and revised. We also thank Charlotte Cobb-Moore who so ably assisted in the final preparation of the manuscripts.---publisher website
Fast and reliable symbolic computation

The use of computers for formulating conjectures, but also for substantiating proof steps, pervades mathematics, even in its most abstract fields. Most computer proofs are produced by symbolic computations, using computer algebra systems. Sadly, these systems suffer from severe, intrinsic flaws, key to their amazing efficiency, but preventing any flavor of post-hoc verification.

But can computer algebra become reliable while remaining fast? Bringing a positive answer to this question represents an outstanding scientific challenge per se, which this project aims at solving. 

Our starting point is that interactive theorem provers are the best tools for representing mathematics in silico. But we intend to disrupt their architecture, shaped by decades of applications in computer science, so as to dramatically enrich their programming features, while remaining compatible with their logical foundations.

We will then design a novel generation of mathematical software, based on the firm grounds of modern programming language theory. This environment will feature a new, high-level, performance-oriented programming language, devised for writing efficient and correct code easily, and for serving the frontline of research in computational mathematics. Users will have access to fast implementations, and to powerful proving technologies for verifying any component à la carte, with high productivity. Logic- and computer-based formal proofs will prevent run-time errors, and incorrect mathematical semantics.

We will maintain a close, continuous collaboration with interested high-profile mathematicians, on the verification of cutting-edge research results, today beyond the reach of formal proofs. We ambition to empower mathematical journals to install high-quality artifact evaluation, when peer-reviewing falls short of assessing computer proofs. This project will eventually impact the use of formal methods in engineering, in areas like cryptography or signal-processing.
A SOFTWARE ENVIRONMENT FOR AN ADAPTIVE HUMAN-AWARE SOFTWARE AGENT SUPPORTING ATTENTION-DEMANDING TASKS

This paper presents a software environment providing human-aware ambient support for a human performing a task that demands substantial amounts of attention. The agent obtains human attention-awareness in an adaptive manner by use of a dynamical model of human attention, gaze sensoring by an eye-tracker, and information about features of the objects in the environment which is parameterised for characteristics of the human specified above. The agent uses a built-in adaptation model to adapt on the fly, the values of these parameters to the personal characteristics of the human. The software agent has been implemented in a component-based manner within the Adobe ® Flex ® environment, thereby also integrating the Tobii ® eye-tracker. It has been applied in a setup for a task where the human has to identify enemies and allies, and eliminate the enemies.
The atlantic testing platform for maritime robotics: new frontiers for inspection and maintenance of offshore energy infrastructures.

Operations and maintenance (O&M) has to be performed for the full operational life of a wind farm, the costs of which constitute to a significant part of the total costs of offshore wind power. The EU and the wind power sector have ambitious aims for cost-reduction to make wind power – especially offshore wind power – more cost-efficient. With the current technology base O&M costs can account for up to 30 % of the total cost of energy for offshore wind power. A substantial contribution to cost reduction must therefore come through improved and new solutions and technologies. ATLANTIS will address the EU and wind power sector’s ambition.

The overall aim of the ATLANTIS project is to establish a pioneer pilot infrastructure capable of demonstrating key enabling robotic technologies for inspection and maintenance of offshore wind farms that will be installed in the Atlantic Ocean.

A large-scale pilot will be operated and demonstrated by a strong collaboration between the research community and the industrial offshore energy ecosystem. The commitment of relevant stakeholders from the maritime robotics and wind power value chain depicted in ATLANTIS project exposes the urgency in guarantee an early access by medium-sized enterprises (SMEs), R&D institutions or energy operators to a pilot infrastructure for validating innovative and technological solutions with high potential to leverage key market sectors and the blue growth. 

ATLANTIS will play an important role in connecting the market needs and user’s expectation to robotic applications from the research, technology developers and system integrators, by accelerating the roll-out of maritime robotic technology to end-users through real-world demonstrations open to all communities. The emphasis of ATLANTIS will be on demonstrating capabilities in a real offshore wind farm.
Dissemination activities enrolled in the ATLANTIS project will convince stakeholders about the advantages of using robotic-based solutions.
Do Smoking Bans Always Hurt the Gaming Industry? Differentiated Impacts on the Market Value of Casino Firms in Macao

Abstract The gaming economy has expanded rapidly in East Asia over the past decade. Despite the known public health hazards of secondhand smoking, smoking bans in casinos remain controversial due to concerns over the potential economic harm to casino firms. Applying an event study, the authors examine the abnormal returns of casino stocks in response to three unexpected smoking ban announcements from 2011 to 2015 in Macao. Their analysis reveals that these announcements were associated with differentiated abnormal returns of casino stocks. Stocks of traditional casinos suffered abnormal losses of 0.58–3%, while the Las Vegas themed casinos enjoyed positive abnormal returns of up to 3%. Furthermore, the authors find that low air quality in gaming venues and high dependence on gaming revenues are associated with abnormal losses, while positive management initiatives are significantly correlated with positive abnormal returns. The findings of this study provide a full picture of the impacts of smoking bans on casinos and thus will be a useful policy references for the Macao government, as well as for the rapidly growing gaming industry in Asia and developing economies elsewhere.