SIRIS-Lab/unlabelled-sti-corpus huggingface dataset:
Translation and validation of a tool to assess the impact of clinical pharmacists’ interventions

Background The tool CLEO in French language is designed for estimating the potential relevance of pharmacists' interventions (PIs) in three independent dimensions with regard to process-related, clinical, economic, and humanistic impact. Objective We aimed to translate CLEO into German (CLEOde), to demonstrate its feasibility in daily practice, and to validate the German version. Setting Convenience sample of three Swiss hospitals with established clinical pharmacy services. Method We translated CLEO according to the ISPOR Principles of Good Practice. The potential relevance of PIs performed within a 13-day period of routine clinical pharmacy services was then estimated with CLEOde. Ten clinical pharmacists experienced with CLEOde subsequently completed a 19-item questionnaire to assess user's agreement on appropriateness, acceptability, feasibility, and precision of the tool. Additionally, each pharmacist evaluated 10 model cases with CLEOde. Main outcome measure User satisfaction; interrater reliability and test-retest reliability. Results CLEOde was used to estimate the potential relevance of 324 PIs. The reported time needed to complete a single estimation was less than 1 min. The use of CLEOde was seen as appropriate, acceptable, feasible, and precise. Interrater reliability was good for the clinical and economic dimensions and was poor for the organisational dimension; test-retest correlation was strong for all three dimensions with excellent to fair reliability. Conclusion We present CLEOde as a validated tool in German language suitable to estimate the potential relevance of PIs. After further refinement of the organisational dimension, CLEOde could provide a qualitative value to quantitative information on PIs.
Artificial intelligence for large-scale computer-assisted reasoning

The goal of the AI4REASON project is a breakthrough in what is considered a very hard problem in AI and automation of reasoning, namely the problem of automatically proving theorems in large and complex theories. Such complex formal theories arise in projects aimed at verification of today's advanced mathematics such as the Formal Proof of the Kepler Conjecture (Flyspeck), verification of software and hardware designs such as the seL4 operating system kernel, and verification of other advanced systems and technologies on which today's information society critically depends.

It seems extremely complex and unlikely to design an explicitly programmed solution to the problem. However, we have recently demonstrated that the performance of existing approaches can be multiplied by data-driven AI methods that learn reasoning guidance from large proof corpora. The breakthrough will be achieved by developing such novel AI methods. First, we will devise suitable Automated Reasoning and Machine Learning methods that learn reasoning knowledge and steer the reasoning processes at various levels of granularity. Second, we will combine them into autonomous self-improving AI systems that interleave deduction and learning in positive feedback loops. Third, we will develop approaches that aggregate reasoning knowledge across many formal, semi-formal and informal corpora and deploy the methods as strong automation services for the formal proof community.

The expected outcome is our ability to prove automatically at least 50% more theorems in high-assurance projects such as Flyspeck and seL4, bringing a major breakthrough in formal reasoning and verification. As an AI effort, the project offers a unique path to large-scale semantic AI. The formal corpora concentrate centuries of deep human thinking in a computer-understandable form on which deductive and inductive AI can be combined and co-evolved, providing new insights into how humans do mathematics and science.
The Internet is not the answer

Since its creation during the Cold War, the Internet, together with the Web, personal computers, tablets and smartphones, has ushered in one of the greatest shifts in society since the Industrial Revolution. The Digital Revolution has contributed to the world in many positive ways, but we are less aware of the Internets deeply negative effects.The Internet Is Not the Answer, by longtime Internet skeptic Andrew Keen, offers a comprehensive look at what the Internet is doing to our lives. The book traces the technological and economic history of the Internet, from its founding in the 1960s through the rise of big data companies to the increasing attempts to monetize almost every human activity. In this sharp, witty narrative, informed by the work of other writers, reporters, and academics, as well as his own research and interviews, Keen shows us the tech world, warts and all.Startling and important, The Internet Is Not the Answer is a big-picture look at what the Internet is doing to our society and an investigation of what we can do to try to make sure the decisions we are making about the reconfiguring of our world do not lead to unpleasant, unforeseen aftershocks.
Impact of invasive alien true bug species in native tropich webs

Insects can be accidentally introduced into non-native ecosystems by humans, or expand their geographical range toward the poles as a consequence of global warming. As they invade new environments, exotic species interact with local species, modifying the structure of local food webs. New associations arising from with biological invasions can impact the strength of existing links with effects cascading through trophic levels. When invasive species are herbivores that can attack economically important crops, they can cause serious economic losses. For example, recent invasion of the brown marmorated stink bug (BMSB) (Halyomorpha halys) in Europe and North America has the potential to interfere with local trophic webs and poses a serious threat to several agro-ecosystems. 
In this project, we will adopt a multidisciplinary approach to study the ecological consequences of BMSB invasions. In particular, we will focus on the effect of alien herbivore invasion on local natural enemies using the following work packages: 1) the impact of exotic herbivores on infochemical communication between plants, herbivores and natural enemies; 2) Learned responses of parasitoids to infochemical evolutionary traps in a climate change context; 3) Contest behaviour of local egg parasitoids for possession of co-evolved and non-coevolved hosts; 4) Patch time allocation of local egg parasitoids after alien herbivore invasion: behavioural and modelling approaches; 5) Molecular aspects of indirect plant defences against invasive and local species 6) Genetic structure of invasive alien herbivores across Europe and North America
The proposed research will be of great relevance for the RISE call as it will be an unparalleled opportunity for complementary European and Canadian research groups to join forces, resulting in the development of lasting research collaborations, the transfer of knowledge between research institutions and improving research potential at the European and global levels.
Profiting from eco-innovation: the role of business model

ECO_REBUS aims to get a closer understanding of the process through which firms adopt and operate public voluntary eco-innovation policies, a kind of policy that has become increasingly central in policy makers’ agenda. To achieve this objective, the project assigns a specific role to the concept of business model, defined as the configuration of customer sensing, customer engagement, value delivery and monetization components, that captures causal links between value creation and value capture at the business level. Specifically, the project will integrate the literature on eco-innovation and the one on business model to address how and why business model can make eco-innovation a central part of the firm’s value creation and appropriation. To do this, ECO_REBUS will investigate -by a cognitive and processual perspective- the phases through which public voluntary eco-innovation policies are adopted and operated by firms.
To do this, first, the researcher will carry out both a literature review at the intersection of eco-innovation policy and business models, and also a review of business model change. 
Secondly, interviews with top managers team members will be carried out with a cognitive approach to explore how they evaluate the potential impacts of future eco-innovation adoption by the lens of business model. 
Third, a comparative case study on firms and multiple business units will enable to explore the processual aspects aiming to understand  how and why changing the business model might help firms successfully face the challenge of eco-innovation policy adoption, and get positive economic gains.
Some original and innovative aspects characterize ECO_REBUS. Among others, its processual and cognitive contribution showing how and why some firms profit being green; its multiple level of analysis, and its inter-disciplinary contribution by integrating knowledge from the field of environmental management and the field of business model research.
Hypopharyngeal Gland Activity in Task-Specific Workers Under Brood and Broodless Conditions in Apis Cerana Indica (Fab.)

Abstract The hypopharyngeal gland (HPG) is the principal organ of protein synthesis in honey bees. It is involved in larval rearing. We examined the fresh head weight, HPG acini diameter, and HPG protein content in worker bees engaged in different tasks and under brood and broodless conditions. Scanning electron microscopy revealed that the HPG acini diameter of worker bees was related to their task. The highest HPG volume was found in nurse bees, and the volume regressed when the task changed from guarding to foraging. The fresh head weight was positively correlated with HPG acini diameter. Although, there was no positive correlation between HPG acini diameter and protein concentration, the glandular protein concentration increased progressively in nurse bees and declined in guard and forager bees. Histochemistry revealed similar results. Despite displaying significantly larger glands, guard bee protein secretion was similar to that of the foragers. Brooding had a significant effect on HPG activity. Only worker bees from the colony with an intact brood showed elevated rates of protein synthesis; thus, it is possible that a signal was emitted by the brood, which stimulated protein synthesis in the HPG. However, the size of the HPG was similar in both brood and broodless conditions.
Piled Raft Structure Finite Element Analysis of Composite Foundation Settlement in Da XI Passenger Dedicated Line

Composite foundation settlement of piled raft structure in Da Xi passenger dedicated line is analyzed by the large finite element software MIDAS/GTS and established calculation model of foundation treatment. The problem of pile-soil contact is highlighted in the trail and analyzes the settlement nephogram and pile-soil stress nephogram. On this basis the foundation settlement factors was analyzed systematically that focus on the elastic modulus of pile, pile spacing, pile diameter and pile length in foundation treatment, especially for the characteristics parameters of contact element. Result shows that increasing the pile modulus, pile diameter, pile length and decreasing the pile spacing is all conducive to reducing settlement. The best advice is got that the pile diameter should be not more than 0.5m, pile length not more than 27m and the pile spacing be around 2m.
Chinese Megachurch Persecution: Application of an Indigenous Resource Framework

Despite increased religious tolerance in China over the past few decades, persecution of Christians persists. Small churches or Christians who clandestinely meet in small groups may avoid a certain degree of conflict; few studies consider how their larger, less conspicuous counterparts fare. An indigenous resource framework and content analysis of interview, secondary, and participant observation data inform this study of megachurch conflict in mainland China and whether responses follow patterns similar to those used by Black Christian-based activists in the United States during periods of persecution. Findings evidence use of a strategic fusion of indigenous resources common before and during the Civil Rights Movement such as non-violent activism, charisma, and prayer, but adapted to the specific politico-religious environment in China to combat persecution, engender social justice, as well as rally local and international support.
DLP based anti-piracy display system

Camcorder piracy has great impact on the movie industry. Although there are many methods to prevent recording in theatre, no recognized technology satisfies the need of defeating camcorder piracy as well as having no effect on the audience. This paper presents a new projector display technique to defeat camcorder piracy in the theatre using a new paradigm of information display technology, called temporal psychovisual modulation (TPVM). TPVM exploits the difference in image formation mechanisms of human eyes and imaging sensors. The images formed in human vision is continuous integration of the light field while discrete sampling is used in digital video acquisition which has blackout period in each sampling cycle. Based on this difference, we can decompose a movie into a set of display frames and broadcast them out at high speed so that the audience can not notice any disturbance, while the video frames captured by camcorder will contain highly objectionable artifacts. The proposed prototype system built on the platform of DLP® LightCrafter 4500™ serves as a proof-of-concept of anti-piracy system.
FIRE-RESISTING GLASS

The present invention relates to a fire-resisting glass (10) comprising a first laminated glass pane made of two float-glass panes (20) connected by means of an intermediate organic layer (30), a second laminated glass pane made of two float-glass panes (20) connected by means of an intermediate organic layer (30), an airtight clearance (40) between the two laminated glass panes which is evacuated or filled with a gas, wherein a thermal insulation layer (50) is provided on at least one of the sides (2, 3, 4, 5, 6, 7) of the float-glass panes (20) facing the intermediate organic layer (30) or the clearance (40). The thermal insulation layer (50) is preferably provided on the two sides (4, 5) of the laminated glass panes facing the clearance (40).
A Self-Adaptive Heuristic Algorithm for Combinatorial Optimization Problems

AbstractThis paper introduces a new self-tuning mechanism to the local search heuristic for solving of combinatorial optimization problems. Parameter tuning of heuristics makes them difficult to apply, as parameter tuning itself is an optimization problem. For this purpose, a modified local search algorithm free from parameter tuning, called Self-Adaptive Local Search (SALS), is proposed for obtaining qualified solutions to combinatorial problems within reasonable amount of computer times. SALS is applied to several combinatorial optimization problems, namely, classical vehicle routing, permutation flow-shop scheduling, quadratic assignment, and topological design of networks. It is observed that self-adaptive structure of SALS provides implementation simplicity and flexibility to the considered combinatorial optimization problems. Detailed computational studies confirm the performance of SALS on the suit of test problems for each considered problem type especially in terms of solution quality.
Reliable om decision tools and strategies for high lcoe reduction on offshore wind

Emerging technologies as Offshore Wind Energy, demand new advanced solutions for reducing Operation & Maintenance (O&M) costs, as well as for performing the reliability and extended life-time of wind turbines (WT) and farms (WF).
In this sense, ROMEO is a 5 years project whose main objective is to develop and demonstrate an O&M information management and analytics platform capable of improving the decision making processes of offshore WF operators allowing the transition from calendar base maintenance to condition-based maintenance strategies reducing significantly O&M costs. Thus, a flexible and interoperable IoT platform will provide an advanced analytics ecosystem to better understand the real time behaviour of the main components of the WTs under operation conditions; maximizing their life-time and reducing the need for maintenance, thus minimizing the OPEX which drastically impact on LCoE of offshore Wind Energy.
The project has been structured in three phases:
1st phase “specifications” will pave the way for other phases, defining the specifications and requirements in order to develop a health monitoring strategy for the most relevant and critical components to be further considered.
-nd phase “models/tools/database” will be devoted to the development of health monitoring systems, diagnosis and prognosis tools for failure detection both at WTG components and support structures level, feeding the development of a data acquisition and advanced analytics ecosystem.
3rd phase “O&M/rollout” will develop and deploy an O&M platform to be validated in three pilot scenarios, data that will serve as input for impact assessment with a special focus on LCoE and replicability.
ROMEO consortium is formed by a well-balanced set of experts (12 entities from 7 countries) representing the whole offshore value chain (from WT components manufacturers and service providers through to WF operators) together with IT market leaders, thus ensuring that results will reach the market.
Mathematics in context

An important part of the role of a mathematics teacher is to present mathematics in a situated way, allowing pupils to 'work on open and closed tasks in a variety of real and abstract contexts that allow them to select the mathematics to use' (QCA, 2007a: 147). Whether you use a context-based question from a textbook, engage in an investigation that lasts for a whole lesson or are asked to deliver a set of 'functional' or 'cross-curricular' lessons, you will frequently find yourself linking concepts and methods from the mathematics curriculum to the 'real world'. Taking this approach to teaching mathematics yields a number of benefits for both the teacher and the learner: it can help pupils to construct their own understanding, promote memory, increase motivation and give a partial answer to the ever-present question of 'Why do we have to do this?i?½ 

'The reason for pupils' difficulty is explained not in terms of the conceptual complexity of the subject matter, but in terms of its apparent irrelevance and/or the teacher's inability to present it in a coherent, meaningful way.' (Quilter and Harper, 1988: 127) 

However, not all contexts are equally useful or even equally valid for use in the mathematics classroom. There are important philosophical and pedagogical issues that influence how you choose contexts and how pupils come to learn the mathematics embedded within them. This chapter will explore some of those issues and offer you ideas about how you might organise your teaching, so that you can present mathematics in context for the benefit of your pupils.
Surface ocean iron fertilization: The role of airborne volcanic ash from subduction zone and hot spot volcanoes and related iron fluxes into the Pacific Ocean

Surface ocean iron (Fe) fertilization can affect the marine primary productivity (MPP), thereby impacting on CO2 exchanges at the atmosphere-ocean interface and eventually on climate. Mineral (aeolian or desert) dust is known to be a major atmospheric source for the surface ocean biogeochemical iron cycle, but the significance of volcanic ash is poorly constrained. We present the results of geochemical experiments aimed at determining the rapid release of Fe upon contact of pristine volcanic ash with seawater, mimicking their dry deposition into the surface ocean. Our data show that volcanic ash from both subduction zone and hot spot volcanoes (n = 44 samples) rapidly mobilized significant amounts of soluble Fe into seawater (35–340 nmol/g ash), with a suggested global mean of 200 ± 50 nmol Fe/g ash. These values are comparable to the range for desert dust in experiments at seawater pH (10–125 nmol Fe/g dust) presented in the literature (Guieu et al., 1996; Spokes et al., 1996). Combining our new Fe release data with the calculated ash flux from a selected major eruption into the ocean as a case study demonstrates that single volcanic eruptions have the potential to significantly increase the surface ocean Fe concentration within an ash fallout area. We also constrain the long-term (millennial-scale) airborne volcanic ash and mineral dust Fe flux into the Pacific Ocean by merging the Fe release data with geological flux estimates. These show that the input of volcanic ash into the Pacific Ocean (128–221 × 1015 g/ka) is within the same order of magnitude as the mineral dust input (39–519 × 1015 g/ka) (Mahowald et al., 2005). From the similarity in both Fe release and particle flux follows that the flux of soluble Fe related to the dry deposition of volcanic ash (3–75 × 109 mol/ka) is comparable to that of mineral dust (1–65 × 109 mol/ka). Our study therefore suggests that airborne volcanic ash is an important but hitherto underestimated atmospheric source for the Pacific surface ocean biogeochemical iron cycle.
Ignition control for liquid dual-fuel combustion in compression ignition engines

Abstract This paper investigates the characteristics of combustion and emissions for various combinations of liquid fuels under dual-fuel clean combustion modes. The effects of fuel properties on the ignition control are examined along with the optimization of combustion control strategies. With diesel direct injection (DI) as an effective ignition control, the increased use of premixed ethanol in the auto-ignition resistant background can significantly improve the trade-off between the nitrogen oxides (NOx) and the soot emissions. Because of the relatively low reactivity of ethanol fuel, a single-shot diesel micro-pilot injection shows a limited ability to ignite the very lean ethanol mixture at medium loads. When using gasoline to form a relatively higher reactivity premixed background, lower compression ratios and exhaust gas recirculation (EGR) are necessary to avoid the premature auto-ignition that can cause high pressure rise rate and increased NOx and soot emissions. At a compression ratio of 14, ultra-low levels of NOx and soot emissions are achieved simultaneously for diesel-gasoline dual-fuel combustion, with the ignition and combustion phasing being responsively controlled by DI timing. DI butanol is examined as a means of ignition control for dual-fuel combustion. Owing to the relatively lower fuel reactivity, the compression ignition of butanol is difficult and sensitive to the thermal load of the engine and the EGR rate applied. With double-shot butanol DI as the ignition enabler and the primary power producer, butanol-ethanol dual-fuel combustion is realized at an indicated mean effective pressure (IMEP) of 13 bar.