Search
Now showing items 1231-1238 of 1238
Secure input validation in Rust with parsing-expression grammars
(Massachusetts Institute of Technology, 2019)
Accepting input from the outside world is one of the most dangerous things a system can do. Since type information is lost across system boundaries, systems must perform type-specific input handling routines to recover ...
Development of a microfluidic droplet system for immune Cell multiplexing experimentation
(Massachusetts Institute of Technology, 2019)
An incredibly intricate system composed of many dierent cell types, tissues, and molecules, the immune system is integral to a body's health and well-being. Yet, with the multitude of components present within the system ...
Raman and fluorescence spectroscopy of in vitro skin tissue for diagnostics and monitoring
(Massachusetts Institute of Technology, 2018)
Raman spectroscopy is a vibrational scattering technique that uses a laser to measure the spectral fingerprint of a molecule. Skin Raman has applications for noninvasive cancer diagnostics and glucose sensing. A major ...
Are learned molecular representations ready for prime time?
(Massachusetts Institute of Technology, 2019)
Advancements in neural machinery have led to a wide range of algorithmic solutions for molecular property prediction. Two classes of models in particular have yielded promising results: neural networks applied to computed ...
Topics in fixing knockout tournaments : bribery, NP-hardness, and parameterization
(Massachusetts Institute of Technology, 2019)
In this thesis, we analyze the problem of fixing balanced knockout tournaments by arranging the tournament's initial seeding to guarantee one player's victory. We characterize the problem's hardness through a variety of ...
Integrated incremental slicing for 3D printed object creation
(Massachusetts Institute of Technology, 2019)
Advances in hardware for 3D printing have made personal fabrication more accessible for many new users. However, the separation of 3D modeling and 3D slicing software remains a barrier for new users in the design stage. ...
b_verify : scalable non-equivocation for verifiable management of data
(Massachusetts Institute of Technology, 2018)
Equivocation allows attackers to present inconsistent data to users. This is not just a problem for Internet applications: the global economy relies heavily on verifiable and transferable records of property, liens, and ...
Agent monitoring and mouse interactivity in StarLogo Nova
(Massachusetts Institute of Technology, 2019)
StarLogo Nova is a powerful programming environment that allows anyone to easily create a 3D simulation and 3D game using block-based programming language. Due to its intuitive interface and ability to model complex systems, ...