Search
Results: 1399
Professor Steven V Ley CBE FRS FMedSci
Steven V Ley
Sep 10, 2018
Professor Steven Ley is currently Professor of Chemistry and Director of Research at at the University of Cambridge. He is also a Fellow of Trinity College and was BP 1702 Professor of Chemistry for 21 years. Steve obtained his...
Steven Agee to Deliver Fall M.B.A. Lecture on Nov. 12
Winthrop University
Jan 01, 0001
The fall 2014 M.B.A. lecture will feature Steven C. Agee, founder, president and chief operating officer of Agee Energy, LLC. Agee is also dean and professor of economics at Oklahoma City University's Meinders School of...
Published by: Winthrop University
Living in the Liminal: Representation of Transgender and Nonbinary Identity in 'Steven Universe'
Mads Bradley
Jan 01, 0001
An analysis of the children's animated series Steven Universe, this research takes a semiotic approach to explore anti-essentialist messages of gender identity. Atypical within the mainstream media, the cartoon expresses dynamic...
queer themes LGBTQ representation children's media cartoons Rebecca Sugar Adventure Time trans characters communication Feminist, Gender, and Sexuality Studies Film and Media Studies Lesbian, Gay, Bisexual, and Transgender Studies Television
Published by: Ursinus College
A Review of the Oxford Chichewa-English/English-Chichewa Dictionary by Steven Paas
This article reviews the Oxford Chichewa-English/English-Chichewa Dictionary compiled by Steven Paas, published in 2016 by Oxford University Press in Cape Town. Upon a review of the dictionary, a number of issues arise. The...
Published by: IGI Global Scientific Publishing
Imperative programs as proofs via game semantics
Game semantics extends the Curry–Howard isomorphism to a three-way correspondence: proofs, programs, strategies. But the universe of strategies goes beyond intuitionistic logics and lambda calculus, to capture stateful programs....
Revisiting Decidable Bounded Quantification, via Dinaturality
James Laird
Feb 22, 2023
We use a semantic interpretation to investigate the problem of defining an expressive but decidable type system with bounded quantification. Typechecking in the widely studied System Fsub is undecidable thanks to an undecidable...
Extensional and Intensional Semantics of Bounded and Unbounded Nondeterminism
James Laird
Nov 24, 2021
We give extensional and intensional characterizations of functional programs with nondeterminism: as structure preserving functions between biorders, and as nondeterministic sequential algorithms on ordered concrete data...
Constructing differential categories and deconstructing categories of games
Differential categories were introduced by Blute, Cockett and Seely to axiomatize categorically Ehrhard and Regnierʼs syntactic differential operator. We present an abstract construction that takes a symmetric monoidal category...
Game semantics for a polymorphic programming language
J. Laird
Aug 01, 2013
This article presents a game semantics for higher-rank polymorphism, leading to a new model of the calculus System F, and a programming language which extends it with mutable variables. In contrast to previous game models of...
Revisiting Decidable Bounded Quantification, via Dinaturality
James Laird
Feb 22, 2023
We use a semantic interpretation to investigate the problem of defining an expressive but decidable type system with bounded quantification. Typechecking in the widely studied System Fsub is undecidable thanks to an undecidable...
Extensional and Intensional Semantics of Bounded and Unbounded Nondeterminism
James Laird
Nov 24, 2021
We give extensional and intensional characterizations of functional programs with nondeterminism: as structure preserving functions between biorders, and as nondeterministic sequential algorithms on ordered concrete data...
Weighted models for higher-order computation
James Laird
Dec 31, 2020
We study a class of quantitative models for higher-order computation: Lafont categories with (infinite) biproducts. Each of these has a complete “internal semiring” and can be enriched over its modules. We describe a...
Weighted models for higher-order computation
James Laird
Dec 31, 2020
We study a class of quantitative models for higher-order computation: Lafont categories with (infinite) biproducts. Each of these has a complete “internal semiring” and can be enriched over its modules. We describe a...
Game semantics for a polymorphic programming language
J. Laird
Aug 01, 2013
This article presents a game semantics for higher-rank polymorphism, leading to a new model of the calculus System F, and a programming language which extends it with mutable variables. In contrast to previous game models of...
Detecting Compromised Social Network Accounts Using Deep Learning for Behavior and Text Analyses
Social networks allow people to connect to one another. Over time, these accounts become an essential part of one's online identity. The account stores various personal data and contains one's network of acquaintances. Attackers...
Published by: IGI Global Scientific Publishing
Predicting Estimated Blood Loss and Transfusions in Gynecologic Surgery Using Artificial Neural Networks
This chapter explores valuating the efficacy of using artificial neural networks (ANNs) for predicting the estimated blood loss (EBL) and also transfusion requirements of myomectomy patients. All 146 myomectomy surgeries...
Medicine and Healthcare Medical Diagnosis and Practice Sexual Reproductive & Maternal Health Social Sciences and Humanities Government and Law
Published by: IGI Global Scientific Publishing
Imperative programs as proofs via game semantics
Game semantics extends the Curry–Howard isomorphism to a three-way correspondence: proofs, programs, strategies. But the universe of strategies goes beyond intuitionistic logics and lambda calculus, to capture stateful programs....
Predicting Estimated Blood Loss and Transfusions in Gynecologic Surgery Using Artificial Neural Networks
This chapter explores valuating the efficacy of using artificial neural networks (ANNs) for predicting the estimated blood loss (EBL) and also transfusion requirements of myomectomy patients. All 146 myomectomy surgeries...
Published by: IGI Global Scientific Publishing
Demystifying the Communication-Driven Usefulness Hypothesis
Healthcare insurance applications are increasingly vital to and have gained popularity with consumers. Previous information systems research featured perceived ease of use and perceived usefulness as key independent variables to...
Published by: IGI Global Scientific Publishing
Winthrop Alumnus Confirmed as Census Bureau Director
Winthrop University
Jan 01, 0001
HIGHLIGHTS Winthrop alumnus Steven Dillingham '73 accepted the position of director of the U.S. Census Bureau He will lead the bureau and a staff tasked with ensuring every single person living in the United States is counted...
Published by: Winthrop University
The Ursinus Weekly, March 15, 1978
Ann Weibezahl, Robert Brancatelli, Mark Woodland, Jonathan Zap, Nancy Weatherwax, Lawrence Mroz, Wesley Emmons
Jan 01, 0001
Ursinus news in brief: College silliness cites; College Bowl returning; Smoke alarms save 34; Church school training planned Williams to Weekly: "No Salmonella!" Knife assault reported Objections to DRC News analysis...
Ursinus College Collegeville Pennsylvania newspaper Evening school Teacher Training salmonella Wismer dining hall Food Services Nelson Williams Assault Curtis Hall student government Fred Klee vandalism Censorship Student employment College Union International Room coffeehouse Stephen Bishop Howard R. Bowen Ringo Starr ProTheatre Swimming badminton track hosteling cultural history Higher Education Liberal Studies Social History United States History
Published by: Ursinus College
Tennis Player Receives One of Two Big South Conference Graduate Fellowships
Winthrop University
Jan 01, 0001
Winthrop tennis player Steven Patrick and the other recipient, Longwood University women's soccer player Olivia Colella, will receive their awards of $2,000 each on June 2 to use for their respective graduate studies. Patrick...
Published by: Winthrop University
Are You Hooked on Paid Music Streaming?
The proliferation of free on-demand music streaming services (e.g., Spotify) is offsetting the traditional revenue sources (e.g., purchases of downloads or CDs) of the music industry. In order to increase revenue and sustain...
Published by: IGI Global Scientific Publishing
Constructing differential categories and deconstructing categories of games
Differential categories were introduced by Blute, Cockett and Seely to axiomatize categorically Ehrhard and Regnierʼs syntactic differential operator. We present an abstract construction that takes a symmetric monoidal category...
|
|< |
< |
1 |