Dissertations / Theses on the topic 'Terminating terminating'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Terminating terminating.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
Slind, Konrad. "Reasoning about terminating functional programs." [S.l. : s.n.], 1999. http://deposit.ddb.de/cgi-bin/dokserv?idn=962069752.
Full textRichardson, D. S. "Terminating parallel discrete event simulations." Thesis, This resource online, 1991. http://scholar.lib.vt.edu/theses/available/etd-03172010-020620/.
Full textMartin, Jonathan Charles. "Judgement day : terminating logic programs." Thesis, University of Southampton, 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.326732.
Full textWabenhorst, Axel. "On fairness in terminating and reactive systems." Thesis, University of Oxford, 1996. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.337430.
Full textTaylor, James Benjamin Jr. "Investment-Consumption with a Randomly Terminating Income." BYU ScholarsArchive, 2013. https://scholarsarchive.byu.edu/etd/4069.
Full textWestmacott, Robin. "Reasons for Terminating Psychotherapy: Client and Therapist Perspectives." Thèse, Université d'Ottawa / University of Ottawa, 2011. http://hdl.handle.net/10393/20228.
Full textBarros, Jose Bernado dos Santos Monteiro Vieira de. "Semantics of non-terminating systems through term rewriting." Thesis, University of Oxford, 1995. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.260738.
Full textCowton, Thomas Ralph. "Hydrology of a land-terminating Greenlandic outlet glacier." Thesis, University of Edinburgh, 2013. http://hdl.handle.net/1842/8286.
Full textMusser, William G. "Terminating America's wars : the Gulf War and Kosovo." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2002. http://library.nps.navy.mil/uhtbin/hyperion-image/02Jun%5FMusser.pdf.
Full textSanjeevan, Vasant. "The cost of terminating parallel discrete-event simulations." Thesis, This resource online, 1992. http://scholar.lib.vt.edu/theses/available/etd-09292009-020138/.
Full textFleischer, Theodore E. "As good as dead? : terminating treatment of demented patients." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1997. http://www.collectionscanada.ca/obj/s4/f2/dsk2/ftp01/MQ37252.pdf.
Full textRoche, Valles David. "Statistical framework for terminating evolutionary algorithms at their steady state." Doctoral thesis, Universitat Autònoma de Barcelona, 2015. http://hdl.handle.net/10803/305235.
Full textThe goal of this Thesis is assessing the quality of existing stopping conditions for terminating Evolutionary Algorithms at its steady state. An Evolutionary Algorithm (EA) is an iterative population based technique based on natural evolution rules principles to find (or explore) in a given search space the set of point that best fits a given real situation according to a cost function. When a problem is presented in practically all situations, an exploration of a set of possible solutions is needed and for each possible solution its goodness is valuable. EAs can be viewed as an optimization technique if a function is given. As any iterative technique, a stop criterion for terminating EA numeric implementation is mandatory. In the case of optimization methods, the algorithm should stop at the time it has reached a steady state so it can not improve results anymore. Assessing the reliability of termination conditions for evolutionary algorithms is of prime importance. A wrong or weak stop criterion can negatively affect both the computational effort and the final result. In this Thesis, we introduce a statistical framework for assessing whether a termination condition is able to stop EA at its steady state. In one hand a numeric approximation to steady states to detect the point in which EA population has lost its diversity has been presented for EA termination. This approximation has been applied to different EA paradigms based on diversity and a selection of functions covering the properties most relevant for EA convergence. Experiments show that our condition works regardless of the search space dimension and function landscape and Differential Evolution (DE) arises as the best EA paradigm. On the other hand, we use a regression model in order to determine the requirements ensuring that a measure derived from EA evolving population is related to the distance to the optimum in x-space. Our theoretical framework is analyzed across several benchmark test functions and two standard termination criteria based on function improvement in function space and EA population x-space distribution for the DE paradigm. Results validate our statistical framework as a powerful tool for determining the capability of a measure for terminating EA and select the x-space distribution as the best-suited for accurately stopping DE in real-world applications.
Bartholomew, Ian David. "Hydrology and dynamics of a land-terminating Greenland outlet glacier." Thesis, University of Edinburgh, 2012. http://hdl.handle.net/1842/7613.
Full textBovitz, Gregory Lowell. "Porkbusters in congress : the electoral politics of terminating distributive programs /." Diss., Connect to a 24 p. preview or request complete full text in PDF format. Access restricted to UC IP addresses, 1999. http://wwwlib.umi.com/cr/ucsd/fullcit?p9945688.
Full textFrancisco, Teresa Wise. "Adolescents' Experiences With Terminating Relationships With Perpetrators of Perinatal Abuse." The Ohio State University, 2009. http://rave.ohiolink.edu/etdc/view?acc_num=osu1243879369.
Full textAndrikonis, Julius. "Effective Method to Obtain Terminating Proof-Search in Transitive Multimodal Logics." Doctoral thesis, Lithuanian Academic Libraries Network (LABT), 2011. http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2011~D_20111227_091412-58067.
Full textDisertacijoje nagrinėjamos žinių logikos su centrinio agento sąveikos aksioma. Tyrimas apima multimodalines logikas Kn, Tn, K4n ir S4n. Disertacijos tikslas – baigtinės išvedimo paieškos sekvenciniai skaičiavimai minėtoms logikoms. Darbe pristatomas naujas išvedimo paieškos baigtinumą užtikrinantis metodas, kuris yra pritaikomas minėtoms logikoms, o taip pat monomodalinėms logikoms K4 ir S4.
Svensson, Carl Edward. "Collectivity in A 60 nuclei, superdeformed and smoothly terminating rotational bands." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1999. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape9/PQDD_0022/NQ51016.pdf.
Full textSvensson, Carl Edward. "Collectivity in A ~ 60 nuclei : superdeformed and smoothly terminating rotational bands /." *McMaster only, 1998.
Find full textTuck, Christopher. "Terminating confrontation : British strategy and the conflict with Indonesia 1963-66." Thesis, University of Reading, 2010. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.542263.
Full textStreuff, Katharina Teresa. "Glacimarine sedimentary processes and products at fjord-terminating tidewater glacier margins." Thesis, Durham University, 2017. http://etheses.dur.ac.uk/12520/.
Full textYang, Wei-Ning. "Multivariate estimation and variance reduction for terminating and steady-state simulation /." The Ohio State University, 1989. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487672631602302.
Full textSakai, Masahiko, Kouji Okamoto, and Toshiki Sakabe. "Innermost Reductions Find All Normal Forms on Right-Linear Terminating Overlay TRSs." Elsevier, 2003. http://hdl.handle.net/2237/9248.
Full textDavis, Andrew D. (Andrew Donaldson). "Prediction under uncertainty : from models for marine-terminating glaciers to Bayesian computation." Thesis, Massachusetts Institute of Technology, 2018. https://hdl.handle.net/1721.1/121812.
Full textCataloged from PDF version of thesis.
Includes bibliographical references (pages 255-266).
The polar ice sheets have enormous potential impact on future global mean sea level rise. Recent observations suggest they are losing mass to the ocean at an accelerated rate. Skillful prediction of the ice sheets' future mass loss remains difficult, however; observations of key variables are insufficient and physical processes are poorly understood. Even when a relatively accurate dynamical model is available, computational limitations make it difficult to characterize uncertainties associated with the model's predictions. To address this prediction challenge, this thesis presents complementary developments in glaciology and in Bayesian computation.
In particular, (i) we develop new models of marine-terminating glaciers whose dynamics are controlled by an extended set of physical processes and geometric constraints; and (ii) we develop new sampling algorithms to efficiently characterize selected marginals of a high-dimensional probability distribution describing uncertain parameters. The latter algorithms have broader utility in Bayesian modeling and inference with computationally intensive models. We begin by studying laterally confined ice streams that terminate in the ocean, where they may form floating ice shelves. Such marine-terminating outlet glaciers are the main conduits by which Greenland and Antarctica drain their ice mass into the ocean. Ice shelves play an important role in buttressing the grounded inland ice. The seaward ice flow is typically accompanied by acceleration and thinning. Increased thinning eventually leads to flotation of the ice supported by buoyant forces from the ocean.
The transition region from grounded to floating ice is referred to as the grounding line (or zone), and the mass transport across the grounding line as the output flux. Previous work by Weertman (1974) and Schoof (2007) considers laterally unconfined ice streams, showing that their output flux is a monotonically increasing function of the bedrock rock depth at the grounding line. This scenario leads to the marine ice sheet instability (MISI): retreating into deeper water increases the output flux, and retreat accelerates. Therefore, stable steady states cannot exist on downward sloping beds. We extend this analysis to laterally confined glaciers and investigate when side-wall drag is sufficient to stabilize glaciers on downward sloping beds. Additionally, we include a parameterization of sub-shelf melt. We find that, whereas lateral drag can stabilize glaciers that would otherwise be subject to the MISI, sub-shelf melt can destabilize them.
Our ultimate goal is to predict future ice sheet volume and to quantify its uncertainty. We do so in the Bayesian statistical setting, conditioning our prediction on available observations. Yet characterizing a posterior distribution-using, for example, Markov chain Monte Carlo (MCMC)-involves repeated evaluations of an ice stream model, which are prohibitively expensive. Furthermore, the model parameters that need to be inferred are high dimensional, even though we are primarily interested in a low dimensional quantity: the future ice volume. We address this computational challenge by developing new structure-exploiting Monte Carlo methods that combine marginalization with surrogate modeling. Given a high-dimensional (posterior) distribution on the model parameters, whose density evaluations are computationally intensive, we construct an MCMC chain that directly targets a particular low-dimensional marginal of interest. In general, the marginal density is not available analytically.
Instead, we can compute unbiased noisy estimates of this density. Our MCMC algorithm incrementally constructs a local regression approximation of the target marginal density using these estimates. Continual refinement of the approximation, as MCMC sampling proceeds, leads to an asymptotically exact characterization of the desired marginal distribution. Analysis of the bias-variance tradeoff guides an ideal refinement strategy that balances the decay rates of different components of the error. Our approach exploits regularity in the marginal density to significantly reduce computational expense relative to both full-dimensional and pseudo-marginal MCMC.
by Andrew D. Davis.
Ph. D. in Computational Science and Engineering
Ph.D.inComputationalScienceandEngineering Massachusetts Institute of Technology, Department of Aeronautics and Astronautics
Jeong, Seongsu. "Time Series Reconstruction of Surface Flow Velocity on Marine-terminating Outlet Glaciers." The Ohio State University, 2015. http://rave.ohiolink.edu/etdc/view?acc_num=osu1437602064.
Full textKouchakzadeh, Salah. "The local scouring phenomenon at bridge abutments terminating in the floodplain zone." Thesis, University of Ottawa (Canada), 1996. http://hdl.handle.net/10393/9915.
Full textKemp, Brian Lee. "Response and failure analysis of a graphite-epoxy laminate containing terminating internal plies." Thesis, Virginia Polytechnic Institute and State University, 1985. http://hdl.handle.net/10919/91127.
Full textM.S.
Tate, Rothwelle Joseph St John. "Molecular biology of signal terminating enzymes : identification and strructure-function relationships with signalling proteins." Thesis, University of Strathclyde, 2007. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.432629.
Full textAlpert, Steven M. "Assessing the level of service for shipments originating or terminating on short line railroads." Thesis, Massachusetts Institute of Technology, 2006. http://hdl.handle.net/1721.1/38332.
Full textIncludes bibliographical references (p. [79]-[84]).
This thesis measures railroad freight trip time and trip time reliability for freight rail shipments involving short lines in 2006. It is based on an underlying MIT study commissioned by members of the short line railroading industry, including the American Short Line Rail Road Association, and RaiLinc Corporation, a company that provides many railroad-related services. The data for this thesis is provided by several short lines through RaiLinc Corporation, which gathers and releases the data. Data from a 90-day window is gathered for 39 shipping lanes spread amongst several short line railroads, with a total of 6,747 movements analyzed. In addition, two shipping lanes of 69 total movements that were provided for preliminary analysis are presented in greater detail. Two short lines have also provided their own multiyear data on car movements. The significant result of this thesis is that there is an average time from shipper to customer of 8.3 days per load, with a standard deviation of 4.3 days. There is an average 2-day percentage, or highest percentage of loads to arrive in any 2-day window, of 44.7%. These numbers represent a moderate increase in trip time and trip time unreliability from the 1990-1991 numbers presented by a 1995 trip time study.
by Steven M. Alpert.
S.M.
Serdar, Lucas D. "The Functional Relationship between the Nonsense-Mediated mRNA Decay Pathway and the Prematurely Terminating Ribosome." Case Western Reserve University School of Graduate Studies / OhioLINK, 2019. http://rave.ohiolink.edu/etdc/view?acc_num=case1554304118763865.
Full textMoffat, Karen Ann. "Synthesis and evaluation of model initiator/reversible terminating adducts for the stable free radical polymerization process." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1998. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape10/PQDD_0002/NQ42755.pdf.
Full textBecker, Richard. "Terminating species and Lewis acid-base preference in oxohalides : a new route to low-dimensional compounds /." Doctoral thesis, Stockholm : Department of Inorganic Chemistry, Stockholm University, 2007. http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-1414.
Full textKoester, Alexandria Jo. "Rapid thinning of the Laurentide Ice Sheet in coastal Maine, USA during late Heinrich Stadial 1:." Thesis, Boston College, 2017. http://hdl.handle.net/2345/bc-ir:107308.
Full textFew data are available to infer the thinning rate of the Laurentide Ice Sheet (LIS) through the last deglaciation, despite its importance for constraining past ice sheet response to climate warming. We measured 31 cosmogenic 10Be exposure ages in samples collected on coastal mountainsides in Acadia National Park and from the slightly inland Pineo Ridge moraine complex, a ~100-km-long glaciomarine delta, to constrain the timing and rate of LIS thinning and subsequent retreat in coastal Maine. Samples collected along vertical transects in Acadia National Park have indistinguishable exposure ages over a 300 m range of elevation, suggesting that rapid, century-scale thinning occurred at 15.2 ± 0.7 ka, similar to the timing of abrupt thinning inferred from cosmogenic exposure ages at Mt. Katahdin in central Maine (Davis et al., 2015). This rapid ice sheet surface lowering, which likely occurred during the latter part of the cold Heinrich Stadial 1 event (19-14.6 ka), may have been due to enhanced ice-shelf melt and calving in the Gulf of Maine, perhaps related to regional oceanic warming associated with a weakened Atlantic Meridional Overturning Circulation at this time. The ice margin subsequently stabilized at the Pineo Ridge moraine complex until 14.5 ± 0.7 ka, near the onset of Bølling Interstadial warming. Our 10Be ages are substantially younger than marine radiocarbon constraints on LIS retreat in the coastal lowlands, suggesting that the deglacial marine reservoir effect in this area was ~1,200 14C years, perhaps also related to the sluggish Atlantic Meridional Overturning Circulation during Heinrich Stadial 1
Thesis (MS) — Boston College, 2017
Submitted to: Boston College. Graduate School of Arts and Sciences
Discipline: Earth and Environmental Sciences
Walsh, Kaitlin M. "Changes in the Marine-Terminating Glaciers of Central East Greenland, 2000-2010, and Potential Connections to Ocean Circulation." The Ohio State University, 2011. http://rave.ohiolink.edu/etdc/view?acc_num=osu1306512126.
Full textHennig, Anne [Verfasser], Ignacio [Gutachter] Rubio, Stefan [Gutachter] Lorkowski, and Reinold [Gutachter] Schäfer. "Investigation of the mechanisms terminating growth factor induced Ras activation / Anne Hennig ; Gutachter: Ignacio Rubio, Stefan Lorkowski, Reinold Schäfer." Jena : Friedrich-Schiller-Universität Jena, 2016. http://d-nb.info/1177611708/34.
Full textRoberts, Zoe J. "Design and application of novel biodegradable chain extenders and surface-tuneable hyperbranched chain terminating agents in thermoplastic polyurethane elastomers." Thesis, University of Warwick, 2017. http://wrap.warwick.ac.uk/107841/.
Full textSamuel, Welsh. "Applying GIS to Investigate the Spatial Variability of Sub-Glacial Hydrology under Land Terminating Ice Sheets in Western Greenland Ice Sheet." Thesis, Uppsala universitet, Institutionen för geovetenskaper, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-305434.
Full textTemperatur kan ha en särskilt stark inverkan på hur istäcken (glaciärer) beter sig. Även om det är väl känt att temperaturerna ökar både globalt och runt Arktis så har vi bara börjat förstå vikten av effekten av detta på glaciärer. Med ökande temperaturer har vi börjat se att en ökad avsmältning och en ökad mängd smältvatten i glaciala system kan ändra sättet en ismassa beter sig. Ett exempel på en sådan förändring är en ökad hastighet som ismassan rör sig i eftersom vatten fungerar som ett glidmedel mellan glaciären och den underliggande marken. Var vattnet finns under isen påverkar var istäcket rör sig. Man tror att en ökning i hastighet vid vissa delar av istäcket kan ledda till att det tunnas ut. Med tiden lämnar en allt större mängd vatten systemet vilket bidrar till mindre, retirerande glaciärer och en höjning av den globala havsytenivån då vattnet via vattendrag till slut rinner ut i havet. I den här studien användes ett kartläggningsprogram, Geografiskt Informationssystem (GIS), för att förutsäga var flodsystem under isen befinner sig. Detta kartläggningsprogram används eftersom dessa regioner inte är tillgängliga för observationer i fält. Tjockleken på istäcket som ligger ovanpå flodsystemet utövar ett tryck på vattnet och gör att det kan flöda emot gravitationen och i riktningar och med hastigheter som inte är typiska för flodsystem i varmare klimat. Denna process kallas vattenavlänkning. I denna studie används en ekvation i GIS för att variera trycket från det ovanliggande istäcket. Genom att ändra detta ändras hur stor vattenavlänkningen blir och därför även vilken väg vattnet tar under isen. Denna teknik tillåter oss att se vilken väg vattnet tar från att det kommer in i systemet vid toppen av istäcket till var det lämnar systemet genom vattendrag nedströms. Genom att veta var vattnet befinner sig kan man utröna varför isen rör sig annorlunda gentemot omkringliggande istäcken, och därför också dess påverkan på omgivande miljö såväl som sociala konsekvenser. Även om detta är en väldigt användbar metod för att kartlägga kanalsystem så finns det osäkerheter, till exempel i hur resultatet stämmer överens med verkliga scenarion. Så även om detta är användbart för att förstå teorin bakom processerna så är resultatet kanske inte helt tillförlitligt.
Chernos, Matthew. "The relative importance of calving and surface ablation at a lacustrine terminating glacier : a detailed assessment of ice loss at Bridge Glacier, British Columbia." Thesis, University of British Columbia, 2014. http://hdl.handle.net/2429/50182.
Full textArts, Faculty of
Geography, Department of
Graduate
Girgin, Sertan. "Abstraction In Reinforcement Learning." Phd thesis, METU, 2007. http://etd.lib.metu.edu.tr/upload/12608257/index.pdf.
Full textRutter, Karen. "Termination." Master's thesis, University of Cape Town, 2008. http://hdl.handle.net/11427/11596.
Full textTermination is a genre novel which follows a contemporary crime fiction format. It adheres closely to the narrative shape of modem mystery books, containing the essential elements which constitute a work in this field. With a few twists. Contemporary crime fiction can follow a couple of paths along the way to solving a misdemeanour. Which is usually a murder. The protagonist is either on the spot and in the plot by virtue of his/her job. In other words, they could be a cop, forensic specialist, medical examiner, private investigator etc. Or they could be drawn reluctantly into a scenario, by circumstance or due to an over-developed sense of "doing the right thing."
Cropper, Nick I. "Effective termination techniques." Thesis, University of St Andrews, 1997. http://hdl.handle.net/10023/13453.
Full textGeser, Alfons [Verfasser]. "Relative termination / Alfons Geser." Ulm : Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2012. http://d-nb.info/102529386X/34.
Full textOttman, M. J., and B. R. Tickes. "Alfalfa Irrigation Termination, Yuma." College of Agriculture, University of Arizona (Tucson, AZ), 1994. http://hdl.handle.net/10150/201407.
Full textOttman, M. J., and R. L. Roth. "Alfalfa Irrigation Termination, Maricopa." College of Agriculture, University of Arizona (Tucson, AZ), 1994. http://hdl.handle.net/10150/201408.
Full textWright, Joanna Jane. "Studies on transcriptional termination." Thesis, University of Edinburgh, 1987. http://hdl.handle.net/1842/11960.
Full textKirtikar, Shantanu. "Termination of an axis." Thesis, Virginia Polytechnic Institute and State University, 1992. http://hdl.handle.net/10919/52120.
Full textMaster of Architecture
Woods-Henderson, Christine Ione. "An exploratory investigation of termination : the development of the counselor termination behavior inventory /." The Ohio State University, 1985. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487262825074848.
Full textSakai, Masahiko. "CLASSES WHOSE TERMINATION IS DECIDABLE." INTELLIGENT MEDIA INTEGRATION NAGOYA UNIVERSITY / COE, 2006. http://hdl.handle.net/2237/10414.
Full textBlidner, Aron. "Predicting termination from behavioral consultation." Thesis, McGill University, 2002. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=79287.
Full textWoods, J. D. W. "Gas Dynamic Flow Pipe terminations." Thesis, Queen's University Belfast, 2010. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.517649.
Full textGale, Sarah Jane. "Band termination spectroscopy of '1'5'7Er." Thesis, University of Liverpool, 1994. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.240568.
Full text