Matching Items (2,877)
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
172985-Thumbnail Image.png
Description

Breast cancer affects about 12% of women in the US. Arguably, it is one of the most advertised cancers. Mammography became a popular tool of breast cancer screening in the 1970s, and patient-geared guidelines came from the American Cancer Society (ACS) and the US Preventative Task Force (USPSTF). This research

Breast cancer affects about 12% of women in the US. Arguably, it is one of the most advertised cancers. Mammography became a popular tool of breast cancer screening in the 1970s, and patient-geared guidelines came from the American Cancer Society (ACS) and the US Preventative Task Force (USPSTF). This research focuses on ACS guidelines, as they were the earliest as well as the most changed guidelines. Mammography guidelines changed over time due to multiple factors. This research has tracked possible causes of those changes. Research began with an extensive literature search of clinical trials, the New York Times and the Washington Post archives, systematic reviews, ACS and USPSTF archives.

Created2021-02-16
172986-Thumbnail Image.png
Description

Science fiction works can reflect the relationship between science and society by telling stories that are set in the future of ethical implications or social consequences of scientific advancements. This thesis investigates how the concept of reproduction is depicted in popular science fiction works.

Created2021-02-10
172987-Thumbnail Image.png
Description

By questioning methods of sex selection since their early development, and often discovering that they are unreliable, scientists have increased the creative and technological capacity of the field of reproductive health. The presentation of these methods to the public, via published books on timing methods and company websites for sperm

By questioning methods of sex selection since their early development, and often discovering that they are unreliable, scientists have increased the creative and technological capacity of the field of reproductive health. The presentation of these methods to the public, via published books on timing methods and company websites for sperm sorting, increased interest in, and influence of, sex selection within the global society. The purpose of explaining the history, interest, development, and impact of various sex selection methods in the mid-twentieth century based on the information that is available on them today is to show couples which methods have failed and provide them with the knowledge necessary to make an informed decision on how they choose to go about utilizing methods of sex selection.

Created2021-02-26
172988-Thumbnail Image.png
Description

By demonstrating the struggle for sound standard of care for non-medical reproductive health care providers during the nineteenth and early twentieth century, this project emphasizes what the standards of reproductive health care for abortion and contraception might be like if the organizations that made them so readily available, like Planned

By demonstrating the struggle for sound standard of care for non-medical reproductive health care providers during the nineteenth and early twentieth century, this project emphasizes what the standards of reproductive health care for abortion and contraception might be like if the organizations that made them so readily available, like Planned Parenthood, were defunded or criminalized in our modern setting.

Created2021-02-23