16.355J / ESD.355J Advanced Software Engineering, Fall 2002 by Leveson, Nancy

Subjects: Get full text

A formal methodology for verifying side-channel vulnerabilities in cache architectures by Jiang, Ke, Zhang, Tianwei, Sanan, David, Zhao, Yongwang, Liu, Yang

Subjects: Get full text

Isolation and characterization of a hybrid respiratory supercomplex consisting of Mycobacterium tuberculosis cytochrome bcc and Mycobacterium smegmatis cytochrome aa3 by Berry, Edward A., Huang, Li-Shar, Kim, Mi-Sun, Jang, Jichan, Pethe, Kevin, Nurlilah AB Rahman

Subjects: “…Enzyme Purification…”
Get full text
Get full text

Potential of kaolin-palm oil fuel ash mixture as sustainable landfill liner material by Brown, Oyeleke Raifu

Subjects: Get full text

21W.780 Communicating in Technical Organizations, Spring 2006 by Barrett, Edward C., Bentley, Frank

Subjects: Get full text

Application of magnetic field for reduction of sludge bulking in activated sludge system by Zaidi, Nur Syamimi

Subjects: “…Sewage—Purification—Activated sludge process…”
Get full text

Biogranules containing photosynthetic bacteria for carbon dioxide reduction in palm oil mill effluent treatment by Mohamed Zuhaili Mohamed

Subjects: Get full text

Struvite precipitation for the recovery of ammonium nitrogen from landfill leachate by Mohamad S. J. Darwish

Subjects: Get full text

Semi-closed circulation integrated multi-trophic aquaculture treatment system using aquatic organisms as biofilters to improve shrimp effluent quality by Lavania Baloo

Subjects: Get full text

A microfluidic liquid phase nucleic acid purification chip to selectively isolate DNA or RNA from low copy/single bacterial cells in minute sample volume followed by direct on-chip quantitative PCR assay by Zhang, Rui, Gong Haiqing, Thomas, Zeng, Xu Dong, Lou, Chao-Ping, Sze, Chun Chau

“…Purification of nucleic acids from a low quantity of bacterial cells in minute volume is important in many clinical and biological applications. …”
Get full text
Get full text

16.842 Fundamentals of Systems Engineering, Fall 2009 by de Weck, Olivier

Subjects: Get full text

Design and Construction of Artificial Extracellular Matrix (aECM) Proteins from Escherichia coli for Skin Tissue Engineering by Low, Pearlie Si Jia, Tjin, Monica Suryana, Fong, Eileen

Subjects: Get full text
Get full text

16.885J / ESD.35J Aircraft Systems Engineering, Fall 2003 by Hansman, Robert John, Liebeck, Robert H, Murman, Earll M., 1942-, Haggerty, Allen C

Subjects: Get full text

16.01-04 Unified Engineering I, II, III, & IV, Fall 2003-Spring 2004 by Hall, Steven Ray, Coleman, Charles P, Drela, Mark, Lundqvist, Ingrid Kristina, Spearing, S Mark, Waitz, Ian A, Young, Peter W

Subjects: Get full text

Improving the productivity of high-level synthesis by advancing reuseability and verifiability by Yang, Liwei

“…Following algorithmic specifications, designers perform architectural specification including hardware/software (HW/SW) partitioning. …”
Get full text

Modeling communication system components for prediction of RF performance by Lim, Seok Tien.

“…A process to model components specifications in RF front-end system is being demonstrated through a series of exploring basic fundamental of components and software simulators. …”
Get full text

A Robustness Measure of Transient Stability Under Operational Constraints in Power Systems by Aolaritei, Liviu, Lee, Dongchan, Vu, Thanh Long, Turitsyn, Konstantin

“…As a result, maintaining conventional performance specifications, such as transient stability, may not be sufficient to ensure its reliable operation in stressed conditions. …”
Get full text

Recent advances in pharmaceutical separations with supercritical fluid chromatography using chiral stationary phases by Wang, Ren-Qi, Ong, Teng-Teng, Tang, Weihua, Ng, Siu-Choon

“…This review focuses mainly on the latest examples of pharmaceutical separations with chiral stationary phases in SFC for efficient analyses and preparative-scale purifications.…”
Get full text
Get full text

Mechanised Hypersafety Proofs about Structured Data by Gladshtein, Vladimir, Zhao, Qiyuan, Ahrens, Willow, Amarasinghe, Saman, Sergey, Ilya

“…In this work, we observe that specifications for structured data manipulations can be phrased as hypersafety properties, i.e., predicates that relate traces of k programs. …”
Get full text

Verifying Correctness of the Number Theoretic Transform and Fast Number Theoretic Transform in F⋆ by Ono, Rick R.

“…As engineers continue to develop more sophisticated algorithms to optimize cryptographic algorithms, their often simple mathematical specifications become convoluted in the algorithms, from which a class of correctness bugs arise. …”
Get full text