Publications – Sara Pollock Publications focus areas: numerical analysis of nonlinear, higher order and eigenvalue problems multiscale methods and goal-oriented adaptivity inverse kinematics and computational geometry book: Anderson Acceleration for Numerical PDEs, S. Pollock and…
… transactional memory. In: 2018 ACM/IEEE 45th Annual International Symposium on Computer Architecture (ISCA), pp. 452–465. IEEE (2018) Google Scholar Joshi, A., Nagarajan, V., Viglas, S., Cintra, M.: Atom: atomic durability in non-volatile memory through hardware logging. In: 201…
…ill show that the free phase is fairly long when performed with a discrete-time computer simulation. However, we expect that the full potential of the proposed framework could be exploited on analog hardware (instead of digital hardware), as suggested by Hertz et al. ( 1997 ). 4.…
…ill show that the free phase is fairly long when performed with a discrete-time computer simulation. However, we expect that the full potential of the proposed framework could be exploited on analog hardware (instead of digital hardware), as suggested by Hertz et al. ( 1997 ). 4.…
robert ghrist home page robert ghrist prof-g cv math papers EAT CALC ART press bio papers & preprints click on the links to download preprints... all versions are pre-publication drafts with eventual publication citations as listed the author gratefully acknowledges the support o…
Friedman, A.D., Menon, P.R.: Fault Detection in Digital Circuits. Computer Applications in Electrical Engineering Series. Prentice-Hall (1971) Google Scholar Aho, A.V., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools. Addison-Wesley (1986) Google Scholar Cho…
…aining, only DNA is stained, resulting in a better visibility of the nuclei for computer recognition. The method consists of a semi-automated segmentation, reviewed by an expert pathologist, and followup feature extraction and classification. Solely the nuclear area or the entrop…
Gilbert, J. A., Jansson, J. K. & Knight, R. The Earth Microbiome project: successes and aspirations. BMC Biol. 12 , 69 (2014). Article CAS PubMed PubMed Central Google Scholar Gevers, D. et al. The Human Microbiome Project: a community resource for the healthy human microbiome. P…
…ugt A. PMID: 33438455. View in: PubMed Mentions: 15 Fields: Translation: Humans Computer-aided quantification of non-contrast 3D black blood MRI as an efficient alternative to reference standard manual CT angiography measurements of abdominal aortic aneurysms. Eur J Radiol. 2021 …
Population structure reverses selection of variants with proportionally scaled birth and death rates. Nat Commun. 2025 Dec 27; 17(1):244. Komarova NL , Wodarz D . PMID: 41455764; PMCID: PMC12783849 . View in: PubMed Mentions: Fields: Translation: Animals Author Correction: Barcod…
…enzinger, T.A.: The theory of hybrid automata. In: LICS 1996, pp. 278–292. IEEE Computer Society, Washington, DC (1996) Google Scholar Hoare, T., van Staden, S.: In praise of algebra. Formal Asp. Comput. 24 (4–6), 423–431 (2012) Article MathSciNet MATH Google Scholar Höfner, P., …
… in data. Biometrics 61 , 10–16 (2005). Article PubMed Google Scholar Horth, J. Computer Intensive Statistical Methods Validation, Model Selection and Boostrap (Chapman and Hall, London, 1994). Google Scholar Ambroise, C. & McLachlan, G. J. Selection bias in gene extraction on th…
… Proceedings of the 31st international conference on software engineering. IEEE Computer Society, pp 518–528 Böhme M., Soremekun E. O., Chattopadhyay S., Ugherughe E., Zeller A. (2017) Where is the bug and how is it fixed? an experiment with practitioners. In: European software e…
…ng evacuation signs is the most common strategy in engineering practice such as computer-based evacuation simulations (agent modelling)19. Agents are often guided exclusively along marked evacuation routes19, and no other wayfinding strategies that are commonly used in the actual…
Nonlinear Heart Rate Variability Analysis for Sleep Stage Classification Using Integration of Ballistocardiogram and Apple Watch. Nat Sci Sleep. 2024; 16:1075-1090. Jaworski D, Park EJ . PMID: 39081512; PMCID: PMC11288323 . View in: PubMed Mentions: 3 Enhanced In-Home Human Activ…