Exploració per títol
Ara es mostren els items 3040-3059 de 245593
-
A catalogue of non-technical requirement patterns
(IEEE, 2012)
Text en actes de congrés
Accés obertSoftware Requirement Patterns (SRP) have been proposed as an artifact for fostering requirements reuse. PABRE is a framework that promotes the use of SRP as a means for requirements elicitation, validation and documentation ... -
A catalogue of reusable context model elements based on the i* framework
(Springer, 2017)
Text en actes de congrés
Accés obertThe definition of the context of a system is one of the most relevant activities in the early phases of information systems engineering. It allows system engineers to narrow the system scope, by defining well established ... -
A categorial type logic
(2014)
Article
Accés obertIn logical categorial grammar [23,11] syntactic structures are categorial proofs and semantic structures are intuitionistic proofs, and the syntax-semantics interface comprises a homomorphism from syntactic proofs to ... -
A Categorical approach to Tannaka Duality
(Universitat Politècnica de Catalunya, 2016-07)
Projecte Final de Màster Oficial
Accés obertThe aim of this work is to study, in a categorical context, similar results to the Tannaka-Krein duality theorem. We prove a reconstruction theorem which allows one to recover a given group G as the monoid of natural ... -
A CellBE-based HPC application for the analysis of vulnerabilities in cryptographic hash functions
(2010)
Text en actes de congrés
Accés restringit per política de l'editorialAfter some recent breaks presented in the technical literature, it has become of paramount importance to gain a deeper understanding of the robustness and weaknesses of cryptographic hash functions. In particular, in the ... -
A Cellular Automata Model for Integrated Simulation of Land Use and Transport Interactions
(Multidisciplinary Digital Publishing Institute (MDPI), 2021-03-08)
Article
Accés obertCellular automata (CA) models have been used in urban studies for dealing with land use change. Transport and accessibility are arguably the main drivers of urban change and have a direct influence on land use. Land use ... -
A cellular automata model for the study of small urban areas
(2007-09-07)
Text en actes de congrés
Accés obert -
A cellular automata model for the study of small-size urban areas
(2007-01-23)
Presentació
Accés obert -
A cellular decomposition of the manifold of observable conditioned invariant subspaces
(2000)
Article
Accés obertGiven an observable system defined by a pair of matrices $(C,A)$ we obtain a cellular decomposition of the manifold of $(C,A)$-conditioned invariant subspaces having the restricted system fixed observability indices and ... -
A census for curves and surfaces with diophantine stability over finite fields
(Universitat Politècnica de Catalunya, 2021-10-29)
Tesi
Accés obertAn algebraic variety defined over a field is said to have Diophantine stability for an extension of this field if the variety does not acquire new points in the extension. Diophantine stability has a growing interest due ... -
A Central Limit Theorem for inner functions
(2022-06)
Article
Accés obertA Central Limit Theorem for linear combinations of iterates of an inner function is proved. The main technical tool is Aleksandrov Disintegration Theorem for Aleksandrov-Clark measures. -
A centrality-based topology control protocol for wireless mesh networks
(Elsevier, 2015-01-01)
Article
Accés obertNodes in wireless multi-hop networks establish links with their neighbors, which are used for data transmission. In general, in this kind of networks every node has the possibility of acting as a router, forwarding the ... -
A century of tourism in Europe: new challenges to the discipline of urbanism
(International Forum on Urbanism / Escola Técnica Superior d'Arquitectura de Barcelona, 2012-01)
Text en actes de congrés
Accés obertTourism is one of the most important modern phenomena of the last hundred years. Not only for its economic significance, but also by the changes it has produced in the city and the territory. Unfortunately, in many cases ... -
A Ceres solver based bundle adjustment module
(Universitat Politècnica de Catalunya, 2014-07)
Treball Final de Grau
Accés obertA principis de la dècada dels 90, l’Institut Cartogràfic i Geològic de Catalunya va desenvolupar un programa anomenat ACX que permet, entre altres aplicacions, aerotriangular blocs fotogramètrics fent ús del mètode de ... -
A CFD Benchmark on the Thermal Hydraulic Behavior of ITER’s Vacuum Vessel
(Universitat Politècnica de Catalunya, 2020-07-27)
Projecte Final de Màster Oficial
Accés restringit per decisió de l'autorThe current project presents a CFD Benchmark on the Thermal-Hydraulic (TH) performance of ITER’s Vacuum Vessel. The geometry has been selected to be of one of the 4 Poloidal Segments (PS), the PS#01, of a Regular Sector ... -
A CFD framework for offshore and onshore wind farm simulation
(IOP Publishing, 2017)
Article
Accés obertWe present a wind simulation framework for offshore and onshore wind farms. The simulation framework involves an automatic hybrid high-quality mesh generation process, a pre-processing to impose initial and boundary ... -
A CFD study of air flow inside a building heated by solar radiation
(Universitat Politècnica de Catalunya, 2017-10-27)
Treball Final de Grau
Accés restringit per acord de confidencialitat -
A CFD study of an annular pilot plant reactor for Paracetamol photo-Fenton degradation
(Elsevier, 2021-04-15)
Article
Accés obertThis work studies in detail the photo-Fenton degradation process of Paracetamol (PCT) on an annular pilot-plant reactor using Computational Fluid Dynamics (CFD). A cylindrical lamp emission model was originally implemented ... -
A CFD-based surrogate model for predicting flow parameters in a ventilated room using sensor readings
(2022-07-01)
Article
Accés restringit per política de l'editorialIn this work, we develop a computational fluid dynamics (CFD)-based surrogate model, which predicts flow parameters under different geometrical configurations and boundary conditions in a benchmark case of a mechanically ... -
A Chandrasekhar mass progenitor for the type Ia supernova remnant 3C 397 from the enhanced abundances of nickel and manganese
(2015-03-12)
Article
Accés restringit per política de l'editorialDespite decades of intense efforts, many fundamental aspects of Type Ia supernovae (SNe Ia) remain elusive. One of the major open questions is whether the mass of an exploding white dwarf (WD) is close to the Chandrasekhar ...