Physical Sciences and Mathematics Commons^™

Improving After-The-Fact Tracing And Mapping: Supporting Software Quality Predictions, Jane Huffman Hayes, Alex Dekhtyar, Senthil Sundaram

Computer Science and Software Engineering

The software engineering industry undertakes many activities that require generating and using mappings. Companies develop knowledge bases to capture corporate expertise and possibly proprietary information. Software developers build traceability matrices to demonstrate that their designs satisfy the requirements. Proposal managers map customers' statements of work to individual sections of companies' proposals to prove compliance. Systems engineers authoring interface specifications record design rationales as they make relevant decisions. We developed an approach to tracing and mapping that aims to use fully automated information retrieval techniques, and we implemented our approach in a tool called RETRO (requirements tracing on target).

The Archway Project: Architecture For Research In Computing For Humanities Through Research, Teaching, And Learning, Kevin Kiernan, Jerzy W. Jaromczyk, Alex Dekhtyar, Dorothy Carr Porter, Kenneth Hawley, Sandeep Bodapati, Ionut E. Iacob

Computer Science and Software Engineering

An unusual alliance called the ARCHway Project is developing an Edition Production Technology (EPT), a technological infrastructure for collaborative research, teaching, and learning between computer scientists and specialists in Old English. Our goal is to identify and solve problems of mutual importance in building image-based electronic editions of significant cultural materials. The EPT will allow us to implement and integrate both new and already available software applications, to construct a digital library of previously unedited Old English manuscripts as a testbed for our solutions, and to distribute the digital library to the public. This paper introduces some of the tools …

Performance Of Binary-Encounter-Bethe (Beb) Theory For Electron-Impact Ionization Cross Sections Of Molecules Containing Heavy Elements (Z > 10), Gregory E. Scott, Karl K. Irikura

Chemistry and Biochemistry

The binary-encounter-Bethe (BEB) theory developed by Kim and coworkers has been successful for computing electron-impact ionization cross sections of many molecules. However, some recent publications have stated that BEB theory performs poorly for molecules that contain heavier elements such as chlorine and sulfur. We have found that the BEB calculations in those publications were performed incorrectly. When performed correctly, BEB predictions are as good for heavy-element molecules as for light-element molecules. We recommended recently that an alternative, less-confusing procedure be used for molecules that contain heavier elements. The alternative procedure, based upon effective core potentials (ECPs), does not require explicit …

On Improving Local Website Search Using Web Server Traffic Logs: A Preliminary Report, Qing Cui, Alex Dekhtyar

Computer Science and Software Engineering

In this paper we give a preliminary report on our study of the use of web server traffic logs to improve local search. Web server traffic logs are, typically, private to individual websites and as such – are unavailable to traditional web search engines conducting searches across multiple web sites. However, they can be used to augment search performed by a local search engine, restricted to a single site. Web server traffic logs, which we will refer to as simply logs throughout this paper, contain information on traffic patterns on a web site. By using this information, instead of pure …

Humans In The Traceability Loop: Can’T Live With ’Em, Can’T Live Without ’Em, Jane Huffman Hayes, Alex Dekhtyar

Computer Science and Software Engineering

The human analyst is required as an active participant in the traceability process. Work to date has focused on automated methods that generate traceability information. There is a need for study of what the analysts do with traceability information as well as a study of how they make decisions.

Incident Energy Dependence Of PT Correlations At Relativistic Energies, J. Adams, M.M. Aggarwal, Z. Ahammed, J. Amonett, B.D. Anderson, D. Arkhipkin, G.S. Averichev, S.K. Badyal, Y. Bai, J. Balewski, O. Barannikova, L.S. Barnby, J. Baudot, S. Bekele, V.V. Belaga, A. Bellingeri-Laurikainen, R. Bellwied, J. Berger, B.I. Bezverkhny, S. Bharadwaj, A. Bhasin, A.K. Bhati, V.S. Bhatia, H. Bichsel, J. Bielcik, J. Bielcikova, A. Billmeier, L.C. Bland, C.O. Blyth, B.E. Bonner, M. Botje, A. Boucham, J. Bouchet, A.V. Brandin, A. Bravar, M. Bystersky, R.V. Cadman, X.Z. Cai, H. Caines, M. Calderón De La Barca Sánchez, J. Castillo, O. Catu, D. Cebra, Z. Chajecki, P. Chaloupka, S. Chattopadhyay, H.F. Chen, Y. Chen, J. Cheng, M. Cherney, A. Chikanian, W. Christie, J.P. Coffin, T.M. Cormier, J.G. Cramer, H.J. Crawford, D. Das, S. Das, M. Daugherity, M.M. De Moura, T.G. Dedovich, A.A. Derevschikov, L. Didenko, T. Dietel, S.M. Dogra, W.J. Dong, X. Dong, J.E. Draper, F. Du, A.K. Dubey, V.B. Dunin, J.C. Dunlop, M.R. Dutta Mazumdar, V. Eckardt, W.R. Edwards, L.G. Efimov, V. Emelianov, J. Engelage, G. Eppley, B. Erazmus, M. Estienne, P. Fachini, J. Faivre, R. Fatemi, J. Fedorisin, K. Filimonov, P. Filip, E. Finch, V. Fine, Y. Fisyak, J. Fu, C.A. Gagliardi, L. Gaillard, J. Gans, M.S. Ganti, F. Geurts, V. Ghazikhanian, P. Ghosh, J.E. Gonzalez, H. Gos, O. Grachov, O. Grebenyuk, D. Grosnick, S.M. Guertin, Y. Guo, A. Gupta, T.D. Gutierrez, T.J. Hallman, A. Hamed, D. Hardtke, J.W. Harris, M. Heinz, T.W. Henry, S. Hepplemann, B. Hippolyte, A. Hirsch, E. Hjort, G.W. Hoffmann, H.Z. Huang, S.L. Huang, E.W. Hughes, T.J. Humanic, G. Igo, A. Ishihara, P. Jacobs, W.W. Jacobs, M. Jedynak, H. Jiang, P.G. Jones, E.G. Judd, S. Kabana, K. Kang, M. Kaplan, D. Keane, A. Kechechyan, V.Yu. Khodyrev, J. Kiryluk, A. Kisiel, E.M. Kislov, J. Klay, S.R. Klein, D.D. Koetke, T. Kollegger, M. Kopytine, L. Kotchenda, K.L. Kowalik, M. Kramer, P. Kravtsov, V.I. Kravtsov, K. Krueger, C. Kuhn, A.I. Kulikov, A. Kumar, R. Kh. Kutuev, A.A. Kuznetsov, M.A.C. Lamont, J.M. Landgraf, S. Lange, F. Laue, J. Lauret, A. Lebedev, R. Lednicky, S. Lehocka, M.J. Levine, C. Li, Q. Li, Y. Li, G. Lin, S.J. Lindenbaum, M.A. Lisa, F. Liu, H. Liu, L. Liu, Q.J. Liu, Z. Liu, T. Ljubicic, W.J. Llope, H. Long, R.S. Longacre, M. Lopez-Noriega, W.A. Love, Y. Lu, T. Ludlam, D. Lynn, G.L. Ma, J.G. Ma, Y.G. Ma, D. Magestro, S. Mahajan, D.P. Mahapatra, R. Majka, L.K. Mangotra, R. Manweiler, S. Margetis, C. Markert, L. Martin, J.N. Marx, H.S. Matis, Yu.A. Matulenko, C.J. Mcclain, T.S. Mcshane, F. Meissner, Yu. Melnick, A. Meschanin, M.L. Miller, N.G. Minaev, C. Mironov, A. Mischke, D.K. Mishra, J. Mitchell, B. Mohanty, L. Molnar, C.F. Moore, D.A. Morozov, M.G. Munhoz, B.K. Nandi, S.K. Nayak, T.K. Nayak, J.M. Nelson, P.K. Netrakanti, V.A. Nikitin, L.V. Nogach, S.B. Nurushev, G. Odyniec, A. Ogawa, V. Okorokov, M. Oldenburg, D. Olson, S.K. Pal, Y. Panebratsev, S.Y. Panitkin, A.I. Pavlinov, T. Pawlak, T. Peitzmann, V. Perevoztchikov, C. Perkins, W. Peryt, V.A. Petrov, S.C. Phatak, R. Picha, M. Planinic, J. Pluta, N. Porile, J. Porter, A.M. Poskanzer, M. Potekhin, E. Potrebenikova, B.V.K.S. Potukuchi, D. Prindle, C. Pruneau, J. Putschke, G. Rakness, R. Raniwala, S. Raniwala, O. Ravel, R.L. Ray, S.V. Razin, D. Reichhold, J.G. Reid, J. Reinnarth, G. Renault, F Retiere, A. Ridiger, H.G. Ritter, J.B. Roberts, O.V. Rogachevskiy, J.L. Romero, A. Rose, C. Roy, L. Ruan, M.J. Russcher, R. Sahoo, I. Sakrejda, S. Salur, J. Sandweiss, M. Sarsour, I. Savin, P.S. Sazhin, J. Schambach, R.P. Scharenberg, N. Schmitz, K. Schweda, J. Seger, P. Seyboth, E. Shahaliev, M. Shao, W. Shao, M. Sharma, W.Q. Shen, K.E. Shestermanov, S.S. Shimanskiy, E. Sichtermann, F. Simon, R.N. Singaraju, N. Smirnov, R. Snellings, G. Sood, P. Sorensen, J. Sowinski, J. Speltz, H.M. Spinka, B. Srivastava, A. Stadnik, T.D.S. Stanislaus, R. Stock, A. Stolpovsky, M. Strikhanov, B. Stringfellow, A.A.P. Suaide, E. Sugarbaker, C. Suire, M. Sumbera, B. Surrow, M. Swanger, T.J.M. Symons, A. Szanto De Toledo, A. Tai, J. Takahashi, A.H. Tang, T. Tarnowsky, D. Thein, J.H. Thomas, S. Timoshenko, M. Tokarev, S. Trentalange, R.E. Tribble, O.D. Tsai, J. Ulery, T. Ullrich, D.G. Underwood, G. Van Buren, M. Van Leeuwen, A.M. Vander Molen, R. Varma, I.M. Vasilevski, A.N. Vasiliev, R. Vernet, S.E. Vigdor, Y.P. Viyogi, S. Vokal, S.A. Voloshin, W.T. Waggoner, F. Wang, G. Wang, G. Wang, X.L. Wang, Y. Wang, Y. Wang, Z.M. Wang, H. Ward, J.W. Watson, J.C. Webb, G.D. Westfall, A. Wetzler, C. A. Whitten Jr., H. Wieman, S.W. Wissink, R. Witt, J. Wood, J. Wu, N. Xu, Z. Xu, Z.Z. Xu, E. Yamamoto, P. Yepes, V.I. Yurevich, I. Zborovsky, H. Zhang, W.M. Zhang, Y. Zhang, Z.P. Zhang, R. Zoulkarneev, Y. Zoulkarneeva, A.N. Zubarev

Physics

We present results for two-particle transverse momentum correlations, ⟨Δp_t,iΔp_t,j⟩, as a function of event centrality for Au+Au collisions at √s_NN=20, 62, 130, and 200 GeV at the BNL Relativistic Heavy Ion Collider. We observe correlations decreasing with centrality that are similar at all four incident energies. The correlations multiplied by the multiplicity density increase with incident energy, and the centrality dependence may show evidence of processes such as thermalization, jet production, or the saturation of transverse flow. The square root of the correlations divided by the event-wise average transverse momentum per event shows little …

Incident Energy Dependence Of PT Correlations At Relativistic Energies, Star Collaboration, Thomas D. Gutierrez

Physics

We present results for two-particle transverse momentum correlations, ⟨Δp_t,iΔp_t,j⟩, as a function of event centrality for Au+Au collisions at √s_NN=20, 62, 130, and 200 GeV at the BNL Relativistic Heavy Ion Collider. We observe correlations decreasing with centrality that are similar at all four incident energies. The correlations multiplied by the multiplicity density increase with incident energy, and the centrality dependence may show evidence of processes such as thermalization, jet production, or the saturation of transverse flow. The square root of the correlations divided by the event-wise average transverse momentum per event shows little …

Results From Cuoricino Experiment And Prospects For Cuore, M Pedretti, R Ardito, C Arnaboldi, D. R. Artusa, F. T. Avignone Iii, M. Balata, I Bandac, M Barucci, J.W. Beeman, F Bellini, C Brofferio, C Bucci, S Capelli, F. Capozzi, L Carbone, S Cebrian, M Clemenza, C Cosmelli, O Cremonesi, R. J. Creswick, I Dafinei, A. De Waard, M Diemoz, M. Dolinski, H. A. Farach, F Ferroni, E Fiorini, C Gargiulo, E Guardincerri, A Giuliani, P Gorla, T.D. Gutierrez, E.E. Haller, Ig Irastorza, E. Longo, G Maier, R. Maruyama, S Morganti, S Nisi, C Nones, E.B. Norman, A Nucciotti, E. Olivieri, P Ottonello, M Pallavicini, V Palmieri, M Pavan, G Pessina, S Pirro, E Previtali, B. Quiter, L Risegari, C Rosenfeld, S Sangiorgio, M Sisti, A.R. Smith, L Torres, G. Ventura, N. Xu, L Zanotti

Physics

Cuoricino is a taking data bolometric experiment searching for neutrinoless double beta decay (0νDBD) of ¹³⁰Te. The detector consists of an array of large cubic TeO₂ crystal bolometers. Cuoricino works at about 10 mK in the Gran Sasso Underground Laboratory. Good energy resolutions were obtained (2.1 keV at 911 keV and 3.9 keV at 2615 keV at best). The counting rate in the region of 0νDBD is 0.18±0.02 c/keV/kg/y. The limit for the 0νDBD half lifetime is 2.0 × 10²⁴ years at the 90% of C.L. This results correspond to a limit for the effective neutrino mass …

Software Architecture Improvement Through Test-Driven Development, David S. Janzen

Computer Science and Software Engineering

This research involves empirical software engineering studies applied in academic and professional settings to assess the influence of test-driven development on software quality. Particular focus is given to internal software design quality. Pedagogical implications are also examined. Initial results and the study protocol and plans will be presented.

Distributions Of Charged Hadrons Associated With High Transverse Momentum Particles In Pp And Au+Au Collisions At √SNn = 200 Gev, J. Adams, C. Adler, M.M. Aggarwal, Z. Ahammed, J. Amonett, B.D. Anderson, D. Arkhipkin, G.S. Averichev, S.K. Badyal, J. Balewski, O. Barannikova, L.S. Barnby, J. Baudot, S. Bekele, V.V. Belaga, R. Bellwied, J. Berger, B.I. Bezverkhny, S. Bhardwaj, A.K. Bhati, H. Bichsel, A. Billmeier, L.C. Bland, C.O. Blyth, B.E. Bonner, M. Botje, A. Boucham, A.V. Brandin, A. Bravar, R.V. Cadman, X.Z. Cai, H. Caines, M. Calderón De La Barca Sánchez, J. Carroll, J. Castillo, D. Cebra, P. Chaloupka, S. Chattopadhyay, H.F. Chen, Y. Chen, S.P. Chernenko, M. Cherney, A. Chikanian, W. Christie, J.P. Coffin, T.M. Cormier, J.G. Cramer, H.J. Crawford, D. Das, S. Das, A.A. Derevschikov, L. Didenko, T. Dietel, W.J. Dong, X. Dong, J.E. Draper, F. Du, A.K. Dubey, V.B. Dunin, J.C. Dunlop, M.R. Dutta Mazumdar, V. Eckardt, L.G. Efimov, V. Emelianov, J. Engelage, G. Eppley, B. Erazmus, M. Estienne, P. Fachini, V. Faine, J. Faivre, R. Fatemi, K. Filimonov, P. Filip, E. Finch, Y. Fisyak, D. Flierl, K.J. Foley, J. Fu, C.A. Gagliardi, N. Gagunashvili, J. Gans, M.S. Ganti, L. Gaudichet, F. Geurts, V. Ghazikhanian, P. Ghosh, J.E. Gonzalez, O. Grachov, O. Grebenyuk, S. Gronstal, D. Grosnick, S.M. Guertin, A. Gupta, T.D. Gutierrez, T.J. Hallman, A. Hamed, D. Hardtke, J.W. Harris, M. Heinz, T.W. Henry, S. Hepplemann, T. Herston, B. Hippolyte, A. Hirsch, E. Hjort, G.W. Hoffmann, M. Horsley, H.Z. Huang, S.L. Huang, E. Hughes, T.J. Humanic, G. Igo, A. Ishihara, P. Jacobs, W.W. Jacobs, M. Janik, H. Jiang, I. Johnson, P.G. Jones, E.G. Judd, S. Kabana, M. Kaplan, D. Keane, V.Yu. Khodyrev, J. Kiryluk, A. Kisiel, J. Klay, S.R. Klein, A. Klyachko, D.D. Koetke, T. Kollegger, M. Kopytine, L. Kotchenda, A.D. Kovalenko, M. Kramer, P. Kravtsov, V.I. Kravtsov, K. Krueger, C. Kuhn, A.I. Kulikov, A. Kumar, G.J. Kunde, C.L. Kunz, R. Kh. Kutuev, A.A. Kuznetsov, M.A.C. Lamont, J.M. Landgraf, S. Lange, B. Lasiuk, F. Laue, J. Lauret, A. Lebedev, R. Lednicky, M.J. Levine, C. Li, Q. Li, S.J. Lindenbaum, M.A. Lisa, F. Liu, L. Liu, Z. Liu, Q.J. Liu, T. Ljubicic, W.J. Llope, H. Long, R.S. Longacre, M. Lopez-Noriega, W.A. Love, T. Ludlam, D. Lynn, J. Ma, Y.G. Ma, D. Magestro, S. Mahajan, L.K. Mangotra, D.P. Mahapatra, R. Majka, R. Manweiler, S. Margetis, C. Markert, L. Martin, J.N. Marx, H.S. Matis, Yu.A. Matulenko, C.J. Mcclain, T.S. Mcshane, F. Meissner, Yu. Melnick, A. Meschanin, M.L. Miller, Z. Milosevich, N.G. Minaev, C. Mironov, A. Mischke, D.K. Mishra, J. Mitchell, B. Mohanty, L. Molnar, C.F. Moore, M.J. Mora-Corral, D.A. Morozov, V. Morozov, M.M. De Moura, M.G. Munhoz, B.K. Nandi, S.K. Nayak, T.K. Nayak, J.M. Nelson, P.K. Netrakanti, V.A. Nikitin, L.V. Nogach, B. Norman, S.B. Nurushev, G. Odyniec, A. Ogawa, V. Okorokov, M. Oldenburg, D. Olson, G. Paic, S.K. Pal, Y. Panebratsev, S.Y. Panitkin, A.I. Pavlinov, T. Pawlak, T. Peitzmann, V. Perevoztchikov, C. Perkins, W. Peryt, V.A. Petrov, S.C. Phatak, R. Picha, M. Planinic, J. Pluta, N. Porile, J. Porter, A.M. Poskanzer, M. Potekhin, E. Potrebenikova, B.V.K.S. Potukuchi, D. Prindle, C. Pruneau, J. Putschke, G. Rai, G. Rakness, R. Raniwala, S. Raniwala, O. Ravel, R.L. Ray, S.V. Razin, D. Reichhold, J.G. Reid, G. Renault, F. Retiere, A. Ridiger, H.G. Ritter, J.B. Roberts, O.V. Rogachevskiy, J.L. Romero, A. Rose, C. Roy, L. Ruan, R. Sahoo, I. Sakrejda, S. Salur, J. Sandweiss, I. Savin, J. Schambach, R.P. Scharenberg, N. Schmitz, L.S. Schroeder, K. Schweda, J. Seger, P. Seyboth, E. Shahaliev, M. Shao, W. Shao, M. Sharma, K.E. Shestermanov, S.S. Shimanskiy, R.N. Singaraju, F. Simon, G. Skoro, N. Smirnov, R. Snellings, G. Sood, P. Sorensen, J. Sowinski, J. Speltz, H.M. Spinka, B. Srivastava, T.D.S. Stanislaus, R. Stock, A. Stolpovsky, M. Strikhanov, B. Stringfellow, C. Struck, A.A.P. Suaide, E. Sugarbaker, C. Suire, M. Šumbera, B. Surrow, T.J.M. Symons, A. Szanto De Toledo, P. Szarwas, A. Tai, J. Takahashi, A.H. Tang, D. Thein, J.H. Thomas, S. Timoshenko, M. Tokarev, M.B. Tonjes, T.A. Trainor, S. Trentalange, R.E. Tribble, O.D. Tsai, T. Ullrich, D.G. Underwood, G. Van Buren, A.M. Vander Molen, R. Varma, I.M. Vasilevski, A.N. Vasiliev, R. Vernet, S.E. Vigdor, Y.P. Viyogi, S.A. Voloshin, M. Vznuzdaev, W.T. Waggoner, F. Wang, G. Wang, X.L. Wang, Y. Wang, Z.M Wang, H. Ward, J.W. Watson, J.C. Webb, R. Wells, G.D. Westfall, C. A. Whitten Jr., H. Wieman, R. Willson, S.W. Wissink, R. Witt, J. Wood, J. Wu, N. Xu, Z. Xu, Z.Z. Xu, E. Yamamoto, P. Yepes, V.I. Yurevich, B. Yuting, Y.V. Zanevski, H. Zhang, W.M. Zhang, Z.P. Zhang, Z.P. Zhaomin, Z.P. Zizong, P.A. Żołnierczuk, R. Zoulkarneev, Y. Zoulkarneeva, A.N. Zubarev

Physics

Charged hadrons in 0.15⊥<4  GeV/c associated with particles of p^trig_⊥>4  GeV/c are reconstructed in pp and Au+Au collisions at √s_NN=200  GeV. The associated multiplicity and p⊥magnitude sum are found to increase from pp to central Au+Au collisions. The associated p_⊥distributions, while similar in shape on the nearside, are significantly softened on the awayside in central Au+Au relative to pp and not much harder than that of inclusive hadrons. The results, consistent with jet quenching, suggest that the awayside fragments approach equilibration with the medium traversed.

A Framework For Comparing Requirements Tracing Experiments, Jane Huffman Hayes, Alex Dekhtyar

Computer Science and Software Engineering

The building of traceability matrices by those other than the original developers is an arduous, error prone, prolonged, and labor intensive task. Thus, after-the-fact requirements tracing is a process where the right kind of automation can definitely assist an analyst. Recently, a number of researchers have studied the application of various methods, often based on information retrieval after-the-fact tracing. The studies are diverse enough to warrant a means for comparing them easily as well as for determining areas that require further investigation. To that end, we present here an experimental framework for evaluating requirements tracing and traceability studies. Common methods, …

Image Registration With Auto-Mapped Control Volumes, Dana Paquin, Eduard Schreibmann, Lei Xing

Mathematics

Abstract of paper presented at the 47th Annual Meeting of the American Society for Therapeutic Radiology and Oncology.

Light Distributions In Front Of A Circular Aperture, Evaluated Using Vector Diffraction Theory, Shekhar Guha, Glen D. Gillen

Physics

For a plane wave (having wavelength λ) incident on a circular aperture (radius a), the transverse distribution of light intensity beyond the aperture is expressed in terms of a dimensionless parameter, p1=a/λ, for various distances close to the aperture, using the vector Rayleigh-Sommerfeld diffraction theory.

Simplification Of The Stratton-Chu Vector Diffraction Integrals And Application To Light Propagation Through Curved Surfaces, Shekhar Guha, Glen D. Gillen

Physics

The Stratton-Chu vector diffraction integrals are expressed in dimensionless forms and then numerically evaluated to describe light propagation originating from a plane and a curved surface without invoking paraxial approximation

Regularity Of Digits And Significant Digits Of Random Variables, Theodore P. Hill, Klaus Schürger

Research Scholars in Residence

A random variable X is digit-regular (respectively, significant-digit-regular) if the probability that every block of k given consecutive digits (significant digits) appears in the b-adic expansion of X approaches b^-k as the block moves to the right, for all integers b>1 and k≥1. Necessary and sufficient conditions are established, in terms of convergence of Fourier coefficients, and in terms of convergence in distribution modulo 1, for a random variable to be digit-regular (significant-digit-regular), and basic relationships between digit-regularity and various classical classes of probability measures and normal numbers are given. These results provide a theoretical basis for analyses …

Calculations Of Light Field Distributions Within And Beyond Wavelength-Scale Apertures, Glen D. Gillen, Shekhar Guha

Physics

No abstract provided.

Continuations From Generalized Stack Inspection, Greg Pettyjohn, John Clements, Joe Marshall, Shriram Krishnamurthi, Matthias Felleisen

Computer Science and Software Engineering

Implementing first-class continuations can pose a challenge if the target machine makes no provisions for accessing and re-installing the run-time stack. In this paper, we present a novel translation that overcomes this problem. In the first half of the paper, we introduce a theoretical model that shows how to eliminate the capture and the use of first-class continuations in the presence of a generalized stack inspection mechanism. The second half of the paper explains how to translate this model into practice in two different contexts. First, we reformulate the servlet interaction language in the PLT Web server, which heavily relies …

A Facile Synthesis Of (Tert-Alkoxy)Amines, Hasan Palandoken, Chris M. Bocian, Michelle R. Mccombs, Michael H. Nantz

Chemistry and Biochemistry

Tertiary alcohols react with stoichiometric BF₃·Et₂O and N-hydroxyphthalimide to yield N-alkoxyphthalimides. Subsequent hydrazinolyses afford the title compounds.

Laziness Without All The Hard Work: Combining Lazy And Strict Languages For Teaching, Eli Barzilay, John Clements

Computer Science and Software Engineering

Students have trouble understanding the difference between lazy and strict programming. It is difficult to compare the two directly, because popular strict languages and popular lazy languages differ in their syntax, in their type systems, and in other ways unrelated to the lazy/strict evaluation discipline. While teaching programming languages courses, we have discovered that an extension to PLT Scheme allows the system to accommodate both lazy and strict evaluation in the same system. Moreover, the extension is simple and transparent. Finally, the simple nature of the extension means that the resulting system provides a rich environment for both lazy and …

Multistrange Baryon Elliptic Flow In Au+Au Collisions At √SNn=200 Gev, Star Collaboration, T.D. Gutierrez

Physics

We report on the first measurement of elliptic flow ν₂(p_T) of multistrange baryons Ξ⁻+Ξ⁺ and Ω⁻+Ω⁺ in heavy-ion collisions. In minimum-bias Au+Au collisions at √s_NN=200  GeV, a significant amount of elliptic flow, comparable to other nonstrange baryons, is observed for multistrange baryons which are expected to be particularly sensitive to the dynamics of the partonic stage of heavy-ion collisions. The p_T dependence of ν₂ of the multistrange baryons confirms the number of constituent quark scaling previously observed for lighter hadrons. These results support the idea that …

Tracing Requirements To Defect Reports: An Application Of Information Retrieval Techniques, Suresh Yadla, Jane Huffman Hayes, Alex Dekhtyar

Computer Science and Software Engineering

To support debugging, maintenance, verification and validation (V&V) and/or independent V&V (IV&V), it is necessary to understand the relationship between defect reports and their related artifacts. For example, one cannot correct a code-related defect report without being able to find the code that is affected. Information retrieval (IR) techniques have been used effectively to trace textual artifacts to each other. This has generally been applied to the problem of dynamically generating a trace between artifacts in the software document hierarchy after the fact (after development has proceeded to at least the next lifecycle phase). The same techniques can also be …

Revisiting The Semantics Of Interval Probabilistic Logic Programs, Alex Dekhtyar, Michael I. Dekhtyar

Computer Science and Software Engineering

Two approaches to logic programming with probabilities emerged over time: bayesian reasoning and probabilistic satisfiability (PSAT). The attractiveness of the former is in tying the logic programming research to the body of work on Bayes networks. The second approach ties computationally reasoning about probabilities with linear programming, and allows for natural expression of imprecision in probabilities via the use of intervals.
In this paper we construct precise semantics for one PSAT-based formalism for reasoning with inteval probabilities, probabilistic logic programs (p-programs), orignally considered by Ng and Subrahmanian. We show that the probability ranges of atoms and formulas in p-programs cannot …

Presidential Report To The Congress: Net Benefit Analysis Of Us/Soviet Arms Control, David W. Hafemeister

Physics

A net assessment of the benefits/losses of arms control treaties in terms of military significance was required in response to the START Resolution of Ratification. The response by the Executive Branch belabored smaller issues, avoided accomplishments and didn't carry out the net assessment.

Test-Driven Development:Concepts, Taxonomy,And Future Direction, David S. Janzen, Hossein Saiedian

Computer Science and Software Engineering

Test-driven development creates software in very short iterations with minimal upfront design. Poised for widespread adoption, TDD has become the focus of an increasing number of researchers and developers.

Experimental And Theoretical Challenges In The Search For The Quark–Gluon Plasma: The Star Collaboration's Critical Assessment Of The Evidence From Rhic Collisions, J. Adams, M.M. Aggarwal, Z. Ahammed, J. Amonett, B.D. Anderson, D. Arkhipkin, G.S. Averichev, S.K. Badyal, Y. Bai, J. Balewski, O. Barannikova, L.S. Barnby, J. Baudot, S. Bekele, V.V. Belaga, A. Bellingeri-Laurikainen, R. Bellwied, J. Berger, B.I. Bezverkhny, S. Bharadwaj, A. Bhasin, A.K. Bhati, V.S. Bhatia, H. Bichsel, J. Bielcik, J. Bielcikova, A. Billmeier, L.C. Bland, C.O. Blyth, B.E. Bonner, M. Botje, A. Boucham, J. Bouchet, A.V. Brandin, A. Bravar, M. Bystersky, R.V. Cadman, X.Z. Cai, H. Caines, M. Calderón De La Barca Sánchez, J. Castillo, O. Catu, D. Cebra, Z. Chajecki, P. Chaloupka, S. Chattopadhyay, H.F. Chen, Y. Chen, J. Cheng, M. Cherney, A. Chikanian, W. Christie, J.P. Coffin, T.M. Cormier, J.G. Cramer, H.J. Crawford, D. Das, S. Das, M.M. De Moura, T.G. Dedovich, A.A. Derevschikov, L. Didenko, T. Dietel, S.M. Dogra, W.J. Dong, X. Dong, J.E. Draper, F. Du, A.K. Dubey, V.B. Dunin, J.C. Dunlop, M.R. Dutta Mazumdar, V. Eckardt, W.R. Edwards, L.G. Efimov, V. Emelianov, J. Engelage, G. Eppley, B. Erazmus, M. Estienne, P. Fachini, J. Faivre, R. Fatemi, J. Fedorisin, K. Filimonov, P. Filip, E. Finch, V. Fine, Y. Fisyak, J. Fu, C.A. Gagliardi, L. Gaillard, J. Gans, M.S. Ganti, F. Geurts, V. Ghazikhanian, P. Ghosh, J.E. Gonzalez, H. Gos, O. Grachov, O. Grebenyuk, D. Grosnick, S.M. Guertin, Y. Guo, A. Gupta, T.D. Gutierrez, T.J. Hallman, A. Hamed, D. Hardtke, J.W. Harris, M. Heinz, T.W. Henry, S. Hepplemann, B. Hippolyte, A. Hirsch, E. Hjort, G.W. Hoffmann, H.Z. Huang, S.L. Huang, E.W. Hughes, T.J. Humanic, G. Igo, A. Ishihara, P. Jacobs, W.W. Jacobs, M. Jedynak, H. Jiang, P.G. Jones, E.G. Judd, S. Kabana, K. Kang, M. Kaplan, D. Keane, A. Kechechyan, V.Yu. Khodyrev, J. Kiryluk, A. Kisiel, E.M. Kislov, J. Klay, S.R. Klein, D.D. Koetke, T. Kollegger, M. Kopytine, L. Kotchenda, M. Kramer, P. Kravtsov, V.I. Kravtsov, K. Krueger, C. Kuhn, A.I. Kulikov, A. Kumar, R. Kh. Kutuev, A.A. Kuznetsov, M.A.C. Lamont, J.M. Landgraf, S. Lange, F. Laue, J. Lauret, A. Lebedev, R. Lednicky, S. Lehocka, M.J. Levine, C. Li, Q. Li, Y. Li, G. Lin, S.J. Lindenbaum, M.A. Lisa, F. Liu, H. Liu, L. Liu, Q.J. Liu, Z. Liu, T. Ljubicic, W.J. Llope, H. Long, R.S. Longacre, M. Lopez-Noriega, W.A. Love, Y. Lu, T. Ludlam, D. Lynn, G.L. Ma, J.G. Ma, Y.G. Ma, D. Magestro, S. Mahajan, D.P. Mahapatra, R. Majka, L.K. Mangotra, R. Manweiler, S. Margetis, C. Markert, L. Martin, J.N. Marx, H.S. Matis, Yu.A. Matulenko, C.J. Mcclain, T.S. Mcshane, F. Meissner, Yu. Melnick, A. Meschanin, M.L. Miller, N.G. Minaev, C. Mironov, A. Mischke, D.K. Mishra, J. Mitchell, B. Mohanty, L. Molnar, C.F. Moore, D.A. Morozov, M.G. Munhoz, B.K. Nandi, S.K. Nayak, T.K. Nayak, J.M. Nelson, P.K. Netrakanti, V.A. Nikitin, L.V. Nogach, S.B. Nurushev, G. Odyniec, A. Ogawa, V. Okorokov, M. Oldenburg, D. Olson, S.K. Pal, Y. Panebratsev, S.Y. Panitkin, A.I. Pavlinov, T. Pawlak, T. Peitzmann, V. Perevoztchikov, C. Perkins, W. Peryt, V.A. Petrov, S.C. Phatak, R. Picha, M. Planinic, J. Pluta, N. Porile, J. Porter, A.M. Poskanzer, M. Potekhin, E. Potrebenikova, B.V.K.S. Potukuchi, D. Prindle, C. Pruneau, J. Putschke, G. Rakness, R. Raniwala, S. Raniwala, O. Ravel, R.L. Ray, S.V. Razin, D. Reichhold, J.G. Reid, J. Reinnarth, G. Renault, F. Retiere, A. Ridiger, H.G. Ritter, J.B. Roberts, O.V. Rogachevskiy, J.L. Romero, A. Rose, C. Roy, L. Ruan, M.J. Russcher, R. Sahoo, I. Sakrejda, S. Salur, J. Sandweiss, M. Sarsour, I. Savin, P.S. Sazhin, J. Schambach, R.P. Scharenberg, N. Schmitz, J. Seger, P. Seyboth, E. Shahaliev, M. Shao, W. Shao, M. Sharma, W.Q. Shen, K.E. Shestermanov, S.S. Shimanskiy, E. Sichtermann, F. Simon, R.N. Singaraju, N. Smirnov, R. Snellings, G. Sood, P. Sorensen, J. Sowinski, J. Speltz, H.M. Spinka, B. Srivastava, A. Stadnik, T.D.S. Stanislaus, R. Stock, A. Stolpovsky, M. Strikhanov, B. Stringfellow, A.A.P. Suaide, E. Sugarbaker, C. Suire, M. Sumbera, B. Surrow, M. Swanger, T.J.M. Symons, A. Szanto De Toledo, A. Tai, J. Takahashi, A.H. Tang, T. Tarnowsky, D. Thein, J.H. Thomas, S. Timoshenko, M. Tokarev, S. Trentalange, R.E. Tribble, O.D. Tsai, J. Ulery, T. Ullrich, D.G. Underwood, G. Van Buren, M. Van Leeuwen, A.M. Vander Molen, R. Varma, I.M. Vasilevski, A.N. Vasiliev, R. Vernet, S.E. Vigdor, Y.P. Viyogi, S. Vokal, S.A. Voloshin, W.T. Waggoner, F. Wang, G. Wang, G. Wang, X.L. Wang, Y. Wang, Y. Wang, Z.M. Wang, H. Ward, J.W. Watson, J.C. Webb, G.D. Westfall, A. Wetzler, C. A. Whitten Jr., H. Wieman, S.W. Wissink, R. Witt, J. Wood, J. Wu, N. Xu, Z. Xu, Z.Z. Xu, E. Yamamoto, P. Yepes, V.I. Yurevich, I. Zborovsky, H. Zhang, W.M. Zhang, Y. Zhang, Z.P. Zhang, R. Zoulkarneev, Y. Zoulkarneeva, A.N. Zubarev

Physics

We review the most important experimental results from the first three years of nucleus–nucleus collision studies at RHIC, with emphasis on results from the STAR experiment, and we assess their interpretation and comparison to theory. The theory-experiment comparison suggests that central Au + Au collisions at RHIC produce dense, rapidly thermalizing matter characterized by: (1) initial energy densities above the critical values predicted by lattice QCD for establishment of a quark–gluon plasma (QGP); (2) nearly ideal fluid flow, marked by constituent interactions of very short mean free path, established most probably at a stage preceding hadron formation; and (3) opacity …

Multiplicity And Pseudorapidity Distributions Of Photons In Au+Au Collisions At √SNn=62.4 Gev, Star Collaboration, T.D. Gutierrez

Physics

We present the first measurement of pseudorapidity distribution of photons in the region 2.3≤η≤3.7for different centralities in Au+Au collisions at √s_NN=62.4  GeV. We find that the photon yield scales with the number of participating nucleons at all collision centralities studied. The pseudorapidity distribution of photons, dominated by π⁰ decays, has been compared to those of charged pions, photons, and inclusive charged particles from heavy-ion and nucleon-nucleon collisions at various energies. The photon production has been shown to be consistent with the energy and centrality independent limiting fragmentation scenario.

Goods Movement Security: An Information Technology Problem, Jens G. Pohl

Collaborative Agent Design (CAD) Research Center

This paper discusses the security problems associated with the movement of goods across international in-land borders and at ocean ports. The author proposes an information technology solution approach that is based on the profiling of international shipments. The collection of data describing the end-to-end movement of a shipment from the initial acquisition transactions, throughout the various transshipment stages, to the final delivery, allows intelligent software to assist customs and homeland security officials to determine the risks associated with the shipment long before it reaches the inspection point. The technical basis and architecture of the SecureOrigins™ software system is described. Designed …

Automatic Source Attribution Of Text: A Neural Networks Approach, Foaad Khosmood, Franz J. Kurfess

Computer Science and Software Engineering

Recent advances in automatic authorship attribution have been promising. Relatively new techniques such as N-gram analysis have shown important improvements in accuracy [2]. Much of the work in this area does remain in the realm of statistics best suited for human assistance rather than autonomous attribution [6]. While there have been attempts at using neural networks in the area in the past, they have been extremely limited and problem-specific [7]. This paper addresses the latter points by demonstrating a practical and truly autonomous attribution process using neural networks. Furthermore, we use a word-frequency classification technique to demonstrate the feasibility of …

Searching Multi-Hierarchical Xml Documents: The Case Of Fragmentation, Alex Dekhtyar, Ionut E. Iacob, Srikanth Methuku

Computer Science and Software Engineering

To properly encode properties of textual documents using XML, multiple markup hierarchies must be used, often leading to conflicting markup in encodings. Text Encoding Initiative (TEI) Guidelines [1] recognize this problem and suggest a number of ways to incorporate multiple hierarchies in a single well-formed XML document. In this paper, we present a framework for processing XPath queries over multi-hierarchical XML documents represented using fragmentation, one of the TEI-suggested techniques. We define the semantics of XPath over DOM trees of fragmented XML, extend the path expression language to cover overlap in markup, and describe FragXPath, our implementation of the proposed …

The Clearance Of Protein-Bound Solutes By Hemofiltration And Hemodiafiltration, Timothy W. Meyer, Jason L. Walther, Maria Enrica Pagtalunan, Andres W. Martinez, Ali Torkamani, Patrick D. Fong, Natalie S. Recht, Channing R. Robertson, Thomas H. Hostetter

Chemistry and Biochemistry

Background. Hemofiltration in the form of continuous venovenous hemofiltration (CVVH) is increasingly used to treat acute renal failure. Compared to hemodialysis, hemofiltration provides high clearances for large solutes but its effect on protein-bound solutes has been largely ignored.

Methods. Standard clinical systems were used to remove test solutes from a reservoir containing artificial plasma. Clearances of the protein-bound solutes phenol red (C_PR) and indican (C_IN) were compared to clearances of urea (C_UREA) during hemofiltration and hemodiafiltration. A mathematical model was developed to predict clearances from values for plasma flow Q_p, …