Search results for "modular"
showing 10 items of 288 documents
Faithful representations of left C*-modules
2010
The existence of a faithful modular representation of a left module $$ \mathfrak{X} $$ over a C*-algebra $$ \mathfrak{A}_\# $$ possessing sufficiently many traces is proved.
Modular quintics inℙ4
2003
We will examine the arithmetic of some of the members of a pencil of symmetric quintics in projective 4-space. We will give evidence for the modularity of some of the exceptional members (even the non-rigid ones) and give a proof in one rigid case. (© 2003 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)
Implementation of the Community Earth System Model (CESM) version 1.2.1 as a new base model into version 2.50 of the MESSy framework
2016
Abstract. The Community Earth System Model (CESM1), maintained by the United States National Centre for Atmospheric Research (NCAR) is connected with the Modular Earth Submodel System (MESSy). For the MESSy user community, this offers many new possibilities. The option to use the Community Atmosphere Model (CAM) atmospheric dynamical cores, especially the state-of-the-art spectral element (SE) core, as an alternative to the ECHAM5 spectral transform dynamical core will provide scientific and computational advances for atmospheric chemistry and climate modelling with MESSy. The well-established finite volume core from CESM1(CAM) is also made available. This offers the possibility to compare …
A matlab toolbox for music information retrieval
2008
We present MIRToolbox, an integrated set of functions written in Matlab, dedicated to the extraction from audio files of musical features related, among others, to timbre, tonality, rhythm or form. The objective is to offer a state of the art of computational approaches in the area of Music Information Retrieval (MIR). The design is based on a modular framework: the different algorithms are decomposed into stages, formalized using a minimal set of elementary mechanisms, and integrating different variants proposed by alternative approaches — including new strategies we have developed —, that users can select and parametrize. These functions can adapt to a large area of objects as input.
Bruhat–Tits Trees and Modular Groups
2019
In this chapter, we give background information and preliminary results on the main link between the geometry and the algebra used for our arithmetic applications: the (discrete-time) geodesic ow on quotients of Bruhat{Tits trees by arithmetic lattices.
Analysis of a Fast Reserve Unit Behaviour with Additional Modular Synthetic Inertia Control
2021
The paper presents the results of a theoretical study on the behaviour of a battery storage system operated as a Fast Reserve Unit and equipped with additional synthetic inertia control. The Fast Reserve Unit is assumed connected to the transmission system of Sicily, operated as an isolated grid in order to show more clearly the effect of the Fast Reserve Unit intervention during a power imbalance. The unit is controlled also to provide synthetic inertia with a conventional control scheme and with a new scheme proposed by the authors and named “Modular Synthetic Inertia”. The latter has been conceived for offering a modular response as a function of the Rate of Change of Frequency, to avoid…
Optimization of urban delivery systems based on electric assisted cargo bikes with modular battery size, taking into account the service requirements…
2021
The implementation of new forms of urban mobility is a fundamental challenge for improving the performance of city logistic systems in terms of efficiency and sustainability. For such purposes, the exploitation of electric vehicles is currently being investigated as an alternative to traditional internal combustion engines. In particular, the employment of lightweight electric cargo bikes is seen as an attractive possibility for designing improved city distribution systems. Such vehicles, however, present substantial limitations related to their endurance, speed, power, and recharging times; therefore, their configuration must be optimized considering the actual operational context and the …
Exacus: Efficient and Exact Algorithms for Curves and Surfaces
2005
We present the first release of the Exacus C++ libraries. We aim for systematic support of non-linear geometry in software libraries. Our goals are efficiency, correctness, completeness, clarity of the design, modularity, flexibility, and ease of use. We present the generic design and structure of the libraries, which currently compute arrangements of curves and curve segments of low algebraic degree, and boolean operations on polygons bounded by such segments.
ChemInform Abstract: Modular Metal Chalcogenide Chemistry: Secondary Building Blocks as a Basis of the Silicate-Type Framework Structure of CsLiU(PS4…
2012
The new title compound is synthesized from a mixture of U, P2S5, Li2S, Cs2S, and S in the molar ratio 2:2:1:1:4 (sealed silica tube, 700 °C, 3 d).
A Cognitive Model of Trust for Biological and Artificial Humanoid Robots
2018
Abstract This paper presents a model of trust for biological and artificial humanoid robots and agents as antecedent condition of interaction. We discuss the cognitive engines of social perception that accounts for the units on which agents operate and the rules they follow when they bestow trust and assess trustworthiness. We propose that this structural information is the domain of the model. The model represents it in terms of modular cognitive structures connected by a parallel architecture. Finally we give a preliminary formalization of the model in the mathematical framework of the I/O automata for future computational and human-humanoid application.