Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 19 of 19 for “"Integer Linear Programming (ILP)"”.
-
Exact decoding of phrase-based translation models through Lagrangian relaxation
… is much more efficient than approaches based on linear programming (LP) or integer linear programming (ILP) solvers: these methods are not feasible for anything other than short sentences. We compare our methods to MOSES [6], and give precise estimates of the number and magnitude of search errors …
-
Unsupervised learning of morphological forests
… The resulting objective is solved using Integer Linear Programming (ILP) paired with contrastive estimation. We train the model by alternating between optimizing the local log-linear model and the global ILP objective. We evaluate our system on three tasks: root detection, clustering of …
-
PERFORMANCE ESTIMATION AND SCHEDULING FOR PARALLEL PROGRAMS WITH CRITICAL SECTIONS
… provide experimental comparisons with the ideal integer linear programming (ILP) formulation.
-
Robust Data Center Network Design using Space Division Multiplexing
… requests. We propose to evaluate the developed Integer Linear Programming (ILP) formulation based on this scheme, considering the possibility of disasters. We study the impact of the design on the cost of the solution, hence explore whether it promotes significant resource savings.
-
MODELING AND RESOURCE ALLOCATION IN MOBILE WIRELESS NETWORKS
… of maximizing social welfare. We present an Integer Linear Programming (ILP) and Vickrey-Clarke-Groves (VCG) based auction mechanism for obtaining optimal social welfare. To reduce time complexity, we present a polynomial-time greedy mechanism for the RaaS auction. Both methods have been …
-
Simultaneous SNV calling and Phylogenetic Inference for Single-cell Sequencing Data
… on a new method that I developed, called scVILP, that jointly detects mutations in individual cells and reconstructs a “perfect phylogeny” of the cells (a phylogeny on which every site in the genomes mutates at most once). The method employs a novel Integer Linear Programming (ILP) …
-
Link failure protection and restoration in WDM optical networks
… capacity for single link failure protection, an integer linear programming (ILP) formulation is provided. We also develop a fast double-link failure restoration scheme by message signaling to take advantage of the scalable and distributed processing capability of tree structure.</p>
-
An Evolutionary Approach to Solving the Maximum Size Consecutive Ones Submatrix and Related Problems
… The main aim of this thesis is to convert a Pure Integer Linear Programming (ILP) with (0, 1)−matrix into Mixed Integer Linear Programming (MILP) by finding the C1S submatrix. Given a (0, 1)−matrix, we consider the C1S problem which aims to maximize the number of columns having only one block of …
-
Optimizing Equity in Healthcare Access: An Integer Programming Approach to Emergency Department Closures and Travel Burden Disparities in Ontario
… while balancing operational constraints. Two Integer Linear Programming (ILP) models were developed within this framework. The Capacitated p-Median Problem (CpMP) model identifies closures that minimize patient travel times, with results aligning to some historical closures (e.g., Durham …
-
Compilation and Scheduling Techniques for Embedded Systems
… is also presented. Chapter 4 presents an optimal integer linear programming (ILP) solution to the offset assignment problem with variable coalescing and operand permutation. A new approach to the general offset assignment problem is introduced. Chapter 5 presents an optimal ILP formulation and a …
-
High-Level Synthesis and Implementation of Built-In Self-Testable Data Path Intensive Circuit
… and test time. The second method is based on integer linear programming (ILP). The proposed ILP based method performs the three tasks, assignments of registers, interconnections, and BIST registers, concurrently to yield optimal or near-optimal designs. We describe a complete set of ILP …
-
Inference of parsimonious species phylogenies from multi-locus data
… Chapter 3, we present an algorithm based on an integer-linear programming (ILP) formula to infer the species tree's topology and divergence times from multiple gene trees. In Chapter 4, we describe two methods that infer the species tree by minimizing deep coalescences (MDC), a criterion …
-
Reconfigurable and heterogeneous architectures for efficient computing
… and presents an overlay architecture and an integer linear programming (ILP) based scheduler and mapper. We also demonstrate the ability to simultaneously map multiple applications to one FPGA, and explore different scheduling and sharing strategies. Third, we attempt to bridge the gap …
-
Detection and prevention of intrusions in power system cyber-physical infrastructure
… observability of the power system. Specifically, integer linear programming (ILP) models are formulated to minimize the overhead of the self-healing process while considering the constraints of power system observability, hardware resources, and network topology. In addition, we propose a greedy …
-
Design and resource management of reconfigurable multiprocessors for data-parallel applications
… customized and synthesized for the TFG using an Integer Linear Programming (ILP) formulation and a parameterized hardware component library. Various run-time scheduling schemes with different performanceenergy objectives are proposed. A system-level energy model for HERA, which is based on …
-
Routing and protection issues in optical WDM mesh networks
… number of qualified candidates, then we use the Integer Linear Programming (ILP) model for determining the optimal set of p-cycles. The third approach is a heuristic approach. To achieve the optimal solution, p-cycle is iteratively selected one by one with the best efficiency until all working …
-
UAV-Enabled Wireless Communications: Deployment, Optimization, and Analysis
… to all users. Our approach formulates this as an integer linear programming (ILP) optimization problem, establishes its computational intractability (NP-hardness), and develops a computationally efficient geometric algorithm that consistently achieves near-complete LoS coverage across diverse …
-
Algorithms for computing liveness enforcing supervisors for discrete event-driven systems modeled by petri nets
… for LESP synthesis provides an alternative to an Integer Linear Programming (ILP)-based approach that is applied on the coverability graph of a PN. As the size of the PN grows, the computational complexity of such ILP-based approaches to LESP-synthesis increases. The main motivation behind our …
-
Techniques for Seed Computation and Testability Enhancement for Logic Built-In Self Test
With the increase of device complexity and test-data volume required to guarantee adequate defect coverage, external testing is becoming increasingly difficult and expensive. Logic Built-in Self Test (LBIST) is a viable alternative test strategy as it helps reduce dependence on an elaborate …