SIRIS-Lab/unlabelled-sti-corpus huggingface dataset:
Efficient Parallel CTL Model-Checking for Pushdown Systems

A Pushdown system (PDS) is a finite transition system equipped with stacks that are allowed to accurately model procedure calls and mimic the program's stack. Therefore, a PDS is extensively used for the analysis and verification of sequential programs. The computational tree logic (CTL) model checking for PDS is reduced to an emptiness problem, which consists of computing the set of accepting configurations of an alternating Buchi PushDown System(ABPDS). When the PDSs are very large, the emptiness analysis can be time-consuming. In this study, we use the features of a Compute Unified Device Architecture (CUDA) to achieve the parallelism. First, we propose a parallel algorithm to conduct the emptiness analysis of the ABPDS in multi-threads. Thus we propose a partitioned alternating multi automaton, which is a parallel extension of the alternating multi automaton (AMA) to represent the infinite set of configurations for the alternating Pushdown System and demonstrate how the emptiness analysis can be conducted in parallel based on a partitioned alternating multi automaton. Second, the process of the emptiness analysis is irregular, which means it is difficult to allocate resources dynamically. In order to effectively utilize the graphics processing unit (GPU), we design a new data structure and use thread scheduling to fit the computing model. The algorithm is implemented in a tool and is compared to the PDS model checker PuMoC as a benchmark. The results demonstrate a significant performance speedup (average 50X and up to 180X).
Regional turboprop loads control through active and passive technologies

A number of active and passive Loads Control and Alleviation concepts and technologies will be proposed, developed and evaluated. Aerodynamic design of an innovative spoiler will be undertaken, followed by a detailed aerodynamic characterisation of the spoiler and aileron capability for active loads control alleviation, conducted by means of CFD simulations and Wind Tunnel Tests. Novel passive loads alleviation concepts, such as passively morphing aerofoils using thickness and stiffness tailored skins or memory polymer skins and passively floating flaps, are going to be investigated and evaluated. A structural concept for an aeroelastic winglet for passive loads alleviation in manoeuvres and gusts will be developed.
System and Method For Operating a Social Networking Site on the Internet

A system for operating a social networking site on the internet. The system comprises a server machine in communication with the internet and a social site module operating on the server machine. The module comprises code to create a Real ID for the first user and code to create an identity variable for the first user set to the Real ID. The module further comprises code to create a Virtual ID for the first user and a fourth set of code to display a web page on the first communication device of the first user. The web page comprises a change identity button and a post by the second user. The module further comprises code to change the identity variable of the first user from Real ID to Virtual ID upon activation of the change identity button and code to post a comment on the post by the second user displaying the Virtual ID of the first user.
BARCODE: IMPLEMENTATION OF A LETTER SYSTEM TO BAR CODES IN THE PRODUCTION PROCESS

WITH A VIEW TO MAKING THE PROCESS Â TOWARDS LEANÂ ¿, IDEAL BATH, IT INTENDS TO INVEST IN AN INNOVATION PROJECT CONCERNING THE IMPLEMENTATION OF A SYSTEM FOR READING BARCODES VIA BARTAILS, INVOLVING BOTH THE PRODUCTION PROCESS AND THE RELEVANT UNITS, AND THE WAREHOUSE PRODUCTS MARKETED (SPCCCHIERE/LAMPS/COMPONENTS...), BOTH PRECISELY PACKAGING AND THE SHIPMENT. THE PROJECT ALSO PROVIDES FOR THE DEPLOYMENT OF COLLABORATIVE SERVICES PLATFORMS TO THE CUSTOMER THAT MAY BE ACCESS TO
Acceleration: The Forces Driving Human Progress

This is a thorough and ultimately optimistic look at how humanity's unique qualities are driving it towards a better future. It's easy to be pessimistic about the future - everyday we hear about threats of global warming, terrorist plots, nuclear proliferation, and other frightening possibilities. It's also easy to look at the unprecedented toll of destruction caused by war in the 20th century alone, and conclude that our prospects for a better future stand on shaky ground. While not discounting the calamities of the past or the troubling realities on the horizon, Acceleration argues that humanity has a much brighter future - one that is driven by our unique ability to share information and knowledge between generations and across cultures. Grounded in a wealth of solid research, Acceleration offers hope that humanity is more than capable of solving even our most challenging problems.
An eco-innovative alternative to plywood

ECOSHEET-PRO is an eco-innovative and cost effective alternative to plywood made from mixed plastic waste, suitable for
high strength applications in the construction industry. This project will tackle two significant environmental challenges facing
Europe, whilst also offering added value to the construction industry.
The first issue addressed is that of mixed plastic waste. In Europe, in 2014, 18 million tonnes of post-consumer waste
plastics were landfilled or incinerated, as they could not be easily separated and recycled. Alternative uses for such waste
must be found.
The second issue is the growth in the use of plywood, typically manufactured from slow-growing, tropical hardwoods. This
material is a key, high volume commodity in construction industry formworks and an area the size of Madrid is deforested
each year to meet Europe’s demand.
ECOSHEET-PRO transforms mixed plastic that would otherwise be wasted into a competitive, reusable, plywood
replacement. Previous attempts to create such boards have failed to deliver the required strength or cost effectiveness
required by industry. We have overcome these barriers through an innovative manufacturing process, which will be scaled
up and refined during this project.
ECOSHEET-PRO has the potential to re-define the €1.8 billion European plywood industry and help Europe meet its
demanding plastic recycling targets, contributing to the circular economy. Our success stems from bringing together the
complementary expertise of two eco-innovative SMEs from Italy and the UK, both with a strong ambition to grow and
internationalise.
Across a network of 13 facilities in 2023, ECOSHEET-PRO will create 77 jobs, generate annual revenues of over €76.5
million, annual profits of €26.8 million, and transform >221,000 tonnes of waste into valuable products.
Perceptions of and adaptation to environmental change in forest-adjacent communities in three African nations

SUMMARY Semi-structured interviews were used to explore how rural communities near forests are responding to environmental change in three African nations — Cameroon, Equatorial Guinea and Rwanda. The study first recounts people's perception of environmental change — what are the issues of greatest concern identified by local communities? Second, it explores people's responses to identified environmental problems and in particular the role of forests in these processes. Finally, it concludes with a discussion of changing land management practices, and how their implementation may affect the future adaptation strategies of such communities. Results suggest that people's current and potential responses and adaptation to environmental change are influenced by the availability and access to forests and forest resources, and the degree to which their livelihood strategies have diversified away from forest dependence. Thus we conclude that forest policies such as REDD+ will need to be responsive to diverse fore...
AUTOMATIC RESPONSE/LIGHT MEASUREMENT DEVICE AND METHOD THEREFOR

The invention relates to an automatic response/light measurement device and a method therefor, and the purpose is to effectively and quickly perform an optical measurement relating to a reaction with high reliability without increasing a device size. The device is configured to have: a container group in which a plurality of reaction containers are arranged; a measurement mount provided with a plurality of coupling ends that are joinable with apertures of the reaction containers, and have light guide portions that optically connect with the interior of the joined reaction containers; a mount transfer mechanism; a measuring device having a measuring end having at least one light guide portion that is optically connectable to the light guide portions of the coupling ends, that is able to receive light based on an optical state within the reaction containers; an on-mount measuring end transfer mechanism; and a measurement control portion.
FABRIC OR GARMENT WITH INTEGRATED FLEXIBLE INFORMATION INFRASTRUCTURE

A fabric, in the form of a woven or knitted fabric or garment, including a flexible information infrastructure integrated within the fabric for collecting, processing, transmitting and receiving information concerning - but not limited to - a wearer of the fabric. The fabric allows a new way to customize information processing devices to "fit" the wearer by selecting and plugging in (or removing) chips/sensors from the fabric thus creating a wearable, mobile information infrastructure that can operate in a stand-alone or networked mode. The fabric can be provided with sensors for monitoring physical aspects of the wearer, for example body vital signs, such as heart rate, EKG, pulse, respiration rate, temperature, voice, and allergic reactions, as well as penetration of the fabric. The fabric consists of a base fabric ("comfort component"), and an information infrastructure component which can consist of a penetration detection component, or an electrical conductive component, or both. The preferred penetration detection component is a sheathed optical fiber. The information infrastructure component can include, in addition to an electrically conductive textile yarn, a sensor or a connector for a sensor. A process is provided for making an electrical interconnection between intersecting electrically conductive yarns. Furthermore, a process is established for sheathing the plastic optical fiber and protecting it.
The Impact Of Interest Rate Volatility On Stock Market Development: Evidence From Emerging Markets

Interest rate uncertainty has adverse effects on stock market performance. Despite the considerable studies on the relationship between interest rate and stock market return, the relationship between interest rate volatility and stock market development still is enigma. This paper investigates the effect of interest rate uncertainty on stock market development. We examine the long-run and short-run relationship between these variables using Pesaran et al (2001) bounds testing approach to cointegration and error-correction modeling for 12 emerging economies over the period 1980-2011. This methodology has two main advantages over other cointegration methods which have made it unique: first there is no need to do pre-unit root resting, which is an essential requirement in other methods, and second, we are able to distinguish short -run effects from its long- run effect. Diagnostic statistics applied in this study indicate that our models are stable, well specified and normally distributed residual free of autocorrelation. The estimated results here show a significant short-run effect of interest rate uncertainty on stock market developing in all of 12 emerging economies under study. Furthermore, our results indicate that in 9 out of 12 countries the short-run effects have been seen in the long-run as well, and the cointegration relationship is confirmed in almost all of the models by either the F-test results or negative sign of error correction term. Also, the long run real income estimated elasticity is significantly positive in all countries (except for Brazil, Chile and Thailand) which would be a major long-run factor affecting stock market development in most of emerging economies in this study. Moreover, we found a mixed long- run effect of interest rate on stock market development. The results obtained in this paper suggest that emerging economies need to be cautious in implementing financial market and interest rate policies. A well-developed financial system improves capital formation and the efficiency of resource allocation, enhancing investment, and therefore economic growth. Interest rate uncertainty significantly affects stock market development. Therefore, a sound monetary policy creates a safer investment environment and stock market development. The role of stock market development towards achieving economic growth is crucial.
Cooperative Spectrum Sharing Between Cellular and Ad-Hoc Networks

Spectrum sharing between cellular and ad-hoc networks is studied in this work. Weak signals and strong interferences at the cell-edge area usually cause severe performance degradation. To improve the cell-edge users' performance quality while keeping high spectrum efficiency, in this paper, we propose a cooperative spectrum sharing scheme. In the proposed scheme, the ad-hoc users can actively employ cooperative diversity techniques to improve the cellular network downlink throughput. As a reward, a fraction of the cellular network spectrum is released to the ad-hoc network for its own data transmission. To determine the optimal spectrum allocation, we maximize the ad-hoc transmission capacity subject to the constraints on the outage probability of the ad-hoc network and on the throughput improvement ratio of the cellular network. Both the transmission capacity of the ad-hoc network and the average throughput of the cellular network are analyzed using the stochastic geometry theory. Numerical and simulation results are provided to validate our analytical results. They demonstrate that our proposed scheme can effectively facilitate ad-hoc transmissions while moderately improving the cellular network performance.
Optimal precoder design for non-regenerative multiple-input multiple-output cognitive relay systems with perfect and imperfect channel state information

This paper studies optimal precoder design for non-regenerative multiple-input multiple-output MIMO cognitive relay systems, where the secondary user SU and relay station RS share the same spectrum with the primary user PU. We aim to maximize the system capacity subject to the transmit power constraints at the SU transmitter SU-Tx and RS, and the interference power constraint at the PU. We jointly optimize precoders for the SU-Tx and RS with perfect and imperfect channel state information CSI between the SU-Tx/RS and PU, where our design approach is based on the alternate optimization method. With perfect CSI, we derive the optimal structures of the RS and SU-Tx precoding matrices and develop the gradient projection algorithm to find numerical solution of the RS precoder. Under imperfect CSI, we derive equivalent conditions for the interference power constraints and convert the robust SU-Tx precoder optimization into the form of semi-definite programming. For the robust RS precoder optimization, we relax the interference power constraint related with the RS precoder to be convex by using an upper bound and apply the gradient projection algorithm to deal with it. Simulation results demonstrate the effectiveness of the proposed schemes. Copyright © 2013 John Wiley & Sons, Ltd.
SUBSTRATE CARRIER, AND SPUTTER DEPOSITION APPARATUS AND METHOD USING THE SAME

A carrier (100) for supporting at least one substrate during a sputter deposition process is provided. The carrier (100) includes a non-conductive carrier body (102) having a first end (111) and an opposing second end (112); an electrically insulated first guiding device (120) provided at the first end (111) of the ceramic carrier body (102); and an electrically insulated second guiding device (130) provided at the second end (112) of the ceramic carrier body (102).
On Bridging Data Centers and Publishers: The Data-Literature Interlinking Service

Although research data publishing is today widely regarded as crucial for reproducibility and proper assessment of scientific results, several challenges still need to be solved to fully realize its potential. Developing links between the published literature and datasets is one of them. Current solutions are mostly based on bilateral, ad-hoc agreements between publishers and data centers, operating in silos whose content cannot be readily combined to deliver a network connecting research data and literature. The RDA Publishing Data Services Working Group (PDS-WG) aims to address this issue by bringing together different stakeholders to agree on common standards, combine links from disparate sources, and create a universal, open service for collecting and sharing such links: the Data-Literature Interlinking Service. This paper presents the synergic effort of the PDS-WG and the OpenAIRE infrastructure to realize and operate such a service. The Service populates and provides access to a graph of dataset-literature links collected from a variety of major data centers, publishers, and research organizations. At the time of writing, the Service has close to one million links with further contributions expected. Based on feedback from content providers and consumers, PDS-WG will continue to refine the Service data model and exchange format to make it a universal, cross-platform, cross-discipline solution for collecting and sharing dataset-literature links.
Crosslinking agent for fibers or leather

A crosslinking agent for fibers or leather according to the present invention contains a blocked isocyanate which is obtained by blocking, by means of a blocking agent, an isocyanate group of a hydrophilic group-containing polyisocyanate that is a reaction product of a polyisocyanate and a hydrophilic group-containing active hydrogen compound. The blocking agent contains a secondary amine compound wherein: two carbon atoms are directly bonded to the nitrogen atom of a secondary amine; and at least one of the two carbon atoms is a tertiary carbon atom.
NUCLEOTIDE CONSTRUCT WITH OPTIMISED CODONS FOR AN HIV GENETIC VACCINE BASED ON A PRIMARY, EARLY HIV ISOLATE AND SYNTHETIC ENVELOPE

The present invention relates to a method for producing a nucleotide sequence construct with optimized codons for an HIV genetic vaccine based on a primary, early HIV isolate. Specific such nucleotide sequence construct are the synthetic envelope BX08 constructs. The invention further relates to the medical use of such constructs for the treatment and prophylaxis of HIV through DNA vaccine and for diagnostics.
AIR CONDITIONING SYSTEM WITH OIL RECIRCULATION

The invention relates to an air conditioning system (10), which is intended for vehicles or as a stationary air conditioning system, wherein the compressor device (12) has at least one, or at least two compressors (20) disposed parallel to each other, which are preferably formed by inexpensive passenger car compressors. The at least one compressor (20) is associated with an oil trap (22), or between the compressors (20) a common oil trap (22) is provided. In the pressure pipe (24) of the corresponding compressor (20), a check valve (26) is provided. Between the oil trap (22) and the intake pipe (28) of the respective compressor (20), an oil-metering recirculation device (30) is provided.
Are all atmospheric pressure cold plasma jets electrically driven?

Up to now, all studies on the dynamics behavior of non-equilibrium plasma plumes were focussed on noble gas plasma plumes. It was found out that they are electrically driven rather than gas flow dependent. Our study on the dynamics of a non-equilibrium N2 plasma plume reveals that the propagation velocity of the N2 plasma plume is several orders magnitude lower than those previously reported and further studies show that it is close to the gas flow velocity. The gas flow has a significant effect on the length of the plasma plume, and the results provide some fundamental knowledge about atmospheric pressure plasma jets.
Health care seeking patterns and out of pocket payments for children under five years of age living in Katchi Abadis (slums), in Islamabad, Pakistan

BackgroundSince 1990, Pakistan has faced an unprecedented rate of urbanization, thereby resulting in the uncontrolled proliferation of slums (Katchi Abadis) in all large cities. These areas lack the basic municipal services such as safe water supply, sanitation and waste collection. There is limited access to quality health care services, both curative and preventive. Therefore, communities living in katchi abadis are faced with health seeking challenges and catastrophic expenditure to pay for health care services (formal or informal).MethodsThis cross-sectional quantitative study was conducted in Islamabad, using a semi-structured questionnaire with mothers of children 5 years of age. There are 34 katchi abadis, 11 are recognized by the Capital Development Authority, out of which seven were included in the study. The calculated sample size was 207.Main findingsAverage household income was found to be Pak Rupee 10,000 (approx.US$100) per month. Diarrhea, fever, common cold and cough were common illnesses among under 5 children. Approximately 43% of the mothers were illiterate and they preferred consulting a private doctor or a private dispenser in the katchi abadi. Mother’s level of education was significantly associated with the type of health provider consulted. Majority had to spend out of pocket, while many either borrowed money from relatives or friends or sold a household item. Delay in seeking health care added to the out of pocket expense. The mean cost on child’s treatment was approximately PkRs400 (approximately US$ 4) for a single consultation.ConclusionThere are several factors associated with health seeking behavior of mothers of children under the age of 5 years, living in the katchi abadis of Islamabad. The latter population group is one of the most vulnerable given their poor standard of living conditions. A multi-sectoral approach is needed to address the provision of basic amenities, the availability of safety nets to pay for health care is crucial to avoid catastrophic expenditure and the provision of community-based health promotion programs are essential to improve health seeking behaviors whilst simultaneously promoting and protecting health.
Viral zoonotic risk is homogenous among taxonomic orders of mammalian and avian reservoir hosts

The notion that certain animal groups disproportionately maintain and transmit viruses to humans due to broad-scale differences in ecology, life history, and physiology currently influences global health surveillance and research in disease ecology, virology, and immunology. To directly test whether such "special reservoirs" of zoonoses exist, we used literature searches to construct the largest existing dataset of virus-reservoir relationships, consisting of the avian and mammalian reservoir hosts of 415 RNA and DNA viruses along with their histories of human infection. Reservoir host effects on the propensity of viruses to have been reported as infecting humans were rare and when present were restricted to one or two viral families. The data instead support a largely host-neutral explanation for the distribution of human-infecting viruses across the animal orders studied. After controlling for higher baseline viral richness in mammals versus birds, the observed number of zoonoses per animal order increased as a function of their species richness. Animal orders of established importance as zoonotic reservoirs including bats and rodents were unexceptional, maintaining numbers of zoonoses that closely matched expectations for mammalian groups of their size. Our findings show that variation in the frequency of zoonoses among animal orders can be explained without invoking special ecological or immunological relationships between hosts and viruses, pointing to a need to reconsider current approaches aimed at finding and predicting novel zoonoses.