Search results for "Software"
showing 10 items of 7396 documents
National high-resolution conservation prioritisation of boreal forests
2023
The continuous decline of forest biodiversity highlights the importance of the development of cost-effective and ecologically sustainable land-use planning approaches. Spatial conservation prioritisation (SCP) can be regarded as a useful tool for this challenge. We produced high-resolution, national scale SCP analyses to identify unprotected forest areas that host valuable forest biodiversity. We used stand-based modelled dead wood potential (DWP) data as a primary surrogate for conservation value. In addition, data on forestry operations that have negative impacts on biodiversity, connectivity between forest areas, the observations of red-listed forest species, connectivity to forest habit…
A novel improved matlab-based software for the electric and magnetic analysis and design of rotating electrical machines
2015
The aim of this paper is to present a software for the analysis and design of windings of rotating electrical machines, considering both the electric and the magnetic specifications on the machine. The considered machines are induction motors (IM) and PM synchronous motors (PMSM). The software accounts for the case of buried magnets (IPMSM), but with some limits, because the calculations require a much more detailed analysis regarding the magnetic circuit. However, this initial limitation of the software, that will be removed in a later version, does not constitute a major limitation as confirmed by the examples presented in this paper.
Compensated transfer entropy as a tool for reliably estimating information transfer in physiological time series
2013
We present a framework for the estimation of transfer entropy (TE) under the conditions typical of physiological system analysis, featuring short multivariate time series and the presence of instantaneous causality (IC). The framework is based on recognizing that TE can be interpreted as the difference between two conditional entropy (CE) terms, and builds on an efficient CE estimator that compensates for the bias occurring for high dimensional conditioning vectors and follows a sequential embedding procedure whereby the conditioning vectors are formed progressively according to a criterion for CE minimization. The issue of IC is faced accounting for zero-lag interactions according to two a…
Modelling Without a Modelling Language
2018
Developments in computer hardware and programming languages, in this case C++, have made it feasible to write models of concurrent systems under verification in the programming language, instead of some established modelling language such as Promela. While this does not reduce the usefulness of modelling languages, it offers new possibilities that may be advantageous, for instance, when teaching state space ideas to newcomers or when experimenting with new scientific ideas. In earlier work, we were able to express everything else fairly naturally in C++, except the set of transitions. The present study uses C++ lambda functions to represent naturally transitions that consist of a tail state…
Motivic Pattern Extraction in Music, and Application to the Study of Tunisian Modal Music
2007
A new methodology for automated extraction of repeated patterns in time-series data is presented, aimed in particular at the analysis of musical sequences. The basic principles consists in a search for closed patterns in a multi-dimensional parametric space. It is shown that this basic mechanism needs to be articulated with a periodic pattern discovery system, implying therefore a strict chronological scanning of the time-series data. Thanks to this modelling global pattern filtering may be avoided and rich and highly pertinent results can be obtained. The modelling has been integrated in a collaborative pro ject between ethnomusicology, cognitive sciences and computer science, aimed at the…
Logos’ Centrality and Expression in Martyria as a Superior Form of Dialogue
2021
This paper describes some motivations and outlines some limits regarding the possibility and necessity of interreligious, interconfessional, and interideological dialogue, in an attempt to improve our understanding of Orthodox Christianity’s role in these important aspects of domestic and foreign politics. This study aims to resolve the divergent opinions that exist in the Orthodox Church regarding the possibility of remaining in this kind of dialogue. The ancient philosophical mode of dialogue and the modern one are analyzed: dialogue as debate and negotiation. The study begins from the analysis of some technical terms describing the social and spiritual dimensions of dialogue
Identifying Oscillatory Hyperconnectivity and Hypoconnectivity Networks in Major Depression Using Coupled Tensor Decomposition
2021
AbstractPrevious researches demonstrate that major depression disorder (MDD) is associated with widespread network dysconnectivity, and the dynamics of functional connectivity networks are important to delineate the neural mechanisms of MDD. Cortical electroencephalography (EEG) oscillations act as coordinators to connect different brain regions, and various assemblies of oscillations can form different networks to support different cognitive tasks. Studies have demonstrated that the dysconnectivity of EEG oscillatory networks is related with MDD. In this study, we investigated the oscillatory hyperconnectivity and hypoconnectivity networks in MDD under a naturalistic and continuous stimuli…
Mathematical tools in a digital world
2012
There are many vantage points from which to gain a perspective on digital culture. The intersection of mathematics and mathematical tools with all things digital is one such vantage point. This implies an inspection of mathematical software. The broad lines that can be taken are the practice, education and application of mathematics. This thesis focuses on practice and application, disregarding education. With regards the former it is shown how the practice of mathematics itself has been affected by the increasingly pervasive computational nature of our world. From visualisation to theorem proving no area has been untouched. I programmed a subset of the fractal universe, L-Systems, into the…
Software for the learning of mathematics through musical metaphors: The creation and evaluation process of PicaLab
2018
The PicaLab project proposes the design, development, and assessment of an integrated modular software solution involving sound and music, with the aim of improving mathematical learning in the third, fourth, and fifth levels of primary education in Chile. While these modular solutions were designed as resources for the classroom, students outside of that context can use them too. The process followed a methodology in several stages in order to generate multi-modal functional prototypes, together with their respective didactic guides, that link music and mathematics. These prototypes have been put through an iterative evaluation process leading up their final version. Results indicate an ex…
Robotization of Mobile Communication
2020
The aim of this chapter is to systematize the discussion regarding robotization of mobile communication. The chapter begins by clarifying the fundamental role of both robot hardware and robot software in this process. This is followed by a critical overview of existing research, which is classified into three categories. First, robotization is understood as the hybridization of the human body with existing ordinary mobile devices. Second, the incorporation of new robotic software, such as algorithms, artificial intelligence, and virtual assistants, into mobile devices is seen to robotize them from inside. Third, the convergence of smart communication devices, typically as user interfaces wi…