A study to guide research and development toward an operational meteorological sounding rocket system Final report, Oct. 1966 - Apr. 1967

Research and development guide for operational meteorological sounding rocket system stressing vehicle

TARANET: Traffic-Analysis Resistant Anonymity at the NETwork layer

Modern low-latency anonymity systems, no matter whether constructed as an overlay or implemented at the network layer, offer limited security guarantees against traffic analysis. On the other hand, high-latency anonymity systems offer strong security guarantees at the cost of computational overhead and long delays, which are excessive for interactive applications. We propose TARANET, an anonymity system that implements protection against traffic analysis at the network layer, and limits the incurred latency and overhead. In TARANET's setup phase, traffic analysis is thwarted by mixing. In the data transmission phase, end hosts and ASes coordinate to shape traffic into constant-rate transmission using packet splitting. Our prototype implementation shows that TARANET can forward anonymous traffic at over 50~Gbps using commodity hardware

Efficient data structures for backtrack search SAT solvers

The implementation of efficient Propositional Satisfiability (SAT) solvers entails the utilization of highly efficient data structures, as illustrated by most of the recent state-of-the-art SAT solvers. However, it is in general hard to compare existing data structures, since different solvers are often characterized by fairly different algorithmic organizations and techniques, and by different search strategies and heuristics. This paper aims the evaluation of data structures for backtrack search SAT solvers, under a common unbiased SAT framework. In addition, advantages and drawbacks of each existing data structure are identified. Finally, new data structures are proposed, that are competitive with the most efficient data structures currently available, and that may be preferable for the next generation SAT solvers

In praise of the referee

There has been a lively debate in many fields, including statistics and related applied fields such as psychology and biomedical research, on possible reforms of the scholarly publishing system. Currently, referees contribute so much to improve scientific papers, both directly through constructive criticism and indirectly through the threat of rejection. We discuss ways in which new approaches to journal publication could continue to make use of the valuable efforts of peer reviewers.Comment: 13 page

MEMS 411: Thresher

This project and assignment was brought to our attention by Dr. Potter and Dr. Natalie Mueller. Dr. Mueller is an archaeologist and a paleoethnobotanist who specializes in the historical ecology of north America and the origins of agriculture. She is currently undergoing research on domestication of plants and subsequent evolution of agrobiodiversity since the ice age. The seeds are extremely small as well are the batches of seeds. In order to orchestrate research on these seeds, the seeds go through a process of threshing and winnowing. Dr. Mueller already had a design and prototype built for the winnowing process so when given the option,the decision to make a thresher occurred. Threshing is separating grain from a plant. For example, think about taking the seed off of a sunflower seed. In Dr. Mueller’s case, these seeds are around the size of a poppy seed. Originally in order to thresh the seeds, they were rubbed against metal mesh with sandpaper. This was an exhausting and long process. The idea was to make it an easier, more efficiency, and quicker process. The following report shows the growth of ideas and concepts that lead to a prototype and a final product. The final product reduced the time, energy and effort needed to thresh the seeds with the barrel method. Due to busy 3D printers, our final 3D design was not able to be prepared by the final deadline but the final product works well enough. With more adjustments and the3D printed design, the thresher will allow for Dr. Mueller to cut her threshing time by 1/