Browsing by Title
Now showing items 215-234 of 30037
-
Absolute Value Equations
(2005)We investigate existence and nonexistence of solutions for NP-hard equations in- volving absolute values of variables: Ax ? |x| = b, where A is an arbitrary n � n real matrix. By utilizing an equivalence relation to the ... -
Absorption bases
(1936) -
Abstinence-Only Sex Education : Are There Effects Beyond the Realm of Knowledge, STIs, and Pregnancy?
(2017-04-19)This research takes a Feminist Theoretical perspective and investigates if the often patriarchal, essentialist, and objectivizing curriculum in Abstinence Emphasized sex education (AE) can be used as a proxy measure of ... -
An Abstract Domain for Bit-Vector Inequalities
(University of Wisconsin-Madison Department of Computer Sciences, 2013-04-16)This paper advances the state of the art in abstract interpretation of machine code. It tackles two of the biggest challenges in machine-code analysis: (1) holding onto invariants about values in memory, and (2) identifying ... -
Abstract Domains of Affine Relations
(University of Wisconsin-Madison Department of Computer Sciences, 2013-05-13)This paper considers some known abstract domains for affine-relation analysis, along with several variants, and studies how they relate to each other. The various domains represent sets of points that satisfy affine ... -
Abstract Domains of Affine Relations
(University of Wisconsin-Madison Department of Computer Sciences, 2011)This paper considers some known abstract domains for affine-relation analysis (ARA), along with several variants, and studies how they relate to each other. We show that the abstract domains of Mueller-Olm/Seidl (MOS) ... -
Abstract Error Projection
(University of Wisconsin-Madison Department of Computer Sciences, 2006)To improve the reporting of results from model checking and programanalysis systems, we introduce the notion of an error projection and annotated error projection. An error projection is a set of program nodes N such that ... -
Abstract Execution: A Technique for Efficiently Tracing Programs
(University of Wisconsin-Madison Department of Computer Sciences, 1990) -
Abstract of Presentation Give To Stout Alumni
(UW-Stout Archives and Area Research Center, 1969)Tape recorded presentation which appears to have been originally intended as a slide-tape presentation to Stout alumni around 1969. The slides are no longer available. Included are brief narratives from deans of the various ... -
Abstract: Magic Templates: A Spellbinding Approach to Logic Programs
(University of Wisconsin-Madison Department of Computer Sciences, 1988) -
Abstraction Refinement for 3-Valued Logic Analysis
(University of Wisconsin-Madison Department of Computer Sciences, 2004)This paper concerns the question of how to create abstractions that are useful for program analysis. It presents a method that refines an abstraction automatically for analysis problems in which the semantics of statements ... -
Absurdity and the leap of faith
(2013)Albert Camus described the absurd as the conflict between man's continual search for meaning and his inability to find any meaning in a cold, indifferent universe. The focus of Absurdism pertains to the qualities of ... -
Abu Nasr Muhammad Khalidi (d. 1403/1985) A Brief Memoir
(Center for South Asia, University of Wisconsin–Madison, 2000) -
Abundance, Habitat Selection, and Food Habits of Grassland Birds in 3 Non-Native Grasslands in Northern Illinois
(University of Wisconsin-Stevens Point, College of Natural Resources, 1990-08)Populations, abundance, habitat selection and food habits of 7 species of grassland birds were examined in 3 types of perennial non-native grasslands (fescue, mixed grass, grass/forb) in DuPage County, Illinois during ... -
AC adjustable-speed drives at the millennium: How did we get here?
(Institute of Electrical and Electronics Engineers Inc, 2001) -
AC brushless drive with low-resolution hall-effect sensors for surface-mounted PM machines
(IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2006) -
Academic achievement : a Study of the Predictors of Success in Higher Education
(2009-02-09)This research examined predictors of academic achievement among college seniors. Specifically, academic achievement was studied in relation to employment, organizational involvement, out of class communication with faculty, ... -
Academic Advising Convenience : Undergraduate Perspective of Alternative Techniques
(2013-05)The purpose of this study was to evaluate student views on the effectiveness, efficiency, and satisfaction of online and in person advising. -
The academic affects of Black fraternal membership
(2011)African-American fraternity members were examined in order to determine the affects Black fraternal membership has on classroom performance. The findings presented in the study provide further implications regarding the ...