archive-edu.com » EDU » W » WISC.EDU

Total: 472

Choose link from "Titles, links and description words view":

Or switch to "Titles and links view".
  • UW-Madison Computer Sciences Department
    tab Year You are here Calendar Tuesday February 17 2015 Prev Next All day Before 1 am 1 am 2 am 3 am 4 am 5 am 6 am 7 am 8 am 9 am 10 am 11 am 12 pm 1 pm 2 pm 3 pm 4 pm 5 pm 6 pm 7 pm 8 pm 9 pm 10 pm 11 pm Parallel Proofs for Parallel Programs 02 17

    Original URL path: http://www.cs.wisc.edu/calendar/day/2015-02-17 (2015-02-22)
    Open archived version from archive


  • UW-Madison Computer Sciences Department
    Fiftieth Anniversary Celebration Give Month Week Day active tab Year You are here Calendar Thursday February 19 2015 Prev Next All day Before 1 am 1 am 2 am 3 am 4 am 5 am 6 am 7 am 8 am 9 am 10 am 11 am 12 pm 1 pm 2 pm 3 pm 4 pm 5 pm 6 pm 7 pm 8 pm 9 pm 10 pm 11

    Original URL path: http://www.cs.wisc.edu/calendar/day/2015-02-19 (2015-02-22)
    Open archived version from archive

  • Discovering Structure in Robotics Tasks via Demonstrations and Active Learning | UW-Madison Computer Sciences Department
    Name Scott Niekum Speaker Institution Carnegie Mellon University Cookies No Description ABSTRACT Future co robots in the home and workplace will require the ability to quickly characterize new tasks and environments without the intervention of expert engineers Human demonstrations and active learning can play complementary roles when learning complex multi step tasks in novel environments demonstrations are a fast natural way to broadly provide human insight into task structure and environmental dynamics while active learning can fine tune models by exploiting the robot s knowledge of its own internal representations and uncertainties Using these complementary data sources I will focus on three types of structure discovery that can help robots quickly produce robust control strategies for novel tasks 1 learning high level task descriptions from unstructured demonstrations 2 inferring physics based models of task goals and environmental dynamics and 3 interactive perception for refinement of physics based models These techniques draw from Bayesian nonparametrics time series analysis filtering and control theory to characterize complex tasks like IKEA furniture assembly that challenge the state of the art in manipulation BIO Scott Niekum is a postdoctoral fellow at the Carnegie Mellon Robotics Institute working with Chris Atkeson He received his Ph D

    Original URL path: http://www.cs.wisc.edu/events/1949 (2015-02-22)
    Open archived version from archive

  • Parallel Proofs for Parallel Programs | UW-Madison Computer Sciences Department
    Kincaid Speaker Institution University of Toronto Cookies Yes Description Speaker s abstract Writing reliable multi threaded software is hard My research aims to make it easier by developing program analysis algorithms that automatically verify that multi threaded programs are free of certain types of errors e g dividing by zero overflowing buffers or de referencing null pointers The challenge posed by multi threading to program analysis is that parallelism creates an explosion in the number of behaviors that must be examined by a program analyzer in order to prove the absence of faults This challenge is typically met by developing clever ways to reason about the program as if it were executing sequentially In this talk I will argue that we should embrace parallelism not hide from it I will discuss new fundamentally parallel foundations for program analysis which allow the parallelism present in a program to be explicitly maintained and enable tractable automated reasoning and succinct proofs In other words my talk will be on finding parallel proofs for parallel programs About the speaker Zachary Kincaid is a Ph D candidate in the Department of Computer Science at the University of Toronto He is interested in developing automated reasoning

    Original URL path: http://www.cs.wisc.edu/events/1897 (2015-02-22)
    Open archived version from archive

  • Electronic Health Records: From Meaningful Use to Rational Use | UW-Madison Computer Sciences Department
    Professor in Family Medicine and the coordinator of I PrACTISE Improving PrimAry Care Through Industrial and Systems Engineering at the UW Madison School of Medicine and Public Health The Objectives summary Attendees will be able to describe the complexities of Primary Care practice how collaborations between Primary Care clinicians and ISYE Engineers can help how Electronic Health Record EHR implementation helps and hinders clinical work the way to move beyond Meaningful Use to Rational Use of EHRs to improve the quality and efficiency of care Policy Technology Organizational use Clinician use Speaker bio John Beasley MD graduated from Harvard College in 1964 and received his MD from the University of Minnesota in 1969 Following a rotating internship he practiced for three years including experience in the Peace Corps in Chuuk in the Caroline Islands In 1975 he completed his Family Medicine residency and joined the faculty of the DFM His special clinical interests include EEG reading one book authored and aviation medicine He was one of the co developers along with Jim Damos MD of the Advanced Life Support in Obstetrics ALSO course He founded the Wisconsin Research Network WReN and was the founding chair of the International Federation of

    Original URL path: http://www.cs.wisc.edu/events/1944 (2015-02-22)
    Open archived version from archive

  • Improving Resource Efficiency in Cloud Computing | UW-Madison Computer Sciences Department
    flexibility high performance and low cost Despite its prevalence most datacenters hosting cloud computing services still operate at very low utilization This is the result of several factors including interference between applications platform heterogeneity and users requesting more resources than they need to avoid performance unpredictability A crucial system component that can enable high performance and good system utilization is the cluster manager the system that orchestrates where applications are placed and how many resources they receive In this talk I will describe a new approach in cluster management that relies on two main insights first it automates resource management by leveraging practical data mining techniques Second it provides a high level declarative interface between system and users that centers around performance not raw resources Using these insights I designed and built a datacenter scheduler Paragon a cluster manager Quasar and scalable provisioning techniques for public clouds In settings with several hundred servers I demonstrated that this approach achieves both high application performance and high system utilization Several production systems including Twitter and AT T have since adopted similar cluster management approaches Bio Christina Delimitrou is a PhD candidate in the EE Department at Stanford University working in computer architecture

    Original URL path: http://www.cs.wisc.edu/events/1948 (2015-02-22)
    Open archived version from archive

  • UW-Madison Computer Sciences Department
    Fiftieth Anniversary Celebration Give Month Week Day active tab Year You are here Calendar Monday February 23 2015 Prev Next All day Before 1 am 1 am 2 am 3 am 4 am 5 am 6 am 7 am 8 am 9 am 10 am 11 am 12 pm 1 pm 2 pm 3 pm 4 pm 5 pm 6 pm 7 pm 8 pm 9 pm 10 pm 11

    Original URL path: http://www.cs.wisc.edu/calendar/day/2015-02-23 (2015-02-22)
    Open archived version from archive

  • UW-Madison Computer Sciences Department
    tab Year You are here Calendar Tuesday February 24 2015 Prev Next All day Before 1 am 1 am 2 am 3 am 4 am 5 am 6 am 7 am 8 am 9 am 10 am 11 am 12 pm 1 pm 2 pm 3 pm 4 pm 5 pm 6 pm 7 pm 8 pm 9 pm 10 pm 11 pm Species Tree Estimation from Genome Scale Data

    Original URL path: http://www.cs.wisc.edu/calendar/day/2015-02-24 (2015-02-22)
    Open archived version from archive