More Fields

Filters

Profiles which have:

Recent Changes

Profiles with recent changes to:
Sign up to Download

1-6 of 6 results

  • rose.yale.edu
  • 16
ROSE is a research group at Yale University whose primary focuses revolve around live programming and program synthesis... difficult to synthesize. Synthesis tools usually fail for such systems because the state space resulting from the..
Relevance: 10.323288
  • flint.cs.yale.edu
  • 2
  • 42
Clean-slate design with end-to-end guarantees on extensibility, security, and resilience. Without Zero-Day Kernel Vulnerabilities... Divides a complex system into multiple certified abstraction layers, which are deep specifications of their..
Relevance: 5.115795
  • chicagohopeacademy.org
  • 1
  • 1
  • 49
A college and life preparatory Christian High School that is dedicated to nurturing and challenging the body, mind, and spirit to the glory of God... Chicago Hope Academy provides a high-quality, Christian educational experience for motivated..
Relevance: 4.4713564
  • tkalions.net
  • 60
  • 1
  • 68
The use of software that blocks ads hinders our ability to serve you the content you came here to enjoy... We ask that you consider turning off your ad blocker so we can deliver you the best experience possible while you are here... The official..
Relevance: 3.7480516
  • ndlegis.gov
  • 1
  • 2
  • 128
The Legislative Assembly is now hiring staff for the 2025 legislative session. Staff generally receive a few days of training in December and begin work the first day of a legislative session and end work the last day of legislative session (the 2025..
Relevance: 2.4249332
  • cpsc.yale.edu
  • 258
  • 51
  • 182
At Yale Computer Science, we train tomorrow's innovators and conduct cutting-edge research to bring the transformative power of computing to society. Our programs bring the most brilliant students and faculty together to understand the strengths and..
Relevance: 2.029647