oalib

Publish in OALib Journal

ISSN: 2333-9721

APC: Only $99

Submit

Any time

2019 ( 7 )

2018 ( 50 )

2017 ( 41 )

2016 ( 53 )

Custom range...

Search Results: 1 - 10 of 35288 matches for " Sam Van Horne "
All listed articles are free for downloading (OA Articles)
Page 1 /35288
Display every page Item
Promoting Active Learning in Technology-Infused TILE Classrooms at the University of Iowa
Sam Van Horne,Cecilia Murniati,Jon D. H. Gaffney,Maggie Jesse
Journal of Learning Spaces , 2012,
Abstract: In this case study, the authors describe the successful implementation of technology-infused TILE classrooms at the University of Iowa. A successful collaboration among campus units devoted to instructional technologies and teacher development, the TILE Initiative has provided instructors with a new set of tools to support active learning. The authors detail the implementation of the TILE classrooms, the process of training instructors to design effective instruction for these classrooms, and an assessment project that helps improve the process of ensuring faculty can successfully facilitate learning activities in a technology-infused learning environment.
Duality and canonical extensions for stably compact spaces
Sam van Gool
Mathematics , 2010, DOI: 10.1016/j.topol.2011.09.040
Abstract: We construct a canonical extension for strong proximity lattices in order to give an algebraic, point-free description of a finitary duality for stably compact spaces. In this setting not only morphisms, but also objects may have distinct pi- and sigma-extensions.
Brane-world Cosmologies with non-local bulk effects
R. J. van den Hoogen,Adam Horne
Physics , 2004, DOI: 10.1088/0264-9381/22/4/001
Abstract: It is very common to ignore the non-local bulk effects in the study of brane-world cosmologies using the brane-world approach. However, we shall illustrate through the use of three different scenarios, that the non-local bulk-effect ${\cal P}_{\mu\nu}$ does indeed have significant impact on both the initial and future behaviour of brane-world cosmologies.
Distributive envelopes and topological duality for lattices via canonical extensions
Mai Gehrke,Sam Van Gool
Mathematics , 2013,
Abstract: We establish a topological duality for bounded lattices. The two main features of our duality are that it generalizes Stone duality for bounded distributive lattices, and that the morphisms on either side are not the standard ones. A positive consequence of the choice of morphisms is that those on the topological side are functional. Towards obtaining the topological duality, we develop a universal construction which associates to an arbitrary lattice two distributive lattice envelopes with a Galois connection between them. This is a modification of a construction of the injective hull of a semilattice by Bruns and Lakser, adjusting their concept of 'admissibility' to the finitary case. Finally, we show that the dual spaces of the distributive envelopes of a lattice coincide with completions of quasi-uniform spaces naturally associated with the lattice, thus giving a precise spatial meaning to the distributive envelopes.
Endocrine-Disrupting Chemicals: Associated Disorders and Mechanisms of Action
Sam De Coster,Nicolas van Larebeke
Journal of Environmental and Public Health , 2012, DOI: 10.1155/2012/713696
Abstract: The incidence and/or prevalence of health problems associated with endocrine-disruption have increased. Many chemicals have endocrine-disrupting properties, including bisphenol A, some organochlorines, polybrominated flame retardants, perfluorinated substances, alkylphenols, phthalates, pesticides, polycyclic aromatic hydrocarbons, alkylphenols, solvents, and some household products including some cleaning products, air fresheners, hair dyes, cosmetics, and sunscreens. Even some metals were shown to have endocrine-disrupting properties. Many observations suggesting that endocrine disruptors do contribute to cancer, diabetes, obesity, the metabolic syndrome, and infertility are listed in this paper. An overview is presented of mechanisms contributing to endocrine disruption. Endocrine disruptors can act through classical nuclear receptors, but also through estrogen-related receptors, membrane-bound estrogen-receptors, and interaction with targets in the cytosol resulting in activation of the Src/Ras/Erk pathway or modulation of nitric oxide. In addition, changes in metabolism of endogenous hormones, cross-talk between genomic and nongenomic pathways, cross talk with estrogen receptors after binding on other receptors, interference with feedback regulation and neuroendocrine cells, changes in DNA methylation or histone modifications, and genomic instability by interference with the spindle figure can play a role. Also it was found that effects of receptor activation can differ in function of the ligand.
Transfer equals comprehension
Benno van den Berg,Sam Sanders
Mathematics , 2014,
Abstract: Recently, conservative extensions of Peano and Heyting arithmetic in the spirit of Nelson's syntactic approach to Nonstandard Analysis, have been proposed. We continue and extend this study with an eye on Reverse Mathematics-style results, formulating a suitable base theory along the way. In this way, we prove the equivalence between comprehension and transfer principles.
Higher-Order Symbolic Execution via Contracts
Sam Tobin-Hochstadt,David Van Horn
Computer Science , 2011,
Abstract: We present a new approach to automated reasoning about higher-order programs by extending symbolic execution to use behavioral contracts as symbolic values, enabling symbolic approximation of higher-order behavior. Our approach is based on the idea of an abstract reduction semantics that gives an operational semantics to programs with both concrete and symbolic components. Symbolic components are approximated by their contract and our semantics gives an operational interpretation of contracts-as-values. The result is a executable semantics that soundly predicts program behavior, including contract failures, for all possible instantiations of symbolic components. We show that our approach scales to an expressive language of contracts including arbitrary programs embedded as predicates, dependent function contracts, and recursive contracts. Supporting this feature-rich language of specifications leads to powerful symbolic reasoning using existing program assertions. We then apply our approach to produce a verifier for contract correctness of components, including a sound and computable approximation to our semantics that facilitates fully automated contract verification. Our implementation is capable of verifying contracts expressed in existing programs, and of justifying valuable contract-elimination optimizations.
Semantic Solutions to Program Analysis Problems
Sam Tobin-Hochstadt,David Van Horn
Computer Science , 2011,
Abstract: Problems in program analysis can be solved by developing novel program semantics and deriving abstractions conventionally. For over thirty years, higher-order program analysis has been sold as a hard problem. Its solutions have required ingenuity and complex models of approximation. We claim that this difficulty is due to premature focus on abstraction and propose a new approach that emphasizes semantics. Its simplicity enables new analyses that are beyond the current state of the art.
From Principles to Practice with Class in the First Year
Sam Tobin-Hochstadt,David Van Horn
Computer Science , 2013, DOI: 10.4204/EPTCS.136.1
Abstract: We propose a bridge between functional and object-oriented programming in the first-year curriculum. Traditionally, curricula that begin with functional programming transition to a professional, usually object-oriented, language in the second course. This transition poses obstacles for students, and often results in confusing the details of development environments, syntax, and libraries with the fundamentals of OO programming that the course should focus on. Instead, we propose to begin the second course with a sequence of custom teaching languages which minimize the transition from the first course, and allow students to focus on core ideas. After working through the sequence of pedagogical languages, we then transition to Java, at which point students have a strong command of the basic principles. We have 3 years of experience with this course, with notable success.
Ophthalmodynamometry for ICP prediction and pilot test on Mt. Everest
Henry W Querfurth, Philip Lieberman, Steve Arms, Steve Mundell, Michael Bennett, Craig van Horne
BMC Neurology , 2010, DOI: 10.1186/1471-2377-10-106
Abstract: 1) Validate and calibrate an advanced, portable vODM instrument on intensive patients with raised intracranial pressure and 2) make pilot, non-invasive ICP estimations of normal subjects at increasing altitudes.The vODM was calibrated against actual ICP in 12 neurosurgical patients, most affected with acute hydrocephalus and monitored using ventriculostomy/pressure transducers. The operator was blinded to the transducer read-out. A clinical field test was then conducted on a variable data set of 42 volunteer trekkers and climbers scaling Mt. Everest, Nepal. Mean ICPs were estimated at several altitudes on the ascent both across and within subjects.Portable vODM measurements increased directly and linearly with ICP resulting in good predictability (r = 0.85). We also found that estimated ICP increases normally with altitude (10 ± 3 mm Hg; sea level to 20 ± 2 mm Hg; 6553 m) and that AMS symptoms did not correlate with raised ICP.vODM technology has potential to reliably estimate absolute ICP and is portable. Physiologic increases in ICP and mild-mod AMS are separate responses to high altitude, possibly reflecting swelling and vasoactive instability, respectively.Several methods for non-invasive measurement of ICP have been described but none have come to clinical use. They include i) tympanic membrane displacement (TMD) [1], ii) ultrasonic detection of skull pulsations [2], iii) transcranial Doppler (TCD) ultrasonography of the middle cerebral artery (MCA) [3-9], iv) visualization of retinal venous pulsations [10], v) optic nerve sheath diameter (ONSD) measurement by ultrasound [11], vi) cochlear-microphonics [12], and vii) blood flow pulsations [13]. Small signal size and baseline variability among healthy individuals, due in part to anatomic variances affecting CSF communication between compartments, have limited the application of some of these methods (e.g. TCD [14,15]; TMD [1]: and ONSD [16]. Moreover, they cannot provide absolute ICP prediction.Central retinal v
Page 1 /35288
Display every page Item


Home
Copyright © 2008-2017 Open Access Library. All rights reserved.