University of Kentucky

Displaying 1-21 of 21 results

  • White Papers // Aug 2011

    Origins of Answer-Set Programming - Some Background and Two Personal Accounts

    Now, more than 12 years since ASP became a recognizable paradigm of search problem solving, the authors see that the efforts of researchers in various domains: artificial intelligence, knowledge representation, non-monotonic reasoning, satisfiability and others resulted in a programming formalism that is being used in a variety of areas, but...

    Provided By University of Kentucky

  • White Papers // Jan 2011

    Monte Carlo Query Processing of Uncertain Multidimensional Array Data

    Array database systems are architected for scientific and engineering applications. In these applications, the value of a cell is often imprecise and uncertain. There are at least two reasons that a Monte Carlo query processing algorithm is usually required for such uncertain data. Firstly, a probabilistic graphical model must often...

    Provided By University of Kentucky

  • White Papers // Jan 2011

    Experience Developing Wireless Networks for Interactive Multimedia Instruction

    This paper presents the authors experiences developing the network and computer infrastructure needed to support the interactive multimedia wireless classrooms of the future. Despite their advantages, wireless networks have several drawbacks and potential pitfalls. The heavy loads placed on the network by interactive multimedia applications used in class such as...

    Provided By University of Kentucky

  • White Papers // Jan 2011

    Text Mining for Software Engineering: How Analyst Feedback Impacts Final Results

    The mining of textual artifacts is requisite for many important activities in software engineering: tracing of requirements; retrieval of components from a repository; location of manpage text for an area of question, etc. Many such activities leave the "Final word" to the analyst - have the relevant items been retrieved?...

    Provided By University of Kentucky

  • White Papers // Jan 2011

    Efficient Multimedia Distribution in Source Constraint Networks

    In recent years, the number of Peer-to-Peer (P2P) applications has increased significantly. One important problem in many P2P applications is how to efficiently disseminate data from a single source to multiple receivers on the Internet. A successful model used for analyzing this problem is a graph consisting of nodes and...

    Provided By University of Kentucky

  • White Papers // Jan 2011

    Towards Automatic Photometric Correction of Casually Illuminated Documents

    Creating uniform lighting for archival-quality document acquisition remains a non-trivial problem. The authors propose a novel method for automatic photometric correction of non-planar documents by estimating a single, point light-source using a simple light probe. By adding a simple piece of folded white paper with a known 3D surface to...

    Provided By University of Kentucky

  • White Papers // Sep 2010

    Information Flow Control in Cloud Computing

    Cloud computing is an emerging computing paradigm where computing resources are provided as services over Internet while residing in a large data center. Even though it enables one to dynamically provide servers with the ability to address a wide range of needs, this paradigm brings forth many new challenges for...

    Provided By University of Kentucky

  • White Papers // Apr 2010

    Using the SAS System and SAS Enterprise Miner for Data Mining: A Study of Cancer Survival at Mayo Clinic

    This paper evaluates and predicts a certain epidemiological (cancer survival) condition using data-mining techniques in SAS. A data set that contains information about the survival of lung-cancer patients from a study at the Mayo Clinic was extracted from the R survival package. Data-mining techniques - namely linear and logistic regression...

    Provided By University of Kentucky

  • White Papers // Jan 2010

    An Application of Proof-Theory in Answer Set Programming

    The use of proof theory in logic based formalisms for constraint solving is pervasive. For example, in Satisfiability (SAT), proof theoretic methods are used to find lower bounds on complexity of various SAT algorithms. However, proof-theoretic methods have not played as prominent role in Answer Set Programming (ASP) formalisms. This...

    Provided By University of Kentucky

  • White Papers // Jan 2010

    Instrumenting Home Networks

    In managing and troubleshooting home networks, one of the challenges is in knowing what is actually happening. Availability of a record of events that occurred on the home network before trouble appeared would go a long way toward addressing that challenge. In this position/work-in-progress paper, the authors consider requirements for...

    Provided By University of Kentucky

  • White Papers // Jan 2010

    Interactive Television (ITV) Courses and Students' Satisfaction

    The purpose of this paper is to identify and address major themes in the distance education literature, particularly as they relate to Interactive Television (ITV) and student satisfaction. Major themes include satisfaction based on site-type, previous research biases, faculty-student interaction, characteristics of satisfied learners, qualitative differences in satisfaction, satisfaction with...

    Provided By University of Kentucky

  • White Papers // Dec 2009

    Petroglyph Digitization: Enabling Cultural Heritage Scholarship

    The digitization of antiquities is facilitating a renaissance for scholars who have unprecedented access to rich representations of objects. Cultural Heritage digitization is a central challenge, and its subtleties are intertwined with object properties and the constraints of physical access and handling. In this paper, the authors present the design...

    Provided By University of Kentucky

  • White Papers // Dec 2009

    Ethical Brokerage Dilemmas In The Wake Of Sarbanes- Oxley

    In today's economy, it seems news arrives daily on the world's doorstep bringing alarming headlines about sub-prime mortgages, economic meltdown, tumbling home values, or bailout packages for bankrupt companies. While certain economic conditions are truly the result of supply and demand, others are contrived and controlled by speculators and, even...

    Provided By University of Kentucky

  • White Papers // Sep 2009

    Does Public Service Motivation Predict Higher Public Service Performance? A Research Synthesis

    This paper evaluates the extent to which there is empirical support for the proposition that public service motivation underpins effective service delivery in the public sector. The author reviews all seventeen published studies where a measure of public service motivation is an explanatory variable and a measure of performance, broadly...

    Provided By University of Kentucky

  • White Papers // Jul 2009

    Relativized Hyper equivalence of Logic Programs for Modular Programming

    A recent framework of relativized hyper equivalence of programs offers a unifying generalization of strong and uniform equivalence. It seems to be especially well suited for applications in program optimization and modular programming due to its flexibility that allows one to restrict, independently of each other, the head and body...

    Provided By University of Kentucky

  • White Papers // Apr 2009

    Competitive Strategy, Alliance Networks And Firm Performance

    This dissertation explores the interplay between competitive strategy and alliance network structure in explaining firm performance in highly volatile environments (e.g., personal computers or consumer electronics). In particular, the author examines the following three questions: Which competitive strategies enable firms to gain superior performance? How do these strategies affect the...

    Provided By University of Kentucky

  • White Papers // Apr 2009

    White Paper on Internationalization

    At an internationalized university, the international arena is not seen as one more dimension of the courses offer, the researches undertake, or the experiences offer students. Instead, it forms part of the fabric of support structure for research and instruction, pervading both the curriculum and the co-curriculum of students. An...

    Provided By University of Kentucky

  • White Papers // Mar 2009

    Audio-Visual Privacy Protection for Video Conference

    Group video-conferencing systems are routinely used in major corporations, hospitals and universities for meetings, tele-medicine and distance learning among participants from very distant locations. As the use of video-conferencing becomes widely prevalent, the privacy concern's raised by this technology becomes an important issue to be addressed. This paper proposes a...

    Provided By University of Kentucky

  • White Papers // Mar 2009

    Behaving Intelligently: Leadership Traits & Characteristics

    Gandhi, Abraham Lincoln, Napoleon...what do these people have in common? Most individuals would consider these people to be some of the greatest leaders of all time. Can you think of other great leaders? What makes a great leader? These were some of the questions leading to the first organized attempts...

    Provided By University of Kentucky

  • White Papers // Feb 2009

    Towards Traceable Test-Driven Development

    Key among the Grand Challenges in Traceability are those that lead to achieving traceability as a byproduct of the natural software development life cycle. This position paper profiles Test-Driven Development (TDD), an emerging software development practice, in which automated tests and code satisfying them are developed in rapid succession over...

    Provided By University of Kentucky

  • White Papers // Jan 2009

    On Social Network Analysis In A Supply Chain Context

    The network perspective is rapidly becoming a lingua franca across virtually all of the sciences from anthropology to physics. In this paper, the authors provide supply chain researchers with an overview of social network analysis, covering both specific concepts (such as structural holes or betweenness centrality) and the generic explanatory...

    Provided By University of Kentucky

  • White Papers // Jul 2009

    Relativized Hyper equivalence of Logic Programs for Modular Programming

    A recent framework of relativized hyper equivalence of programs offers a unifying generalization of strong and uniform equivalence. It seems to be especially well suited for applications in program optimization and modular programming due to its flexibility that allows one to restrict, independently of each other, the head and body...

    Provided By University of Kentucky

  • White Papers // Jan 2009

    On Social Network Analysis In A Supply Chain Context

    The network perspective is rapidly becoming a lingua franca across virtually all of the sciences from anthropology to physics. In this paper, the authors provide supply chain researchers with an overview of social network analysis, covering both specific concepts (such as structural holes or betweenness centrality) and the generic explanatory...

    Provided By University of Kentucky

  • White Papers // Aug 2011

    Origins of Answer-Set Programming - Some Background and Two Personal Accounts

    Now, more than 12 years since ASP became a recognizable paradigm of search problem solving, the authors see that the efforts of researchers in various domains: artificial intelligence, knowledge representation, non-monotonic reasoning, satisfiability and others resulted in a programming formalism that is being used in a variety of areas, but...

    Provided By University of Kentucky

  • White Papers // Jan 2011

    Experience Developing Wireless Networks for Interactive Multimedia Instruction

    This paper presents the authors experiences developing the network and computer infrastructure needed to support the interactive multimedia wireless classrooms of the future. Despite their advantages, wireless networks have several drawbacks and potential pitfalls. The heavy loads placed on the network by interactive multimedia applications used in class such as...

    Provided By University of Kentucky

  • White Papers // Apr 2009

    White Paper on Internationalization

    At an internationalized university, the international arena is not seen as one more dimension of the courses offer, the researches undertake, or the experiences offer students. Instead, it forms part of the fabric of support structure for research and instruction, pervading both the curriculum and the co-curriculum of students. An...

    Provided By University of Kentucky

  • White Papers // Apr 2010

    Using the SAS System and SAS Enterprise Miner for Data Mining: A Study of Cancer Survival at Mayo Clinic

    This paper evaluates and predicts a certain epidemiological (cancer survival) condition using data-mining techniques in SAS. A data set that contains information about the survival of lung-cancer patients from a study at the Mayo Clinic was extracted from the R survival package. Data-mining techniques - namely linear and logistic regression...

    Provided By University of Kentucky

  • White Papers // Mar 2009

    Audio-Visual Privacy Protection for Video Conference

    Group video-conferencing systems are routinely used in major corporations, hospitals and universities for meetings, tele-medicine and distance learning among participants from very distant locations. As the use of video-conferencing becomes widely prevalent, the privacy concern's raised by this technology becomes an important issue to be addressed. This paper proposes a...

    Provided By University of Kentucky

  • White Papers // Jan 2010

    Interactive Television (ITV) Courses and Students' Satisfaction

    The purpose of this paper is to identify and address major themes in the distance education literature, particularly as they relate to Interactive Television (ITV) and student satisfaction. Major themes include satisfaction based on site-type, previous research biases, faculty-student interaction, characteristics of satisfied learners, qualitative differences in satisfaction, satisfaction with...

    Provided By University of Kentucky

  • White Papers // Apr 2009

    Competitive Strategy, Alliance Networks And Firm Performance

    This dissertation explores the interplay between competitive strategy and alliance network structure in explaining firm performance in highly volatile environments (e.g., personal computers or consumer electronics). In particular, the author examines the following three questions: Which competitive strategies enable firms to gain superior performance? How do these strategies affect the...

    Provided By University of Kentucky

  • White Papers // Dec 2009

    Ethical Brokerage Dilemmas In The Wake Of Sarbanes- Oxley

    In today's economy, it seems news arrives daily on the world's doorstep bringing alarming headlines about sub-prime mortgages, economic meltdown, tumbling home values, or bailout packages for bankrupt companies. While certain economic conditions are truly the result of supply and demand, others are contrived and controlled by speculators and, even...

    Provided By University of Kentucky

  • White Papers // Mar 2009

    Behaving Intelligently: Leadership Traits & Characteristics

    Gandhi, Abraham Lincoln, Napoleon...what do these people have in common? Most individuals would consider these people to be some of the greatest leaders of all time. Can you think of other great leaders? What makes a great leader? These were some of the questions leading to the first organized attempts...

    Provided By University of Kentucky

  • White Papers // Sep 2009

    Does Public Service Motivation Predict Higher Public Service Performance? A Research Synthesis

    This paper evaluates the extent to which there is empirical support for the proposition that public service motivation underpins effective service delivery in the public sector. The author reviews all seventeen published studies where a measure of public service motivation is an explanatory variable and a measure of performance, broadly...

    Provided By University of Kentucky

  • White Papers // Jan 2011

    Text Mining for Software Engineering: How Analyst Feedback Impacts Final Results

    The mining of textual artifacts is requisite for many important activities in software engineering: tracing of requirements; retrieval of components from a repository; location of manpage text for an area of question, etc. Many such activities leave the "Final word" to the analyst - have the relevant items been retrieved?...

    Provided By University of Kentucky

  • White Papers // Jan 2010

    Instrumenting Home Networks

    In managing and troubleshooting home networks, one of the challenges is in knowing what is actually happening. Availability of a record of events that occurred on the home network before trouble appeared would go a long way toward addressing that challenge. In this position/work-in-progress paper, the authors consider requirements for...

    Provided By University of Kentucky

  • White Papers // Jan 2011

    Efficient Multimedia Distribution in Source Constraint Networks

    In recent years, the number of Peer-to-Peer (P2P) applications has increased significantly. One important problem in many P2P applications is how to efficiently disseminate data from a single source to multiple receivers on the Internet. A successful model used for analyzing this problem is a graph consisting of nodes and...

    Provided By University of Kentucky

  • White Papers // Feb 2009

    Towards Traceable Test-Driven Development

    Key among the Grand Challenges in Traceability are those that lead to achieving traceability as a byproduct of the natural software development life cycle. This position paper profiles Test-Driven Development (TDD), an emerging software development practice, in which automated tests and code satisfying them are developed in rapid succession over...

    Provided By University of Kentucky

  • White Papers // Sep 2010

    Information Flow Control in Cloud Computing

    Cloud computing is an emerging computing paradigm where computing resources are provided as services over Internet while residing in a large data center. Even though it enables one to dynamically provide servers with the ability to address a wide range of needs, this paradigm brings forth many new challenges for...

    Provided By University of Kentucky

  • White Papers // Dec 2009

    Petroglyph Digitization: Enabling Cultural Heritage Scholarship

    The digitization of antiquities is facilitating a renaissance for scholars who have unprecedented access to rich representations of objects. Cultural Heritage digitization is a central challenge, and its subtleties are intertwined with object properties and the constraints of physical access and handling. In this paper, the authors present the design...

    Provided By University of Kentucky

  • White Papers // Jan 2011

    Towards Automatic Photometric Correction of Casually Illuminated Documents

    Creating uniform lighting for archival-quality document acquisition remains a non-trivial problem. The authors propose a novel method for automatic photometric correction of non-planar documents by estimating a single, point light-source using a simple light probe. By adding a simple piece of folded white paper with a known 3D surface to...

    Provided By University of Kentucky

  • White Papers // Jan 2011

    Monte Carlo Query Processing of Uncertain Multidimensional Array Data

    Array database systems are architected for scientific and engineering applications. In these applications, the value of a cell is often imprecise and uncertain. There are at least two reasons that a Monte Carlo query processing algorithm is usually required for such uncertain data. Firstly, a probabilistic graphical model must often...

    Provided By University of Kentucky

  • White Papers // Jan 2010

    An Application of Proof-Theory in Answer Set Programming

    The use of proof theory in logic based formalisms for constraint solving is pervasive. For example, in Satisfiability (SAT), proof theoretic methods are used to find lower bounds on complexity of various SAT algorithms. However, proof-theoretic methods have not played as prominent role in Answer Set Programming (ASP) formalisms. This...

    Provided By University of Kentucky