Error message

The page you requested does not exist. For your convenience, a search was performed using the query about.

Page not found

Search results

  1. B.A. Degree Requirements

    ... GPA calculation (Check  Academic Regulations  for rules about repeating courses).  A grade below C will normally not suffice as a ...

  2. Immerman, Neil

    ... Professor Immerman studies when and how one can reason about reachability, e.g., when one portion of memory is reachable from another ...

  3. Laura M. Haas Named Dean of the College of Information and Computer Sciences

    ... operations, personnel management and budget for the unit of about 100 researchers, software engineers and postdoctoral researchers. ...

  4. Specification and Analysis of Resource Utilization Policies for Human-Intensive Systems

    ... in guiding the domain expert towards making sound decisions about policies for the management of hospital resources, while also providing ...

  5. Siegelmann Elevated to IEEE Fellow

    ... IEEE distinguished lecturer. For more information about the IEEE Fellowship Program and a complete list of newly elevated ...

  6. The Automated-Reasoning Revolution: From Theory to Practice and Back

    ... of over 500 papers, as well as two books: Reasoning about Knowledge and Finite Model Theory and Its Applications. He is a Fellow ...

  7. Resource Utilization Policy Specification and Analysis for Human-Intensive Systems

    ... in guiding the domain expert towards sound decisions about policies for the management of hospital resources, while also providing ...

  8. Building Privacy Into Smart Buildings

    ... features in your electricity data that reveal facts about you, and to shield information on which appliances you're using and when ...

  9. Deepak Ganesan and Benjamin Marlin collaborate on NIH Big Data Center of Excellence

    ... biosensor device development on campus. The MD2K Center is about deploying new and existing biosensors, building the computational ...

  10. CICS Researcher, UMass Linguist Teach Machines African-American English Dialect

    ... in a less formal context. If we want to analyze opinions about an election, for example, we still use NLP tools to do it, but right now, ...

Pages