pinecone/core-2020-05-10-deduplication huggingface dataset:
Convergence of finite volume scheme for degenerate parabolic problem with zero flux boundary condition

This note is devoted to the study of the finite volume methods used in the discretization of degenerate parabolic-hyperbolic equation with zero-flux boundary condition. The notion of an entropy-process solution, successfully used for the Dirichlet problem, is insufficient to obtain a uniqueness and convergence result because of a lack of regularity of solutions on the boundary. We infer the uniqueness of an entropy-process solution using the tool of the nonlinear semigroup theory by passing to the new abstract notion of integral-process solution. Then, we prove that numerical solution converges to the unique entropy solution as the mesh size tends to 0
A-posteriori error estimates for the localized reduced basis multi-scale
  method

We present a localized a-posteriori error estimate for the localized reduced
basis multi-scale (LRBMS) method [Albrecht, Haasdonk, Kaulmann, Ohlberger
(2012): The localized reduced basis multiscale method]. The LRBMS is a
combination of numerical multi-scale methods and model reduction using reduced
basis methods to efficiently reduce the computational complexity of parametric
multi-scale problems with respect to the multi-scale parameter $\varepsilon$
and the online parameter $\mu$ simultaneously. We formulate the LRBMS based on
a generalization of the SWIPDG discretization presented in [Ern, Stephansen,
Vohralik (2010): Guaranteed and robust discontinuous Galerkin a posteriori
error estimates for convection-diffusion-reaction problems] on a coarse
partition of the domain that allows for any suitable discretization on the fine
triangulation inside each coarse grid element. The estimator is based on the
idea of a conforming reconstruction of the discrete diffusive flux, that can be
computed using local information only. It is offline/online decomposable and
can thus be efficiently used in the context of model reduction
An Asymptotic-Preserving Scheme for Systems of Conservation Laws with Source Terms on 2D Unstructured Meshes

International audienceIn this paper, finite volumes numerical schemes are developed for hyperbolic systems of conservation laws with source terms. The systems under consideration degenerate into parabolic systems in large times when the source terms become stiff. In this framework, it is crucial that the numerical schemes are asymptotic-preserving ı.e. that they degenerate accordingly. Here, an asymptotic-preserving numerical scheme is proposed for any system within the aforementioned class on 2D unstructured meshes. This scheme is proved to be consistent and stable under a suitable CFL condition. Moreover, we show that it is also possible to prove that it preserves the set of (physically) admissible states under a geometrical property on the mesh. Finally, numerical examples are given to illustrate its behavior
A Time-Dependent Dirichlet-Neumann Method for the Heat Equation

We present a waveform relaxation version of the Dirichlet-Neumann method for
parabolic problem. Like the Dirichlet-Neumann method for steady problems, the
method is based on a non-overlapping spatial domain decomposition, and the
iteration involves subdomain solves with Dirichlet boundary conditions followed
by subdomain solves with Neumann boundary conditions. However, each subdomain
problem is now in space and time, and the interface conditions are also
time-dependent. Using a Laplace transform argument, we show for the heat
equation that when we consider finite time intervals, the Dirichlet-Neumann
method converges, similar to the case of Schwarz waveform relaxation
algorithms. The convergence rate depends on the length of the subdomains as
well as the size of the time window. In this discussion, we only stick to the
linear bound. We illustrate our results with numerical experiments.Comment: 9 pages, 5 figures, Lecture Notes in Computational Science and
  Engineering, Vol. 98, Springer-Verlag 201
Privacy-Preserving Schema Reuse

As the number of schema repositories grows rapidly and several webbased platforms exist to support publishing schemas, schema reuse becomes a new trend. Schema reuse is a methodology that allows users to create new schemas by copying and adapting existing ones. This methodology supports to reduce not only the effort of designing new schemas but also the heterogeneity between them. One of the biggest barriers of schema reuse is about privacy concerns that discourage schema owners from contributing their schemas. Addressing this problem, we develop a framework that enables privacy-preserving schema reuse. Our framework supports the contributors to define their own protection policies in the form of privacy constraints. Instead of showing original schemas, the framework returns an anonymized schema with maximal utility while satisfying these privacy constraints. To validate our approach, we empirically show the efficiency of different heuristics, the correctness of the proposed utility function, the computation time, as well as the trade-off between utility and privacyFull Tex
Reverse-nearest neighbor queries on uncertain moving object trajectories

Reverse nearest neighbor (RNN) queries in spatial and spatio-temporal databases have received significant attention in the database research community over the last decade. A reverse nearest neighbor (RNN) query finds the objects having a given query object as its nearest neighbor. RNN queries find applications in data mining, marketing analysis, and decision making. Most previous research on RNN queries over trajectory databases assume that the data are certain. In realistic scenarios, however, trajectories are inherently uncertain due to measurement errors or time-discretized sampling. In this paper, we study RNN queries in databases of uncertain trajectories. We propose two types of RNN queries based on a well established model for uncertain spatial temporal data based on stochastic processes, namely the Markov model. To the best of our knowledge our work is the first to consider RNN queries on uncertain trajectory databases in accordance with the possible worlds semantics. We include an extensive experimental evaluation on both real and synthetic data sets to verify our theoretical results.postprin
Tensorial methods and renormalization in Group Field Theories

In this thesis, we study the structure of Group Field Theories (GFTs) from
the point of view of renormalization theory. Such quantum field theories are
found in approaches to quantum gravity related to Loop Quantum Gravity (LQG) on
the one hand, and to matrix models and tensor models on the other hand. They
model quantum space-time, in the sense that their Feynman amplitudes label
triangulations, which can be understood as transition amplitudes between LQG
spin network states. The question of renormalizability is crucial if one wants
to establish interesting GFTs as well-defined (perturbative) quantum field
theories, and in a second step connect them to known infrared gravitational
physics. Relying on recently developed tensorial tools, this thesis explores
the GFT formalism in two complementary directions. First, new results on the
large cut-off expansion of the colored Boulatov-Ooguri models allow to explore
further a non-perturbative regime in which infinitely many degrees of freedom
contribute. The second set of results provide a new rigorous framework for the
renormalization of so-called Tensorial GFTs (TGFTs) with gauge invariance
condition. In particular, a non-trivial 3d TGFT with gauge group SU(2) is
proven just-renormalizable at the perturbative level, hence opening the way to
applications of the formalism to (3d Euclidean) quantum gravity.Comment: PhD thesis, 229 pages, many figures. Partly based on arXiv:1104.5158,
  arXiv:1203.5082, arXiv:1207.6734 and arXiv:1303.677
Signature-Based Biometric Authentication

In a modern, civilized and advanced society, reliable authentication and authorization of individuals are becoming more essential tasks in several aspects of daily activities and as well as many different important applications such as in financial transactions, access control, travel and immigration, healthcare etc. In some situations, when individual equipment is required for confirmation of one's identity to other groups of people in order to make use of services or to achieve access to physical places, it is always necessary to declare self-identity and to prove the claim. Traditional authentication methods, which are based on knowledge (password-based authentication) or the utility of a token (photo ID cards, magnetic strip cards and key-based authentication), are less reliable because of loss, forgetfulness and theft. These issues direct substantial attention towards biometrics as an alternative method for person authentication and identification. The word 'biometric' has been derived from the Greek words "Bio-metriks", "Bio" which means life and "metriks" which means measures. Therefore a biometric is the measurement and statistical analysis of unchanging biological characteristics. Biometrics evaluate a person's unique physical or behavioural traits to authenticate their identity. As biometric identifiers are unique to persons, they are more reliable in verifying identity than token-based and knowledge-based methods. In the last few years, substantial efforts have been devoted to the development of biometric-based authentication systems. Biometrics provide an expected and successful solution to the authentication problem, as it offers the construction of systems that can identify individuals by the analysis of their physiological or behavioural characteristics [1]. In fact, the field of biometrics is the science of using digital technologies and the intention of biometric systems is to perform the recognition or authentication of people based on some biological characteristics that are intrinsically unique for each individual. The effectiveness of a biometric system is measured mainly by the distinguishing attributes that are used to verify the identity. A large number of biometric traits have been investigated and some of them are nowadays used in several applications. Common physical traits include fingerprints, ear, hand or palm geometry, vein, retina, iris and facial characteristics [2]. Behavioural traits include voice, signature, keystroke pattern and gait. A biometric scheme can either verify or identify the authentication of an individual. In verification mode, it authenticates the person's identity on the basis of his/her claimed identity. In identification mode, it establishes the person's identity (among those enrolled in a database) without the subjects having to claim their identity [3]. Among all other biometric traits, signature verification occupies an important and a very special place in the field of biometrics.Griffith Sciences, School of Information and Communication TechnologyFull Tex
Improving high availability and reliability of health interoperability systems

The accessibility and availability of patient clinical information are a constant need. The Agency for Interoperation, Diffusion and Archive of Medical Information (AIDA) was then developed to ensure the interoperability among healthcare information systems successfully. AIDA has demonstrated over time the need for greater control over its agents and their activities as the need for monitoring and preventing its machines and agents.
This paper presents monitoring and prevention systems that were developed for machines and agents, which allow not only prevent faults, but also watch and evaluate the behaviour of these components through monitoring dashboards. The Biomedical Multiagent Platform for Interoperability (BMaPI) implemented in Centro Hospitalar do Porto (CHP) revealed provide the necessary data and functionalities capable to manage and to monitor agents’ activities. It was found that the prevention systems identified critical situations successfully, contributing to an increase in the integrity and availability of AIDA implemented in CHP
Towards a flexible and transparent database evolution

Applications refactorings that imply the schema evolution are common activities in programming practices. Although modern object-oriented databases provide transparent schema evolution mechanisms, those refactorings continue to be time consuming tasks for programmers.

In this paper we address this problem with a novel approach based on aspect-oriented programming and orthogonal persistence paradigms, as well as our meta-model.

An overview of our framework is presented. This framework, a prototype based on that approach, provides applications with aspects of persistence and database evolution. It also provides a new pointcut/advice language that enables the modularization of the instance adaptation crosscutting concern of classes, which were subject to a schema evolution.

We also present an application that relies on our framework. This application was developed without any concern regarding persistence and database evolution. However, its data is recovered in each execution, as well as objects, in previous schema versions, remain available, transparently, by means of our framework
Predictive models for hospital bed management using data mining techniques

Series : Advances in intelligent systems and computing, vol. 276It is clear that the failures found in hospital management are usually
related to the lack of information and insufficient resources management. The use
of Data Mining (DM) can contribute to overcome these limitations in order to
identify relevant data on patient’s management and providing important
information for managers to support their decisions. 
Throughout this study, were induced DM models capable to make predictions
in a real environment using real data. For this, was adopted the Cross-Industry
Standard Process for Data Mining (CRISP-DM) methodology. Three distinct
techniques were considered: Decision Trees (DT), Naïve Bayes (NB) and Support
Vector Machine (SVM) to perform classification tasks. With this work it was
explored and assessed the possibility to predict the number of patient discharges
using only the number and the respective date. The models developed are able to
predict the number of patient discharges per week with acuity values ranging from
≈82.69% to ≈94.23%. The use of this models can contribute to improve the hospital
bed management because having the discharges number it is possible forecasting
the beds available for the following weeks in a determinated service
Integrating public transportation data: creation and editing of GTFS data

Presented at the 2014 World Conference on Information Systems and Technologies (WorldCIST'14). Serie - Advances in intelligent systems and computing, vol. 276The current state of standardization related to representa tion and exchange of data about public transportation systems is still at its infancy, which leads to severe interoperability issues in projects that depend on the data from several diverse sources. In many cases, the interoperability issues arise from the use of rudimentary information systems, or even paper-based procedures, to manage operational data such as schedules and tariffs. In these cases, exchanging data with external systems is very difficult. This paper describes the development of a web-based application aiming to simplify the creation and editing of public transportation data that could be easily exchanged in a normalized format. This description is preceded by a discussion about a data model that could ease data interoperability. Here, the GTFS reference, with some adjustments, is used as a guideline for the definition of such transportation data model.Research group supported by FEDER Funds through the COMPETE and National Funds through FCT Fundação para a Ciência e a Tecnologia (FCT) under the projects n. 13843 and PEst-OE/EEI/UI0319/2014
Software tools for project management: focus on collaborative management

Today, projects involve members from different geographical areas more than any other time in history. Thus, adequate Collaborative Project Management Software (CollabPMS) solutions are needed to enable individuals and organizations to manage, communicate and work together across time and space barriers. This article describes a set of managerial and collaborative functionalities that a CollabPMS should provide to support the complexities of a distributed project effectively. Out of hundreds software packages available in the market, four were selected, ProjectLibre, Redmine, Microsoft Project 2013 and Clarizen, to assess if they have the described functionalities. Clarizen can be considered the best software for managing distributed projects, because it provides, by default, all the managerial functions and the collaborative features that support the coordinated collaboration level. ProjectLibre was the software that less stood out in this evaluation, although it provides the majority of the outlined managerial functionalities it doesn't support any level of collaboration.info:eu-repo/semantics/publishedVersio
Expanding scientific knowledge frontiers: open repositories in developing countries supported by NRENs

The current scenario of Internet operation has brought many challenges and opportunities to science as result of the evolution of technologies and network infrastructures, key enablers to information access at distinct levels. Regarding research and teaching, scientific Open Access (OA) repositories play a key role in the production, dissemination and sharing of knowledge. OA repositories improve the visibility, accessibility and availability of results from teaching and research activities, contributing to the knowledge society through the provision of scientific publications without restrictions.Taking worldwide OA initiatives and the Portuguese experience as case study, this paper analyzes technical challenges and strategies for building open repositories supported by National Research and Education Networks (NRENs) in the African context. Considering Mozambique as the main target of this paper, the study of: (i) existing national and international initiatives; (ii) MoRENet -the Mozambique Research and Education Network; and (iii) SABER repository, will support the proposal of a set of directives and policies for the development and sustainability of a common OA platform for scientific and academic national production.We believe that this open repository will bring an undeniable added value for Mozambique knowledge growth, fostering the country development at both scientific and social levels.The authors would like to thank UM documentation services and RCAAP by sharing expertise in OA ﬁeld. This work has been supported by FCT – Fundação para a Ciência e Tecnologia in the scope of the project: PEst-OE/EEI/UI0319/2014.info:eu-repo/semantics/publishedVersio
Understanding information security culture: a survey in small and medium sized enterprises

Information security is a relevant fact for current organizations. There are factors inextricably linked to this issue, and one cannot talk about information security in an organization without addressing and understanding the information security culture of that institution. Maximizing the organizational culture within an organization will enable the safeguard of information security. For that, we need to understand which the inhibiting and the enabling factors are. This paper contributes to point out those factors by presenting the results of a survey concerning information security culture in small and medium sized enterprises (SMEs). We discuss the results in the light of related literature, and we identify future works aiming to enhance information security within organizations
Viewpoints for Requirement Engineering in a Cooperatif Information System (VpCIS)

International audienceIn this paper we propose an approach which allows to define the Requirement Engineering step of a Cooperatif Information System. We used a notion of software engineering: the viewpoints. CIS is a complex system, it involves the cooperation of many stakeholders in a common purpose and each with their own viewpoint. This is why we used the notion of viewpoints, in order to decompose and partition the needs of a CIS according to the viewpoint of each stakeholder, to simplify its modeling. This approach define a meta-model of viewpoint that will allow us to instance the necessary viewpoint to define the needs and requirements of a CIS
The key project managers’ competences for different types of projects

This paper describes a quantitative research approach for identifying
key project managers’ competences for different types of projects. By
identifying the perceived most valuable project manager competences, as
having the most potential for increased contribution to project management
(PM) performance, practitioners and organizations can select their priorities
when developing their PM practices. The 46 competences (technical,
behavioural and contextual) provided by IPMA (International Project
Management Association) were surveyed through an online questionnaire.
Three dimensions to distinguish project types were used: application area,
innovation and complexity. Completed questionnaires were received from 96
project managers from Portugal. The results showed that 13 key competences
(20%) were common to the majority of the projects. Most of these are
behavioural competences, such as: ethics, reliability, engagement, openness,
and leadership. It was also observed a clear correlation between technical
competences and project complexity
Use of a game theory model to simulate competition in next generation networks

With game theory, we want to understand the effects of the interaction between the different players defined in our business case - Next generation access networks (NGNs). In the proposed games, the profit (outcome) of each operator (player) will be dependent not only on their actions, but also on the actions of the other operators in the market. This paper analyzes the impact of the price (retail and wholesale) variations on several output results: players’ profit, consumer surplus, welfare, costs, service adoption, and so on. For that, two price-setting games are played. Players’ profits and Net Present Value (NPV) are used as the payoff for the players in the games analyzed. We assume that two competing Fiber to the home networks (incumbent operator and new entrant) are deployed in two different areas. For the game-theoretic model, we also propose an adoption model use in a way that reflects the competition between players and that the variation of the services prices of one player has an influence on the market share of all players. In our model we also use the Nash equilibrium to find equilibrium - Proposed tools include a module to search the Nash equilibrium in the game.info:eu-repo/semantics/publishedVersio
An application to select collaborative project management software tools

"The 2014 World Conference on Information Systems and Technologies (WorldCIST'14)"In an increasingly competitive market the use of project management techniques can help controlling scope, time, and cost in an efficient way. Either due to size or complexity that may exist in a project, it may be essential to use project management software tools. Some projects involve teams of people who may be geographically dispersed, being essential to exchange information among project stakeholders, hence the need for collaborative tools, best known as groupware. In this paper, we present an overview of project management and collaborative project management techniques and tools. Next, we present a framework, based on ISO 9126 and ISO 14598, to classify collaborative project management software tools. Finally, we present a model and an application to help on the selection of this type of tools.info:eu-repo/semantics/publishedVersio