Exploració per títol

Ara es mostren els items 3031-3050 de 245486

    • A case study on livestock waste management: Juncosa de les Garrigues (Catalonia, Spain) 

      Teira-Esmatges, Maria Rosa; Flotats Ripoll, Xavier; Casañé, Antoni; Magrí Aloy, Albert; Martín, Patricia; Montane, Lourdes; Tarradas, Jordi; Campos Pozuelo, Elena; Bonmatí Blasi, August (Universidad Politécnica de Cartagena, 1999)
      Comunicació de congrés
      Accés obert
      The objective of the present work was to characterise fue catt1e wastes produced by some 10,000 anima1s, in the municipa1ity of Juncosa de les Garrigues (Cata10nia, Spain); to stab1ish the mass balance between ...

    • A Case study on prototyping with specifications and multiple implementations 

      Franch Gutiérrez, Javier (1994-10)
      Report de recerca
      Accés obert
      This paper presents through an example a software process model addressed to support the existence of multiple implementations when programming with abstract data types. We combine an equational style for specifying types ...

    • A Case study on pruning general ontologies for the development of conceptual schemas 

      Conesa Caralt, Jordi (2004-04)
      Report de recerca
      Accés obert
      In general, conceptual schemas (CS) are created from scratch, even though several approaches allow the designer to reuse the knowledge included in ontologies. In particular we have defined an approach to create the static ...

    • A case study on the communications subsystem for cubesat 

      Cebrián Herrera, Natalia (Universitat Politècnica de Catalunya, 2014-06-09)
      Projecte/Treball Final de Carrera
      Accés obert
      Realitzat a/amb:   Universidade de Fortaleza
      Due to the overwhelming increment transmission and reception of information around the world, Satellite Communications have become an essential application in our lives. Proof of this, are the continuous investments made ...

    • A case-based recommendation approach for market basket data 

      Gatzioura, Anna; Sànchez-Marrè, Miquel (2015-01-01)
      Article
      Accés obert
      In recent years, recommender systems have become an important part of various applications, supporting both customers and providers in their decision-making processes. However, these systems still must overcome limitations ...

    • A Catalan broadcast conversational speech database 

      Schulz, Henrik; Rodríguez Fonollosa, José Adrián (2009-09)
      Comunicació de congrés
      Accés restringit per política de l'editorial
      Data driven methods in speech and linguistic research, and system develoment require appropriate speech databases. A new Catalan speech database has been developed with a particular emphasis on broadcast conversational ...

    • A catallactic market for data mining services. 

      Joita, Liviu; Rana, Omer; Freitag, Fèlix; Chao, Isaac; Chacín Martínez, Pablo; Navarro Moldes, Leandro; Ardáiz Villanueva, Óscar (2007)
      Article
      Accés obert
      We describe a Grid market for exchanging data mining services based on the Catallactic market mechanism proposed by von Hayek. This market mechanism allows selection between multiple instances of services based on operations ...

    • A catalogue of 863 Rett-syndrome-causing MECP2 mutations and lessons learned from data integration 

      Ehrhart, Friederike; Jacobsen, Annika; Rigau, Maria; Bosio, Mattia; Kaliyaperumal, Rajaram; Laros, Jeroen F. J.; Willighagen, Egon L.; Valencia, Alfonso; Roos, Marco; Capella Gutiérrez, Salvador; Curfs, Leopold M. G.; Evelo, Chris T. (Springer Nature, 2021)
      Article
      Accés obert
      Rett syndrome (RTT) is a rare neurological disorder mostly caused by a genetic variation in MECP2. Making new MECP2 variants and the related phenotypes available provides data for better understanding of disease mechanisms ...

    • A catalogue of functional software requirement patterns for the domain of content management systems 

      Palomares Bonache, Cristina; Quer, Carme; Franch Gutiérrez, Javier; Renault, Samuel; Guerlain, Cindy (ACM Press. Association for Computing Machinery, 2013)
      Text en actes de congrés
      Accés restringit per política de l'editorial
      Software requirement patterns have been proposed as an artifact for fostering requirements reuse. When we define these patterns forthe functional part of a software system, we realize that most of patterns are specific ...

    • A catalogue of non-technical requirement patterns 

      Palomares Bonache, Cristina; Quer, Carme; Franch Gutiérrez, Javier; Guerlain, Cindy; Renault, Samuel (IEEE, 2012)
      Text en actes de congrés
      Accés obert
      Software 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 

      Abad, Karina; Pérez, Wilson; Carvallo Vega, Juan Pablo; Franch Gutiérrez, Javier (Springer, 2017)
      Text en actes de congrés
      Accés obert
      The 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 

      Morrill, Glyn (2014)
      Article
      Accés obert
      In 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 

      Alsina Oriol, Guillem (Universitat Politècnica de Catalunya, 2016-07)
      Projecte Final de Màster Oficial
      Accés obert
      The 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 

      Cilardo, Alessandro; Esposito, Luigi; Veniero, Antonio; Mazzeo, Antonino; Beltran Querol, Vicenç; Ayguadé Parra, Eduard (2010)
      Text en actes de congrés
      Accés restringit per política de l'editorial
      After 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 

      Norte Pinto, Nuno; Antunes, Antonio; Roca Cladera, Josep (Multidisciplinary Digital Publishing Institute (MDPI), 2021-03-08)
      Article
      Accés obert
      Cellular 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 

      Norte Pinto, Nuno; Roca Cladera, Josep (2007-09-07)
      Text en actes de congrés
      Accés obert

    • A cellular automata model for the study of small-size urban areas 

      Norte Pinto, Nuno; Roca Cladera, Josep (2007-01-23)
      Presentació
      Accés obert

    • A cellular decomposition of the manifold of observable conditioned invariant subspaces 

      Puerta Sales, Ferran; Puerta Coll, Xavier; Zaballa, Ion (2000)
      Article
      Accés obert
      Given 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 

      Vrioni, Brikena (Universitat Politècnica de Catalunya, 2021-10-29)
      Tesi
      Accés obert
      An 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 

      Nicolau Nos, Artur; Soler i Gibert, Odí (2022-06)
      Article
      Accés obert
      A 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.