text:
Office of Scientific and Technical Information
Data:23a5f770-a24a-4d4e-a49d-af9aded1b621 | Open Energy Information
Open Energy Info (EERE)
f770-a24a-4d4e-a49d-af9aded1b621 f770-a24a-4d4e-a49d-af9aded1b621 No revision has been approved for this page. It is currently under review by our subject matter experts. Jump to: navigation, search Loading... 1. Basic Information 2. Demand 3. Energy << Previous 1 2 3 Next >> Basic Information Utility name: Oregon Trail El Cons Coop, Inc Effective date: 2011/10/01 End date if known: Rate name: Large Commercial, Schedule G2 Sector: Commercial Description: Available in OTEC service territory for non-residential service requiring more than 50 kVA and less than 1,000 kVA of transformer capacity, subject to policies as established by the Board of Directors. Minimum monthly bill: Shall be the monthly delivery charge plus $1.00/kVA of installed transformer capacity and applicable taxes. Demand and energy charges shall be an offset to the installed transformer capacity charges.
NATO : Network Architecture Tensile Organization : mending Berlin through public interface
E-Print Network (OSTI)
NATO: Network Architecture; Tensile Organization is a project that seeks to create a lighter public forum where architecture mediates a space of metaphor, yet looks towards a hopeful future, in a place laden with the ...
Vassilev, Vasilena (Vasilena R.)
Europe's Defense Policy and NATO's Strategic Concept A new Atlantic partnership for the 21st century ?
Organization NC0 noncommissioned officer NPT Non-Proliferation Treaty OCS Officer Candidate School OPD independently targetable reentry vehicle MIT Massachusetts Institute of Technology NATO North Atlantic Treaty
Staged symbolic execution
Science Conference Proceedings (OSTI)
Recent advances in constraint solving technology and raw computation power have led to a substantial increase in the effectiveness of techniques based on symbolic execution for systematic bug finding. However, scaling symbolic execution remains a challenging ...
Junaid Haroon Siddiqui; Sarfraz Khurshid
A Symbol of Excellence
Energy.gov (U.S. Department of Energy (DOE)) Indexed Site
Symbol of Excellence Symbol of Excellence A Symbol of Excellence Every Challenge Home offers a cost-effective, high performance package of energy savings, comfort, health, and durability unparalleled in today's marketplace. Existing Home A Symbol of Excellence This label indicates relative performance of this DOE Challenge Home to existing homes (built between 1990 and 2010) and ENERGY STAR qualified homes. Actual performance may vary. DOE Challenge Home ENERGY STAR Home KEY QUALITY BUILT HEALTHFUL ENVIRONMENT DURABILITY ADVANCED TECHNOLOGY ULTRA EFFICIENT COMFORT PLUS The Future of Housing-Today Only a select group of the top builders in the country meet the extraordinary levels of excellence and quality specified by U.S. Department of Energy guidelines. LEARN MORE AT: buildings.energy.gov/challenge
Simulations and symbolic explanations
The following paper defines the problem of writing symbolic explanation facilities for computer simulations. Our approach towards this problem draws from an existing body of research on a related problem, that of writing an explanation facility for an ...
D H Helman; J L Bennett; A W Foster
Symbolic Message Sequence Charts
Message sequence charts (MSCs) are a widely used visual formalism for scenario-based specifications of distributed reactive systems. In its conventional usage, an MSC captures an interaction snippet between concrete objects in the system. This ... Keywords: Message sequence charts, symbolic execution, test generation, unified modeling language (UML)
Abhik Roychoudhury; Ankit Goel; Bikram Sengupta
Symbol recognition using spatial relations
In this paper, we present a method for symbol recognition based on the spatio-structural description of a 'vocabulary' of extracted visual elementary parts. It is applied to symbols in electrical wiring diagrams. The method consists of first identifying ... Keywords: Attributed relational graph, Spatial relations, Symbol recognition, Vocabulary
K. C. Santosh; Bart Lamiroy; Laurent Wendling
NATO Simulation Pressures Students to Forge a Response to Threatening International Incidents
that they are not going to have a blank check to do Georgia 2.0." ODD student Timothy Gorde, in his role as NATO secretary. This is the South Caucasus region of Eurasia. rrests' in Turkey Turn Up the Heat A high-priorityintelligence report in Azerbaijan through Tblisi in Georgia and to the Mediterranean port of Ceyhan in Turkey. A statement from
What the is a Symbol?
The notion of a `symbol' plays an important role in the disciplines of Philosophy, Psychology, Computer Science, and Cognitive Science. However, there is comparatively little agreement on how this notion is to be understood, either between disciplines, ... Keywords: Complexity, Interpretation, Subsymbols, Symbols, Tokens
Istvan S. Berkeley
Parallel symbolic computation in ACE
We present an overview of the ACE system, a sound and complete parallel implementation of Prolog that exploits parallelism transparently (i.e., without any user intervention) from AI programs and symbolic applications coded in Prolog. ACE ...
Enrico Pontelli; Gopal Gupta
Higher-order symbolic execution via contracts
We present a new approach to automated reasoning about higher-order programs by extending symbolic execution to use behavioral contracts as symbolic values, thus enabling symbolic approximation of higher-order behavior. Our approach is based on the idea ... Keywords: higher-order contracts, reduction semantics, symbolic execution
Sam Tobin-Hochstadt; David Van Horn
Proceedings of the second NATO-CCMS information meeting on dry hot rock geothermal energy
DOE Green Energy (OSTI)
A summary is presented of the second and last NATO-CCMS (North Atlantic Treaty Organization--Committee on Challenges of Modern Society) Geothermal Pilot Study Information Meeting on Dry Hot Rock Geothermal Energy. Only summaries of the formal presentations are included. Overviews of the Energy Research and Development Administration (ERDA) and the U.S. Geological Survey (USGS) geothermal projects are included with emphasis on the Los Alamos Scientific Laboratory (LASL) Hot Dry Rock Geothermal Energy Development Project. Reports of developments in nine foreign countries and on geothermal projects in US universities are also presented.
Mortensen, J.J. (comp.)
Symbolic Script Programming for Java
Computer algebra in Java is a promising field of development. It has not yet reached an industrial strength, in part because of a lack of good user interfaces. Using a general purpose scripting language can bring a natural mathematical notation, akin to the one of specialized interfaces included in most computer algebra systems. We present such an interface for Java computer algebra libraries, using scripts available in the JSR 223 framework. We introduce the concept of `symbolic programming' and show its usefulness by prototypes of symbolic polynomials and polynomial rings.
Jolly, Raphael
On symbolic analysis of cryptographic protocols
The universally composable symbolic analysis (UCSA) framework layers Dolev-Yao style symbolic analysis on top of the universally composable (UC) secure framework to construct computationally sound proofs of cryptographic ...
Patil, Akshay (Akshay R.)
Symbolic Test Selection Based on Approximate Analysis
Symbolic Test Selection Based on Approximate Analysis Bertrand Jeannet, Thierry J´eron, Vlad firstname.lastname@example.com Abstract. This paper addresses the problem of generating symbolic test cases for testing the conformance. The challenge we consider is the selection of test cases according to a test purpose, which is here a set
Paris-Sud XI, Université de
Linear obfuscation to combat symbolic execution
Trigger-based code (malicious in many cases, but not necessarily) only executes when specific inputs are received. Symbolic execution has been one of the most powerful techniques in discovering such malicious code and analyzing the trigger condition. ... Keywords: malware analysis, software obfuscation, symbolic execution
Zhi Wang; Jiang Ming; Chunfu Jia; Debin Gao
CORAL: solving complex constraints for symbolic pathfinder
Symbolic execution is a powerful automated technique for generating test cases. Its goal is to achieve high coverage of software. One major obstacle in adopting the technique in practice is its inability to handle complex mathematical constraints. To ...
Matheus Souza; Mateus Borges; Marcelo d'Amorim; Corina S. P?s?reanu
Mathematics for Chemistry with Symbolic Computation - CECM
... as mentioned above. Download Mathematics for Chemistry with Symbolic Computation version 4.0, February 12th, 2013, for Maple 16 as a 6.7 MB zip file.
Parsing speech repair without specialized grammar symbols
This paper describes a parsing model for speech with repairs that makes a clear separation between linguistically meaningful symbols in the grammar and operations specific to speech repair in the operation of the parser. This system builds a model of ...
Tim Miller; Luan Nguyen; William Schuler
Symbolic Analysis of Nonlinear Analog Circuits
A new method is presented to model symbolically strongly nonlinear circuits, characterized by Piece-Wise Linear (PWL) functions. The method follows the idea of Bokhoven and Leenaerts, and formulates the problem as a linear complementarity problem (LCP). ...
Alicia Manthe; Zhao Li; C.-J. Richard Shi; Kartikeya Mayaram
A Unified Symbolic Evaluation Framework for Parallelizing Compilers
Abstract�The quality of many optimizations and analyses of parallelizing compilers depends significantly on the ability to evaluate symbolic expressions and on the amount of information available about program variables at arbitrary program points. In ... Keywords: Symbolic analysis, symbolic evaluation, program context, data-flow and control-flow analysis, symbolic dependence testing, compiler optimizations, parallelizing compilers, parallel systems.
Thomas Fahringer; Bernhard Scholz
Symbolic Analysis of Imperative Programming Languages
Abstract. We present a generic symbolic analysis framework for imperative programming languages. Our framework is capable of computing all valid variable bindings of a program at given program points. This information is invaluable for domain-specific static program analyses such as memory leak detection, program parallelisation, and the detection of superfluous bound checks, variable aliases and task deadlocks. We employ path expression algebra to model the control flow information of programs. A homomorphism maps path expressions into the symbolic domain. At the center of the symbolic domain is a compact algebraic structure called supercontext. A supercontext contains the complete control and data flow analysis information valid at a given program point. Our approach to compute supercontexts is based purely on algebra and is fully automated. This novel representation of program semantics closes the gap between program analysis and computer algebra systems, which makes supercontexts an ideal intermediate representation for all domainspecific static program analyses. Our approach is more general than existing methods because it can derive solutions for arbitrary (even intra-loop) nodes of reducible and irreducible control flow graphs. We prove the correctness of our symbolic analysis method. Our experimental results show that the problem sizes arising from real-world applications such as the SPEC95 benchmark suite are tractable for our symbolic analysis framework. 1
Bernd Burgstaller; Bernhard Scholz; Johann Blieberger
Property:StockSymbol | Open Energy Information
StockSymbol StockSymbol Jump to: navigation, search This is a property of type String. Pages using the property "StockSymbol" Showing 25 pages using this property. (previous 25) (next 25) A A.O. Smith + AOS + AAON + AAON + Alterra Power + MGMXF + Ameresco, Inc. + AMRC + Applied Materials + AMAT + Archer Daniels Midland + ADM + Autodesk + ADSK + C China Integrated Energy + CBEH + E EEMAP, Inc. + N/A + EnerNOC + ENOC + Evergreen Solar, Inc. + ESLR + ExxonMobil + XOM + G General Electric + GE + Geothermal Resources Council + Geothermal Resources Council + Goodwill Instrument + TPE 2423 + GreenShift Corporation + GERS.OB + Gulfsands Petroleum + AIM:GPX + H Helix Wind Corp. + HLXW + I ICF International + NASDAQ:ICFI + J Johnson Controls + JCI + M Molycorp Inc. + MCP +
The history of NATO TNF policy: The role of studies, analysis and exercises conference proceedings. Volume 1, Introduction and summary
SciTech Connect
This conference was organized to study and analyze the role of simulation, analysis, modeling, and exercises in the history of NATO policy. The premise was not that the results of past studies will apply to future policy, but rather that understanding what influenced the decision process -- and how -- would be of value. The structure of the conference was built around discussion panels. The panels were augmented by a series of papers and presentations focusing on particular TNF events, issues, studies or exercise. The conference proceedings consist of three volumes. This volume, Volume 1, contains the conference introduction, agenda, biographical sketches of principal participants, and analytical summary of the presentations and discussion panels. Volume 2 contains a short introduction and the papers and presentations from the conference. Volume 3 contains selected papers by Brig. Gen. Robert C. Richardson III (Ret.).
Rinne, R.L. [ed.
The history of NATO TNF policy: The role of studies, analysis and exercises conference proceedings. Volume 2: Papers and presentations
This conference was organized to study and analyze the role of simulation, analysis, modeling, and exercises in the history of NATO policy. The premise was not that the results of past studies will apply to future policy, but rather that understanding what influenced the decision process -- and how -- would be of value. The structure of the conference was built around discussion panels. The panels were augmented by a series of papers and presentations focusing on particular TNF events, issues, studies, or exercises. The conference proceedings consist of three volumes. Volume 1 contains the conference introduction, agenda, biographical sketches of principal participants, and analytical summary of the presentations and panels. This volume contains a short introduction and the papers and presentations from the conference. Volume 3 contains selected papers by Brig. Gen. Robert C. Richardson III (Ret.). Individual papers in this volume were abstracted and indexed for the database.
Rinne, R.L.
Symbolic-numeric Sparse Interpolation of Multivariate ... - CECM
Sep 4, 2008 ... ficial Intelligence and Symbolic Computation: International Conference AISC 2000, pages 174?183, Heidelberg, Germany, 2001. Springer�...
Dynamic Probabilistic Risk Assessment (DPRA) methodologies generate enormous amounts of data for a very large number of simulations. The data contain temporal information of both the state variables of the simulator and the temporal status of specific systems/components. In order to measure system performances, limitations and resilience, such data need to be carefully analyzed with the objective of discovering the correlations between sequence/timing of events and system dynamics. A first approach toward discovering these correlations from data generated by DPRA methodologies has been performed by organizing scenarios into groups using classification or clustering based algorithms. The identification of the correlations between system dynamics and timing/sequencing of events is performed by observing the temporal distribution of these events in each group of scenarios. Instead of performing �a posteriori� analysis of these correlations, this paper shows how it is possible to identify the correlations implicitly by performing a symbolic conversion of both continuous (temporal profiles of simulator state variables) and discrete (status of systems and components) data. Symbolic conversion is performed for each simulation by properly quantizing both continuous and discrete data and then converting them as a series of symbols. After merging both series together, a temporal phrase is obtained. This phrase preserves duration, coincidence and sequence of both continuous and discrete data in a uniform and consistent manner. In this paper it is also shown that by using specific distance measures, it is still possible to post-process such symbolic data using clustering and classification techniques but in considerably less time since the memory needed to store the data is greatly reduced by the symbolic conversion.
Diego MAndelli; Tunc Aldemir; Alper Yilmaz; Curtis Smith
Grounded discovery of symbols as concept-language pairs
In human designer usage, symbols have a rich semantics, grounded on experience, which permits flexible usage - e.g. design ideation is improved by meanings triggered by contrastive words. In computational usage however, symbols are syntactic tokens whose ... Keywords: Chunking, Cognition in design, Design symbols, Language learning
Amitabha Mukerjee; Madan Mohan Dabbeeru
Risk Methodologies for Technological Legacies : Proceedings of the NATO Advanced Study Institute, Bourgas, Bulgaria from 2 to 11 May 2000
The Cold War Era left the major participants, the United States and the former Soviet Union (FSU), with large environmental legacies in terms of facility contamination and environmental degradation. Although the countries face similar issues from similar activities, important differences in waste management practices make the potential environmental and health risks of more immediate concern in the FSU and Eastern Europe. In the West, most nuclear and chemical waste is stored in known contained locations, while in the East much of the equivalent material is unconfined, contaminating the environment. The knowledge and experiences of the U.S. in these initial cleanup efforts are seen as important information in many North Atlantic Treaty Organization (NATO) Partner countries, where the environmental problems are more severe and the cleanup budgets more limited. An Advanced Study Institute (ASI) on ''Risk Assessment Activities for the Cold War Facilities and Environmental Legacies'' was held in Bourgas, Bulgaria, May 2-11, 2000. The objective of the ASI was to provide information to facilitate and enable decision-making activities affecting the environment and human populations in the NATO and Partner countries. Specifically, the ASI provided a forum to communicate the current status of risk analysis and management methodologies and their appropriate application. It addressed scientific approaches and application experiences from the initial U.S. risk assessment activities. This book is the product of the ASI. The power of the text lies in linking information on legacies with an integrated view of controlling the risk of those legacies. Risk can only be effectively controlled by proper balance of three central concepts: risk analysis, risk perception, and risk management. The editors were drawn together by the joint recognition that risk analysis methods had matured over the past 30 years in several fields, relatively independent of each other. It was time to integrate all these forms of risk analysis under one framework, identifying the reasons for the seemingly disparate approaches and the gains to be reaped by bringing them together. Part I of this book gives detailed information on the three central concepts and gives further definition to facility-centered and human-centered approaches to risk analysis and risk management. Part II of this book gives extensive information on the legacies, our perception of the risk associated with them, and, in some cases, tools for analyzing that risk. Part III of the book relies heavily on applications as a means of presenting detailed information on risk assessment programs and methodologies. Finally, Part IV provides details on future activities. Applications were selected for this text that illustrate the strengths and limitations of different risk methodologies for assessments of military and Cold War legacy facilities in NATO and Partner countries. The textbook shows how specific needs have been met by the various risk methodologies and stress the need for an integrated view that uses the various risk methodologies in a complementary rather than competitive manner.
Bley, Dennis C.; Droppo, James G.; Eremenko, Vitaly A.
Telescoping in the context of symbolic summation in Maple - CECM
Apr 27, 2004 ... Symbolic summation is a vast research area in computer algebra. ...... hypergeometric terms, and 51 others used for accurate summation.
E. Roanes-Lozano, editor, Artificial Intelligence and. Symbolic Computation: International Conference. AISC 2000, pages 174?183, Heidelberg, Germany,. 2001.
Symbolic analysis of analog circuits with hard nonlinearity
A new methodology is presented to solve a strongly nonlinear circuit, characterized by Piece-Wise Linear (PWL) functions, symbolically and explicitly in terms of its circuit parameters and is amenable to computer implementation. The method is based on ... Keywords: PWL, circuit nonlinearity, symbolic analysis
Alicia Manthe; Zhao Li; C.-J. Richard Shi
Multiple instances and symbolic variables in executable sequence charts
We extend live sequence charts (LSCs), a highly expressive variant of sequence diagrams, and provide the extension with an executable semantics. The extension involves support for instances that can bind to multiple objects and symbolic variables that ...
Rami Marelly; David Harel; Hillel Kugler
JBIG2 Symbol Dictionary Design Based on Minimum Spanning Trees
The JBIG2 standard is a very flexible bi-level image coding strategy based on pattern matching. The encoder collects a set of symbols in a dictionary and encodes a page by reference to the dictionary symbols. JBIG2 allows the encoder to view all symbols and choose a good set for the dictionary. In this paper, we examine the bit rate trade-off that arises in choosing different dictionary sizes. In particular, we propose a suboptimal dictionary design technique based on minimum spanning trees. This technique gives competitive compression ratios and allows us to specify the dictionary size almost arbitrarily, thus providing a way to study the bit rate trade-off problem in detail. Keywords: JBIG2, Text image compression, Symbol dictionary, Minimum spanning tree 1
Yan Ye; Pamela Cosman
The use of Phonetic and other Symbols in Dictionaries:
This Unicode Technical Note presents the result of a brief survey about the use of special symbols to represent phonetic and other information in dictionaries. The survey intends to document specific examples of typical usage, rather than provide a complete summary of existing practices. Many dictionaries use The International Phonetic Alphabet [IPA], which is fully described elsewhere. A few of the special symbols mentioned in this document are not encoded, but would have to be realized with special fonts or ligatures. Phonetic symbols Dictionaries use a number of different methods to indicate the pronunciation of terms. Some are based on IPA, others employ other symbols, in particular barred or ligated di- and trigraphs based on small Latin letters as well as the use of diacritics across two letters. While the systems are different, there is some common ground, and systems for use in monolingual English and monolingual German dictionaries may sometimes use the same symbol for the same sound. For this survey, several dictionaries were researched and their notational systems are compared here to each other and to the available characters in the Unicode standard. Characters that are readily available in Unicode are not separately discussed, as they make up the vast majority of characters in any of the systems investigated, however, in some cases, recent editions of the Unicode Standard have added some of the characters discussed here. The Unicode Consortium continues to add phonetic symbols and general symbols to the Unicode Standard, whenever they meet the criteria for character encoding. Phonetic symbols in widely used American dictionaries The following two excerpts (Sample 1 and 2) are from an American dictionary for college use, showing a variation of the phonetic transcription system for which the character U+1D7A LATIN SMALL LETTER TH WITH STRIKETHROUGH was added in Unicode 4.1. Instead of strikethrough�s, ligatures are used. Sample 1UTN #29
A Brief Survey; Asmus Freytag Ph. D
The history of NATO TNF policy: The role of studies, analysis and exercises conference proceedings. Volume 3: Papers by Gen. Robert C. Richardson III (Ret.)
This conference was organized to study and analyze the role of simulation, analysis, modeling, and exercises in the history of NATO policy. The premise was not that the results of past studies will apply to future policy, but rather that understanding what influenced the decision process-and how-would be of value. The structure of the conference was built around discussion panels. The panels were augmented by a series of papers and presentations focusing on particular TNF events, issues, studies, or exercises. The conference proceedings consist of three volumes. Volume 1 contains the conference introduction, agenda, biographical sketches of principal participants, and analytical summary of the presentations and discussion panels. Volume 2 contains a short introduction and the papers and presentations from the conference. This volume contains selected papers by Brig. Gen. Robert C. Richardson III (Ret.).
Table Definitions, Sources, and Explanatory Notes
Gasoline and Diesel Fuel Update (EIA)
Residual Fuel Imports by State Residual Fuel Imports by State Definitions Key Terms Definition Barrel A unit of volume equal to 42 U.S. gallons. Imports Receipts of crude oil and petroleum products into the 50 States and the District of Columbia from foreign countries, Puerto Rico, the Virgin Islands, and other U.S. possessions and territories. Petroleum Administration for Defense (PAD) Districts Geographic aggregations of the 50 States and the District of Columbia into five districts by the Petroleum Administration for Defense in 1950. These districts were originally defined during World War II for purposes of administering oil allocation. Description and maps of PAD Districts and Refining Districts. Residual Fuel Oil A general classification for the heavier oils, known as No. 5 and No. 6 fuel oils, that remain after the distillate fuel oils and lighter hydrocarbons are distilled away in refinery operations. It conforms to ASTM Specifications D396 and D975 and Federal Specification VV-F-815C. No. 5, a residual fuel oil of medium viscosity, is also known as Navy Special and is defined in Military Specification MIL-F-859E, including Amendment 2 (NATO Symbol F-770). It is used in steam-powered vessels in government service and inshore powerplants. No. 6 fuel oil includes Bunker C fuel oil and is used for the production of electric power, space heating, vessel bunkering, and various industrial purposes.
FDNC: decidable non-monotonic disjunctive logic programs with function symbols
Current Answer Set Programming systems are built on nonmonotonic logic programs without function symbols; as well-known, they lead to high undecidability in general. However, function symbols are highly desirable for various applications, which challenges ...
Mantas �imkus; Thomas Eiter
The Unit Symbol for the Logarithmic Scale of Radar Reflectivity Factors
This note argues that the proper symbol for the logarithmic unit of radar reflectivity factor is dBz. The basis for this contention lies in both customary engineering practice and the international standard for unit symbols.
Paul L. Smith
Symbolic identification for fault detection in aircraft gas turbine engines
Symbolic identification for fault detection in aircraft gas turbine engines S Chakraborty, S Sarkar and computationally inexpensive technique of component-level fault detection in aircraft gas-turbine engines identification, gas turbine engines, language-theoretic analysis 1 INTRODUCTION The propulsion system of modern
Ray, Asok
Mixing statistical and symbolic approaches for chemical names recognition
This paper investigates the problem of automatic chemical Term Recognition (TR) and proposes to tackle the problem by fusing Symbolic and statistical techniques. Unlike other solutions described in the literature, which only use complex and costly human ... Keywords: chemical informatics, term recognition, text mining
Florian Boudin; Juan Manuel Torres-Moreno; Marc El-B�ze
Symbolic Reduction for High-Speed Power System Simulation
High-speed simulations of power transmission systems, which often rely on solving nonlinear systems of equations, are an increasingly important tool for training, testing equipment, on-line control and situational awareness. Such simulations, however, ... Keywords: Code generation, power system simulation, real-time systems, sparse systems, symbolic and algebraic manipulation
William M. Siever; Daniel R. Tauritz; Ann Miller; Mariesa Crow; Bruce M. Mcmillin; Stanley Atcitty
Usage Of New Activation Function In Neuro-Symbolic Integration
New activation function is examined for its ability to accelerate the performance of doing logic programming in Hopfield network. This method has a higher capacity and upgrades the neuro symbolic integration. Computer simulations are carried out to validate the effectiveness of the new activation function. Empirical results obtained support our theory.
Sathasivam, Saratha [School of Mathematical Sciences, Universiti Sains Malaysia, 11800 USM, Penang (Malaysia)
Symbol Dictionary Design for the JBIG2 Standard
: The JBIG2 standard for lossy and lossless bi-level image coding is a very flexible encoding strategy based on pattern matching techniques. The encoder collects a set of symbols in a dictionary and encodes a page by reference to the dictionary symbols. JBIG2 allows the encoder to view all symbols and choose a good set for the dictionary. We propose a two-pass technique for choosing the dictionary entries, and discuss the trade-offs in bit allocation that these choices entail. The proposed dictionary design technique outperforms simpler dictionary formation techniques by up to 7-9% and 10-18% for lossless and lossy compression, respectively. In the lossy case, we further point out one way to significantly speed up the symbol bitmap compression procedure. 1 Introduction The technical specifications of JBIG2 have been established [1, 2]. It will be the first international standard that provides for both lossless and lossy compression of bi-level images. It is meant for both text and ha...
Yan Ye; Dirck Schilling; Pamela Cosman; Hyung Hwa Ko
A role of symbolic computations in beam physics
It is known that accelerator physics technology has made essential contributions to other branches of science and technology. Experiments realized on linear and circular accelerators have made remarkable discoveries about the basic nature of matter. ... Keywords: beam physics, code generation, lie algebraic methods, parallel and distributed computing, symbolic algebra
Serge N. Andrianov
Symbolic reachable set computation of piecewise affine hybrid automata and its application to
] = 1 if (vi vj) 2 E and a unique symbol i j otherwise. The set of strings S consist of fs1, s2, ..., sNg
Breitling, Rainer
Symbolic Dynamics in a Matching Labour Market Model
In this paper we apply the techniques of symbolic dynamics to the analysis of a labor market which shows large volatility in employment flows. In a recent paper, Bhattacharya and Bunzel \\cite{BB} have found that the discrete time version of the Pissarides-Mortensen matching model can easily lead to chaotic dynamics under standard sets of parameter values. To conclude about the existence of chaotic dynamics in the numerical examples presented in the paper, the Li-Yorke theorem or the Mitra sufficient condition were applied which seems questionable because they may lead to misleading conclusions. Moreover, in a more recent version of the paper, Bhattacharya and Bunzel \\cite{BB1} present new results in which chaos is completely removed from the dynamics of the model. Our paper explores the matching model so interestingly developed by the authors with the following objectives in mind: (i) to show that chaotic dynamics may still be present in the model for standard parameter values; (ii) to clarify some open questions raised by the authors in \\cite{BB}, by providing a rigorous proof of the existence of chaotic dynamics in the model through the computation of topological entropy in a symbolic dynamics setting.
Diana A. Mendes; Vivaldo M. Mendes; J. Sousa Ramos
Lean Blow-Out Prediction in Gas Turbine Combustors Using Symbolic Time Series Analysis
Lean Blow-Out Prediction in Gas Turbine Combustors Using Symbolic Time Series Analysis Achintya of lean blowout in gas turbine combustors based on symbolic analysis of time series data from optical. For the purpose of detecting lean blowout in gas turbine combustors, the state probability vector obtained
Automatic Generation of Symbolic Reliability Functions for Processor-Memory-Switch Structures
Calculation of the reliability of computer system architectures with built-in redundancy, such as multiprocessors, is gaining in importance. The task of computing the reliability function for arbitrary Processor-Memory-Switch (PMS) interconnection structures, ... Keywords: symbolic hard-failure reliability functions, Automatic generation of symbolic reliability functions, processor-memory-switch (PMS) structures, reliability computation program
V. Kini; D. P. Siewiorek
Effects of multi-symbols on enhancing virtual reality based collaborative task
Applying virtual reality (VR) technologies to enhance learning becomes more and more popular. This research intends to investigate how multi-symbolic representations could help users being aware of collaborative context and partner's needs to enhance ... Keywords: collaboration, haptics, multi-symbols, virtual reality
Shih-Ching Yeh; Wu-Yuin Hwang; Jing-Liang Wang; Yuin-Ren Chen
CONCURRENC RTG. SYMBOL GC-34 Ms. Mary Beth Brado
Office of Legacy Management (LM)
MAY 2 9 1980 MAY 2 9 1980 CONCURRENC RTG. SYMBOL GC-34 Ms. Mary Beth Brado "*N'W Town of Lewiston * i..,! 1375 Ridge Road ^r'8 Lewiston, New York 14092 RTG.SYuBOL Dear Ms. Brado: .- ,l13. INirIA Lss iQ. W'Mott This is in response to your letter of January 29, 1980, and subsequent ..... ,. telephone discussions with irr. Brazley of my office, concerning land use 5/ /8 restrictions on the 1,511 acres declared surplus in the Towns of Lewiston RGSYMOL. and Porter, New York. In regard to your question of land use restriction and its application to the surplus land in the Lewiston area, our Office of General Counsel deter- DATE'- mined that the Department of Energy does not have the authority to restrict any land use or development of the property in question. Such authority nrTG SYMOL
NE-20 ACTION: SSDP Project Charter Revision CONCURRENCES RTG SYMBOL
0 0 ACTION: SSDP Project Charter Revision CONCURRENCES RTG SYMBOL James W. Vaughan, Jr. N-923 Acting Assistant Secretary . for Nuclear Energy Murphi Attached for your signature is a revised Project Charter for the 1/ 86 Shippingport Station Decommissioning Project (SSDP). Since our original M determination in July that there was a need to revise the SSDP Charter, we N K23 have been in discussion with the Richland Operations Field Office (RL). INe Significant differences in management philosophy surfaced between RL and DeLaney Headquarters that required discussions up to and including the RL Manager DAE/86 and myself. I now feel that the revised Charter reflects a mutually acceptable working arrangement between the appropriate organizations. The RTGSYMBOL general roles and responsibilities defined in this Charter will facilitate
NLE Websites -- All DOE Office Websites (Extended Search)
5 5 STANDARD SYMBOLS FOR UNITS OF MEASURE ____________________________________________________________________________________ AIP IEEE CDR APS ____________________________________________________________________________________ ampere A A A A ampere hour Ah Ah A·h A·h ampere turn At A A At angstrom A · A · Å atmosphere, std atm atm atm atm atomic mass unit amu u amu atomic percent at.% - at.% atomic unit a.u. - a.u. atomic weight at.wt. - at.wt. bar bar bar bar bar British Thermal Unit Btu Btu Btu calorie (cgs) cal cal cal centimeter cm cm cm cm coulomb C C C C cubic centimeter cm 3 cm 3 cm 3 cycles per second Hz, cps, Hz, c/s Hz Hz c/s, c/sec cubic meter m 3 m 3 decibel dB dB dB dB decibel above 1 mW dBm - dBm degree (plane angle) ...°, deg ...° ...°,deg ...°, deg degree Celsius °C °C °C °C degree Fahrenheit °F °F °F °F electromagnetic unit
The SmartPhone: Interactive Group Audio with Complementary Symbolic Control
The SmartPhone provides a medium for distributed interactive group dialog by complementing an audio channel with a symbolic control channel. The control channel conveys information used for speaker identification, feedback, and turn taking. While these ...
Tim Moors
Traditional research on political parties suggests that there are certain routes that each party should take to secure support for their policies. Republicans have found success by campaigning on symbols and more abstract issues. Democrats have found success by picking up issues that reflect the people?s values. These have been the traditional norms in social politics, but I believe it would be interesting to see how valid these truths are presently. The traditional models for political parties are worth examining today because of new factors that are more relevant than ever before. Some of these elements include terrorism, national security, and Iraq. There is reason to believe that the models for success have shifted over time because of the mentioned factors. There are a limited number of issues that one can expect people to be attentive to. Add the elements brought about after 9/11, and now it is difficult to balance social issues with foreign policy. Recent politics by both parties seem to have fallen back on ?valance? issues, or simply promoting issues that there is general consensus for. Furthermore, issues that have no clearly developed sides are avoided until there is reasonable support for one solution. James A. Stimson comments on the traditional methods that both parties utilize to find support for their policies. In his book, Tides of Consent (2004), Stimson explains the fluctuations in preferences for liberal and conservative policies. He explains that a sizeable portion of the population still expresses their preference for policy based on the traditional notions about political parties. Traditional notions still correlate Democrats with the New Deal politics and increased government spending. Republicans are linked with shrinking the spending and limiting the influence of the government in the day-today affairs of the people. However, to even the slightly alert political observer, it is clear to note that the two parties do not reflect their traditional selves.
Moti, Danish
Use of symbolic and numeric methods in an algorithm for the approximation of multivariate functions
In this paper, we discuss aspects of a particular algorithm, namely that of finding an approximation to a real function of n variables, that uses both symbolic and numeric manipulations. Development of this algorithm was motivated in part by an actual ...
David K. Kahaner; Mark B. Wells
Experimental Analysis of Numeric and Symbolic ConstraintSatisfaction Techniques for Temporal Reasoning
Many temporal applications like planning and scheduling can be viewed as special cases of the numeric and symbolic temporal constraint satisfaction problem. Thus we have developed a temporal model, TemPro, based on the interval Algebra, to express ... Keywords: arc consistency, constraint satisfaction, path consistency, temporal reasoning
Malek Mouhoub; Francois Charpillet; Jean Paul Haton
Exact symbol error probability of a Cooperative network in a Rayleigh-fading environment
In a distributed spatial diversity wireless system, not all antennas are located at one station as in classical transmit diversity systems, but are dispersed at different, possibly mobile, stations in the network. Transmit diversity is created when the ... Keywords: Average symbol error probability, cooperative networks, diversity
P. A. Anghel; M. Kaveh
A symbolic approach for the combined solution of scheduling and allocation
Scheduling is widely recognized as a very important step in high-level synthesis. Nevertheless, it is usually done without taking into account the effects on the actual hardware implementation. This paper presents an efficient symbolic technique to concurrently ... Keywords: BDD, allocation, automata, high-level synthesis, scheduling
Gianpiero Cabodi; Mihai Lazarescu; Luciano Lavagno; Sergio Nocco; Claudio Passerone; Stefano Quer
Details concerning a recommended system of flow-plan symbols and drawings are given. The system is designed to identify the function of all major instrument components and to show schematically the operation of the instrument relative to the particular process. The system is used for identification and designation. (J.R.D.)
Adams, R.K.; Davis, D.G.; Hyland, R.F.; Lieberman, B.
J. Symbolic Computation (1999) 11, 1-000 Generic and Cogeneric Monomial Ideals
J. Symbolic Computation (1999) 11, 1-000 Generic and Cogeneric Monomial Ideals initial ideals of generic * *lattice ideals are generic. Cohen-Macaulayness for cogeneric ideals is characterized combina* *torially; in the cogeneric case the Cohen-Macaulay type is greater than or equal
Miller, Ezra N.
J. Symbolic Computation (1999) 11, 1{000 Generic and Cogeneric Monomial Ideals
J. Symbolic Computation (1999) 11, 1{000 Generic and Cogeneric Monomial Ideals EZRA MILLER, BERND by simplicial complexes. There are numerous equivalent ways to say that a monomial ideal is generic or cogeneric lexicographic initial ideals of generic lattice ideals are generic. Cohen-Macaulayness for cogeneric ideals
Asymptotic diffusion limit of the symbolic Monte-Carlo method for the transport equation
We use asymptotic analysis to study the diffusion limit of the Symbolic Implicit Monte-Carlo (SIMC) method for the transport equation. For standard SIMC with piecewise constant basis functions, we demonstrate mathematically that the solution converges ... Keywords: Monte-Carlo method, radiative transfer
J.-F. Clou�t; G. Samba
Joint symbol detection and channel parameter estimation in asynchronous DS-CDMA systems
A method for jointly estimating the time delay and complex gain parameters, as well as detecting the transmitted symbols in an asynchronous multipath DS-CDMA system, is presented. A short training sequence is used to obtain a coarse estimate of the channel ...
A. Ranheim; P. Pelin
,"Program Source/ Treasury Account Symbol: Agency Code","Program Source/Treasury Account Symbol: Account Code","Program Source/Treasury Account Symbol; Sub-Account Code (OPTIONAL)","Program Description (Account Title)","Total Appropriation","Total Obligations","Total Disbursements"
85 85 ,"Submitter Name:","David Abercrombie" ,"Submitter Contact Info:","firstname.lastname@example.com" ,"Program Source/ Treasury Account Symbol: Agency Code","Program Source/Treasury Account Symbol: Account Code","Program Source/Treasury Account Symbol; Sub-Account Code (OPTIONAL)","Program Description (Account Title)","Total Appropriation","Total Obligations","Total Disbursements" 1,89,211,"N/A","Fossil Energy Research and Development, Recovery Act",3400000000,0,0 2,89,227,"N/A","Science, Recovery Act",1600000000,0,0 3,89,237,"N/A","Office of the Inspector General, Recovery Act",15000000,0,0
78 78 ,"Submitter Name:","David Abercrombie" ,"Submitter Contact Info:","email@example.com" ,"Program Source/ Treasury Account Symbol: Agency Code","Program Source/Treasury Account Symbol: Account Code","Program Source/Treasury Account Symbol; Sub-Account Code (OPTIONAL)","Program Description (Account Title)","Total Appropriation","Total Obligations","Total Disbursements" 1,89,211,"N/A","Fossil Energy Research and Development, Recovery Act",3400000000 2,89,227,"N/A","Science, Recovery Act",1600000000 3,89,237,"N/A","Office of the Inspector General, Recovery Act",15000000 4,89,253,"N/A","Defense Environmental Cleanup, Recovery Act",5127000000
"Relaxing" - A Symbolic Sparse Matrix Method Exploiting the Model Structure in Generating Efficient Simulation Code
This paper presents a new method for symbolically solving large sets of algebraically coupled equations as they are frequently encountered in the formulation of mathematical models of physical systems in object-- oriented modeling. The method, called "relaxing," enables the modeler to exploit the special matrix structure of the type of system under study by simply placing the keyword relax at appropriate places in the model class libraries. This procedure defines an evaluation sequence for a sparse matrix Gaussian elimination scheme. The method is demonstrated at hand of several broad classes of physical systems: drive trains, electrical circuits, and tree--structured multibody systems. In particular, relaxing allows a model compiler, such as Dymola, to start from a declarative, object-- oriented description of the model, and to automatically derive the recursive O(f) algorithm used in modern multibody programs. Keywords: Sparse matrices; symbolic formulae manipulation; object--orient...
Martin Otter; Hilding Elmqvist Fran�ois E. Cellier; Hilding Elmqvist; Francois E. Cellier
Name Address Place Zip Sector Product Stock Symbol Year founded Number
Address Place Zip Sector Product Stock Symbol Year founded Number Address Place Zip Sector Product Stock Symbol Year founded Number of employees Number of employees Telephone number Website Coordinates Region ABS Alaskan Inc Van Horn Rd Fairbanks Alaska Gateway Solar Wind energy Marine and Hydrokinetic Solar PV Solar thermal Wind Hydro Small scale wind turbine up to kW and solar systems distributor http www absak com United States AER NY Kinetics LLC PO Box Entrance Avenue Ogdensburg Marine and Hydrokinetic United States AW Energy Lars Sonckin kaari Espoo FI Marine and Hydrokinetic http www aw energy com Finland AWS Ocean Energy formerly Oceanergia Redshank House Alness Point Business Park Alness Ross shire IV17 UP Marine and Hydrokinetic http www awsocean com United Kingdom Able Technologies Audubon Road Englewood Marine and Hydrokinetic http
Hopf algebras, coproducts and symbols: an application to Higgs boson amplitudes
We show how the Hopf algebra structure of multiple polylogarithms can be used to simplify complicated expressions for multi-loop amplitudes in perturbative quantum field theory and we argue that, unlike the recently popularized symbol-based approach, the coproduct incorporates information about the zeta values. We illustrate our approach by rewriting the two-loop helicity amplitudes for a Higgs boson plus three gluons in a simplified and compact form involving only classical polylogarithms.
Claude Duhr
A system of symbols and identifications for processinstrumentation equipment to promote a uniformity of practice is presented. The system is for the following uses: designation and identification of instruments on flow pInns; recording specifinations, listings, requisitions, and purchase orders; indication of items on piping diagrams and other construction drawings; identification tagging of equipment; and description in technical and trade literature. (J.S.R.)
Adams, R.K.; Davis, D.G.; Hyland, R.F.
Automatic Verification of String Manipulating ProgramsOverview Outline Overview Symbolic String Verification Composite Verification References
Is it Vulnerable? We investigate string verification problem and present an automata-based approach for automatic verification of string manipulating programs based on symbolic string analysis. String analysis plays an important role in the security area. For instance, one can detect various web vulnerabilities like SQL Command Injection and Cross Site Scripting (XSS) attacks. Fang Yu, UCSB Automatic Verification of String Manipulating ProgramsOutline
Fang Yu; Cs Guest Leture
Inline Integration: A new mixed symbolic/numeric approach for solving differential-algebraic equation systems
This paper presents a new method for solving di erential{algebraic equation systems using a mixed symbolic and numeric approach. Discretization formulae representing the numerical integration algorithm are symbolically inserted into the di erential{algebraic equation model. The symbolic formulae manipulation algorithm of the model translator treats these additional equations in the same way as it treats the physical equations of the model itself, i.e., it looks at the augmented set of algebraically coupled equations and generates optimized code to be used with the underlying simulation run{time system. For implicit integration methods, a large nonlinear system of equations needs to be solved at every time step. It is shown that the presented uniform treatment of model equations and discretization formulae often leads to a signi cant reduction of the number of iteration variables and therefore to a substantial increase in execution speed. In a large mechatronics system consisting of a six degree{of{freedom robot together with its motors, drive trains, and control systems, this approach led to a speedup factor of more than ten.
Hilding Elmqvist; Martin Otter; Francois E. Cellier
Les systemes militaires doivent repondre a des normes tres severes. La norme militaire «Mil-Hdbk-217C Equipment", MIL-HDBK-217C, 1980. 2. Department of Defense of USA, "Military Standard: Definitions of terms
Kieras, David E.
906 906 ,"Submitter Name:","David Abercrombie" ,"Submitter Contact Info:","firstname.lastname@example.com" ,"Program Source/ Treasury Account Symbol: Agency Code","Program Source/Treasury Account Symbol: Account Code","Program Source/Treasury Account Symbol; Sub-Account Code (OPTIONAL)","Program Description (Account Title)","Total Appropriation","Total Obligations","Total Disbursements" 1,89,331,"N/A","Energy Efficiency and Renewable Energy, Recovery Act ",1.68e+10,374217313.6,78891.63 2,89,328,"N/A","Electricity Delivery and Energy Reliability, Recovery Act",4500000000,0,0 3,89,211,"N/A","Fossil Energy Research and Development, Recovery Act",3400000000,0,0
9 9 ,"Submitter Name:","David Abercrombie" ,"Submitter Contact Info:","firstname.lastname@example.com" ,"Program Source/ Treasury Account Symbol: Agency Code","Program Source/Treasury Account Symbol: Account Code","Program Source/Treasury Account Symbol; Sub-Account Code (OPTIONAL)","Program Description (Account Title)","Total Appropriation","Total Obligations","Total Disbursements" 1,89,331,"N/A","Energy Efficiency and Renewable Energy, Recovery Act ",1.68e+10,228226615,0 2,89,328,"N/A","Electricity Delivery and Energy Reliability, Recovery Act",4500000000,0,0 3,89,211,"N/A","Fossil Energy Research and Development, Recovery Act",3400000000,0,0
How Random is a Coin Toss? Bayesian Inference and the Symbolic Dynamics of Deterministic Chaos
Symbolic dynamics has proven to be an invaluable tool in analyzing the mechanisms that lead to unpredictability and random behavior in nonlinear dynamical systems. Surprisingly, a discrete partition of continuous state space can produce a coarse-grained description of the behavior that accurately describes the invariant properties of an underlying chaotic attractor. In particular, measures of the rate of information production--the topological and metric entropy rates--can be estimated from the outputs of Markov or generating partitions. Here we develop Bayesian inference for k-th order Markov chains as a method to finding generating partitions and estimating entropy rates from finite samples of discretized data produced by coarse-grained dynamical systems.
Christopher C. Strelioff; James P. Crutchfield
Symbolic-numerical Algorithm for Generating Cluster Eigenfunctions: Tunneling of Clusters Through Repulsive Barriers
A model for quantum tunnelling of a cluster comprising A identical particles, coupled by oscillator-type potential, through short-range repulsive potential barriers is introduced for the first time in the new symmetrized-coordinate representation and studied within the s-wave approximation. The symbolic-numerical algorithms for calculating the effective potentials of the close-coupling equations in terms of the cluster wave functions and the energy of the barrier quasistationary states are formulated and implemented using the Maple computer algebra system. The effect of quantum transparency, manifesting itself in nonmonotonic resonance-type dependence of the transmission coefficient upon the energy of the particles, the number of the particles A=2,3,4, and their symmetry type, is analyzed. It is shown that the resonance behavior of the total transmission coefficient is due to the existence of barrier quasistationary states imbedded in the continuum.
Vinitsky, Sergue; Chuluunbaatar, Ochbadrakh; Rostovtsev, Vitaly; Hai, Luong Le; Derbov, Vladimir; Krassovitskiy, Pavel
An approach to first principles electronic structure calculation by symbolic-numeric computation
This article is an introduction to a new approach to first principles electronic structure calculation. The starting point is the Hartree-Fock-Roothaan equation, in which molecular integrals are approximated by polynomials by way of Taylor expansion with respect to atomic coordinates and other variables. It leads to a set of polynomial equations whose solutions are eigenstate, which is designated as algebraic molecular orbital equation. Symbolic computation, especially, Gr\\"obner bases theory, enables us to rewrite the polynomial equations into more trimmed and tractable forms with identical roots, from which we can unravel the relationship between physical parameters (wave function, atomic coordinates, and others) and numerically evaluate them one by one in order. Furthermore, this method is a unified way to solve the electronic structure calculation, the optimization of physical parameters, and the inverse problem as a forward problem.
Kikuchi, Akihito
Synthesis of a Wireless Communication Analog Back-End Based on a Mismatch-Aware Symbolic Approach
In this paper, a methodology to automate the synthesis of an industrial-purpose analog integrated circuit, namely the back-end of an I & Q transmit interface, is presented. A good matching between both I and Q channels is desirable to ensure the ... Keywords: analog synthesis, device mismatch, symbolic analysis
R. Castro-L�pez; O. Guerra; F. V. Fern�ndez; A. Rodr�guez-V�zquez
jSynoPSys -- A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines
This paper presents the jSynoPSys tool that implements the concept of Scenario-Based Testing from B machines. This consists in describing execution scenarios, expressed as regular expressions over the operations of the system, coupled with intermediate ... Keywords: B machines, Test generation, constraint solving, scenario-based testing, symbolic animation
Fr�d�ric Dadeau; R�gis Tissot
Norway�s Approach to NATO�s Deterrence and Defence Posture Review
nuclear disarmament is a initiating, as well as supporting, non-proliferation ultimate objective of the weapons. 1 to tactical nuclear weapons in Europe. 2 1 Ambassador Bente Angel Hanssen, Disarmament, Geneva, 17 th 16 th The current Norwegian government believes that top priority issue and is ing, proposals that see
Julie Ronbeck
Superconducting Electronics (Nato ASI Series (closed) / Nato ASI Subseries F, 1st edition
The book provides an in-depth understanding of the fundamentals of superconducting electronics and the practical considerations for the fabrication of superconducting electronic structures. Additionally, it covers in detail the opportunities afforded ...
Harold Weinstock; Martin Nisenoff
SNEG - Mathematica package for symbolic calculations with second-quantization-operator expressions
In many-particle problems involving interacting fermions or bosons, the most natural language for expressing the Hamiltonian, the observables, and the basis states is the language of the second-quantization operators. It thus appears advantageous to write numerical computer codes which allow the user to define the problem and the quantities of interest directly in terms of operator strings, rather than in some low-level programming language. Here I describe a Mathematica package which provides a flexible framework for performing the required translations between several different representations of operator expressions: condensed notation using pure ASCII character strings, traditional notation ("pretty printing"), internal Mathematica representation using nested lists (used for automatic symbolic manipulations), and various higher-level ("macro") expressions. The package consists of a collection of transformation rules that define the algebra of operators and a comprehensive library of utility functions. While the emphasis is given on the problems from solid-state and atomic physics, the package can be easily adapted to any given problem involving non-commuting operators. It can be used for educational and demonstration purposes, but also for direct calculations of problems of moderate size.
Rok Zitko
,"Program Source/ Treasury Account Symbol: Agency Code","Program Source/Treasury Account Symbol: Account Code","Program Source/Treasury Account Symbol; Sub-Account Code (OPTIONAL)","Program Description (Account Title)","Total Appropriation","Total Obligations","Total Disbursements","DOE Program Office Administering Funds"
2 2 ,"Submitter Name:","David Abercrombie" ,"Submitter Contact Info:","firstname.lastname@example.com" ,"Program Source/ Treasury Account Symbol: Agency Code","Program Source/Treasury Account Symbol: Account Code","Program Source/Treasury Account Symbol; Sub-Account Code (OPTIONAL)","Program Description (Account Title)","Total Appropriation","Total Obligations","Total Disbursements","DOE Program Office Administering Funds" 1,89,331,"N/A","Energy Efficiency and Renewable Energy, Recovery Act",1.68e+10,10000,0,"Energy Efficiency and Renewable Energy" 2,89,328,"N/A","Electricity Delivery and Energy Reliability, Recovery Act",4500000000,0,0,"Electricity Delivery and Energy Reliability"
1 hour, 59 minutes ago President Jacques Chirac announced plans to build a prototype fourth-generation nuclear reactor by 2020 as well as symbolic targets
-generation nuclear reactor by 2020 as well as symbolic targets for cutting France's reliance on oil in the coming and is conducting research into several new models of nuclear reactor. Business leaders in the French energy sector-generation nuclear reactor 1/5/06 3:19 PMPrint Story: France to develop fourth-generation nuclear reactor on Yahoo
NATO Advanced Study Institute "Special Detection Technique (Polarimetry) and
for Space Studies, New York, USA SCIENTIFIC ORGANIZING COMMITTEE James Hough University of Hertfordshire, NASA HQ, Washington, DC, U
NATO ARW Jun�10 CLIMATE � SECURITY LINKS (4) SECURITY REFERENCES:
�Some Some delegations raised doubts regarding Council�s s role on the issue, while others, particularly small island states, welcomed Council�s consideration�
Nobel Peace Prize; Nobel Peace Prize; Peace References
Abbreviations, Symbols, and Tradenames
...ratio LDPE low-density polyethylene LED light-emitting diode LEFM linear-elastic fracture mechanics LFM liquid-film migration LIM liquid injection molding LLDPE linear low-density polyethylene ln natural logarithm (base e) log common logarithm (base 10) LOI limiting oxygen index LPS liquid-phase sintering...
...test LEC liquid-encapsulated Czochralski LED light-emitting diode LHC large hadron collider LIMS laser ionization mass spectroscopy LMP Larson-Miller parameter In natural logarithm (base e ) LNG liquefied natural gas log common logarithm (base 10) LPE liquid-phase epitaxy LT long transverse (direction) m meter m...
Abbreviations and Symbols
...accelerator LINAC lower explosive limit LEL light-emitting diode LED lower control limit; lower confidence limit LCL low cycle fatigue LCF life cycle cost LCC pound lb length; likelihood (function) L average rate of occurrence of defects
...CST constitutional supercooling parameter CSP ceramic shell; constitutional supercooling CS carbon removal rate CRR carbon removal efficiency CRE critical preheating temperature cpt cycles per second cps cycles per minute cpm computerized numerical control CNC coordinate measuring machine(s)...
...reaction injection molding RT room temperature RTD room temperature, dry RTM resin transfer molding RTW room temperature, wet RTV room temperature, vulcanizing RVE representative volume element s second s symmetry of stacking about the midplane S strength (glass fiber designator) SACMA Suppliers of...
...AFM abrasive flow machining AGMA American Gear Manufacturers Association AGV automated guided vehicle AIA Aerospace Industries Association AISI American Iron and Steel Institute AJM abrasive jet machining ANSI American National Standards Institute APT automatically programmed tool ASP Anti-Segregation...
Symbolic Domain Decomposition - CECM
3Department of Computer Science, University of Western Ontario ...... By the results of section 4, we can always choose. R? to be. P1 ? ... ? Pn?1 ? Q1 ? .
...embrittlement In natural logarithm (base e ) LNG liquefied natural gas log common logarithm (base 10) LVDT linear variable differential transformer m meter m strain rate sensitivity
...embrittlement ln natural logarithm (base e ) LNG liquefied natural gas log common logarithm (base 10) LPR linear polarization resistance LSI Langelier saturation index LTCTF long-term corrosion test facility LTHC low-temperature hot corrosion LVBR low-velocity atmospheric pressure burner rig m...
Integrals involving triplets of Jacobi and Gegenbauer polynomials and some 3j-symbols of SO(n), SU(n) and Sp(4)
The coupling coefficients (3j-symbols) for the symmetric (most degenerate) irreducible representations of the orthogonal groups SO(n) in a canonical basis and different semicanonical (tree) bases [with SO(n) restricted to SO(n')\\times SO(n''), n'+n''=n] are expressed in terms of the integrals involving triplets of the Gegenbauer and the Jacobi polynomials. The derived usual triple-hypergeometric series (which do not reveal the apparent triangle conditions of the 3j-symbols) are rearranged (in contrast with math-ph/0201048) directly [without using their relation with the semistretched isofactors of the second kind for the complementary chain Sp(4)\\supset SU(2)\\times SU(2)] into formulas with more rich limits for summation intervals and obvious triangle conditions. The isofactors for the class-one representations of the orthogonal groups and for the class-two representations of the unitary groups (and, of course, the related integrals) turn into the double sums in the cases of the canonical SO(n)\\supset SO(n-1) or U(n)\\supset U(n-1) and semicanonical SO(n)\\supset SO(n-2)\\times SO(2) chains, as well as into the $_4F_3(1)$ series under more specific conditions. Expressions for the most general isofactors of SO(n) for coupling of the two symmetric irreps in the canonical basis are also derived.
S. Alisauskas
NIST: Triatomic - List of Symbols
... ? 1 is the highest energy symmetric stretching mode, ? 2 is the bending mode, and ... � a,b, Components of the electric dipole moment along the a- or b ...
NIST: Hydrocarcons - List of Symbols
... axis in the limiting prolate or oblate symmetric top. ... V 3, Threefold component of torsional barrier potential V = V 3 (1 ... � a , � b , � c, Components of the ...
Symbols for the Chemical Elements
...Ag Sodium Na Strontium Sr Sulfur S Tantalum Ta Technetium Tc Tellurium Te Terbium Tb Thallium Tl Thorium Th Thulium Tm Tin Sn Titanium Ti Tungsten W Uranium U Vanadium V Xenon Xe Ytterbium Yb Yttrium Y Zinc Zn Zirconium Zr...
Symbolic Computation of Petri Nets
Petri nets are receiving increasing attention from the scientific community during the last few years. They provide the users with a powerful formalism for describing and analyzing a variety of information processing systems such as finite-state machines, ...
Andres Iglesias; Sinan Kapcak
Expectation values of quantum powers using quantum defects for Li O Na Mg using symbolic Mathematics, and new tools such as Topbase to produce quantum defects of these elements
How to use recent symbolic programming language as to build good quality programmes that yield valuable data in a short computation time. It is shown how to build good wave functions for any couple of states (both having proper quantum defects) a->|nala> and b-> |nblb> for a transition a->b . The correct normalization of these wave functions |nala > and |nblb > once obtained, enables the production of atomic useful data : such as line strengths, or average quantities as , and with a values a {-2,-1,0,1,2}.
Amaury de Kertanguy
"No.","Treasury Appropriation Symbol","Title/Program","Total Appropriation","Total Obligations","Total Disbursements"
Weekly Update Report Data (sheet 1 of 2) Version 1.0" Weekly Update Report Data (sheet 1 of 2) Version 1.0" ,"Agency Name:","Department of Energy" ,"Week Start Date:",39867 ,"Submitter Name:","David Abercrombie" ,"Submitter Contact Info:","email@example.com" "No.","Treasury Appropriation Symbol","Title/Program","Total Appropriation","Total Obligations","Total Disbursements" 1,"89-09/10-0211","Fossil Energy Research and Development, Recovery Act",3400000000,0,0 2,"89-09/10-0227","Science, Recovery Act",1600000000,0,0 3,"89-09/12-0237","Inspector General, Recovery Act",15000000,0,0 4,"89-09/10-0253","Defense Environmental Cleanup, Recovery Act",5127000000,0,0
NATO's Relations with New Members and Partners Contributions to Peacekeeping, Counterterrorism, and Humanitarian Missions
Armenia (December 2005), Azerbaijan (May 2005), Bosnia (January 2008), Georgia (October 2004), Kazakhstan to join the new program in 2004, followed by Azerbaijan, Armenia, Kazakhstan, and Moldova.15 In 2008. This tendency is illustrated by the cases of Azerbaijan, Georgia, and Ukraine, whose participation
Support of the NATO Effects Task Group by Los Alamos National Laboratory
A method is outlined for measuring the transient attenuation of optical fibers and/or cables exposed to a pulse of radiation (gamma rays, x-rays, electrons, protons, neutrons, etc). It can be employed to determine the level of radiation-induced attenuation (in units of dB/km as a function of time) produced in single-mode or multi-mode optical fibers, in either cabled or uncabled form, due to pulsed exposure to radiation. Co{sup 60} radiation-induced attenuation is measured by optical time domain reflectometry (OTDR) techniques and compared to conventional optical throughput measurements. Relative advantages and disadvantages of the OTDR technique are discussed.
Lyons, P.B.
Optimizing the Layout of Proportional Symbol Maps
in the visualization and analysis of quantitative data associated with ..... lem on a 2.4GHz IntelR CoreTM2 Quad processor, with 4GB of RAM. We limit each run to�...
Expanding Queries using Stems and Symbols
... In EP Lim, S. Foo, CSG Khoo, H. Chen, E. A. Fox, SR Urs, and C. Thanos (eds.) Digital Libraries: People, Knowl- edge, and Technology. ...
Feb 8, 2013 ... displayed both in green letters and underlined activates a hyperlink, which opens ...... 4 equilibrium internuclear separation and energy for H 2.
Symbolic Systems, Explicit Properties: on Hybrid Approaches
by the Provincia Autonoma di Trento (project ANACONDA). #12;2 Roberto Sebastiani, Stefano Tonetta, and Moshe Y
Vardi, Moshe Y.
Graphics and the symbolization of ideas
I work in a very arcane area of mathematical physics. It begins with Einstein's theory of gravitation and adds in the ideas of Sir Roger Penrose.
George A. J. Sparling
SYMBOLIC CONVEX ANALYSIS - CECM - Simon Fraser University
areas including control theory, signal processing, communications and ..... Theorem 1.6 ([16], Theorem 7.1, page 51) Consider a function f : E ? R. Then the .
Reasoning with Numeric and Symbolic Time Information
Representing and reasoning about time is fundamental in many applications of Artificial Intelligence as well as of other disciplines in computer science, such as scheduling, planning, computational linguistics, database design and molecular biology. ... Keywords: approximation algorithms, constraint satisfaction techniques, planning, scheduling, temporal reasoning
Malek Mouhoub
Declarative symbolic pure-logic model checking
Model checking, a technique for findings errors in systems, involves building a formal model that describes possible system behaviors and correctness conditions, and using a tool to search for model behaviors violating ...
Shlyakhter, Ilya, 1975-
Symbolic Polynomials with Sparse Exponents - CECM
Passau, Germany, 2004. [3] K. Yokoyama, On systems of algebraic equations with parametric exponents. Proc. ISSAC 2004, July. 4-7, 2004, Santander, Spain, �...
APPENDIX A Acronyms, Abbreviations, Symbols, and Notation
for Exposure Assessment Modeling at EPA's Environmental Research Laboratory in Athens, Georgia CEC Cation-hydroxyethyl) ethylenedinitrilotriacetic acid HLW High level radioactive waste IAEA International Atomic Energy Association OERR Office of Remedial and Emergency Response, U.S. EPA ORIA Office of Radiation and Indoor Air
Interleaving Symbolic Execution and Partial Evaluation
) as initiator and Solkane 365mfc (1,1,1,3,3-pentafluo- robutane) as solvent at 50 °C. The pentafluorobutane with 47.0 g (0.245 mol) of 1a, 30 mL of Solkane 365 mfc and 2.23 g of Perkadox 16 N initiator. The vessel. (Caution! Guard against static electricity dis- charges by appropriate grounding during this process
Hähnle, Reiner
ADAM: a problem-oriented symbol processor
Digital computers have evolved in their own technical environment, and to a large degree independently of the problem environment. Thus it was necessary to have computing centers with staffs of programmers as intermediaries between machines and users. ...
A. P. Mullery; R. F. Schauer; R. Rice
Master of Science .... results using an arbitrary Euclidean space E (a finite dimensional vector ... and all ?, ? ? R satisfy the equation A(?x + ?y) = ?Ax + ?Ay.
Patag-The Symbol of Heroes
, it is then put on the scabbard and stitched tightly. Today dyeing is no longer done because pelts are readily available in different colours from India. Hilt with cover of intricately knitted silver thread Hilt is made of willow or walnut or others... and other marks. Then it is rubbed with hide and sand soaked in water to remove satins and marks between grooves and narrow depression created while casting. Thereafter it is rubbed on dreyda42 to give ash-black colour to the sword. Chagchey43 wrapped...
Rapten, Phuntsho
Symbol Designation Unit Variables � Latin letters
A dynamic model for the simulation of a new single-effect water/lithium bromide absorption chiller is developed. The chiller is driven by two distinct heat sources, includes a custom integrated falling film evaporator-absorber, uses mixed recirculation and is exclusively cooled by the ambient air. Heat and mass transfer in the evaporator-absorber and in the desorber are described according to a physical model for vapour absorption based on Nusselt�s film theory. The other heat exchangers are handled using a simplified approach based on the NTUeffectiveness method. The model is then used to analyze the chiller response to a step drop of the heat recovery circuit flow rate, and to a sudden reduction of the cooling need in the conditioned space. In the latter case, a basic temperature regulation system is simulated. In both simulations, the performance of the chiller is well represented and consistent with expectations.
Matthieu Zinet; Romuald Rulliere
Symbolic protocol analysis for monoidal equational theories
We are interested in the design of automated procedures for analyzing the (in)security of cryptographic protocols in the Dolev-Yao model for a bounded number of sessions when we take into account some algebraic properties satisfied by the operators involved ...
St�phanie Delaune; Pascal Lafourcade; Denis Lugiez; Ralf Treinen
U.S.-Russian experts NATO collaborative research grant exchange visit meeting on excess Pu ceramics formulations and characterizations
This document contains the agenda and meeting notes. Topics of discussion included US Pu disposition ceramics activities, Russian experience and proposals in Pu ceramics, and development of possible Russian ceramic proposals or collaborations.
Jardine, L.J., LLNL
NATO/CCMS Pilot Study Evaluation of Demonstrated and Emerging Technologies for the Treatment and Clean Up
This document reports on the second meeting of the Phase III Pilot Study on the Evaluation of Demonstrated and Emerging Technologies for the Treatment and Clean Up of Contaminated Land and Groundwater. The United States is the lead country for the Pilot Study, and Germany and The Netherlands are the Co-Pilot countries. The first phase was successfully concluded in 1991, and the results were published in three volumes. The second phase, which expanded to include newly emerging technologies, was concluded in 1997; final reports documenting 52 completed projects and the participation of 14 countries were published in June 1998. Through these pilot studies, critical technical information was made available to participating countries and the world community. The Phase III study focuses on the technologies for treating contaminated land and groundwater. This Phase is addressing issues of sustainability, environmental merit, and cost-effectiveness, in addition to continued emphasis on emerging remediation technologies. The objectives of the study are to critically evaluate technologies, promote the appropriate use of technologies, use information technology systems to disseminate the products, and to foster innovative thinking in the area of contaminated land. The Phase III Mission Statement is provided at the end of this report
Annual Report Number; Groundwater (phase Iii; Of Contaminated L
arrest officer from Azerbaijan over brutal murder NATO chief hopes Putin will attend bloc's June summit
Aircraft Corrosion Fatigue Assessment
...Fatigue in the Presence of Corrosion, Proc., NATO Research and Technology Organization Meeting (Corfu,
Distance-Based Classification of Handwritten Symbols - CECM
order about 10, to the extent that the approximation error is unnoticeable to a human eye. When the curve is parameterized by arc length, the coordinate�...
The Historical and Symbolical Origin of the Chorten
� minology: liberation and enlightenment are attained by the reconcilia� tion of solar and lunar furces which on the physical plane are the two kinds of vital energy, on the psychic plane the intdlectual and the emotional consciousness, and on the spiritual... � ding to Tibetan tradition, controlling the left side of the human body), the redcoloured pingala from the right (or controlling the right side). ida is the conductor of the lunar or 'moon-like' (candrasvarupa) forces, which have the regenerative...
Govinda, Lama Anagarika
Online Mathematical Symbol Recognition using SVMs with ... - CECM
shown that SVMs can outperform other machine learning algorithms such as neural ... functional approximation of ink trace curves. The movement of digital a�...
Teaching Mathematics to Students of Chemistry with Symbolic - CECM
Taking into account both the learning capabilities of students of chemistry and the .... Although some programs have a steeper learning curve than others, any�...
Teaching Mathematics to Chemistry Students with Symbolic ... - CECM
Taking into account both the learning capabilities of chemistry students and the .... Although some programs have a steeper learning curve than others, any�...
sures on a vector space representation of curves to elastic matching and ensem- bles of SVM. ...... bypass the learning stage and require very large training sets.
Quantification of fetal heart rate regularity using symbolic dynamics
Fetal heart rate complexity was examined on the basis of RR interval time series obtained in the second and third trimester of pregnancy. In each fetal RR interval time series short term beat-to-beat heart rate changes were coded in 8 bit binary sequences. Redundancies of the 2 8 different binary patterns were reduced by two different procedures. The complexity of these sequences was quantified using the approximate entropy (ApEn)
P. van Leeuwen; D. Cysarz; S. Lange; D. Geue; D. Groenemeyer
Parameter Unit Name Unit Symbol Capacitance (C) Farad F
and nuclear facilities: · Capital Cost · Operating & Maintenance Cost · Fuel Cost · Decommissioning CostNuclear Technology & Canadian Oil Sands: Integration of Nuclear Power with In-Situ Oil Extraction A.E. FINAN, K. MIU, A.C. KADAK Massachusetts Institute of Technology Department of Nuclear Science
Symbolism and the Adoption of Fuel-Cell Vehicles
the most popular HEV, the Toyota Prius, now exceed 100,000Honda Civic Hybrid, or Toyota Prius. In discussion withwere attracted to the Toyota Prius because of its unique
Heffner, Reid R.; Kurani, Kenneth S; Turrentine, Tom
most popular HEV, the Toyota Prius, now exceed 100,000 unitsper year, placing the Prius in the top 20% of U.S.Civic Hybrid, or Toyota Prius. In discussion with these
Symbolic and Quantitative Approaches to Reasoning with ... - Springer
Alert Systems for Production Plants: A Methodology Based on Conflict Analysis � Thomas D. Nielsen,; Finn V. Jensen � show all 2 hide. Download PDF (343KB).
lation problem by reducing large variations in magnitude implied by evaluating ... system of at least the same number of equations in order to determine these�...
The Circular State -- the symbolic labor politics in transitional China
enterprise, who ?should carry its own baby,? the state assets managementassets management. They said, ?We can supervise the behavior of enterprises.
Cheng, Xiuying
The Concept of Vajra and Its Symbolic Transformation
to its ethi� cal and creative evolutionism, and more, so in the mahayana and profoundly in Vajrayana Art. Thus we find, the mystical reference ofvajra in pluralistic realist literature of Jaina and creative evolutionist literatures of the Buddhist... (Bodhisattvadana Kalpalata, ch. 103rd. p. 4) V. Bimala Churan law, Geographical Essays, vol. I, p. 22). Both the word 'Vajra' and 'Vraja' have been derived from the root "Vraj" meaning "to go". It seems from the derivative that the original word was most...
Ghosh, Bhajagovinda
The Strip: Las Vegas and the Symbolic Destruction of Spectacle
was emblematic of the atomic age Las Vegas participatedwas a monument to the Atomic Age and the fervor of Sputniktheme to the Strip: space age. Atomic imagery had become an
Al, Stefan Johannes
of pen-based devices such as PDAs, smart phones, Tablet. PCs and smart .... regularization parameter) were found by performing grid search with ? in the range�...
Test Programming by Program Composition and Symbolic Simulation
Classical test generation techniques rely on search through gate-level circuit descriptions, which results in long runtimes. In some instances, classical techniques cannot be used because they would take longer than the ...
Shirley, Mark H.
Animal Symbols in Maurya Art: Formal and Cultural Significance
in mind that irrespective of wherever these pillars were erected, they were all carved out of Chunar sandstone. which would mean that these were all fashioned in one central workshop which could not have been very far from modern Chunar itself and tJ...
Ray, Niharranjan
Survey of Oregon Hybrid Gas-Electric Car Owners. July 2003 [the technical details of their car�s hybrid drivetrain. Whatcars that provided relatively high mileage at much lower purchase prices than hybrid
Cacophonous geographies : the symbolic and material landscapes of race
Since the devastation of Hurricane Katrina in 2005 and the election of President Barack Obama in 2008, the country has struggled with questions regarding the salience of racial inequality. While the days following Katrina ...
Brand, Anna Livia
Press, 1999, p. 176. Beauregard, Robert. 2003. City ofdevelopment. However, Beauregard critiques Gottdiener of
It was a 1,149 foot tall tower � the tallest freestandingfront of the towers stood a 150-foot tall replica of Statuea �Champagne Tower,� a 20-foot wide diameter, 80-foot tall
Culture symbol and time : the revitalization of Samarkand
This thesis examines the dilemma of the historic city in confrontation with modernity. Citing the case of Samarkand, the investigation seeks an architectural response to the trauma of physical and cultural discontinuities ...
Shea, Clare Ellen
in Relation to the Electric Vehicle� Science, Technology,The World Electric Vehicle Association Journal, Vol. 1, 2007Research of hybrid-electric vehicles (HEVs) indicates that
Two Families of Algorithms for Symbolic Polynomials - CECM
Department of Computer Science. University of .... from a ring R and monoid M with elements being the finite formal sums. ? i rimi,ri ? R, mi ? M. ... Instead, we seek to compute results that are correct under every specializa- tion. This allows �...
of Structural Dynamics of Lagerwey LW-50/750 Wind Turbine," Wind En- gineering, Vol. 22, No. 6, 1998, pp. 253 is applied to a Horizontal-Axis Wind Turbine. The pa- per presents a new methodology for modeling, wind turbines, etc. Over the last decade the advent of composites and the pursuit to build lighter
Patil, Mayuresh
Harvey M. Choldin. Chicago Architects Oral History Project.Harvey M. Choldin. Chicago Architects Oral History Project.Harvey M. Choldin. Chicago Architects Oral History Project.
Concurrency in a System for Symbolic and Algebraic Computations
As miniaturization of computer components is approaching the limits of physics, researchers in computer architecture are looking for less conventional means to perpetuate Moore's law. Recent trends in hardware ve been adding more cores. Consequently multicore machines are now commodity. To help programmers benefit from Moore's dividend, researchers in programming techniques, tools and languages have been exploring several venues. A dominant theme is the design and implementation of parallel algorithms. Several programming models have been proposed, but none at the moment seem to be substantially better than others. While general parallel programming is a distinctively challenging task, we believe that scientific computation algorithms display algebraic structures, thanks to the rich mathematical objects they manipulate. The present work aims at exploring the extent to which algebraic properties displayed by computer algebra algorithms may be automatically exploited to take advantage of parallelism in the OpenAxiom scientific computation platform. We designed a runtime system that exploits the ubiquitous parallelism of modern CPUs; the system is also scaled to many-system clusters. By taking advantage of the existing InputForm domain in OpenAxiom and connecting of the standard input channel to sockets, we were able to minimize potentially hazardous modifications to the OpenAxiom source while still implementing desired functionality. Additionally, we designed and implemented FFI extensions to the OpenAxiom core to take advantage of SIMD instructions, particularly SSE2 (SIMD Streaming Extensions). The extension allowed us to nearly double the speed of common operations such as multiplying arrays of doubles. We also defined and implemented a foreign function interface for the OpenAxiom system. All of these additions were benchmarked using Berlekamp's algorithm for factorization of polynomials over integers. While much still remains to be done in parallelizing the algebra to work over many calculation nodes, mathematical annotations remain viable in unloading the burden of parallelizing code from the programmer by substituting a simpler activity.
Mai, Stefan
High-Performance Symbolic Computation in a Hybrid ... - CECM
show that data conversion can become a bottleneck for some algorithms, leaving .... Moreover, these applications put to challenge our framework in different�...
Formal Hardware Verification by Symbolic Ternary Trajectory Evaluation #
on Computer Architecture, Vancouver, British Columbia, June 2000. [4] Doug Burger and Todd M. Austin.utexas.edu Abstract Many speculative microarchitectural techniques such as eager execution, value prediction, pipeline pipeline gating. Using previous confidence estimators, pipeline gating reduces the amount of extra work due
Bryant, Randal E.
Optimization Online - Optimizing the Layout of Proportional Symbol ...
Nov 10, 2010... quantitative data associated with specific locations, such as earthquake magnitudes, oil well production, and temperature at weather stations.
Name Address Place Zip Sector Product Stock Symbol Year founded...
Coordinates Region ABS Alaskan Inc Van Horn Rd Fairbanks Alaska Gateway Solar Wind energy Marine and Hydrokinetic Solar PV Solar thermal Wind Hydro Small scale wind turbine...
Refined understanding of sulfur amino acid nutrition in hybrid striped bass, Morone chrysops (male symbol) x M. saxatilis (female symbol)
Previous studies have indicated the level of total sulfur amino acids (TSAA) (methionine + cystine) is most limiting in practical diet formulations for hybrid striped bass (HSB), especially if animal feedstuffs are replaced with plant feedstuffs. Reduction of costly animal feedstuffs such as fish meal while maintaining adequate dietary levels of TSAA may enhance cost effectiveness of production. Therefore, this study, consisting of four separate feeding trials, investigated three different aspects of sulfur amino acid nutrition of HSB including: (1) the efficacy of crystalline methionine hydroxy analog (MHA) and liquid MHA (AlimetTM) relative to L-methionine in meeting the requirement for TSAA; (2) the cystine sparing value for methionine; and, (3) the influence of various sulfur amino acid supplements on ammonia excretion. During the feeding trials, juvenile HSB were fed various diets including a basal diet deficient in TSAA (0.33 or 0.51% of diet), and experimental diets supplemented on an equalsulfur basis with different levels of either L-methionine, AlimetTM or crystalline MHA. Diets containing TSAA at 1% of diet and different ratios of cystine to methionine (60:40, 55:45, 50:50, and 45:55) also were fed to re-evaluate sparing effects of cystine on methionine. During the ammonia excretion trial, HSB were fed diets containing either L-methionine,AlimetTM or crystalline MHA after which total ammonia nitrogen (TAN) excretion was determined 4 h postprandial. In trial 1, AlimetTM was 73% as effective in promoting growth as L-methionine at the same concentration while MHA was 83% as effective. In trial 3, fish fed AlimetTM at 1.25% of diet displayed similar growth performance as those fed TSAA at 1.0% of diet while weight gain of fish fed AlimetTM at 1% was only 58% of that displayed by fish fed TSAA at 1.0%. No significant differences in weight gain, feed utilization or survival were observed among fish fed diets containing various ratios of cystine to methionine although the diet with 60:40 cystine to methionine supported the lowest responses. Inclusion of MHA or AlimetTM did not affect TAN excretion of HSB. These findings will aid in refining diet formulations for HSB to ensure adequate sulfur amino acid nutrition.
Kelly, Mark Christopher
Donna Hurley
... NATO-NSF Postdoctoral Fellowship (1987-1988). Exxon Industrial Fellowship, University of Illinois (1982-1983). Graduate ...
IGS Petroleum Well Symbols--Explanation 12/8/2010 p 1/1 IGS Petroleum Well Symbols--Explanation 6/10/2010 p 1/1
-potable water supply formerly oil gas storage formerly gas waste disposal water injection (waterflood
Polly, David
Impact of traffic symbol directional cues on pilot performance during TCAS events
Implementation of Automatic Dependent Surveillance - Broadcast (ADS-B) technology enables aircraft to broadcast, receive and display a number of aircraft parameters that were not previously available to pilots. While ...
Olson, Wesley A.
Symbolism in California�s Early Market for Hybrid Electric Vehicles
new-cars/ high-cost-of-hybrid-vehicles-406/overview.htm>.For Tony and Ellen, a hybrid vehicle category exists thatprice premium of the hybrid vehicle over an assumed non-
Re-constructing place and community : urban heritage and the symbolic politics of neighborhood revitalization
Inner-city neighborhoods have gathered new life as the hopeful settings for the resurrection of community, safety, economy, and social vitality. Preservationists, artists, historians, and urban designers make bold claims ...
Serda, Daniel
Query Answering over DL ABoxes: How to Pick the Relevant Symbols
in ALCF. Some longer proofs have been moved to the appendix. 2 Preliminaries We consider various DLs. An analogous statement fails, e.g., for ALCF. To see this, take T = { ( 1 r) A} and = {r}. Then A is IQ thus also CQ-) relevance, and a NExpTimeNP upper bound; for ALCF, we prove undecidability of IQ
Wolter, Frank
is decidable in ALC and ALCI, but relevance regarding instance queries is unde- cidable in ALCF and relevance.g., for ALCF. To see this, take T = { ( 1 r) A} and = {r}. Then A is IQ- and CQ-relevant with UNA due of IQ- (and thus also CQ-) relevance, and a NExpTimeNP upper bound; for ALCF, we prove undecidability
Lutz, Carsten
above�� the speci?c product (Toyota Prius) to a more generalexists that includes the Toyota Prius and Honda Civicwere interested in a 2003 Toyota Prius, but the car�s small
speci?c product (Toyota Prius) to a more general class ofcouple regularly assigns the Prius to whoever has the mostthat includes the Toyota Prius and Honda Civic Hybrid. The
Symbolic Power Analysis of Cell Libraries Matthias Raffelsieper and MohammadReza Mousavi
a particular type of the states, so this is still a vector-based transition system. We initially set the power of power for a given state, input vector transition, and order in which the inputs are to be changed state, but differ in their power consumption. Such an analysis is used to select the orders
Mousavi, Mohammad
Expanding the Model-Tracing Architecture: A 3rd Generation Intelligent Tutor for Algebra Symbolization
Following Computer Aided Instruction systems, 2nd generation tutors are Model-Tracing Tutors (MTTs) (Anderson & Pelletier, 1991) which are intelligent tutoring systems that have been very successful at aiding student learning, but have not reached the ... Keywords: Intelligent tutoring systems, algebra, model-tracing, student learning, teaching strategies
Neil T. Heffernan; Kenneth R. Koedinger; Leena Razzaq
Turing instabilities in biology, culture, and consciousness? On the enactive origins of symbolic material culture
It has been argued that the worldwide prevalence of certain types of geometric visual patterns found in prehistoric art can be best explained by the common experience of these patterns as geometric hallucinations during altered states of consciousness ... Keywords: Enaction, Turing patterns, hallucination, human cognition, representation, sense-making
Tom Froese, Alexander Woodward, Takashi Ikegami
1. Why would anyone buy a hybrid electric vehicle? FirstUS in 1999, hybrid electric vehicles (HEVs) are a radicalearly market for hybrid electric vehicles Reid R. He?ner * ,
drilling in the Arctic National Wildlife Refuge (ANWR).opposed any exploration in ANWR because of the environmentalnoting that oil from ANWR would reduce US dependence on OPEC
2006. The Dollars and Sense of Hybrid Cars. AvailableSurvey of Oregon Hybrid Gas-Electric Car Owners. Portland.cars/new-cars/ high-cost-of-hybrid-vehicles-406/overview.htm
Energy Information Administration/Monthly Energy Review January 2001 163 Multiple Prefix Symbol
Energy Information Administration/Monthly Energy Review January 2001 163 Unit Multiple Prefix), NIST Spe- cial Publication 330, 1991 Edition (Washington, DC, August 1991), p.10. Table B2. Metric Prefixes Energy Source Original Unit multiplied by Conversion Factor equals Final Unit Petroleum barrels
Kostic, Milivoje M.
Second, qualitative interview techniques overcome challengesinterviews were conducted as long as they yielded new information, a common sampling technique
Decolonizing Architecture: Vieques as a Symbol for a Post-Colonized Puerto Rico.
??Puerto Rico has been a United States territory since 1898. Since then, our identity and culture has been threatened by the impositions of the colonizer.� (more)
Aponte, Tiara
A Surface-Based DNA Algorithm for the Expansion of Symbolic Determinants
In the past few years since Adleman's pioneering work on solving the HPP(Hamiltonian Path Problem) with a DNA-based computer [1], many algorithms have been designed on solving NP problems. Most of them are in the solution bases and need some error correction ...
Z. Frank Qiu; Mi Lu
The SoftPHY Abstraction: from Packets to Symbols in Wireless Network Design
At ever-increasing rates, we are using wireless systems to communicatewith others and retrieve content of interest to us. Current wirelesstechnologies such as WiFi or Zigbee use forward error correction todrive bit error ...
Jamieson, Kyle
The SoftPHY abstraction : from packets to symbols in wireless network design
At ever-increasing rates, we are using wireless systems to communicate with others and retrieve content of interest to us. Current wireless technologies such as WiFi or Zigbee use forward error correction to drive bit error ...
Jamieson, Kyle (Kyle Andrew), 1978-
Symbolic Modelling and Simulation of Wheeled Vehicle Systems on Three-Dimensional Roads.
??In recent years, there has been a push by automotive manufacturers to improve the efficiency of the vehicle development process. This can be accomplished by� (more)
Bombardier, William
3D modelling of an important symbol of the orthodox wooden churches: the imperial gates
The paper presents an on-going process to digitally reconstruct the Imperial Gates of the old Romanian orthodox churches scattered on a large geographical area in Transylvania. Due to the locations of the churches and to the indestructible character ... Keywords: 3d scanning, cultural heritage, imperial gates, orthodox wooden churches
Radu Moraru; Oana Gui; Ioan Chirila
Journal of Differential Equations 171, 173 202 (2001) Symbolic Dynamics for the Henon Heiles Hamiltonian
by the search for additional conservation laws in certain galactic potentials admitting an axis of symmetry. the sets Nle :=Nl & |N| and Nre :=Nr & |N| are two nonadjacent edges of |N|. 187HENON HEILES HAMILTONIANS #12;We call |N|, Nl , Nr , Nle , and Nre the support, the left side, the right side, the left edge
Zgliczynski, Piotr
other objectives is using less foreign oil. For him, the HEVand independence from foreign oil. The Brid- gers� divergentUS depen- dence on foreign oil (Bryce, 2005). New meanings
Parallel Data Structures for Symbolic Computation Katherine Yelick, Soumen Chakrabarti, Etienne Deprit, Jeff Jones,
. The performance issues in Multipol include masking remote latency, elimination of communication, load balance. Because we used a shared memory machine for the KnuthBendix, the underlying hardware handled replication. 3.1 Latency Masking The latency of remote operations can cause idle time if the processor waits
California at Berkeley, University of
Newsletter Spring 1998
Policy Paper 38: Europe after NATO Expansion. � �A IGCC/UCDC International Affairsinternational affairs for faculty and students throughout the UC system. These include policy
Materials for Nuclear Power: Digital Resource Center - BOOK ...
Feb 12, 2007 ... Select, Sandbox, Open Discussion Regarding Materials for Nuclear Power ... NATO Science Series II:Mathematics, Physics and Chemistry, Vol.
According to its Charter, the mission of AGARD is to bring together the leading personalities of the NATO nations in the
Volume I (french
Analysis and Models of Bilateral Investment Treaties using a Social Networks Approach
Bonomo, Flavia
Political soldiers and democratic institution-building in Bosnia-Herzegovina .
??This thesis seeks to identify if, in the course of the United States and NATO s democratic institution building efforts in Bosnia-Herzegovina, the United States� (more)
Boyce, Brian M.
Energy Emergency Energy Emergency Preparedness Quarterly Preparedness...
Supports 2012 NATO Summit Visit us at: http:energy.govoeservicesenergy-assuranceemergency-preparedness OE and the National Association of State Energy Officials (NASEO)...
A perceptual approach to the analysis of J. C. Risset�s Sud: sound, structure and symbol
Assuming that perception works as a constant dialectic between sense-data and concept, this paper presents a perceptual analysis of J. C. Risset�s Sud according to a conceptual framework based on a complementarity between intrinsic and extrinsic ...
Giselle Martins Dos Santos Ferreira
The 1893 World's Columbian Exposition symbolized the rebirth of Chicago after the disastrous 1871 fire that had
, and explore questions of Jewish-Christian relations, aesthetic debates, and Reform Judaism's treatment to the Old World. Talkback moderated by Lisa Silverman. "Breath in a Ram's Horn: The Jewish Spirit
Saldin, Dilano
NEWTON, Ask a Scientist at Argonne National Labs
Society (Toronto, Canada, May 14-18, 2000). 33. "Using Ionic Liquids for Oil Shale Extraction", M. Koel, W. K. Hollis, T. J. Lombardo, B.F. Smith, and J.B. Rubin, NATO...
Ordering Sherpa Life Through Their Rituals: Symbolic/Interpretative Perspective (A Review of Sherpas Through Their Rituals By Sherry B. Ortner)
a s is t h e c h a l l e n g e t o t h e s o c I a l s t a b i l i t y a n d s o c i a l s o l i d a r i t y o f c o m m u n a l l i f e . T h e p n n c l p l e s o f Buddhism el1couraoe tendencies towards Isolation and a t o m i z a t i o n t h a...
Dahal, Bishnu Prasad
A Study on the Pointwise Time-Space Estimates of Fundamental Solution for Higher Order Schr\\odinger Equation Whose Symbol Function is One Kind of Degenerate Polynomial
In this paper we investigated the point-wise time-space estimates of the fundamental solution for higher order Schr\\"odinger equation. These estimates improve the result of Yao [2] and generalize the one of Cui [1].
Myong-Jin Kim; Jin-Myong Kim
Le paysage comme repr�sentation spaciale : le paysage viticole comme symbole des indications de provenance des vins des r�gions Vale dos Vinhedos, Pinto Bandeira et Monte Belo (Br�sil).
??Le sujet de cette th�se est le paysage dans sa sp�cificit� viticole analys�e comme repr�sentation spatiale dans le processus de construction de l'espace g�ographique de� (more)
Falcade, Ivanira
Between Word and Image: Women Futurists and Parole in Liberta' 1914-1924
that Benedetta, employing occult and ancient symbolism,star is particularly rich in occult symbolism because it isone of the most well-known occult symbols. The pentagram is
Lasker-Ferretti, Janaya Sandra
CECM: Research - Simon Fraser University
Research. Symbolic Computation. These projects use symbolic computation in an essential way both in the process of discovery and proof. Each aims at�...
Figure: ...as open symbols, whereas cyclic conditions that led to fracture at <10 7 cycles are represented with closed symbols. The 10 7 cycle
finite state machine
... Moore machine), multiple start states, transitions conditioned on no input symbol (a null) or more than one transition for a given symbol and state ( ...
Effects of Membrane- and Catalyst-layer-thickness Nonuniformities in Polymer-electrolyte Fuel Cells
thicknesses for the membrane and catalyst layer. Figure 2.of dry membrane (a) and catalyst-layer (b) thickness (andhollow symbols) and catalyst-layer (filled symbols)
Weber, Adam Z.; Newman, John
Estimating the electrical conductivity of cement paste pore ...
... The open symbols aTe from the CRC Handbook 117]. ... (3). Also appearing in the figure are data from the CRC Handbook (open symbols). ...
ECE 687/787 Mobile Computing Mobile CommunicationsMobile CommunicationsMobile CommunicationsMobile Communications
resolution) 4,800 sps (2000 usec: inter-symbol time - ISI is not a problem, 256 chips/symbol) Chip sequence
Yu, Chansu
NREL: Search Help
Search Help Search More Search Options Site Map Printable Version Using Symbols Symbol Example Search Results none solar energy Finds results that contain either or both of these...
Icon combination for thai picture-based communication system
Graphic symbol mentioned in this article is a symbol which will be used in the Thai Picture-based Communication System. The interpretation of graphic symbol should be carefully considered as the picture-based communication system uses a set of icons ... Keywords: Thai graphic symbols, augmentative and alternative communication, icon combination, iconicity, semantic compaction
Puttachart Potibal, Sarinya Chompoobutr, Wantanee Phantachat, Monthika Boriboon
Research - CECM - Simon Fraser University
Heinz Bauschke - Research. Research Interests. Optimization, Convexity, Functional Analysis, Monotone Operator Theory, Medical Imaging, Symbolic�...
Optimization Online - NCSOSTOOLS: A COMPUTER ALGEBRA ...
May 30, 2010 ... NCSOSTOOLS: A COMPUTER ALGEBRA SYSTEM FOR SYMBOLIC AND NUMERICAL COMPUTATION WITH NONCOMMUTATIVE�...
SYSTEM DESIGN Lessons Learned
· MCFC with steam reformer · Fuel reformer built for methane production · 302 Hours On Load Operation Air and Spent Reformate Recuperators Multi Stream Steam Generator To Regen Burner Fuel Condensate (NATO F76/JP5 Logistics Fuel) Ship Service Fuel Cell Program · Low Temperature PEM with ATR reformer
Greenhouse effect, sea level and drought
This book contains the proceedings of a NATO sponsored symposium in 1989. The book is divided into five parts: (1) Greenhouse Effects (6 papers); (2) Sea Level (4 papers); (3) Drought and Water Deficiency (10 papers); (4) Management, Techniques, and Case Studies (20 papers); and (5) Conclusions (1 paper).
Paepe, R.; Fairbridge, R.; Jelgersma, S. (eds.)
This publication may be used by the US Army, US Navy, and US Air Force during training, exercises, and contingency operations.
and completion in North Atlantic Treaty Organization (NATO) countries. ACKNOWLEDGMENTS Acknowledgment is gratefully made to the organizations listed below for permitting the use of copyrighted material is HQ, TRADOC. Submit changes for improving this publication on Department of the Army (DA) Form 2028
US Army Corps of Engineers
Nonlinear Dynamics of Ultra-Cold Gas: Collapse of Bose Gas With Attractive Interaction
Solutions for the Nonlinear Schrodinger equation for collapsing Bose gas with attraction. This is a copy of the paper published in 1992 in Proceedings of NATO Advanced Research workshop on Singularities in Fluids, Plasmas and Optics (Heraklion, Greece) edited by R.E. Caflisch and G.C. Papanicolaou (Kluwer Academic).
Flambaum, V V
Ethan M. Lange, Ph.D. Associate Professor
1994-1997 M.A., University of California, Los Angeles, Mathematics 1991-1994 B.S., University-telangiectasia. (R.A. Gatti and R.B. Painter, Eds) NATO ASI Series Vol. H 77. Springer-Verlag Berlin Heidelberg. 37 for an association between prostate cancer and chromosome 8q24 and 10q11 genetic variants in African American men
Crews, Stephen
JAN 183 26 [1] R.S. Bird. Lectures on constructive functional programming. In M. Broy, editor, Constructive Methods
University of Technology, 1990. [3] C. Morgan. Programming from Specifications. Series in Computer Science (C.A.RJAN 183 26 END OD END References [1] R.S. Bird. Lectures on constructive functional programming. In M. Broy, editor, Constructive Methods in Computing Science, NATO ASI Series F, pages 151
Property:MeanReservoirTemp | Open Energy Information
MeanReservoirTemp MeanReservoirTemp Jump to: navigation, search Property Name MeanReservoirTemp Property Type Temperature Description Mean estimated reservoir temperature at location based on the USGS 2008 Geothermal Resource Assessment if the United States Pages using the property "MeanReservoirTemp" Showing 25 pages using this property. (previous 25) (next 25) A Abraham Hot Springs Geothermal Area + 363.15 K90 °C 194 °F 653.67 °R + Adak Geothermal Area + 428.15 K155 °C 311 °F 770.67 °R + Akun Strait Geothermal Area + 353.15 K80 °C 176 °F 635.67 °R + Akutan Fumaroles Geothermal Area + 523.15 K250 °C 482 °F 941.67 °R + Alvord Hot Springs Geothermal Area + 408.15 K135 °C 275 °F 734.67 °R + Amedee Geothermal Area + 388.15 K115 °C 239 °F 698.67 °R + Arrowhead Hot Springs Geothermal Area + 388.15 K115 °C
User:Kyoung/Sandbox/Areas | Open Energy Information
source source History View New Pages Recent Changes All Special Pages Semantic Search/Querying Get Involved Help Apps Datasets Community Login | Sign Up Search User page Edit History Facebook icon Twitter icon » User:Kyoung/Sandbox/Areas < User:Kyoung | Sandbox Jump to: navigation, search CSV Geothermal Resource Area Geothermal Region Control Structure Brophy Model Host Rock Age Host Rock Lithology Mean Capacity Mean Reservoir Temp Abraham Hot Springs Geothermal Area Northern Basin and Range Geothermal Region 4.02 MW4,020 kW 4,020,000 W 4,020,000,000 mW 0.00402 GW 4.02e-6 TW 363.15 K90 °C 194 °F 653.67 °R Adak Geothermal Area Alaska Geothermal Region 13.35 MW13,350 kW 13,350,000 W 13,350,000,000 mW 0.0134 GW 1.335e-5 TW 428.15 K155 °C 311 °F 770.67 °R Akun Strait Geothermal Area Alaska Geothermal Region 0.61 MW610 kW
Hybrid hierarchical learning from dynamic scenes
The work proposes a hierarchical architecture for learning from dynamic scenes at various levels of knowledge abstraction. The raw visual information is processed at different stages to generate hybrid symbolic/sub-symbolic descriptions of the scene, ...
Prithwijit Guha; Pradeep Vaghela; Pabitra Mitra; K. S. Venkatesh; Amitabha Mukerjee
NETL: Gasifipedia
Corporation WTE Waste-to-Energy Chemical Symbols Symbol Definition Al2O3 Alumina CH3COOH Acetic Acid CH4 Methane Co Cobalt CO Carbon Monoxide CO2 Carbon Dioxide COS Carbonyl...
Adinkras: A Graphical Technology for Supersymmetric Representation Theory
We present a symbolic method for organizing the representation theory of one-dimensional superalgebras. This relies on special objects, which we have called adinkra symbols, which supply tangible geometric forms to the still-emerging mathematical basis underlying supersymmetry.
Michael Faux; S. J. Gates Jr
State of roads : public works as research, India circa 1960
That the road is a symbol of the prowess of the nation-state seems tautological, a uni"ed phenomenon of political symbolism that manifests as an infrastructural network. When subjected to a close historical examination, ...
Khorakiwala, Ateya A
Effectively reasoning about infinite sets in answer set programming
In answer set programming (ASP), one does not allow the use of function symbols. Disallowing function symbols avoids the problem of having logic programs which have stable models of excessively high complexity. For example, Marek, Nerode, and Remmel ...
Victor Marek; Jeffrey B. Remmel
�Il faut m�diterraniser la peinture�: Giorgio de Chirico�s Metaphysical Painting, Nietzsche, and the Obscurity of Light
literally: incorporating esoteric symbols mentioned byimperatives � jealously esoteric and exclusive? Thethat it confused his esoteric genius with the exoteric
Merjian, Ara H.
Fundamental solutions of pseudo-differential operators over p-adic fields
We show the existence of fundamental solutions for p-adic pseudo-differential operators with polynomial symbols.
W. A. Zuniga-Galindo
Balanced Dense Polynomial Multiplication on Multi-cores - CECM
Computer Science and Artificial Intelligence Laboratory. Massachusetts Institute of Technology, Cambridge, USA firstname.lastname@example.com. Abstract? In symbolic�...
Feb 7, 2007 ... It integrates a numeric and symbolic computational engine, graphics system, programming language, documentation system, and advanced�...
Mathematics of Computer Algebra and Analysis Project ... - CECM
MITACS Seminar Series on Mathematics of Computer Algebra and Analysis. Large Expression Management in Computer Algebra for Symbolic Modelling.
Computer Algebra Course - CECM
Michael Monagan: Computer Algebra. ... Representing and simplifying mathematical formulae on a computer. Symbolic differentiation of a formula.
DLMF: �26.1 Special Notation
... (1994) , Rosen et al. (2000) ), and also an unconventional symbol in Abramowitz and Stegun (1964, Chapter 24) . � 2010 ...
Crystal Lattice Structures - TMS
Feb 7, 2007 ... This resource contains 273 common crystal lattice structures indexed by Strukturbericht designation, Pearson symbol, space group, prototype,�...
Page 1. DICTIONARY Keywords 8-12 September ... Manual DICTIONARY PURPOSE Symbolic name for DATAPLOT's dictionary file. ...
Microsoft Word - May2006.doc
National Nuclear Security Administration (NNSA)
Facility Reporting Identification Symbol (RIS) Contents - Transactions - Physical Inventory Listings (PIL) - Material Balance Reports (MBR) Classification of Data Providing...
Postscript - CECM - Simon Fraser University
NERSC/MSRI Workshop. on. Parallel Symbolic Computation. CECM. Centre for Experimental &. Constructive Mathematics. Simon Fraser University. Berkeley�...
DLMF: �4.18 Inequalities
... 4.18. � Jordan's Inequality. Show Annotations Keywords: Jordan's inequality, sine function. 4.18.1 . Show Annotations Symbols ...
Redundant Sensor Calibration and Estimation for Monitoring and Control of Nuclear Power Plants Xin Jin, Asok Ray and Robert M. Edwards
Commission, NUREG/CR-6895, Jan 2006. 2. A. RAY, "Symbolic dynamic analysis of complex systems for anomaly
... 2190 TEP Property Property Value Manufacturer Chevron Turbine Oil Symbol 2190 TEP Composition >99% Heavy paraffinic distillates ...
users with one single TA and one base station with N RAs). The transmission is frame oriented: the bit are mapped into symbols via QPSK modulation, i.e. Lx = L/2 symbols per frame. The frame is divided that pilot QPSK symbols are distributed in the frame according to a hexagonal grid in which Mp sub- carriers
Biohazardous Waste Disposal Guidelines Sharps Waste Solid Lab Waste Liquid Waste Animals Pathological Waste
2/2009 Biohazardous Waste Disposal Guidelines Sharps Waste Solid Lab Waste Liquid Waste Animals Pathological Waste Description Biohazard symbol Address: UCSD 200 West Arbor Dr. San Diego, CA 92103 (619 (9:1) OR Biohazard symbol (if untreated) and identity of liquid waste Biohazard symbol Address
Firtel, Richard A.
US Navy mobility fuels: Worldwide survey and analysis of both commercial and Navy fuels. Final report
Quality and worldwide availability of distillate fuels have become increasing concerns to the U.S. Department of Defense. In response to these concerns, the David Taylor Research Center (DTRC) has conducted a worldwide survey of such fuels through a contract with the National Institute for Petroleum and Energy Research (NIPER). Representative fuels were collected at both Navy and commercial ports around the world through a NIPER subcontract to ABS Worldwide Technical Services (ABSTECH). The collected fuels were Naval Distillate Fuel (MIL-F-16884H, NATO F-76), Marine Gas Oil (MGO), Heavy Marine Gas Oil (HMGO), and Marine Diesel Fuel (MDF) for the Navy; Automotive/Truck Diesel for the Army; and Aviation Turbine Fuel (MIL-T-5624L, NATO JP-5) for the Naval Air Propulsion Center. The Navy F-76 fuel samples were characterized at NIPER by 44 different fuel property analyses.
Woodward, P.W.; Shay, J.Y.
Time Brightness
Perlmutter, et al., in Thermonuclear Supernovae, NATO ASI, v. 486 (1997) Perlmutter, et al., in Thermonuclear Supernovae, NATO ASI, v. 486 (1997) Cosmology from . . . Time Brightness ... . . . 50-100 Fields Lunar Calendar Scheduled Follow-Up Imaging at Hubble, Cerro Tololo, WIYN, Isaac Newton Scheduled Follow-Up Spectroscopy at Keck Almost 1000 Galaxies per Field RESULT: ~24 Type Ia supernovae discovered while still brightening, at new moon Berkeley Lab Keck WIYN Cerro Tololo Isaac Newton Hubble Strategy We developed a strategy to guarantee a group of supernova discoveries on a certain date. Just after a new moon, we observe some 50 to 100 high-galactic lattitute fields-each containing almost a thousand high-redshift galaxies-in two nights on the Cerro Tololo 4-meter telescope with Tyson & Bernstein's wide-field camera. We return three weeks later to observe the same
Canonical quantum gravity and the problem of time
This is the write-up of my lectures at the NATO Summer School held in Salamanca in June 1992. The paper deals with the problem of time in quantum gravity. All the major schemes are reviewed. Please note that the paper is in two parts for ease of email transmission; this is part 1. The mailer from gr-qc may further subdivide these two sections.
Isham, C J
Computerized international geothermal information systems
The computerized international geothermal energy information system is reviewed. The review covers establishment of the Italy - United States linked data centers by the NATO Committee on Challenges of Modern Society, through a bilateral agreement, and up to the present time. The result of the information exchange project is given as the bibliographic and numerical data available from the data centers. Recommendations for the exchange of computerized geothermal information at the international level are discussed.
Phillips, S.L.; Lawrence, J.D.; Lepman, S.R.
Script identification from images using cluster-based templates
DOE Patents (OSTI)
A computer-implemented method identifies a script used to create a document. A set of training documents for each script to be identified is scanned into the computer to store a series of exemplary images representing each script. Pixels forming the exemplary images are electronically processed to define a set of textual symbols corresponding to the exemplary images. Each textual symbol is assigned to a cluster of textual symbols that most closely represents the textual symbol. The cluster of textual symbols is processed to form a representative electronic template for each cluster. A document having a script to be identified is scanned into the computer to form one or more document images representing the script to be identified. Pixels forming the document images are electronically processed to define a set of document textual symbols corresponding to the document images. The set of document textual symbols is compared to the electronic templates to identify the script. 17 figs.
Hochberg, J.G.; Kelly, P.M.; Thomas, T.R.
A computer-implemented method identifies a script used to create a document. A set of training documents for each script to be identified is scanned into the computer to store a series of exemplary images representing each script. Pixels forming the exemplary images are electronically processed to define a set of textual symbols corresponding to the exemplary images. Each textual symbol is assigned to a cluster of textual symbols that most closely represents the textual symbol. The cluster of textual symbols is processed to form a representative electronic template for each cluster. A document having a script to be identified is scanned into the computer to form one or more document images representing the script to be identified. Pixels forming the document images are electronically processed to define a set of document textual symbols corresponding to the document images. The set of document textual symbols is compared to the electronic templates to identify the script.
Hochberg, Judith G. (Los Alamos, NM); Kelly, Patrick M. (Los Alamos, NM); Thomas, Timothy R. (Santa Fe, NM)
Apparatus And Method For Reconstructing Data Using Cross-Parity Stripes On Storage Media
An apparatus and method for reconstructing missing data using cross-parity stripes on a storage medium is provided. The apparatus and method may operate on data symbols having sizes greater than a data bit. The apparatus and method makes use of a plurality of parity stripes for reconstructing missing data stripes. The parity symbol values in the parity stripes are used as a basis for determining the value of the missing data symbol in a data stripe. A correction matrix is shifted along the data stripes, correcting missing data symbols as it is shifted. The correction is performed from the outside data stripes towards the inner data stripes to thereby use previously reconstructed data symbols to reconstruct other missing data symbols.
Hughes, James Prescott (Lino Lakes, MN)
diff -crN oommf-1.0b0/CHANGES oommf/CHANGES
... newcommand{\\pipe}{{\\tt|}} % "Pipe" symbol. % Codelisting environment. \\latex{. ... This manual documents release 1.0b0. \\end{center}. ...
After the End: New Music in Russia from Perestroika to the Present
discussed as enigmatic or esoteric and thus, presumably,his works with ever-more esoteric symbols while abandoningminimalist diptych The Esoteric Dances of the Kali-Yuga [
Quillen, William
Michael Monagan: Research - CECM
My main area of research is Computational Algebra which is also called Symbolic Computation. There I am interested in polynomial algebra, in particular, �...
Education Research Interests Employment Research - CECM
Jun 15, 2003 ... Research in symbolic summation, and differential equations. Software ... Research in Computer Science and Control, France. Supervisor: Dr. B.
Digital Ink Compression via Functional Approximation - CECM
tions in strokes give symbols that a human reader would recognize ... curves with different error limits. ... error's magnitude to be not greater than the sampling er-.
Mathematics of Computer Algebra and Analysis - MOCAA - CECM
Dec 17, 2012 ... The simulated epidemic exhibited a strong non-linear response to social ... of parametric polynomial equations symbolically is in demand for an�...
Divergent compensatory growth responses within species: linked to ...
body) using a digital camera mounted overhead. Photos were imported into the program ..... period for a length and b weight. Symbols and lines are the same as.
Glossary Item - Electron
Electron An Electron Electrons are negatively charged particles that surround the atom's nucleus. Electrons were discovered by J. J. Thomson in 1897. Particle Data Symbol Mass...
Construction and Bench Testing of a Prototype of 11
c show the equivalent circuit and the impedance locus referred to the primary of the transformer. The coupling between the cavity and the transmission line is symbolically...
Decentralizing urbanization : harnessing the potential of small cities in India
Perceived as symbols of national development or degeneration, megacities continue to dominate discourse and action related to urbanization, particularly in developing countries like India. Simultaneously, a large portion ...
Suri, Sagarika
NIST Crystal Data - TMS
Feb 7, 2007 ... The data in this resource include the standard cell parameters, cell volume, space group number and symbol, calculated density, chemical�...
?�?****?�*8__PAGEZERO****?__TEXT* p p ...
??�?***�*8__PAGEZERO****?__TEXT* p p***__text__TEXT$�*I?*�*�* __picsymbol_stub__TEXT*n�D�*^�*�*$__symbol_stub__TEXT ...
DLMF: Bibliography M
... and J. Nuttall (1969) Complex-energy method for ... 1967) Approximation of Functions: Theory and Numerical ... for the 3- symbols, Nuclear Physics A ...
Andrew Arnold's Homepage - CECM - Simon Fraser University
The International Symposium on Symbolic and Algebraic Computation (ISSAC), held at the Technische Universit?t M?nchen in Munich, Germany, on July 25-28, �...
CECM: Annual Summer Meeting 2009 Program
Jul 24, 2009 ... Research � CECM Research Posters � Symbolic Computation ... Dynamic Medical Imaging. 10:30am. Poster setup. Coffee break (coffee, tea,�...
Design of a low-cost underwater acoustic modem for short- range sensor networks
of Optical Waves Underwater . . . . . . . 3.2.2 ExistingChapter 4 Existing Underwater Acoustic Modems 4.1 CommercialControl Structure of Symbol Synchronization for Underwater
Benson, Bridget
DLMF: �19.19 Taylor and Related Series
... Annotations Symbols: E_{s}(\\mathbf{z}) : elementary symmetric function, n : nonnegative integer, \\mathbf{Z} : variable, Z_{j} : components and A ...
Essentials of the SI: Base & derived units
... Table 1. SI base units. SI base unit. Base quantity, Name, Symbol. length, meter, m. ... Table 2. Examples of SI derived units. SI derived unit. ...
The Computer Algebra group at Simon Fraser, the Symbolic Computation group at Waterloo, and the ORCCA group at Western meet approximately biweekly.
Specialized computer algebra system for application in general relativity
A brief characteristic of the specialized computer algebra system GRG_EC intended for symbolic computations in the field of general relativity is given.
S. Tertychniy
Conferences on Computer Algebra and Related Topics - CECM
Conferences on Computer Algebra and Related Topics. See also the list of Conferences and Workshops at SymbolicNet. East Coast Computer Algebra Day.
Sandia National Labs: PCNSC: Departments: Radiation-Solid Interactions...
Technetium Symbol: Tc Atomic Number: 43 Atomic Weight (Average): 98.9062 Mass (amu) no stable isotopes Abundance no stable isotopes IBA Techniques to Analyze: HIBS (Heavy Ion...
What are the Rare Earths? | Ames Laboratory
made from neodymium-iron--boron have been used in a variety of products, including electric motors and hybrid cars components. The Elements Scandium Sc symbol Scandium...
C:\\Forms\\DOE F 2100.1.cdr
(Signature and Title) CHIEF, ACCOUNTING OPERATIONS BRANCH OR DESIGNEE: (Signature) APPROPRIATIONS AND LIMITED SYMBOLS AMOUNT The following appropriation(s) have been credited by...
References | National Nuclear Security Administration
pertaining to Material Balance reporting and DOENRC Form 742C pertaining to Physical Inventory Listing (PIL). NMMSS Report D-2, "DOE Directory of Reporting Identification Symbols...
Research Highlight
observations were taken. Black regions symbolize the local orography. The underlying humidity field is a combination of interpolated aircraft measurements and the closest AMF...
Part I. An investigation of shock strengthening in a conical, convergent channel. Part II. Spectroscopic investigation of strong shockwaves in a conical, convergent channel.
??NOTE: Text or symbols not renderable in plain ASCII are indicated by [...]. Abstract is included in .pdf document. ABSTRACT OF PART I: The behavior� (more)
Storm, Erik
On the Design and Performance of the Maple System - Computer ...
a powerful set of facilities for symbolic mathematical computation, portability, and a .... and an external user interface are diff, expand, taylor, type, and coal f (for�...
JOM Subject Index
Mar 31, 2005 ... A glossary would also have been a valuable addition, but at least a list of symbols was included. Proper professorial due diligence was shown�...
Legitimacy and the Islamist challenge : a comparative study of the regime's strategy towards the Muslim Brotherhood in Egypt and Jordan, 1980-1989.
??In the 1970s, the Arab world faced Islamist resurgence. Islam achieved a role as a symbol of political legitimacy and became a source of political� (more)
R�stum, Mette
Livermore and Russian scientists propose new names for elements...
was named after Flerov - Flerov Laboratory of Nuclear Reactions (FLNR). Livermorium (atomic symbol Lv) was chosen to honor Lawrence Livermore National Laboratory (LLNL) and...
Livermorium and Flerovium join the periodic table of elements
was named after Flerov -- Flerov Laboratory of Nuclear Reactions (FLNR). Livermorium (atomic symbol Lv) was chosen to honor Lawrence Livermore National Laboratory (LLNL) and...
High Density Three-Dimensional Nanomagnetic Logic Systems Composed of Material with Crystalline Anisotropy
A. Symbols B Magnetic induction E: Energy H: Magnetic fieldfrom the total energy of the magnetic system according toeff :Effective magnetic field J: Dipolar coupling energy k:
Tian, Yuan
Atomic Spectroscopy
... The ground-state electron configurations of elements heavier than neon are shortened in the table by using rare-gas element symbols in brackets ...
Racial Identity Development and Psychological Adjustment in Biracial Individuals of Minority/Minority Racial Group Descent.
??Based on the theoretical framework of symbolic interactionism and race as a social construct, individuals with biological parents racially distinct from each other have biracial� (more)
Walker, Kizzie Paule
Abstract Matrix Arithmetic - CECM
University of Birmingham www.cs.bham.ac.uk/?aps|?vxs ...... Algebra 2006: Latest. Advances in Symbolic Algorithms, p. 193?210. World. Scientific, 2006.
Nuclear Materials Management & Safeguards System CONTACT INFORMATION...
Nuclear Materials Management & Safeguards System CONTACT INFORMATION UPDATE REPORTING IDENTIFICATION SYMBOL (RIS) RIS: Address: Facility Name: CONTACTS Business Name PhoneFax...
�Speaking German Like Nobody�s Business�: Anna May Wong, Walter Benjamin, and the Possibilities of Asian American Cosmopolitanism
a transnational symbol of cosmopolitan femininity. Moreover,terms the �more cosmopolitan� Asian American population. 7creation of a European cosmopolitan culture at this time. 8
Lim, Shirley Jennifer
hare2MSW02.ps - CECM - Simon Fraser University
This research is part of the MITACS Symbolic Analysis Project and is based ... in the event that the decimal expansion of a number is known to greater accuracy.
MATH445/745, Fall 2007, Homework 3. - CECM
sources on your homework. 1. Prove that contracting an edge of a plane graph corresponds to deleting the dual edge from the dual. In symbols, show that (G�...
Criteria for Performance Excellence
... come to symbolize America's commitment to ... Project your organization's future pERFORManCE relative to ... expectations and securing your CUSTOM ...
Maryland Solar Decathlon 2011 Construction Drawings
Methodologies used by Warsaw Pact countries (except USSR) in obtaining US technologies. Student report
The Warsaw Pact countries obtain U.S. technologies by legal and illegal means. Methods of collection include espionage, overt collection, acquisition by scientific and educational exchange participants, and illegal trade activities. Examples of methods used by the Warsaw Pact countries (except the USSR) are provided. The US faces barriers to preventing loss of its technologies. Among these are resistance from US business interests, insufficient cooperation between US government agencies and overseas allies, lack of US counterintelligence personnel, and the openess of American society. The study concludes that the Warsaw Pact's countries have narrowed NATO's qualitative lead in weaponry as a result of the Warsaw Pact's acquisition effort.
Cheeseman, R.J.
Interview of Gareth Stedman Jones
to follow the edge of a crater that would be made if a bomb landed there; it was a period when nuclear war didn't seem inconceivable; I remember the committee being invited to SHAPE to hear the NATO case; I also got involved in the Labour Club alongside... , something that no academic institution would feel empowered to do these days; that sort of informality and trust is something that I've liked most about Cambridge; I think Cambridge is a strange place because its nearly all immigrants from one place...
Stedman Jones, Gareth
Assessing the risk from the depleted uranium weapons used in Operation Allied Force
The conflict in Yugoslavia has been a source of great concern for the neighboring countries, about the radiological and toxic hazard posed by the alleged presence of depleted uranium in NATO weapons. In the present study a worst-case scenario is assumed mainly to assess the risk for Greece and other neighboring countries of Yugoslavia at similar distances . The risk of the weapons currently in use is proved to be negligible at distances greater than 100 Km. For shorter distances classified data of weapons composition are needed to obtain a reliable assessment.
Liolios, T E
SPECIAL SESSION ON Decision Support Tools
This report was prepared under the auspices of the North Atlantic Treaty Organization s Committee on the Challenges of Modern Society (NATO/CCMS) as a service to the technical community by the United States Environmental Protection Agency (U.S. EPA). The report was funded by U.S. EPA s Technology Innovation Office. The report was produced by Environmental Management Support, Inc., of Silver Spring, Maryland, under U.S. EPA contract 68-W-00-084. Mention of trade names or specific applications does not imply endorsement or acceptance by U.S. EPA. i CONTENTS
Special Session Number; Groundwater (phase Iii; Of Contaminated L
Energy Emergency Energy Emergency Preparedness Quarterly Preparedness Quarterly
3 J 3 J U L Y 1 5 , 2 0 1 2 U.S. DEPARTMENT OF ENERGY OE Hosts National Energy Assurance Conference Office of Electricity Delivery and Energy Reliability (OE) Infrastructure Security and Energy Restoration (ISER) Deputy Assistant Secretary ISER William N. Bryan Director Infrastructure Reliability ISER Stewart Cedres DOE Supports 2012 NATO Summit Visit us at: http://energy.gov/oe/services/energy-assurance/emergency-preparedness OE and the National Association of State Energy Officials (NASEO) hosted the 2012 National Energy Assurance Conference on June 28-29 at the Gaylord National Hotel in National Harbor, MD. The conference culminated the DOE/OE's ongoing American Recovery
From irreducible representations to locally decodable codes
A q-query Locally Decodable Code (LDC) is an error-correcting code that allows to read any particular symbol of the message by reading only q symbols of the codeword even if the codeword is adversary corrupted. In this paper we present a new approach ... Keywords: locally decodable codes, representation theory
Klim Efremenko
Noname manuscript No. (will be inserted by the editor)
plants cooling towers described by histograms. Keywords Symbolic Data, Regularized Generalized Canonical as the one describing power plants cooling towers that will illustrate our present study, a fusion pro- cess 4 illustrates the usefulness of symbolic GCCA on a 4-block dataset for studying power plants cooling
Emilion, Richard
An accurate approximation to the average error probability of cooperative diversity in Nakagami-m fading
A new approximation to the average symbol error rate of cooperative diversity is derived for independent and non-identically distributed Nakagami-m fading channels. The new approximation has the same computational complexity as previous lower bounds ... Keywords: Nakagami, cooperative diversity, fading channels, symbol error rate
Norman C. Beaulieu; Yunfei Chen
IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS, VOL. 19, NO. 11, NOVEMBER 2001 2267 Bandwidth-Efficient Wireless OFDM
) in demodulation at the cost of low efficiency of bandwidth usage and degradation in symbol error performance. Then we consider the OFDM that achieves high efficiency of bandwidth usage, allows interchannel achieves lower symbol error rate and higher mutual information than the conventional DFT-based OFDM system
Sun, Yi
Sign inBecome a MarketWatch member todayFront Page News Viewer Commentary Markets Investing Personal Finance Community Quad/Graphics Inc (QUAD)
.08% Car Review Enter Symbols or Keywords SEARCH 2011 Porsche Spyder Some Boxster fans may say Porsche went from MarketWatch MarketWatch.com Enter Symbols or Keywords SEARCH Site Index Topics Help Feedback. All rights reserved. By using this site, you agree to the Terms of Service and Privacy Policy
Why not Artificial Consciousness or Thought?
The purpose of this article is to show why consciousness and thought are not manifested in digital computers. Analyzing the rationale for claiming that the formal manipulation of physical symbols in Turing machines would emulate human thought, ... Keywords: causal capacities, designation, emergence, extensional meaning, formal programs, intensional meaning, interpretation, levels, neural networks, physical symbols, representation, semantics
Richard H. Schlagel
Biogeography Editor-in-Chief: Robert J. Whittaker
. But conflict re- mains about whether to allow drilling in the federal portion of ANWR. While ANWR is thought in North America. Thus, the ANWR question is typically cast in symbolic terms -- "big oil" looking to cash a simple thought ex- periment to help cut through the symbol- ism. Imagine that ANWR -- both the region
Olson, Link
By Matthew J. Kotchen o drill or not to drill? That is the ques-
Kotchen, Matthew J.
Franklin Allen Anna Gelpern
Zywina, David
TRAVELER RESPONSE TO THE 2005 GAS PRICE SPIKE Matthew Bomberg
Kockelman, Kara M.
Biohazardous Waste Disposal Guidelines Sharps Waste Solid Lab Waste Liquid Waste Animals Pathological Waste Description Biohazard symbol Address: UCSD 9500 Gilman Drive La Jolla, CA 92093 (858) 534) and identity of liquid waste Biohazard symbol Address: UCSD 9500 Gilman Drive La Jolla, CA 92093 (858) 534
Russell, Lynn
Dissimilarity based feature selection for text classification: a cluster based approach
In this paper, a simple and efficient symbolic text classification is presented. We propose a new method of representing documents based on clustering of term frequency vectors. For each class of documents we propose to create multiple clusters to preserve ... Keywords: dissimilarity measure, fuzzy C means, symbolic representation, text classification, text document
S. Manjunath; B. S. Harish; D. S. Guru
FANTASY, COMPUTATION, AND REALITY1 Nils J. Nilsson
't only about hydrogen bombs or nuclear powerplants--it's an exciting subject in its own right aside from task is similar to that of a nuclear physicist wanting to describe his subject. Nuclear physics isn necessarily deal with numbers. Computers really process symbols. Those symbols can just as easily stand
Nilsson, Nils J.
Dynamical genetic programming in xcsf
A number of representation schemes have been presented for use within learning classifier systems, ranging from binary encodings to artificial neural networks. This paper presents results from an investigation into using a temporally dynamic symbolic ... Keywords: Graph-based genetic programming, XCSF, learning classifier systems, multistep-ahead prediction, reinforcement learning, self-adaptation, symbolic regression
Richard J. Preen, Larry Bull
Waste Toolkit A-Z Light bulbs
Waste Toolkit A-Z Light bulbs Can I recycle light bulbs? It depends what type of bulbs you have for the `hazardous' symbol on the packaging or on the light bulb (crossed out wheelie bin symbol). How can I recycle light bulbs? Standard filament bulbs Put in the waste bin (landfill waste) as these are not classified
Melham, Tom
Dynamics and Structure of the 30 Largest North American Companies
In this paper we describe a method to analyze the structure and dynamics of the 30 largest North American companies. The method combines the tools of symbolic time series analysis (Daw et al. in Rev Sci Instrum 74:916---930, 2003) with the nearest neighbor ... Keywords: C10, C14, Cluster analysis, Financial asset returns, G10, Symbolic time series analysis
Juan Gabriel Brida; Wiston Adri�n Risso
Automatic script identification from images using cluster-based templates
We have developed a technique for automatically identifying the script used to generate a document that is stored electronically in bit image form. Our approach differs from previous work in that the distinctions among scripts are discovered by an automatic learning procedure, without any handson analysis. We first develop a set of representative symbols (templates) for each script in our database (Cyrillic, Roman, etc.). We do this by identifying all textual symbols in a set of training documents, scaling each symbol to a fixed size, clustering similar symbols, pruning minor clusters, and finding each cluster`s centroid. To identify a new document`s script, we identify and scale a subset of symbols from the document and compare them to the templates for each script. We choose the script whose templates provide the best match. Our current system distinguishes among the Armenian, Burmese, Chinese, Cyrillic, Ethiopic, Greek, Hebrew, Japanese, Korean, Roman, and Thai scripts with over 90% accuracy.
Hochberg, J.; Kerns, L.; Kelly, P.; Thomas, T.
Coupled Intermittent Maps Modelling the Statistics of Genomic Sequences: A Network Approach
The dynamics of coupled intermittent maps is used to model the correlated structure of genomic sequences. The use of intermittent maps, as opposed to other simple chaotic maps, is particularly suited for the production of long range correlation features which are observed in the genomic sequences of higher eucaryotes. A weighted network approach to symbolic sequences is introduced and it is shown that coupled intermittent polynomial maps produce degree and link size distributions with power law exponents similar to the ones observed in real genomes. The proposed network approach to symbolic sequences is generic and can be applied to any symbol sequence (artificial or natural).
Astero Provata; Christian Beck
Radiation Radiation Protection Qualification Standard Reference Guide MARCH 2009 ii This page intentionally left blank iii Table of Contents LIST OF FIGURES ..................................................................................................................... iv LIST OF TABLES ....................................................................................................................... iv ACRONYMS, ABBREVIATIONS and SYMBOLS ................................................................. v PURPOSE...................................................................................................................................... 1 SCOPE ...........................................................................................................................................
Daoism in the Twentieth Century: Between Eternity and Modernity
at the core of Daoism lies esoteric teaching and mysticalof their archaic and esoteric symbolism. 27 It was a fewthe techniques are often esoteric and dif?cult to understand
Palmer, David A.; Liu, Xun
Cadmium Symbol: Cd Atomic Number: 48 Atomic Weight (Average): 112.4116 Mass (amu) 105.906461 107.904186 109.903007 110.904182 111.902761 112.904401 113.903361 115.904758 Abundance...
Ge-In (Germanium - Indium)
Ge-In crystallographic data...Ge-In crystallographic data Phase Composition, wt% In Pearson symbol Space group (Ge) 0 cF 8 Fd m (In) 100 tI 2 I 4/ mmm...
In-Si (Indium - Silicon)
In-Si crystallographic data...In-Si crystallographic data Phase Composition, wt% In Pearson symbol Space group (Si) ~0 cF 8 Fd m (In) ~100 tI 2 I 4/ mmm...
Handbook of Chemistry and Physics 91st Edition - TMS
04/7/2011 - Handbook of Chemistry and Physics 91st Edition (2010), W.M. ... is a one-of-a-kind handbook which gives the fundamental data on: units, symbols,�...
Moments of perfection : a study of natural lighting in the Church of Santo Spirito
Reliance on natural lighting in the Renaissance is put into context through the exploration of religious light symbolism and the explanation of the dependence on the solar path to measure the passage of time. Through ...
Wyckoff, Laura Ellen
Memory Usage Inference for Object-Oriented Programs
We present a type-based approach to statically derive symbolic closed-form formulae that characterize the bounds of heap memory usages of programs written in object-oriented languages. Given a program with size and alias ...
Nguyen, Huu Hai
Mitigation of the electron-cloud effect in the PSR and SNS proton storage rings by tailoring the bunch profile
CLOUD EFFECT IN THE PSR AND SNS PROTON STORAGE RINGS BYSpallation Neutron Source (SNS) at Oak Ridge, and for theparameters for the PSR and SNS. Parameter Symbol,unit PSR
Pivi, M.; Furman, M.A.
Thorium Symbol: Th Atomic Number: 90 Atomic Weight (Average): 232.0381 Mass (amu) 232.038070 Abundance 100.0000 IBA Techniques to Analyze: HIBS (Heavy Ion BackScattering)...
as follows:
Official: a. Provides updated unit designations, office symbols, and addresses for the 66th Military Intelligence Group (Provisional) and the Collection Battalion. b. Provides an updated index of USAREUR counterintelligence offices.
David L. Benton Iii; Robert L. Nabors; Th Mi Gp (prov
NLTK: the Natural Language Toolkit
NLTK, the Natural Language Toolkit, is a suite of open source program modules, tutorials and problem sets, providing ready-to-use computational linguistics courseware. NLTK covers symbolic and statistical natural language processing, and is interfaced ...
Edward Loper; Steven Bird
The World Trade Center disaster : Analysis and recommendations
The terrorist attacks of September 11, 2001 brought about the destruction of two symbols of American economic strength, the twin towers of the World Trade Center in New York City. These towers remained standing for some ...
Kirk, Jeremy Abraham, 1977-
Frontiers of the Gauge Principle and the Unit of Charge
It is shown that the gauge principle (to be traced back to potential difference) displays a new facet as one approaches the Planck-wall: availability of naked alternatives (symbolized as (�) or (�)), (due to "squeezing" by scaleless regime). ...
Anne Magnon
General Guidelines for Emblem and Logo Applications
Energy.gov (U.S. Department of Energy (DOE))
Projects funded by the American Recovery and Reinvestment Act (ARRA) will bear a newly-designed emblem. The emblem is a symbol of President Obama�s commitment to the American People to invest their...
Guide for the Use of the International System of Units (SI)
... This possibility is reflected in the common practice of using the symbol kWh rather than kW � h or kW h for the kilowatt hour. ...
A new town hall for Norwich, Vermont
... the public building is not an abstract symbol, but partakes in daily life, which relates to what is timeless and common. The objective of this thesis was to design a new town hall for Norwich, Vermont. The design ...
Harboe, Peter Thomas McIlvaine
Recollecting history : songs, flags and a Syrian square
Symbols have played a major role in the development of a Syrian national identity since the beginning of the 20th century. These representations are national, official, and/or public (flag, song, and square), that are ...
Sergie, Lina, 1974-
Cultural production and identity in colonial and post-colonial Madras, India
All cultural production is a consequence of its context and is infused with meaning and identity. A preoccupation with the visual and symbolic aspects of architectural form and its cultural meaning has led to an increased ...
Datey, Aparna
The Pennsylvania State University The Graduate School
.......................................................................148 Figure 4.3: Chemical data (symbols) and PHAST predictions (lines) of the first reactive tracer inherent in the PHAST model....................................................146 Table 4-4 Cation Exchange Reactions Included in PHAST Models
Singha, Kamini
SOP No
... Hydrogen (H2) 21 �C (70 �F) Petroleum (Hawaii) 26.67 �C (80 �F) Page 10. ... Uncertainty Component Description Symbol Source Typical Distribution ...
... Hydrogen (H 2 ), 21 �C (70 �F). Petroleum (Hawaii), 26.67 �C (80 �F). ... Uncertainty Component Description, Symbol, Source, Typical Distribution. ...
Dr. Martin Luther King Jr. Birthday Celebration
Today, Dr. King is memorialized on the National Mall where he once spoke, a symbol of how far our Nation has come and a testament to the quiet heroes whose names may never appear in history books,...
Low complexity distributed STBCs with unitary relay matrices for any number of relays
Jing and Hassibi introduced a distributed space time block coding scheme for symbol synchronous, coherent, amplify and forward relay networks with half duplex constrained relay nodes. In this two phase transmission scheme, the source transmits a vector ...
G. Susinder Rajan; B. Sundar Rajan
Model Predictive Control of a Nonlinear Large-Scale Process Network Used in the Production of Vinyl Acetate
Roman Symbols a i Vapor heat capacity/enthalpy coefficientkg ? C a � i Liquid heat capacity/enthalpy coefficient forspecies i b i Vapor heat capacity/enthalpy coefficient for
Tu, TungSheng
Homeostasis and volume regulation in the Plasmodium falciparum infected red blood cell
...................................................................................................................... 29 CHAPTER 3: MEASUREMENT OF STAGE-RELATED CHANGES IN HOST HAEMOGLOBIN CONCENTRATION BY RESONANCE ENERGY TRANSFER ................................................. 35 MOTIVATION... .............................................................................................................. 140 Computation of the Reference State. ..................................................................... 140 Computation of the Dynamic State. ....................................................................... 141 GLOSSARY OF SYMBOLS...
Mauritz, Jakob Martin Andreas
CAT-SOOP : a tool for automatic collection and assessment of homework exercises
CAT-SOOP is a tool which allows for automatic collection and assessment of various types of homework exercises. CAT-SOOP is capable of assessing a variety of exercises, including symbolic math and computer programs written ...
Hartz, Adam J. (Adam John)
Automated deduction for verification
Automated deduction uses computation to perform symbolic logical reasoning. It has been a core technology for program verification from the very beginning. Satisfiability solvers for propositional and first-order logic significantly automate the task ...
Natarajan Shankar
Relating max-cut problems and binary linear feasibility problems
We use the standard notation, i.e. Sn is the set of symmetric n�n-matrices, and the symbol. X ? 0 is used to .... (7) is always applicable. Indeed, any component.
Noisy matrix decomposition via convex relaxation: Optimal rates in high dimensions
We analyze a class of estimators based on convex relaxation for solving high-dimensional matrix decomposition problems. The observations are noisy realizations of a linear transformation [bar through "X" symbol] of the sum ...
Agarwal, Alekh
Plutonium Symbol: Pu Atomic Number: 94 Atomic Weight (Average): 244.06* Mass (amu) *244.06 Abundance 0 IBA Techniques to Analyze: HIBS (Heavy Ion BackScattering) Sensitivity >1.E-8...
CSL Model Checking of Biochemical Networks with Interval Decision Diagrams
This paper presents an Interval Decision Diagram based approach to symbolic CSL model checking of Continuous Time Markov Chains which are derived from stochastic Petri nets. Matrix-vector and vector-matrix multiplication are the major tasks of exact ...
Martin Schwarick; Monika Heiner
fur Mathematik in den Naturwissenschaften
explore this concept using two examples: Symbolic Dynamics of Coupled Map Lat- tices and Cellular Automata to each other. For ex- ample the arrangement of the chromosome in space can bring sequentially distant
Covering models with time-dependent demand
The different solutions in the search space are given in terms of the variables yk .... symbolize the new facilities to enter the market, and the dark-grey circles�...
Policy: Workplace Violence Page 1 of 4 Issued: October 10, 2007 Revised
or threats may include gestures or symbols. 3.2 Workplace or Premises Includes all CSM property, facilities programs, or activities. 4.0 PROCEDURES 4.1 Reporting: Faculty and staff involvement is essential
Engineering Scalable Combinational Logic in Escherichia coli Using Zinc Finger Proteins
symbols and their truth tables (input/output definitions)Definition� column shows the truth table for each gate. Thisand 3 NOR gates. B) The truth table for the circuit in A
Holtz, William Joseph
Spatiotemporal processing and time-reversal for underwater acoustic communications
High-rate underwater acoustic communication can be achieved using transmitter/receiver arrays. Underwater acoustic channels can be characterized as rapidly time-varying systems that suffer severe Inter Symbol Interferences ...
Wang, Daniel Y
United Technologies Corporation: Achieving Competitive Excellence (ACE): Operating System Case Study
United Technologies Corporation (abbreviated UTC, NYSE ticker symbol UTX) is a large, industrial conglomerate that designs, manufactures, and services a broad range of products, ranging from air conditioners and elevators ...
Roth, George
Diagram Understanding: The Intersection of Computer Vision and Graphics
A problem common to Computer Vision and Computer Graphics is identified. It is the problem of representing, acquiring and validating symbolic descriptions of visual properties. The intersection of Computer Vision and ...
Montalvo, Fanya S.
NIST TN 1297: Appen. D6. Uncert. units of the SI
... methods; simple calibration D.5 t p and the quantile t 1-? D.6 Uncertainty and units of the SI; proper use of the SI and quantity and unit symbols D.7 ...
U.S. Geothermal | Open Energy Information
Geothermal Jump to: navigation, search 200px Name U.S. Geothermal Address 1505 Tyrell Lane Place Boise, Idaho Zip 83706 Sector Geothermal energy Stock Symbol HTM Website http:...
Material Balance Report NRC 742_7
Mar 10, 2010 ... Modeling is well indexed and has a glossary and list of symbols which is needed in such an equation rich book. Modelling treats well the topics�...
A Monumental Improvement
of 555 feet, the Monument is the tallest structure in Washington, D.C. Made of marble, granite, and sandstone, the gleaming and dignified obelisk serves as a symbol of the Nation's...
Last Out of Office, Electricity and Lighting Checklist
Last-Out Energy Conservation Check List Office Symbol Name: Suite Room Number: Date Initials All Lights in Suite are Off? All Printers in Suite are Off? All Scanners in Suite are...
Lithium Symbol: Li Atomic Number: 3 Atomic Weight (Average): 6.940933 Mass (amu) 6.015123 7.01605 Abundance 7.50000 92.5000 IBA Techniques to Analyze: RBS (Rutherford...
The new food-tech city : adapting Chicago's post-stockyard urbanism
This thesis examines the latent potential of Chicago's former Union Stock Yard, which consequentially draws attention to the polarities of industrial food production. The Union Stock Yard was once symbolic of an era where ...
Burnham, Justin (Justin Paul)
Prolog - the language and its implementation compared with Lisp
Prolog is a simple but powerful programming language founded on symbolic logic. The basic computational mechanism is a pattern matching process (�unification�) operating on general record structures (�terms� of logic). We briefly ...
David H D Warren; Luis M. Pereira; Fernando Pereira
Our 2006 MITACS project proposal (.pdf) - CECM - Simon Fraser ...
Nov 1, 2006 ... retic advances (for example, give procedures in terms of matrix multiplication or ... our search for optimal algorithms for matrix polynomial arithmetic. .... in practical problems, research in symbolic computation has entered.
chemical symbols would be Np and Pu. The names "eka-rhenium"DEMONSTRATION OF FISSIONABILITY OF Pu The plutonium isotopeneutron fission cross section of Pu compared to that of ' U.
Seaborg, G.T.
NDB | Tools | Downloads
angle will be of 5 degrees 3 to center the molecule on the drawing surface 4 to flip the helices selected 5 to zoom + 6 to zoom - 7 to show the LW classification symbols 8...
It's Elemental - Element Concentration Game
symbols of the elements. After you have had time to study the cards, the computer will flip them over and ask you to find a particular element. Click on the card that contains...
Absurd machine : project on the National Mall
America's symbols of governance, such as the ubiquitous state capitols and state capitol malls, are classically inspired European architecture and planning of reason and nature, adopted in America by Jefferson in 18th ...
Ansari, Amna (Amna K.)
Engineering Finding Tools Coverage On the web version of this handout, click on a resource to access it. If accessing from off
. Automotive Avitation& Aerospace Ceramic Civil Computer Science Electrical Industrial Materials Mechanical: Aluminium Industry Abstracts METADEX Copper Data Center Database Corrosion Abstracts Engineered Materials Abstracts WELDASEARCH Materials Business File Ceramic Abstracts/World Ceramics Abstracts Key to Symbols
Natural theology and natural philosophy in the late Renaissance
Waterworth (Chicago: The Christian symbolic publication society, 1848). CER T. H. L. Parker, Commentaries on the epistle to the Romans 1532-1542 (Edinburgh: T. & T. Clark, 1986). CR [Catechismus Romanus] Catechism of the Council of Trent for parish...
Woolford, Thomas
Radio frequency digital to analog converter
Dynamic performance of high speed, high resolution digital-to-analog converters (DACs) is limited by distortion at the data switching instants. Inter-symbol interference (ISI), imperfect timing synchronization and clock ...
Luschas, Susan, 1975-
Jr., Process Development Branch Construction Division SUBJECT...
FR?M : Jr., Process Development Branch Construction Division SUBJECT: INING TESTS AT BOWEN ENGINEERING, INC. - M A Y 16 AND 16,1961 SYMBOL EPD:ABBrbt I REYAKC: &DiVE;G?i&)il q...
ARM - Data Announcements Article
This plot shows spectral AOD versus time of day from the SASHE at the AMF1 Cape Cod site. The plot shows a cloudy morning (gray symbols) followed by cloud-free conditions...
AI Gets a Brain
In the 50 years since John McCarthy coined the term artificial intelligence, much progress has been made toward identifying, understanding, and automating many classes of symbolic and computational problems that were once the exclusive domain of human ...
Jeff Barr; Luis Felipe Cabrera
Spatializing social equity through place-based policies : lessons from the Green Impact Zone of Missouri, in Kansas City, MO
The Kansas City Green Impact Zone of Missouri is a regionally administered, place-based initiative that emerged in direct response to the 2009 "federal moment" symbolized by the creation of the White House Office of Urban ...
Bozorg, Leila
Traveling Between Iranian and American Identities
D aily life in Shiraz, Iran Traveling Between Iranian andpudding (samanu) symbolic of Iran�s 2000-year-old culturalwriters and my travels to Iran during the past summer. As an
Pazargadi, Leila
Advertising Stigmatas: The Evolution of Advertising in American Poetic Culture
an ideal of mass home security by means of purchasing thatThe American home became a symbol of security in a time offor such security, and shortly thereafter, home magazines,
Spies, Elizabeth Jean
The Cultural Imaginary of Manteia: Seercraft, Travel, and Charisma in Ancient Greece
and Festivals: From Archaic Greece to the Roman Empire, eds.Myth and History in Ancient Greece. The Symbolic Creation ofA. 2008a. The Seer in Ancient Greece. Berkeley. ----------.
Foster, Margaret Cecelia
Social change and cycling as a form of sustainable transportation : the behavior-policy interaction in a medium-sized developing city
In developing countries, growth frequently parallels increasing motorization rates, and visions of mobility are often centered on the private automobile as the most flexible form of personal transportation and a symbol of ...
Teich, Tegin L. (Tegin Leigh)
Annual Report | Y-12 National Security Complex
a symbol of national strength and global security for 70 years. Originally part of the Manhattan Project, Y-12 was constructed to enrich uranium for an atomic weapon to end...
printed on recycled paper INDUSTRIAL ASSESSMENT CENTER
gasifier [18] Metal Chemical symbol Measurementdetection limit (mgfl) TCLP result (mgfl) STLC (mgfl.d,. nonedetected. The testsfollowed the EPA's toxicity characteristicsleachateprocedure(TCLP). If the concentration in the MTCI gasifierhas been tested for toxicity using EPA's toxicity characteristicsleachateprocedure (TCLP
Deterministic Ensemble Forecasts Using Gene-Expression Programming
A method called gene-expression programming (GEP), which uses symbolic regression to form a nonlinear combination of ensemble NWP forecasts, is introduced. From a population of competing and evolving algorithms (each of which can create a ...
Atoossa Bakhshaii; Roland Stull
Headquarters Program & Staff Office Mailing Addresses | Department of
Headquarters Program & Staff Office Mailing Headquarters Program & Staff Office Mailing Addresses Headquarters Program & Staff Office Mailing Addresses The following addresses are for delivery of regular mail and small packages: Delivery to the Headquarters buildings in Washington, DC: Name of Individual Title Routing Symbol/Forrestal Building U.S. Department of Energy 1000 Independence Ave., S.W. Washington, DC 20585 Name of Individual Title Routing Symbol/L'Enfant Plaza Building U.S. Department of Energy 1000 Independence Ave., S.W. Washington, DC 20585-1615 Delivery to the Headquarters buildings in Germantown, MD: Name of Individual Title Routing Symbol/Germantown Building U.S. Department of Energy 1000 Independence Ave., S.W. Washington, DC 20585-1290 Name of Individual Title Routing Symbol/Cloverleaf Building
Reporting OIG: Department of Energy
OIG: Department of Energy OIG: Department of Energy Month Ending Date: 03/31/2009 Submitter Name: Juston Fontaine Submitter Contact Info: 202-586-1959 Program Source/ Treasury Account Symbol: Agency Code Program Source/Treasury Account Symbol: Account Code Total Funding Total Obligations Total Gross Outlays 89 $0 $0 $0 Program Source/ Treasury Account Symbol: Agency Code Program Source/Treasury Account Symbol: Account Code Total Funding Total Obligations Total Gross Outlays 89 $182,278 $182,278 $182,278 Monthly Update Report Data (sheet 1 of 2) Version 1.0 Non-Recovery Act Funds Used on Recovery Act Activity Recovery Act Funds Used on Recovery Act Activity No. 1 To date, Department of Energy, Office of Inspector General Recovery Act funds have not been apportioned.
C:\Forms\HQ F 1400.12.cdr
F. F. 1400.12 (03-00) INSTRUCTIONS: U.S. DEPARTMENT OF ENERGY LAST NAME SIGNING THIS APPLICATION CERTIFIES THAT YOU ARE NOT A PARTICIPANT IN THE SEET PROGRAM, OR OTHER GOVERNMENT SUBSIDY PROGRAMS. WORK PHONE WORK PHONE WORK PHONE WORK PHONE YEARS FEDERAL SERVICE YEARS FEDERAL SERVICE YEARS FEDERAL SERVICE YEARS FEDERAL SERVICE FEDERAL FEDERAL FEDERAL CONTRACTOR CONTRACTOR CONTRACTOR CAR NO 1, MAKE CAR NO 1, MAKE CAR NO 1, MAKE CAR NO 1, MAKE LAST NAME LAST NAME LAST NAME FIRST NAME FIRST NAME FIRST NAME CAR NO 2, MAKE CAR NO 2, MAKE CAR NO 2, MAKE CAR NO 2, MAKE ST ST ST ST ST ST ST ST TAG NUMBER TAG NUMBER TAG NUMBER TAG NUMBER TAG NUMBER TAG NUMBER TAG NUMBER TAG NUMBER SIGNATURE SIGNATURE SIGNATURE SIGNATURE EXT DOE ROUTE SYMBOL DOE ROUTE SYMBOL DOE ROUTE SYMBOL DOE ROUTE SYMBOL EMPLOYER EMPLOYER EMPLOYER EMPLOYER HOME ADDRESS (Street,
marks of the Federal Government, which retains exclusive rights to control the use thereof. Permission to use the term and symbol (NVLAP logo with approved caption) is granted to NVLAP-accredited laboratories for the limited purpose of announcing their accredited status, and for use on reports that describe only testing and calibration within the scope of accreditation. NVLAP reserves the right to control the quality of the use of the NVLAP term, logo, and symbol. Contents
Hazel M. Richmond; Jeffrey Horlick
Shape Tracking Methods for Graphics Recognition: a Short Survey
This paper deals with the first step. This one extracts graphical primitives which compose the graphical shapes of document images [9] [7]. This step employs many methods in order to extract different graphical primitive types : pixel, vectorial (vector, arc, and curve), region (subset of connected pixels on image), and symbol (a symbolic label). These graphical primitives are next organized into higher-level structures like graph
Mathieu Delalandre; Tony Pridmore; Eric Trupin; Jean-marc Ogier
Quantum Tetrahedra
We discuss in details the role of Wigner 6j symbol as the basic building block unifying such different fields as state sum models for quantum geometry, topological quantum field theory, statistical lattice models and quantum computing. The apparent twofold nature of the 6j symbol displayed in quantum field theory and quantum computing -a quantum tetrahedron and a computational gate- is shown to merge together in a unified quantum-computational SU(2)-state sum framework.
Mauro Carfora; Annalisa Marzuoli; Mario Rasetti
Dependable high performance computing on a parallel sysplex cluster
Abstract In this paper we address the issue of dependable distributed high performance computing in the field of Symbolic Computation. We describe the extension of a middleware infrastructure designed for high performance computing with efficient checkpointing mechanisms. As target platform an IBM Parallel Sysplex Cluster is used. We consider the satisfiability checking problem for boolean formulae as an example application from the realm of Symbolic Computation. Time measurements for an implementation of this application on top of the described system environment are given.
Wolfgang Blochinger
The Chemical Elements
Table 1 Names and symbols for the elements (in alphabetical order)...Sodium (j) Na Strontium Sr Sulfur S Tantalum Ta Technetium Tc Tellurium Te Terbium Tb Thallium Tl Thorium Th Thulium Tm Tin (k) Sn Titanium Ti Tungsten (l) W Ununnilium Uun Unununium Uuu Uranium U Vanadium V Xenon Xe Ytterbium Yb Yttrium Y Zinc Zn Zirconium Zr (a) Symbol based on the Latin
Betty Ann Sandoval; Charlie Brannon; Leticia Pibida; Gordon Gillerman; Michael Unterweger
Microsoft Word - CMPTemplate031307.doc
Chapter 42.5 Attachment 1 CMP Template Chapter 42.5 Attachment 1 CMP Template 11 CONTRACT MANAGEMENT PLAN TEMPLATE (Optional) CONTRACT MANAGEMENT PLAN CONTRACTING ACTIVITY NAME CONTRACT NUMBER DATE ____________________________ Name Contracting Officer Office Symbol, Telephone Number Date ____________________________ Name Head of Contracting Activity (HCA) Office Symbol, Telephone Number Date Acquisition Guide ----------------------------------------------- ----------------------Chapter 42.5 Attachment 1 CMP Template 12 CONTRACT MANAGEMENT PLAN TABLE OF CONTENTS Purpose of Plan ........................................................................................................................... 13 1.0 Contract Summary and Background of the Scope of Work............................................
ANL Activities
Activities of the DOD Activities of the DOD Project Office focus today on the Navy's Free Electron Laser Program Argonne Accelerator Institute Meeting June 16, 2009 2 Several Beam Activities and Interests Ongoing Terahertz sources and applications Navy Free Electron Laser (Focus area today) Free Electron Laser Applications Electromagnetic Interference Technology Review Committees Novel Fiber Optic Materials with Army Research Lab Optical Diagnostics for next-generation light sources Neutron detection schemes NATO Sensors and Electronics Panel, international field tests of directed energy source applications Controls Radiation Oncology 3 Background, Naval Directed Energy History The U.S Navy has been investigating utility of lasers since the 1960's and the
The Cooperative Engagement Capability
picture as well as the ability to engage targets that may not be seen locally, a new level of capability may be attained. This ability is precisely what the Cooperative Engagement Capability (CEC) provides for a network of combatants. Recent tests demonstrated that from older, short-range systems such as NATO Sea Sparrow through the latest Aegis baselines, CEC can provide greater defensive capabilities and even provide new types of capabilities to a battle force. However, CEC does not obviate the need for advances in sensors, fire control, and interceptors. Rather, CEC allows the INTRODUCTION Operation in the littoral theater is a principal Navy 1990s scenario with complexities never considered in the Cold War era. For theater air defense, the complexities include the natural environment and its effects on sensor range. For example, desensitization by clutter from propagation ducting and rough terrain, as well as blockage by coastal mountains and clif
Assessing the risk from the depleted Uranium weapons used in Operation Allied Force.
The conflict in Yugoslavia has been a source of great concern due to the radiological and toxic hazard posed by the alleged presence of depleted uranium in NATO weapons. In the present study some worst-case scenaria are assumed in order to assess the risk for Yugoslavia and its neighboring countries. The risk is proved to be negligible for the neighboring countries while for Yugoslavia itself evidence is given that any increase in total long-term cancer mortality will be so low that it will remain undetected. Local radioactive hotspots such as DU weapons fragments and abandoned battle tanks, fortified or contaminated with DU, constitute a post-war hazard which is not studied in this article.
unknown authors
Assessing the risk from the depleted uranium weapons used in Operation Allied Force.
The conflict in Yugoslavia has been a source of great concern for the neighboring countries, about the radiological and toxic hazard posed by the alleged presence of depleted uranium in NATO weapons. In the present study a worst-case scenario is assumed mainly to assess the risk for Greece and other neighboring countries of Yugoslavia at similar distances. The risk of the weapons currently in use is proved to be negligible at distances greater than 100 Km. For shorter distances classified data of weapons composition are needed to obtain a reliable assessment. Operation Allied Force (OAF) has been going on for weeks in Yugoslavia with grave environmental consequences in the neighboring countries. Unfortunately, the sophisticated weapons that are being used carry the spectrum of radiological contamination. Over the past decades there has been a tremendous effort in weapons laboratories to use depleted uranium
Factors Affecting the Feasibility of a Warsaw Pact Invasion of Western Europe
The end of the Cold War and the opening of selected archives in both Eastern and Western Europe provides scholars the opportunity to study this period with greater accuracy and detail than was previously possible. This study seeks to determine the feasibility of a Warsaw Pact invasion of Western Europe in 1987 through the examination of the factors that would have affected such an operation. After each of these factors have been analyzed then conclusions will be drawn about the probable course and termination of such a conflict in Central Europe. The argument will be made that NATO would have been able to hold onto most of West Germany in the event of such an attack.
Williamson, Corbin
*-+ *-+ 3 Proceedings 'of the NATO A S 1 "Physics and Engineering of Medical Imaging" s i BNL--36938 DE85 017854 DISTRIBUTED MICROPROCESSOR AUTOMATION NETWORK FOR SYNTHESIZING RADIOTRACERS USED IN POSITRON EMISSION TOMOGRAPHY Jerome A. G. Russell, David L . Alexoff and Alfred P. Wolf Chemistry Department, Brookhaven National Laboratory, Upton, NY INTRODUCTION This presentation describes the engineering concepts under- lying an evolving distributed microprocessor network for auto- mating the routine production synthesis of radiotracers used in Positron Emission Tomography brain studies at the Chemistry Department of the Brookhaven National Laboratory in New York. As an introduction to the distributed system, we will first present a brief overview of the PET method for measuring biological func-
B. KERR B. KERR Lawrence Berkeley National Laboratory MS 62R0203, 1 Cyclotron Road, Berkeley, CA 94720 (510)-486-6279 FAX: (510)-486-4995 e-mail: email@example.com Web Page: http://energy.lbl.gov/aet/kerr/ EDUCATION. * Ph.D. University of Edinburgh , Scotland, 1978. Thesis Title, "Electrochemical Reduction of some Unsaturated Organic Chemicals." Advisor A.J. Bellamy. * Recipient of a NATO Studentship at the University of Aarhus, Denmark with P.E. Iversen and H. Lund, 1975-76 and at the Universite de Dijon, France with C. Degrand and E. Laviron,, 1976. * B.Sc.,Honours, 1st Class in Chemistry , University of Edinburgh , Scotland, 1974. * January 1978 - July 1979. Research Associate at the Department of Chemistry, University of Minnesota, Minneapolis with L.L. Miller. i) polymer coated electrodes
Totally self-checking checker for a parallel unordered coding scheme
Bose has developed a parallel unordered coding scheme using only r checkbits for 2[sup r] information bits. This code can detect all unidirectional errors and requires simple parallel encoding/decoding. The information symbols can be separated from the check symbols. However, the information symbols containing all zeros and all ones need to be transformed to two other information symbols. This allows one to reduce the number of checkbits over Berger code by 1. Since information symbols containing a power-of-two number of bits are quite common, this coding scheme should become quite popular. In this brief contribution, a modular, economical, and easily testable totally self-checking (TSC) checker design for the above code is described. The TSC concept is well known for providing concurrent error detection of transient as well as permanent faults. Our design is self-testing with at most only 2r + 16 codeword tests. This means that if k is the number of information bits, the size of the codeword test set is only O(log[sub 2] k). This is the first known TSC checker design for this code. 19 refs.
Burns, S.W.; Jha, N.K. (Int Paper Co., Jay, ME (United States))
Topics in Mode Conversion Theory and the Group Theoretical Foundations of Path Integrals
This dissertation reports research about the phase space perspective for solving wave problems, with particular emphasis on the phenomenon of mode conversion in multicomponent wave systems, and the mathematics which underlie the phase space perspective. Part I of this dissertation gives a review of the phase space theory of resonant mode conversion. We describe how the WKB approximation is related to geometrical structures in phase space, and how in particular ray-tracing algorithms can be used to construct the WKB solution. We also present new higher order corrections to the local solution for the mode conversion problem which allow better asymptotic matching to the WKB solutions. The phase space tools used in Part I rely on the Weyl symbol calculus, which gives a way to relate operators to functions on phase space. In Part II of this dissertation, we explore the mathematical foundations of the theory of symbols. We go on to present the group theoretical formulation of symbols, as developed recently by Zobin. This defines the symbol of an operator in terms of a double Fourier transform on a non-commutative group. We then show how the path integral arises when calculating the symbol of a function of an operator. We conclude with a survey of ideas for future research and describe several potential applications of this group theoretical perspective to problems in mode conversion.
A. S. Richardson
Metabolically Efficient Codes in The Retina
We tested the hypothesis that the neural code of retinal ganglion cells is optimized to transmit visual information at minimal metabolic cost. Under a broad ensemble of light patterns, ganglion cell spike trains consisted of sparse, precise bursts of spikes. These bursts were viewed as independent neural symbols. The noise in each burst was measured via repeated presentation of the visual stimulus, and the energy cost was estimated from the total charge flow in a biophysically realistic model of ganglion cell spiking. Given these costs and noise, the theory of efficient codes predicts an optimal distribution of symbol usage. Symbols that are either noisy or metabolically costly are suppressed in this optimal code. We found excellent qualitative and quantitative agreement with the measured distribution of burst sizes for ganglion cells in the tiger salamander retina.
Vijay Balasubramanian; Michael J Berry
Implementation of a sampled receiver using TMS320C30 signal processor
Advances in digital signal processors have prompted the development of various algorithms for use in all digital data receivers. This thesis discusses the implementation of a joint detection and symbol synchronization algorithm using two Texas Instruments TMS32OC30 (C30) Digital Signal Processors, one as a transmitter of digital data, and another as a sampled receiver used to implement the algorithm. It is shown that when using raised cosine pulses for transmission of symbols, and sampling of these symbols is at least 4 times above the Nyquist rate, the performance results using the TMS32OC30 Digital Signal Processor coincide with those theoretically derived. Furthermore, it is also shown that the timing estimate produced by the algorithm can be used to compensate for differing transmitter/receiver clock rates.
Van Slyke, Braddon Michael
Preferred Quantization Rules: Born-Jordan vs. Weyl: the Pseudo-Differential Point of View
There has recently been evidence for replacing the usual Weyl quantization procedure by the older and much less known Born-Jordan rule. In this paper we discuss this quantization procedure in detail and relate it to recent results of Boggiato, De Donno, and Oliaro on the Cohen class. We begin with a discussion of some properties of Shubin's $\\tau$-pseudo-differential calculus, which allows us to show that the Born-Jordan quantization of a symbol $a$ is the average for $\\tau\\in\\lbrack0,1]$ of the $\\tau$-operators with symbol $a$. We study the properties of the Born-Jordan operators, including their symplectic covariance, and give their Weyl symbol.
Maurice de Gosson; Franz Luef
C:\Forms\HQ F 1450.2.cdr
HQ F 1450.2 HQ F 1450.2 (7-82) AUTHORIZED BY (Signature) NAME Do not enter Miss, Mrs. or Mr. (Last, first, middle initial) (Include professional or military title) TELEPHONE NUMBER ROOM NUMBER BUILDING CODE A C T I O N ORGANIZATION ROUTING SYMBOL Instructions: This form is to be used for all directory changes, additions or deletions. Information should be submitted without delay. Type or print all information. Do not use dittos. See reverse side of this form for instructions. ORGANIZATIONAL ROUTING SYMBOL TELEPHONE NO. DATE EMPLOYEE LOCATOR NOTIFICATION INSTRUCTIONS FOR FILLING OUT FORM 1450.2 Name column Telephone Number Organization Routing Symbol Room number Building code Action Type or print the employee's name (last, first, middle initial, professional or military title). List the name exactly as it is listed in the DOE Headquarters directory, including punctua-
Questions and Answers - Why do the electron shells begin being named with
the elementsget their symbols? the elements<br>get their symbols? Previous Question (How do the elements get their symbols?) Questions and Answers Main Index Next Question (Was "beauty" a quark name they used in the past?) Was "beauty" a quark namethey used in the past? Why do the electron shells begin being named with K, L, M, N, and not with A, B, C? The names of the electron shells come from a fellow named Charles G. Barkla, a spectroscopist who studied the X-rays that are emitted by atoms when they are hit with high energy electrons. He noticed that atoms appeared to emit two types of X-rays. The two types of X-rays differed in energy and Barkla originally called the higher energy X-ray type A and the lower energy X-ray type B. He later renamed these two types K and L since
Multifractal analysis of nonhyperbolic coupled map lattices: Application to genomic sequences
Symbolic sequences generated by coupled map lattices (CMLs) can be used to model the chaotic-like structure of genomic sequences. In this study it is shown that diffusively coupled Chebyshev maps of order 4 (corresponding to a shift of 4 symbols) very closely reproduce the multifractal spectrum $D_q$ of human genomic sequences for coupling constant $\\alpha =0.35\\pm 0.01$ if $q>0$. The presence of rare configurations causes deviations for $qgenomic sequences serving as promoters or regulatory elements.
Bridging Beijing Opera and Hip Hop A Style Fusion Experiment in Character Design
The concept of style fusion for visual storytelling is introduced and applied in this research. Style fusion is the process of identifying two distinct styles as sources, which are from different artists or culture backgrounds, and applying features and visual symbols from both to develop a new style. As a proof of concept, the source performance styles selected for fusion are traditional Chinese Beijing opera and hip hop. A set of guidelines for this style fusion are developed after an analysis of the visual symbols of each source style. A character and an environment design fusion are done based on these guidelines. Finally, the style fusion is visualized using 3D models.
Li, Man
Clock rates, clock settings and the physics of the space-time Lorentz transformation
A careful study is made of the operational meaning of the time symbols appearing in the space-time Lorentz transformation. Four distinct symbols, with different physical meanings, are needed to describe reciprocal measurements involving stationary and uniformly-moving clocks. Physical predictions concern only the observed rate of a clock as a function of its relative speed, not its setting. How the failure to make this distinction leads to the conventional predictions of spurious `relativity of simultaneity' and `length contraction' effects in special relativity is explained.
J. H. Field
Exploring nonlinear regression methods, with application to association studies
Glossary of Symbols Below is an outline of the notation I use throughout this thesis. Data Variables n - number of samples, indexed by the variable i. N - number of predictors, indexed by the variable g. X - predictor matrix (size n�N). Y - response vector... can also be applied to non-tertiary predictors, carries out MCMC sampling with the addition of Sampling Stage Four. iv Contents Summary i Glossary of Symbols ii List of Abbreviations iii Algorithm Schematic iv 1 Introduction 1 1.1 Regression Notation...
Speed, Douglas Christopher
Static analysis for probabilistic programs: inferring whole program properties from finitely many paths
We propose an approach for the static analysis of probabilistic programs that sense, manipulate, and control based on uncertain data. Examples include programs used in risk analysis, medical decision making and cyber-physical systems. Correctness properties ... Keywords: monte-carlo sampling, probabilistic programming, program verification, symbolic execution, volume bounding
Sriram Sankaranarayanan; Aleksandar Chakarov; Sumit Gulwani
Evil Media
Evil Media develops a philosophy of media power that extends the concept of media beyond its tried and trusted use in the games of meaning, symbolism, and truth. It addresses the gray zones in which media exist as corporate work systems, algorithms ...
Matthew Fuller; Andrew Goffey
Review: A survey and tutorial of wireless relay network protocols based on network coding
Ever since the wireless relay network (RN) was introduced, it has led to the discovery of several new protocols, which have been consistently improved by researchers to overcome many constraints such as throughput, capacity bound, symbol error rate, ... Keywords: Relay networks, Wireless network coding, Wireless relay protocols
Ahmed Hassan Mohammed; Bin Dai; Benxiong Huang; Muhammad Azhar; Guan Xu; Peng Qin; Shui Yu
Driver or Passenger? An Analysis of Citizen-Driven eGovernment
eGovernment is often put forward as a transformation supporting empowerment and democracy, building on principles such as `citizen-driven' and `citizen-centered' development. In addition it is often symbolized by a technology-laden and romantic progressivism. ... Keywords: accountability, citizen-driven eGovernment, relationistic perspective
Katarina Lindblad-Gidlund
Polymorphic Systems with Arrays, 2-Counter Machines and Multiset Rewriting
Polymorphic systems with arrays (PSAs) is a general class of nondeterministic reactive systems. A PSA is polymorphic in the sense that it depends on a signature, which consists of a number of type variables, and a number of symbols whose types can be ... Keywords: array, infinite-state, model checking, parameterised
Ranko Lazi?; Tom Newcomb; Bill Roscoe
Physical-Layer Network Coding with M-QAM Modulation
The denoise-and-forward (DNF) method of physical-layer network coding (PNC) is a promising approach for wireless relaying networks. Most related work in the literature focuses on low-level modulations, such as binary phase-shift keying (BPSK) or quadrature phase-shift keying (QPSK). In this paper, we consider DNF-based PNC with high-level modulations, specifically the M-ary quadrature amplitude modulation (M-QAM). We propose a mapping scheme that maps the superposed M-QAM signal to coded symbols. The mapping scheme supports both square and non-square M-QAM modulations, with various original constellation mappings (e.g. binary-coded or Gray-coded). It also ensures that the expected symbol can be successfully decoded at the destination, while attempting to minimize the size of the coded symbol set. Subsequently, we evaluate the symbol error rate and bit error rate (BER) of M-QAM modulated PNC that uses the proposed mapping scheme, both analytically and with simulations. Afterwards, as an application, a rate ada...
Wang, Shiqiang; Guo, Lei; Jamalipour, Abbas
Weathergods: tangible interaction in a digital tabletop game
In this paper we describe the game 'Weathergods', which is implemented on the Entertaible tabletop gaming platform [1]. The game uses either iconic or symbolic [2] tangible objects for interaction and marries both the advantages of traditional board ... Keywords: digital tabletop gaming, interaction design, pervasive games, tangible interaction, tangible user interfaces
Saskia Bakker; Debby Vorstenbosch; Elise van den Hoven; Gerard Hollemans; Tom Bergman
In-Pb (Indium - Lead)
In-Pb crystallographic data...In-Pb crystallographic data Phase Composition, wt% Pb Pearson symbol Space group (In) 0 to ? tI 2 I 4/ mmm α ~24 to ~44 tI 2 I 4/ mmm (Pb) ? to 100 cF 4 Fm m...
In-Zn (Indium - Zinc)
In-Zn crystallographic data...In-Zn crystallographic data Phase Composition, wt% Zn Pearson symbol Space group (In) 0 to 1 tI 2 I 4/ mmm (Zn) 99.8 to 100 hP 2 P 6 3 / mmc...
Dictionary/handbook of nuclear medicine and clinical imaging
This book covers the following topics: Fundamentals of English medical etymology, Abbreviations, acronyms, symbols, denotations, and signs commonly used or defined in the dictionary, Characteristics of the elements, Characteristics of practicable radioisotopes and of selected radionuclides commonly used in nuclear medicine, Properties and production of radionuclides, Radioactive decay, Radiopharmaceuticals, and Radiation dosimetry.
Iturralde, M.P. (Univ. of Pretoria and H.S. Verwoerd Hospital, Dept. of Nuclear Medicine, Pretoria (ZA))
Performance evaluation of robotic knowledge representation (PERK)
In this paper, we explore some ways in which symbolic knowledge representations have been evaluated in the past and provide some thoughts on what should be considered when applying and evaluating these types of knowledge representations for real-time ... Keywords: knowledge representation, ontologies, performance metrics, real-time, robotics
Craig Schlenoff; Sebti Foufou; Stephen Balakirsky
The hill and the hole : from apu to resource in the post-industrial Andean landscape
This thesis takes as a starting point two images: on the one hand I use the old, historically and symbolically loaded image of the apu, which in Quechua means the spirit of the sacred mountain and the home of the ancestors. ...
Castagnola Chaparro, Giacomo Bruno
ERGODIC THEORY OF PARABOLIC HORSESHOES MARIUSZ URBA´NSKI AND CHRISTIAN WOLF Abstract. In this paper parabolic fixed point and possibly also on Ws (). We call f a parabolic horseshoe map. In order to analyze of an embedded parabolic iterated function system and to apply the developed theory of the symbolic -finite
Urbanski, Mariusz
Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code
We use multi-stage programming, monads and Ocaml's advanced module system to demonstrate how to eliminate all abstraction overhead from generic programs, while avoiding any inspection of the resulting code. We demonstrate this clearly with Gaussian Elimination ... Keywords: Functor, Generative, Genericity, Linear algebra, MetaOCaml, Staging, Symbolic
Jacques Carette; Oleg Kiselyov
Design of Sparse Filters for Channel Shortening
Channel shortening equalizers are used in acoustics to reduce reverberation, in error control decoding to reduce complexity, and in communication receivers to reduce inter-symbol interference. The cascade of a channel and channel shortening equalizer ... Keywords: Channel shortening, Discrete multi-tone modulation, Reverberant channels, Sparse filters, Time-domain equalizers
Aditya Chopra; Brian Lawrence Evans
The reality of Mathematics
The power of mathematics is discussed as a way of expressing reasoning, aesthetics and insight in symbolic non-verbal communication. The human culture of discovering mathematical ways of thinking in the enterprise of exploring the understanding of the ... Keywords: Cyber-world, Information science, Languages of mathematics, Mathematical reality
Panos A. Ligomenides
The motivic fundamental group of the punctured projective line.
We describe a construction of an object associated to the fundamental group of the projective line minus three points in the Bloch-Kriz category of mixed Tate motives. This description involves Massey products of Steinberg symbols in the motivic cohomology of the ground field.
Bertrand J. Guillou
Fundamental solutions for a class of non-elliptic homogeneous differential operators
We compute temperate fundamental solutions of homogeneous differential operators with real-principal type symbols. Via analytic continuation of meromorphic distributions, fundamental solutions for these non-elliptic operators can be constructed in terms of radial averages and invariant distributions on the unit sphere.
Brice Camus
Lower bounds on the OBDD size of two fundamental functions' graphs
Ordered Binary Decision Diagrams (OBDDs) are a data structure for Boolean functions which supports many useful operations. Among others it finds applications in CAD, model checking, and symbolic graph algorithms. Nevertheless, many simple functions are ... Keywords: Analysis of algorithms, Computational complexity, Data structures, Theory of computation
Daniel Sawitzki
Author's personal copy Electric Power Systems Research 96 (2013) 225236
.elsevier.com/locate/epsr Detection and estimation of demagnetization faults in permanent magnet synchronous motors Subhadeep of the permanent magnet synchronous motor, abbreviated as PMSM in the sequel, to provide a viable and effective s t r a c t This paper presents a symbolic dynamic method for health monitoring of permanent magnet
Connecting abstract description systems Oliver Kutz, Frank Wolter, and Michael Zakharyaschev.
allows users to refer to these systems (and any other endpoint) by simple symbolic names (e.g., alcf-performance parallel storage systems at ALCF and NERSC [5]. Each data point represents the average performance achieved configurations: running between a single data transfer node (DTN) at ALCF and NERSC ("go-single-ep"), and (the
Hybrid cloud and cluster computing paradigms for life science applications
Standardization of user interfaces for lighting controls
Standardization of human-machine interfaces has proved beneficial in a number of technology areas. Lighting control is a home and office technology that is of central importance in energy efficiency and could potentially benefit from standardization, ... Keywords: CIE, Concepts, HVAC, IEANA, IEC, ISO, Indicators, LED, Lighting controls, NEMA, SAE, Standards, Symbols, User interfaces
Bruce Nordman; Jessica Granderson; Kelly Cunningham
Using semiotic grammars for the rapid design of evolving video game mechanics
In prior work, we proposed the model of cardboard semiotics. The model applies the use of semiotics (the study of signs and symbols and their interpretations) as a conceptual prototyping tool for game story development. In this paper we adapt the theoretical ...
Erik Henry Vick; Rudy McDaniel; Stephen Jacobs
The Scope of Turing's Analysis of Effective Procedures
Turing's (1936) analysis of effective symbolic procedures is a model of conceptual clarity that plays an essential role in the philosophy of mathematics. Yet appeal is often made to the effectiveness of human procedures in other areas of philosophy. ... Keywords: Turing machine, decision problem, effective procedure, epistemic procedure, philosophy of computation
Jeremy Seligman
Build a Scientist! From elementary school
tholing Monastery. She stands beside one of several places where pilgrims often leave symbolic artifacts's fossilized teeth. To do that she uses a special tool called a mass spectrometer. (See sidebar: Secrets to be analyzed in a machine called a stable-isotope ratio mass spectrome- ter. The samples (in batches of 50
McQuade, D. Tyler
Area-efficient high-throughput MAP decoder architectures
Iterative decoders such as turbo decoders have become integral components of modern broadband communication systems because of their ability to provide substantial coding gains. A key computational kernel in iterative decoders is the maximum a posteriori ... Keywords: area efficient, block-interleaved pipelining, high throughput, parallel processing, pipeline, symbol-based decoding, turbo decoder, turbo equalizer
Seok-Jun Lee; Naresh R. Shanbhag; Andrew C. Singer
Ge-S (Germanium - Sulfur)
Ge-S crystallographic data...Ge-S crystallographic data Phase Composition, wt% S Pearson symbol Space group (Ge) 0 cF 8 Fd m βGeS 30.6 h ** �?� αGeS 30.6 oP 8 Pnma GeS 2 46.9 oF 72 Fdd 2...
Grammar-based whitebox fuzzing
Whitebox fuzzing is a form of automatic dynamic test generation, based on symbolic execution and constraint solving, designed for security testing of large applications. Unfortunately, the current effectiveness of whitebox fuzzing is limited when testing ... Keywords: automatic test generation, grammars, program verification, software testing
Patrice Godefroid; Adam Kiezun; Michael Y. Levin
Recognition of Abstract Regions in Cartographic Maps
In the human interpretation of cartographic maps the areas we shall call abstract regions consist of several symbols (map objects), which are grouped to a single object. This abstraction process is an important part of human map interpretation. Abstract ... Keywords: cognitive modeling, formal methods, map generalization, map interpretation, region abstraction, spatial concepts
Joe Heike Steinhauer; Tom Wiese; Christian Freksa; Thomas Barkowsky
Synthesis of Knowledge on the Effects of Fire and Thinning Treatments on
census does not include those individuals who report themselves as self-employed, of which most is in black. The symbol for permits is centered within the zipcode area and does not represent the precise and a marina which services non-commercial boats. One of the fish houses does have charter operations and a jet
Generalized multicarrier CDMA: unification and linear equalization
Relying on block-symbol spreading and judicious design of user codes, this paper builds on the generalized multicarrier (GMC) quasisynchronous CDMA system that is capable of multiuser interference (MUI) elimination and intersymbol interference (ISI) ... Keywords: blind equalization, multicarrier CDMA, multipath fading channels
Georgios B. Giannakis; Paul A. Anghel; Zhengdao Wang
Power allocation strategies for distributed space-time codes in two-way relay networks
We study a two-way relay network (TWRN), where distributed space-time codes are constructed across multiple relay terminals in an amplify-and-forward mode. Each relay transmits a scaled linear combination of its received symbols and their conjugates, ... Keywords: distributed space-time codes, power allocation, two-way relay channel
Wenjin Wang; Shi Jin; Xiqi Gao; Kai-Kit Wong; Matthew R. McKay
More Accurate ASER Bound for Opportunistic Amplify-and-Forward Relay Systems
In this letter, we have derived more accurate average symbol error rate (ASER) for opportunistic amplify-and-forward (OAF) relay systems with for M-phase shift keying (M-PSK) over rayleigh fading channels. At first, the exact ASER is expressed without ... Keywords: ASER, MGF, OAF, Rayleigh fading channels
Kyunbyoung Ko; Choongchae Woo
The development of interactive algorithms for a mathematical environment,
Letichevsky,A.A. Kapitonva,J.V. Volkov,V.A. Chugayenko,A. Chomenko,V. Gilbert,D. Proceedings of CALCULEMUS 99, Electronic Notes in Theoretical Computer Science, http://www.elsevier.nl/locate/entcs. An extended version will be published in the Journal of Symbolic Computation. Academic Press
Letichevsky, A.A.; Kapitonva, J.V.; Volkov, V.A.; Chugayenko, A.; Chomenko, V.; Gilbert, D.
Section Title A N N U A L R E P O R T 2 0 0 6 -2 0 0 7
and Computing (2006) 15, 185-191. 4. O Milenkovic, D Leyba, N Kashyap, Shortened Array Codes of Large Girth, in The Evolution of HIV (Ed. K.A. Crandall) John Hopkins University Press (1999), 105121. 13. S.M. Sullivant on Symbolic and Algebraic Computation, IS- SAC (2004), 149154. 26. Elizabeth S. Allman and John A. Rhodes
Kambhampati, Subbarao
CatalystFall 2009/Winter 2010 Volume 4 Issue 2 COLLEGE OF CHEMISTRY U N I V E R S I T Y O F C A L I F O R N I A , B E R K E L E Y
Neumark, Daniel M.
LIST OF SYMBOLS Cp heat capacity, J/(g-moleOK) diffusionHCl 2.7827 TO. 7272 Heat Capacity (J kg- 1 oK- 1 ) = 14535 -to the ideal gas law. The heat capacity of the mixture was
Manke, C.W.
Generalized admittance matrix models of OTRAs and COAs
This paper proposes new admittance matrix models to approach the behavior of fully-differential Operational Transresistance Amplifiers (OTRAs) and Current Operational Amplifiers (COAs). The infinity-variables method is used in order to derive the new ... Keywords: Admittance matrix, Current operational amplifier, Nullor, Operational transresistance amplifier, Symbolic analysis
C. S�nchez-L�pez; F. V. Fern�ndez; E. Tlelo-Cuautle
Strong planning under partial observability
Rarely planning domains are fully observable. For this reason, the ability to deal with partial observability is one of the most important challenges in planning. In this paper, we tackle the problem of strong planning under partial observability in ... Keywords: Binary decision diagrams, Heuristic search in belief space, Planning in nondeterministic domains, Planning under partial observability, Symbolic model checking
Piergiorgio Bertoli; Alessandro Cimatti; Marco Roveri; Paolo Traverso
Focus Windows: A Tool for Automated Provers ?
Focus Windows: A Tool for Automated Provers ? Florina Piroi Research Institute For Symbolic or understand the validity of a particular step. Focus windows were #12;rst introduced as a technique for proof the implementation and the use of the focus windows technique in the frame of the Theorema system [3]. One
Real-Counter automata and their decision problems
We introduce real-counter automata, which are two-way finite automata augmented with counters that take real values. In contrast to traditional word automata that accept sequences of symbols, real-counter automata accept real words that are bounded and ...
Zhe Dang; Oscar H. Ibarra; Pierluigi San Pietro; Gaoyan Xie
Handling Global Conditions in Parameterized System Verification
We consider symbolic verification for a class of parameterized systems, where a system consists of a linear array of processes, and where an action of a process may in general be guarded by both local conditions restricting the state of the process about ...
Parosh Aziz Abdulla; Ahmed Bouajjani; Bengt Jonsson; Marcus Nilsson
Octave-spanning supercontinuum generation for an er-doped fiber laser frequency comb at a 1 ghz repetition rate
We developed a 1 GHz Er-doped femtosecond fiber laser system providing 2nJ pulses at [equivalence relation symbol]100fs durations and demonstrated octave-spanning supercontinuum generation from 1�m - 2.4�m that is suitable ...
Chao, David
SOFT DISPLAY KEY FOR KANJI INPUT Jouko J. Sepp~nen
arising from the number and complexity of Kanji symbols for the manufacture and use of keyboard devices. The Japanese orthography and the necessity of using Kanji characters in data terminals are explained. Problems are stated. A review is made of devices and methods presently used or suggested. The feasibility of the soft
Co-existence of 802.11g WLANs with Bluetooth K. K. Wong and T. O'Farrell
Information Systems School of Electronic and Electrical Engineering University of Leeds Woodhouse Lane, Leeds and extended operating range. However, they will encounter interference from Bluetooth (BT) devices. In this paper, the co-existence issue of OFDM WLANs with BT devices is examined and the use of symbol erasures
Haddadi, Hamed
Computing with RFID: Drivers, Technology and Implications
) specification. This symbol can be read into a computer system using a (portable or fixed) low power laser and Information Systems Birkbeck College, University of London Malet Street, London WC1E 7HX Abstract Radio . . . . . . . . . . . . . . . . . . . . . 12 3.5 The GS1 System . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 4 Supply Chain
Roussos, George
Sensor-based Behavior Control for an Autonomous Underwater Vehicle
In this paper, we evaluate a set of core functions that allow an underwater robot to perform surveillance under operator control. Specifically, we are interested in behaviors that facilitate the monitoring of organisms on a coral reef, and we present ... Keywords: Underwater robotics, adaptive gait control, computer vision, swimming robots, symbolic languages, visual human-robot interaction, visual servoing
Junaed Sattar; Philippe Gigu�re; Gregory Dudek
Invariant generation in vampire
This paper describes a loop invariant generator implemented in the theorem prover Vampire. It is based on the symbol elimination method proposed by two authors of this paper. The generator accepts a program written in a subset of C, finds loops in it, ...
Kry�tof Hoder; Laura Kov�cs; Andrei Voronkov
IEEE TRANSACTIONS ON POWER ELECTRONICS, VOL. 20, NO. 5, SEPTEMBER 2005 987 A Capacitor Modeling Method for Integrated
by replacing gyrators with current sources to symbolize the electrical actions on windings. The revised the usage of this approach. Comparisons between the revised capacitor model and the conventional reluctance qualities not found in their counterparts with discrete magnetic cores, such as the ability to lower current
Lehman, Brad
Integral transform solution of a two-dimensional model for contaminant dispersion in rivers and channels with spatially variable coefficients
The Generalized Integral Transform Technique (GITT) is employed to obtain numerical-analytical solutions for mathematical models that predict the dispersion of dissolved pollutants in rivers, streams and channels with either symmetric or asymmetric flow. ... Keywords: Contaminants dispersion, Environmental impact, Hybrid methods, Integral transforms, Symbolic computation
F. P. J. de Barros; W. B. Mills; R. M. Cotta
Application of Dixon resultant to satellite trajectory control by pole placement
Control system design process based on pole placement frequently requires to solve underdetermined multivariate polynomial systems. Since only the real solutions can be accepted for hardware implementation, we are looking for exclusively these roots. ... Keywords: Dixon resultant, Multivariate polynomial system, Pole placement, Satellite control, Symbolic-numeric computation
B. Pal�Ncz
Capacity Bounded Grammars and Petri Nets
A capacity bounded grammar is a grammar whose derivations are restricted by assigning a bound to the number of every nonterminal symbol in the sentential forms. In the paper the generative power and closure properties of capacity bounded grammars and their Petri net controlled counterparts are investigated.
Stiebe, Ralf; 10.4204/EPTCS.3.18
Sahasra Buddha
(T. Opame) a:rtd Amoghasiddhi (T. Donye Dubpa}-is the sacred illustration of Dhannakaya. The symbols, pose of hands, or mode of sitting of a figure make the icon familiar. 8 The Sambhex,,' akaya (T. Longchyo ZOQku) are emanations from fr.e five...
Sinha, Nirmal Chandra
Semantic image interpretation of gamma ray profiles in petroleum exploration
This paper presents the S-Chart framework, an approach for semantic image interpretation of line charts; and the InteliStrata system, an application for semantic interpretation of gamma ray profiles. The S-Chart framework is structured as a set of knowledge ... Keywords: Gamma ray well log, Ontology, Semantic image interpretation, Stratigraphy, Symbol grounding problem, Visual knowledge
Sandro Rama Fiorini; Mara Abel; Claiton M. S. Scherer
An approach for grounding ontologies in raw data using foundational ontology
Many information systems employ domain ontologies to make explicit the semantic of the descriptions manipulated by them. However, the relation between the system and the real world is always mediated by the user: the representations within the system ... Keywords: Conceptual spaces, Foundational ontology, Stratigraphy, Symbol grounding problem, Visual interpretation system
A Hybrid Architecture for Situated Learning of Reactive Sequential Decision Making
In developing autonomous agents, one usually emphasizes only (situated) procedural knowledge, ignoring more explicit declarative knowledge. On the other hand, in developing symbolic reasoning models, one usually emphasizes only declarative knowledge, ignoring ... Keywords: cognitive modeling, hybrid models, neural networks, reinforcement learning, sequential decision making
Ron Sun; Todd Peterson; Edward Merrill
On application of multi-rooted binary decision diagrams to probabilistic model checking
In this paper we consider the applicability of multi-rooted binary decision diagrams for the probabilistic model checking. The symbolic probabilistic model checking involves manipulation of functions and matrices with the values in [0,1], and multi-terminal ... Keywords: binary decision diagrams, probabilistic model checking
Dmitry Bugaychenko
Acronyms, initialisms, and abbreviations: Fourth Revision
This document lists acronyms used in technical writing. The immense list is supplemented by an appendix containing chemical elements, classified information access, common abbreviations used for functions, conversion factors for selected SI units, a flowcharting template, greek alphabet, metrix terminology, proofreader`s marks, signs and symbols, and state abbreviations.
Tolman, B.J. [comp.
Drivers of natural resource-based political conict College of Forestry and Conservation, University of Montana, Missoula, MT 59812, U.S.A.
for oil in the Arctic National Wildlife Refuge (ANWR), wolf and grizzly bear reintroduction£ict and controversy. Alaska provides a case in point. Debate over ANWR, the Alaskan rainforest, and the state's wolf ANWR, for example, is partly explained by its symbolism and its role in larger policy stories told
Nie, Martin
Alternating two-way AC-tree automata
We explore the notion of alternating two-way tree automata modulo the theory of finitely many associative-commutative (AC) symbols. This was prompted by questions arising in cryptographic protocol verification, in particular in modeling group key agreement ... Keywords: Alternating tree automata, Associative-commutative, Branching vector addition systems with states, Cryptographic protocols, Resolution, Tree automata, Two-way tree automata
Kumar Neeraj Verma; Jean Goubault-Larrecq
EE101 Labs and ECEbot Assembly/Testing Instructions Montana State University
in a simple diode circuit, (4) Be able to wire a typical light emitting diode (LED) display on a prototype will be using a special type of diode: the light-emitting diode, or LED. LEDs are diode devices that produce: long wire cathode: short wire Figure 3: Light-Emitting Diode The schematic symbol for a light-emitting
Dyer, Bill
Boosting concolic testing via interpolation
Concolic testing has been very successful in automatically generating test inputs for programs. However one of its major limitations is path-explosion that limits the generation of high coverage inputs. Since its inception several ideas have been proposed ... Keywords: Concolic testing, interpolation, symbolic execution
Joxan Jaffar; Vijayaraghavan Murali; Jorge A. Navas
Color naming models for color selection, image editing and palette design
Our ability to reliably name colors provides a link between visual perception and symbolic cognition. In this paper, we investigate how a statistical model of color naming can enable user interfaces to meaningfully mimic this link and support novel interactions. ... Keywords: color modeling, color names, image editing, palette design, perception, visualization
Jeffrey Heer; Maureen Stone
Towards a representation of diffusion and interaction of scientific ideas: The case of fiber optics communication
The research question studied in this contribution is how to find an adequate representation to describe the diffusion of scientific ideas over time. We claim that citation data, at least of articles that act as concept symbols, can be considered to ... Keywords: Academic space, Diffusion of scientific ideas, Evolution of science, Fiber optics communication, Informetrics, Innovation, Representations
Yuxian Liu; Ronald Rousseau
Cost calculation algorithm for stand-alone photovoltaic systems
Photovoltaics are the technology that generates direct current (DC) electrical power measured in watts or kilowatts from semiconductors when they are illuminated by photons. Photovoltaics are the technological symbol for a future sustainable energy supply ... Keywords: PV system design, life cycle cost, photovoltaic cell, present worth, software, unit energy cost
Irfan G�ney; Nevzat Onat; G�khan Ko�yi?it
COAL RESOURCES, GREATER GREEN RIVER BASIN By M.S. Ellis,1
Chapter GN COAL RESOURCES, GREATER GREEN RIVER BASIN By M.S. Ellis,1 G.L. Gunther,2 A.M. Ochs,2 J of Delaware, Newark, Delaware 1999 Resource assessment of selected Tertiary coal beds and zones here or on this symbol in the toolbar to return. 1999 Resource assessment of selected Tertiary coal
2546 IEEE TRANSACTIONS ON SIGNAL PROCESSING, VOL. 54, NO. 7, JULY 2006 Training-Based and Semiblind Channel Estimation for
. Jagannatham, and Bhaskar D. Rao, Fellow, IEEE Abstract--This paper is a comparative study of training-bearing spectrally white data symbols. Employing matrix perturbation theory, we develop expressions for the mean of elements, , grows linearly with . Added to this, the complexity of reliably estimating the channel
Jagannatham, Aditya K.
A semantic framework for open processes
We propose a general methodology for analysing the behaviour of open systems modelled as coordinators, i.e., open terms of suitable process calculi. A coordinator is understood as a process with holes or placeholders where other coordinators and components ... Keywords: Open systems, Symbolic bisimulation, Unification
P. Baldan; A. Bracciali; R. Bruni
Bounded model checking of infinite state systems
Bounded model checking (BMC) is an attractive alternative to symbolic model checking, since it often allows a more efficient verification. The idea of BMC is to reduce the model checking problem to a satisfiability problem of the underlying base logic, ... Keywords: Bounded model checking, Global model checking, Infinite state systems, Local model checking, Temporal logic hierarchy
Tobias Schuele; Klaus Schneider
A Precise Description of the ACL2 Logic Matt Kaufmann and J Strother Moorey
mathematical induction and several extension prin- ciples, including symbol package de nition and recursive \\packages." Nqthm provides a \\false object," (FALSE), abbreviated F, which is not NIL or any other Nqthm: an application of the constant de nition principle (page 29), an application of the package de nition principle
Moore, J. Strother
Grounding geographic categories in the meaningful environment
Ontologies are a common approach to improve semantic interoperability by explicitly specifying the vocabulary used by a particular information community. Complex expressions are defined in terms of primitive ones. This shifts the problem of semantic ... Keywords: meaningful environment, semantic datum, semantic heterogeneity, symbol grounding problem
Simon Scheider; Krzysztof Janowicz; Werner Kuhn
The New Element Curium (Atomic Number 96)
DOE R&D Accomplishments (OSTI)
Two isotopes of the element with atomic number 96 have been produced by the helium-ion bombardment of plutonium. The name curium, symbol Cm, is proposed for element 96. The chemical experiments indicate that the most stable oxidation state of curium is the III state.
Seaborg, G. T.; James, R. A.; Ghiorso, A.
Dictionary Design for Text Image Compression with JBIG2
The JBIG2 standard for lossy and lossless bi-level image coding is a very flexible encoding strategy based on pattern matching techniques. This paper addresses the problem of compressing text images with JBIG2. For text image compression, JBIG2 allows two encoding strategies: SPM and PM&S. We compare in detail the lossless and lossy coding performance using the SPM-based and PM&S-based JBIG2, including their coding efficiency, reconstructed image quality and system complexity. For the SPM-based JBIG2, we discuss the bit rate trade-off associated with symbol dictionary design. We propose two symbol dictionary design techniques: the class-based and tree-based techniques. Experiments show that the SPM-based JBIG2 is a more efficient lossless system, leading to 8% higher compression ratios on average. It also provides better control over the reconstructed image quality in lossy compression. However, SPM's advantages come at the price of higher encoder complexity. The proposed class-based and tree-based symbol dictionary designs outperform simpler dictionary formation techniques by 8% for lossless and 16-18% for lossy compression. Keywords Bi-level image coding, text image compression, JBIG2, soft pattern matching, symbol dictionary. 1 1
Dictionary of energy. [Definitions of interdisciplinary energy terms
A cross-disciplinary dictionary of energy terms defined in language understandable to experts in several related fields, this dictionary contains an alphabetical listing of words associated with fuel technology, energy sources and transformation, economics, and the environment, both natural and built. Besides the definitions, readers will find conversion tables and lists of acronyms and abbreviations, institutions, and symbols. (DCK)
Slesser, M. (ed.)
Protocols from perceptual observations
This paper presents a cognitive vision system capable of autonomously learning protocols from perceptual observations of dynamic scenes. The work is motivated by the aim of creating a synthetic agent that can observe a scene containing interactions between ... Keywords: Autonomous learning, Cognitive vision, Inductive logic programming, Spatio-temporal reasoning, Symbol grounding, Unsupervised clustering
Chris J. Needham; Paulo E. Santos; Derek R. Magee; Vincent Devin; David C. Hogg; Anthony G. Cohn
International Journal of Thermal Sciences 48 (2009) 535546 www.elsevier.com/locate/ijts
of the work- ing fluid in the capillary tube. The presence of liquidvapor menisci, local void fraction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . m/s x vapor mass fraction Greek symbols vapor void fraction vap|eq mass rate of vapor generation the right or the left arms. Since the overall average void fraction integrated over the loop is fixed, #12
Khandekar, Sameer
1 Copyright 2012 by ASME Proceedings of the ASME 2012 Summer Heat Transfer Conference
film and annular flow patterns spanned over the entire range of the void fraction. In general the two occurring in vertical downward flow and occupying the entire range of void fraction and compare it against phase velocity (m/s) P pressure (Pa) Pr Prandtl number Greek symbols void fraction µ phase dynamic
Ghajar, Afshin J.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . m/s x vapor mass fraction Greek symbols vapor void fraction vap|eq mass rate of vapor generation of the work- ing fluid in the capillary tube. The presence of liquidvapor menisci, local void fraction the right or the left arms. Since the overall average void fraction integrated over the loop is fixed, #12
CANDID: Dynamic candidate evaluations for automatic prevention of SQL injection attacks
SQL injection attacks are one of the top-most threats for applications written for the Web. These attacks are launched through specially crafted user inputs, on Web applications that use low-level string operations to construct SQL queries. In this work, ... Keywords: SQL injection attacks, dynamic monitoring, retrofitting code, symbolic evaluation
Prithvi Bisht; P. Madhusudan; V. N. Venkatakrishnan
Spatial Thinking with Geographic Maps: An Empirical Study
Geographic maps are a well--established way of representing domain--specific knowledge in a way which integrates symbolic and pictorial representation. This paper proposes an interdisciplinary approach to the understanding of how maps represent and organise knowledge, combining artificial intelligence knowledge representation theory with empirical findings and methods from cognitive psychology.
Bettina Berendt; Reinhold Rauh; Thomas Barkowsky; Universit�t Hamburg; Fachbereich Informatik; Arbeitsbereich Wsv
That about 200 more men can be accommodated in the S. As T. C.
S ,DI If ewf nQ~smn 1802 1918 Il ars ll ~~~~~~~~~~~~~~~~~~~~~~11 5001~ The Symbol of Efficiency
Polz, Martin
Multichannel baseband processor for wideband CDMA
The system architecture of the cellular base station modem engine (CBME) is described. The CBME is a single-chip multichannel transceiver capable of processing and demodulating signals from multiple users simultaneously. It is optimized to process different ... Keywords: CDMA, RAKE, chip-rate processing, micro-DSP, multipath, symbol-rate processing
Louay M. A. Jalloul; Jim Lin
Branden Fitelson Philosophy 201 Notes 1 Announcements and Such
'. `New York is a city.' `Cn'. · As in LSL, we can combine different LMPL atomic sentences using premises and conclusions of these kinds of arguments. · If it's not atomic sentences that the premises Philosophy 201 Notes 5 ' & $ % Symbolization in LMPL I: New Atomic Sentences · Among the atomic sentences
Fitelson, Branden
Proceedings of the 24th ACM International Conference on Supercomputing
It is my great pleasure to welcome all of you to the 24th ACM International Conference on Supercomputing (ICS'10) at Tsukuba International Congress Center, Tsukuba City, Japan. Through its long history over 20 years, ICS has been a symbolic conference ...
Taisuke Boku; Hiroshi Nakashima; Avi Mendelson
Preliminary geologic map of the geysers steam field and vicinity, Sonoma County, California
The map symbols include: contact; axis of syncline; axis of anticline; fault; thrust fault; scarp line; landslide deposit; sag pond; hot spring; spring; and zone of hydrothermally altered rock. The attitude of planar surfaces is also indicated. Stratigraphic units are indicated. A generalized geologic map showing major faults and structural units of the Geysers area is included. (JGB)
McLaughlin, R.J.
An effective approach for content delivery in an evolving intranet environment � a case study of the largest telecom company in taiwan
Being the dominant telecommunication company in Taiwan, ChungHwa Telecom Co., Ltd., CHT is her symbol listed on the New York Stock Exchange, provides major communication services to more than 23 million people living in Taiwan. CHT has vast number of ... Keywords: intranet systems, routing algorithms, system integration
Chih-Chin Liang; Ping-Yu Hsu; Jun-Der Leu; Hsing Luh
The big bang: An example of mobile media as new media
Over the last couple of years we have become used to the global media informing us about the revolutionary and democratic possibilities of mobile media. As a symbol of technological convergence, the multimedia possibilities of mobile media have become ... Keywords: Mobile media, South Korean online communities, mobile gaming, mobility
Larissa Hjorth
The design of MA48: a code for the direct solution of sparse unsymmetric linear systems of equations
We describe the design of a new code for the direct solution of sparse unsymmetric linear systems of equations. The new code utilizes a novel restructuring of the symbolic and numerical phases, which increases speed and saves storage without sacrifice ... Keywords: BLAS, Gaussian elimination, block triangular form, error estimation, sparse unsymmetric matrices
I. S. Duff; J. K. Reid
An autonomous GP-based system for regression and classification problems
The aim of this research is to develop an autonomous system for solving data analysis problems. The system, called Genetic Programming-Autonomous Solver (GP-AS) contains most of the features required by an autonomous software: it decides if it knows ... Keywords: 01.30. -y, Adaptive strategies, Autonomous systems, Classification, Genetic Programming, Symbolic regression
Mihai Oltean; Laura Dio?an
Selective Color Constancy Deficits after Circumscribed Unilateral Brain Lesions
Doris I. Braun,2 Karl R. Gegenfurtner,3 Dirk Petersen,4 Paul Scho¨ nle,5 and Lindsay T. Sharpe1 1. Spatial attention As a test of neglect, patients were tested in a visual search task using the shape but was recorded. The occurrence of errors (wrong symbol markings) and misses as well as the search strategy were
'How can his word be trusted?': speaker and authority in Old Norse wisdom poetry
YaO Oiterar\\ FuOture Kas become an important component of national identity. 4 4 Indeed, the Codex Regius manuscript of the Poetic Edda was among the first to be returned from Denmark in 1971, and its presen ce in Iceland remains a symbol of reclaimed...
Schorn, Brittany Erin
Chapter SD SUMMARY OF TERTIARY COAL RESOURCES OF THE DENVER BASIN, COLORADO By D. J. Nichols in U.S. Geological Survey Professional Paper 1625-A 1999 Resource assessment of selected Tertiary coal beds and zones here or on this symbol in the toolbar to return. 1999 Resource assessment of selected Tertiary coal
Research of Cluster-OFDM System for Underground Coal Mine PLCs
Power line communication (PLC) is one of the most attractive communication methods for in-home networks. However, the emissions of unwanted electric waves from PLC system, noise, inter-symbol interference (ISI) and inter-channel interference (ICI) cause ... Keywords: Cluster-OFDM, underground coal mine, power line communication
Shaoliang Wei; Haijun Wang; Fengyu Cheng; Yimin Chen; Rujun Han
Vyanjanabhakti, and Irregularities in Tibetan Verb
special phonetic symbol to indicate that such words as Brass, path, and castle are pronounced by North-country speaker!! with a short vowel, the same vowel as in Jass, but by other speakers viith a long vowel, the same vowel as in 8uard. The same...
Sprigg, R. K.
Bulletin of Tibetology: Volume 7 Number 2 : Full issue
as the Oifo.d EnOlish Dictionary uses a special phonetic symbol to indicate that such words as Brass, path, and castle are pronounced by North-country speaker!! with a short vowel, the same vowel as in Jass, but by other speakers viith a long vowel...
Namgyal Institute of Tibetology