pinecone/core-2020-05-10-deduplication huggingface dataset:
Extensions of firefly algorithm for nonsmooth nonconvex constrained optimization problems

Publicado em: "Computational science and its applications – ICCSA 2016: 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part I". ISBN 978-3-319-42084-4Firefly Algorithm (FA) is a stochastic population-based algorithm
based on the flashing patterns and behavior of fireflies. Original FA was created
and successfully applied to solve bound constrained optimization problems. In
this paper we present extensions of FA for solving nonsmooth nonconvex
constrained global optimization problems. To handle the constraints of the
problem, feasibility and dominance rules and a fitness function based on the
global competitive ranking, are proposed. To enhance the speed of convergence,
the proposed extensions of FA invoke a stochastic local search procedure.
Numerical experiments to validate the proposed approaches using a set of well
know test problems are presented. The results show that the proposed extensions
of FA compares favorably with other stochastic population-based methods.COMPETE: POCI-01-0145- FEDER-007043FCT – Fundação para a Ciência e Tecnologia within the projects UID/CEC/00319/2013 and UID/MAT/00013/201
Where the streets have known names

Street names provide important insights into the local culture, history, and politics of places. Linked open data provide a wealth of knowledge that can be associated with street names, enabling novel ways to explore cultural geographies. This paper presents a three-fold contribution. We present (1) a technique to establish a correspondence between street names and the entities that they refer to. The method is based on Wikidata, a knowledge base derived from Wikipedia. The accuracy of this mapping is evaluated on a sample of streets in Rome. As this approach reaches limited coverage, we propose to tap local knowledge with (2) a simple web platform. Users can select the best correspondence from the calculated ones or add another entity not discovered by the automated process. As a result, we design (3) an enriched OpenStreetMap web map where each street name can be explored in terms of the properties of its associated entity. Through several filters, this tool is a first step towards the interactive exploration of toponymy, showing how open data can reveal facets of the cultural texture that pervades places
Using scrum together with UML models: a collaborative university-industry R&D software project

Conducting research and development (R&D) software projects, in an environment where both industry and university collaborate, is challenging due to many factors. In fact, industrial companies and universities have generally different interests and objectives whenever they collaborate. For this reason, it is not easy to manage and negotiate the industrial companies’ interests, namely schedules and their expectations. Conducting such projects in an agile framework is expected to decrease these risks, since partners have the opportunity to frequently interact with the development team in short iterations and are constantly aware of the characteristics
of the system under development. However, in this type of collaborative R&D projects, it is often advantageous to include some waterfall practices, like upfront requirements modeling using UML models, which are not commonly used in agile processes like Scrum, in order to better prepare the implementation phase of the
project. This paper presents some lessons learned that result from experience of the authors in adopting some Scrum practices in a R&D project, like short iterations, backlogs, and product increments, and simultaneously using UML models, namely use cases and components.This research is sponsored by the Portugal Incentive System for Research and Technological Development PEst-UID/CEC/00319/2013 and by project in co–promotion nº 36265/2013 (Project HMIExcel - 2013-2015)
A Nonlinear Multicriteria Model for Team Effectiveness

The study of team effectiveness has received significant
attention in recent years. Team effectiveness is an important subject since
teams play an increasingly decisive role on modern organizations. This
study is inherently a multicriteria problem as different criteria are typically
required to assess team effectiveness. Among the different aspects of
interest on the study of team effectiveness one of the utmost importance
is to acknowledge, as accurately as possible, the relationships that team
resources and team processes establish with team effectiveness. Typically,
these relationships are studied using linear models which fail to
explain the complexity inherent to group phenomena. In this study we
propose a novel approach using radial basis functions to construct a multicriteria
nonlinear model to more accurately capture the relationships
between the team resources/processes and team effectiveness. By combining
principal component analysis, radial basis functions interpolation,
and cross-validation for model parameter tuning, we obtained a data fitting
method that generated an approximate response with reliable trend
predictions between the given data points
Business modeling and requirements in RUP: a dependency analysis of activities, tasks and work products

Most artifacts developed during the requirements engineering process relate themselves in different ways. In order to understand in detail how they affect each other during the software development process, it is relevant to iden-tify their interdependencies. This paper presents a systematization of the existing interdependencies between the different elements of the Rational Unified Process (RUP) in the Business Modeling and Requirements disciplines. This work, which highlights knowledge about the different interdependencies and traceability of RUP elements, is useful to avoid unconscious decisions during software the de-velopment process and also, to detect potential problems due to the violation of the existing interdependencies.This work has been supported by COMPETE: POCI-01-0145-FEDER-007043 and FCT – Fundação para a Ciência e a Tecnologia within the Project Scope: UID/CEC/00319/2013.info:eu-repo/semantics/publishedVersio
Dynamic mode II delamination in through thickness reinforced composites

Through thickness reinforcement (TTR) technologies have been shown to provide effective delamination
resistance for laminated composite materials. The addition of this reinforcement allows for the design of highly
damage tolerant composite structures, specifically when subjected to impact events. The aim of this investigation
was to understand the delamination resistance of Z-pinned composites when subjected to increasing strain rates.
Z-pinned laminated composites were manufactured and tested using three point end notched flexure (3ENF)
specimens subjected to increasing loading rates from quasi-static (~0m/s) to high velocity impact (5m/s), using a
range of test equipment including drop weight impact tower and a split Hopkinson bar (SHPB).
Using a high speed impact camera and frame by frame pixel tracking of the strain rates, delamination velocities
as well as the apparent fracture toughness of the Z-pinned laminates were measured and analysed. Experimental
results indicate that there is a transition in the failure morphology of the Z-pinned laminates from quasi-static to
high strain rates. The fundamental physical mechanisms that generate this transition are discussed
Partial horizontal differentiation in Croatian higher education: how ideas, institutions and interests shape the policy procesi

This chapter looks into the historical process of establishing and strengthening of the non-university sector in Croatia since the mid-1990s onwards and offers an account of its outcome. Initially, the process was part of the country’s broader efforts not only to ensure regionally balanced development, but also to improve quality, efficiency and accessibility to higher education. Since 2001, it was further embedded in broader higher education reform efforts, especially the implementation of the Bologna Process. This reform entailed, on the one hand, the establishment of non-university – professionally oriented – higher education institutions and, on the other hand, a gradual abolishment of professional study programmes in universities. The authors suggest that only a small part of the reform goals have been achieved, whereby some non-university institutions have been established and the number of students enrolled in professional programmes at universities has somewhat decreased. Effectively, the reform failed to align the distinction between types of higher education institutions and types of programmes, rendering the binary divide, at best, blurred. The authors argue that such outcome has been a result of, on the one hand, the governments’ reliance on formal regulation as the main policy instrument, which allowed for discretion in interpretation and enforcement of rules, and, on the other hand, the fact that the most dominant actor – universities – has continuously opposed the reforms
Interdisciplinary mathematics education: a state of the art

This book provides an essential introduction to the state-of the-art in interdisciplinary Mathematics Education. First, it begins with an outline of the field&rsquo;s relevant historical, conceptual and theoretical backgrounds, what &ldquo;discipline&rdquo; means and how inter-, trans-, and meta-disciplinary activities can be understood. Relevant theoretical perspectives from Marx, Foucault and Vygotsky are explained, along with key ideas in theory, e.g. boundaries, discourses, identity, and the division of labour in practice. Second, the book reviews research findings of mainly empirical studies on interdisciplinary work involving mathematics in education, in all stages of education that have become disciplined. For example, it reports that a common theme in studies in middle and high schools is assessing the motivational benefits for the learner of subsuming disciplinary motives and even practices to extra-academic problem-solving activities; this is counter-balanced by the effort needed to overcome the disciplinary boundaries in academic institutions, and in professional identities. These disciplinary boundaries are less obviously limitations in middle and primary schools, and in some vocational courses. Third and finally, it explores selected case studies that illustrate these concepts and findings, both in terms of the motivational benefits for learners and the institutional and other boundaries involved
Wireless sensor networks for the internet of things: Barriers and synergies

Wireless sensor networks (WSN) are recognized key enablers for the Internet of Things (IoT) paradigm since its inception. WSNs are a resilient and effective distributed data collection technology, but issues related to reliability, autonomy, cost, and accessibility to application domain experts still limit their wide scale use. Commercial solutions can effectively address vertical application domains, but they often lead to technology lock-ins that limit horizontal composability and reuse. We review some important barriers that hinder WSN use in IoT applications and highlight the main effort and cost components. With these elements in mind, we propose an open hardware-software development platform that can optimize the value flow between technologies and actors with stakes in WSN applications. To reach its objectives, the platform fosters reuse, low-effort low-risk fast prototyping accessible to application domain experts, easy integration of new technology and IP blocks, and simplifies the permeation of research results in commercial applications
Haptic SLAM: An Ideal Observer Model for Bayesian Inference of Object Shape and Hand Pose from Contact Dynamics

Dynamic tactile exploration enables humans to seamlessly estimate the shape of objects and distinguish them from one another in the complete absence of visual information. Such a blind tactile exploration allows integrating information of the hand pose and contacts on the skin to form a coherent representation of the object shape. A principled way to understand the underlying neural computations of human haptic perception is through normative modelling. We propose a Bayesian perceptual model for recursive integration of noisy proprioceptive hand pose with noisy skin–object contacts. The model simultaneously forms an optimal estimate of the true hand pose and a representation of the explored shape in an object–centred coordinate system. A classification algorithm can, thus, be applied in order to distinguish among different objects solely based on the similarity of their representations. This enables the comparison, in real–time, of the shape of an object identified by human subjects with the shape of the same object predicted by our model using motion capture data. Therefore, our work provides a framework for a principled study of human haptic exploration of complex objects
Hands-on learning with a series elastic educational robot

For gaining proficiency in physical human-robot interaction (pHRI), it is crucial for engineering students to be provided with the opportunity to physically interact with and gain hands-on experience on design and control of force-feedback robotic devices. We present a single degree of freedom educational robot that features series elastic actuation and relies on closed loop force control to achieve the desired level of safety and transparency during physical interactions. The proposed device complements the existing impedance-type Haptic Paddle designs by demonstrating the challenges involved in the synergistic design and control of admittance-type devices. We present integration of this device into pHRI education, by providing guidelines for the use of the device to allow students to experience the performance trade-offs inherent in force control systems, due to the non-collocation between the force sensor and the actuator. These exercises enable students to modify the mechanical design in addition to the controllers, by assigning different levels of stiffness values to the compliant element, and characterize the effects of these design choices on the closed-loop force control performance of the device. We also report initial evaluations of the efficacy of the device for pHRI studies
Design and Development of a Multimodal Vest for Virtual Immersion and Guidance

This paper is focused on the development of a haptic vest to enhance immersion and realism in virtual environments, through vibrotactile feedback. The first steps to achieve touch-based communication are presented in order to set an actuation method based on vibration motors. Resulting vibrotactile patterns helping users to move inside virtual reality (VR). The research investigates human torso resolution and perception of vibration patterns, evaluating different kind of actuators at different locations on the vest. Finally, determining an appropriate distribution of vibration patterns allowed the generation of sensations that, for instance, help to guide in a mixed or virtual reality environment
Hint, instruction, and practice: The necessary components for promoting spontaneous diagram use in students’ written work?

[International Conference on Theory and Application of Diagrams] Diagrams 2016: Diagrammatic Representation and InferenceThis study investigated the efficacy of providing a hint, instruction, and practice in promoting spontaneous diagram use in the written work of 21 students undertaking an undergraduate course in education. The course required the students to regularly produce for homework a one-page explanation of what they had learned. In the first few weeks of the course, they rarely included diagrams in their explanations. Following a hint to use diagrams (provided as comment/feedback on their homework), diagram use significantly increased. When instruction in effective use of diagrams was provided, the level of diagram use maintained but did not increase. However, when practice in using diagrams was additionally provided, further significant increases in diagram use followed, which maintained over the ensuing weeks of the course. These findings suggest that to spontaneously use diagrams in their written work, students need to be provided a combination of advice, instruction, and practice in such use
An investigation into OWL for concrete syntax specification using UML notations

The Web Ontology Language OWL is a prominent ontology language for specifying ontologies. Although OWL ontologies are well-used for representing and reasoning about knowledge in various domains, they are sparsely studied for visual language specification. The work in this paper, therefore, explores OWL for visual language specification by specifying the concrete syntax of selected UML class diagram notations in an ontology. The selected diagram notations are specified as spatial configurations of primitive elements and qualitative base spatial relationships of Region Connection Calculus-8 (RCC-8). Furthermore, the automated reasoning features of ontology reasoners are investigated to verify the completeness and the correctness of the specification. The verification results indicate that the given specification needs to be revised to support applications to draw the selected notations. The value of such a specification in supporting a semantic diagram interpretation application is demonstrated using the automated instance classification feature of ontology reasoners.http://link.springer.combookseries/5582017-07-31hb2017Informatic
Minimizing Clutter Using Absence in Venn-i e

Over the last two decades substantial advances have beenmade in our understanding of diagrammatic logics. Many of these logics have the expressiveness of monadic first-order logic, sometimes with equality, and are equipped with sound and complete inference rules. Aparticular challenge is the representation of negated statements. This paper addresses the problem of how to represent negated statementsinvolving constants, thus asserting the absence of specific individuals, in the context of Euler-diagram-based logics. Our first contribution is to explore the potential benefits of explicitly representing absence using constants, in terms of clutter reduction, and to highlight ontological issues that arise. We go on to define a measure of clutter arising from constants. By defining a set of semantics-preserving inference rules, we are able to algorithmically minimize diagram clutter, in part made possible by the inclusion of absence. Consequently, information about individuals can be represented in a minimally cluttered way
A Parametric Study of Mixing in a Granular Flow a Bi-Axial Spherical
  Tumbler

We report on a computational parameter space study of mixing protocols for a
half-full bi-axial spherical granular tumbler. The quality of mixing is
quantified via the intensity of segregation (concentration variance) and
computed as a function of three system parameters: angles of rotation about
each tumbler axis and the flowing layer depth. Only the symmetric case is
considered in which the flowing layer depth is the same for each rotation. We
also consider the dependence on $\bar{R}$, which parametrizes the concentric
spheroids ("shells") that comprise the volume of the tumbler. The intensity of
segregation is computed over 100 periods of the mixing protocol for each choice
of parameters. Each curve is classified via a time constant, $\tau$, and an
asymptotic mixing value, $bias$. We find that most choices of angles and most
shells throughout the tumbler volume mix well, with mixing near the center of
the tumbler being consistently faster (small $\tau$) and more complete (small
$bias$). We conclude with examples and discussion of the pathological mixing
behaviors of the outliers in the so-called $\tau$-$bias$ scatterplots.Comment: 12 pages, 7 figures, Springer contributed+books macros used;
  submitted to an edited Springer volume "Dynamical Systems - Modelling" of
  selected papers from DSTA'201
Chandler wobble: Stochastic and deterministic dynamics

We propose a model of the Earth's torqueless precession, the "Chandler
wobble", as a self-oscillation driven by positive feedback between the wobble
and the centrifugal deformation of the portion of the Earth's mass contained in
circulating fluids. The wobble may thus run like a heat engine, extracting
energy from heat-powered geophysical circulations whose natural periods would
otherwise be unrelated to the wobble's observed period of about fourteen
months. This can explain, more plausibly than previous models based on
stochastic perturbations or forced resonance, how the wobble is maintained
against viscous dissipation. The self-oscillation is a deterministic process,
but stochastic variations in the magnitude and distribution of the circulations
may turn off the positive feedback (a Hopf bifurcation), accounting for the
occasional extinctions, followed by random phase jumps, seen in the data. This
model may have implications for broader questions about the relation between
stochastic and deterministic dynamics in complex systems, and the statistical
analysis thereof.Comment: 10 pages, 3 figures. v2: Briefly clarified incompatibility of forced
  resonance model with estimated quality factor, improved references,
  adjustments to title and abstract, change of format. Presented at the 13th
  International Conference, Dynamical Systems - Theory and Applications (DSTA
  '2015), {\L}\'od\'z, Poland, 7-10 Dec. 201
Analysis of constrained 2-body problem

We consider the system of two material points that interact by elastic forces
according to Hooke's law and their motion is restricted to certain curves lying
on the plane. The nonintegrability of this system and idea of the proof are
communicated. Moreover, the analysis of global dynamics by means of Poincar\'e
cross sections is given and local analysis in the neighborhood of an
equilibrium is performed by applying the Birkhoff normal form. Conditions of
linear stability are determined and some particular periodic solutions are
identified
International Comparative Studies In Mathematics: Lessons For Improving students’ Learning

Comparing is one of the most basic intellectual activities. We consciously make comparisons to understand where we stand, both in relation to others as well as to our own past experiences. There has been a long history of international comparative studies in education (Alexander 2000). Especially in the past several decades, many international comparative studies of mathematics have been conducted, either to examine differences in mathematical proficiency and dispositions among students from various countries or to understand the possible influence on the observed differences of various factors such as curriculum, teacher preparation, quality of classroom instruction, and parental involvement. Some of these studies are large-scale, and others are small-scale in-depth analyses from cognitive or social perspectives. These international comparative studies in mathematics are valuable because they provide a large body of knowledge showing how students do mathematics in the context of the world’s varied educational institutions. In addition, they examine the cultural and educational factors that influence the learning of mathematics.published_or_final_versio