Matching Items (2,111)
Filtering by

Clear all filters

150093-Thumbnail Image.png
Description
Action language C+ is a formalism for describing properties of actions, which is based on nonmonotonic causal logic. The definite fragment of C+ is implemented in the Causal Calculator (CCalc), which is based on the reduction of nonmonotonic causal logic to propositional logic. This thesis describes the language

Action language C+ is a formalism for describing properties of actions, which is based on nonmonotonic causal logic. The definite fragment of C+ is implemented in the Causal Calculator (CCalc), which is based on the reduction of nonmonotonic causal logic to propositional logic. This thesis describes the language of CCalc in terms of answer set programming (ASP), based on the translation of nonmonotonic causal logic to formulas under the stable model semantics. I designed a standard library which describes the constructs of the input language of CCalc in terms of ASP, allowing a simple modular method to represent CCalc input programs in the language of ASP. Using the combination of system F2LP and answer set solvers, this method achieves functionality close to that of CCalc while taking advantage of answer set solvers to yield efficient computation that is orders of magnitude faster than CCalc for many benchmark examples. In support of this, I created an automated translation system Cplus2ASP that implements the translation and encoding method and automatically invokes the necessary software to solve the translated input programs.
ContributorsCasolary, Michael (Author) / Lee, Joohyung (Thesis advisor) / Ahn, Gail-Joon (Committee member) / Baral, Chitta (Committee member) / Arizona State University (Publisher)
Created2011
173937-Thumbnail Image.png
Description

Leonard Hayflick studied the processes by which cells age during the twentieth and twenty-first centuries in the United States. In 1961 at the Wistar Institute in the US, Hayflick researched a phenomenon later called the Hayflick Limit, or the claim that normal human cells can only divide forty to sixty

Leonard Hayflick studied the processes by which cells age during the twentieth and twenty-first centuries in the United States. In 1961 at the Wistar Institute in the US, Hayflick researched a phenomenon later called the Hayflick Limit, or the claim that normal human cells can only divide forty to sixty times before they cannot divide any further. Researchers later found that the cause of the Hayflick Limit is the shortening of telomeres, or portions of DNA at the ends of chromosomes that slowly degrade as cells replicate. Hayflick used his research on normal embryonic cells to develop a vaccine for polio, and from HayflickÕs published directions, scientists developed vaccines for rubella, rabies, adenovirus, measles, chickenpox and shingles.

Created2014-07-20
173939-Thumbnail Image.png
Description

Although best known for his work with the fruit fly, for which he earned a Nobel Prize and the title "The Father of Genetics," Thomas Hunt Morgan's contributions to biology reach far beyond genetics. His research explored questions in embryology, regeneration, evolution, and heredity, using a variety of approaches.

Created2007-09-25
173947-Thumbnail Image.jpg
Created1935