SIRIS-Lab/unlabelled-sti-corpus huggingface dataset:
Pem electrolysers for operation with offgrid renewable installations

Hydrogen production by PEM water electrolysers (PEMWE) has the potential of becoming a key enabling technology in the deployment of FCH technologies in the future energy market as an energy storage system able to deliver hydrogen to different applications and enabling a high penetration of renewable energy sources (RES). PEMWE has showed capabilities in the emerging hydrogen scenarios to be a valid alternative to previously developed technologies, especially considering the dynamic and versatile operation expected of hydrogen production methods when integrated with RES.

Despite the advances and improvements experienced to date with these systems, the technology needs to be further improved if it is to be installed as a competitive solution for energy markets and even more so in the case of off-grid configurations due to their particularities. The development of an autonomous off-grid electrolysers as an energy storage or backup solution (e.g. replacing diesel engines) is an unusual and challenging goal because it needs to have the capability of being directly coupled to RES in locations where the electricity grid is not deployed or weak.

The main goal of the ELY4OFF proposal is the development and demonstration of an autonomous off-grid electrolysis system linked to renewable energy sources, including the essential overarching communication and control system for optimising the overall efficiency when integrated in a real installation
CO2 REFRIGERATION SYSTEM FOR ICE-PLAYING SURFACES

A CO2 refrigeration system comprises a condensation reservoir. CO2 refrigerant is accumulated in the reservoir. The CO2 refrigerant circulates between supracompression and evaporation loops. The supracompression loop comprises a compression stage for compression CO2 refrigerant to a supracompression state, a cooling stage in which CO2 refrigerant releases heat, and a pressure-regulating unit in a line extending from the cooling stage to the condensation reservoir. The pressure-regulating unit maintains a pressure differential between the cooling stage and the condensation reservoir. The evaporation loop comprises an evaporation stage in which CO2 refrigerant from the condensation reservoir absorbs heat in a heat exchanger. The heat exchanger is connected to an ice-playing surface refrigeration circuit. A second refrigerant cycles in the ice-playing surface refrigeration circuit. The CO2 refrigerant absorbs heat from the second refrigerant in the heat exchanger. A CO2 condensation exchanger is also provided.
LOW PROFILE INFUSION SET

An infusion set (10) for administration of fluid to a subcutaneous layer includes a cannula housing (12). The needle housing (14) has a pair of flexible sidewalls (94,96) and a resilient band (102) connected to the sidewalls (98,100). The resilient band (102) is lockably engageable with the cannula housing (12) to thereby secure the housings together, and is releasable from the cannula housing (12) when the sidewalls (94,96) are pressed toward each other to deform the resilient band (102). A hollow needle extends out of a main body of the needle housing (14) for delivering fluid to the cannula from a fluid source. The walls of the needle housing (14) extend beyond a distal end of the hollow needle to prevent needle contact with contaminated surfaces and inadvertent injury.
Optical interrogation of hippocampal dentate granule circuit dynamics in health and disease

Understanding the cellular and synaptic basis of memory remains a central goal of modern neuroscience. Physical traces of memory exist as an enduring, experience-dependent change in neural activity in response to learning. In the hippocampus, a key region of the mammalian brain involved in memory formation and recall, new neurons are continually generated in the dentate gyrus (DG) where they form an integral part of the existing functional circuitry. Despite its key position in the hippocampal formation, however, the function of DG and its adult-born neurons in vivo has not been carefully investigated. Here, by applying transgenic and optogenetic approaches – including multicolour genetically encoded activity reporters – together with longitudinal two-photon imaging, we aim to study functional dynamics and plastic changes in DG in health and disorder. We propose that activity patterns in DG cell populations show activity-dependent changes during learning and construct a cellular and circuit basis for contextual memory engrams. We will also investigate how synaptic alterations in excitation-inhibition balance and defects in adult neurogenesis in DG lead to neurological disorders such as Rett syndrome.
Transformação digital e automação de produção de DIKRT spol. s r.o.

O objeto do projeto é a inovação e a robotização dos equipamentos tecnológicos da empresa no campo da pintura de peças e estruturas metálicas. Uma mudança significativa na transformação digital e automação da produção e gestão da empresa será alcançada. a.
Experimental study on the rigidity behavior of Prestressed Steel Reinforced Concrete beams

Prestressed Steel Reinforced Concrete (PSRC) Structure is a new system by combining PC technology and steel reinforced concrete (SRC) structure, and is a technical innovation to the conventional structures, such as concrete structures, PC structures and SRC structures. Because having much virtue, for instance high bearing capacity, fine serviceable performance, covering and over loading capability, it will have expansive application. The serviceable performance can be observably improved by putting PC technology on the SRC beams, such as rigidity and crack resistibility degree. Based on static loading experiments of seven PSRC beams with different designing coefficients, the experimental phenomena as loading process, failure pattern are studied, and the primarily influencing factors on flexural performance have been contrasted to educe conclusion for future design.
Madbam: automated tools for precision calculations of the baryon asymmetry of the universe in bsm models

The measured Baryon Asymmetry of the Universe (BAU) is a firm evidence for the existence of new physics beyond the Standard Model of particle physics (BSM). Despite of that, the offer of scientific software for the high-energy physics community currently misses dedicated tools devoted to precise baryogenesis computations in BSM models. The aim of the present proposal is to fill this gap, providing the necessary tools in order to bring the theoretical computation of the BAU into a precision era, and employing them to use the BAU as a powerful observable for the characterisation and test of physics BSM. The main deliverable will be a scientific software, MadbaM, able to precisely compute the BAU in as many BSM scenarios as possible.
MadbaM will fit in a propitious and timely framework, since preliminary results from precision neutrino oscillation experiments point towards the existence of a large violation of the matter-antimatter symmetry in the lepton sector, and the available array of high-energy and high-intensity experimental facilities offers an ideal ground to test the BSM hypothesis. The implementation of the proposal will be based on a mutual exchange of expertise between the Researcher and the Host Institution, with the Researcher profiting from the world recognised leadership of the local research group in designing and delivering software for precision computations in high-energy physics, while he will complement the local research skills bringing his own expertise on the theory and phenomenology of BSM models motivated by observations on the BAU and in neutrino physics.
Program analysis for safe and secure software evolution

Constant evolution is an inherent property of modern software systems. Software evolves to implement new features, adapt to new hardware and platforms, fix bugs and security vulnerabilities, or improve non-functional properties such as performance and energy consumption.

While these changes have an overall positive impact, they are also responsible for a large number of critical bugs and security attacks. The reason is twofold: first, software changes are not vetted enough, due to the difficulty of reasoning about all possible new behaviours that they introduce. Second, even when critical errors in deployed changes are later discovered and fixed, users take a long time to update their software to the latest version, mostly because they are concerned about the potential negative impact of an update.

The PASS project aims to tackle both problems and help software evolve safely and securely. It takes a holistic approach to the challenges of safe and secure software evolution, by combining offline program analysis to verify or comprehensively test software changes, with runtime mechanisms for keeping the software updated and secure against potentially erroneous changes that make it into the deployed system.

This is an ambitious project, which requires fundamental advances at the intersection of program analysis, software engineering, and computer systems to develop practical cross-version specifications, scalable patch verification, in-production testing and analysis, and low-overhead reversible software updates.
NON-FLUORESCENT ENERGY TRANSFER

The present invention relates generally to the transfer of non-fluorescent energy between donor and acceptor moieties. In certain embodiments, the invention provides biomolecules that include substantially non-fluorescent donor moieties. Processes involving these donor moieties typically entail reduced background fluorescence relative to applications that involve conventional fluorescent donor moieties. In addition to reaction mixtures and methods that include the use of these biomolecules, the invention also provides related kits and systems.
Hydrogen bonding phase transfer catalysis

The objective of the research described in this proposal is to develop a new mode of activation for catalysis leading to more sustainable catalytic processes using abundant feedstock materials.  By merging hydrogen bonding and phase transfer catalysis, we propose that hydrogen bonding of an insoluble unreactive anionic nucleophile with a hydrogen bond donor catalyst will form a soluble and reactive entity now capable of carbon-nucleophile bond formation with concomitant release of the hydrogen bond donor catalyst.  This activation mode is applicable to nucleophiles as simple as feedstock inorganic salts enabling challenging asymmetric bond-forming reactions in a general and predictable fashion. Inexpensive lost nucleophiles currently unusable due to poor solubility and reactivity will be reclaimed as effective reagents for asymmetric catalysis. Common inorganic salts such as sodium chloride or potassium fluoride will be transformed into high-value products such as complex pharmaceutical and agrochemical products applying operationally simple and cost effective protocols. Synergistic catalysis whereby hydrogen bonding phase transfer catalysis will work in concert with an additional catalytic cycle will be implemented to introduce new chemical transformations with these feedstock reagents, improve efficiency, and create catalytic enantioselectivity where stereocontrol is absent or challenging. This research will require the development of high performance catalysts and the understanding of catalytic mechanisms applying structural, kinetics, and computational studies. HBPTC is expected to expand the field of catalysis, and rival the efficiency of some of the most active metal, organocatalyst and biocatalyst known to date.
Streaming media transmission technology research based clustering algorithm backpressure

Currently, Large-scale network share high-quality video files bound to result the already scarce resources of wireless network communication in greater pressure . Algorithm backpressure is a control method get from control theory by Tassinlas and Ephremides. In the core network transmission system based routing scheduling scheme is reflected back pressure values. Since backpressure network load balancing algorithm can make the conclusion maximize network utilization, so choose backpressure algorithm as the basic research methods mobile streaming media transmission. Due to the nature of distributed transmission backpressure algorithm, convergence speed is slower, which to some extent, reduce the user streaming media data transmission satisfaction (Quality of Experience, QoE), to address the problem, the paper proposes a cluster-based backpressure algorithm, the algorithm can guarantee optimal network throughput at the same time, speed up the convergence of the network, streaming media data transmission to improve user satisfaction.
Decoupling Contention with Victim Row-Buffer on Multicore Memory Systems

With continued performance scaling of many cores per chip, an on-chip, off-chip memory has increasingly become a system bottleneck due to inter-thread contention. The memory access streams emerging from many cores and the simultaneously executed threads, exhibit increasingly limited locality. Large and high-density DRAMs contribute significantly to system power consumption and data over fetch. We develop a fine-grained Victim Row-Buffer (VRB) memory system to increase performance of the memory system. The VRB mechanism helps reuse the data accessed from the memory banks, avoids unnecessary data transfers, mitigates memory contentions, and thus can improve system throughput and system fairness by decoupling row-buffer contentions. Through full-system cycle-accurate simulations of many threads applications, we demonstrate that our proposed VRB technique achieves an up to 19% (8.4% on average) system-level throughput improvement, an up to 20% (7.2% on average) system fairness improvement, and it saves 6.8% of power consumption across the whole suite.
Preparation and Characterization of Activated Carbon from Tire and Biomass Char and its Applications in Liquid Phase Adsorption

Waste tyre and biomass (castor seed (CS)) char has been selected as precursor for the production of activated carbon (AC) in the present investigation. Activated carbon is prepared through chemical activation method by using potassium hydroxide (KOH) as the activating agent
in the temperature range of 300°C-700°C for an activation time of 30minutes in a tubular furnace. The effects of activation temperature on yield% and surface area of activated carbon were studied. Characterization of activated carbon by nitrogen adsorption at 77K was utilized to determine the specific surface area of these carbon samples, we observed that the surface area of
the carbon samples increases with the activation temperature and reaches to a maximum. Fourier Transform Infrared spectroscopic analysis (FTIR) was performed in order to determine the functional groups present in the activated carbon prepared. The surface morphology of the
activated carbon samples was analyzed by Scanning Electron Microscope (SEM). Activated carbons offer a potential tool for methylene blue adsorption in aqueous phase. Adsorption studies of methylene blue on the prepared activated carbons were carried out at optimum conditions. To obtain details of methylene blue on activated carbon UV-visible spectroscopic analysis was
employed at 660nm. The effect of major variables such as effect of contact time, pH, and adsorbent dosage were investigated. The adsorption equilibrium data was well explained by Langmuir and Freundlich isotherm. The adsorption capacity of methylene blue on activated
carbon prepared from tyre and biomass char was compared with the adsorption capacity of methylene blue on commercial available activated carbon and rice husk carbon. It was found that the adsorption capacity of methylene blue on commercial available activated carbon and rice husk carbon is low when compared to activated carbon derived from precursor.
O CINEMATÓGRAFO EM PELOTAS

O cinema como arte, lazer e arquitetura, sempre esteve relacionado ao processo de modernização urbana na virada dos séculos XIX para o XX. Pelotas, enriquecida pela indústria do charque, atividade econômica diretamente associada ao seu lugar geográfico, acolhia as novidades da época e atraía olhares de investidores. Nesse contexto, a importância que a arte cinematográfica alcançou na cidade se refletiu tanto na produção cinematográfica como no grande número de salas de cinema construídas na cidade. Assim, este trabalho tem como objetivo traçar uma narrativa que entende o cinema como reflexo e, ao mesmo tempo agente, da renovação na cultura urbana pelotense. Uma ampla revisão bibliográfica sobre a pioneira produção cinematográfica em Pelotas e um levantamento extensivo da concretização espacial e arquitetônica das salas de projeção no centro e bairros da cidade, permitiram traçar esse paralelo entre arte, arquitetura e território em um contexto cultural e geográfico muito peculiar.
Symmetry in computational complexity

The last 20 years of rapid development in the computational-theoretic aspects of the fixed-language Constraint Satisfaction Problems (CSPs) has been fueled by a connection between the complexity and a certain concept capturing symmetry of computational problems in this class.


My vision is that this connection will eventually evolve into the organizing principle of computational complexity and will lead to solutions of fundamental problems such as the Unique Games Conjecture or even the P-versus-NP problem.  In order to break through the current limits of this algebraic approach, I will concentrate on specific goals designed to

(A) discover suitable objects capturing symmetry that reflect the complexity in problem classes, where such an object is not known yet;

(B) make the natural ordering of symmetries coarser so that it reflects the complexity more faithfully;

(C) delineate the borderline between computationally hard and easy problems;

(D) strengthen characterizations of existing borderlines to increase their usefulness as tools for proving hardness and designing efficient algorithm; and

(E) design efficient algorithms based on direct and indirect uses of symmetries.

The specific goals concern the fixed-language CSP over finite relational structures and its generalizations to infinite domains (iCSP) and weighted relations (vCSP), in which the algebraic theory is highly developed and the limitations are clearly visible. 

The approach is based on joining the forces of the universal algebraic methods in finite domains, model-theoretical and topological methods in the iCSP, and analytical and probabilistic methods in the vCSP. The starting point is to generalize and improve the Absorption Theory from finite domains.
Hydrodynamic vortices and their gravity duals

In this talk we review analytical and numerical studies of hydrodynamic vortices in conformal fluids and their gravity duals. We present two conclusions. First, (3+1)-dimensional turbulence is within the range of validity of the AdS/hydrodynamics correspondence. Second, the local equilibrium of the fluid is equivalent to the ultralocality of the holographic correspondence, in the sense that the bulk data at a given point is determined, to any given precision, by the boundary data at a single point together with a fixed number of derivatives. With this criterion we see that the cores of hot and slow (3+1)-dimensional conformal generalizations of Burgers vortices are everywhere in local equilibrium and their gravity duals are thus easily found. On the other hand local equilibrium breaks down in the core of singular (2+1)-dimensional vortices, but the holographic correspondence with Einstein gravity may be used to define the boundary field theory in the region in which the hydrodynamic description fails.
Holographic acoustic assembly and manipulation

Acoustic waves exert forces when they interact with matter. Sound, and in particular ultrasound, which has a wavelength of a few hundred microns in water, is a benign and versatile tool, that has been successfully used to manipulate, trap and levitate microparticles and cells. The acoustic contrast between the material and the medium, and the spatial variation of the ultrasound field determine the interaction. Resonators and arrays of a few hundred transducers have thus far been used to generate the sound fields, but the former only yields highly symmetrical pressure patterns, and the latter cannot be scaled to achieve complex fields. 

Our radically new approach uses a finely contoured 3D printed acoustic hologram to generate pressure fields with orders of magnitude higher complexity than what has been possible to date. The acoustic hologram technology is a route towards truly sophisticated and 3D sound fields. This project will research the necessary computational and experimental tools to generate designed 3D ultrasound fields. We will investigate ways to use acoustic holograms for rapid manufacturing, the controlled manipulation of microrobots, and the assembly of cells. The 3D pressure fields promise the assembly and fabrication of an entire 3D object in “one shot”, something that has not been realized to date. We will also study the formation of 3D cellular assemblies, and more realistic 3D tumour models. This project will develop the technology, materials, processes, and understanding needed for the generation and use of sophisticated 3D ultrasound fields, which opens up entirely new possibilities in physical acoustics and the manipulation of matter with sound.
Augmented intelligence for logistics

Logistics assets like shipping containers are expensive to store and expensive to move, yet 1 in 3 of them is moved empty, costing €18B/yr. This leads to increased CO2 emissions and lower margins for logistics companies. The underlying problem is knowing day-to-day cargo demand and predicting how it might vary based on holidays, weather, seasons, market fluctuations, and more.
Our expertise is predictive analytics for logistics. Global consulting firm Roland Berger places us in the fast-growing ""Booking & Optimization Platforms"" sector. Our competitive advantages include an advanced AI-based data cleansing stage which lets us use real-world low-quality data.
Our tools help cargo companies to increase their operational efficiency, cut carbon, and reduce costs through
1) demand forecasting (based on historical data and external factors) and 
2) predictive asset use optimization (shipping containers, railcars, trucks, etc).
Our first-generation product, NetMetrics for large companies, required manual installation and hand-tuning. Pilot customer DPDgroup recorded a 14% increase in capacity utilization. 9% fewer trucks were on the road, as per new EU CO2, NO2 and particulates emissions reduction targets.
After a successful Phase 1 application, our feasibility study showed need for this EIC Transmetrics project for midsize clients:
•	Develop predictive asset management functionality 
•	Aggregate logistics data of multiple companies to bring the statistical certainty of large numbers to forecasts for our mid-sized clients. 
•	Aggregate relevant external databases to improve forecasting 
•	Simplify the adoption of our system with try-before-you-buy ease, for quick scaling
•	Productize data-cleansing stage to allow faster sales cycle and scale-up
Transmetrics, our next-generation product, will bring similar efficiency improvements to mid-sized logistics companies, which account for 30% of the transport industry.
We plan to reach €+32M revenues by 2024.