Computer Assisted Proof for Normally Hyperbolic Invariant Manifolds
, 2011 We present a topological proof of the existence of a normally hyperbolic invariant manifold for maps. In our approach we do not require that the map is a perturbation of some other map for which we already have an invariant manifold.
Capinski, Maciej J., Simo, Carles
core +1 more source
Computer-Assisted Instruction in Initial Reading: The Stanford Project [PDF]
, 1966 Richard C. Atkinson, Duncan N. Hansen
openalex +1 more source
Computer Assisted Analysis of S-Potentials
Biophysical Journal, 1969 S-potentials from the channel catfish were analyzed using a high speed biological data processing system developed at this Institute. The analysis has shown that, when moderately dark adapted, the relation between the (maximal) amplitude of S-potential and log intensity of flash was the hyperbolic tangent throughout the whole visible spectrum.
openaire +3 more sources
Some computer-assisted topological models of Hilbert fundamental domains [PDF]
, 1969 Harvey Cohn
openalex +1 more source
Automated tracking of a passive endomyocardial stiletto catheter with dephased FLAPS MRI: a feasibility study [PDF]
, 2008 Automated tracking of a passive stiletto catheter for regenerative myocardial therapy under the MR environment may improve the accuracy ofthe procedure.
Dharmakumar, Rohan +5 more
core
Multistep Networks for Deformable Multimodal Medical Image Registration
IEEE AccessWe proposed neural networks for deformable multimodal medical image registration that use multiple steps and varying resolutions. The networks were trained jointly in an unsupervised manner with Mutual Information and Gradient L2 loss.
Anika Strittmatter, Frank G. Zollner
doaj +1 more source
Development and application of operational techniques for the inventory and monitoring of resources and uses for the Texas coastal zone. Volume 1: Text [PDF]
The author has identified the following significant results. Image interpretation and computer-assisted techniques were developed to analyze LANDSAT scenes in support of resource inventory and monitoring requirements for the Texas coastal region.
Finley, R. +4 more
core +1 more source
Complex Care Management Program Overview - Technology [PDF]
, 2013 This report provides an overview of technology based complex care management programs, including:Cook County Health and Hospitals System - Computer Assisted Quality of Life and Symptom Assessment of Complex PatientsUniversity of Missouri ...
core
A control program for Computer Assisted Instruction on a general purpose computer [PDF]
, 1969 Eugene G. Kerr +2 more
openalex +1 more source