Physical Sciences and Mathematics Commons^™

Completeness Of Nominal Props, Samuel Balco, Alexander Kurz

Engineering Faculty Articles and Research

We introduce nominal string diagrams as string diagrams internal in the category of nominal sets. This leads us to define nominal PROPs and nominal monoidal theories. We show that the categories of ordinary PROPs and nominal PROPs are equivalent. This equivalence is then extended to symmetric monoidal theories and nominal monoidal theories, which allows us to transfer completeness results between ordinary and nominal calculi for string diagrams.

Cs+Sociology: Global Inequality Lab 1, Elin Waring, Janet Michello

Open Educational Resources

These materials include background for the instructor and a lab that engages student in an analysis of global inequality while learning and using the R language (a programming language for statistics). Students obtain data on the US and two other countries (one more developed and one less developed).

Hartree-Fock Implementation For Pedagogical & Research Purposes, Gary Zeri, Jerry Larue

Student Scholar Symposium Abstracts and Posters

Often during the process of innovation and scientific advancement, experimentation is the key to increasing the current knowledge of body. Unfortunately, experimentation can often require extended periods of time as well as monetary resources to perform. The use of computational chemistry can increase the rate of scientific advancement by simulating experimental results, allowing researchers to focus on experiments whose computational counterparts show the greatest promise. Students new to the sciences are often not exposed to these methods due to their complexities. The purpose of this project is to implement the Hartree-Fock method, one type of computational chemistry method, whose programming …

Extending Set Functors To Generalised Metric Spaces, Adriana Balan, Alexander Kurz, Jiří Velebil

Mathematics, Physics, and Computer Science Faculty Articles and Research

For a commutative quantale V, the category V-cat can be perceived as a category of generalised metric spaces and non-expanding maps. We show that any type constructor T (formalised as an endofunctor on sets) can be extended in a canonical way to a type constructor T_V on V-cat. The proof yields methods of explicitly calculating the extension in concrete examples, which cover well-known notions such as the Pompeiu-Hausdorff metric as well as new ones.

Conceptually, this allows us to to solve the same recursive domain equation X ≅ TX in different categories (such as sets and metric spaces) and …

Automatic Extraction Of Narrative Structure From Long Form Text, Joshua Daniel Eisenberg

FIU Electronic Theses and Dissertations

Automatic understanding of stories is a long-time goal of artificial intelligence and natural language processing research communities. Stories literally explain the human experience. Understanding our stories promotes the understanding of both individuals and groups of people; various cultures, societies, families, organizations, governments, and corporations, to name a few. People use stories to share information. Stories are told –by narrators– in linguistic bundles of words called narratives.

My work has given computers awareness of narrative structure. Specifically, where are the boundaries of a narrative in a text. This is the task of determining where a narrative begins and ends, a …