Exploració per títol

Ara es mostren els items 13686-13705 de 245873

    • An abductive proof procedure for hypothetical reasoning in computational theories 

      Casamayor, Juan Carlos (Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1992)
      Text en actes de congrés
      Accés obert
      In this paper. we develop a resolution-based proof procedure, called SLY resolution. far hypothetical reasoning in computational theories. SLY coincides with SLD resolution in the case of definite programs and when hypotheses ...

    • An absorbing boundary condition for regular and irregular wave simulations 

      Duz, Bulent; Huijsmans, Rene H.M.; Veldman, Arthur E.P.; Borsboom, Mart J.A.; Wellens, Peter R. (CIMNE, 2011)
      Text en actes de congrés
      Accés obert
      In this paper the use of an absorbing boundary condition (ABC) is investigated for the numerical simulation of regular and irregular waves in three dimensional computational domains where Navier-Stokes equations describe ...

    • An abstract semantic framework for mobile component systems based on graph transformation (Extended abstract) 

      Mylonakis Pascual, Nicolás; Orejas Valdés, Fernando (2005-12)
      Report de recerca
      Accés obert
      The aim of this work is the definition of a generic framework for the modelling and development of component-based distributed applications with mobile processes in the internet. We describe component systems as typed ...

    • An abstraction methodology for the evaluation of multi-core multi-threaded architectures 

      Zilan, Ruken; Verdú Mulà, Javier; García Vidal, Jorge; Nemirovsky, Mario; Milito, Rodolfo; Valero Cortés, Mateo (IEEE Computer Society Publications, 2011)
      Text en actes de congrés
      Accés restringit per política de l'editorial
      As the evolution of multi-core multi-threaded processors continues, the complexity demanded to perform an extensive trade-off analysis, increases proportionally. Cycle-accurate or trace-driven simulators are too slow to ...

    • An academic RISC-V silicon implementation based on open-source components 

      Abella Ferrer, Jaume; Bulla, Calvin; Cabo Pitarch, Guillem; Cazorla Almeida, Francisco Javier; Cristal Kestelman, Adrián; Doblas Font, Max; Figueras Bagué, Roger; González Trejo, Alberto; Hernández Luz, Carles; Hernández Calderón, César Alejandro; Jiménez Arador, Víctor; Kosmidis, Leonidas; Kostalampros, Ioannis-Vatistas; Langarita Benítez, Rubén; Leyva Santes, Neiel; López Paradís, Guillem; Marimon Illana, Joan; Martínez Martínez, Ricardo; Mendoza Escobar, Jonnatan; Moll Echeto, Francisco de Borja; Moretó Planas, Miquel; Pavón Rivera, Julián; Ramírez Lazo, Cristóbal; Ramírez Salinas, Marco Antonio; Rojas Morales, Carlos; Rubio Sola, Jose Antonio; Ruiz, Abraham Josafat; Sonmez, Nehir; Soria Pardos, Víctor; Teres Teres, Lluis; Unsal, Osman Sabri; Valero Cortés, Mateo; Vargas Valdivieso, Iván; Villa Vargas, Luis Alfonso (Institute of Electrical and Electronics Engineers (IEEE), 2020)
      Text en actes de congrés
      Accés obert
      The design presented in this paper, called preDRAC, is a RISC-V general purpose processor capable of booting Linux jointly developed by BSC, CIC-IPN, IMB-CNM (CSIC), and UPC. The preDRAC processor is the first RISC-V ...

    • An accessible interface for programming an assistive robot 

      Victores, Juan G.; Morante, Sergio; Jardón Huete, Alberto; Balaguer, Carlos (C, 2014)
      Article
      Accés obert
      In this paper, we present an accessible interface in the context of our work on bringing advanced robotics closer to everyday domestic users. This interface allows inexperienced users to be capable of programming ...

    • An accounting system to support process improvements: transition to lean accounting 

      Ruiz de Arbulo-López, Patxi; Fortuny Santos, Jordi (School of Industrial and Aeronautic Engineering of Terrassa (ETSEIAT). Universitat Politècnica de Catalunya (UPC), 2010-12)
      Article
      Accés obert
      From the last two decades of the 20th Century on, many companies have adopted production strategies that could be termed “lean manufacturing”. Lean team leaders state that traditional costing systems fail to properly assess ...

    • An accurate and real-time method for resolving superimposed action potentials in multiunit recordings 

      Shirzadi, Mehdi; Marateb, Hamid Reza; McGill, Kevin; Muceli, Silvia; Mañanas Villanueva, Miguel Ángel; Farina, Dario (2023-01)
      Article
      Accés restringit per política de l'editorial
      Objective : Spike sorting of muscular and neural recordings requires separating action potentials that overlap in time (superimposed action potentials (APs)). We propose a new algorithm for resolving superimposed action ...

    • An accurate and Verilog-A compatible compact model for graphene field-effect transistors 

      Landauer, Gerhard Martin; González Jiménez, José Luis; Jiménez Jiménez, David (2014-06-04)
      Article
      Accés restringit per política de l'editorial
      The present paper provides an accurate drift-diffusion model of the graphene field-effect transistor (GFET). A precise yet mathematically simple current-voltage relation is derived by focusing on device physics at energy ...

    • An accurate approach to simulate friction stir welding processes using adaptive formulation refinement 

      Venghaus, Henning; Chiumenti, Michele; Baiges Aznar, Joan; Juhre, Daniel; Castañar Pérez, Inocencio (Elsevier, 2023-07-07)
      Article
      Accés restringit per política de l'editorial
      A novel Adaptive Formulation Refinement (AFR) strategy for Friction Stir Welding (FSW) problems is presented. In FSW, the accurate computation of strains is crucial to correctly predict the highly non-linear material ...

    • An accurate FIC-FEM formulation for the 1D convection-diffusion-reaction equation 

      Oñate Ibáñez de Navarra, Eugenio; Miquel Canet, Juan; Nadukandi, Prashanth (2016-01)
      Article
      Accés obert
      In this paper we present an accurate stabilized FIC-FEM formulation for the 1D advection-diffusion-reaction equation in the exponential and propagation regimes using two stabilization parameters. Both the steady-state and ...

    • An accurate method to correct atmospheric phase delay for InSAR with the ERA5 global atmospheric model 

      Hu, Zhongbo; Mallorquí Franquet, Jordi Joan (Multidisciplinary Digital Publishing Institute (MDPI), 2019-08-11)
      Article
      Accés obert
      Differential SAR Interferometry (DInSAR) has proven its unprecedented ability and merits of monitoring ground deformation on a large scale with centimeter to millimeter accuracy. However, atmospheric artifacts due to spatial ...

    • An accurate nonlocal bonded discrete element method for nonlinear analysis of solids: application to concrete fracture tests 

      Celigueta Jordana, Miguel Ángel; Latorre Sánchez, Juan Salvador; Arrufat Garcia, Ferran; Oñate Ibáñez de Navarra, Eugenio (Springer, 2020-05)
      Article
      Accés obert
      We present a numerical procedure for elastic and nonlinear analysis (including fracture situations) of solid materials and structures using the discrete element method. It can be applied to strongly cohesive frictional ...

    • An accurate physical model for PV modules with improved approximations of series-shunt resistances 

      Raya Armenta, Jose Maurilio; Ortega Villasclaras, Pablo Rafael; Bazmohammadi, Najmeh; Spataru, Sergiu V.; Vasquez, Juan Carlos; Guerrero, Josep M. (2021-05)
      Article
      Accés obert
      An accurate model to represent the photovoltaic modules is essential to facilitate the efficient deployment of these systems in terms of design, analysis, and monitoring considerations. In this respect, this study proposes ...

    • An accurate solutionof singular thermoplastic problem of pressure –dependent plasticity 

      Alexandrov, Sergei; Miszuris, Wiktoria (CIMNE, 2017)
      Text en actes de congrés
      Accés obert
      The present paper concernswith a theoretical investigation into heat generation in the continued quasi-static plane strain compression of a thin strip between two rigid, parallel perfectly rough platens. The strip material ...

    • An accurate, adaptive and scalable parallel finite element framework for the part-scale thermo-mechanical analysis in metal additive manufacturing processes 

      Filho, Carlos Augusto Moreira; Caicedo Silva, Manuel Alejandro; Cervera Ruiz, Miguel; Chiumenti, Michele; Baiges Aznar, Joan (Springer, 2023-10-06)
      Article
      Accés restringit per política de l'editorial
      This work introduces a distributed memory machine and octree-based Finite Element (FE) framework for modeling metal Additive Manufacturing (AM) processes. In this sense, an Adaptive Mesh Refinement (AMR) is used to accurately ...

    • An acoustic emission activity detection method based on short-term waveform features: application to metallic components under uniaxial tensile test 

      Piñal Moctezuma, Juan Fernando; Delgado Prieto, Miquel; Romeral Martínez, José Luis (2020-08-01)
      Article
      Accés obert
      The Acoustic Emission (AE) phenomenon has been used as a powerful tool with the purpose to either detect, locate or assess damage for a wide range of applications. Derived from its monitoring, one major current challenge ...

    • An acoustic Riemann solver for large strain computational contact dynamics 

      Runcie, Callum J.; Lee, Chun Hean; Haider, Jibran; Gil, Antonio; Bonet Carbonell, Javier (2022-08)
      Article
      Accés obert
      This article presents a vertex-centered finite volume algorithm for the explicit dynamic analysis of large strain contact problems. The methodology exploits the use of a system of first order conservation equations written ...

    • An acoustic technique for propellant gauging 

      Fili, Thomas; Quintana Buil, Guillem; González Cinca, Ricardo (2022)
      Text en actes de congrés
      Accés restringit per política de l'editorial
      The gauging of propellants in upper stages or satellites in orbit is a challenging task due to the absence of buoyancy, which makes liquids and gases adopt a large variety of configurations. The new Spectral Mass Gauging ...

    • An acoustic treatment to mitigate the effects of the apple snail on agriculture and natural ecosystems 

      Solé Carbonell, Marta; Fortuño Alós, Jose-Manuel; Van der Schaar, Mike Connor Roger Malcolm; André, Michel (MDPI, 2021-09-06)
      Article
      Accés obert
      Global change is the origin of increased occurrence of disturbance events in natural communities, with biological invasions constituting a major threat to ecosystem integrity and functioning. The apple snail (Pomacea ...