• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 272
  • 208
  • 54
  • 38
  • 26
  • 12
  • 8
  • 5
  • 5
  • 4
  • 4
  • 3
  • 3
  • 2
  • 2
  • Tagged with
  • 716
  • 387
  • 225
  • 129
  • 77
  • 68
  • 65
  • 62
  • 59
  • 53
  • 53
  • 49
  • 49
  • 47
  • 46
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
31

Program analysis using game semantics

Sampath, Prahladavaradan January 2000 (has links)
No description available.
32

Control of disease due to perennially transmitted malaria in children of rural Sierra Leone

Marbiah, Nuahn Tomanh January 1996 (has links)
No description available.
33

Probability driven heuristic nets

Carter, Lynn Robert 25 July 1974 (has links)
Let a probability driven switch be defined as a switch of three input paths and three output paths. The status of the input paths defines a probability for each output path (as to whether it will generate a signal or not.) One output path is linked to one input path, so the results of the switch at time t can affect the switch at time t+1. A switch so constructed can be defined (by the probabilities) to take on the function of the standard logic gates (AND, OR, …) A net constructed of these switches can be “taught” by “reward” and “punish” algorithms to recognize input patterns. A simulation model showed that a repetitive learning algorithm coupled with a base knowledge (where new patterns are learned while continually checking past learned patterns) gives best results as a function of time. A good measure for the level of stability in response is to notice how many probabilities have converged to one or zero. The larger the number, the more stable the net.
34

Towards resilient supply chain networks

Muddada, Raja Ram Mohan Roy 20 September 2010
In the past decade, events like 9/11 terror attacks, the recent financial crisis and other major crisis has proved that there is strong interaction and interdependency of a supply chain network with its external environments in various channels and thus a need to focus on building resiliency (in short, the ability of the system to recover from damage or disruption) of the entire network system. Although literature has discussed some way of improving resiliency of an individual firm which is a member of the network system, it lacked to capture a holistic view of the supply chain network. Pertaining to this observation, this work proposes to improve resiliency of a supply chain network from a systems perspective rather concentrate on an individual firm. For this purpose, this thesis proposes a conceptual framework to promote early identification and timely information of the disruptions arising in a supply chain network and timely sharing of this information among all the members of the network. The key principle emphasized in this thesis is that recovery from an inevitable disruption has a better possibility if a member of the supply chain network has an early indication or knowledge of the upcoming disruption. A discrete event dynamic system simulation tool called Petri nets is utilized to realize the proposed conceptual framework. Furthermore, the practical benefits and implications of the proposed model and tool are demonstrated with help of two case studies. This thesis has several contributions to the field of operation management and supply chain. First, a new paradigm for supply chain management to avoid large scale failures such as financial crisis is available to the field, which may be applied by governments or regulatory bodies. Second, a new framework which allows for a quantitative analysis of failures of an entire supply chain network is available to the field, which is easy to be used. Third, a novel application of Petri nets to this new problem in supply chain management is available.
35

Towards resilient supply chain networks

Muddada, Raja Ram Mohan Roy 20 September 2010 (has links)
In the past decade, events like 9/11 terror attacks, the recent financial crisis and other major crisis has proved that there is strong interaction and interdependency of a supply chain network with its external environments in various channels and thus a need to focus on building resiliency (in short, the ability of the system to recover from damage or disruption) of the entire network system. Although literature has discussed some way of improving resiliency of an individual firm which is a member of the network system, it lacked to capture a holistic view of the supply chain network. Pertaining to this observation, this work proposes to improve resiliency of a supply chain network from a systems perspective rather concentrate on an individual firm. For this purpose, this thesis proposes a conceptual framework to promote early identification and timely information of the disruptions arising in a supply chain network and timely sharing of this information among all the members of the network. The key principle emphasized in this thesis is that recovery from an inevitable disruption has a better possibility if a member of the supply chain network has an early indication or knowledge of the upcoming disruption. A discrete event dynamic system simulation tool called Petri nets is utilized to realize the proposed conceptual framework. Furthermore, the practical benefits and implications of the proposed model and tool are demonstrated with help of two case studies. This thesis has several contributions to the field of operation management and supply chain. First, a new paradigm for supply chain management to avoid large scale failures such as financial crisis is available to the field, which may be applied by governments or regulatory bodies. Second, a new framework which allows for a quantitative analysis of failures of an entire supply chain network is available to the field, which is easy to be used. Third, a novel application of Petri nets to this new problem in supply chain management is available.
36

A three-dimensional modeling approach to Petri network design and modeling

Dance, Linda Kaye, January 2001 (has links) (PDF)
Thesis (M.E.)--University of Florida, 2001. / Title from first page of PDF file. Document formatted into pages; contains xiii, 103 p.; also contains graphics. Vita. .Avi file containing movie (referred to in abstract) is missing. Includes bibliographical references (p. 101-102).
37

Digital nets and sequences for quasi-Monte Carlo methods

Hong, Hee Sun 01 January 2002 (has links)
No description available.
38

The Moore-Smith Limit

Alexander, Donnie B. January 1952 (has links)
It is the purpose of this thesis to indicate in more detail how various limits defined in analysis, as well as other concepts not ordinarily defined as limits, may be obtained as special cases of the Moore-Smith limit.
39

Social Safety Nets: An Analysis of American Social Safety Net Policy and The Ethics Behind Welfare Rights

Reyes, Fernanda D 01 January 2016 (has links)
The purpose of this thesis is to analyze current housing and supplemental income programs on a national level to measure success and failures of different programs like Temporary Assistance to Needy Families, Earned Income Tax Credit, and Housing Vouchers. Furthermore, this thesis attempt to discuss questions of ethics and precedent in determining to what degree the United States should engage in social safety net policies. This paper analyzes contemporary American social safety net policies on the basis of their cost to American taxpayers as well as how well it benefits those in poverty.
40

Uniting formal and structured methods for the development of reliable software

Shi, Lihua January 1998 (has links)
No description available.

Page generated in 0.0196 seconds