Now showing items 21-40 of 90

    • Circular (yet sound) proofs 

      Atserias, Albert; Lauria, Massimo (Springer, 2019)
      Conference report
      Open Access
      We introduce a new way of composing proofs in rule-based proof systems that generalizes tree-like and dag-like proofs. In the new definition, proofs are directed graphs of derived formulas, in which cycles are allowed as ...
    • Comparative models for minimizing ergonomic risk in assembly lines 

      Bautista Valhondo, Joaquín; Batalla García, Cristina; Alfaro Pozo, Rocío (Universidad de Navarra, 2016)
      Conference lecture
      Open Access
      We present a new mathematical model for the assembly line balancing problem with the objective of maximizing the line comfort to operators. Besides minimizing discrepancies between the ergonomic risks of workstations, ...
    • Compartició de secrets 

      Rivas Roman, Juan (Universitat Politècnica de Catalunya, 2018-07)
      Bachelor thesis
      Open Access
      Aquest projecte tracta de la compartició de secrets, sobre els mètodes i sistemes que hi ha actualment per compartir informació de manera secreta entre un grup d’usuaris. Hi ha diversos mètodes matemàtics que expliquen com ...
    • Custom integer optimization method for wire bundle dimensioning 

      Rius Rueda, Armand; García Espinosa, Antonio; Díaz Millán, Manuel Alberto (Institute of Electrical and Electronics Engineers (IEEE), 2016)
      Conference report
      Open Access
      Automotive wiring harnesses have gained weight and complexity through the last decades due to the increasing number of electrical components, which has raised the interest on its weight optimization. For this purpose, ...
    • Definable ellipsoid method, sums-of-squares proofs, and the isomorphism problem 

      Atserias, Albert; Ochremiak, Joanna (Association for Computing Machinery (ACM), 2018)
      Conference report
      Open Access
      The ellipsoid method is an algorithm that solves the (weak) feasibility and linear optimization problems for convex sets by making oracle calls to their (weak) separation problem. We observe that the previously known method ...
    • Design of an environment for solving pseudo-boolean optimization problems 

      Benedí, Marc (Universitat Politècnica de Catalunya, 2018-06-26)
      Bachelor thesis
      Open Access
      This dissertation addresses several approaches with the common goal of reducing the time required to solve Pseudo-Boolean minimisation problems. A C++ library has been developed which allows representing Pseudo-Boolean ...
    • Diseño de una herramienta porosa para el pulido de superficies ópticas usando programación lineal 

      Cuauhtémoc H. Castañeda, Roldan; González García, Jorge; Álvarez Martín, Luz del Carmen; Manzano Sumano, Liliana Jeanett; Santiago Alvarado, Agustín (Universitat Politècnica de Catalunya, 2009)
      Article
      Open Access
      En este trabajo se diseña una nueva herramienta de pulido de superficies ópticas, que hemos llamado porosa, debido a que está formada por perforaciones y postes circulares. El diseño de esta nueva herramienta se basa en ...
    • Disseny d'heurística pel problema d'electrificació rural 

      Cortés García, Juan Daniel (Universitat Politècnica de Catalunya, 2012)
      Master thesis (pre-Bologna period)
      Open Access
      Es proposa el disseny d’una heurística basada en Corridor Method per optimitzar el temps que es necessari per poder trobar una solució factible i suficientment acceptable, encara que no sigui la optima, al problema de ...
    • Elastic spectrum allocation in flexgrid optical networks 

      Asensio Garcia, Adrián (Universitat Politècnica de Catalunya, 2012-10-29)
      Master thesis (pre-Bologna period)
      Open Access
      [ANGLÈS] In this work it is presented the study and the obtained results when applying elasticity in flexible optical networks using flexgrid technology and with objective to evaluate a future line of work that helps to ...
    • Encaminament amb optimització de consum energètic en una Software-Defined Network 

      Jiménez Feijóo, Sergio (Universitat Politècnica de Catalunya, 2012-01-26)
      Bachelor thesis
      Open Access
      A l’actualitat està sorgint un creixent interès per l’aplicació de tècniques d’optimització a xarxes d’ordinadors amb la finalitat d’habilitar noves funcionalitats com el balanceig de càrrega o l’estalvi energètic. Aquesta ...
    • Entailment among probabilistic implications 

      Atserias, Albert; Balcázar Navarro, José Luis (Institute of Electrical and Electronics Engineers (IEEE), 2015)
      Conference report
      Open Access
      We study a natural variant of the implicational fragment of propositional logic. Its formulas are pairs of conjunctions of positive literals, related together by an implicational-like connective, the semantics of this sort ...
    • Equilibrado de líneas de montaje de productos voluminosos 

      Camps, Gonzalo; Corominas Subias, Albert; Pastor Moreno, Rafael (2010-06)
      External research report
      Open Access
    • Estudi de l'assignació de seients en base a les relacions socials 

      Martínez Ruíz, Pau (Universitat Politècnica de Catalunya, 2017-01)
      Bachelor thesis
      Restricted access - author's decision
      En aquest estudi, s’aborda la problemàtica d’assignar seients als socis d’un club esportiu, en base als vincles socials que puguin existir entre els mateixos. Per tal propòsit es fa ús de la programació lineal així, com ...
    • Ethical reasoning for norm-based systems 

      Serramià Amorós, Marc (Universitat Politècnica de Catalunya, 2018-04-16)
      Master thesis
      Restricted access - confidentiality agreement
      Covenantee:   Universitat de Barcelona / Universitat Rovira i Virgili
    • Extended models for TSALBP with ergonomic risk Constraints 

      Bautista Valhondo, Joaquín; Batalla García, Cristina; Alfaro Pozo, Rocío; Cano Pérez, Alberto (International Federation of Automatic Control (IFAC), 2013-06-21)
      Article
      Open Access
      In this paper, we present an extension to the TSALB problem (Time and Space constrained Assembly Line Balancing) with ergonomic risk restrictions. This ergonomic risk is defined from the task durations and their categories ...
    • Free and regular mixed-model sequences by a linear program-assisted hybrid algorithm GRASP-LP 

      Bautista Valhondo, Joaquín; Alfaro Pozo, Rocío (Springer, 2017-01-16)
      Article
      Open Access
      A linear program-assisted hybrid algorithm (GRASP-LP) is presented to solve a mixed-model sequencing problem in an assembly line. The issue of the problem is to obtain manufacturing sequences of product models with the ...
    • Free and regular mixed-model sequences by a linear program-assisted hybrid algorithm GRASP-LP 

      Bautista Valhondo, Joaquín; Alfaro Pozo, Rocío (Springer, 2017-06)
      Article
      Open Access
      A linear program-assisted hybrid algorithm (GRASP-LP) is presented to solve a mixed-model sequencing problem in an assembly line. The issue of the problem is to obtain manufacturing sequences of product models with the ...
    • Generation of structured hexahedral meshes in volumes with holes 

      Ruiz-Gironés, Eloi; Sarrate Ramos, Josep (2010-10)
      Article
      Open Access
      The submapping method is one of the most used techniques to generate structured hexahedral meshes. This method splits the geometry into pieces logically equivalent to an hexahedron. Then, it meshes each patch keeping the ...
    • Hybrid procedure based on Bounded Dynamic Programming and Linear Programming for solving a variant of the MMSP-W 

      Bautista Valhondo, Joaquín; Cano Pérez, Alberto; Alfaro Pozo, Rocío; Batalla García, Cristina (International Federation of Automatic Control (IFAC), 2013-06-21)
      Article
      Open Access
      In this paper, we propose a hybrid procedure based on Bounded Dynamic Programming (BDP) and linear programming to solve the Mixed-Model Sequencing Problem with Workload Minimization (MMSP-W), with serial workstations, free ...
    • Hypernode reduction modulo scheduling 

      Llosa Espuny, José Francisco; Valero Cortés, Mateo; Ayguadé Parra, Eduard; González Colás, Antonio María (Institute of Electrical and Electronics Engineers (IEEE), 1995)
      Conference report
      Open Access
      Software pipelining is a loop scheduling technique that extracts parallelism from loops by overlapping the execution of several consecutive iterations. Most prior scheduling research has focused on achieving minimum execution ...