SIRIS-Lab/unlabelled-sti-corpus huggingface dataset:
Differential program semantics

Traditionally, program semantics is centered around the notion of program identity, that is to say of program equivalence: a program is identified with its meaning, and programs are considered as equal only if their meanings are the same. This view has been extremely fruitful in the past, allowing for a deep understanding of highly interactive forms of computation as embodied by higher-order or concurrent programs. The byproducts of all this lie everywhere in computer science, from programming language design to verification methodologies. The emphasis on equality — as opposed to differences — is not however in line with the way programs are written and structured in modern complex software systems.  Subtasks are delegated to pieces of code which behave as expected only up to a certain probability of error, and only if the environment in which they operate makes this possible deviation irrelevant.  These aspects have been almost neglected by the program semantics community until recently, and still have a marginal role. DIAPASON's goal is to study differences between programs as a constitutive and informative concept, rather than by way of relations between them.  This will be accomplished by generalizing four major frameworks of program semantics, traditionally used for giving semantics to programs, comparing them, proving properties of them, and controlling their usage of resources: logical relations, bisimulation, game semantics, and linear logic.
Nannerl, la hermana de Mozart

Anne-Marie Mozart —Nannerl es el apodo afectivo familiar— fue hermana mayor del afamado compositor Wolfgang Amadeus Mozart. Ella también tuvo prodigiosas dotes musicales: cantaba, tocaba el violín y el piano y componía. Sin embargo, las convenciones socioculturales de la época, arraigadas en la mentalidad del patriarca de la familia, el director de orquesta y violinista Leopold Mozart, propiciaron que Nannerl quedase poco a poco a la sombra de su hermano y que se viese obligada a renunciar a su sueño de una carrera dedicada a la música, pues este no era destino apropiado para una dama de su posición social.&#x0D; La familia viajó regularmente por las cortes europeas luciendo el talento de sus dos portentosos hijos, Wolfgang Amadeus Mozart y Anne-Marie Mozart, en busca de mecenazgo.&#x0D; Nannerl conocerá en Versalles al delfín de Francia y heredero del rey Luis XIV, quien queda prendado de su talento y belleza, y la anima a perseguir su sueño.&#x0D; Esta película, además, aborda en su trasfondo un problema de género existente en la Historia de la Música y que se refleja en la invisibilidad de la mujer-músico fuera del ámbito doméstico.
European digital forum thought leadership and policy network exchange

The European Digital Forum (EDF) is a think tank led by the Lisbon Council and Nesta (secretariat). It was first proposed in the Startup Manifesto and later launched by European Commission Vice-President Kroes at the World Economic Forum in Davos in January 2014. Its founding partners are European Investment Fund, Telefonica, BBVA and Orange. They provided seed funding to get the EDF off the ground but the financial resources are insufficient to execute the ambitious work programme envisioned by the secretariat. 

The objectives of the EDF Thought Leadership and Policy Network Exchange (EDFx) are:

1) To scale up existing activities of the EDF, enabling greater policy impact and geographical reach
2) To pursue independent research aimed at highlighting ways to measure and improve the framework conditions for web entrepreneurs
3) To facilitate a deeper, more sustained exchange between the web community and policymakers, thereby informing and shaping public policy

The objectives will be achieved through high-level policy summits and fringe events at established tech fora; the development of a one-of-its-kind indicator to measure the quality of the startup ecosystem and a repository of best practices, as well as a hard-hitting communication and community-building strategy, including policy support and monitoring actions. 

EDFx will operate at the intersection of web entrepreneurship (i.e. founders, investors) and public policy (i.e. politicians, civil servants), exploiting synergies between the two groups and engaging them in a future-oriented exchange. This dialogue will be placed squarely in a broader policy setting - underlining the significance of web entrepreneurship to innovation performance, growth and job creation - and will be underpinned by a dynamic, world-class research and outreach programme. The fact that EDFx will build on a successful project that is already underway will allow it to “hit the ground running” to achieve speedy impact and results.
Complejidad y transdisciplinariedad en el currículo médico comprometido con las bioéticas latinoamericanas

Resumen Este ensayo muestra, basándose en la bioética, la transformación del currículo de medicina en Brasil del modelo multidisciplinar al modelo inter- o transdisciplinar. Desde una revisión narrativa se discute la teoría de la complejidad y la transdisciplinariedad bajo una analogía de cómo las bioéticas latinoamericanas utilizan esa teoría para comprender la realidad, sentando bases conceptuales para un currículo de medicina que supere una formación fragmentaria. Para las bioéticas del sur global, el pensamiento complejo y la transdisciplinariedad son claves para comprender una realidad no reduccionista, abierta a la construcción de saberes que no se restringen a la explicación biomédica de mundo. Asimismo, para una formación médica con visión amplia de la salud y que valora los determinantes sociales y subjetivos del proceso salud-enfermedad, el currículo debe propiciar la reconexión de saberes. La introducción del pensamiento complejo en el currículo de medicina puede fomentar una enseñanza no reduccionista.
Strategic Planning for Alpine River Ecosystems – Integrating protection and development

The Alps are Europe’s WATER-TOWERS, providing MULTIPLE ECOSYSTEM SERVICES such as water for human consumption, agriculture, industry, energy and maintaining tourism, recreation & quality of life not only for the residents but also for surrounding lowlands & big metropolitan areas. Alpine rivers are the “BLUE BACKBONES” OF SUSTAINABLE DEVELOPMENT, but only healthy rivers can provide such essential services: they are a VULNERABLE NATURAL CAPITAL under pressure with the need of balancing PROTECTION & DEVELOPMENT. RIVER GOVERNANCE IS FRAGMENTED and diverging among and within countries: so far, knowledge transfer of good practices & policies has been weak. _x000D_
_x000D_
SPARE aims at EXCHANGING, ADAPTING AND CAPITALIZING STRATEGIC PLANNING & RIVER MANAGEMENT EXPERIENCES across different spatial & governance levels. Going beyond administrative borders, the requirements of a catchment wide perspective and trans-national cooperation can be considered. Therefore, SPARE will act in a TRANSDISCIPLINARY WAY combining socio-political, economic and ecological assets and integrating inputs from different stakeholders and beneficiaries. _x000D_
_x000D_
SPARE’s main outputs:_x000D_
• a collection of RIVER MANAGEMENT CHALLENGES & BEST SOLUTIONS_x000D_
• a set of GOVERNANCE TOOLS_x000D_
• a pan-Alpine overview of PRIORITY RIVERS with HIGH PROTECTON NEED_x000D_
• GUIDANCES on INNOVATIVE RIVER PROTECTION & MANAGEMENT PROCESSES across different spatial and administrative level_x000D_
• an INTERACTIVE PLATFORM OF KNOWLEDGE EXCHANGE
Multi-layered Cu/Si nanorods and its use for lithium ion batteries

Abstract An ion assisted oblique angle (80°) electron beam deposition method was used to form well-aligned nanorods of a multi-layered Cu/Si film. For comparison, a flat multilayered Cu/Si film was coated at 0° angle using the same electron beam deposition system. The galvanostatic test results demonstrated that both electrodes performed better cycleability compared to bulk Si anode because the multilayer structure of the films enhanced the degree of atomic interactions between Cu and Si to form nano-sized intermetallics. Moreover, Cu buffered the mechanical stresses caused by lithiation and improved the electrical conductivity of the whole film which also affected the cycle life of the multilayered thin film anodes. Galvanostatic half-cell measurements showed that the Cu/Si film made of well aligned nanorods exhibited 1700 mA h g −1 as initial discharge capacity then it decreased to 500 mA h g −1 after 1st cycle (with 99% coulombic efficiency) and became stable for 100 cycles. The remarkable high coulombic efficiency, capacity retention and stable performance of the electrode are related to its unique structural morphology: the high surface area of nanorods increased the contact area of the anode with Li, decreased polarizations and enhanced mechanical resistance against volumetric changes due to the homogenously distributed nano-sized interspaces among them.
The first high performance gallium nitride wafers for mainstream power electronics

As the world becomes digitalized, the need for more energy efficient, faster and better performing Electronic Components and Systems (ECS) becomes paramount. These ECS are fully dependent on the semiconductor materials within, currently over 90% silicon (Si)-based. Pure Si technology can no longer cater to the needs placed upon ECS for power electronics and RF applications and thus new semiconductor technologies based on gallium nitride (GaN) are being explored. GaN material properties make it the primary choice for future generations of energy-efficient, high performance power electronics devices, necessary to modernize the energy grid and allow for sustainable energy production and use. However, bulk GaN is prohibitively expensive and thus inaccessible to mainstream applications. The main approach to making the technology commercially viable, reducing its cost significantly, is growing GaN layers on other materials, such as Si. Today, this poses a major technical barrier: existing methods result in high defect densities in the GaN layers, offering a fraction of the efficiency of bulk GaN and therefore poor ECS performance. Switching to GaN-on-Si today thus offers very limited advantages. To harness the full potential of GaN in a commercially viable way, we, at Hexagem, have developed EleGaNt, a cutting-edge new method of growing GaN semiconductor layers of unprecedented quality on any substrate. EleGaNt is the first to deliver capabilities on par with bulk GaN at the cost of current market-available underperforming GaN-on-Si. Our patented EleGaNt growth method introduces a new era of semiconductor wafer tech for an energy efficient power and RF electronics market and has the potential to become the new silicon in the multi-billion power electronics industry, whilst also offering a route towards expanding the TAM for GaN tech. We will license our tech to ECS manufacturers for integration into their fabs, whilst we remain a cutting-edge tech development company.
Indian economic and economic crisis-prospects for a stable and emergent future

Indian Economy is one of the fast growing economies of world. But the journey to the present stage of Indian Economy was not easy. It has witnessed many financial, political, social and industrial fluctuations that put obstacles for growth of economy but ultimately India emerged as more strong and rising economy after every breakdown. The reforms of 1991 were the result of collapse of Indian economy which actually paved the way for India to mark its presence in world. India was lucky to avoid the first round of global crisis in 2008 as compared to other economies of world. It was due to controlled policy of RBI over banks. This paper discuss the Indian economy's performance during its bad times, Causes of crisis in economic areas and various approaches that can help to prevent and recover from economic breakdowns.
Computer-Assisted Surgery

Implant-supported prostheses are a predictable treatment of totally edentulous patients. Progresses in implantology allowed realizing prostheses that are supported by immediately loading implants. Implants can be inserted in the healed site as fresh extraction sites, without differences about long-term results. Using computer-assisted surgery, it is possible to insert implants in a predetermined position and to create a prostheses, which can be immediately fixed on the implants. Patients have major comfort and an immediate aesthetic and functional result. The use of computer-assisted surgery in fresh extraction sites is a procedure that has not been evaluated because of technical difficulties: teeth extraction eliminates references for surgical guides. The absence of guidelines to treat dentulous areas is often likely caused by lack of computer-assisted surgery: we attempted to use this procedure to replace residual teeth with an immediate implant prosthetic rehabilitation. The aim of this clinical report was to show the possibility to apply computer-assisted surgery in dentulous patient using a double surgical template: one before extraction and the other after extraction of selected teeth.
Ira Dyer and the BBN Applied Research Division

Ira Dyer was one of the first hires by Leo Beranek for the fledgling company Bolt, Beranek and Newman (BBN). Ira in turn hired many of the now recognized pioneers in ocean, structural; and ocean acoustics and formed the BBN Applied Research Division. Members investigated all aspects of sound and vibration in ships, submarines, aircraft, and spacecraft. An example includes during the mid-1950s, Ira helped design the US Navy X-1 Submarine, a small four-man quiet diesel-electric submarine for ADM Rickover. BBN designed an innovative engine mounting system that quieted the vehicle and led the way for ultra-quiet submarines in the future Navy. This submarine is now on display at the Navy Submarine Museum at Groton, CT. Other contributions by members include SEA (statistical energy analysis) and criteria for modeling flow-excitation forcing functions to structural radiation. Ira created a golden era for acoustics at BBN.
Mantenimento dell'occupazione e della liquidità finanziaria nella società Hornik e Moss in Jelenia Góra.

Il ristorante Lemon Pepper è stato fondato nel 2016. Alla fine del 2 018 l'azienda ha ampliato la propria attività includendo la gestione degli appartamenti nel sistema a breve termine. Introdotto il 13 marzo 2020, la limitazione delle attività gastronomiche, e il 1º aprile 2020, la chiusura delle strutture ricettive ha comportato una drastica diminuzione del fatturato dell'azienda. Non c'era spazio di manovra per affitti a breve termine, ma nel caso di ristoranti, ordini online, pagamenti non in contanti e consegna senza contatto sono stati immediatamente avviati. L'obiettivo era quello di mantenere sia l'azienda che i dipendenti e non portare a perdite legate all'accumulo di scorte. L'effetto del ricorso è stato che nessun dipendente è stato licenziato nonostante una diminuzione del fatturato dell'80 %. Inoltre, non vi sono stati arretrati con il pagamento di tasse, contributi previdenziali o assicurazione sanitaria. I costi sostenuti durante la limitazione delle attività di ristorazione sono aumentati a causa di rigorose restrizioni sanitarie (acquisto di maschere, disinfettanti, visiere e guanti). Inoltre, per rendere l'offerta dell'azienda attraente per i clienti, si è deciso di ridurre i prezzi dei piatti di quasi il 50 %, a scapito degli utili dei proprietari e dell'accumulo di capitale di investimento in azienda. Le prenotazioni sono molto sporadiche e la durata dei soggiorni è molto più breve rispetto al periodo pre-pandemico. I fondi erogati nell'ambito del progetto saranno destinati principalmente alla retribuzione dei dipendenti. Tutte le misure e gli sforzi in azienda saranno diretti a mantenere e fornire ai dipendenti la giusta remunerazione per garantire il loro comfort lavorativo e la stabilità finanziaria. I finanziamenti ridurranno il costo del lavoro e consentiranno di continuare l'attività economica nonostante le difficoltà causate dalla pandemia di COVID-19.
The Theil entropy index of regional difference in Zhejiang province and the analysis of the difference: based on the panel data of 11 cities from 2002 to 2011

Recently,the economy of Zhejiang province has been a rapid rise.But the gap among cities is larger and larger,and has formed the situation that the economy in the northeast of Zhejiang is more prosperous than that in the southwest.This passage analyzes where this gap comes from by calculating the Theil entropy index,and comes out that it is from regional difference.Then it uses some theories to analyze this phenomenon.On the basis of this,it uses the empirical research to find the aspects that affect the economy,that is,human capital,the primary industry,the extent of opening and the extent of governmental intervence.At last,it comes up with some suggestions.
RMC-Defined tip blowing slots for turbine blades

A process for forming an airfoil portion (42) of a turbine engine component, such as a turbine blade, is described. The process comprises the steps of placing a ceramic core (14) having a configuration of a passageway (15) to be formed in the airfoil portion (42) within a mold (80), attaching a refractory metal core element (10) to the ceramic core (14) to stabilize a tip region (12) of the ceramic core (14), and casting the airfoil portion (42).
A capacitação do enfermeiro na higienização oral de pacientes em unidade de terapia intensiva: revisão integrativa / The training of nurses in oral hygiene of patients in intensive care unit: integrative review

Within the scope of health care, the nurse is considered one of the main agents in the execution of procedures and interventions that enable the resolution of the pathological condition in the affected patient.In the organizational context of hospitals and clinics in Brazil, oral health care is an attribution within the activities performed by the nursing team.This premise is of a preventive nature, based on the existing relationship between oral diseases and increased risk of developing systemic disorders, significantly enhanced in the hospital environment, especially in Intensive Care Units (ICU).The problem in question is directly linked to the degree of training of nursing professionals to effectively care for the oral hygiene of critically ill patients in this context of hospitalization.The objective of this paper is to describe the importance of continuing education and the role of the nursing professional in providing health care, dispensed in the oral hygiene of patients in ICUs.A descriptive bibliographic study, of the integrative review type will be developed.For the survey and composition of the sample of papers to be evaluated, studies published between the years 2016 and 2021 will be analyzed, with the central theme focused on the significance of oral hygiene of patients in ICUs, and publications of descriptors in Portuguese, English and Spanish will be consulted.Works not associated with the central theme or that do not present significant findings for the purpose of this research will be excluded from the sample analyzed in the development of the review.
Rotator cuff–sparing approaches for glenohumeral joint access: an anatomic feasibility study

The deltopectoral approach for total shoulder arthroplasty can result in subscapularis dysfunction. In addition, glenoid wear is more prevalent posteriorly, a region difficult to access with this approach. We propose a posterior approach for access in total shoulder arthroplasty that uses the internervous interval between the infraspinatus and teres minor. This study compares this internervous posterior approach with other rotator cuff-sparing techniques, namely, the subscapularis-splitting and rotator interval approaches.The 3 approaches were performed on 12 fresh frozen cadavers. The degree of circumferential access to the glenohumeral joint, the force exerted on the rotator cuff, the proximity of neurovascular structures, and the depth of the incisions were measured, and digital photographs of the approaches in different arm positions were analyzed.The posterior approach permits direct linear access to 60% of the humeral and 59% of the glenoid joint circumference compared with 39% and 42% for the subscapularis-splitting approach and 37% and 28% for the rotator interval approach. The mean force of retraction on the rotator cuff was 2.76 (standard deviation [SD], 1.10) N with the posterior approach, 2.72 (SD, 1.22) N with the rotator interval, and 4.75 (SD, 2.56) N with the subscapularis-splitting approach. From the digital photographs and depth measurements, the estimated volumetric access available for instrumentation during surgery was comparable for the 3 approaches.The internervous posterior approach provides greater access to the shoulder joint while minimizing damage to the rotator cuff.
Adult education as a means for active participatory citizenship

The existing research and policy reports show that adult education policies and practices are designed and carried out in ways and using means which are not always appropriate to vulnerable minority groups. In the EduMAP Project the diversity of societal participation and the wide range of cultural contexts and communicative practices among learners will be acknowledged. In particular, the educational needs of young people with low levels of basic and functional literacy, with deficient language and cultural skills (foreign newcomers, ethnic minorities), those who have dropped out of school and those not in education or training due to handicap, are in the focus of the project. The main research question is: What policies and practices are needed in the field of adult education to include young adults at risk of social exclusion in active participatory citizenship in Europe? 
Through the implementation of six work packages, EduMAP will help European, national and local policymakers, educational authorities and educators to tailor adult education policies and practices to meet the needs of young adults with low levels of education or who are otherwise in a vulnerable position. The project will provide comprehensive analyses and practical insights on the efficacy of the European adult education system in preventing social exclusion and compile an inventory of successful initiatives and communicative practices in and outside the EU. Communicative ecologies in the field of adult education will be mapped and analysed, and the findings will be utilized to create innovative platforms for enhancing dialogue between the providers and potential users of educational initiatives. An IDSS will be developed for the use of policymakers and other stakeholders. The fundamental aim is to help policymakers and educational agencies to ensure that the young generations as a whole are able to acquire the skills needed to fully participate in European societies and the labour market.