1.6k citations
- University of Massachusetts AmherstUS10 papers
- Massachusetts Institute of TechnologyUS6 papers
- Pennsylvania State UniversityUS6 papers
- Rice UniversityUS6 papers
- Universidad de SevillaES6 papers
- Wesleyan UniversityUS6 papers
- Agnes Scott CollegeUS5 papers
- Goddard Space Flight CenterUS5 papers
- Max Planck Institute for AstronomyDE5 papers
- California Institute of TechnologyUS4 papers
- Georgia Institute of TechnologyUS4 papers
- University of Maryland, College ParkUS4 papers
4 papers · 1 filter
A Machine-Checked Proof for a Translation of Event-B Machines to JML
Néstor Cataño, Camilo Rueda, Tim Wahls
We present a machine-checked soundness proof of a translation of Event-B to the Java Modeling Language (JML). The translation is based on an operator EventB2Jml that maps Evnet-B e…
Universal deformation rings and tame blocks
Frauke M. Bleher, Giovanna Llosent, Jennifer B. Schaefer
Let k be an algebraically closed field of positive characteristic, and let W be the ring of infinite Witt vectors over k. Suppose G is a finite group and B is a block of kG of infi…
Synchronization in Phase-Coupled Kuramoto Oscillator Networks with Axonal Delay and Synaptic Plasticity
Liam Timms, Lars Q. English
We explore both analytically and numerically an ensemble of coupled phase-oscillators governed by a Kuramoto-type system of differential equations. However, we have included the ef…
Nonlinear localized modes in two-dimensional electrical lattices
L. Q. English, F. Palmero, J. F. Stormes +3
We report the observation of spontaneous localization of energy in two spatial dimensions in the context of nonlinear electrical lattices. Both stationary and traveling self-locali…