SIRIS-Lab/unlabelled-sti-corpus huggingface dataset:
Fully Symbolic Model Checking for Timed Automata

In this paper we introduce a new formal model, called finite state machines with time (FSMT), to represent real-time systems. We present a model checking algorithm for FSMTs, which works on fully symbolic state sets containing both the clock values and the state variables. In order to verify timed automata (TAs) with our model checking algorithm, we present two different methods to convert TAs to FSMTs. In addition to pure interleaving semantics we can convert TAs to FSMTs having a parallelized interleaving behavior which allows parallelism of transitions causing no conflicts. This can dramatically reduce the number of steps during verification. Our experimental results show that our prototype implementation outperforms the state-of-the-art model checkers UPPAAL and RED.
Deer Top Opportunities- Economic Promotion Cities and Jelenio Góra SMEs

The subject of the project is the economic promotion of the City of Jelenia Góra and actions to increase the competitiveness of Jelenia Góra SMEs on foreign markets, i.e.: — economic promotion of the City of Jelenia Góra at national investment and tourism fairs – participation in the role of Exhibitor; — economic promotion of the City of Jelenia Góra and promotion of the offer of SMEs at foreign fairs – participation of representatives of the City and SMEs as Exhibitors; — purchase of personalised promotional gadgets; — production of promotional film and advertising spots; — delivery and installation of external information monitors (so-called totems) for presentation, among others, of the City’s investment offer and promotional film; — broadcast advertising spots on national television; — promotional campaign of the economic offer of the City on trains INTERCITY; — organisation of two study tours for economic journalists from Poland and abroad; — publication of a promotional article in an industry magazine distributed at international trade fair events and in office centers. The applicant and beneficiary of the project is the City of Jelenia Góra. The project will be implemented by a team of employees of the City Hall of Jelenia Góra and external contractors of services and supplies. The result of the project will be an increase in investors’ interest in the investment offer of the City of Jelenia Góra and the establishment of foreign trade contacts by Jelenio Góra SMEs, which will enable them to develop and strengthen their position on the domestic and foreign market. The activities carried out as part of the promotion campaign will directly improve the image of the City of Jelenia Góra and will provide the project recipients with detailed information, both in the context of the investment and tourist attractiveness of the City of Jelenia Góra.
Developing a bicycle display solution

As part of the project, a bicycle display stand for Velotandem OÜ was developed. This tripod allows you to show bicycles to the client more efficiently. This solution allows you to present bicycles on two planes.
Le changement de paradigme dans la gestion des autoroutes en Espagne : une question en suspens

L’Espagne est en train de changer le modèle de gestion de son réseau autoroutier. La concession aux entreprises qui ont construit et géré des autoroutes pendant des décennies se termine, mais le gouvernement n’a pas encore décidé d’un nouveau modèle de financement de l’entretien, un retard qui pose des problèmes.
Local food as engine for local business

The SMEs in the local food sector are often micro SMEs that have low involvement in clustering, cooperation and innovation, and they have a great potential of playing an important role in creating jobs and opportunities in rural areas. All participating regions have various degrees of policies and experiences regarding the local food sector, and will benefit from sharing knowledge and good practices. The project will improve competitiveness and contribute to sustainability through encouraging local food production and consumption.

Objectives
LOCFOOD aims to Improve regional policies and strategies regarding the food-related SMEs in rural areas, to enhance entrepreneurship, business development, competitiveness and economic growth. 
To get an overview and understanding of the existing policies and strategies in the regions, a mapping will be conducted.
Internal and external factors that characterise the local food sector in each region will be identified and analyzed to find areas for policy improvement. The regions will share knowledge and exchange experience, including a better understanding of the local food sector, and characteristics of good regional policies and strategies for local food SMEs. Recommendations for regional policymakers will be outlined in a good practice guide.

Partnership
The partnership consists of 13 partners from 9 countries (NO, SE, UK, CH, IT, ES, EH, SI and BG). The partners include regional authorities, bodies governed by public law and one university. All participating partners are in good position to influence regional policies, and generate and disseminate knowledge. The partnership has various experiences when it comes to creating targeted policies for local food SMEs. All partners share a common interest and have benefits to gain from improving regional policies and strategies for the sector.
Activities
The main activity of the project is to exchange experience dedicated to the identification and sharing of good practice, through workshops, study visits and regional mapping activities. The activities in Component 3 (Exchange of experiences) will help identify good practices and share knowledge among the participating regions. The results and findings will be outlined in a good practice guide.

Outputs and results
The outputs of the project are: Conferences, workshops, study visits, mapping of existing policies and internal and external factors influencing the sector, and a good practice guide for policy improvement that will be disseminated to regional policymakers throughout Europe.
The expected results of the project are: 12 improved regional policies and strategies, and 39 staff members with improved capacities (knowledge/skills/expertise) resulting from the exchange of experience (3 staff members per partner).
An evaluation of different climate matrices used in biomass energy research

Abstract Renewable energy production from biomass sources and related bio-based economy is gaining more and more attention nowadays. Research related to biomass and bio-based fuels is an important part of the strategic agenda of many countries in Europe and Asia. Furthermore, upscaling investigation in the area is undergoing in many other countries around the globe like United States, China, and India. The expansion of the biofuels usage raises concerns related to their production sustainability, including several environmental, economic, and social aspects. The aim of this chapter is to present in detail the evaluation of different climate matrices used in global biomass energy research. A strategic framework for production of biofuels and their utilization is also presented. This strategic framework merges the different environmental indicators and conversion technologies in order to achieve a sustainable circular bio-based economy.
Meet and learn what excellent science does for you and the society

Meet and learn What Excellent science does FOR YOU and the society is the major focus of the coordinated WeForYou action in performing the European Researchers’ Night 2014 and 2015 in Slovenia. Energy research & innovation, Environment & Climate Action, Health and ICT Research & Innovation are the priorities which will be tackled by a series of actions and opportunities for interchange of knowledge in the European Researchers’ Night 2014 and 2015 in Slovenia.

The events in 2014 and 2015 in Slovenia will take place in: 
- Ljubljana, the main city square organized by Jožef Stefan Institute (JSI);
- Novo mesto, organized by Faculty of Information Studies;
- Piran and Piran bay, organized by National Institute of Biology;
- Planica, Planetary Habitat Simulation Centre organised by JSI;
- Krško, organized by Jožef Stefan Institute (JSI)

The European Researchers' Night aims to bring researchers to the general public and to increase awareness of research and innovation activities, with a view to support the public recognition of researchers, creating an understanding of the impact of researchers' work on citizen's daily life, and encouraging young people to embark on scientific careers. Among the goals of WeForYou is one of special importance - presenting the researchers that have shown excellency in their results and achievement as ordinary people. Activities that are planned will enable the wide public audience to identify itself with the researchers’ life and to promote science in a firm expectation that the passed message to the young people will embark them on scientific careers. Children and adults addressed within the WeForYou activities will have the opportunity to understand science by experiencing its day-to-day practices, by frequenting the spaces and places where research is carried out and by coming into contact with its machinery and equipment, but above all by talking to those directly involved in scientific research that brings benefit to the society.
Composing philosophy: amateurism and aesthetics in twentieth- and twenty-first-century music

Monograph Project: Composing Philosophy: Amateurism and Aesthetics in Twentieth- and Twenty-First-Century Music

Since around 1900, composers of classical music have mined philosophical texts for compositional material: in other words, they have “composed philosophy.” Starting with musical adaptations of Friedrich Nietzsche’s works, compositions that set texts taken from philosophical works, use operatic librettos on philosophers’ lives, or include a philosophical program have become increasingly common.  Yet scholarship has produced a limited view of the practice, primarily due to the tendency in historical musicology to heavily privilege the works of canonical composers. And problematically, in cases where major composers have themselves “composed philosophy,” such as in Gustav Mahler’s Symphony no. 3, from 1896 (in which he sets a text from Nietzsche’s _Also Sprach Zarathustra_) or in Steve Reich’s _Proverb_, from 1995 (in which he sets a phrase from Ludwig Wittgenstein), scholars have frequently also assumed that musical mastery, or even genius, translates to an expert understanding and therefore use of philosophical material. My project offers a new view of “composing philosophy” as something done from the standpoint of philosophical amateurism—my term for engaging deeply with philosophy while being inexpert in it—irrespective of whether composers are students, canonical figures, or something in between. By looking at the larger practice of “composing philosophy” through the lens of philosophical amateurism, we can gain insight into how this seemingly esoteric practice intersects with more popularizing concepts of philosophy, the ways in which music can complicate and transform how philosophical source material is heard or understood, and the reasons that the practice has become an increasingly common preoccupation for composers.
Eolas: Video Retrieval Application for Helping Tourists

AbstractIn this paper, a video retrieval application for the Android mobile platform is described. The application utilises computer vision technologies that, given a photo of a landmark of interest, will automatically locate online videos about that landmark. Content-based video retrieval technologies are adopted to find the most relevant videos based on visual similarity of video content. The system has been evaluated using a custom test collection with human annotated ground truth. We show that our system is effective, both in terms of speed and accuracy. This application is proposed for demonstration at MMM2014 and we are sure that this application would benefit tourists either planning travel or while travelling in real-time.KeywordsMultimedia Information RetrievalVideo ProcessingExemplar-SVMsVisual Similarity
Comprehensive safety evaluation method of expressway tunnel group

Through analyzing the expressway tunnel group operation safety features and evaluation theory demand,a comprehensive safety evaluation method with cloud model and matter-element analysis theory was proposed.This method can use matter-element model to establish the corresponding relations between evaluation objects and evaluation indexes for realizing the information feedback of evaluation system,and also can use cloud model to set up the uncertainty conversions between numerical value concept and natural language for realizing the uncertainty evaluation of language evaluation indexes.Finally,the method was verified by a project example of Xi'an—Hanzhong expressway tunnel group.The result show that this method can take the extension transformation into the evaluation index system,and give easy way to develop comprehensive safety evaluation system software by computer programming for engineering application.
Apparatus for forming of felts which have an isotropic structure

The invention relates to the forming of felts, the fibres of which are disposed in random directions. These felts are obtained by depositing the fibres which are carried by a current of gas on a gas-permeable conveyor, the fibres, prior to being deposited, being coated with a binder composition. The felt constituted on the conveyor is subject to at least a longitudinal compression, the intensity of which is regulated in such a way that no creases form on the surface. The felts obtained are highly resistant to compression, to tearing and to flexion.
A cross-border pattern of ecosustainable tourism to enhance archaeological, religious and popular traditions sites connected with the historical memory of the population in the municipality of San Michele al Tagliamento

The project of cross-border cooperation in the field of eco-sustainable tourism aims at learning about and enhancing the landscape, history and culture of a wide geographical area which developed between the rivers Tagliamento and Isonzo. The first part of the project concerns the census and the historical documentation of the sites to be catalogued, the overview, the photo/video survey and the creation of computerized files. Then the itineraries will be defined; guides and information material will be published, and made available also on the Town’s website. The objective consists in the promotion of three new itineraries along the riverways between the two regions, to favour a slow (nautical, cycling-pedestrian) sustainable mobility mainly in rural milieus. The project aims at retrieving the Roman and Medieval historical heritage, rediscovering the most interesting architectural items of the Venetian villas in the area, and learning more about the rural towns and villages. The itineraries created are: “From San Tommaso to Palazzo Braida. Towards the Sea along the Tagliamento”, “From Chiesa di San Nicolo’ to the Casoni. From the Tagliamento to the hinterland”, and “From the lighthouse of Bibione to the house of the valley. Between the valleys and the sea”. All itineraries were equipped with specially designed signage. In order to leave a memory of this human and professional experience, a publication was prepared entitled “Artistic, historical and environmental itineraries” consisting of two volumes, and lastly a CD-ROM is available presenting the itineraries identified through this study.
Matrix metalloproteinase 1 and circulating tumor cells in early breast cancer

Matrix metalloproteinases (MMPs) are involved in cancer invasion and metastasis. Circulating tumor cells (CTCs) play role in tumor dissemination and are an independent survival predictor in breast cancer (BC) patients. The aim of this study was to assess correlation between CTCs and tumor MMP1 in BC.Study included 149 primary BC patients treated by surgery from March 2012 to March 2013. Peripheral blood mononuclear cells (PBMC) were depleted of hematopoietic cells using RossetteSep(TM) selection kit. RNA extracted from CD45-depleted PBMC was interrogated for expression of EMT (TWIST1, SNAIL1, SLUG, ZEB1) and epithelial (CK19) gene transcripts by qRT-PCR. Patient samples with higher epithelial and/or mesenchymal gene transcripts than those of healthy donors (n = 60) were considered as CTC positive. Expression of MMP1 in surgical specimens was evaluated by immunohistochemistry.CTCs were detected in 24.2% patients. CTCs exhibiting only epithelial markers were present in 8.7% patients, whereas CTCs with epithelial-mesenchymal transition (EMT) markers (CTC_EMT) were observed in 13.4% of patients and CTCs co-expressing both markers were detected in 2.0% patients. Patients with CTC_EMT in peripheral blood had significantly increased expression of MMP1 in tumor cells (p = 0.02) and tumor associated stroma (p = 0.05) than those of patients without CTC_EMT. In multivariate analysis, CTC_EMT and tumor grade were independently associated with MMP1 expression in cancer cells, while CTC_EMT and Ki67 were independently associated with MMP1 expression in cancer associated stroma.Our data suggest link between MMP1 and CTCs with EMT phenotype and support role of MMPs and EMT in tumor dissemination.
SIFT and homographic transform-based cardiac image registration

Registration of images, serving as a pre-cursor to many medical image analysis methods such as fusion and object detection, remains a challenging task. In this paper, we demonstrate a novel automated mono-modal medical image registration framework of the human heart. Scale Invariant Feature Transform (SIFT) is utilized to map both the reference and floating images, and the homographic transform subsequently performs the necessary alignment. A range of histogram comparison methods then evaluates the results of our registration. Overall, the positive performance shown in our results affirms the potential use of this method for more advanced registration applications in the future, thereby further assisting the medical practitioner in cardiac diagnosis and surgery.
Research of low-carbon campus model of Central South University

On the background of advocating green ideas and building low-carbon society,colleges and universities should be the pioneer of low-carbon life.To build a low-carbon campus,which should be established on the basis of the original model of colleges,and regard the campus as a system then to research its materials input,output and recycle.Besides,it should choose the carbon dioxide emissions as an indicator to assess the operations of campus system at present.At meantime,build a sound environment-friendly management system and put forward targeted recommendations on improvement measures.In this paper,regard Central South University(CSU)as the economic system,combining Material Flow Analysis and Carbon Footprint Theory,calculate the original carbon dioxide emissions of CSU about material and energy in input,output and recycle,then build the CSU low-carbon campus system with specific recommendations.Thus contributing to a campus of low-carbon and sustainable development.
Automatic segmentation and analysis of fibrin networks in 3D confocal microscopy images

Fibrin networks are a major component of blood clots that provides structural support to the formation of
growing clots. Abnormal fibrin networks that are too rigid or too unstable can promote cardiovascular problems
and/or bleeding. However, current biological studies of fibrin networks rarely perform quantitative analysis of
their structural properties (e.g., the density of branch points) due to the massive branching structures of the
networks. In this paper, we present a new approach for segmenting and analyzing fibrin networks in 3D confocal
microscopy images. We first identify the target fibrin network by applying the 3D region growing method with
global thresholding. We then produce a one-voxel wide centerline for each fiber segment along which the branch
points and other structural information of the network can be obtained. Branch points are identified by a novel
approach based on the outer medial axis. Cells within the fibrin network are segmented by a new algorithm that
combines cluster detection and surface reconstruction based on the α-shape approach. Our algorithm has been
evaluated on computer phantom images of fibrin networks for identifying branch points. Experiments on z-stack
images of different types of fibrin networks yielded results that are consistent with biological observations.
Cross-border Governance of Romanic Itineraries

ITINERA ROMANICA+ comes from the experience of the ITERR-COST, ACCESSIT and GRITACCESS projects. It promotes the Romanesque cultural heritage and cooperation area accessibility by combining routes connecting Romanesque sites with joint protection, promotion and enhancement actions. The project involves all five regions and identifies 13 areas of interest (2 in Tuscany, 5 in Sardinia, 2 in Corsica, 3 in Liguria and 1 in PACA); these rural areas have in common the presence of minor cultural sites with limited accessibility. The project partnership consists of 7 partners, both public and private. The general objective is to improve the capacity to manage and enhance the common heritage on a cross-border level by pursuing the following: 1. A coordination action at the institutional level, to lay down a joint plan that collects local experiences and needs and identifies good accessibility practices and management models; 2. Actions to improve the actual and virtual accessibility of the sites, which will lead to an integrated offer of 13 itineraries with a multi-language mobile application suitable for various types of users, and a set of pilot actions to enable accessibility for people with reduced mobility or disabilities; 3. An action of entertainment and awareness raising of the integrated offer in all areas, promoting the value of their cultural and natural resources, through the creation of 4 awareness-raising and information Laboratories in each area and artistic-cultural "Romanesque Days" events; 4. The cross-border extension of the Itinera Romanica model, an association founded in Sardinia following ITERR-COST, to manage the integrated offer of itineraries according to the joint model developed during the project.
Rethinking HBase: Design and Implementation of an Elastic Key-Value Store over Log-Structured Local Volumes

HBase is a prominent NoSQL system used widely in the domain of big data storage and analysis. It is structured as two layers: a lower-level distributed file system (HDFS)supporting the higher-level layer responsible for data distribution, indexing, and elasticity. Layered systems have in many occasions proven to suffer from overheads due to the isolation between layers, HBase is increasingly seen as an instance of this. To overcome this problem we designed, implemented, and evaluated HBase-BDB, an alternative to HBase that replaces the HDFS store with a thinner layer of a log-structured B+ tree key value store (Berkeley DB) operating over local volumes. We show that HBase-BDB overcomes HBase's performance bottlenecks (while retaining compatibility with HBase applications) without losing on elasticity features. We evaluate the performance of HBase and HBase-BDB using the Yahoo! Cloud Serving Benchmark (YCSB) and online transaction processing(OLTP) workloads on a commercial public Cloud provider. We find that HBase-BDB outperforms a tuned HBase configuration by up to 85% under a write-intensive workload due to HBase-BDB's reduced background-write activity. HBase-BDB's novel elasticity mechanisms operating over local volumes are shown to be as perform ant as HBase's equivalent features when stress-tested under TPC-C workloads.