Exploració per títol
Ara es mostren els items 5992-6011 de 245837
-
A parameterization method for Lagrangian tori of exact symplectic maps of R2r
(2018-01-01)
Article
Accés obertWe are concerned with analytic exact symplectic maps of ${\mathbb R}^{2r}$ endowed with the standard symplectic form. We study the existence of a real analytic torus of dimension $r$, invariant by the map and carrying ... -
A parameterized halting problem, the linear time hierarchy, and the MRDP theorem
(Association for Computing Machinery (ACM), 2018)
Text en actes de congrés
Accés obertThe complexity of the parameterized halting problem for nondeterministic Turing machines p-Halt is known to be related to the question of whether there are logics capturing various complexity classes [10]. Among others, ... -
A Parameterized multi-step Newton method for solving systems of nonlinear equations
(2016-03-01)
Article
Accés obertWe construct a novel multi-step iterative method for solving systems of nonlinear equations by introducing a parameter. to generalize the multi-step Newton method while keeping its order of convergence and computational ... -
A parametric approach for smaller and better encodings of cardinality constraints
(Springer, 2013)
Text en actes de congrés
Accés obertAdequate encodings for high-level constraints are a key ingredient for the application of SAT technology. In particular, cardinality constraints state that at most (at least, or exactly) k out of n propositional variables ... -
A parametric approach for the study of three-phase inverters subject to grid faults
(2022)
Comunicació de congrés
Accés obertThe aim of this work is to describe the behavior of three-phase inverters connected to a faulty grid by means of a parametric approach which gives rise to limaçon of Pascal curves and 3D figures formed by the injected ... -
A parametric multi-start algorithm for solving the Response Time Variability Problem
(2009-06-08)
Comunicació de congrés
Accés restringit per política de l'editorial -
A parametric multi-start algorithm for solving the Response Time Variability Problem
(2010-01-01)
Article
Accés restringit per política de l'editorial -
A parametric study of laser interference surface patterning of dental zirconia: Effects of laser parameters on topography and surface quality
(2017-01)
Article
Accés obertThe aim of this work is to generate micrometric linear patterns with different topography on dental grade zirconia by means of UV laser interference and to assess the quality of the produced surface, both in term of the ... -
A parametric study of occupational radiation dose in interventional radiology by Monte-Carlo simulations
(2020-10-01)
Article
Accés obertThis paper presents the results of a parametric study on the occupational exposure in interventional radiology to explore the influence of various variables on the staff doses. These variables include the angiography beam ... -
A Parametric Study on Core Performance of Sodium Fast Reactors Using SERPENT Code
(Universitat Politècnica de Catalunya / Kungliga Tekniska Högskolan, 2011)
Projecte/Treball Final de Carrera
Accés obertIn this thesis, a parametric study was performed for four core designs of Sodium Fast Reactors (SFRs) in two different sizes: the large core of 3600 MWth with oxide or carbide fuel, and the medium core of 1000 MWth with ... -
A parametric transfer function for real-time simulation of coupled complex problems
(CIMNE, 2019)
Text en actes de congrés
Accés obertIndustrial production lines often involve multistage manufacturing processes with coupled boundary conditions. The output of a process is the input of another processing stage. The end product of such production line is ... -
A parametric-space-based scan-line algorithm for rendering of bicubic surfaces
(1987)
Article
Accés obertA novel scan-line algorithm for displaying bicubic surfaces is presented. Patches are decomposed on regions of constant sign of the z component of the normal before the scan process. Most of the computations are done in ... -
A Parser-based tool to assist instructors in grading computer graphics assignments
(European Association for Computer Graphics (Eurographics), 2019)
Text en actes de congrés
Accés obertAlthough online e-learning environments are increasingly used in university courses, manual assessment still dominates the way students are graded. Interactive judges providing a pass/fail verdict based on test sets are ... -
A partial breadth-first execution model for prolog
(Institute of Electrical and Electronics Engineers (IEEE), 1994)
Text en actes de congrés
Accés obertMEM (Multipath Execution Model) is a novel model for the execution of Prolog programs which combines a depth-first and breadth-first exploration of the search tree. The breadth-first search allows more than one path of the ... -
A participação popular no planejamento urbano: a experiência brasileira: o estudo do plano diretor de Porto Alegre
(Departament d’Urbanisme i Ordenació del Territori. Universitat Politècnica de Catalunya / Curso de Arquitetura e Urbanismo. Universidade do Vale do Itajaí, 2016-05-31)
Text en actes de congrés
Accés obertO presente artigo decorre de tese de doutorado apresentada no Programa de Pós graduação em Planejamento Urbano e Regional da Universidade Federal do Rio Grande do Sul (UFRGS) e investiga práticas do planejamento urbano ... -
A PARTICIPATORY ACTION RESEARCH DEVELOPED IN SOUTHERN EUROPE. Measuring children’s right to the city through urban design.
(Universitat Politècnica de Catalunya, Grup de Recerca en Urbanisme / Universitat Politècnica de Catalunya. Iniciativa Digital Politècnica, 2024-03-06)
Text en actes de congrés
Accés obertToday public spaces have become fragile environments highlighting socio-spatial inequalities. This PhD research intends to investigate whether it is possible to define more inclusive urban programs, considering children ... -
A participatory qualitative analysis of barriers of public transport by persons with disabilities from seven European cities
(2021-11-30)
Article
Accés obertAlthough there is literature published by a considerable number of scientific publications regarding disability and transport, the affected persons are only very rarely involved in the research. The paper presents the ... -
A participatory service learning process for FOSS-based solidarity projects
(Unites Nations University Press, 2012-09)
Capítol de llibre
Accés restringit per política de l'editorialSoftware and information and communication technologies (ICT) can be key elements for social development, especially in developing countries. Projects on ICT for development (ICT4D) are an important tool to incorporate ... -
A particle code for deflagrations in white dwarfs. I. Numerical techniques
(1998-03)
Article
Accés restringit per política de l'editorialIn this paper we report some specific features of the numerical technique used to study the dynamic evolution of massive white dwarfs following the explosive ignition of nuclear fuel under degenerate conditions. We focus ... -
A particle finite element method (PFEM) for coupled thermal analysis of quasi and fully incompressible flows and fluid-structure interaction problems
(Springer, 2014)
Capítol de llibre
Accés restringit per política de l'editorialThis book presents and discusses mathematical models, numerical methods and computational techniques used for solving coupled problems in science and engineering. It takes a step forward in the formulation and solution of ...
