SIRIS-Lab/unlabelled-sti-corpus huggingface dataset:
Reforming metaphorical theology?:a critical assessment of the works of Sallie McFague in the light of her respondents

McFague’s contributions to theology span over 40 years. Does her
theological project, which aims to reform the Christian tradition, retain the
coherence and consistency needed to fulfil this aim today?
Surprisingly, McFague's body of work remains coherent, consistent and
viable after many years of debate in relation to her own aims and methods
and the responses of critics. However her theology can, in places, be
strengthened in meeting its aim by an integration of more recent research or
the work of her respondents.
Developments in her thought over time remain generally consistent with
her earlier work. Analysis of the basic categories of her thought shows a
unity of form and content and an underlying conceptual unity. The models
McFague advances are consistent as expressions of her stated method and
aims. They perform the tasks set for them, if not always by the means she
describes. Again the importance of the conceptual level proves greater than
McFague allows.
The coherence and consistency of the greater part of her work is weaker in
its interaction with the Christian tradition. Her position on this has changed
most over time. Work remains to be done on integrating her models with
traditional ones. Despite her own judgements, this integration is desirable
to maximise the reform of that tradition as she wishes and for her theology
most naturally to be seen as reforming rather than revolutionary.
But overall, McFague's work makes a valuable contribution to
contemporary theology. She expounds coherent, original metaphorical
models addressing contemporary concerns and a coherent theoretical
framework that has largely withstood the scrutiny of respondents and
developments in her field. Within this framework models may be created
and assessed in creative tension with Christian tradition. However this
relationship with the tradition remains to be deepened, strengthened and
clarified by future research.
Technology transfer between modern algorithmic paradigms

The two most recognized algorithmic paradigms of dealing with NP-hard problems in theoretical computer science nowadays are approximation algorithms and fixed parameter tractability (FPT). Despite the fact that both fields are by now developed, they have grown mostly on their own. In our opinion the two fields have critical mass allowing for synergy effects to appear when using techniques from one area to obtain results in the other, which is the main theme of the project.
Furthermore, practical effectiveness of randomized local search heuristics is a not yet understood phenomenon. We believe that substantial increase of our understanding of superpolynomial running times in recent years should allow for rigorous proofs of parameterized and approximation results obtained by those methods.
Based on our experience with parameterized complexity and approximation algorithms we propose three research directions with potential of solving major long-standing open problems in both areas with the following objectives.
(a) Transfer from Approximation to FPT: use the PCP theorem to prove lower bounds for exact parameterized algorithms under the Exponential Time Hypothesis and take advantage of extended formulations in FPT branching algorithms.
(b) Transfer from FPT to Approximation: utilize parameterized algorithms tools in local-search-based approximation algorithms and explore the potential of proving new inapproximability results based on the Exponential Time Hypothesis.
(c) Rigorous Analysis of Practical Heuristics: unravel the practical effectiveness of randomized local search heuristics by proving their parameterized and approximation properties, when given subexponential or even moderately exponential running time.
Our objectives lie in the frontier of fixed parameter tractability and approximation areas. Complete resolution of our goals would dramatically change our understanding of both areas, with further consequences in other disciplines within computer science.
ShARed GOvernance of Sustainable fisheries and aquaculture activities as leverage to protect marine resources in the Adriatic Sea

The general objective of ARGOS is to promote and apply a common integrated approach in the protection of marine resources and in the preservation of good environmental status of Adriatic sea, built upon both institutional and operative actions oriented to reduce directly and indirectly the human pressure by fisheries and aquaculture activities on marine habitats and species. Institutional actions provide a shared approach to common topics concerning the sustainable management of fisheries and aquaculture activities; operative actions provide the definition and the testing of shared protocols and schemes for the reduction of fish-related pressures on marine environment, in accordance with Programme and Strategic Theme Concepts. Such an integrated approach is based on the best available scientific advice as well as by operative stakeholders' for the application of common direct measures to increase the environmental and economic sustainability of fisheries and aquaculture activities. ARGOS sets up a common framework for governance where all Institutions competent for fisheries and aquaculture in the Programme area act as a whole in the management and protection of shared biological resources, under the best scientific guidance.
Sustainable integrated micro-algae culturing system (sustain-algae)

Truly high profits wait for those that take algae culture to the next level. This has been known to the food and animal-feed industry for some time, as bio-mass produced by microalgae is both immensely valued and highly priced. Bioactive compound of the micro-algae in question is 5 % of the algae mass and the price is 10.000€/kg. The remaining 95% are high quality proteins and lipids used for fish feed and later for food. 
These highly valued and priced algae-based compounds are however a scarcity in today’s markets due to technical obstacles in algae farming as today’s reactors only enables harvest in areas where outdoor culture of microalgae is feasible.
The innovation in question offers a solution to this obstacle namely a tank based photo-bio reactor which has the potential to address the economical and social challenge of feeding the ever growing world population. The solution is highly productivity LED reactors for mass culture of microalgae. Presently being scaled up from 1000L to 5000L.  The reactor enhances harvest/m2 by 400%, harvest by Kw hr. by 100%, lowers production cost by 30% and lowers capital cost by 20% and decreases losses in production from 30-50% down to 5%.  
A pilot version of innovation has already yielded a “cash cow” for the applicant, based on the highly price valued 5% concentration of astaxanthin - the compound that makes salmon red. The compound will be sold as capsules in late 2017 to an Italian pharmaceutical corporation dedicated to creating novel medicines for the unmet needs of patients with rare diseases. The market’s demand proves what enormous potential that the photo-bio reactor has for food and animal-feed farming in Europe as well as for the pharmaceutical industry.
Real-time resource location data collection and visualization technology for construction safety and activity monitoring applications

Abstract Data to field operations of construction resources (personnel, equipment, materials) is vast, but the effort of collecting, analyzing, and visualizing is hardly ever taken. One main reason that limits higher quality in project site management decision making especially in resource intensive and complex operations is access to real-time information and subsequent technology that enables effortless data collection, processing, and visualization. Although recent developments in remote data sensing and intelligent data processing supplement manual data recording and analyze practices, few data on visualization tools in construction exist that gather data from dynamic resources and stream it to a field-realistic virtual reality environment in real-time. State-of-the-art technology in the field of real-time data collection and visualization is reviewed. A novel framework is presented that explains the method of streaming data from real-time positioning sensors to a real-time data visualization platform. Three case studies are presented which highlight its methods for recording data and visualizing information of construction activities in a (1) simulated virtual construction site, (2) outdoor construction setting, and (3) worker training environment. The results demonstrate that important construction information related to both safety and activity in field operations can be automatically monitored and visualized in real-time, thus offering benefits such as increased situational awareness to workers, equipment operators, or decision makers anywhere on a construction project or from a remote location.
High tech inliner for iso tank containers

The global tank container fleet has grown almost 50% from 2013, reaching 508,000 units by the end of 2016 since bulk shipping made possible is much more efficient compared to traditional transport methods. Thus, ISO tank containers have developed for intermodal carriage of bulk liquids ranging from non-hazardous to hazardous liquids, eliminating the risk of spillages through transferring liquids from one vessel to another providing an extremely safe, secure, and versatile mode of transportation. Nevertheless, nowadays the intensive use of ISO tank containers is constrained by the need of cleaning after each use to be ready for its next load. This task coupled with the insufficient number of cleaning stations entails higher direct costs (€250-1200/cleaning) but also indirect ones since the containers are stocked several days limiting their availability. These lead towards logistic inefficiencies, such as empty return journeys due to prior cargo constraints. Moreover, the lifetime of ISO tank containers, is highly dependent on the cargo being shipped and frequency of cleaning. On the other hand, flexitanks-an alternative solution-poses serious concerns regarding the possibility of spillages, unused space and their installation is expensive. Mega-Inliner® aims to revolutionize the bulk liquid transportation industry by introducing the first one-use high-tech Inliner for ISO tank containers designed for intermodal transport. Removing the need for cleaning the tank after discharge, it eliminates all the concerns associated with the use of ISO tank containers. Thus, a huge optimization of logistics is realized allowing for transport costs reductions of 20-75% depending on type of current packaging used, liquid cargo and volume transported. Having set brewery sector as our initial target market, we are currently running operational test of our prototype with water and beer cargos in ISO tank containers which has demonstrated our technology in a relevant environment.
Battery 2030+ large-scale research initiative: at the heart of a connected green society

Batteries are one key technology enabling a climate-neutral Europe by 2050. A pan-European research and innovation action is necessary to tackle the challenges preventing batteries to reach ultrahigh performance and to rapidly find new sustainable battery materials. The BATTERY 2030+ large-scale research initiative aims to invent the batteries of the future by providing breakthrough technologies to the European battery industry throughout the value chain and enable long-term European leadership in both existing markets (road transport, stationary energy storage), and future emerging applications (robotics, aerospace, medical devices, internet of things). This application for a Coordination and Support Action, with the acronym BATTERY 2030PLUS, will lead to the continued development of the BATTERY 2030+ large-scale research initiative. It kick-starts a European long-term research initiative on batteries. The main objectives are to develop the BATTERY 2030+ R&I roadmap and facilitate its implementation by coordinating and monitoring the consortia winning the calls LC-BAT-12, 13, 14 -2020. In addition, this consortium will in collaboration with the LC-BAT projects, propose guidelines for data sharing, standardization of protocols, and modelling methods/tools. The consortium will also prepare a common strategy for the protection and commercial exploitation of the results, as well as building competence by new European curricula and facilitate the communication, dialogue, and cooperation on cross-cutting topics. Together with the ETIP Batteries Europe the consortium will develop the SET-Plan for batteries and establish links to national and international battery stakeholder networks. The consortium gathers 20 leading European universities and research institutes (UU, Aalto, AIT, CEA, CIC Energigune, CIDETEC, CNRS/CDF, DTU, EMPA, ENEA, FRAUNHOFER, FZJ, KIT, WWU/MEET, NIC, POLITO, SINTEF, TU Delft, VUB, and WTU) and three industry-led associations (EASE, EMIRI, and Recharge).
Mantis is a cloud-based intelligent traffic solution built around a unique algorithm which forecasts traffic evolution saving costs and reducing emissions

Anyone who has ever been stuck in a traffic jam knows the frustration of sitting still in a car on the road and waiting. For road users in metropolitan areas of Germany, France, UK and USA, according to a European study conducted in 2014, this happens on average 36 hours every year. Traffic congestion costs society billions of dollars every year in the form of fuel costs, lost productivity and impact on the environment and public health. In Europe alone, the annual price tag for congestions is €200 billion, which is approximately 2% of total GDP. The Cebr estimates that, every year, vehicle idling releases 15,434 kilotons of CO2 equivalent into the atmosphere across the UK, France, Germany and the US alone. Navigation systems (Google Maps, Waze, TomTom and others) reroute users after congestion is formed, observed and reported. By then, the information cannot meaningfully impact the gridlock. Their rerouting efforts, on the other hand, cause additional congestion on the suggested alternative routes. Mantis is a cloud-based Intelligent Traffic Solution built around a unique algorithm which forecasts traffic evolution using scalable parallelization. Analysing historical and real-time data, the Mantis application predicts future traffic congestion 30 minutes before they even happen. The algorithm relies on stochastic processes which, among other things, are responsible for modelling chaotic systems such as the stock market and the weather. Mantis is poised to disrupt the automotive navigation system market estimated to be valued at €22.6 billion in 2025.
Intelligent live cell analysis [ilca] to transform disease management through faster, and more regulatory robust, discovery, manufacture and monitoring of biologic drugs & cell therapies

The detailed analysis of live cells, as shed elements of a human disease process, cell therapies themselves or as factories for the production of biologic drugs, is attracting intense focus globally from diverse companies in automation, imaging, diagnostics and manufacturing. This proposal is made on behalf of a consortium of 3 European SME’s to support the validation and preparation for commercial take-up of the market entry application, Cell Line Development [CLD], of a new transformative technology at the forefront of these areas and is ideally suited for cell line development, antibody discovery, gene editing, cell therapy, antibody engineering and ex-vivo diagnostic workflows. Each workflow provides a dramatic increase in insight, control, speed and cost, ultimately resulting in faster, cheaper and more regulatory robust medicines for European patients.   Biologic drugs are large in size and are manufactured from a single cell selected following an expensive, relatively crude and time consuming process - Cell Line Development. Our technology can select the 'Top' cell using a detailed analysis of the critical quality attributes along with providing complete image recording and documentation of the growth from a single cell [regulatory requirement]. This cell selection and control is essential as all resulting master and working cell banks are used over the entire life‐cycle of the marketed product that can last multiple decades.   This FTI funding will enable market entry and validation & support external fundraising for the wider penetration of the global drug discovery, Cell therapy & ex-vivo diagnostic markets. This is a potentially transformative technology platform in a very large market with 1 current aggressively funded US competitor and our success will ensure competition, continued innovation and most importantly cheaper medicines for European patients.
Microstructural evolution and microhardness change of Al–7wt%Si–0.3wt%Mg alloy granules/powder particles during high energy ball milling

Abstract Al–7wt%Si–0.3wt%Mg alloy granules produced by mechanical crushing of machining chips were subjected to high energy ball milling. It was found that ball milling significantly reduced the sizes of eutectic Si particles from micrometer level to submicrometer level, changed their morphology from being faceted into being rounded, and caused formation of stacking faults in them. Ball milling also resulted in a drastic change of the Al(Si,Mg) matrix by increasing its Si content from 0.16 to 1.81 at%, and reducing its average grain size to 45 nm. These microstructural changes of the powder particles lead to a dramatic increase of the microhardness of the powder particles to 187 HV, which is more than twice that of the original granules. Analysis of the contributions of various strengthening mechanisms shows that the major contribution to the microhardness increase comes from grain refinement.
Minimizing weighted waiting time variance on a single processor

This paper considers the problem of scheduling n non-preemptive jobs on a single processor. Each job may have different size and weight. The objective is to minimize the weighted waiting time variance (WWTV). It is shown that the proof of one previous established optimality property in the literature, called ''agreeably weighted property'', is wrong and the corrected proof is presented. Additional optimality properties are proved for the cases where job sizes are directly or inversely proportional to their weights, respectively. In addition, we show that the objective function of the problem can be expressed as a function of positional weights and processing times. With this new functional form, the proofs of several previously established optimality properties in the literature become rather straightforward.
Research on Functional Similarity and Structural Similarity of Mechanical Components

The similarity theory is in essence a method based on equation expression. In the application, the model is regarded to be similar to the prototype only if the similarity theorem can be met. But different physical objects have the same equation expression, so the model is always not similar to the prototype. To solve this problem, a new method which studies the similarity of mechanical components from the perspective of function and structure is put forward in this paper, based on the similarity theory and the ‘black box’ concept. The functional similarity criteria and structural similarity criteria derived from this method can accurately describe the similar properties of mechanical components under different similar requirements and can be used to set up the experimental model. Finally, a series of basic mechanical components are taken for example to verify the feasibility and superiority of this method. The method put forward in this paper can be applied to model test design and engineering test, etc. under different similar requirements.
BUCKET CONVEYOR CHAIN WITH LABYRINTH SEALS

The present invention relates to a bucket conveyor chain for transporting goods, wherein the bucket conveyor chain (1) comprises a pair of inner link plates (3) and a pair of outer link plates (4), one following another in the longitudinal direction (2). Each respective pair of link plates (3, 4) is rotatably connected together by means of a transverse pin (8) and the transverse pin (8) is coupled with the inner link plates (3) by a sleeve (7) and the sleeve (7) extends over the transverse bolt (8) between the outer link plates (4). Angle plates (5) are additionally coupled to the bucket conveyor chain (1). The bucket conveyor chain (1) is characterized in that bushes (10) are arranged on the ends of the transverse pin (8), each individual outer link plate (4) is positionally fixed on the transverse pin (8) by means of a press fit and a respective labyrinth seal system (13, 22) is formed between the bush (10) and the outer link plate (4) and between the outer link plate (4) and the inner link plate (3) by the interlocking engagement of the components.
Biocrete – bio-inspired bacteria-based stress-responsive concrete.

The proposed project aims to develop biocrete a bio-inspired stress-responsive concrete. Biocrete will be realized through the cross-pollination of the fields of: bacteria-based self-healing concrete; and bio-inspired organic-inorganic materials synthesis. This cross-pollination will see bacteria incorporated in hydrogel systems for the formation of novel bio-inspired bacteria-activated organic-inorganic composite materials, or bio-composite materials for short. In order to develop these bio-composite materials technologies the applicant will receive advanced training in organic-inorganic materials synthesis, with a focus on calcium carbonate precipitation in polymer hydrogels. He will also master state-of-the-art organic-inorganic materials analysis techniques including serial sectioning by cryo-focused ion beam milling (cryo-FIB), and ultimately by cryo-scanning transmission electron microscopy (cryo-STEM). Such techniques will provide insights on the formation of the bio-composite materials, which will be key in ultimately controlling their morphology and mechanical properties. Biocrete will be born through the incorporation of these bio-composite materials technologies into concrete materials. Biocrete will be tested for its crack sealing and mechanical performance. It is envisaged biocrete have a superior crack healing action over conventional concrete materials, resulting in better functional performance and more durable concrete construction.

In preparation for independent research after the project the applicant will also be able to build transferable skills including leadership, mentoring, teaching and grant writing and valorization. The knowledge and skill development gained during the project coupled with the development of a new and exciting research field would be a firm step on the way to the applicant heading his own research group working on the development of ‘Bio-inspired building and construction materials’ at a top European university.
Evaluation of hybridizing talc and surface-treated kaolin on the properties of PP hybrid composites

In this article, the effects of kaolin surface treatment on mechanical, morphological, and thermal behavior of PP/talc/ kaolin hybrid composites with different filler ratio were studied. Kaolin was pre-treated with QAC and SHMP, in order to eradicate the attraction of kaolin interparticle forces. It was found that both types of treatments enhanced the toughness of the composite remarkably. Although the tensile and flexural strength of the treated composites reduced with increasing amount of kaolin, it was still acceptably higher than the untreated composite. The enhancement of flexural modulus of the treated composites was attributed to the improvement of filler dispersion as observed by SEM results. In the light of the results achieved, the QAC proved to be more effective as dispersant for kaolin filler. This finding was further confirmed by thermal analysis and MFI study which shows that the properties of QAC-treated kaolin composites were comparable to the properties of talc-filled PP composite.