nils-herrmann/clean_scirepeval huggingface dataset:
High performance volume of intersection projectors for 3D PET image reconstruction based on polar symmetries and SIMD vectorisation.
Venue: Physics in medicine and biology
Year: 2015

For high resolution, iterative 3D PET image reconstruction the efficient implementation of forward backward projectors is essential to minimise the calculation time. Mathematically, the projectors are summarised as a system response matrix (SRM) whose elements define the contribution of image voxels to lines of response (LORs) In fact, the SRM easily comprises billions of non zero matrix elements to evaluate the tremendous number of LORs as provided by state of the art PET scanners. Hence, the performance of iterative algorithms, e.g. maximum likelihood expectation maximisation (MLEM) suffers from severe computational problems due to the intensive memory access and huge number of floating point operations. Here, symmetries occupy a key role in terms of efficient implementation. They reduce the amount of independent SRM elements, thus allowing for a significant matrix compression according to the number of exploitable symmetries. With our previous work, the PET REconstruction Software TOolkit (PRESTO) very high compression factors >300) are demonstrated by using specific non Cartesian voxel patterns involving discrete polar symmetries. In this way, a pre calculated memory resident SRM using complex volume of intersection calculations can be achieved. However, our original ray driven implementation suffers from addressing voxels, projection data and SRM elements in disfavoured memory access patterns. As a consequence, a rather limited numerical throughput is observed due to the massive waste of memory bandwidth and inefficient usage of cache respectively. In this work, an advantageous symmetry driven evaluation of the forward backward projectors is proposed to overcome these inefficiencies. The polar symmetries applied in PRESTO suggest a novel organisation of image data and LOR projection data in memory to enable an efficient single instruction multiple data vectorisation, i.e. simultaneous use of any SRM element for symmetric LORs. In addition, the calculation time is further reduced by using simultaneous multi threading (SMT) A global speedup factor of 11 without SMT and above 100 with SMT has been achieved for the improved CPU based implementation while obtaining equivalent numerical results.
Business Model Canvas as Diagnostic Tool of the Creation of Cultural Value Conceptual and Exploratory approuch to the Case of Ferreira's de Castro Cultural Complex
Venue: 2020 15th Iberian Conference on Information Systems and Technologies (CISTI)
Year: 2020

The definitions and concepts associated to business model are changing because the economic and financial transactions caused by the digital era. Those could be understood as the entrepreneur and manager conceptual tool that helps the decision making, root to create and deliver economic, non economic value and/or economic impact, social, environmental, cultural, among others, this one as measures of that. The article purpose is exploring the business model canvas as diagnostic tool in the process of creation and presentation of cultural value to the community, being the study object Ferreira's de Castro Cultural Complex.It's a case study, hybrid theoretic conceptual and empirical and exploratory. Was followed a qualitative methodology with a constructivist paradigm and an interpretative base. The data were collected through a documental analysis and semi structured recorded interviews and for the data analysis were used content analyse.Between others, concludes that: (a) the business model canvas is a useful and adaptable tool to diagnose the system of creation, development, renovation and dissemination of cultural value and (b) the complex presents some frailties like the incapacity of looking to communication as generator and spreading cultural value factor and the consequent effects of that. Was possible realize theoretic conceptual solutions for the debilities, those are practicable. This study contributes to the practice, could be replicated to other similar cases. Is relevant to the investigation because turn possible the creation of hypothesis for later tests in study deepening or in future study cases. In function of the literature review, this study is the first to explore the BMC as diagnostic tool at value creation by cultural equipment's.
Temperature terms in modern Eastern Armenian
Year: 2015

This paper discusses the lexical expression of temperature concepts in Eastern Armenian, within the general framework of the lexical typology of temperature terms. Eastern Armenian displays adjective like tactile, noun like ambient and verb like personal temperature expressions. These part of speech preferences also have some less visible correlates in derivational morphology. Although lexical diversity is greater in the domain of hot temperatures, with its variety of non derived nouns and adjectives and a special class of fire temperatures forming a separate kind of temperature additional to the ambient, tactile and personal kinds, corpus statistics show that Armenian has a clearly triangular system with only one salient term for tactile and ambient domains, referring to both hot and warm temperatures, while the cold domain is divided between more or less dedicated and almost equally frequent tactile and ambient terms. Finally, a brief look at the etymologies reveals that there are very few terms that can be securely traced back to proto Indo European. New terms, often of unknown origins, have entered the arena, and the former basic 'hot' term has now been ousted to the metaphorical domain by a new term of unknown descent.
DESIGN AND ANALYSIS AN EFFICIENT LIGHTWEIGHT BRAKE CALIPER FOR KUIM ELECTRIC VEHICLE
Year: 2019

The purpose of this project was to design and fabricate an optimized caliper disc brake for KUIM electric vehicle. There are several properties of the caliper disc brake must be consider to make sure that the product that will produce have a quality from all aspects which are low noise level, life cycle cost, pollution rates, energy consumption, material consumption, provide safety and reliability, and high serviceability. The objective of this work is to design, analyze and investigate the strength and stiffness of the brake caliper during braking operation using ANSYS Workbench 15.0. This analysis is further used to identify the critical locations of low stiffness on the brake caliper and also aimed at evaluating the performance of brake caliper under severe braking conditions. Hence best suitable design is suggested based on the performance and strength criteria.
A Game Theoretical Approach for Green Power Allocation in Energy Harvesting Device to Device Communications
Venue: 2016 IEEE 83rd Vehicular Technology Conference (VTC Spring)
Year: 2016

In this paper, we address the energy efficient power allocation problem for energy harvesting device to device (EH D2D) communications, which enable user equipments (UEs) to harvest energy from ambient environments. The challenge is how to optimize energy efficiency (EE) with the intermittent and dynamic characteristics of energy arrivals. We model the offline power allocation problem as a non cooperative game over a finite horizon. Various practical constraints such as circuit power consumption, energy causality, battery capacity, quality of service (QoS) and maximum transmission power have been taken into consideration. A low complexity iterative power allocation algorithm is developed by exploiting properties of non linear fractional programming and Lagrange dual decomposition. Simulation results demonstrate that the proposed algorithm outperforms the power greedy algorithm by 55% and 84% for D2D and cellular UEs, respectively.
SCELMo: Source Code Embeddings from Language Models
Venue: ArXiv
Year: 2020

Continuous embeddings of tokens in computer programs have been used to support a variety of software development tools, including readability, code search, and program repair. Contextual embeddings are common in natural language processing but have not been previously applied in software engineering. We introduce a new set of deep contextualized word representations for computer programs based on language models. We train a set of embeddings using the ELMo (embeddings from language models) framework of Peters et al (2018) We investigate whether these embeddings are effective when fine tuned for the downstream task of bug detection. We show that even a low dimensional embedding trained on a relatively small corpus of programs can improve a state of the art machine learning system for bug detection.
Modelling Scholarly Debate: Conceptual Foundations for Knowledge Domain Analysis Technology
Year: 2009

Knowledge Domain Analysis (KDA) research investigates computational support for users who desire to understand and/or participate in the scholarly inquiry of a given academic knowledge domain. KDA technology supports this task by allowing users to identify important features of the knowledge domain such as the predominant research topics, the experts in the domain, and the most influential researchers. This thesis develops the conceptual foundations to integrate two identifiable strands of KDA research: Library and Information Science (LIS) which commits to a citation based Bibliometrics paradigm, and Knowledge Engineering (KE) which adopts an ontology based Conceptual Modelling paradigm. A key limitation of work to date is its inability to provide machine readable models of the debate in academic knowledge domains. This thesis argues that KDA tools should support users in understanding the features of scholarly debate as a prerequisite for engaging with their chosen domain. To this end, the thesis proposes a Scholarly Debate Ontology which specifies the formal vocabulary for constructing representations of debate in academic knowledge domains. The thesis also proposes an analytical approach that is used to automatically detect clusters of viewpoints as particularly important features of scholarly debate. This approach combines aspects of both the Conceptual Modelling and Bibliometrics paradigms. That is, the method combines an ontological focus on semantics and a graph theoretical focus on structure in order to identify and reveal new insights about viewpoint clusters in a given knowledge domain. This combined ontological and graph theoretical approach is demonstrated and evaluated by modelling and analysing debates in two domains. The thesis reflects on the strengths and limitations of this approach, and considers the directions which this work opens up for future research into KDA technology.
Governing and (re)producing project governance: Public Private Partnerships at their exploitation phase
Year: 2019

Public Private Partnerships (PPPs) are usually presented as collaborative inter organizational relationships between public and private organizations for increasing the efficiency of public infrastructure delivery. Yet, PPPs are realized in very particular long term contractual engagements, whose effects on the quality of the partnership and its outcomes are often subject to debate by practitioners and scholars. Here it is argued that our understanding of PPPs path at project level requires framing their formal governance structures as continuously (re)shaped by managerial activity, interactions and relations. Project managerial relations and interaction are built upon managers' dual position as members of temporal and permanent organizations. Furthermore, governing managerial activity unfolds within the historically contingent public private relationing embodied in PPP contracts. Cycles of change and reproduction of PPP governance at the project level emerge, but are not reduced to, the shifts in the control/autonomy relationing in the contested field of public infrastructure and build environment. Therefore, the degrees of managerial freedom or agency depend on their creative enactment of project governance structures and organizational mandates, and their capacity to build new ways of relationing that eventually contribute to change at field level. This PhD dissertation substantiates this idea, taking as an empirical setting the maintenance and operation phase of Design Build Finance Maintenance (DBFM) contracts in the Netherlands. We situate governing activity open to contingency and explainable within the complex process inter linking agency and structure at project, organization and fields levels. In this introductory chapter, we define PPPs as a governance design and then as a phenomenon. These two different perspectives set up the context that accounts for the need to elaborate on social theory approaches to bring to light the actuality of PPP at the project level. Based on this background, we introduce the problem statement, research questions, approach and strategy inspired in the critical realist logic of scientific discovery. This section ends with the outline of the PhD dissertation.
Flame retardant silicon rubber sleeve and preparation method thereof
Year: 2015

The invention discloses a flame retardant silicon rubber sleeve and a preparation method thereof. The preparation method comprises the following steps: a, mixing silicon rubber, fumed silica, chlorinated paraffin, aluminium hydroxide, zinc borate, boehmite and sodium molybdate to prepare a masterbatch; b, mixing a vulcanizing agent and the masterbatch to perform primary vulcanization treatment; c, performing secondary vulcanization treatment on the masterbatch subjected to the primary vulcanization treatment in a baking oven to prepare flame retardant silicon rubber; d, performing extrusion molding on the flame retardant silicon rubber to prepare the flame retardant silicon rubber sleeve. The flame retardant silicon rubber sleeve prepared by the method has excellent flame retardancy.
Heart Failure Clinical Trials in East and Southeast Asia: Understanding the Importance and Defining the Next Steps.
Venue: JACC. Heart failure
Year: 2016

Heart failure (HF) is a major and increasing global public health problem. In Asia, aging populations and recent increases in cardiovascular risk factors have contributed to a particularly high burden of HF, with outcomes that are poorer than those in the rest of the world. Representation of Asians in landmark HF trials has been variable. In addition, HF patients from Asia demonstrate clinical differences from patients in other geographic regions. Thus, the generalizability of some clinical trial results to the Asian population remains uncertain. In this article, we review differences in HF phenotype, HF management, and outcomes in patients from East and Southeast Asia. We describe lessons learned in Asia from recent HF registries and clinical trial databases and outline strategies to improve the potential for success in future trials. This review is based on discussions among scientists, clinical trialists, industry representatives, and regulatory representatives at the CardioVascular Clinical Trialist Asia Forum in Singapore on July 4, 2014.
Noninvasive respiratory support in the hypoxaemic peri operative/periprocedural patient: A joint ESA/ESICM guideline.
Venue: European journal of anaesthesiology
Year: 2020

Hypoxaemia is a potential life threatening yet common complication in the peri operative and periprocedural patient (e.g. during an invasive procedure with risk of deterioration of gas exchange, such as bronchoscopy) The European Society of Anaesthesiology (ESA) and the European Society of Intensive Care Medicine (ESICM) have developed guidelines for the use of noninvasive respiratory support techniques in the hypoxaemic patient in the peri operative and periprocedural period. The panel outlined five clinical questions regarding treatment with noninvasive respiratory support techniques [conventional oxygen therapy (COT) high flow nasal cannula (HFNC) noninvasive positive pressure ventilation (NIPPV) and continuous positive airway pressure (CPAP) for hypoxaemic patients with acute peri operative/periprocedural respiratory failure. The goal was to assess the available literature on the various noninvasive respiratory support techniques, specifically studies that included adult participants with hypoxaemia in the peri operative/periprocedural period. The literature search strategy was developed by a Cochrane Anaesthesia and Intensive Care trial search specialist in close collaboration with the panel members and the ESA group methodologist. The Grading of Recommendations Assessment, Development and Evaluation (GRADE) system was used to assess the level of evidence and to grade recommendations. The final process was then validated by both ESA and ESICM scientific committees. Among 19 recommendations, the two grade 1B recommendations state that in the peri operative/periprocedural hypoxaemic patient, the use of either NIPPV or CPAP (based on local expertise) is preferred to COT for improvement of oxygenation; and that the panel suggests using NIPPV or CPAP immediately postextubation for hypoxaemic patients at risk of developing acute respiratory failure after abdominal surgery.
Educating about Art by Augmented Reality: New Didactic Mediation Perspectives at School and in Museums
Year: 2018

Different national and international researches have stressed relevant aspects concerning the application of augmented reality in formal and non formal educational contexts, especially at school and in museums. In fact, augmented reality plays a meaningful role in the relationship between technologies and didactic mediation; its applications are the prerequisite for an augmented learning, through the reproduction of specific scenarios which go beyond the pure theoretical dimension. More specifically the present contribution aims to set out an option for a reflection on the relationship between art education and augmented reality technologies from the didactic mediation point of view, with reference to a shared and collaborative construction of knowledge of artistic and cultural heritage.
Predicting process behavior meets factorization machines
Venue: Expert Syst. Appl.
Year: 2018

Predictive business process monitoring methods use datasets of completed cases related to a process to predict the behaviour of running cases. To handle the large amounts of available event data, recent works have turned to deep learning techniques and have achieved fairly accurate results. However, results from these techniques are often difficult to interpret and explain. In the area of Recommender systems, factorization models have been an important class of predictive techniques due to its scalability and ability to infer latent features. Motivated by research in Recommender systems, this paper presents a predictive model that combines matrix factorization techniques from Recommender systems and knowledge from Business Process Management to learn interactions between latent features that can be used to predict the next event of an ongoing case. Evaluation on two real life datasets from a Dutch Financial Institute and Volvo IT Belgium shows that the approach yields results that are comparable and at times superior to state of the art techniques such as neural networks, yielding at most a precision of 0.87 for next event predictions.
A FBS based energy modelling method for energy efficiency oriented design
Year: 2018

Energy efficiency oriented design is highly valued in reducing the energy consumption during product use and models for characterizing energy consumption are widely regarded as essential prerequisites of energy efficiency oriented design. Unfortunately, correlating energy consumption with the products' design features during the design process is a difficult task. To address this challenge, this paper uses the Function Behaviour Structure (FBS) ontology as a bridge to link design features and energy consumption throughout the design process and proposes a FBS based energy modelling method. This method divides the energy modelling process into two steps. The first is to identify the required energy information and characteristics from available data on the design. The second step is to arrange the obtained information in a logical order to create energy models. Two tools, namely the modified FBS framework and the energy flow diagram, are introduced to aid designers in respectively dealing with the two energy modelling steps. To demonstrate this method, a case study considering mechanical linkage servo press is carried out.
FIRE 2019 AILA Track: Artificial Intelligence for Legal Assistance
Venue: FIRE
Year: 2019

The FIRE 2019 AILA track focused on creating a framework for evaluating different methods of retrieving relevant prior/precedent cases and statutes given a factual scenario. There were two tasks for this track: (i) Identifying relevant prior cases for a given situation (Precedent Retrieval) and (ii) Identifying most relevant statutes for a given situation (Statute Retrieval) Given a situation that can lead to filing a case, the precedent retrieval task aims at finding case documents where similar legal situations were addressed. The statute retrieval task aims at finding relevant statutes that are applicable to the situation. The factual scenarios, statutes and prior case documents used in the tasks were from the Indian Supreme Court judiciary.
Towards a Complete View of the Certificate Ecosystem
Venue: Internet Measurement Conference
Year: 2016

The HTTPS certificate ecosystem has been of great interest to the measurement and security communities. Without any ground truth, researchers have attempted to study this PKI from a variety of fragmented perspectives, including passively monitored networks, scans of the popular domains or the IPv4 address space, search engines such as Censys, and Certificate Transparency (CT) logs. In this work, we comparatively analyze all these perspectives. We find that aggregated CT logs and Censys snapshots have many properties that complement each other, and that together they encompass over 99% of all certificates found by any of these techniques. However, they still miss 1.5% of certificates observed in a crawl of all domains in .com, .net, and .org. We go on to illustrate how this combined perspective affects results from previous studies. In light of these findings, we have worked with the operators of Censys to incorporate CT log data into its results going forward, and we recommend that future HTTPS measurement adopt this new vantage.
Learning to Think Slower: Review of Thinking, Fast and Slow by Daniel Kahneman (2011)
Year: 2017

Daniel Kahneman. Thinking, Fast and Slow (New York, NY: Farrar, Straus and Giroux) 499 pp. ISBN 978 0374275631. As an expansive review of Kahneman and others' work over the past half century in understanding human decision making, Thinking, Fast and Slow provides Numeracy readers much to consider for both pedagogy and research. In this review, we outline Kahneman's core argument that humans use both rash (emotional) System 1 thinking and slow (logical) System 2 thinking then discuss how such systems might be addressed in a quantitative literacy classroom.