Below you may find selected research articles from faculty in the Fowler School of Engineering, set to open in fall 2020.

Follow

Submissions from 2019

PDF

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

Submissions from 2018

PDF

Evaluating Factors Impacting Medication Adherence Among Rural, Urban, and Suburban Populations, Cody Arbuckle, Daniel M. Tomaszewski, Benjamin D. Aronson, Lawrence M. Brown, Jon C. Schommer, Donald Morisky, and Erik J. Linstead

PDF

Leveling the Playing Field: Supporting Neurodiversity via Virtual Realities, LouAnne E. Boyd, Kendra Day, Natalia Stewart, Kaitlyn Abdo, Kathleen Lamkin, and Erik J. Linstead

PDF

Evaluation of Spatial Generalization Characteristics of a Robust Classifier as Applied to Coral Reef Habitats in Remote Islands of the Pacific Ocean, Justin J. Gapper, Hesham el-Askary, Erik J. Linstead, and Thomas Piechota

PDF

Microgel Core/Shell Architectures as Targeted Agents for Fibrinolysis, Purva Kodlekere and L. Andrew Lyon

PDF

Trends in Opioid Use in Pediatric Patients in US Emergency Departments From 2006 to 2015, Daniel M. Tomaszewski, Cody Arbuckle, Sun Yang, and Erik J. Linstead

PDF

Enhancing Clot Properties Through Fibrin-Specific Self-Cross-Linked PEG Side-Chain Microgels, Nicole Welsch, Ashley C. Brown, Thomas H. Barker, and L. Andrew Lyon

Submissions from 2017

PDF

T-Time: A Data Repository of T Cell and Calcium Release-Activated Calcium Channel Activation Imagery, Cody Arbuckle, Milton L. Greenberg, Adrienne Bergh, Rene German, Nick Sirago, and Erik J. Linstead

PDF

The Positivication of Coalgebraic Logics, Fredrik Dahlqvist and Alexander Kurz

Link

Dynamic Assembly of Ultrasoft Colloidal Networks Enables Cell Invasion Within Restrictive Fibrillar Polymers, Alison M. Douglas, Alexandros A. Fragkopoulos, Michelle K. Gaines, L. Andrew Lyon, Alberto Fernandez-Nieves, and Thomas H. Barker

PDF

Remote Sensing Observation of Annual Dust Cycles and Possible Causality of Kawasaki Disease Outbreaks in Japan, Hesham el-Askary, Nick LaHaye, Erik J. Linstead, William A. Sprigg, and Magdi Yacoub

PDF

Features of Agent-based Models, Reiko Heckel, Alexander Kurz, and Edmund Chattoe-Brown

PDF

Foreword: Special Issue on Coalgebraic Logic, Alexander Kurz

PDF

Quasivarieties and Varieties of Ordered Algebras: Regularity and Exactness, Alexander Kurz

PDF

An Evaluation of the Effects of Intensity and Duration on Outcomes Across Treatment Domains for Children with Autism Spectrum Disorder, Erik J. Linstead, D. R. Dixon, E. Hong, C. O. Burns, Ryan French, M. N. Novack, and D. Granpeesheh

PDF

Phase Behavior of Binary and Polydisperse Suspensions of Compressible Microgels Controlled by Selective Particle Deswelling, A. Scotti, U. Gasser, E. S. Herman, Jun Han, A. Menzel, L. Andrew Lyon, and A. Fernandez-Nieves

PDF

A Cluster Analysis of Challenging Behaviors in Autism Spectrum Disorder, Elizabeth Stevens, Abigail Atchison, Laura Stevens, Esther Hong, Doreen Granpeesheh, Dennis Dixon, and Erik J. Linstead

PDF

Oligo(ethylene glycol)-Sidechain Microgels Prepared in Absence of Cross-Linking Agent: Polymerization, Characterization and Variation of Particle Deformability, Nicole Welsch and L. Andrew Lyon

Submissions from 2016

Link

On the Logic of Generalised Metric Spaces, Octavian Babus and Alexander Kurz

PDF

Tool Support for Reasoning in Display Calculi, Samuel Balco, Sabine Frittella, Giuseppe Greco, Alexander Kurz, and Alessandra Palmigiano

Link

A Program Evaluation of Home and Center-Based Treatment for Autism Spectrum Disorder, Dennis R. Dixon, Claire O. Burns, Doreen Granpeesheh, Roshan Amarasinghe, Alva Powell, and Erik J. Linstead

Link

An Evaluation of the Impact of Supervision Intensity, Supervisor Qualifications, and Caseload on Outcomes in the Treatment of Autism Spectrum Disorder, Dennis R. Dixon, Erik J. Linstead, Doreen Granpeesheh, Marlena N. Novack, Ryan French, Elizabeth Stevens, Laura Stevens, and Alva Powell

PDF

Multi-Type Display Calculus for Propositional Dynamic Logic, Sabine Frittella, Giuseppe Greco, Alexander Kurz, and Alessandra Palmigiano

PDF

Multi-Type Display Calculus for Dynamic Epistemic Logic, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano, and Vlasta Sikimić

PDF

Enabling method to design versatile biomaterial systems from colloidal building blocks, Shalini Saxena and L. Andrew Lyon

Link

The Role of Ions in the Self-Healing Behavior of Soft Particle Suspensions, Andrea Scotti, Urs Gasser, Emily S. Herman, Miguel Pelaez-Fernandez, Jun Han, Andreas Menzel, L. Andrew Lyon, and Alberto Fernandez-Nieves

Submissions from 2015

PDF

Coalgebraic Semantics of Reflexive Economics (Dagstuhl Seminar 15042), Samson Abramsky, Alexander Kurz, Pierre Lescanne, and Viktor Winschel

PDF

Detection and Tracking of T Cells in Time-lapse Imaging, Cody Arbuckle, Milton L. Greenberg, and Erik J. Linstead

PDF

Extensions of Functors From Set to V-cat, Adriana Balan, Alexander Kurz, and Jirí Velebil

PDF

Positive Fragments of Coalgebraic Logics, Adriana Balan, Alexander Kurz, and Jirí Velebil

PDF

Presenting Distributive Laws, Marcello M. Bonsangue, Helle H. Hansen, Alexander Kurz, and Jurriaan Rot

PDF

Approximation of Nested Fixpoints, Alexander Kurz

Link

Simplified Coalgebraic Trace Equivalence, Alexander Kurz, Stefan Milius, Dirk Pattinson, and Lutz Schröder

PDF

Influence of Microgel Packing on Raspberry-Like Heteroaggregate Assembly, Shalini Saxena and L. Andrew Lyon

Submissions from 2014

PDF

A Proof-Theoretic Semantic Analysis of Dynamic Epistemic Logic, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano, and Vlasta Sikimić

PDF

Form Factor of pNIPAM Microgels in Overpacked States, U. Gasser, J. S. Hyatt, J.- J. Lietor-Santos, E. S. Herman, L. Andrew Lyon, and A. Fernandez-Nieves

Link

Microgel Mechanics in Biomaterial Design, Shalini Saxena, Caroline E. Hansen, and L. Andrew Lyon

PDF

Disposable Platform Provides Visual and Color-Based Point-of-Care Anemia Self-Testing, Erika A. Tyburski, Scott E. Gillespie, William A. Stoy, Robert G. Mannino, Alexander J. Weiss, Alexa F. Siu, Rayford H. Bulloch, Karthik Thota, Anyela Cardenas, Wilena Session, Hanna J. Khoury, Siobhán O'Connor, Silvia T. Bunting, Jeanne Boudreaux, Craig R. Forest, Manila Gaddh, Traci Leong, L. Andrew Lyon, and Wilbur A. Lam

Submissions from 2013

PDF

Relation Lifting, with an Application to the Many-Valued Cover Modality, Marta Bílková, Alexander Kurz, Daniela Petrişan, and Jirí Velebil

PDF

Nominal Computation Theory (Dagstuhl Seminar 13422), Mikołaj Bojanczyk, Bartek Klin, Alexander Kurz, and Andrew M. Pitts

PDF

Plastic Deformation, Wrinkling, and Recovery in Microgel Multilayers, Jeffrey C. Gaulding, Mark W. Spears Jr., and L. Andrew Lyon

Link

Dynamic Epistemic Logic Displayed, Giuseppe Greco, Alexander Kurz, and Alessandra Palmigiano

PDF

Dynamic Sequent Calculus for the Logic of Epistemic Actions and Knowledge, Giuseppe Greco, Alexander Kurz, and Alessandra Palmigiano

PDF

Epistemic Updates on Algebras, Alexander Kurz and Alessandra Palmigiano

PDF

Nominal Coalgebraic Data Types with Applications to Lambda Calculus, Alexander Kurz, Daniela Petrişan, Paula Severi, and Fer-Jan de Vries

PDF

Nominal Regular Expressions for Languages over Infinite Alphabets, Alexander Kurz, Tomoyuki Suzuki, and Emilio Tuosto

PDF

Development of Self-Assembling Mixed Protein Micelles with Temperature-Modulated Avidities, Allyson S.C. Soon, Michael H. Smith, Emily S. Herman, L. Andrew Lyon, and Thomas H. Barker

Submissions from 2012

PDF

Structural Properties of Thermoresponsive Poly(N-isopropylacrylamide)-poly(ethyleneglycol) Microgels, J. Clara-Rahola, A. Fernandez-Nieves, B. Sierra-Martin, A. B. South, L. Andrew Lyon, J. Kohlbrecher, and A. F. Barbero

PDF

Coalgebraic Logics (Dagstuhl Seminar 12411), Ernst-Erich Doberkat and Alexander Kurz

PDF

Completeness for the Coalgebraic Cover Modality, Clemens Kupke, Alexander Kurz, and Yde Venema

Link

Expressiveness of Positive Coalgebraic Logic, Clemens Kupke, Alexander Kurz, and Yde Venema

Link

Modalities in the Stone Age: A Comparison of Coalgebraic Logics, Alexander Kurz and Raul Leal

Link

An Alpha-Corecursion Principle for the Infinitary Lambda Calculus, Alexander Kurz, Daniela Petrişan, Paula Severi, and Fer-Jan de Vries

PDF

Strongly Complete Logics for Coalgebras, Alexander Kurz and Jiří Rosický

Link

A Characterisation of Languages on Infinite Alphabets with Nominal Regular Expressions, Alexander Kurz, Tomoyuki Suzuki, and Emilio Tuosto

Link

On Nominal Regular Languages with Binders, Alexander Kurz, Tomoyuki Suzuki, and Emilio Tuosto

Submissions from 2011

Link

On Coalgebras over Algebras, Adriana Balan and Alexander Kurz

PDF

Relation Liftings on Preorders and Posets, Marta Bílková, Alexander Kurz, Daniela Petrişan, and Jiří Velebil

Link

Control of Poly(N-isopropylacrylamide) Microgel Network Structure by Precipitation Polymerization near the Lower Critical Solution Temperature, Xiaobo Hu, Zhen Tong, and L. Andrew Lyon

PDF

Synthesis and Physicochemical Properties of Cationic Microgels Based on Poly(N-isopropylmethacrylamide), Xiaobo Hu, Zhen Tong, and L. Andrew Lyon

PDF

Generic Trace Logics, Christian Kissig and Alexander Kurz

PDF

Towards Nominal Formal Languages, Alexander Kurz, Tomoyuki Suzuki, and Emilio Tuosto

PDF

An Upper Limit for Macromolecular Crowding Effects, Andrew C. Miklos, Congang Li, Courtney D. Sorell, L. Andrew Lyon, and Gary J. Pielak

Link

Network Deconstruction Reveals Network Structure in Responsive Microgels, Michael H. Smith, Emily S. Herman, and L. Andrew Lyon

Link

Tunable Encapsulation of Proteins within Charged Microgels, Michael H. Smith and L. Andrew Lyon

Submissions from 2010

PDF

On Coalgebras over Algebras, Adriana Balan and Alexander Kurz

PDF

Bitopological Duality for Distributive Lattices and Heyting Algebras, Guram Bezhanishvili, Nick Bezhanishvili, David Gabelaia, and Alexander Kurz

PDF

Chronic Inflammatory Responses to Microgel-Based Implant Coatings, Amanda W. Bridges, Rachel E. Whitmire, Neetu Singh, Kellie L. Templeman, Julia E. Babensee, L. Andrew Lyon, and Andrés J. García

PDF

Families of Symmetries as Efficient Models of Resource Binding, Vincenzo Ciancia, Alexander Kurz, and Ugo Montanari

PDF

Chemosensitization of Cancer Cells by siRNA Using Targeted Nanogel Delivery, Erin B. Dickerson, William H. Blackburn, Michael H. Smith, Laura B. Kapa, L. Andrew Lyon, and John F. McDonald

Link

Microgel Translocation through Pores under Confinement, Grant R. Hendrickson and L. Andrew Lyon

PDF

On Universal Algebra Over Nominal Sets, Alexander Kurz and Daniela Petrişan

Link

Presenting Functors on Many-Sorted Varieties and Applications, Alexander Kurz and Daniela Petrişan

PDF

Algebraic Theories over Nominal Sets, Alexander Kurz, Daniela Petrişan, and Jiří Velebil

Link

Coalgebraic Lindström Theorems, Alexander Kurz and Yde Venema

Link

Monitoring the Erosion of Hydrolytically-Degradable Nanogels via Multiangle Light Scattering Coupled to Asymmetrical Flow Field-Flow Fractionation, Michael H. Smith, Antoinette B. South, Jeffrey C. Gaulding, and L. Andrew Lyon

Submissions from 2009

Link

Peptide-Functionalized Nanogels for Targeted siRNA Delivery, William H. Blackburn, Erin B. Dickerson, Michael H. Smith, John F. McDonald, and L. Andrew Lyon

PDF

Equational Coalgebraic Logic, Alexander Kurz and Raul Leal

Link

Physical Aging and Phase Behavior of Multiresponsive Microgel Colloidal Dispersions, Zhiyong Meng, Jae Kyu Cho, Victor Breedveld, and L. Andrew Lyon

Link

Centrifugal Deposition of Microgels for the Rapid Assembly of Nonfouling Thin Films, Antoinette B. South, Rachel E. Whitmire, Andrés J. García, and L. Andrew Lyon

Submissions from 2008

PDF

Size-Controlled Synthesis of Monodisperse Core/Shell Nanogels, William H. Blackburn and L. Andrew Lyon

PDF

Reduced Acute Inflammatory Responses to Microgel Conformal Coatings, Amanda W. Bridges, Neetu Singh, Kellie L. Burns, Julia E. Babensee, L. Andrew Lyon, and Andrés J. García

PDF

Direct observation of phase transition dynamics in suspensions of soft colloidal hydrogel particles, Jae Kyu Cho, Zhiyong Meng, L. Andrew Lyon, and Victor Breedveld

Link

Modal Logics are Coalgebraic, Corina Cîrstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder, and Yde Venema

Link

Completeness of the Finitary Moss Logic, Alexander Kurz

PDF

Functorial Coalgebraic Logic: The Case of Many-Sorted Varieties, Alexander Kurz and Daniela Petrişan

PDF

Synthesis of Multifunctional Nanogels Using a Protected Macromonomer Approach, Neetu Singh and L. Andrew Lyon

Submissions from 2007

Link

Free Modal Algebras: A Coalgebraic Perspective, Nick Bezhanishvili and Alexander Kurz

PDF

Pi-Calculus in Logical Form, Marcello M. Bonsangue and Alexander Kurz

Link

The Goldblatt-Thomason Theorem for Coalgebras, Alexander Kurz and Jiří Rosický

Books from 2006

Link

Amphiphilic, Peptide-Modified Core/Shell Microgels, Daoji Gan and L. Andrew Lyon

PDF

Coalgebras and Their Logics, Alexander Kurz

Link

Presenting Functors by Operations and Equations, Alexander Kurz and Marcello M. Bonsangue

Submissions from 2005

Link

Ultrafilter Extensions for Coalgebras, Clemens Kupke, Alexander Kurz, and Dirk Pattinson

PDF

Weak Factorizations, Fractions and Homotopies, Alexander Kurz and Jiří Rosický

Books from 2004

PDF

Application of Microgels for Optical Tagging, J. Michael Carthcart, L. Andrew Lyon, Marcus Weck, and Robert D. Bock

PDF

Preface, Thomas Hildebrandt and Alexander Kurz

PDF

Algebraic Semantics for Coalgebraic Logics, Clemens Kupke, Alexander Kurz, and Dirk Pattinson

Link

Stone Coalgebras, Clemens Kupke, Alexander Kurz, and Yde Venema

PDF

Coalgebras and Modal Expansions of Logics, Alexander Kurz and Alessandra Palmigiano