Hardware Engineer Computer
Cornell University, New York, New York, United StatesThe School of Electrical and Computer Engineering...
Communications of the ACM
Are My Requirements Complete?
11.26.2019Knowing the notion of sufficient completeness and the theory of abstract data types helps practitioners produce better requirements.
Leonardo da Vinci's Robot Lion
11.04.2019We are celebrating the 500th anniversary of Leonardo da Vinci's death with a major exhibition of the Renaissance painter's works.
Why The Rise of the App Has Put Thousands of People in the Hospital
12.06.2019People are being distracted by apps on their phones, and …
Can We Identify Invasive Species Before They Invade?
12.06.2019Researchers have developed models for predicting patterns of damage by …
Water Animation Gets Easier, Thanks to BYU Professors
12.06.2019A new technique permits the rapid resizing of fluid animations …
Automated Program Repair
Automated program repair can relieve programmers from the burden of manually fixing the ever-increasing number of programming mistakes.
DeepXplore: Automated Whitebox Testing of Deep Learning Systems
We design, implement, and evaluate DeepXplore, the first white-box framework for systematically testing real-world deep learning systems.
Featured Jobs
Faculty
Stanford University HAI, Stanford , California, United StatesThe Institute for Human-Centered Artificial Intelligence...
Assistant Professor
State University of New York at Binghamton, Binghamton, New York, United StatesSTATE UNIVERSITY OF NEW YORK AT BINGHAMTONDepartment...
Assistant Professor
Centre College, Danville, Kentucky, United StatesCentre College invites applications for a two...