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 20 of 55 for “"Backtracking"”.
-
Measuring Backtracking on Delivery Routes through Community Detection
In logistics, backtracking is the act of a route returning to an area that it has already visited. Despite backtracking’s clear potential to be a source of inefficiency and driver frustration, there is little existing research on backtracking in transportation. We set out to devise a method to …
-
Packet parsing : a practical linear-time algorithm with backtracking
Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2002.
-
An evaluation of computer-supported backtracking in a hierarchical database
… In the case of a database, undo translates to backtracking support. The first purpose of this research was to confirm that computer-supported backtracking tools reduce navigation time over manual backtracking. The second purpose was to compare navigation times among a subset of backtracking …
-
Optimal temporal planning at reactive time scales via dynamic backtracking branch and bound
Autonomous robots are being considered for increasingly capable roles in our society, such as urban search and rescue, automation for assisted living, and lunar habitat construction. To fulfill these roles, teams of autonomous robots will need to cooperate together to accomplish complex mission …
-
A Computer Language Transformation System Capable of Generalized Context-Dependent Parsing
… parsing. We argue for the use of backtracking LR as the generalized parsing algorithm. We present an enhancement to backtracking LR that allows us to control the parsing of an ambiguous grammar by ordering the productions of the grammar definitions. We add a grammar-dependent …
-
Strategies for Scalable Symbolic Execution-based Test Generation
… portions of the program and a conflict driven backtracking strategy that utilizes conflict analysis to perform nonchronological backtracking. We also propose error-directed search strategies, that are aimed at catching bugs in the program faster, by targeting those parts of the program where …
-
Natively probabilistic computation
… generalizations of Boolean circuits, backtracking search and pure Lisp. I show how these tools let one compactly specify probabilistic generative models, generalize and parallelize widely used sampling algorithms like rejection sampling and Markov chain Monte Carlo, and solve difficult …
-
Structures, Functions, and Druggability of the SARS-CoV-2 Replication–Transcription Complex
… RdRp and identified that nsp13 precipitates RdRp backtracking, which is a universal regulatory feature of many nucleic acid polymerases that describes their reverse motion on the nucleic acid template. The backtracking observation prompted questions as to how the polymerase can elongate RNA in the …
-
Evaluation of Prototype Cell Delivery Catheters Using Agarose Gel and Cell Culture Experiments
… release of air in the brain and consequent backtracking of dye are some disadvantages with this mode of treatment. We evaluated prototype cell delivery catheters (each with outer and inner catheter) developed to minimize these complications. The catheters (1.6 mm small bore and 2.0 mm large …
-
Stochastic Modelling of Gene Expression: From Single Molecules to Populations
… along the DNA template, a phenomenon dubbed backtracking. Motivated by this finding and the implications transcriptional pausing has for the regulation of DNA transcription, our work aims at providing a quantitative characterisation of backtracking and the effect of such pauses on the …
-
A reverse counterfactual analysis of causation
… This will often, perhaps always, be a backtracking counterfactual, so two chapters are devoted to defending a conception of counterfactuals which allows backtracking. Thus prepared, I argue that the Reverse Counterfactual is true of causes, but not of mere conditions for an effect. This …
-
Solar Energy Generation Forecasting and Power Output Optimization of Utility Scale Solar Field
… accuracy. The optimization method utilizes the backtracking algorithm already installed in the system and the pitch distance to control the angle of the tracker and reduces solar panels partial shading on the adjacent row to improve system output. With pitch distances reduced in the backtracking …
-
Informed selection and use of training examples for knowledge refinement.
… states. The thesis explores how different backtracking heuristics and training example ordering heuristics affect refinement effectiveness and efficiency. Refinement tools rely on a representative set of training examples to identify faults and influence repair choices. In real environments …
-
Graph coloring algorithms on random graphs
… sequential coloring. Two basic approaches, backtracking and branch-and-bound, serve as a foundation for the developed algorithms. The various algorithms have been programmed and applied to random graphs. This dissertation will present several variations of the Korman algorithm, Korw2, …
-
Recovery from transient faults in wavefront processor arrays
… instants of time. When an error is detected, backtracking is done to a consistent state and computation resumes from that state. The rollback algorithm is distributed in nature so that there is no single point of failure in the fault recovery mechanism.
-
An automatic test generation method for chip-level circuit descriptions
… justification, and propagation requirements. Backtracking is used to recover from incorrect choices. The method is implemented in ProLog, an artificial intelligence language. Results of this experimental ProLog implementation are summarized and analyzed for strengths and weaknesses of the test …
-
An improved chip-level test generation algorithm
… the way in which the goals are satisfied, using backtracking to select alternative solutions. A method for handling time in absolute, rather than relative, terms is discussed. Comparison of run times for the improved algorithm against those obtained by the previous method is made to demonstrate …
-
A Greedy Search Algorithm for Maneuver-Based Motion Planning of Agile Vehicles
… techniques with hill climbing and effective backtracking to guide the search process rapidly towards the goal. Using simulations of a four-thruster hovercraft, AD-Lib is compared to existing suboptimal search algorithms in both known and unknown environments with static obstacles. AD-Lib is …
-
APT: A principled design for an animated view of program execution for novice programmers
… such as variable binding, recursion, and backtracking, and secondly a debugging tool which allows novices to step through their own code watching the virtual machine in action. This moves towards simplifying the novice's debugging environment by supplying program execution information in a …
-
Models and Algorithms for School Timetabling
… programmer typically combines chronological backtracking with constraint propagation that identifies infeasible value combinations and prunes the search space. In recent years, constraint programming has emerged as a key technology for combinatorial optimization in industrial applications. In …
Page 1 of 3