Media Convergence: Creating Content, Questioning Relationships

The development, dissemination, and proliferation of multimedia and media convergent texts raise a number of pressing questions for literacy scholars in general and compositionists in particular. What kinds of literacy practices are students developing through their use and composition of multimodal and new media texts? What genres are used in the creation of such texts, and why? Are there particular genres that are favored? How are older genres remediated or recast through media convergence? What research methodology challenges are posed when attempting to study multimodal and new media texts? How might compositionists use media convergence to teach students about academic literacies, about research, about the changing nature of “writing?” What might media convergence look like in the future? Perhaps most immediately, the phrase itself—“media convergence”—begs a question: what, exactly, is converging? This special issue of Computers and Composition on “Media Convergence” poses answers—sometimes tentative, sometimes provocative—to these questions.     

A high-voltage cardiac stimulator for field shocks of a whole heart in a bath

Defibrillators are a critical tool for treating heart disease; however, the mechanisms by which they halt fibrillation are still not fully understood and are the subject of ongoing research. Clinical defibrillators do not provide the precise control of shock timing, duration, and voltage or other features needed for detailed scientific inquiry, and there are few, if any, commercially available units designed for research applications. For this reason, we have developed a high-voltage, programmable, capacitive-discharge stimulator optimized to deliver defibrillation shocks with precise timing and voltage control to an isolated animal heart, either in air or in a bath. This stimulator is capable of delivering voltages of up to 500 V and energies of nearly 100 J with timing accuracy of a few microseconds and with rise and fall times of 5 micros or less and is controlled only by two external timing pulses and a control computer that sets the stimulation parameters via a LABVIEW interface. Most importantly, the stimulator has circuits to protect the high-voltage circuitry and the operator from programming and input-output errors. This device has been tested and used successfully in field shock experiments on rabbit hearts as well as other protocols requiring high voltage.     

A generalized Petri net modeling approach for the control of re-entrant flow semiconductor wafer fabrication

Re-entrant flow manufacturing lines, such as occur in semiconductor wafer fabrication, are characterized by a product routing that consists of multiple visits to a workstation or group of workstations during the manufacturing process. In this paper, a modeling approach is based on the use of generalized Petri nets for a re-entrant flow manufacturing line is presented. Specifically, three Petri net models representing a re-entrant flow line with three work centers and six machines are modeled. How these models may be used to represent a variety of queuing disciplines and work release policies is discussed.     

Similarity-guided streamline placement with error evaluation

Most streamline generation algorithms either provide a particular density of streamlines across the domain or explicitly detect features, such as critical points, and follow customized rules to emphasize those features. However, the former generally includes many redundant streamlines, and the latter requires Boolean decisions on which points are features (and may thus suffer from robustness problems for real-world data). We take a new approach to adaptive streamline placement for steady vector fields in 2D and 3D. We define a metric for local similarity among streamlines and use this metric to grow streamlines from a dense set of candidate seed points. The metric considers not only Euclidean distance, but also a simple statistical measure of shape and directional similarity. Without explicit feature detection, our method produces streamlines that naturally accentuate regions of geometric interest. In conjunction with this method, we also propose a quantitative error metric for evaluating a streamline representation based on how well it preserves the information from the original vector field. This error metric reconstructs a vector field from points on the streamline representation and computes a difference of the reconstruction from the original vector field.     

The murine plasma protein response to polymicrobial intra-abdominal sepsis

Protein biomarkers in the peripheral blood could potentially be used as early indicators of sepsis and a means to stratify patients for clinical trials. Although individual molecular markers have been proposed for sepsis, none has clinical utility. The global changes in plasma proteins over the clinical course of sepsis have not been characterized using proteomic methods. We used cecal ligation and puncture to induce polymicrobial sepsis in mice and generated plasma protein profiles using 2‐D DIGE of plasma from septic mice and surgical controls. Replicate cohorts (n = 3) of 4–7 animals each were used to identify 62 gel features that changed significantly (Student's t‐test, p<0.05). We identified a suite of plasma proteins that describe uniquely the host plasma response to polymicrobial septic insult. Principal components analysis of protein abundance showed that ～90% of the variability between samples was due to sepsis. In addition to canonical acute phase proteins, we identified proteins that are associated with metabolic changes (e.g. α‐2 HS glycoprotein and zinc α‐2 glycoprotein) consistent with the pathophysiology of sepsis. The panel of sepsis‐associated molecular markers identified herein may prove useful in the diagnosis and categorization of sepsis.     

Simplifying the weft hierarchy

We give simple, self-contained proofs of the basic hardness results for the classes W[t]$W[t]$ of the weft hierarchy. We extend these proofs to higher levels of the hierarchy and illuminate the distinctions among its classes. The anti-monotone collapse at W[1,s]$W[1,s]$ and the normalization of weft-t$t$ formulas arise as by-products of the proofs.     

Modelling of the lignin peroxidase LIII of Phlebia radiata: use of a sequence template generated from a 3-D structure

A model of the lignin peroxidase LIII of Phlebia radiata wasconstructed on the basis of the structure of cytochrome c peroxidase(CCP). Because of the low percentage of amino acid identitybetween the CCP and the lignin peroxidase LIII of Phlebia radiata,alignment of the sequences was based on the generation of atemplate from a knowledge of the 3-D structure of CCP and consensussequences of lignin peroxidases. This approach gave an alignmentin which all the insertions in the lignin peroxidase were placedat loop regions of CCP, with a 21.1% identity for these twoproteins. The model was constructed using this alignment andthe computer program COMPOSER, which assembles the model asa series of rigid fragments derived from CCP and other proteins.Manual intervention was required for some of the longer loopregions. The -helices forming the structural framework, andespecially the haem environment of CCP, are conserved in theLIII model and the core is close packed without holes. A possiblesite of the substrate oxidation at the haem edge of LIII isdiscussed.     

Proving total correctness of nondeterministic programs in infinitary logic

Summary It is shown how the weakest precondition approach to proving total correctness of nondeterministic programs can be formalized in infinitary logic. The weakest precondition technique is extended to hierarchically structured programs by adding a new primitive statement for operational abstraction, the nondeterministic assignment statement, to the guarded commands of Dijkstra. The infinitary logic L ₁ is shown to be strong enough to express the weakest preconditions for Dijkstra's guarded commands, but too weak for the extended guarded commands. Two possible solutions are considered: going to the essentially stronger infinitary logic L ₁₁ and restricting the power of the nondeterministic assignment statement in a way which allows the weakest preconditions to be expressed in L ₁.     

On reducing the number of states in a PDA

A transformation is presented which converts any pushdown automaton (PDA)M ₀ withn ₀ states andp ₀ stack symbols into an equivalent PDAM withn states and n ₀ /n² p ₀ stack symbols into an equivalent ofn, 1n ₀. This transformation preserves realtime behavior but not derterminism. The transformation is proved to be the best possible one in the following sense: for each choice of the parametersn ₀ + 1 stack symbols for any desired value realtime PDAM ₀ such that any equivalent PDAM (whether realtime or not) havingn states must have at least (n ₀ /n)² p₀ stack symbols. Furthermore, the loss of deterministic behavior cannot be avoided, since for each choice ofn ₀ andp ₀, there is a deterministic PDAM ₀ such that no equivalent PDAM with fewer states can be deterministic.This research was supported in part by the National Science Foundation under Grants MCS76-10076 and MCS76-10076A01.