Structuring the Unstructured Note: Automatic Organizing and Formatting for lecture notes.

Note taking is an important practice during lectures. With the rapid development of electronic devices such as smart phones, tablets and laptops, digital note-taking has become an option for many students. In the classroom setting, note takers might fail to record clearly organized notes due to limitations of time and devices. Therefore, users often need to manually organize long paragraphs of notes by dividing or structuring them into appropriate sections based on content. The goal of this research is to develop a system that automatically structures unorganized notes. Using topic modeling and automatic summarization, we detect and analyze the “structure” of the notes. We then build a webpage based on the structure in order to format notes into a more readable version

Finding the Grammar of Generative Craft

Art and craft design is challenging even with the assistance of computer-aided design tools. Despite the increasing availability and intelligence of software and hardware, artists continue to find gaps between their practices and tools when designing physical craft artifacts. In many craft domains, artists need to acquire domain knowledge and develop skills in design-aid tools separately. Despite their power and versatility, generic design tools pose various challenges, such as requiring workarounds for specific crafts and having steep learning curves. Compared to generic design-aid tools, craft-specific systems can offer reasonable solutions to specific design tasks because they can offer domain-specific support. Nevertheless, craft-specific tools often have limited flexibility. In this dissertation, I introduce Grammar-driven Craft Design Tools (GCDTs), which explicitly embed and utilize craft domain knowledge (i.e., ``grammar" of the craft) as their primary mechanisms and interfaces. Like other types of information, craft knowledge is processable and organizable data. In this dissertation, I develop and examine a framework to document, process, preserve, and utilize craft domain knowledge. GCDTs are craft-specific tools. By explicitly embedding and utilizing craft domain knowledge, GCDTs bridge the gap between design-aid tools and craft domain knowledge. GCDTs also have additional benefits such as supporting generative design, facilitating learning, and preserving domain knowledge. This dissertation gives an overview of how the next generation of design-aid tools can help artists find their creative expressions. It presents the GCDT framework and introduces three GCDTs developed for distinct domains. InfiniteLayer assists the design of multilayer sculpture, which is a form of sculpture made with layers of material. Then, MarkMakerSquare helps designers to invent unconventional and creative mark-making tools using various fabrication strategies. Lastly, ThreadPlotter supports the design and fabrication of plotter-based delicate punch needle embroidery.PHDInformationUniversity of Michigan, Horace H. Rackham School of Graduate Studieshttp://deepblue.lib.umich.edu/bitstream/2027.42/169800/1/heslicia_1.pd

Numerical Well Testing Interpretation Model and Applications in Crossflow Double-Layer Reservoirs by Polymer Flooding

This work presents numerical well testing interpretation model and analysis techniques to evaluate formation by using pressure transient data acquired with logging tools in crossflow double-layer reservoirs by polymer flooding. A well testing model is established based on rheology experiments and by considering shear, diffusion, convection, inaccessible pore volume (IPV), permeability reduction, wellbore storage effect, and skin factors. The type curves were then developed based on this model, and parameter sensitivity is analyzed. Our research shows that the type curves have five segments with different flow status: (I) wellbore storage section, (II) intermediate flow section (transient section), (III) mid-radial flow section, (IV) crossflow section (from low permeability layer to high permeability layer), and (V) systematic radial flow section. The polymer flooding field tests prove that our model can accurately determine formation parameters in crossflow double-layer reservoirs by polymer flooding. Moreover, formation damage caused by polymer flooding can also be evaluated by comparison of the interpreted permeability with initial layered permeability before polymer flooding. Comparison of the analysis of numerical solution based on flow mechanism with observed polymer flooding field test data highlights the potential for the application of this interpretation method in formation evaluation and enhanced oil recovery (EOR)

ReluDiff: Differential Verification of Deep Neural Networks

As deep neural networks are increasingly being deployed in practice, their efficiency has become an important issue. While there are compression techniques for reducing the network's size, energy consumption and computational requirement, they only demonstrate empirically that there is no loss of accuracy, but lack formal guarantees of the compressed network, e.g., in the presence of adversarial examples. Existing verification techniques such as Reluplex, ReluVal, and DeepPoly provide formal guarantees, but they are designed for analyzing a single network instead of the relationship between two networks. To fill the gap, we develop a new method for differential verification of two closely related networks. Our method consists of a fast but approximate forward interval analysis pass followed by a backward pass that iteratively refines the approximation until the desired property is verified. We have two main innovations. During the forward pass, we exploit structural and behavioral similarities of the two networks to more accurately bound the difference between the output neurons of the two networks. Then in the backward pass, we leverage the gradient differences to more accurately compute the most beneficial refinement. Our experiments show that, compared to state-of-the-art verification tools, our method can achieve orders-of-magnitude speedup and prove many more properties than existing tools.Comment: Extended version of ICSE 2020 paper. This version includes an appendix with proofs for some of the content in section 4.

U.S.-Asean economic relations after 9/11.

50 p.This paper looks into the development of economic relations between the United States and Association of Southeast Asian Nations (ASEAN) since the 9/11 terrorist attacks. Having observed an obvious growing warmness of their economic relations since 9/11, this paper then put forward a question: Why have the U.S.-ASEAN economic relations regained its vitality after 9/11?Master of Science (International Political Economy

Introducción al estudio de la Inquisición española

Treball Final de Màster en Història i Identitats Hispàniques en el Mediterrani Occidental (segles XV-XIX). Codi: SBO018. Curs: 2018/2019.In the 15th and 16th centuries, the Habsburg dynasty occupied a very important position in European history. Later, the outbreak of the French Revolution caused the Inquisition to gradually lose its influence after the 17th century. As the Inquisitions of Western European countries were successively revoked, until the end of the 19th century, there was no adequately completed Inquisition.En los siglos XV y XVI, la dinastía de los Habsburgo ocupó un lugar importante en la historia europea. Posteriormente, el estallido de la Revolución Francesa hizo que la Inquisición perdiera gradualmente su influencia después del siglo XVII. A medida que las inquisiciones de los países de Europa occidental fueron revocadas sucesivamente, no hubo una Inquisición debidamente completada hasta finales del siglo XIX