SIRIS-Lab/unlabelled-sti-corpus huggingface dataset:
Data-Centric parallel programming

We address a fundamental and increasingly important challenge in computer science: how to program large-scale heterogeneous parallel computers. Society relies on these computers to satisfy the growing demands of important applications such as drug design, weather prediction, and big data analytics. Architectural trends make heterogeneous parallel processors the fundamental building blocks of computing platforms ranging from quad-core laptops to million-core supercomputers; failing to exploit these architectures efficiently will severely limit the technological advance of our society. Computationally demanding problems are often inherently parallel and can readily be compiled for various target architectures. Yet, efficiently mapping data to the target memory system is notoriously hard, and the cost of fetching two operands from remote memory is already orders of magnitude more expensive than any arithmetic operation. Data access cost is growing with the amount of parallelism which makes data layout optimizations crucial. Prevalent parallel programming abstractions largely ignore data access and guide programmers to design threads of execution that are scheduled to the machine. We depart from this control-centric model to a data-centric program formulation where we express programs as collections of values, called memlets, that are mapped as first-class objects by the compiler and runtime system. Our holistic compiler and runtime system aims to substantially advance the state of the art in parallel computing by combining static and dynamic scheduling of memlets to complex heterogeneous target architectures. We will demonstrate our methods on three challenging real-world applications in scientific computing, data analytics, and graph processing. We strongly believe that, without holistic data-centric programming, the growing complexity and inefficiency of parallel programming will create a scaling wall that will limit our future computational capabilities.
Global drivers, local consequences: tools for global change adaptation and sustainable development of industrial and cultural arctic “hubs”

Increasing global competition for natural resources poses major challenges to the Arctic. ArcticHubs will develop sustainable solutions for reconciliation of competing livelihoods and land-use modes in key Arctic ‘hubs’—important socioeconomic nodes in a geographical network—and their surroundings, considering in particular the needs and cultures of local communities (incl. indigenous people). This will be achieved by applying multi- and interdisciplinary, multi-actor participatory approaches to systematically map, identify and analyse global drivers and pressures with high environmental, societal and economic impacts affecting 33 key hubs examining sustainability of fish farming, multiple use of forests, tourism, mining and indigenous cultures. The outcome of ArcticHubs will be the provision of solution-oriented tools, such as improved public participatory geographical information systems, guidelines for ‘social license to operate’, and future scenarios to Arctic communities, industrial stakeholders, decision- and policymakers, and other relevant actors. This will enable creation and implementation of regional development strategies that reconcile new economic opportunities with traditional livelihoods, and increase the resilience of both new and existing industries and livelihoods against environmental, economic and political changes in the Arctic. The impact of the project will be long-term sustainability and resilience of future environmental, socio-cultural, economic and political factors in the increasingly competitive and globalised Arctic, enhancing social acceptance of increased economic activity. These impacts will contribute to the implementation of the new integrated EU policy for the Arctic, IPPC assessments and other major regional and global initiatives, provide support to the EU Arctic Research Cluster, and enhance engagement of and interaction between local (incl. indigenous), national and global actors.
Open-end spinning sliver feed - with reversible drive to the feed roller

The feed roller, mounted opposite the loosening roller, can be rotated with the direction of the loosening roller, or reversed to rotate in a counter direction. The silver is fed with long or short staple, without changing or modifying the feed components.
Green technologies for ecological cleaning of biological incrustation on hulls in the Upper Adriatic

The common challenge of GreenHull project is solving the problem of pollution by cleaning biological fouling on hulls, thus mproving ships performance and decreasing the halogen species in the environment. The goal of the project is to improve environmental protection by developing innovative green technologies and solutions for cross-border management of dangerous water and waste. Direct effects are: 2 pilot innovative green technologies tested by companies for sampling and analyzing biological fouling on hulls during the ship cleaning (multi-sensorial and underwater robotic system, modular purification system). The Project results are useful for companies, research and training institutions, local communities and environmental politicy. Sea has no borders, therefore cross-border cooperation approach in the public and private sector is necessary in defining guidelines for the monitoring and management of dangerous water and waste and ensures a more effective crossborder management of water and waste. Innovative green technologies are unique solutions allowing further development of new cleaning technologies for dangerous water and waste.
OIL SEPARATOR FOR PUMPS OVERFLOWING WITH OIL

An oil separator for rotary valve vacuum pumps overflowing with oil, comprising a filter housing (10) and several filter cartridges (14) disposed therein, allowing a pumping medium to flow therethrough. The filter cartridges (14) are inserted via a respective opening (16) in an outer wall (12) of the filter housing (10) and detachably fixed to the housing wall (12) in addition to being tight respect to media..
Synthesising game solving techniques

When trying to find errors in programs, or to show that none remain, when trying to automatically produce protocol adapters that guarantee that systems seamlessly work together, and when checking if a specifications can be implemented, algorithm that solve infinite-duration games on graphs do the lion's share of the work. These are games with winning condition that range from parity through mean- or discounted payoff to simple stochastic reachability.

These games are connected by a chain of reductions, so that the latter can be considered as a generalisation of the further, in the sense that there exists a polynomial time reduction to simple stochastic games. When a new result that improves the complexity status of one of these games appears in the literature, it is very interesting, not only from a theoretical point of view, to study whether the improvement can be transferred to another type of game. This specific goal can be achieved in two ways: by building a new optimal reduction or by transferring the algorithmic advancements into a new solver for a game with a different winning condition. This is particularly interesting for practical advancements, like exploiting dominions, and theoretical advancements, such as the introduction of quasi-polynomial time algorithms.

As these recent advances are currently only available for parity games, we will answer the question of whether these advances translate to the more general classes and investigate the more fundamental question of whether these games are inter reducible: are there backwards translations that justify to consider these games as representatives of an individual complexity class, or is there evidence that back-translations are not possible? This will allow us to uncover connections and differences between the types of infinite-duration games that can lead to the proof of equivalence or inequality of the complexity of the classes of games and to the discovery of tighter reductions and faster algorithms.
Communicating erc projects through comics

ERCcOMICS is a creative and ambitious project which proposes to exploit the power of visual storytelling through webcomics to promote and explain the achievements of ERC funded projects and the benefits of the ERC funding scheme for technological and scientific development, as well as for society as a whole. ERComics will:
- produce 16 webcomics about carefully selected ERC funded, drawn by different comic artists;
- organise graphic facilitated TED-style lectures jointly held by ERC grantees and comic artists;
- organise at least two exhibitions about the project itself;
- carry out all needed actions of dissemination to maximise the impact of the project.
Des ressources séquentielles pour négocier son positionnement épistémique : <i>ciò</i> comme préface conversationnelle dans le dialecte et l’italien parlés à Trévise

Dans cette contribution, en nous inscrivant dans l’approche de l’analyse conversationnelle, nous étudions le petit mot "ciò" comme préface utilisée par les locuteurs du dialecte et de la variété d’italien parlés dans la province de Trévise. En particulier, nous focalisons notre attention sur les occurrences de "ciò" en début d'unité de construction du tour ( Turn-Constructional Unit ) dans des tours de parole multi-unités. Pour les préfaces présentant ce petit mot, une double caractérisation émerge en termes de jonctions explicatives ("perché ciò") et adversatives ("ma ciò"). Cette étude fait suite à des recherches antérieures que nous avons menées sur le même corpus de conversations téléphoniques informelles et de repas en famille. Les analyses présentées dans cette contribution nous permettent d’élargir la description des utilisations de "ciò" et de souligner le rôle joué par cette ressource sur le plan épistémique dans la langue parlée en interaction.
Improvement of valve seating performance of engine’s electromagnetic valvetrain

Abstract The camless valvetrain is considered to be a promising solution to improve the engine performance. Most of the camless valvetrains suffer the problem of high impacts at valve seating, which restricts its mass production. This paper focuses on the valve seating performance of an electromagnetic valvetrain (EMVT) with moving coil linear actuator. The EMVT has inherent advantages to achieve low valve seating velocity. The seating performance of EMVT is evaluated by two indicators: seating velocity and holding force. To limit the seating velocity, the valve is controlled to track a desired trajectory based on inverse system method at seating process. The holding force is also properly controlled base on PID current control to ensure the cylinder sealed. The valve seating performance is validated on an experimental setup. The results show that excellent valve seating performance has been achieved.
Bringing social impact to markets - social impact rating agency and ai powered saas tool for investors to optimize the social impact of their investment portfolios.

Clarity is a highly innovative tech company offering an end-to-end solution that optimizes the social impact of the investment
portfolios of our clients, mainly investment management firms, in a HUGE MARKET (currently more than $23 trillion sustainable investments - one third of the total market) growing at 25% CAGR.

Our TECHNOLOGY is based on disruptive use of big data and machine learning algorithms and a proprietary and innovative
social impact methodology, developed by excellent researchers educated at top Universities from Spain (UPM, UCM) and USA (Harvard, MIT).

Clarity UNIQUE VALUE PROPOSITION is based on:
● More accurate and comprehensive social impact measurement
● Automatic portfolio rebalancing to maximize social impact without compromising financial performance
● Excellent user experience
● Highly scalable and flexible SaaS business model with affordable pricing

Our PRODUCT has already been tested by top CLIENTS managing more than €200 Billion, we have firm commitment of 8 more clients, (who manage more than €7 trillion in assets) and additional 30+ asset managers interested in testing it. Our tool has also been praised and supported by top experts in our key sectors, including United Nations, World Bank, World Economic Forum, Cambridge Associates, Gartner, BCG, McKinsey and Bain.

We have an exceptional TEAM and detailed strategy and EXECUTION PLAN. We have recently closed a first round of €1.4Mn+ and secured commitments from other venture capital investors. In addition, we have been awarded €250K in equity-free funding by the EU Impact Growth program (selected among more than 1,900 startups) and €208k equity-free funding by NeoTec to most innovative Spanish startups.

Currently, we are ready to SCALE-UP internationally by improving our social ratings and algorithms, and scale our SaaS tool to other top
investment managers globally. The SME instrument phase 2 will support us to make a European company the World leader in this new growing market.
Green management plans for European urban and peri-urban Landscapes

EUROSCAPES is a shared vision of 14 partners coming from 13 EU Member States on the necessity to tackle natural and cultural landscapes' management issues in urban and peri-urban areas at an interregional level and in a sustainable way. In dense and contrasting urban environments, tackling the concept of landscapes and its related issues will prevent their loss of specificity and identity, and help to make best use of these areas. In urban and peri-urban areas facing demographic changes, climate change issues, increasing economic constraints, environmental challenges… exchanges of good practices and expertise will help regional and local authorities to be more efficient in protecting, maintaining and enhancing their natural and cultural landscapes in a sustainable way. Partners of EUROSCAPES have the ambitious objective of offering a new management model for these landscapes, as a milestone policy instrument to implement the European Landscape Convention treaty objectives.
Partners of the project have identified complementarities in their tools, practices and policy instruments to deal with landscape management. They will refine these complementarities, exchange and transfer good practices with a scientific support and use these good practices to feed the Landscapes Management Plan (LMP) they will develop: new approach meabt to become a real public policy at the regional/local level. These LMP are based on an environmental, quality and economical approach in the maintenance and management of our natural and cultural landscapes. They will integrate important education and sensitization dimensions and take into account the territorial strategy, urban master plans etc. The Project will produce a Handbook of good practices and a Policy recommendation paper on the LMP approach as main outputs. The main results of the project will be improved local/regional landscapes management practices & policy instruments and a more sustainable living environment.
The project rests on three main innovative aspects. The areas concerned – natural and cultural landscapes in urban and peri-urban areas (green spaces like gardens, parks, squares… but also paths, riversides, deprived landscapes etc.) – are not well taken into account in planning and protecting instruments today and not in a coherent and sustainable way. Secondly the approach is based on a global strategic plan using the differentiated management methodology (to be environmentally responsible, different kinds of management are defined for different kinds of landscapes identified based on their use and quality). Thirdly partners have all committed to jointly develop a Landscapes Management Plan, as a new model of sustainable and integrated management strategy, which will be based on the good practices analysed and exchanged.
Duality-based lumped transformer equivalent circuit at low frequencies under single-phase excitation

The lumped transformer equivalent circuit has been recently adapted based on duality principle and verified for the purposes of transient analysis with reasonable accuracy and frequency response analysis. However such circuit is developed and validated for balanced and unbalanced three-phase excitation. On the other hand, several diagnostic tests such as Frequency Response Analysis (FRA), ratio, short-circuit impedance measurements etc. are performed only under single-phase excitation in open- and short-circuit conditions. Therefore, there is a requirement to develop an equivalent circuit for power transformers under single-phase excitation to analyse relevant tests, which has not been completely investigated until now. The required equivalent circuit should in general include all windings of three phases as suggested by several recent publications since the influence from other non-tested windings to the tested phase winding was confirmed. The paper's main contribution is to introduce a duality-principle-based lumped equivalent circuit for a three-phase two-winding transformer under single-phase excitation at low frequencies for the purpose of impedance and frequency response analyses. More importantly, a method for determining internal, i.e. per-phase, parameters of the circuit based on impedance tests is also proposed. Results show that, thanks to frequency-dependent functions of the parameters and their connection in the circuit, inter-phase effect and quantitative interpretation of several first parallel- and series resonances in frequency response of winding impedances in transformer bulk are now possible. Furthermore, these physical parameters can be useful as input for machine-learning algorithms to diagnose transformer failures.
An intelligent annotation-based image retrieval system based on RDF descriptions

The notions of concept and instance are proposed to express the semantics of images.An image annotation model is proposed to annotate images at three levels.An intelligent ABIR system is implemented based on RDF descriptions.The problems of synonyms and homonyms are addressed in the our ABIR system.The proposed ABIR system provides a way to search with calculation. Display Omitted In this paper, we aim at improving text-based image search using Semantic Web technologies. We introduce our notions of concept and instance in order to better express the semantics of images, and present an intelligent annotation-based image retrieval system. We test our approach on the Flickr8k dataset. From the provided captions, we generate annotations at three levels (sentence, concept and instance). These annotations are stored as RDF triples and can be queried to find images. The experimental results show that using concepts and instances to annotate images flexibly can improve the intelligence of the image retrieval system: (1) with annotations at concept level, it enables to create semantic links between concepts and then addresses many challenges, such as the problems of synonyms and homonyms; (2) with annotations at instance level, it can count things (e.g., two people, three animals) or identify a same concept.
Extremely large-scale simulation of a Kardar-Parisi-Zhang model using graphics cards

The octahedron model introduced recently has been implemented onto graphics cards, which permits extremely large scale simulations via binary lattice gases and bit coded algorithms. We confirm scaling behaviour belonging to the 2d Kardar-Parisi-Zhang universality class and find a surface growth exponent: beta=0.2415(15) on 2^17 x 2^17 systems, ruling out beta=1/4 suggested by field theory. The maximum speed-up with respect to a single CPU is 240. The steady state has been analysed by finite size scaling and a growth exponent alpha=0.393(4) is found. Correction to scaling exponents are computed and the power-spectrum density of the steady state is determined. We calculate the universal scaling functions, cumulants and show that the limit distribution can be obtained by the sizes considered. We provide numerical fitting for the small and large tail behaviour of the steady state scaling function of the interface width.
THRUST AND PLANETARY GEAR COUPLING FOR A ROTOR OF A DISTRIBUTOR FUEL INJECTION PUMP

Planetary gear mechanisms are useful in distributor fuel injection pumps to couple a distributor rotor with a drive shaft in order to rotate the distributor rotor at a preselected output angular speed which is proportional to and less than a preselected input angular speed of the drive shaft. Previously disclosed planetary gear coupling arrangements are typically rather bulky and merely provide an angular speed reduction function. In contrast, the subject thrust and planetary gear coupling (10) provides a relatively more compact arrangement for angular speed reduction and also includes a stationary dual-thrust plate (352) which controls axial end play of both the drive shaft (38) and the distributor rotor (348). The coupling (10) further includes a relatively inexpensive and easy to assemble planet gear and carrier assembly (424, 428, 432, 436, 440, 444, 448) which during operation rotatively drives the distributor rotor at the same output angular speed and which can also bear against the dual-thrust plate to act as a running thrust member.
Co-Creating resilient and sustainable food systems towards food2030

Urban food systems and ecosystems (UFSE) demand immediate action. CITIES2030 innovative approach have a great opportunity to attract the best researchers, entrepreneurs, civil society leaders, cities and all agents of the UFSE as well. The main goal of CITIES2030 is to create a future proof and effective UFSE via a connected structure centered in the citizen,  built on trust, with partners encompassing the entire UFSE. CITIES2030 commit to work towards the transformation and restructuring of the way systems produce, transport and supply, recycle and reuse food in the 21st century. CITIES2030 vision is to connect short food supply chains, gathering cities and regions, consumers, strategic and complement industry partners, the civil society, promising start-ups and enterprises, innovators and visionary thinkers, leading universities and research across the vast diversity of disciplines addressing UFSE, including food science, social science and big data. CITIES2030 actively encourage the participation of citizens by delivering a trusted UFSE, moving consumers from being passive recipients to active engagement and motivated change agents. This objective is achieved via multiple tools delivered by CITIES2030 such as the CRFS Alliance, a community of practice supported by a digital platform, reaching all over Europe and beyond. This approach will enable policy developments, innovation actions within result-driven Labs, and enhancements on a pan-European scope with a global reach. Cities and regions will improve resilience and sustainability, and their leadership will create short food supply chain and ecosystems enabling local investments, trans-borders and transnational deployment. A blockchain-based data-driven UFSE management platform will secure intelligence and coordination actions by delivering an accurate, almost real-time digital twin of the whole supply chain, e.g. from production to waste management, but also on key enablers of resilience and sustainability.