The High-Energy Particle Detector (HEPD) module is designed to measure the pitch angle and energy of electrons protons fluxes trapped in Earth Magnetosphere with energies 3-100 MeV 30-300 respectively. Because launch CSES-02 satellite, an interesting option for improving HEPD endow tracking ALPIDE monolithic active pixel, specifically developed ITS upgrade ALICE experiment at CERN. In this work...

We present an end-to-end modeling framework, spanning the device, module and also system levels, for analyzing thin film photovoltaics (PV). This approach is based on embedding a detailed, statistically relevant, physics based equivalent circuit into module and array level simulations. This approach enables us to analyze key variability and reliability issues in thin film PV, and allows us to i...

In this paper we show that the Rees algebra can be made into a functor on modules over a ring in a way that extends its classical definition for ideals. The Rees algebra of a module M may be computed in terms of a “maximal” map f from M to a free module as the image of the map induced by f on symmetric algebras. We show that the analytic spread and reductions of M can be determined from any emb...

The Library that considers itself to have the best services in the world may still find itself under-appreciated or – worse still – isolated, unless it delivers those services to its customers in a pro-active manner. Moreover, unless it actively engages with the strategic directions of both the over-arching institution and its individual units – the University and its academic Departments – it ...

This paper describes the development and implementation of a first year undergraduate law module which has been redesigned to enable the embedding of Personal Development Planning (PDP) within the curriculum. The module has been delivered through a combination of both face-to-face classroom and online activities using a virtual learning environment (VLE). The institutional background consists o...

Powered by advancements in information and In-ternet technologies, there has been a rapid development network-based applications. Meanwhile, it is recognized that more attention needs to be paid the issue of cybersecurity. The security network environment plays vital role stable functioning society. Cybersecurity research become active lately. Researchers have proposed several approaches protec...

Most learning systems applied to problem solving have the goal of learning knowledge for solving problems more eeciently. However, very few systems have focused on the acquisition of planning operator descriptions. In this paper, we present a system that learns operator deenitions from the interaction with a completely unknown environment. In order to achieve better learning convergence, severa...

Most learning systems applied to problem solving have the goal of learning knowledge for solving problems more eeciently. However, very few systems have focused on the acquisition of planning operator descriptions. In this paper, we present a system that learns operator deenitions from the interaction with a completely unknown environment. In order to achieve better learning convergence, severa...

We present a call-by-value module calculus that serves as a framework for formal reasoning about simple module transformations. The calculus is stratified into three levels: a term calculus, a core module calculus, and a linking calculus. At each level, we define both a calculus reduction relation and a small-step operational semantics and relate them by a computational soundness property: if t...

‎for a given measure space $(x,{mathscr b},mu)$ we construct all measure spaces $(y,{mathscr c},lambda)$ in which $(x,{mathscr b},mu)$ is embeddable‎. ‎the construction is modeled on the ultrafilter construction of the stone--v{c}ech compactification of a completely regular topological space‎. ‎under certain conditions the construction simplifies‎. ‎examples are given when this simplification o...