86,598 research outputs found
Engaging the Digitally Engaged Student: Comparing Technology-Mediated Communication Use and Effects on Student Learning
The role of communication technologies in the learning process is both a dynamic and complex issue. Yet, we know surprisingly little about how the use of specific communication technologies may influence classroom performance, key learning outcomes, and other measures of course satisfaction. The research reported here attempts to add to our knowledge about the role of communication in the technology enhanced classroom (TEC) education and in technology-enhanced online (TEO) education through a direct comparison of two courses. Our findings indicate additional support for âThe No Significant Difference Phenomenon.â Furthermore, we found that prior experiences lead students to gravitate towards their preferred learning environments, and that basic website elements are required in any learning environment to enhance student outcomes. Finally, we found that when used appropriately, the benefits of communication technology use in education outweigh many of the drawbacks
SPEEDY: An Eclipse-based IDE for invariant inference
SPEEDY is an Eclipse-based IDE for exploring techniques that assist users in
generating correct specifications, particularly including invariant inference
algorithms and tools. It integrates with several back-end tools that propose
invariants and will incorporate published algorithms for inferring object and
loop invariants. Though the architecture is language-neutral, current SPEEDY
targets C programs. Building and using SPEEDY has confirmed earlier experience
demonstrating the importance of showing and editing specifications in the IDEs
that developers customarily use, automating as much of the production and
checking of specifications as possible, and showing counterexample information
directly in the source code editing environment. As in previous work,
automation of specification checking is provided by back-end SMT solvers.
However, reducing the effort demanded of software developers using formal
methods also requires a GUI design that guides users in writing, reviewing, and
correcting specifications and automates specification inference.Comment: In Proceedings F-IDE 2014, arXiv:1404.578
Recommended from our members
Larval fish in the vicinity of aquaculture intakes
Texas Parks and Wildlife Department has recently proposed that all facilities pumping water from Texas estuaries be fitted with 0.5 mm screening to prevent larval fish mortality at these facilities. Data on larval fish distributions in Texas estuaries is quite limited (Holt et al. 1990). This report presents the results of a pilot study to examine the impact on larval fishes and shrimps of pumping water into mariculture facilities at three sites on the central and southern Texas Coast. The primary objective of this study was to determine the species composition, density and size structure of ichthyoplankton populations in the vicinity of the intake structures of the three mariculture facilities during their spring and fall pumping seasons. A secondary objective was to determine what organisms were actually being pumped through the system.Final report for contract IAC(90-91)111.5Prepared for Texas A&M Sea Grant, Texas General Land OfficeFebruary 1991Marine Scienc
Conceptual techniques for reducing parasitic current gain of lateral pnp transistors
Two techniques have been conceptually proposed as possible means of reducing parasitic beta in lateral p-n-p transistors. One method uses a degenerate substrate and high concentration P /plus/ guard-ring diffusion, another places the base contact at the center of an annular ring structure
Getting on the E List: E-Mail Use in a Community of Service Provider
This case examines how a community of organizations providing service to people experiencing homelessness made use of an electronic mail list. Current economic conditions have encouraged organizations in various sectorsâincluding nonprofitsâthat might normally compete for scarce resources to collaborate with one another to increase their chances of survival. One set of tools likely to be of value in such relationships includes various online discussion technologies. An examination of this communityâs email list use over a three-year period suggests a somewhat complex picture regarding technology use. More specifically, some issues both constrain and enable use. Additionally, seemingly basic and minimal uses of the list provided not only the greatest functionality for the users, but also led to several unanticipated consequences for those involved
Rich environments for active learning: a definition
Rich Environments for Active Learning, or REALs, are comprehensive instructional systems that evolve from and are consistent with constructivist philosophies and theories. To embody a constructivist view of learning, REALs: promote study and investigation within authentic contexts; encourage the growth of student responsibility, initiative, decision making, and intentional learning; cultivate collaboration among students and teachers; utilize dynamic, interdisciplinary, generative learning activities that promote higher-order thinking processes to help students develop rich and complex knowledge structures; and assess student progress in content and learning-to-learn within authentic contexts using realistic tasks and performances. REALs provide learning activities that engage students in a continuous collaborative process of building and reshaping understanding as a natural consequence of their experiences and interactions within learning environments that authentically reflect the world around them. In this way, REALs are a response to educational practices that promote the development of inert knowledge, such as conventional teacher-to-student knowledge-transfer activities. In this article, we describe and organize the shared elements of REALs, including the theoretical foundations and instructional strategies to provide a common ground for discussion. We compare existing assumptions underlying education with new assumptions that promote problem-solving and higher-level thinking. Next, we examine the theoretical foundation that supports these new assumptions. Finally, we describe how REALs promote these new assumptions within a constructivist framework, defining each REAL attribute and providing supporting examples of REAL strategies in action
Halogenation of microcapsule walls
Procedure for halogenation of confining walls of both gelatin and gelatin-phenolic resin capsules is similar to that used for microencapsulation. Ten percent halogen content renders capsule wall nonburning; any higher content enhances flame-retardant properties of selected internal phase material. Halogenation decreases permeability of wall material to encapsulated materials
Quantum signatures of breather-breather interactions
The spectrum of the Quantum Discrete Nonlinear Schr\"odinger equation on a
periodic 1D lattice shows some interesting detailed band structure which may be
interpreted as the quantum signature of a two-breather interaction in the
classical case. We show that this fine structure can be interpreted using
degenerate perturbation theory.Comment: 4 pages, 4 fig
Embryo futures and stem cell research: The management of informed uncertainty
This article is available open access and is distributed under a Creative Commons license (http://creativecommons.org/licenses/by/3.0/). Copyright @ 2011 The Authors.In the social worlds of assisted conception and stem cell science, uncertainties proliferate and particular framings of the future may be highly strategic. In this article we explore meanings and articulations of the future using data from our study of ethical and social issues implicated by the donation of embryos to human embryonic stem cell research in three linked assisted conception units and stem cell laboratories in the UK. Framings of the future in this field inform the professional management of uncertainty and we explore some of the tensions this involves in practice. The bifurcation of choices for donating embryos into accepting informed uncertainty or not donating at all was identified through the research process of interviews and ethics discussion groups. Professional staff accounts in this study contained moral orientations that valued ideas such as engendering patient trust by offering full information, the sense of collective ownership of the National Heath Service and publicly funded science and ideas for how donors might be able to give restricted consent as a third option.The Wellcome Trus
- âŠ