pinecone/core-2020-05-10-deduplication huggingface dataset:
Flat bands as a route to high-temperature superconductivity in graphite

Superconductivity is traditionally viewed as a low-temperature phenomenon.
Within the BCS theory this is understood to result from the fact that the
pairing of electrons takes place only close to the usually two-dimensional
Fermi surface residing at a finite chemical potential. Because of this, the
critical temperature is exponentially suppressed compared to the microscopic
energy scales. On the other hand, pairing electrons around a dispersionless
(flat) energy band leads to very strong superconductivity, with a mean-field
critical temperature linearly proportional to the microscopic coupling
constant. The prize to be paid is that flat bands can generally be generated
only on surfaces and interfaces, where high-temperature superconductivity would
show up. The flat-band character and the low dimensionality also mean that
despite the high critical temperature such a superconducting state would be
subject to strong fluctuations. Here we discuss the topological and
non-topological flat bands discussed in different systems, and show that
graphite is a good candidate for showing high-temperature flat-band interface
superconductivity.Comment: Submitted as a chapter to the book on "Basic Physics of
  functionalized Graphite", 21 pages, 12 figure
Attack Tree Analysis for Insider Threats on the IoT using Isabelle

The Internet-of-Things (IoT) aims at integrating small devices around humans. The threat from human insiders in “regular” organisations is real; in a fully-connected world of the IoT, organisations face a substantially more severe security challenge due to unexpected access possibilities and information flow. In this paper, we seek to illustrate and classify insider threats in relation to the IoT (by ‘smart insiders’), exhibiting attack vectors for their characterisation. To model the attacks we apply a method of formal modelling of Insider Threats in the interactive theorem prover Isabelle. On the classified IoT attack examples, we show how this logical approach can be used to make the models more precise and to analyse the previously identified Insider IoT attacks using Isabelle attack trees
Orientation system based on speculative computation and trajectory mining

Assistive technologies help users with disabilities (physical,
sensory, intellectual) to perform tasks that were difficult or impossible to
execute. Thus, the user autonomy is increased through this technology.
Although some adaptation of the user might be needed, the effort should
be minimum in order to use devices that convey assistive functionalities.
In cognitive disabilities a common diminished capacity is orientation,
which is crucial for the autonomy of an individual. There are several
research works that tackle this problem, however they are essentially
concerned with user guidance and application interface (display of information).
The work presented herein aims to overcome these systems
through a framework of Speculative Computation, which adds a prediction
feature for the next move of the user. With an anticipation feature
and a trajectory mining module the user is guided through a preferred
path receiving anticipated alerts before a possible shift in the wrong
direction.This work has been supported by COMPETE: POCI-01-0145-FEDER-007043
and FCT Fundaçãao para a Ciência e Tecnologia within the Project Scope:
UID/CEC/00319/2013. The work of João Ramos is supported by a doctoral the
FCT grant SFRH/BD/89530/2012.  The work of Tiago Oliveira is also supported by the FCT grant with the reference SFRH/BD/85291/2012info:eu-repo/semantics/publishedVersio
The effect of decision satisfaction prediction in argumentation-based negotiation

Supporting group decision-making is a complex process, especially
when decision-makers have no opportunity to gather at the same place and at the
same time. Besides that, finding solutions may be difficult in case representing
agents are not able to understand the process and support the decision-maker accordingly.
Here we propose a model and an algorithm that will allow the agent
to analyse tendencies. This way we intend that agents can achieve decisions with
more quality and with higher levels of consensus. Our model allows the agent to
redefine his objectives to maximize both his and group satisfaction. Our model
proved that agents that use it will obtain higher average levels of consensus and
satisfaction. Besides that, agents using this model will obtain those higher levels
of consensus and satisfaction in most of the times compared to agents that do not
use it.This work has been supported by COMPETE Programme (operational programme for
competitiveness) within project POCI-01-0145-FEDER-007043, by National Funds
through the FCT – Fundação para a Ciência e a Tecnologia (Portuguese Foun-dation
for Science and Technology) within the Projects UID/CEC/00319/2013,
UID/EEA/00760/2013, and the João Carneiro PhD grant with the reference
SFRH/BD/89697/2012 and by Project MANTIS - Cyber Physical System Based Proactive
Collaborative Maintenance (ECSEL JU Grant nr. 662189).info:eu-repo/semantics/publishedVersio
Sensing distress – towards a blended method for detecting and responding to problematic customer experience events

Excellent Customer Experience (CE) is a strategic priority for many large service organisations in a competitive marketplace. CE should be seamless, and in most cases it is, with customers ordering, paying for and receiving services that align with their expectations. However, in rare cases, an exceptional process event leads to service delivery delay or failure, and both the customer and organ-isation end up in complex recovery situations as a result. Unless this recovery is handled effectively inefficiency, avoidable costs and brand damage can result. So how can organisations sense when these problems are occurring and how can they respond to avoid these negative consequences? Our paper proposes a blended methodology where process mining and qualitative user research com-bine to give a holistic picture of customer experience issues, derived from a par-ticular customer case study. We propose a theoretical model for detecting and responding to customer issues, and discuss the challenges and opportunities of such a model when applied in practice in large service organisations
Better patient-doctor communication – a survey and focus group study

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-39399-5_6The study explored barriers to effective communication between doctors and patients, and to encourage patients to be more knowledgeable about their health. A survey was conducted with 128 people who commented on the effectiveness of the process of consulting their doctor and rated a number of alternatives to face-to-face consultations. A focus group explored the topics further and a range of possible solutions to address current barriers were suggested. These include: considering alternative methods for GP consultation, providing new systems to give doctors better overviews of the patient population, devising new methods for patients to record information from consultations, use of diagnostic systems in the surgery and meetings or online forums to promote better informed patients
The i* framework for goal-oriented modeling

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-39417-6i* is a widespread framework in the software engineering field that supports  goal-oriented  modeling  of  socio-technical systems and organizations. At its heart lies a language offering concepts such as actor, dependency, goal and decomposition. i* models resemble a network of interconnected, autonomous, collaborative  and dependable  strategic  actors. Around this language, several analysis techniques have emerged, e.g. goal satisfaction analysis and metrics computation. In this work, we present a consolidated version of the i* language based on the most \ud
adopted versions of the  language. We define the main constructs of the language and we articulate them in the form of a metamodel. Then, we implement this version and a concrete technique, goal satisfaction analys is based on goal propagation, using  ADOxx. Throughout the chapter, we used an example based on open source software adoption to illustrate the concepts and test the implementation.Peer ReviewedPostprint (author's final draft
Using the guard-stage-milestone notation for monitoring BPMN-based processes

Business processes are usually designed by means of imperative languages to model the acceptable execution of the activities performed within a system or an organization. At the same time, declarative languages are better suited to check the conformance of the states and transitions of the modeled process with respect to its actual execution. To avoid defining models twice from scratch to cope with both the process enactment and its monitoring, this paper proposes an approach for translating BPMN process models to E-GSM ones: an extension of the Guard-Stage-Milestone artifact-centric notation. The paper also shows how a monitoring engine based on E-GSM specifications can detect anomalies during the execution of the process and classify them according to different levels of severity, that is, with respect to the impact on the outcome of the process
Persistent Homology on Grassmann Manifolds for Analysis of Hyperspectral
  Movies

The existence of characteristic structure, or shape, in complex data sets has
been recognized as increasingly important for mathematical data analysis. This
realization has motivated the development of new tools such as persistent
homology for exploring topological invariants, or features, in large data sets.
In this paper we apply persistent homology to the characterization of gas
plumes in time dependent sequences of hyperspectral cubes, i.e. the analysis of
4-way arrays. We investigate hyperspectral movies of Long-Wavelength Infrared
data monitoring an experimental release of chemical simulant into the air. Our
approach models regions of interest within the hyperspectral data cubes as
points on the real Grassmann manifold $G(k, n)$ (whose points parameterize the
$k$-dimensional subspaces of $\mathbb{R}^n$), contrasting our approach with the
more standard framework in Euclidean space. An advantage of this approach is
that it allows a sequence of time slices in a hyperspectral movie to be
collapsed to a sequence of points in such a way that some of the key structure
within and between the slices is encoded by the points on the Grassmann
manifold. This motivates the search for topological features, associated with
the evolution of the frames of a hyperspectral movie, within the corresponding
points on the Grassmann manifold. The proposed mathematical model affords the
processing of large data sets while retaining valuable discriminatory
information. In this paper, we discuss how embedding our data in the Grassmann
manifold, together with topological data analysis, captures dynamical events
that occur as the chemical plume is released and evolves.Comment: version 2: typos correctio
Analyses of a Virtual World

We present an overview of a series of results obtained from the analysis of
human behavior in a virtual environment. We focus on the massive multiplayer
online game (MMOG) Pardus which has a worldwide participant base of more than
400,000 registered players. We provide evidence for striking statistical
similarities between social structures and human-action dynamics in the real
and virtual worlds. In this sense MMOGs provide an extraordinary way for
accurate and falsifiable studies of social phenomena. We further discuss
possibilities to apply methods and concepts developed in the course of these
studies to analyse oral and written narratives.Comment: 16 pages, 7 figures. To appear in: "Maths Meets Myths:
  Complexity-science approaches to folktales, myths, sagas, and histories."
  Editors: R. Kenna, M. Mac Carron, P. Mac Carron. (Springer, 2016
Numerical approaches for the analysis of timber frame walls

A numerical approach to simulate the behaviour of timber shear walls under both static and dynamic loading is proposed. Because the behaviour of timber shear walls hinges on the behaviour of the nail connections, the force-displacement behaviour of sheathing-to-framing nail connections are first determined and then used to define the hysteretic properties of finite elements representing these connections. The model nails are subsequently implemented into model walls. The model walls are verified using experimental results for both monotonic and cyclic loading. It is demonstrated that the complex hysteretic behaviour of timber shear walls can be reasonably represented using model shear walls in which nonlinear material failure is concentrated only at the sheathing-to-framing nail connections
Consolidation of a collar truss with a steel cable system

Post-tensioning techniques for strengthening existing timber elements have been used
throughout history with excellent results. Former applications on wooden trusses have already
shown some of the advantages of such a consolidating system, but very few tests were
performed on the topic. During an experimental campaign, a full-scale historical timber truss
was deeply analysed and tested in its original (unreinforced) condition, reaching a considerable
level of damage. It was later repaired with a steel cable system, using prestresses to recover the
structure bearing capacity, and tested again. The results show that the repair allowed a recovery
of at least the 80% of the ultimate load-carrying capacity. The complete failure was not
achieved, but it is likely to be presumed that the structure could have regained the totality of its
strength. The data acquired in both tests were later compared in order to understand in detail the
behavior of the truss.The present work was made within a Master thesis of the Erasmus Mundus Advanced Masters course in Structural Analysis of Monuments and Historical Constructions. The authors acknowledge also the support and assistance of Augusto de Oliveira Ferreira e Companhia Lda (AOF)
Local seismic cultures: the use of timber frame structures in the south of Portugal

Given the fact that using timber frame structures has proven to improve the seismic behavior of
vernacular architecture, as has been reported in past earthquakes in many countries, its
preservation as a traditional earthquake resistant practice is important. This paper firstly intends
to evaluate whether the use of timber frames as a traditional seismic resistant technique for
vernacular architecture in the South of Portugal, traditionally a seismic region, is still active.
Secondly, the city of Vila Real de Santo António was selected as a case study because it also
followed a Pombaline development contemporary to the reconstruction of Lisbon. The plan
included the provision of timber frame partition walls for some of the buildings and, thus, an
overview of the type of constructions originally conceived is provided. Finally, the alterations
done in the original constructions and the current state of the city center are described and the
effect of these changes on the seismic vulnerability of the city is discussed.The authors wish to express their gratitude to the Portuguese Science and Technology Foundation (FCT) for the scholarship granted in the scope of the research project 'SEISMIC-V-Vernacular Seismic Culture in Portugal' (PTDC/ATP-AQI/3934/2012)
Virtual Reality Applications in Rehabilitation

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-39510-4_1One of the most valuable applications of virtual reality (VR) is in the domain of rehabilitation. After brain injuries or diseases, many patients suffer from impaired physical and/or cognitive capabilities, such as difficulties in moving arms or remembering names. Over the past two decades, VR has been tested and examined as a technology to assist patients’ recovery and rehabilitation, both physical and cognitive. The increasing prevalence of low-cost VR devices brings new opportunities, allowing VR to be used in practice. Using VR devices such as head-mounted displays (HMDs), special virtual scenes can be designed to assist patients in the process of re-training their brain and reorganizing their functions and abilities. However, such VR interfaces and applications must be comprehensively tested and examined for their effectiveness and potential side effects. This paper presents a review of related literature and discusses the new opportunities and challenges. Most of existing studies examined VR as an assessment method rather than a training/exercise method. Nevertheless, promising cases and positive preliminary results have been shown. Considering the increasing need for self-administered, home-based, and personalized rehabilitation, VR rehabilitation is potentially an important approach. This area requires more studies and research effort
An automated model based approach to mobile UI specification and development

One of the problems of current software development lies on the existence of solutions to address properly the code portability for the increasing number of platforms. To build abstract models is one efficient and correct way to achieve this. The Model-Driven Software Engineering (MDSE) is a development methodology where models are the key for all project lifecycle, from requisites gathering, through modelling and to the development stage, as well as on testing. Pervasive computing demands the use of several technical specifications, such as wireless connections, advanced electronics, and the Internet, as well as it stresses the need to adjust the user interface layer to each one of the platforms. Using a model-driven approach it is possible to reuse software solutions between different targets, since models are not affected by the device diversity and its evolution.

This paper reports on a tool, which is highly parameterizable and driven to support Model-2-Model and Model-2-Code transformations. Also, instead of using a predefined technology, the tool was built to be scalable and extensible for many different targets and also by addressing the user interface layer generation.This work is ﬁnanced by the ERDF ? European Regional Development Fund through the Operational Programme for Competitiveness and Internationalisation - COMPETE 2020 Programme within projectPOCI-01-0145-FEDER-006961, and by National Funds through the FCT ? Fundação para a Ciência e a Tecnologia (Portuguese Foundation for Science and Technology) as part of project UID/EEA/50014/2013.info:eu-repo/semantics/publishedVersio
From Modelling to Systematic Deployment of Distributed Active Objects

International audienceIn the context of the expansion of actors and active objects, we are still facing a gap between the safety guaranteed by modelling and verification languages and the efficiency of distributed middlewares. In this paper, we reconcile two active object-based languages, ABS and ProActive, that respectively target the aforementioned goals. We compile ABS programs into ProActive, making possible to benefit from the strengths of both languages, while requiring no modification on the source code. After introducing the translational semantics, we establish the properties and the correctness of the translation. Overall, this paper presents an approach to running different active object models in distributed environments, and more generally studies the implementation of programming languages based on active objects
An Interference-Free Programming Model for Network Objects

Network objects are a simple and natural abstraction for distributed
object-oriented programming. Languages that support network objects, however,
often leave synchronization to the user, along with its associated pitfalls,
such as data races and the possibility of failure. In this paper, we present
D-SCOOP, a distributed programming model that allows for interference-free and
transaction-like reasoning on (potentially multiple) network objects, with
synchronization handled automatically, and network failures managed by a
compensation mechanism. We achieve this by leveraging the runtime semantics of
a multi-threaded object-oriented concurrency model, directly generalizing it
with a message-based protocol for efficiently coordinating remote objects. We
present our pathway to fusing these contrasting but complementary ideas, and
evaluate the performance overhead of the automatic synchronization in D-SCOOP,
finding that it comes close to---or outperforms---explicit locking-based
synchronization in Java RMI
Tuple Spaces Implementations and Their Efficiency

Among the paradigms for parallel and distributed computing, the one popularized with Linda and based on tuple spaces is the least used one, despite the fact of being intuitive, easy to understand and to use. A tuple space is a repository of tuples, where process can add, withdraw or read tuples by means of atomic operations. Tuples may contain different values, and processes can inspect the content of a tuple via pattern matching. The lack of a reference implementations for this paradigm has prevented its widespread. In this paper, first we do an extensive analysis on what are the state of the art implementations and summarise their characteristics. Then we select three implementations of the tuple space paradigm and compare their performances on three different case studies that aim at stressing different aspects of computing such as communication, data manipulation, and cpu usage. After reasoning on strengths and weaknesses of the three implementations, we conclude with some recommendations for future work towards building an effective implementation of the tuple space paradigm
Memory Carving in Embedded Devices: Separate the Wheat from the Chaff

International audienceThis paper investigates memory carving techniques for embedded devices. Given that cryptographic material in memory dumps makes carving techniques ineﬃcient, we introduce a methodology to distinguish meaningful information from cryptographic material in smallsized memory dumps. The proposed methodology uses an adaptive boosting technique with statistical tests. Experimented on EMV cards, the methodology recognized 92% of meaningful information and 98% of cryptographic material
Modeling and enacting enterprise decisions

For years, the capturing of business decisions in enterprise models has not been treated as a separate concern. Rather, decisions were included in business process models or in knowledge models and ontologies. This leaves the overall view of a decision and its interplay with other decision and data requirements dispersed and hard to maintain. The recently introduced OMG Decision Model and Notation (DMN) standard deals with decisions as a separate concern and presents decision modeling as a sovereign part of enterprise modeling. Decisions are modeled at the logical level, and the model is executable. This work links the logical decision model to various execution strategies and processes by formalizing decisions within a business context, and by examining execution mechanisms for different availability of input data. These strategies can determine the preferred business process that handles the decision or allow to execute a decision model even when not all inputs are available up front.status: publishe