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 18 of 18 for “"Space efficiency"”.

  1. Incrementally verifiable computation or knowledge implies time/space efficiency

    … proof systems with respect to time/space efficiency and the new criterion of composability. We deduce the existence of our proposed proof system by way of a natural new assumption about proofs of knowledge. In fact, a main contribution of our result is showing that knowledge can be …

    mit Repository record for Incrementally verifiable computation or knowledge implies time/space efficiency (opens in a new tab)

  2. Space-Efficient and Noise-Robust Quantum Factoring

    … algorithm (arXiv:2308.06572), addressing its space efficiency and its noise-tolerance. Our first contribution is to improve the quantum space efficiency of Regev's algorithm while keeping the circuit size the same. Our main result constructs a quantum factoring circuit using O(n log n) qubits …

    mit Repository record for Space-Efficient and Noise-Robust Quantum Factoring (opens in a new tab)

  3. Intentional fragmentation for material storage

    … Analyses of warehouse operations, storage space efficiency, error sensitivity, and placement policies are presented and compared to traditional warehousing techniques. The major factors that drive the performance differences between traditional, highly organized storage and location-relaxed …

    mit Repository record for Intentional fragmentation for material storage (opens in a new tab)

  4. Graphs, matrices, and populations : linear algebraic techniques in theoretical computer science and population genetics

    … and also give a substantial improvement in space efficiency. Since sparsification is an important first step in speeding up approximation algorithms for many graph problems, our results have numerous applications. In the second part of the thesis, we consider the problem of inferring human …

    mit Repository record for Graphs, matrices, and populations : linear algebraic techniques in theoretical computer science and population genetics (opens in a new tab)

  5. ARkits : architectural robotics kits

    Urban space is too valuable to be static and unresponsive. Our cities are in urgent need of new architectural solutions that maximize space efficiency and respond to the complexities of life. What if the traditionally passive spatial elements, that give shape to our architectural spaces, could …

    mit Repository record for ARkits : architectural robotics kits (opens in a new tab)

  6. Three Approaches to Space Systems Acquisitions and their Application to the Defense Departments Weather Satellite Program

    … these years, there has been a shift in the space systems acquisitions model, from acquiring greater quantities but less complex satellites, to fewer quantities but drastically more complex individualized satellites. Within the past two decades, when a new satellite was to be built, whether …

    nps Repository record for Three Approaches to Space Systems Acquisitions and their Application to the Defense Departments Weather Satellite Program (opens in a new tab)

  7. Operational improvements in a factory of low volume and high mixture

    … lead time reduction, inventory management, floor space efficiency, testing operations, cross-training of operators, and volume flexibility. The current state of the manufacturing system is recorded. Driving principles for new floor layouts are identified in the areas of testing operations, …

    mit Repository record for Operational improvements in a factory of low volume and high mixture (opens in a new tab)

  8. Randomized Data Structures: New Perspectives and Hidden Surprises

    … able to circumvent decades-old barriers in time/space efficiency. This technique appears three (completely separate) times in the thesis. Combined, our results overturn a 60-year-old myth on linear-probing hash tables; refute a 30-year-old conjecture and solve a 40-year-old open problem on …

    mit Repository record for Randomized Data Structures: New Perspectives and Hidden Surprises (opens in a new tab)

  9. Nonlinear Energy Harvesting With Tools From Machine Learning

    … they are either energy-consuming or exhibit low efficiency when operating under multi-frequency excitations. In order to overcome these limitations in a linear energy harvester, researchers recently suggested using "nonlinearity" for broad-band frequency response.</p><p>Based on existing …

    duke Repository record for Nonlinear Energy Harvesting With Tools From Machine Learning (opens in a new tab)

  10. Capsule homes : creating space within space

    … homes. The need of reducing a small living space to the bare necessities, whilst allowing consumers to quickly transform and personalize the function requires great understanding of space efficiency and construction methods. Realizing a carefully designed space is one thing, but actually …

    mit Repository record for Capsule homes : creating space within space (opens in a new tab)

  11. A novel methodology for e-learning space design in HEI campuses

    … and effective design parameters for E-learning spaces. Those which exist, focus mainly on cost, budget and timely delivery i.e. the process only not the product. An effective approach to E-learning space design is needed to address the problems of space efficiency, effectiveness, quality, …

    wlv Repository record for A novel methodology for e-learning space design in HEI campuses (opens in a new tab)

  12. Design, modeling, and simulation of secure X.509 certificate revocation

    … cascading fuse filter (demonstrating the highest space efficiency and fastest build time) is applied to minimize the revocation lookup time with zero false positives.

    utc Repository record for Design, modeling, and simulation of secure X.509 certificate revocation (opens in a new tab)

  13. Deep Memory Models and Efficient Reinforcement Learning under Partial Observability

    … on the fly, improving data and parameter efficiency when compared with standard memory models. Next, we discuss a large scale study of memory models. We design a variety of procedurally generated tasks, and then implement and evaluate an array of memory models on these tasks. Taking a …

    cambridge Repository record for Deep Memory Models and Efficient Reinforcement Learning under Partial Observability (opens in a new tab)

  14. Outsourcing, offshoring and the US office market

    … into significantly lower demand for US office space. Professional service firms are major users of office space and these firms are increasingly dependent on IT in nearly every aspect of their business. Due to its technical nature and expense, these industries routinely outsource and/or …

    mit Repository record for Outsourcing, offshoring and the US office market (opens in a new tab)

  15. Parallel Mining and Analysis of Triangles and Communities in Big Networks

    … leading to a fast algorithm. We also design a space-efficient algorithm using non-overlapping partitioning and an efficient communication scheme. This space efficiency allows the algorithm to work on even larger networks. We then present our third parallel algorithm based on dynamic load …

    vt Repository record for Parallel Mining and Analysis of Triangles and Communities in Big Networks (opens in a new tab)

  16. Three Case Studies For Understanding, Measuring and Using a Compound Notion of Data Quality With Emphasis on the data Staleness Dimension

    … smoothing. In our experiments, we compare their space efficiency and data update instants predictive accuracy using history of updates of sample representative articles from Wikipedia.

    trento Repository record for Three Case Studies For Understanding, Measuring and Using a Compound Notion of Data Quality With Emphasis on the data Staleness Dimension (opens in a new tab)

  17. Utility Accrual Real-Time Scheduling and Synchronization on Single and Multiprocessors: Models, Algorithms, and Tradeoffs

    … and lock-based is fundamentally about their space and time costs. Wait-free sacrifices space efficiency in return for no additional time cost, as opposed to the blocking time of lock-based and the retry time of lock-free. We show that wait-free RUA/DASA outperform lock-based RUA/DASA when the …

    vt Repository record for Utility Accrual Real-Time Scheduling and Synchronization on Single and Multiprocessors: Models, Algorithms, and Tradeoffs (opens in a new tab)

  18. SUSTAINABILITY IN HOUSING: COMPARATIVE STUDY ON STANDARD DWELLINGS AND CONSUMPTION OF DOMESTIC SPACES IN SINGAPORE AND JAKARTA

    By looking at space as a finite resource, the dissertation seeks to study the sustainability of the current level of space consumption in Jakarta and Singapore – two cities at different economic stage of development, with problems of high population density. With global population projected to …

    nus Repository record for SUSTAINABILITY IN HOUSING: COMPARATIVE STUDY ON STANDARD DWELLINGS AND CONSUMPTION OF DOMESTIC SPACES IN SINGAPORE AND JAKARTA (opens in a new tab)