9837 research outputs found
Sort by
intuitR: A Theorem Prover for Intuitionistic Propositional Logic
Get PDFA constructive proof proves the existence of a mathematical object by giving the steps necessary to construct said object. Proofs of this type can be interpreted as an algorithm for creating such an object. Intuitionistic Propositional Logic (IPL) is a propositional logic system wherein all valid proofs are constructive. intuitR is a theorem prover for IPL, that is, it determines whether a given formula is valid in IPL or not. In this paper, we describe how intuitR determines the validity of a formula and review its performance. When compared on a benchmark set of problems, intuitR was determined to solve more problems and to be of comparable speed or better than other IPL-provers
Vicky Demos Interview, 2022
Get PDFIn this oral history, Vicky Demos discusses her time as a sociology faculty member at the University of Minnesota Morris. She discusses her research in sociology and the creation of the Women\u27s Studies minor. She discusses her colleagues at the University of Minnesota Morris and her time at the institution.https://digitalcommons.morris.umn.edu/stories/1088/thumbnail.jp
Haunted Modern Art: Gender Fluidity, Queer Identities, and Radical Politics at Germany\u27s Bauhaus Art School
No full textThe Bauhaus (1919–1933) is widely regarded as the twentieth century\u27s most influential art and design school, famous for bringing functional design to the mainstream. In this talk, Otto delves into previously unexplored questions of sexuality and gender fluidity at the Bauhaus by focusing on the school\u27s members who queered the school’s aesthetics in order to disrupt gender conventions, represent gay and lesbian subjectivities, and picture same-sex desire, moves not without risk during the Weimar Republic, a regime that criminalized homosexuality. Otto also examines its members’ embrace of radical politics on both the left and the right—for Communist revolution, and, later, into the service of the Nazis. This talk disrupts the narrative of a normative Bauhaus to yield a more diverse and paradoxical history that emerges when the school is considered through artists and works whose presence haunts its historiography and through the empirical ground of the archive. It rereads this Haus as haunted by examining its repressed and uncanny elements and by reclaiming trauma, desire, and political convictions that have been largely written out the school’s history as vital to understanding it.https://digitalcommons.morris.umn.edu/barber/1003/thumbnail.jp
ID113 Oral History
Get PDFMan born in the early 1970s in El Salvador. Came to the U.S. with the help of extended family in his mid-20s after working at a white collar job in El Salvador. In the U.S. he worked in agriculture and industrial processing. After marrying, they moved back to St. James to begin their family. At the time of the interview, continues to reside in St. James.https://digitalcommons.morris.umn.edu/unitingcultures/1013/thumbnail.jp
ID116 Oral History
Get PDFWoman born in the early 1980s. Is the only child of her family. She is from Mexico and grew up in the country. She came to St. James with her husband and kids because she had family that was already living there.https://digitalcommons.morris.umn.edu/unitingcultures/1015/thumbnail.jp
ID122 Oral History
Get PDFWoman born in the mid 80’s from Mexico. She is the youngest of her three siblings. She, her husband, and her two children came to St. James because her friends and family were here. They now have one more daughter, who was born in the U.S. She mentioned how she has felt discriminated against at her job and talks to her children about what to do if one of them is ever deported from the U.S.https://digitalcommons.morris.umn.edu/unitingcultures/1021/thumbnail.jp
ID129 Oral History
Get PDFWoman born in the early 40s. She is from Tamaulipas, Mexico. She got her name from her grandfather. She came to the United States in 1994 with her passport to come live with her son, however her husband stayed in Mexico. She likes St. James.https://digitalcommons.morris.umn.edu/unitingcultures/1027/thumbnail.jp
Permitted Sets and Convex Coding in Nonthreshold Linear Networks
Get PDFHebbian theory proposes that ensembles of neurons form a basis for neural processing. It is possible to gain insight into the activity patterns of these neural ensembles through a binary analysis, regarding neurons as either active or inactive. The framework of permitted and forbidden sets, introduced by Hahnloser, Seung, and Slotine (2003), is a mathematical model of such a binary analysis: groups of coactive neurons can be permitted or forbidden depending on the network\u27s structure.
In order to widen the applicability of the framework of permitted sets, we extend the permitted set analysis from the original threshold-linear regime. Specifically, we generalize permitted sets to firing rate models in which [symbol] is a nonnegative continuous piecewise C1 activation function. In our framework, the focus is shifted from a neuron\u27s firing rate to its responsiveness to inputs; if a neuron\u27s firing rate is sufficiently sensitive to changes in its input, we say that the neuron is responsive. The algorithm for categorizing a neuron as responsive depends on thresholds that a user can select arbitrarily and that are independent of the dynamics.
Given a synaptic weight matrix W, we say that a set of neurons is permitted if it is possible to find a stimulus where those neurons, and no others, remain responsive. The main coding property we establish about P[symbol](W), the collection of all permitted sets of the network, is that P[symbol](W) is a convex code when W is almost rank one. This means that P[symbol](W) in the low-rank regime can be realized as a neural code resulting from the pattern of overlaps of receptive fields that are convex