SIRIS-Lab/unlabelled-sti-corpus huggingface dataset:
A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract)

AbstractApplied process calculi include advanced programming constructs such as type systems, communication with pattern matching, encryption primitives, concurrent constraints, nondeterminism, process creation, and dynamic connection topologies. Several such formalisms, e.g. the applied pi calculus, are extensions of the the pi-calculus; a growing number is geared towards particular applications or computational paradigms.Our goal is a unified framework to represent different process calculi and notions of computation. To this end, we extend our previous work on psi-calculi with novel abstract patterns and pattern matching, and add sorts to the data term language, giving sufficient criteria for subject reduction to hold. Our framework can accommodate several existing process calculi; the resulting transition systems are isomorphic to the originals up to strong bisimulation. We also demonstrate different notions of computation on data terms, including cryptographic primitives and a lambda-calculus with erratic choice. Substantial parts of the meta-theory of sorted psi-calculi have been machine-checked using Nominal Isabelle.KeywordsPattern MatchOperational SemanticData TermTuple SpaceProcess CalculusThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
DOWNHOLE TOOL

A downhole tool (10) comprises a body (12) adapted to be incorporated in a drill string. The body defines a bore (20) and having a valve arrangement including a flow port (18) in the wall of the body and a valve element (22) biased towards a position to open the port. The valve element is initially retained in a position to close the flow port (18) but can be released as required to allow the flow port to be opened. The tool may be utilized as a bypass sub or a dump sub. For use as a bypass sub, the body bore below the flow port may be closed or restricted.
Health insurance reform and the development of health insurance plans: the case of the Emirate of Abu Dhabi, UAE.

The Emirate of Abu Dhabi has taken concrete steps to reform health insurance by improving the access to health providers as well as freedom of choice. The growing cost of health care and the impact of the global financial crisis have meant that countries are no longer able to solely bear the cost. As a result many countries have sought to overhaul their health care system so as to share the burden of provision with the private sector whether it is health care plan providers or employers.This article explores and discusses how the policy issues inherent in private health care schemes have been dealt with by the Emirate of Abu Dhabi.Data was collected in early 2013 on health care plans in Abu Dhabi from government sources.The Abu Dhabi model has private sector involvement but the government sets prices and benefits. The Abu Dhabi model adequately deals with the problem of adverse selection through making insurance coverage a mandatory requirement. There are issues with moral hazards, which are a combination of individual and medical practitioner behavior that might affect the efficiency of the system. Over time there is a general increase in the usage of medical services, which may be reflective of greater awareness of the policy and its benefits as well as lifestyle change.Although the current health care system level of usage is adequate for the current population, as the level of usage increases, the government may face a financial burden. Therefore, the government needs to place safeguards in order to limit its exposure. The market for medical treatment needs to be made more competitive to reduce monopolistic behavior. The government needs to make individuals aware of a healthier lifestyle and encourage precautionary actions.
Alpine winter tourism territories demonstrating an integrated framework for a low-carbon, high-impact and resilient future

SMART ALTITUDE aims at enabling and accelerating the implementation of low-carbon policies in winter tourism regions. Technical solutions for the reduction of energy consumption and GHG emissions in mountain areas relying on winter tourism today exist, with up to 40% reduction potential. However, key trade-offs are at the heart of their slow uptake: they require stronger and innovative involvement to overpass strategic (goals, priorities, risks), economic (costs, financing) and organizational (partnership, stakeholder involvement) challenges._x000D_
_x000D_
SMART ALTITUDE will demonstrate the efficiency of a decision support tool integrating all challenges into a step-by-step approach to energy transition.The project clearly innovates by deploying a comprehensive approach of low-carbon policy implementation based on impact maximization accounting for technical, economic and governance factors. It is based on common performance indicators, monitoring systems (snow processes, municipal infrastructure, renewables, buildings etc.) and Energy Management Systems (EMS) in mountain territories, so as to build a shared situational awareness and take impactful decisions. The approach is implemented in 3 real-field demonstrations and prepares for replication in 20 other Alpine Space territories._x000D_
_x000D_
The project targets policymakers, infrastructure operators, investors, tourism and entrepreneurship organisations._x000D_
_x000D_
Its outputs are a Territorial diagnosis method, an online Smart Altitude Toolkit, Living Labs, a Planning model for adaptation strategy implementation, a Replication roadmap and a Network of low-carbon winter tourism regions. The partnership and activities ensure the approach suitability across the Alpine Space, promote new innovations and skills, and enable policymakers to plan and prioritize measures increasing the resilience of mountain areas.
Cleft Lip and/or Palate

A charitable surgical relief organization (Smile Train) enables local physicians in developing countries to provide surgical treatment of cleft lip and/or palate. The following study reviews the epidemiological data from more than 260,000 surgeries performed in India through this organization from 2000 until January 1, 2012.Demographic and clinical patient data were collected from the participating surgeons, recorded in Excel (Microsoft, Redmond, WA), and analyzed using Software Package for the Social Sciences (IBM, Armonk, NY).The distribution of clefts treated was 20.2% of cleft lip, 13.9% of cleft palate (CP), and 65.9% of cleft lip and palate. The overall unilateral-bilateral ratio was 2.49:1 with a left-right ratio of 2.03:1. The male-female ratio was 1.58:1. Of the total patients, 2.67% had associated anomalies. The most frequently performed surgeries included primary repair of a unilateral cleft lip (41.62%), followed by primary repair of a CP (31.15%). The mean age at surgery was 7.91 years. The reported complication rate was 0.88%.The data collected are from the largest reported cohort of orofacial cleft patients in India. The cleft type, sex distribution, and overall male predominance resemble previously reported distributions; however, fewer CP patients and greater cleft lip and palate patients presented than would be expected. The frequency of associated anomalies was lower than in previous reports. Although there is significant selection bias to milder cases from lower socioeconomic groups in this study, the large sample size is unique, and the data collected can provide a valuable framework to further study the epidemiology of cleft lip and/or palate in India.
CRÉDITO FISCAL — WEBTECH S.R.L.

LA EMPRESA DE RESPONSABILIDAD LIMITADA LLAMADA WEBTECH S.R.L.INTENDE PARA LLEVAR A CABO UN PROYECTO DE INVERSIÓN EN NUEVOS EQUIPOS ALTAMENTE SOFISTIC
Comparison between dislocation dynamics model predictions and experiments in precipitation-strengthened Al–Li–Sc alloys

Abstract Precipitate distributions were quantitatively measured by local electrode atom-probe (LEAP) tomography in several age-hardenable Al-based alloys to provide input to both analytical models and dislocation dynamics simulations of critical resolved shear strength, for comparison with experimentally measured Vickers microhardness values. The method of reconstructing precipitate-containing volumes from LEAP tomography, then importing these data to dislocation dynamics simulations, is explained in detail in the supplementary material available in the online version of this paper. Two alloys were studied: Al–2.9Li–0.11Sc at.% (Al–Li–Sc) and Al–6.3Li–0.07Sc–0.02Yb at.% (Al–Li–Sc–Yb). Heat treatment of these alloys produced nanometer-scale α′-Al3(Li, Sc, Yb)(L12) precipitates after isothermal aging at 325 °C. In some cases δ′-Al3Li(L12) shells were formed on these precipitates after subsequent isothermal aging at 170 °C. Dislocation dynamics results and experimental measurements were combined to define empirical strengthening superposition rules for the cases of contributions from: (i) Li in solid-solution plus α′-Al3(Li, Sc, Yb)(L12) precipitates; (ii) α′-Al3(Li, Sc, Yb)(L12) precipitates plus δ′-Al3Li(L12) shells in doubly aged Al–Li–Sc–Yb. Simulations of aged Al–Li–Sc overpredict the strength if a single dislocation is used, and underpredict the strength if instead a cooperative dislocation pair is considered. For simulations of dislocation pairs in Al–Li–Sc (single-phase precipitates), the precipitate bypass mechanism depends on the aging condition of the alloy. At peak age, precipitate shearing occurs mainly by pairs of closely spaced dislocations moving cooperatively. As overaging progresses, Orowan looping increasingly dominates and the distance between the leading and trailing dislocations increases. For dislocation pairs in doubly aged Al–Li–Sc–Yb with some core/shell precipitates, the measured and simulated strength values agree to within their uncertainties.
Memórias em embate: Israel e Palestina – disputas das/pelas memórias de Shoá e Nakba

O presente ensaio busca analisar, mediante as catástrofes coletivas referentes à Nakba e Shoá, como as memórias e identidades da Palestina e de Israel, ao passo que tentaram e tentam se constituir como opostas, inexoravelmente se entrelaçam e acabam por constituir uma influência recíproca. Esses países, que possuem histórias indissociáveis e sobrepostas, carregam consigo um passado ainda muito recente, seja por eventos reincidentes ou por memórias dissidentes que não ganham espaço no que tenta se constituir como “memória coletiva”. Analisa-se então como essa disputa, que não ocorre somente em âmbito territorial, decorre através dos meandros da memória.
Pyridine hydrodenitrogenation kinetics over a sulphided NiMo/γ-Al2O3 catalyst

Abstract Gas phase pyridine hydrodenitrogenation (HDN) kinetics have been determined over a commercial, sulphided NiMo/γ-Al 2 O 3 catalyst in a Berty type Continuous Stirred Tank Reactor (CSTR). Temperatures and total pressures varied from 573 to 633 K and from 1.5 to 4.0 MPa, in a space time range from 350 to 1800 kg cat  s mol −1 P . Pyridine was first hydrogenated into piperidine. The subsequent denitrogenation went via piperidine ring opening to pentyl amine followed by the actual nitrogen removal, yielding C 5 hydrocarbons and ammonia as end products. The C–N bond scission rate was enhanced by the presence of H 2 S, which could be rationalized based on a substitution mechanism. Langmuir Hinshelwood reaction mechanisms accounting for two types of sites, i.e ., coordinatively unsaturated sites (∗) and sulphur anions (S 2− ), have been developed to assess the experimentally measured kinetics. These models explicitly accounted for the substitution mechanism in the C–N bond scission in terms of elementary steps. Model discrimination has allowed assessing the importance of hydrogen addition to pyridine through heterolytically or homolytically chemisorbed hydrogen and hydrogen sulphide, as well as of sulphydril or hydrogen assisted C–N bond scission in piperidine denitrogenation. Chemisorption entropies were calculated a priori such that, in addition to the kinetic parameters, only chemisorption enthalpies had to be estimated by regression. The third hydrogen addition and the naphthenic C–N bond breaking were found to be rate determining in pyridine hydrogenation and piperidine denitrogenation, with activation energies amounting to 41 kJ mol −1 and 185 kJ mol −1 . A distinct linear relationship was established between the proton affinity of the various nitrogen components and their free energy of chemisorption.
Feedback in team competitions

Although the effect of feedback on performance in individual competitions is analyzed both theoretically and experimentally, there are only few studies analyzing the effect of feedback on team performance in team competitions. The purpose of this research project is to understand the role of feedback in team competitions in various environments. There will be two parts in the project. In the first part, the effect of feedback on performance in individual and team competitions will be compared (both endogenously and exogenously formed teams will be considered). In this part, there will be just one task and team performance will be the sum of team members’ efforts. In the second part of the project, the effect of feedback will be analyzed in an environment where two complementary tasks will be assigned to team members. In this case, the amount of complementarity will be the free parameter and how agents choose their teammates (endogenously or exogenously) will be varied. Both projects will be experimental studies. In addition to the significant contribution to the literature, the project plans to contribute to workplace-innovation policy  of Europe, which aims at “… improving staff motivation, thereby enhancing labor productivity, organizational performance, innovation capability, and consequently business competitiveness”. The project will contribute to this objective by finding out the most stimulating tournament environment for workers.
Risk Factors for Clinical Leptospirosis from Western Jamaica

A retrospective, matched case-control study was conducted in Jamaica's Western Regional Health Authority (WRHA). Forty-three individuals developing clinical leptospirosis between January 2005 and December 2007 (i.e., cases) were age and neighborhood matched to 89 controls. Odds ratios (OR) and associated 95% confidence intervals (CIs) and the relative excess risk due to interaction (RERI) were calculated. Cases had increased odds of contact with rodents OR 3.52, goats OR 3.38, and being engaged in outdoor labor OR 5.30. Knowledge of leptospirosis and indoor work was protective, OR 0.39 and OR 0.16, respectively. Positive RERI values were noted for joint exposure to rodents and goats (RERI 5.54), outdoor labor and goats (RERI 6.97), and outdoor labor and rodents (RERI 30.59). Our results suggest a synergistic effect of occupational and environmental exposures on clinical human leptospirosis from the WRHA. Knowledge of the disease and its risk factors allows for protection from the disease.
IOP Conference Series: Materials Science and Engineering

International Nuclear Science, Technology and Engineering Conference 2021 (iNuSTEC2021) “Nuclear Science and Technology for Socio-economic Development” Universiti Teknologi Malaysia (UTM) Skudai, Johor, Malaysia 10-12 October 2021 Editors Nahrul Khair Alang Md Rashid, Universiti Teknologi Malaysia Khaidzir Hamzah, Universiti Teknologi Malaysia Mohsin Mohd Sies, Universiti Teknologi Malaysia Jasman Zainal, Universiti Teknologi Malaysia Muhammad Arif Sazali, Universiti Teknologi Malaysia Muhammad Syahir Sarkawi, Universiti Teknologi Malaysia Nur Syazwani Mohd Ali, Universiti Teknologi Malaysia Khairulnadzmi Jamaluddin, Universiti Teknologi Malaysia Abdul Aziz Mohamed, Malaysian Nuclear Society Faridah Mohamad Idris, Malaysian Nuclear Agency Julie Andrianny Murshidi, Malaysian Nuclear Agency Faizal K P Kunchi Mohamed, Universiti Kebangsaan Malaysia Hassan Mohamed, Universiti Tenaga Nasional Abu Hassan Husin, Universiti Teknologi MARA All papers have been peer-reviewed List of Supporting/Sponsoring Organisations, Preface, Contents, iNuSTEC2021 Organising Committee, Inustec 2021 Awards And Recognition, Acknowledgement and Images are available in this pdf
METHOD AND APPARATUS FOR FORMING AN ANNULAR BARRIER IN A WELLBORE

In accordance with the present invention, an apparatus and method are provided which utilize an expandable media (100) to create an annular barrier in a subterranean well (20). The apparatus comprises a tubing assembly (10) for placement in the wellbore, the tubing assembly having an outer surface (52) creating an annular space (54) with the wellbore when the tubing assembly is placed in the wellbore. The apparatus has an expandable media assembly having an expandable material (102). The expandable material is initially in a run-in position and is capable of increasing in volume to a set position in the wellbore thereby creating an annular barrier blocking fluid flow along the annular space. The expandable material can be a foam, gel, or alloy. The media can be deformable upon enlargement and conform to the wellbore wall. The media can be a sleeve secured to the tubular assembly or a medium carried in a pressurized canister (116) for release at a selected location downhole. The expandable material can be held in the run-in position by a restraint (110), if necessary. The media can be thermally, chemically or otherwise activated to expand and can be used in conjunction with radially expandable screen assemblies and tubing assemblies.
Towards a conceptual framework on the categorization of stereotypical perceptions in accounting

The stereotypical image of the profession is poor with accountants appearing in the popular media as either the object of satire or the criminally inclined expert who deceives the public for self-gain. Extant research on the portrayal of the stereotypic accountant is limited in two ways: (1) existing research assumes a unitary concept by inferring a dominant image when the accountant stereotype is multifaceted; and (2) it is unclear from existing research whether the dominant image results from perceived character traits or the duties undertaken by accountants. This paper relies on qualitative methods of data analysis to unpack the elements that underpin stereotypical images in accounting to develop a framework of external perceptions that distinguishes one image from another. The framework is constructed on two broad criteria that comprise accountants (personality traits and physical characteristics) and accounting (task functionality). The interplay of these two criteria creates four subtypes representing positive (Scorekeeper and Guardian) and negative (Beancounter and Entrepreneur) interpretations of the two basic categorizations: bookkeeper and business professional. Further analysis revealed four primary dimensions (Ethics and Sociable, Skill and Service) that underlie the construction of the subtypes. In general, the ‘Scorekeeper’ rates more highly than the ‘Beancounter’ on ‘Ethics and Sociable’ and the ‘Guardian’ rates more highly than the ‘Entrepreneur’ on ‘Ethics’. Accounting researchers and the profession could benefit from understanding how stereotypical perceptions are constructed and managed.
THE MAXIMIZATION SCALE: A VALIDITY AND RELIABILITY STUDY

The aim of the present study is to examine the validity and reliability of the Maximization Scale (Nenkov et al., 2008). Participants were 300 university students. The results of confirmatory factor analysis demonstrated that the six items loaded on one factor (x²= 18.30, df= 8, RMSEA= .066, CFI= .95, IFI= .96, AGFI= .95, GFI= .98, SRMR= .045).  Factor loadings ranged from .33 to .58 and the corrected item-total correlations ranged from 24 to .45. Cronbach alpha internal consistency reliability coefficient was .60. According to these results it can be argued for that this scale is a valid and reliable instrument. Keywords: Maximization, validity, reliability, confirmatory factor analysis OZET Bu calismanin amaci Yetinmezlik Olcegini (Nenkov, Morrin, Ward, Schwartz, & Hulland, 2008) Turkceye uyarlamak ve gecerlik ve guvenirligini incelemektir. Calisma 300 universite ogrencisi uzerinde yurutulmustur. Dogrulayici faktor analizi sonucuna gore 6 maddeden ve tek boyuttan olusan modelin iyi uyum verdigi degerlendirilmistir (x²= 18.30, sd= 8, RMSEA= .066, CFI= .95, IFI= .96, AGFI= .95, GFI= .98, SRMR= .045). Olcegin faktor yukleri .33 ile .58, duzeltilmis madde toplam korelasyon katsayilari ise .24 ile .45 arasinda siralanmaktadir. Olcegin Cronbach alfa ic tutarlilik guvenirlik katsayisi icin .60 olarak bulunmustur. Bu verilere dayanarak, Yetinmezlik Olcegi Turkce formunun gecerli ve guvenilir bir olcme araci oldugu soylenebilir. Anahtar sozcukler: Yetinmezlik, maksimizasyon, gecerlik, guvenirlik, dogrulayici faktor analizi
Planning as culture in Europe
Learning from differences in planning related to the cultural context

Problem description:
• Contrasts in planning cultures (e.g. different perceptions of planning systems and processes, different planning traditions, different decision making systems) are one of the main obstacles in realizing genuine cross-border, trans-national and interregional co-operation in INTERREG III
• Need of (future) players (regions, etc.) who wish to involve themselves in cooperation for methods and starting points on managing cultural differences in (further) INTERREG initiatives
• Role of cultural context in INTERREG planning processes is underexposed in  activities of INTERACT points and INTERACT secretariat

Objectives of the project:
• To articulate and exchange best practices of how differences in planning culture in INTERREG III programme and projects are managed
• To formulate conclusions and recommendations for managing cultural differences in INTERREG initiatives and international planning processes (to bridge differences in planning cultures) to contribute to the successfulness of the INTERREG III programme and projects
• To disseminate in different ways (report, website, etc.) information on managing cultural differences in INTERREG initiatives to INTERREG III project managers and promoters, coordination officers (INTERREG secretariats and INTERACT points and secretariat) and policy makers (EU, national and regional) to contribute to realizing true cross-border (strand A), trans-national (strand B) and interregional (strand C) cooperation in the international initiatives such as INTERREG projects and will enhance future involvement of players who wish to involve themselves in cooperation. 

Approach and Methodology:
By means of an analytic framework, there will be an analysis of INTERREG III projects focussing on the influence of the cultural context on planning processes in order to formulate best practices and recommendations on managing cultural differences in international planning processes. This information will be complementary to the activities of INTERACT points and the INTERACT secretariat. Dissemination of this knowledge will contribute to realizing true cross-border (strand A), trans-national (strand B) and interregional (strand C) cooperation in INTERREG programmes and projects and will enhance future involvement of players who wish to involve themselves in cooperation. 

Main activities are: Management and Coordination of the Project, Inception Phase, Overall study planning cultures in Europe, Articulating an analytical framework, Selection of relevant and representative INTERREG III projects, Analysing INTERREG III projects (in a cross cultural way), Drawing up conclusions and formulating recommendations, Dissemination experiences and knowledge and Evaluation of the project