ERIC Educational Resources Information Center
Marcum-Dietrich, Nanette
2010-01-01
In the scientific community, the symposium is one formal structure of conversation. Scientists routinely hold symposiums to gather and talk about a common topic. To model this method of communication in the classroom, the author designed an activity in which students conduct their own science symposiums. This article presents the science symposium…
NASA Technical Reports Server (NTRS)
1990-01-01
Papers presented at RICIS Software Engineering Symposium are compiled. The following subject areas are covered: flight critical software; management of real-time Ada; software reuse; megaprogramming software; Ada net; POSIX and Ada integration in the Space Station Freedom Program; and assessment of formal methods for trustworthy computer systems.
Proceedings of the Second NASA Formal Methods Symposium
NASA Technical Reports Server (NTRS)
Munoz, Cesar (Editor)
2010-01-01
This publication contains the proceedings of the Second NASA Formal Methods Symposium sponsored by the National Aeronautics and Space Administration and held in Washington D.C. April 13-15, 2010. Topics covered include: Decision Engines for Software Analysis using Satisfiability Modulo Theories Solvers; Verification and Validation of Flight-Critical Systems; Formal Methods at Intel -- An Overview; Automatic Review of Abstract State Machines by Meta Property Verification; Hardware-independent Proofs of Numerical Programs; Slice-based Formal Specification Measures -- Mapping Coupling and Cohesion Measures to Formal Z; How Formal Methods Impels Discovery: A Short History of an Air Traffic Management Project; A Machine-Checked Proof of A State-Space Construction Algorithm; Automated Assume-Guarantee Reasoning for Omega-Regular Systems and Specifications; Modeling Regular Replacement for String Constraint Solving; Using Integer Clocks to Verify the Timing-Sync Sensor Network Protocol; Can Regulatory Bodies Expect Efficient Help from Formal Methods?; Synthesis of Greedy Algorithms Using Dominance Relations; A New Method for Incremental Testing of Finite State Machines; Verification of Faulty Message Passing Systems with Continuous State Space in PVS; Phase Two Feasibility Study for Software Safety Requirements Analysis Using Model Checking; A Prototype Embedding of Bluespec System Verilog in the PVS Theorem Prover; SimCheck: An Expressive Type System for Simulink; Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness; Software Model Checking of ARINC-653 Flight Code with MCP; Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B; Formal Verification of Large Software Systems; Symbolic Computation of Strongly Connected Components Using Saturation; Towards the Formal Verification of a Distributed Real-Time Automotive System; Slicing AADL Specifications for Model Checking; Model Checking with Edge-valued Decision Diagrams; and Data-flow based Model Analysis.
Non-Formal Education for Adolescents and Youths: Symposium VI B.
ERIC Educational Resources Information Center
Aryal, Chuda Nath; And Others
Focusing generally on non-formal education for adolescents and youth, this symposium provides a paper that describes an approach to introducing family-life education to Malaysian youth, and also two abstracts: the first suggests a conceptual model for providing education and training appropriate to adolescents, and the second discusses from a…
The 1986 Get Away Special Experimenter's Symposium
NASA Technical Reports Server (NTRS)
Thomas, Lawrence R. (Editor); Mosier, Frances L. (Editor)
1987-01-01
The 1986 Get Away Special (GAS) Experimenter's Symposium will provide a formal opportunity for GAS Experimenter's to share the results of their projects. The focus of this symposium is on payloads that will be flown in the future.
ERIC Educational Resources Information Center
Matusov, Eugene; Miyazaki, Kiyotaka
2014-01-01
In September 2011 in Rome at the International Society for Cultural and Activity Research conference, Eugene Matusov (USA), Kiyotaka Miyazaki (Japan), Jayne White (New Zealand), and Olga Dysthe (Norway) organized a symposium on Dialogic Pedagogy. Formally during the symposium and informally after the symposium several heated discussions started…
IEEE/NASA Workshop on Leveraging Applications of Formal Methods, Verification, and Validation
NASA Technical Reports Server (NTRS)
Margaria, Tiziana (Editor); Steffen, Bernhard (Editor); Hichey, Michael G.
2005-01-01
This volume contains the Preliminary Proceedings of the 2005 IEEE ISoLA Workshop on Leveraging Applications of Formal Methods, Verification, and Validation, with a special track on the theme of Formal Methods in Human and Robotic Space Exploration. The workshop was held on 23-24 September 2005 at the Loyola College Graduate Center, Columbia, MD, USA. The idea behind the Workshop arose from the experience and feedback of ISoLA 2004, the 1st International Symposium on Leveraging Applications of Formal Methods held in Paphos (Cyprus) last October-November. ISoLA 2004 served the need of providing a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains.
The 1987 Get Away Special Experimenter's Symposium
NASA Technical Reports Server (NTRS)
Barthelme, Neal (Editor); Mosier, Frances L. (Editor)
1988-01-01
The 1987 Get Away Special (GAS) Experimenter's symposium provides a formal opportunity for GAS Experimenter's to share the results of their projects. The focus of this symposium was on payloads that were flown on Shuttle missions, and on GAS payloads that will be flown in the future.
Programming, Managing, and Judging Science Symposium Poster Sessions.
ERIC Educational Resources Information Center
Schlenker, Richard M.
The Pacific Region Junior Science and Humanities Symposium has operated for 14 years as a region of the National Junior Science and Humanities Symposium. In response to the trend among professional science and science education societies to include both formal research report presentations and informal poster presentations, the Pacific Region…
The Integrity of Water: Proceedings of a Symposium, Washington, D.C., March 10-12, 1975.
ERIC Educational Resources Information Center
Environmental Protection Agency, Washington, DC. Office of Water Programs.
This volume resulted from the formal papers and comments presented at an invitational symposium by recognized water experts representing a variety of disciplines and societal interests. The focus of the symposium was on the definition and interpretation of water quality integrity as viewed by representatives of state governments, industry,…
The 1988 Get Away Special Experimenter's Symposium
NASA Technical Reports Server (NTRS)
Thomas, Lawrence R. (Editor); Mosier, Frances L. (Editor)
1988-01-01
The Get Away Special (GAS) Experimenter's Symposium was held to provide a formal opportunity for GAS experimenters to share the results of their projects. The focus of this symposium is on payloads that have been flown on shuttle missions and on GAS payloads that will be flown in the future. Experiment design and payload integration issues are also examined.
Bolser, Donald C.; Fontana, Giovanni A.
2010-01-01
At the Fifth International Cough Symposium 16 posters were presented and, as well as discussions at the poster sites, were considered in a formal symposium session. Here they are divided into groups and we summarize the discussions. PMID:19026758
Yun Wu; Tracy Johnson; Sharlene Sing; S. Raghu; Greg Wheeler; Paul Pratt; Keith Warner; Ted Center; John Goolsby; Richard Reardon
2013-01-01
A total of 208 participants from 78 organizations in 19 countries gathered at the Waikoloa Beach Marriott on the Big Island of Hawaii on September 11-16, 2011 for the XIII International Symposium on Biological Control of Weeds. Following a reception on the first evening, Symposium co-chairs Tracy Johnson and Pat Conant formally welcomed the attendees on the morning of...
The 1985 Get Away Special Experimenter's Symposium
NASA Technical Reports Server (NTRS)
Thomas, L. R. (Editor); Mosier, F. L. (Editor)
1986-01-01
The 1985 Get Away Special (GAS) Experimenter's Symposium provided a formal opportunity for GAS experimenters to share the results of their projects. The focus is on payloads that have been flown on Shuttle missions, and on GAS payloads that will be flown in the near future.
Proceedings of the First NASA Formal Methods Symposium
NASA Technical Reports Server (NTRS)
Denney, Ewen (Editor); Giannakopoulou, Dimitra (Editor); Pasareanu, Corina S. (Editor)
2009-01-01
Topics covered include: Model Checking - My 27-Year Quest to Overcome the State Explosion Problem; Applying Formal Methods to NASA Projects: Transition from Research to Practice; TLA+: Whence, Wherefore, and Whither; Formal Methods Applications in Air Transportation; Theorem Proving in Intel Hardware Design; Building a Formal Model of a Human-Interactive System: Insights into the Integration of Formal Methods and Human Factors Engineering; Model Checking for Autonomic Systems Specified with ASSL; A Game-Theoretic Approach to Branching Time Abstract-Check-Refine Process; Software Model Checking Without Source Code; Generalized Abstract Symbolic Summaries; A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing; Component-Oriented Behavior Extraction for Autonomic System Design; Automated Verification of Design Patterns with LePUS3; A Module Language for Typing by Contracts; From Goal-Oriented Requirements to Event-B Specifications; Introduction of Virtualization Technology to Multi-Process Model Checking; Comparing Techniques for Certified Static Analysis; Towards a Framework for Generating Tests to Satisfy Complex Code Coverage in Java Pathfinder; jFuzz: A Concolic Whitebox Fuzzer for Java; Machine-Checkable Timed CSP; Stochastic Formal Correctness of Numerical Algorithms; Deductive Verification of Cryptographic Software; Coloured Petri Net Refinement Specification and Correctness Proof with Coq; Modeling Guidelines for Code Generation in the Railway Signaling Context; Tactical Synthesis Of Efficient Global Search Algorithms; Towards Co-Engineering Communicating Autonomous Cyber-Physical Systems; and Formal Methods for Automated Diagnosis of Autosub 6000.
DOE Office of Scientific and Technical Information (OSTI.GOV)
Not Available
1990-09-01
These conference proceedings have been prepared in support of the US Nuclear Regulatory Commission's Security Training Symposium on Meeting the Challenge -- Firearms and Explosives Recognition and Detection,'' November 28 through 30, 1989, in Bethesda, Maryland. This document contains the edited transcripts of the guest speakers. It also contains some of the speakers' formal papers that were distributed and some of the slides that were shown at the symposium (Appendix A).
Technical Entrepreneurship: A Symposium.
ERIC Educational Resources Information Center
Cooper, Arnold C., Ed.; Komives, John L., Ed.
Contained in this document are papers presented at the Symposium on Technical Entrepreneurship at Purdue University by researchers who were then or had previously been engaged in research in the area. Because formal research in this area was in its infancy, there was a particular need to afford investigators in the field opportunities to compare…
NASA Technical Reports Server (NTRS)
Polhamus, E. C.
1979-01-01
An overview is presented of 32 formal papers and 7 open session papers. Topics covered include: (1) studies of configurations of practical interest; (2) mathematical modelling and supporting investigations of slender wings, bodies of revolution, and body-wing configurations; (3) design methods; and (4) air intakes.
2006-06-01
of the 10th International Command and Control Research and Technology Symposium; Ritz - Carlton Hotel , McLean, VA; 13-16 June 2005. See: http...International Command and Control Research and Technology Symposium; Ritz - Carlton Hotel , McLean, VA; 13-16 June 2005. http://www.dodccrp.org/events/2005
From Principle to Practice: Using the Global Guidelines to Assess Quality Education and Care
ERIC Educational Resources Information Center
Barbour, Ann; Boyer, Wanda; Hardin, Belinda; Wortham, Sue
2004-01-01
Antarctica gathered in Ruschlikon, Switzerland, at the International Symposium on Early Childhood Education and Care for the 21st Century. The symposium's mission was to craft guidelines for programs that serve children under the age of formal schooling in countries throughout the world. After extensive discussions about what constitutes universal…
ERIC Educational Resources Information Center
Menezes, Isadora Moutinho Carvalho A.; Ovigli, Daniel Fernando Bovolent; Colombo, Pedro Donizete, Jr.
2018-01-01
The present research aims to analyze the publications related to astronomy education that discusses the interface between formal education (FE) and non-FE (NFE) at scientific events and a journal in the Brazilian context. These events were the National Symposium on Astronomy Education, the National Meeting on Research in Science Education (ENPEC),…
Caring during crisis: animal welfare during pandemics and natural disasters.
Millman, Suzanne T
2008-01-01
From April 29 to May 1, 2007, the University of Guelph hosted a symposium, Caring During Crisis: Animal Welfare During Pandemics and Natural Disasters, with the objectives (a) of raising awareness about how nonhuman animals and the people who care for them are affected during emergencies and (b) of sharing knowledge about how animal welfare may be addressed during these situations. The symposium attracted 150 participants, representing 71 organizations from across Canada, the United States, the United Kingdom, Australia, Chile, and the Cayman Islands. The audience also brought a range of perspectives to the issues - from individuals representing animal protection and commodity organizations to municipal government officials responsible for community safety and correctional services; many of these individuals had little or no animal experience. To take advantage of this diverse audience and range of interests, the symposium was structured with formal presentations by internationally recognized experts, followed by panel discussions at the end of each session to facilitate contributions by the audience. At the conclusion of the 3 days, it was clear that our emotional, economic, and ecological relationships with animals require thoughtful integration of animal care within formal policy and planning for emergency response.
BEHAVIORAL TOXICOLOGY: AN EMERGING DISCIPLINE
The book contains the proceedings of a symposium entitled Behavioral Toxicology: An Emerging Discipline, held in conjunction with the Southwest Psychological Association meetings, April 30, 1976 in Albuquerque, New Mexico. Authors of formal presentations later reviewed and enlarg...
Holmes-Rovner, Margaret; Nelson, Wendy L; Pignone, Michael; Elwyn, Glyn; Rovner, David R; O'Connor, Annette M; Coulter, Angela; Correa-de-Araujo, Rosaly
2007-01-01
This article reports on the International Patient Decision Aid Standards Symposium held in 2006 at the annual meeting of the Society for Medical Decision Making in Cambridge, Massachusetts. The symposium featured a debate regarding the proposition that "decision aids are the best way to improve clinical decision making.'' The formal debate addressed the theoretical problem of the appropriate gold standard for an improved decision, efficacy of decision aids, and prospects for implementation. Audience comments and questions focused on both theory and practice: the often unacknowledged roots of decision aids in expected utility theory and the practical problems of limited patient decision aid implementation in health care. The participants' vote on the proposition was approximately half for and half against.
Session overview: forest ecosystems
John J. Battles; Robert C. Heald
2004-01-01
The core assumption of this symposium is that science can provide insight to management. Nowhere is this link more formally established than in regard to the science and management of forest ecosystems. The basic questions addressed are integral to our understanding of nature; the applications of this understanding are crucial to effective stewardship of natural...
Scientific and technical papers presented or published by JSC authors in 1985
NASA Technical Reports Server (NTRS)
1986-01-01
The Lyndon B. Johnson Space Center contributions to the scientific and technical literature in aerospace and life sciences made during calendar year 1985 are described. Citations include NASA formal series reports, journal articles, conference and symposium presentations, papers published in proceedings or other collective works, and seminar and workshop results.
The 1989 JSC bibliography of scientific and technical papers
NASA Technical Reports Server (NTRS)
Hutchins, Nancy (Compiler)
1991-01-01
This document is a compilation of Lyndon B. Johnson Space Center contributions to the scientific and technical literature in aerospace and life sciences made during calendar year 1989. Citations include NASA formal series reports, journal articles, conference and symposium presentations, papers published in proceedings or other collective works, and seminar and workshop results.
Whitsett-Morrow, Dacia; LaGrange, Veronique
2016-03-01
This article is the introduction to our formal proceedings of the symposium titled "Protein Quality, Growth and Malnutrition: Latest Scientific Findings and the Role of Dairy in Food Aid," held during the Experimental Biology 2015 annual meeting in Boston, Massachusetts. © The Author(s) 2016.
77 FR 4544 - CPSC Symposium on Phthalates Screening and Testing Methods
Federal Register 2010, 2011, 2012, 2013, 2014
2012-01-30
... Screening and Testing Methods AGENCY: Consumer Product Safety Commission. ACTION: Notice. SUMMARY: The... symposium on phthalates screening and testing methods. The symposium will be held at the CPSC's National... submit comments, identified by Docket No. CPSC-2012-0008, by any of the following methods: Electronic...
Scientific and technical papers presented or published by JSC authors in 1986
NASA Technical Reports Server (NTRS)
1987-01-01
A compilation of Lyndon B. Johnson Space Center contributions to the scientific and technical literature in aerospace and life sciences made during calender year 1985 is presented. Citations include NASA formal series reports, journal articles, conference and symposium presentations, papers published in proceedings or other collective works, and seminar and workshop results.
Thermal Analysis--Human Comfort--Indoor Environments. NBS Special Publication 491.
ERIC Educational Resources Information Center
Mangum, Billy W., Ed.; Hill, James E., Ed.
Included in these proceedings are 11 formal papers presented by leading researchers in the field of thermal comfort and heat stress at a symposium held for the purpose of exploring new aspects of indoor thermal environments, caused primarily by the impact of energy conservation in new and existing buildings. The contributed papers were from…
George Herbert Mead, Curriculum Theorist: The Curriculum Field and the Problem of Social Control.
ERIC Educational Resources Information Center
Franklin, Barry M.
This paper is one of three presented at a symposium intended to suggest how historical studies of the curriculum field can aid in identifying alternative perspectives to the prevailing scientific-technical perspective, an orientation that has dominated the curriculum field since its inception as a formal area of study. This paper contends that…
Renewing and Developing the Partnership: Federal/State/Campus Cooperation in Student Financial Aid.
ERIC Educational Resources Information Center
Fenske, Robert H., Ed.; Clark, Patricia L., Ed.
The proceedings of the conference are summarized, including a symposium discussion following the formal conference. Contents include: two views of the present advisory structure for student aid (The Case for Maintaining and Expanding the Coalition for the Coordination of Student Financial Aid, by Robert H. Atwell, and The Need for Developing a…
NOAA Office of Exploration and Research > About OER > 2014 Funding
Room OER Symposium OER FY 2014 Federal Funding Opportunity: Closed Pre-Proposals were due on November 4 is the OER formal public announcement requesting pre-proposals and full proposals for fiscal year 2014. For the full FFO go to http://www.grants.gov/view-opportunity.html?oppId=243154. Pre-proposals
The symposia organized for the conference of the International Society for Ecological Modelling (ISEM 2009) included facilitated discussion sessions following formal presentations. Each symposium focused on a specific subject, and all the subjects could be classified into three b...
PREFACE: 9th National Symposium on Polymeric Materials (NSPM 2009)
NASA Astrophysics Data System (ADS)
Ali, Aidy; Salit, Sapuan
2010-07-01
NSPM 2009 is the formal proceedings of the 9th National Symposium on Polymeric Materials held in Residence Hotel Uniten Bangi on 14-16 December 2009. It is also organised with The Plastics and Rubber Institute Malaysia PRIM. The symposium proceedings consists of 94 papers covering a large number of issues on experimental and analytical studies of polymeric materials. The objectives of the symposium are to review the state-of-the art, present and latest findings and exchange ideas among engineers, researchers and practitioners involved in this field. We strongly hope the outcomes of this symposium will stimulate and enhanced the progress of experimental and analytical studies on polymeric materials as well as contribute to the fundamental understanding in related fields. After careful refereeing of all manuscripts, 15 papers were selected for publications in this issue. Another 20 papers were selected for publication in Pertanika Journal of Science and Technology (PJST). The content of the material and its rapid dissemination was considered to be more important than its form. We are grateful to all the authors for their papers and presentations in this symposium. They are also the ones who help make this symposium possible through their hard work in the preparation of the manuscripts. We would also like to offer our sincere thanks to all the invited speakers who came to share their knowledge with us. We would also like to acknowledge the untiring efforts of the reviewers, research assistants and students in meeting deadlines and for their patience and perseverance. We are indeed honoured to associate this event with Department of Mechanical and Manufacturing, and Faculty of Engineering, Universiti Putra Malaysia. Finally, we appreciate the sponsor support provided by Faculty of Engineering, The Plastics and Rubber Institute Malaysia (PRIM) and PETRONAS Malaysia. Thank you all. Editors: Aidy Ali and S M Sapuan
DOE Office of Scientific and Technical Information (OSTI.GOV)
Harber, K.S.
1993-05-01
This report contains the following papers: Implications in vivid logic; a self-learning bayesian expert system; a natural language generation system for a heterogeneous distributed database system; competence-switching'' managed by intelligent systems; strategy acquisition by an artificial neural network: Experiments in learning to play a stochastic game; viewpoints and selective inheritance in object-oriented modeling; multivariate discretization of continuous attributes for machine learning; utilization of the case-based reasoning method to resolve dynamic problems; formalization of an ontology of ceramic science in CLASSIC; linguistic tools for intelligent systems; an application of rough sets in knowledge synthesis; and a relational model for imprecise queries.more » These papers have been indexed separately.« less
DOE Office of Scientific and Technical Information (OSTI.GOV)
Harber, K.S.
1993-05-01
This report contains the following papers: Implications in vivid logic; a self-learning Bayesian Expert System; a natural language generation system for a heterogeneous distributed database system; ``competence-switching`` managed by intelligent systems; strategy acquisition by an artificial neural network: Experiments in learning to play a stochastic game; viewpoints and selective inheritance in object-oriented modeling; multivariate discretization of continuous attributes for machine learning; utilization of the case-based reasoning method to resolve dynamic problems; formalization of an ontology of ceramic science in CLASSIC; linguistic tools for intelligent systems; an application of rough sets in knowledge synthesis; and a relational model for imprecise queries.more » These papers have been indexed separately.« less
The Symposium Proceedings of the 1998 Air Transport Research Group (ATRG). Volume 2
NASA Technical Reports Server (NTRS)
Reynolds-Feighan, Aisling (Editor); Bowen, Brent D. (Editor)
1998-01-01
The Air Transport Research Group of the World Conference on Transportation Research (WCTR) Society was formally launched as a special interest group at the 7th Triennial WCTR in Sydney, Australia in 1995. Since then, our membership base has expanded rapidly, and now includes over 400 active transportation researchers, policy-makers, industry executives, major corporations and research institutes from 28 countries. It became a tradition that the ATRG would hold an international conference at least once a year. In 1998, the ATRG organized a consecutive stream of 14 aviation sessions at the 8th Triennial WCTR Conference (July 12-17: Antwerp). Again, on 19-21 July, 1998, the ATRG Symposium was organized and executed very successfully by Dr. Aisling Reynolds-Feighan of the University College of Dublin. The Aviation Institute at the University of Nebraska at Omaha has published the Proceedings of the 1998 ATRG Dublin Symposium (being co-edited by Dr. Aisling Reynolds-Feighan and Professor Brent Bowen), and the Proceedings of the 1998 WCTR-ATRG Conference (being co-edited by Professors Tae H. Oum and Brent Bowen).
Specification and Verification of Secure Concurrent and Distributed Software Systems
1992-02-01
primitive search strategies work for operating systems that contain relatively few operations . As the number of operations increases, so does the the...others have granted him access to, etc . The burden of security falls on the operating system , although appropriate hardware support can minimize the...Guttag, J. Horning, and R. Levin. Synchronization primitives for a multiprocessor: a formal specification. Symposium on Operating System Principles
ERIC Educational Resources Information Center
Conrad, Randall
This article discusses the history of American documentary films and examines several specific films. Any documentary has the primary job of reacting a virtual reality and maintaining an impression of immediate experience. While this has remained a constant requirement, the formal conventions which filmmakers use to create the virtual reality have…
USDA-ARS?s Scientific Manuscript database
The eleven symposia organized for the 2009 conference of the International Society for Ecological Modelling (ISEM 2009) held in Quebec City, Canada, October 6-9, 2009, included facilitated discussion sessions following formal presentations. Each symposium focused on a specific subject, and all the s...
EMP and HPM Suppression Techniques
1997-03-10
34 IEEE International Electromagnetic Compatibility Symposium, Anaheim, California (1993). 6 Jerry Behling. 7 Karen Shrier . 8 Dutcher, Clinton...York (1972). II-A-3-16 II-R REFERENCES SELECTED BIBLIOGRAPHY [I] Hyatt, H. M.; Shrier , K. P., "Electrical Overstress Pulse Protection Material...EI-11(2) (1976). [19] Böhm, David , "Quantum Theory," Prentice-Hall, New Jersey (1951). [20] Dutcher, Clinton, "Vector Space Quantum Formalism
Schüttpelz-Brauns, Katrin; Kiessling, Claudia; Ahlers, Olaf; Hautz, Wolf E
2015-01-01
In 2013, the Methodology in Medical Education Research Committee ran a symposium on "Research in Medical Education" as part of its ongoing faculty development activities. The symposium aimed to introduce to participants educational research methods with a specific focus on research in medical education. Thirty-five participants were able to choose from workshops covering qualitative methods, quantitative methods and scientific writing throughout the one and a half days. The symposium's evaluation showed participant satisfaction with the format as well as suggestions for future improvement. Consequently, the committee will offer the symposium again in a modified form in proximity to the next annual Congress of the German Society of Medical Education.
The 1990 Johnson Space Center bibliography of scientific and technical papers
NASA Technical Reports Server (NTRS)
1991-01-01
Abstracts are presented of scientific and technical papers written and/or presented by L. B. Johnson Space Center (JSC) authors, including civil servants, contractors, and grantees, during the calendar year of 1990. Citations include conference and symposium presentations, papers published in proceedings or other collective works, seminars, and workshop results, NASA formal report series (including contractually required final reports), and articles published in professional journals.
1991-01-01
Estimates, in support force structure, and identifying of cost- effectiveness studies , other system characteristics. system analysis efforts, and trade- A...mission effectiveness studies , used to justify technology evaluate the results in terms funding. These technology of benefit vs. cost, and marketers often...the formal studies serve on mission effectiveness and to rubber stamp these prede- ultimately, benefit vs. cost termined solutions. In an 101 attempt to
ERIC Educational Resources Information Center
2000
Three presentations are provided from Symposium 18, Instructional Technology, of the Academy of Human Resource Development (HRD) 2000 Conference Proceedings. "Strategies for Facilitating Interaction When Using Technology-Mediated Training Methods [TMTM]" (Jeffrey S. Lewis, Gary D. Geroy, Orlando Griego) focuses on differences between…
Diffusion in Ordered Alloys, Symposium Held in Chicago, Illinois on November 3 - 4, 1992
1992-11-04
calculation of transport proneres The essence of an atomistic theory of diffusion within the linear approximation of the Onsager formalism is to derive...the pair model may be extended to the low temperature range and that this linear behavior exists nearly over the whole temperature range where SRO...being the concentration of the component X. The successive jumps of vacancies are considered to be the elementary process of orde- ring. The jump
Schüttpelz-Brauns, Katrin; Kiessling, Claudia; Ahlers, Olaf; Hautz, Wolf E.
2015-01-01
In 2013, the Methodology in Medical Education Research Committee ran a symposium on “Research in Medical Education” as part of its ongoing faculty development activities. The symposium aimed to introduce to participants educational research methods with a specific focus on research in medical education. Thirty-five participants were able to choose from workshops covering qualitative methods, quantitative methods and scientific writing throughout the one and a half days. The symposium’s evaluation showed participant satisfaction with the format as well as suggestions for future improvement. Consequently, the committee will offer the symposium again in a modified form in proximity to the next annual Congress of the German Society of Medical Education. PMID:25699106
Transonic Symposium: Theory, Application, and Experiment, volume 1, part 2
NASA Technical Reports Server (NTRS)
Foughner, Jerome T., Jr. (Compiler)
1989-01-01
In order to assess the state of the art in transonic flow disciplines and to glimpse at future directions, NASA-Langley held a Transonic Symposium. Emphasis was placed on steady, three dimensional external, transonic flow and its simulation, both numerically and experimentally. The symposium included technical sessions on wind tunnel and flight experiments; computational fluid dynamic applications; inviscid methods and grid generation; viscous methods and boundary layer stability; and wind tunnel techniques and wall interference. This, being volume 1, is unclassified.
The third International Congress on Myeloproliferative and Myelodysplastic Syndromes.
Silver, R T; Bennett, J M; Goldman, J M; Spivak, J L; Tefferi, A
2007-01-01
This meeting was convened by Richard T. Silver and co-chaired by Jerry L. Spivak. It was held from 27 to 29 October 2005 in Washington, DC. Thirty-one invited speakers from seven different countries participated in the conference, which was attended by more than 300 individuals from 23 countries. As in previous years, a clinical symposium for patients, held the day before the symposium, was sponsored by the Cancer Research and Treatment Fund, Inc., New York, NY 10021. This meeting report provides a summary of the five sessions prepared and highlighted by one of the session chairs. In addition to the formal presentations on the biology, clinical aspects and management of these diverse marrow stem cell disorders, there was considerable interest generated because of the availability of several new agents that have been recently approved. A special luncheon satellite symposium was devoted to the dramatic changes in the therapeutic options for the myelodysplastic syndromes, sponsored by MGI Pharma, Inc. The keynote address was presented by Dr. George Q. Daley from Harvard Medical School and the Children's Hospital Medical Center. He reviewed the molecular steps in the formation of the Philadelphia chromosome and some of the newly described mutations leading to resistance to chemotherapy (see Section 4).
System analysis in forest resources: proceedings of the 2003 symposium.
Michael Bevers; Tara M. Barrett
2005-01-01
The 2003 symposium of systems analysis in forest resources brought together researchers and practitioners who apply methods of optimization, simulation, management science, and systems analysis to forestry problems. This was the 10th symposium in the series, with previous conferences held in 1975, 1985, 1988, 1991, 1993, 1994, 1997, 2000, and 2002. The forty-two papers...
Highlights from CPTAC Scientific Symposium | Office of Cancer Clinical Proteomics Research
Dear Colleagues and Friends, The first CPTAC Public Scientific Symposium was recently held on November 13, 2013 at the National Institutes of Health in Bethesda, MD. The symposium brought together a record number of registrants, 450 scientists, who shared and discussed novel biological discoveries, analytical methods, and translational approaches using CPTAC data.
ERIC Educational Resources Information Center
Phillipson, J., Ed.
Included are papers (in French or English, with summaries in the other language) presented at a UNESCO-International Biological Programme symposium in 1967. The symposium provided an opportunity for the exchange of information on recent advances in soil ecology, with particular emphasis on soil productivity. Papers on broader theoretical aspects…
Beam stability & nonlinear dynamics. Formal report
DOE Office of Scientific and Technical Information (OSTI.GOV)
Parsa, Z.
1996-12-31
his Report includes copies of transparencies and notes from the presentations made at the Symposium on Beam Stability and Nonlinear Dynamics, December 3-5, 1996 at the Institute for Theoretical Physics, University of California, Santa Barbara California, that was made available by the authors. Editing, reduction and changes to the authors contributions were made only to fulfill the printing and publication requirements. We would like to take this opportunity and thank the speakers for their informative presentations and for providing copies of their transparencies and notes for inclusion in this Report.
A brief history of the Bioengineering Institute of California and the UC System-wide Symposia.
Chien, Shu
2011-04-01
The plan to establish a Multicampus Research Unit (MRU) on Bioengineering in the University of California (UC) System started in August 1999. The cooperative efforts of the UC campuses led to the formal establishment of the Bioengineering Institute of California (BIC) in October 2003. Three years prior to the BIC establishment, the System-wide Annual Bioengineering Symposium was started at UC Davis. The Symposia were then hosted sequentially by UC Santa Barbara, UC Berkeley, UCSD, UC Santa Cruz, UC Irvine, UCSF, UCLA, and UC Riverside, with the completion of the first cycle of a decade in the newest campus of UC Merced in 2009. The second cycle began in 2010 with the Symposium returning again to UC Davis. Each campus hosted a wonderful Symposium, with the active participation of students and faculty from all campuses, with the motto of "Ten campuses united as one, learning and growing together." These Symposia have contributed significantly to the collaborative research and training of students and young scientists in bioengineering, as well as fruitful interactions with industry and government agencies, which have provided strong support for these valuable meetings. The BIC will endeavor to further enhance these efforts by fostering research collaborations and joint education and training activities, with the ultimate goal of advancing bioengineering for the improvement of human health and wellbeing.
The MIT Alewife Machine: A Large-Scale Distributed-Memory Multiprocessor
1991-06-01
Symposium on Compiler Construction, June 1986. [14] Daniel Gajski , David Kuck, Duncan Lawrie, and Ahmed Saleh. Cedar - A Large Scale Multiprocessor. In...Directory Methods. In Proceedings 17th Annual International Symposium on Computer Architecture, June 1990. [31] G . M. Papadopoulos and D.E. Culler...Monsoon: An Explicit Token-Store Ar- chitecture. In Proceedings 17th Annual International Symposium on Computer Architecture, June 1990. [32] G . F
Four-wavelength lidar evaluation of particle characteristics and aerosol densities
NASA Astrophysics Data System (ADS)
Uthe, E. E.; Livingston, J. M.; Delateur, S. A.; Nielsen, N. B.
1985-06-01
The SRI International four-wavelength (0.53, 1.06, 3.8, 10.6 micron) lidar systems was used during the SNOW-ONE-B and Smoke Week XI/SNOW-TWO field experiments to validate its capabilities in assessing obscurant optical and physical properties. The lidar viewed along a horizontal path terminated by a passive reflector. Data examples were analyzed in terms of time-dependent transmission, wavelength dependence of optical depth, and range-resolved extinction coefficients. Three methods were used to derive extinction data from the lidar signatures. These were target method, Klett method and experimental data method. The results of the field and analysis programs are reported in the journal and conference papers that are appended to this report, and include: comparison study of lidar extinction methods, submitted to applied optics, error analysis of lidar solution techniques for range-resolved extinction coefficients based on observational data, smoke/obscurants symposium 9, Four--Wavelength Lidar Measurements from smoke week 6/SNOW-TWO, smoke/obscurants symposium 8, SNOW-ONE-B multiple-wavelength lidar measurements. Snow symposium 3, and lidar applications for obscurant evaluations, smoke/obscurants Symposium 7. The report also provides a summary of background work leading to this project, and of project results.
Overview of recent Japanese activities in thermographic NDT
NASA Astrophysics Data System (ADS)
Sakagami, Takahide; Ogura, Keiji
1997-04-01
In the past decade, nondestructive testing techniques using infrared thermography, i.e., thermographic NDT techniques, received a lot of attention in many engineering fields in Japan. The first national symposium that specialized in thermographic NDT techniques was held in Tokyo, Japan on November 28-29, 1995, organized by the Research and Technical Committee on Surface Method of the Japanese Society for Nondestructive Inspection (JSNDI). At this symposium, twenty eight presentations including two keynote addresses were given. Over three hundred thermography researchers and engineers (thermographers) attended the symposium. Further, an exhibition of newly developed equipment for infrared thermography featuring the equipment of eleven companies took place concurrently. This symposium played an important role as the first national symposium dedicated to sharing information, ideas and experiences about thermographic NDT among thermographers from both the user and supplier sides. Sessions within the symposium were as follows: Advances in Infrared Imaging Systems; Applications for Composite Materials and Coated Materials; Diagnosis of Equipment/Monitoring, Applications for Structural Materials; Backup Techniques for Thermographic NDT; Infrared Stress Measurement and Contact Problems. This paper briefly describes presentations given in the symposium.
NASA Technical Reports Server (NTRS)
Storaasli, Olaf O. (Editor); Housner, Jerrold M. (Editor)
1993-01-01
Computing speed is leaping forward by several orders of magnitude each decade. Engineers and scientists gathered at a NASA Langley symposium to discuss these exciting trends as they apply to parallel computational methods for large-scale structural analysis and design. Among the topics discussed were: large-scale static analysis; dynamic, transient, and thermal analysis; domain decomposition (substructuring); and nonlinear and numerical methods.
The 58th Shock and Vibration Symposium, volume 1
NASA Technical Reports Server (NTRS)
Pilkey, Walter D. (Compiler); Pilkey, Barbara F. (Compiler)
1987-01-01
The proceedings of the 58th Shock and Vibration Symposium, held in Huntsville, Alabama, October 13 to 15, 1987 are given. Mechanical shock, dynamic analysis, space shuttle main engine vibration, isolation and damping, and analytical methods are discussed.
Methods in artificial insemination technology and fertility evaluation in poultry
USDA-ARS?s Scientific Manuscript database
The symposium will include an in-depth review and hands-on demonstrations of selected methodologies in AI technology and fertility evaluation. The symposium is geared for commercial farm and hatchery technical staffs and research lab personnel....
ERIC Educational Resources Information Center
Council of Europe, Strasbourg (France). Committee for General and Technical Education.
This report provides a summary of the proceedings and recommendations of the Council of Europe symposium on preschool education held in Venice, Italy in 1971. The report is divided into three major areas: (1) historical background information; (2) summaries of general lectures, especially dealing with the functions, aims, methods, and problems of…
Symposium Review: Metal and Polymer Matrix Composites at MS&T 2013
NASA Astrophysics Data System (ADS)
Gupta, Nikhil; Paramsothy, Muralidharan
2014-06-01
This article reflects on the presentations made during the Metal and Polymer Matrix Composites symposium at Materials Science and Technology 2013 (MS&T'13) held in Montreal (Quebec, Canada) from October 27 to 31. The symposium had three sessions on metal matrix composites and one session on polymer matrix composites containing a total of 23 presentations. While the abstracts and full-text papers are available through databases, the discussion that took place during the symposium is often not captured in writing and gets immediately lost. We have tried to recap some of the discussion in this article and hope that it will supplement the information present in the proceedings. The strong themes in the symposium were porous composites, aluminum matrix composites, and nanocomposites. The development of processing methods was also of interest to the speakers and attendees.
On behalf of the National Cancer Institute and the Office of Cancer Clinical Proteomics Research, you are invited to the First Annual CPTAC Scientific Symposium on Wednesday, November 13, 2013. The purpose of this symposium, which consists of plenary and poster sessions, is for investigators from CPTAC community and beyond to share and discuss novel biological discoveries, analytical methods, and translational approaches using CPTAC data.
Seventh symposium on systems analysis in forest resources; 1997 May 28-31; Traverse City, MI.
J. Michael Vasievich; Jeremy S. Fried; Larry A. Leefers
2000-01-01
This international symposium included presentations by representatives from government, academic, and private institutions. Topics covered management objectives; information systems: modeling, optimization, simulation and decision support techniques; spatial methods; timber supply; and economic and operational analyses.
Proceedings of the 2010 Northeastern Recreation Research Symposium
Cherie LeBlanc Fisher; Clifton E., Jr., eds. Watts
2012-01-01
Contains articles presented at the 2010 Northeastern Recreation Research Symposium. Contents cover tourism marketing, fish and wildlife, place meaning, leisure and demographics, nature-based tourism, methods, leisure motives, outdoor recreation management, outdoor recreation among specific populations, leisure constraints, environmental attitudes and values, leisure...
Space Transportation Avionics Technology Symposium. Volume 1: Executive summary
NASA Technical Reports Server (NTRS)
1990-01-01
The focus of the symposium was to examine existing and planned avionics technology processes and products and to recommend necessary changes for strengthening priorities and program emphases. Innovative changes in avionics technology development and design processes, identified during the symposium, are needed to support the increasingly complex, multi-vehicle, integrated, autonomous space-based systems. Key technology advances make such a major initiative viable at this time: digital processing capabilities, integrated on-board test/checkout methods, easily reconfigurable laboratories, and software design and production techniques.
NASA Technical Reports Server (NTRS)
Bowen, Brent D. (Editor); Oum, Tae Hoon (Editor)
1998-01-01
The Air Transport Research Group of the WCTR Society was formally launched as a special interest group at the 7h Triennial WCTR in Sydney, Australia in 1995. Since then, our membership base has expanded rapidly, and now includes over 400 active transportation researchers, policy-makers, industry executives, major corporations and research institutes from 28 countries. It became a tradition that the ATRG would hold an international conference at least once a year. In 1998, the ATRG organized a consecutive stream of 14 aviation sessions at the 8th Triennial WCTR Conference (July 12-17: Antwerp). Again, on 19-21 July, 1998, the ATRG Symposium was organized and executed every successfully by Dr. Aisling Reynolds-Feighan of the University College of Dublin. The Aviation Institute at the University of Nebraska at Omaha has published the Proceedings of the 1998 ATRG Dublin Symposium (being co-edited by Dr. Aisling Reynolds-Feighan and Professor Brent Bowen), and the Proceedings of the 1998 WCTR- ATRG Conference (being co-edited by Professors Tae H. Oum and Brent Bowen).
Liang, Jun; Wei, Kunyan; Meng, Qun; Chen, Zhenying; Zhang, Jiajie
2017-01-01
Background China launched its second health reform in 2010 with considerable investments in medical informatics (MI). However, to the best of our knowledge, research on the outcomes of this ambitious undertaking has been limited. Objective Our aim was to understand the development of MI and the state of continuing education in China and the United States from the perspective of conferences. Methods We conducted a quantitative and qualitative analysis of four MI conferences in China and two in the United States: China Medical Information Association Annual Symposium (CMIAAS), China Hospital Information Network Annual Conference (CHINC), China Health Information Technology Exchange Annual Conference (CHITEC), China Annual Proceeding of Medical Informatics (CPMI) versus the American Medical Informatics Association (AMIA) and Healthcare Information and Management Systems Society (HIMSS). The scale, composition, and regional distribution of attendees, topics, and research fields for each conference were summarized and compared. Results CMIAAS and CPMI are mainstream academic conferences, while CHINC and CHITEC are industry conferences in China. Compared to HIMSS 2016, the meeting duration of CHITEC was 3 versus 5 days, the number of conference sessions was 132 versus 950+, the number of attendees was 5000 versus 40,000+, the number of vendors was 152 versus 1400+, the number of subforums was 12 versus 230, the number of preconference education symposiums and workshops was 0 versus 12, and the duration of preconference educational symposiums and workshops was 0 versus 1 day. Compared to AMIA, the meeting duration of Chinese CMIAAS was 2 versus 5 days, the number of conference sessions was 42 versus 110, the number of attendees was 200 versus 2500+, the number of vendors was 5 versus 75+, and the number of subforums was 4 versus 10. The number of preconference tutorials and working groups was 0 versus 29, and the duration of tutorials and working group was 0 versus 1.5 days. Conclusions Given the size of the Chinese economy and the substantial investment in MI, the output in terms of conferences remains low. The impact of conferences on continuing education to professionals is not significant. Chinese researchers and professionals should approach MI with greater rigor, including validated research methods, formal training, and effective continuing education, in order to utilize knowledge gained by other countries and to expand collaboration. PMID:28637638
Sanibel Symposium in the Petascale-Exascale Computational Era
DOE Office of Scientific and Technical Information (OSTI.GOV)
Cheng, Hai-Ping
The 56 th Sanibel Symposium was held February 14-19 2016 at the King and Prince Hotel, St. Simons Island, GA. It successfully brought quantum chemists and chemical and condensed matter physicists together in presentations, posters, and informal discussions bridging those two communities. The Symposium has had a significant role in preparing generations of quantum theorists. As computational potency and algorithmic sophistication have grown, the Symposium has evolved to emphasize more heavily computationally oriented method development in chemistry and materials physics, including nanoscience, complex molecular phenomena, and even bio-molecular methods and problems. Given this context, the 56 th Sanibel meeting systematicallymore » and deliberately had sessions focused on exascale computation. A selection of outstanding theoretical problems that need serious attention was included. Five invited sessions, two contributed sessions (hot topics), and a poster session were organized with the exascale theme. This was a historic milestone in the evolution of the Symposia. Just as years ago linear algebra, perturbation theory, density matrices, and band-structure methods dominated early Sanibel Symposia, the exascale sessions of the 56 thmeeting contributed a transformative influence to add structure and strength to the computational physical science community in an unprecedented way. A copy of the full program of the 56 th Symposium is attached. The exascale sessions were Linear Scaling, Non-Adabatic Dynamics, Interpretive Theory and Models, Computation, Software, and Algorithms, and Quantum Monte Carlo. The Symposium Proceedings will be published in Molecular Physics (2017). Note that the Sanibel proceedings from 2015 and 2014 were published as Molecular Physics vol. 114, issue 3-4 (2016) and vol. 113, issue 3-4 (2015) respectively.« less
New modes of particle accelerations techniques and sources. Formal report
DOE Office of Scientific and Technical Information (OSTI.GOV)
Parsa, Z.
1996-12-31
This Report includes copies of transparencies and notes from the presentations made at the Symposium on New Modes of Particle Accelerations - Techniques and Sources, August 19-23, 1996 at the Institute for Theoretical Physics, University of California, Santa Barbara California, that was made available by the authors. Editing, reduction and changes to the authors contributions were made only to fulfill the printing and publication requirements. We would like to take this opportunity and thank the speakers for their informative presentations and for providing copies of their transparencies and notes for inclusion in this Report.
PREFACE: International Symposium on Geohazards and Geomechanics (ISGG2015)
NASA Astrophysics Data System (ADS)
Utili, S.
2015-09-01
These Conference Proceedings contain the full papers in electronic format of the International Symposium on 'Geohazards and Geomechanics', held at University of Warwick, UK, on September 10-11, 2015. The Symposium brings together the complementary expertise of world leading groups carrying out research on the engineering assessment, prevention and mitigation of geohazards. A total of 58 papers, including 8 keynote lectures cover phenomena such as landslide initiation and propagation, debris flow, rockfalls, soil liquefaction, ground improvement, hazard zonation, risk mapping, floods and gas and leachates. The techniques reported in the papers to investigate geohazards involve numerical modeling (finite element method, discrete element method, material point method, meshless methods and particle methods), experimentation (laboratory experiments, centrifuge tests and field monitoring) and analytical simplified techniques. All the contributions in this volume have been peered reviewed according to rigorous international standards. However the authors take full responsibility for the content of their papers. Agreements are in place for the edition of a special issue dedicated to the Symposium in three international journals: Engineering Geology, Computational Particle Mechanics and International Journal of Geohazards and Environment. Authors of selected papers will be invited to submit an extended version of their work to these Journals that will independently assess the papers. The Symposium is supported by the Technical Committee 'Geo-mechanics from Micro to Macro' (TC105) of the International Society for Soil Mechanics and Geotechnical Engineering (ISSMGE), 'Slope Stability in Engineering Practice' (TC208), 'Forensic Geotechnical Engineering' (TC302), the British Geotechnical Association and the EU FP7 IRSES project 'Geohazards and Geomechanics'. Also the organizers would like to thank all authors and their supporting institutions for their contributions. For any further enquiries or information on the conference proceedings please contact the organizer, Dr Stefano Utili, University of Warwick, s.utili@warwick.ac.uk.
Proceedings of the 2006 Northeastern Recreation Research Symposium
R. Burns; K., comps Robinson
2007-01-01
Contains articles and posters presented at the 2006 Northeastern Recreation Research Symposium. Contents cover tourism marketing, fish and wildlife, place meaning, leisure and gender, recreation resource allocation, nature-based tourism, methods, leisure motives, outdoor recreation management, tourism impacts, outdoor recreation among specific populations, leisure...
Proceedings of the 2008 Northeastern Recreation Research Symposium
David B. Klenosky; Cherie LeBlanc Fisher; eds.
2009-01-01
Contains articles and posters presented at the 2008 Northeastern Recreation Research Symposium. Contents cover tourism marketing, fish and wildlife, place meaning, leisure and gender, recreation resource allocation, nature-based tourism, methods, leisure motives, outdoor recreation management, tourism impacts, outdoor recreation among specific populations, leisure...
Proceedings of the 2007 northeastern recreation research symposium
Cherie LeBlanc; Christine, comps Vogt
2008-01-01
Contains articles and posters presented at the 2007 northeastern recreation research symposium. Contents cover tourism marketing, fish and wildlife, place meaning, leisure and gender, recreation resource allocation, nature-based tourism, methods, leisure motives, outdoor recreation management, tourism impacts, outdoor recreation among specific populations, leisure...
Einstein, Andrew J.; Berman, Daniel S.; Min, James K.; Hendel, Robert C.; Gerber, Thomas C.; Carr, J. Jeffrey; Cerqueira, Manuel D.; Cullom, S. James; DeKemp, Robert; Dickert, Neal; Dorbala, Sharmila; Garcia, Ernest V.; Gibbons, Raymond J.; Halliburton, Sandra S.; Hausleiter, Jörg; Heller, Gary V.; Jerome, Scott; Lesser, John R.; Fazel, Reza; Raff, Gilbert L.; Tilkemeier, Peter; Williams, Kim A.; Shaw, Leslee J.
2014-01-01
Objective To identify key components of a radiation accountability framework fostering patient-centered imaging and shared decision-making in cardiac imaging. Background An NIH-NHLBI/NCI-sponsored symposium was held in November 2012 to address these issues. Methods Symposium participants, working in three tracks, identified key components of a framework to target critical radiation safety issues for the patient, the laboratory, and the larger population of patients with known or suspected cardiovascular disease. Results Use of ionizing radiation during an imaging procedure should be disclosed to all patients by the ordering provider at the time of ordering, and reinforced by the performing provider team. An imaging protocol with effective dose ≤3mSv is considered very low risk, not warranting extensive discussion or written consent. However, a protocol effective dose <20mSv was proposed as a level requiring particular attention in terms of shared decision-making and either formal discussion or written informed consent. Laboratory reporting of radiation dosimetry is a critical component of creating a quality laboratory fostering a patient-centered environment with transparent procedural methodology. Efforts should be directed to avoiding testing involving radiation, in patients with inappropriate indications. Standardized reporting and diagnostic reference levels for computed tomography and nuclear cardiology are important for the goal of public reporting of laboratory radiation dose levels in conjunction with diagnostic performance. Conclusions The development of cardiac imaging technologies revolutionized cardiology practice by allowing routine, noninvasive assessment of myocardial perfusion and anatomy. It is now incumbent upon the imaging community to create an accountability framework to safely drive appropriate imaging utilization. PMID:24530677
CHRONICLE: Third International Symposium on Modern Optics, Budapest, September 1988
NASA Astrophysics Data System (ADS)
Bukhenskiĭ, M. F.; Nikitin, P. I.; Semenov, A. S.
1989-07-01
The Third International Symposium on Modern Optics (Optics-88), held in Budapest on 13-16 September 1988, was organized by the Hungarian Optical, Acoustic, and Cinematographic Society with the support of the International Commission on Optics and various scientific and industrial organizations in Hungary. The International Symposium Committee was composed of leading specialists from 11 countries in Asia, America, and Europe with A. M. Prokhorov (USSR) and N. Kroo (Hungary) as Co-chairmen. The purpose of this regular symposium is to summarize the scientific and technical progress underlying the developments in optics itself, discuss the branches of science where progress depends on optical methods in devices, and draw the attention of specialists to the most promising trends which should yield results in the immediate future.
Conflict Management and Decision Making. Symposium.
ERIC Educational Resources Information Center
2002
This symposium on conflict management and decision making is comprised of three papers. "Two Approaches to Conflict Management in Teams: A Case Study" (Mychal Coleman, Gary N. McLean) describes a study that provided conflict management training to two employee teams using the traditional lecture method and cooperative learning (CL).…
This half-day session at the 20I0 Joint Symposium of the Society of Toxicologic Pathology (STP) and the International Federation of Societies of Toxicologic Pathologists (IFSTP) explored many deceptively simple questions related to toxicologic neuropathology. What is the best met...
ERIC Educational Resources Information Center
Jackson, W. B., Ed.; Marsh, R. E., Ed.
The first symposium on "Test Methods for Vertebrate Pest Management" was held in March, 1976. Much of the thrust was toward explaining and defining the "state of the art." Concerns included rodents and rabbits, predators, scavengers, and large game animals, and a variety of bird species. Environments were as restricted as a…
Abstracts for the symposium on the Application of neural networks to the earth sciences
Singer, Donald A.
2002-01-01
Artificial neural networks are a group of mathematical methods that attempt to mimic some of the processes in the human mind. Although the foundations for these ideas were laid as early as 1943 (McCulloch and Pitts, 1943), it wasn't until 1986 (Rumelhart and McClelland, 1986; Masters, 1995) that applications to practical problems became possible. It is the acknowledged superiority of the human mind at recognizing patterns that the artificial neural networks are trying to imitate with their interconnected neurons. Interconnections used in the methods that have been developed allow robust learning. Capabilities of neural networks fall into three kinds of applications: (1) function fitting or prediction, (2) noise reduction or pattern recognition, and (3) classification or placing into types. Because of these capabilities and the powerful abilities of artificial neural networks, there have been increasing applications of these methods in the earth sciences. The abstracts in this document represent excellent samples of the range of applications. Talks associated with the abstracts were presented at the Symposium on the Application of Neural Networks to the Earth Sciences: Seventh International Symposium on Mineral Exploration (ISME–02), held August 20–21, 2002, at NASA Moffett Field, Mountain View, California. This symposium was sponsored by the Mining and Materials Processing Institute of Japan (MMIJ), the U.S. Geological Survey, the Circum-Pacific Council, and NASA. The ISME symposia have been held every two years in order to bring together scientists actively working on diverse quantitative methods applied to the earth sciences. Although the title, International Symposium on Mineral Exploration, suggests exclusive focus on mineral exploration, interests and presentations have always been wide-ranging—abstracts presented here are no exception.
ERIC Educational Resources Information Center
Jones, Earl I., Ed.
This five-section symposium report includes 22 papers assessing the state-of-the-art in occupational research. Section 1, Occupational Analysis, Structure, and Methods, contains four papers that discuss: the Air Force Occupational Research project, methodologies in job analysis, evaluation, structures and requirements, career development,…
DOE Office of Scientific and Technical Information (OSTI.GOV)
Allmaier, Guenter; Wunschel, David S.; Wahl, Karen L.
2004-04-19
This is an introduction to a special issue of the Journal of microbiological Methods based on a recent meeting held at PNNL: the 5th International Symposium on the Interface between Analytical Chemistry and Microbiology.
Symposium on Advanced Methods of Catalyst Characterization, November 1-2, 1982.
1983-05-18
RD- R136 209 SYMPOSIUM ON DVNCED METHODS OF CTLYST / OARRCTERIZATION OVEMBER 1-2 1982(U) LEHIGH UNIV BETHLEHEM PR K KLIER 18 MRY 83 NBGB04-82-G-B893...Experimental Station. Wilmington, DE 19898 10:45 K1.5 Preliminary Investigation of the Palladium-Tungsten-yAl 203 Catalyst System by Transmission Electron...location and amounts of oxides and sulfides, and sintering and redispersion. Systems and conditions are sufficiently close tothose of industrial
Melis, Theodore S.; Hamill, John F.; Bennett, Glenn E.; Coggins,, Lewis G.; Grams, Paul E.; Kennedy, Theodore A.; Kubly, Dennis M.; Ralston, Barbara E.
2010-01-01
Since the 1980s, four major science and restoration programs have been developed for the Colorado River Basin to address primarily the conservation of native fish and other wildlife pursuant to the Endangered Species Act (ESA): (1) Recovery Implementation Program for Endangered Fish Species in the Upper Colorado River Basin (commonly called the Upper Colorado River Endangered Fish Recovery Program) (1988); (2) San Juan River Basin Recovery Implementation Program (1992); (3) Glen Canyon Dam Adaptive Management Program (1997); and (4) Lower Colorado River Multi-Species Conservation Program (2005). Today, these four programs, the efforts of which span the length of the Colorado River, have an increasingly important influence on water management and resource conservation in the basin. The four efforts involve scores of State, Federal, and local agencies; Native American Tribes; and diverse stakeholder representatives. The programs have many commonalities, including similar and overlapping goals and objectives; comparable resources and threats to those resources; and common monitoring, research, and restoration strategies. In spite of their commonalities, until recently there had been no formal opportunity for information exchange among the programs. To address this situation, the U.S. Geological Survey (USGS) worked in coordination with the four programs and numerous Federal and State agencies to organize the first Colorado River Basin Science and Resource Management Symposium, which took place in Scottsdale, AZ, in November 2008. The symposium's primary purpose was to promote an exchange of information on research and management activities related to the restoration and conservation of the Colorado River and its major tributaries. A total of 283 managers, scientists, and stakeholders attended the 3-day symposium, which included 87 presentations and 27 posters. The symposium featured plenary talks by experts on a variety of topics, including overviews of the four restoration programs, water-management actions aimed at restoring native fish habitat, climate change, assessments of the status of native and nonnative fish populations, and Native American perspectives. Intermixed with plenary talks were four concurrent technical sessions that addressed the following important topics: (1) effects of dam and reservoir operations on downstream physical and biological resources; (2) native fish propagation and genetic management and associated challenges in co-managing native and nonnative fish in the Colorado River; (3) monitoring program design, case studies, and links to management; and (4) riparian system restoration, monitoring, and exotic species control efforts.
Target Seedling Symposium: Proceedings, combined meeting of the Western Forest Nursery Associations
Robin Rose; Sally J. Campbell; Thomas D. Landis
1990-01-01
This publication, a compilation of 28 technical articles on various aspects of forest nursery management in western North America, consists of two sections. The first 10 papers comprise the Target Seedling Symposium, and discuss the latest methods of describing and measuring the ideal seedling for reforestation purposes. Morphological characteristics such as height,...
Sinclair, Doug; Worthington, James R; Joubert, Gary; Holroyd, Brian R; Stempien, James; Letovsky, Eric; Rutledge, Tim; LeBlanc, Constance; Pitters, Carrol; McCallum, Andrew; Carr, Brendan; Gerace, Rocco; Stiell, Ian G; Artz, Jennifer D; Christenson, Jim
2016-05-01
A panel of emergency medicine (EM) leaders endeavoured to define the key elements of leadership and its models, as well as to formulate consensus recommendations to build and strengthen academic leadership in the Canadian EM community in the areas of mentorship, education, and resources. The expert panel comprised EM leaders from across Canada and met regularly by teleconference over the course of 9 months. From the breadth of backgrounds and experience, as well as a literature review and the development of a leadership video series, broad themes for recommendations around the building and strengthening of EM leadership were presented at the CAEP 2015 Academic Symposium held in Edmonton, Alberta. Feedback from the attendees (about 80 emergency physicians interested in leadership) was sought. Subsequently, draft recommendations were developed by the panel through attendee feedback, further review of the leadership video series, and expert opinion. The recommendations were distributed to the CAEP Academic Section for further feedback and updated by consensus of the expert panel. The methods informed the panel who framed recommendations around four themes: 1) leadership preparation and training, 2) self-reflection/emotional intelligence, 3) academic leadership skills, and 4) gender balance in academic EM leadership. The recommendations aimed to support and nurture the next generation of academic EM leaders in Canada and included leadership mentors, availability of formal educational courses/programs in leadership, self-directed education of aspiring leaders, creation of a Canadian subgroup with the AACEM/SAEM Chair Development Program, and gender balance in leadership roles. These recommendations serve as a roadmap for all EM leaders (and aspiring leaders) to build on their success, inspire their colleagues, and foster the next generation of Canadian EM academic leaders.
Sweet, Jeremy
2009-01-01
The Symposium consisted of eight sessions of oral presentations as well as various workshops and poster sessions. This report reviews the presentations in the following sessions and discusses the main conclusions and issues arising from each session: Session 1: Biosafety - experience and results Session 2: Introgression, invasion and fitness Session 3: Biotic and abiotic stress resistance Session 4: GM animals Session 5: Effects of GM crops on soil ecosystems Session 7: Biocontainment methods Session 8: Post market environmental monitoring Abstracts of the presentations in these sessions are available at: http://www.isbgmo.info/assets_/isbgmo_symposium_handbook.pdf.
NASA Astrophysics Data System (ADS)
Morel de Westgaver, Eric; van Beekhuizen, Pieter; Fiorilli, Stefano M.
2007-02-01
Space projects are marked by their high technologies and their lengthy development and operations. The procurement process is a critical element that must adapt to a changing industrial landscape and new methods and tools, such as electronic procurement. ESA will host an international symposium in May [2007] to bring all the major players together.
DOE Office of Scientific and Technical Information (OSTI.GOV)
Gopal Rao, MRS Web-Editor; Yury Gogotsi, Drexel University; Karen Swider-Lyons, Naval Research Laboratory
Symposium T: Nanomaterials for Polymer Electrolyte Membrane Fuel Cells Polymer electrolyte membrane (PEM) fuel cells are under intense investigation worldwide for applications ranging from transportation to portable power. The purpose of this seminar is to focus on the nanomaterials and nanostructures inherent to polymer fuel cells. Symposium topics will range from high-activity cathode and anode catalysts, to theory and new analytical methods. Symposium U: Materials Challenges Facing Electrical Energy Storage Electricity, which can be generated in a variety of ways, offers a great potential for meeting future energy demands as a clean and efficient energy source. However, the use ofmore » electricity generated from renewable sources, such as wind or sunlight, requires efficient electrical energy storage. This symposium will cover the latest material developments for batteries, advanced capacitors, and related technologies, with a focus on new or emerging materials science challenges.« less
ERIC Educational Resources Information Center
Foster, Bruce E., Ed.
Volume 1 contains all the invited papers accepted for the symposium. The subject matter covered in the papers includes physiological, anthropometrical, psychological, sociological, and economic human requirements and methods of evaluation; physical requirements and methods of evaluation in mechanical, acoustical, thermal, dimensional stability,…
Computational Fluid Dynamics Symposium on Aeropropulsion
NASA Technical Reports Server (NTRS)
1991-01-01
Recognizing the considerable advances that have been made in computational fluid dynamics, the Internal Fluid Mechanics Division of NASA Lewis Research Center sponsored this symposium with the objective of providing a forum for exchanging information regarding recent developments in numerical methods, physical and chemical modeling, and applications. This conference publication is a compilation of 4 invited and 34 contributed papers presented in six sessions: algorithms one and two, turbomachinery, turbulence, components application, and combustors. Topics include numerical methods, grid generation, chemically reacting flows, turbulence modeling, inlets, nozzles, and unsteady flows.
Waste management in space: a NASA symposium. Special issue
NASA Technical Reports Server (NTRS)
Wydeven, T. (Principal Investigator)
1991-01-01
This special issue contains papers from the NASA Symposium on Waste Processing for Advanced Life Support, which was held at NASA Ames Research Center on September 11-13, 1990. Specialists in waste management from academia, government, and industry convened to exchange ideas and advise NASA in developing effective methods for waste management in a Controlled Ecological Life Support System (CELSS). Innovative and well-established methods were presented to assist in developing and managing wastes in closed systems for future long-duration space missions, especially missions to Mars.
Using Neurological Feedback to Enhance Resilience and Recuperation
2011-04-01
well-being, stress management and experience, and physiological markers of stress, anxiety and depression. During the upcoming symposium the...health and well-being, stress management and experience, and physiological markers of stress, anxiety and depression. During the upcoming symposium the...120 seconds are necessary to calculate reliable HRV information. This implies that feedback based on this method is always delayed and can not be used
ERIC Educational Resources Information Center
ho'omanawanui, ku'ualoha
2013-01-01
In 2003, the University of Hawai'i sponsored a symposium titled "Indigenizing the University." This symposium featured indigenous scholars such as Linda Tuhiwai Smith, Graham Smith, and Taiaiake Alfred, who addressed how indigenous political theory and methods of research were necessary to support indigenous research and how changes…
Denicoff, Andrea M.; McCaskill-Stevens, Worta; Grubbs, Stephen S.; Bruinooge, Suanna S.; Comis, Robert L.; Devine, Peggy; Dilts, David M.; Duff, Michelle E.; Ford, Jean G.; Joffe, Steven; Schapira, Lidia; Weinfurt, Kevin P.; Michaels, Margo; Raghavan, Derek; Richmond, Ellen S.; Zon, Robin; Albrecht, Terrance L.; Bookman, Michael A.; Dowlati, Afshin; Enos, Rebecca A.; Fouad, Mona N.; Good, Marjorie; Hicks, William J.; Loehrer, Patrick J.; Lyss, Alan P.; Wolff, Steven N.; Wujcik, Debra M.; Meropol, Neal J.
2013-01-01
Introduction: Many challenges to clinical trial accrual exist, resulting in studies with inadequate enrollment and potentially delaying answers to important scientific and clinical questions. Methods: The National Cancer Institute (NCI) and the American Society of Clinical Oncology (ASCO) cosponsored the Cancer Trial Accrual Symposium: Science and Solutions on April 29-30, 2010 to examine the state of accrual science related to patient/community, physician/provider, and site/organizational influences, and identify new interventions to facilitate clinical trial enrollment. The symposium featured breakout sessions, plenary sessions, and a poster session including 100 abstracts. Among the 358 attendees were clinical investigators, researchers of accrual strategies, research administrators, nurses, research coordinators, patient advocates, and educators. A bibliography of the accrual literature in these three major areas was provided to participants in advance of the meeting. After the symposium, the literature in these areas was revisited to determine if the symposium recommendations remained relevant within the context of the current literature. Results: Few rigorously conducted studies have tested interventions to address challenges to clinical trials accrual. Attendees developed recommendations for improving accrual and identified priority areas for future accrual research at the patient/community, physician/provider, and site/organizational levels. Current literature continues to support the symposium recommendations. Conclusions: A combination of approaches addressing both the multifactorial nature of accrual challenges and the characteristics of the target population may be needed to improve accrual to cancer clinical trials. Recommendations for best practices and for future research developed from the symposium are provided. PMID:24130252
Proceedings of the symposium on inservice testing of pumps and valves
DOE Office of Scientific and Technical Information (OSTI.GOV)
Not Available
1990-10-01
The 1990 Symposium on Inservice Testing of Pumps and Valves, jointly sponsored by the Board on Nuclear Codes and Standards of the American Society of Mechanical Engineers and by the Nuclear Regulatory Commission, provided a forum for the discussion of current programs and methods for inservice testing at nuclear power plants. The symposium also provided an opportunity to discuss the need to improve inservice testing in order to ensure the reliable performance of pumps and valves. The participation of industry representatives, regulators, and consultants resulted in the discussion of a broad spectrum of ideas and perspectives regarding the improvement ofmore » inservice testing of pumps and valves at nuclear power plants.« less
Mending the Gap, An Effort to Aid the Transfer of Formal Methods Technology
NASA Technical Reports Server (NTRS)
Hayhurst, Kelly
2009-01-01
Formal methods can be applied to many of the development and verification activities required for civil avionics software. RTCA/DO-178B, Software Considerations in Airborne Systems and Equipment Certification, gives a brief description of using formal methods as an alternate method of compliance with the objectives of that standard. Despite this, the avionics industry at large has been hesitant to adopt formal methods, with few developers have actually used formal methods for certification credit. Why is this so, given the volume of evidence of the benefits of formal methods? This presentation will explore some of the challenges to using formal methods in a certification context and describe the effort by the Formal Methods Subgroup of RTCA SC-205/EUROCAE WG-71 to develop guidance to make the use of formal methods a recognized approach.
The NIH Pain Consortium will convene the 11th Annual NIH Pain Consortium Symposium on Advances in Pain Research, featuring keynote speakers and expert panel sessions on Innovative Models and Methods. The first keynote address will be delivered by David J. Clark, MD, PhD, Stanford University entitled “Challenges of Translational Pain Research: What Makes a Good Model?” |
ERIC Educational Resources Information Center
Ahtee, Maija, Ed.; And Others
The main purpose of this symposium was to find new ideas and resources for the evaluation and improvement of physics education on all levels. The papers included in this document are entitled: (1) "Quality of Physics Teaching Through Building Models and Advancing Research Skills"; (2) "Evaluation of Physics Education in Terms of Its…
Search and Retrieval Index to EOS/ESD Symposium Proceedings - 1979 to 1984.
1985-04-15
This book contains indexes used in searching for information contained in papers produced in Electrical Overstress/Electrostatic Discharge (EOS/ESD) Symposium 1979 to 1984. These indexes are the Alphabetical List of Index Terms, Subject Index, Author Index , Corporate Index, Keywords in Title Index, and Chronological List of Papers Index. These indexes provide a clear, easy-to-read, and concise method of searching for and
Formal methods technology transfer: Some lessons learned
NASA Technical Reports Server (NTRS)
Hamilton, David
1992-01-01
IBM has a long history in the application of formal methods to software development and verification. There have been many successes in the development of methods, tools and training to support formal methods. And formal methods have been very successful on several projects. However, the use of formal methods has not been as widespread as hoped. This presentation summarizes several approaches that have been taken to encourage more widespread use of formal methods, and discusses the results so far. The basic problem is one of technology transfer, which is a very difficult problem. It is even more difficult for formal methods. General problems of technology transfer, especially the transfer of formal methods technology, are also discussed. Finally, some prospects for the future are mentioned.
NASA Astrophysics Data System (ADS)
Ortleb, Sigrun; Seidel, Christian
2017-07-01
In this second symposium at the limits of experimental and numerical methods, recent research is presented on practically relevant problems. Presentations discuss experimental investigation as well as numerical methods with a strong focus on application. In addition, problems are identified which require a hybrid experimental-numerical approach. Topics include fast explicit diffusion applied to a geothermal energy storage tank, noise in experimental measurements of electrical quantities, thermal fluid structure interaction, tensegrity structures, experimental and numerical methods for Chladni figures, optimized construction of hydroelectric power stations, experimental and numerical limits in the investigation of rain-wind induced vibrations as well as the application of exponential integrators in a domain-based IMEX setting.
Wind Energy Applications and Training Symposium
NASA Astrophysics Data System (ADS)
Sixteen representatives from 11 developing nations participated in the 1990 Wind Energy Applications and Training Symposium (WEATS) program. Consistent with previous symposia, the format included classroom-style training and field trip experiences to acquaint the participants with the history and progress of wind energy development in the U.S., technologically and economically. Brief presentations about wind energy development in all the countries represented were made by the participants. Several reports were prepared and presented along with slides for further explanation. The one-on-one symposium wrap-up session on the last day continues to be a good method of discovering what can be the next step in working with each country to develop their wind energy potential. Seventeen papers have been indexed separately for inclusion on the data base.
Alternatives to animal testing: current status and future perspectives.
Liebsch, Manfred; Grune, Barbara; Seiler, Andrea; Butzke, Daniel; Oelgeschläger, Michael; Pirow, Ralph; Adler, Sarah; Riebeling, Christian; Luch, Andreas
2011-08-01
On the occasion of the 20th anniversary of the Center for Alternative Methods to Animal Experiments (ZEBET), an international symposium was held at the German Federal Institute for Risk Assessment (BfR) in Berlin. At the same time, this symposium was meant to celebrate the 50th anniversary of the publication of the book "The Principles of Humane Experimental Technique" by Russell and Burch in 1959 in which the 3Rs principle (that is, Replacement, Reduction, and Refinement) has been coined and introduced to foster the development of alternative methods to animal testing. Another topic addressed by the symposium was the new vision on "Toxicology in the twenty-first Century", as proposed by the US-National Research Council, which aims at using human cells and tissues for toxicity testing in vitro rather than live animals. An overview of the achievements and current tasks, as well as a vision of the future to be addressed by ZEBET@BfR in the years to come is outlined in the present paper.
Hungerford, James M
2006-01-01
In a very busy and exciting year, 2005 included First Action approval of a much needed official method for paralytic shellfish toxins and multiple international toxin symposia highlighted by groundbreaking research. These are the first-year milestones and activities of the Marine and Freshwater Toxins Task Force and Analytical Community. Inaugurated in 2004 and described in detail in last year's General Referee Report (1) this international toxins group has grown to 150 members from many regions and countries. Perhaps most important they are now making important and global contributions to food safety and to providing alternatives to animal-based assays. Official Method 2005.06 was first approved in late 2004 by the Task Force and subsequently Official First Action in 2005 (2) by the Methods Committee on Natural Toxins and Food Allergens and the Official Methods Board. This nonproprietary method (3) is a precolumn oxidation, liquid chromatographic method that makes good use of fluorescence detection to provide high sensitivity detection of the saxitoxins. It has also proven to be rugged enough for regulatory use and the highest level of validation. As pointed out in the report of method principle investigator and Study Director James Lawrence, approval of 2005.06 now provides the first official alternative to the mouse bioassay after many decades of shellfish monitoring. This past year in April 2005 the group also held their first international conference, "Marine and Freshwater Toxins Analysis: Ist Joint Symposium and AOAC Task Force Meeting," in Baiona, Spain. The 4-day conference consisted of research and stakeholder presentations and symposium-integrated subgroup sessions on ciguatoxins, saxitoxin assays and liquid chromatography (LC) methods for saxitoxins and domoic acids, okadaiates and azaspiracids, and yessotoxins. Many of these subgroups were recently formed in 2005 and are working towards their goals of producing officially validated analytical methods. (Abstracts from the Baiona 2005 meeting cited in this report can be found in the online version of the conference abstract book in the Files and Folders section of the Marine and Freshwater Toxins online community at www.aoac.org.) An active topic for discussion in Baiona and subsequent Task Force activities was the expert consultation for Codex which met in Oslo, Norway in 2004 (previously described and cited in last year's GR report, ref 1). The consultation group's executive summary report (http://www.fao.org/es/ESN/food/risk_biotoxin en.stm) describes suggested changes in action levels as well as methods, method validation, and other issues. September 2005 saw the AOAC Task Force efforts further supported by another symposium, "Marine and Freshwater Toxins: Quality Methods for Food Safety and International Trade," at the AOAC INTERNATIONAL Annual Conference in Orlando, Florida. The multidisciplinary talks at this full day symposium ranged from ciguatoxins to cyanobacterial toxins, and spanned toxicology, biochemistry, molecular biology and analytical chemistry. Again, the symposium preceded Task Force meetings. Toxin subgroups, including a new group on cyanobacterial toxins, met for engaging and productive subgroup discussions. All of these activities were preceded by a Wiley Award symposium for Task Force member Mike Quilliam of NRC Canada. These talks, presented at a half-day symposium on the first day of the Annual Meeting, focused on Quilliam's work with LC tandem mass spectrometry (LC/MS/MS) and certified reference standards and materials, and included related presentations by some of his many research collaborators. To maintain flow and continuity between symposia and between Task Force meetings, the group now uses new electronic discussion forums. Individual subgroup areas, under the Marine and Freshwater Toxins Task Force, comprise this online community. First introduced by AOAC INTERNATIONAL in early 2005, these new resources are being used to distribute information and to supplement the in-person subgroup meetings and electronic mail in the group's validation efforts.
Center for Space Transportation and Applied Research Fifth Annual Technical Symposium Proceedings
NASA Technical Reports Server (NTRS)
1993-01-01
This Fifth Annual Technical Symposium, sponsored by the UT-Calspan Center for Space Transportation and Applied Research (CSTAR), is organized to provide an overview of the technical accomplishments of the Center's five Research and Technology focus areas during the past year. These areas include chemical propulsion, electric propulsion, commerical space transportation, computational methods, and laser materials processing. Papers in the area of artificial intelligence/expert systems are also presented.
Formal Methods Tool Qualification
NASA Technical Reports Server (NTRS)
Wagner, Lucas G.; Cofer, Darren; Slind, Konrad; Tinelli, Cesare; Mebsout, Alain
2017-01-01
Formal methods tools have been shown to be effective at finding defects in safety-critical digital systems including avionics systems. The publication of DO-178C and the accompanying formal methods supplement DO-333 allows applicants to obtain certification credit for the use of formal methods without providing justification for them as an alternative method. This project conducted an extensive study of existing formal methods tools, identifying obstacles to their qualification and proposing mitigations for those obstacles. Further, it interprets the qualification guidance for existing formal methods tools and provides case study examples for open source tools. This project also investigates the feasibility of verifying formal methods tools by generating proof certificates which capture proof of the formal methods tool's claim, which can be checked by an independent, proof certificate checking tool. Finally, the project investigates the feasibility of qualifying this proof certificate checker, in the DO-330 framework, in lieu of qualifying the model checker itself.
Eleventh international symposium on radiopharmaceutical chemistry
DOE Office of Scientific and Technical Information (OSTI.GOV)
NONE
This document contains abstracts of papers which were presented at the Eleventh International Symposium on Radiopharmaceutical Chemistry. Sessions included: radiopharmaceuticals for the dopaminergic system, strategies for the production and use of labelled reactive small molecules, radiopharmaceuticals for measuring metabolism, radiopharmaceuticals for the serotonin and sigma receptor systems, labelled probes for molecular biology applications, radiopharmaceuticals for receptor systems, radiopharmaceuticals utilizing coordination chemistry, radiolabelled antibodies, radiolabelling methods for small molecules, analytical techniques in radiopharmaceutical chemistry, and analytical techniques in radiopharmaceutical chemistry.
Reports of the AAAI 2009 Spring Symposia: Technosocial Predictive Analytics.
DOE Office of Scientific and Technical Information (OSTI.GOV)
Sanfilippo, Antonio P.
2009-10-01
The Technosocial Predictive Analytics AAAI symposium was held at Stanford University, Stanford, CA, March 23-25, 2009. The goal of this symposium was to explore new methods for anticipatory analytical thinking that provide decision advantage through the integration of human and physical models. Special attention was also placed on how to leverage supporting disciplines to (a) facilitate the achievement of knowledge inputs, (b) improve the user experience, and (c) foster social intelligence through collaborative/competitive work.
ERIC Educational Resources Information Center
Kurland, D. Midian, Ed.
The five papers in this symposium contribute to a dialog on the aims and methods of computer education, and indicate directions future research must take if necessary information is to be available to make informed decisions about the use of computers in schools. The first two papers address the question of what is required for a student to become…
Third International Symposium on Space Mission Operations and Ground Data Systems, part 2
NASA Technical Reports Server (NTRS)
Rash, James L. (Editor)
1994-01-01
Under the theme of 'Opportunities in Ground Data Systems for High Efficiency Operations of Space Missions,' the SpaceOps '94 symposium included presentations of more than 150 technical papers spanning five topic areas: Mission Management, Operations, Data Management, System Development, and Systems Engineering. The symposium papers focus on improvements in the efficiency, effectiveness, and quality of data acquisition, ground systems, and mission operations. New technology, methods, and human systems are discussed. Accomplishments are also reported in the application of information systems to improve data retrieval, reporting, and archiving; the management of human factors; the use of telescience and teleoperations; and the design and implementation of logistics support for mission operations. This volume covers expert systems, systems development tools and approaches, and systems engineering issues.
Proceedings of the 2016 National Toxicology Program Satellite Symposium
Elmore, Susan A.; Chen, Vivian S.; Hayes-Bouknight, Schantel; Hoane, Jessica S.; Janardhan, Kyathanahalli; Kooistra, Linda H.; Nolte, Thomas; Szabo, Kathleen A.; Willson, Gabrielle A.; Wolf, Jeffrey C.; Malarkey, David E.
2016-01-01
The 2016 annual National Toxicology Program (NTP) Satellite Symposium, entitled “Pathology Potpourri” was held in San Diego, California, at the Society of Toxicologic Pathology’s (STP) 35th annual meeting. The goal of this symposium was to present and discuss challenging diagnostic pathology and/or nomenclature issues. This article presents summaries of the speakers’ talks, along with select images that were used by the audience for voting and discussion. Some lesions and topics covered during the symposium included malignant glioma and histiocytic sarcoma in the rodent brain; a new statistical method designed for histopathology data evaluation; uterine stromal/glandular polyp in a rat; malignant plasma cell tumor in a mouse brain; Schwann cell proliferative lesions in rat hearts; axillary schwannoma in a cat; necrosis and granulomatous inflammation in a rat brain; adenoma/carcinoma in a rat adrenal gland; hepatocyte maturation defect and liver/spleen hematopoietic defects in an embryonic mouse; distinguishing malignant glioma, malignant mixed glioma and malignant oligodendroglioma in the rat; comparison of mammary gland whole mounts and histopathology from mice; and discussion of the International Harmonization of Nomenclature and Diagnostic Criteria (INHAND) collaborations. PMID:27821709
Proceedings of the 2016 National Toxicology Program Satellite Symposium.
Elmore, Susan A; Chen, Vivian S; Hayes-Bouknight, Schantel; Hoane, Jessica S; Janardhan, Kyathanahalli; Kooistra, Linda H; Nolte, Thomas; Szabo, Kathleen A; Willson, Gabrielle A; Wolf, Jeffrey C; Malarkey, David E
2017-01-01
The 2016 annual National Toxicology Program Satellite Symposium, entitled "Pathology Potpourri" was held in San Diego, CA, at the Society of Toxicologic Pathology's (STP) 35th annual meeting. The goal of this symposium was to present and discuss challenging diagnostic pathology and/or nomenclature issues. This article presents summaries of the speakers' talks, along with select images that were used by the audience for voting and discussion. Some lesions and topics covered during the symposium included malignant glioma and histiocytic sarcoma in the rodent brain; a new statistical method designed for histopathology data evaluation; uterine stromal/glandular polyp in a rat; malignant plasma cell tumor in a mouse brain; Schwann cell proliferative lesions in rat hearts; axillary schwannoma in a cat; necrosis and granulomatous inflammation in a rat brain; adenoma/carcinoma in a rat adrenal gland; hepatocyte maturation defect and liver/spleen hematopoietic defects in an embryonic mouse; distinguishing malignant glioma, malignant mixed glioma, and malignant oligodendroglioma in the rat; comparison of mammary gland whole mounts and histopathology from mice; and discussion of the International Harmonization of Nomenclature and Diagnostic Criteria collaborations.
Guidance for Using Formal Methods in a Certification Context
NASA Technical Reports Server (NTRS)
Brown, Duncan; Delseny, Herve; Hayhurst, Kelly; Wiels, Virginie
2010-01-01
This paper discusses some of the challenges to using formal methods in a certification context and describes the effort by the Formal Methods Subgroup of RTCA SC-205/EUROCAE WG-71 to propose guidance to make the use of formal methods a recognized approach. This guidance, expected to take the form of a Formal Methods Technical Supplement to DO-178C/ED-12C, is described, including the activities that are needed when using formal methods, new or modified objectives with respect to the core DO-178C/ED-12C document, and evidence needed for meeting those objectives.
New Methods May Reduce Needs, Can't Replace Laboratory Animals
ERIC Educational Resources Information Center
Leeper, E. M.
1976-01-01
Discusses the symposium between the scientific community and the animal welfare community in which the consensus was absolute: new laboratory methods can complement but not replace intact animals. (LS)
Assessment of Alternative Aircraft Fuels
NASA Technical Reports Server (NTRS)
1984-01-01
The purpose of this symposium is to provide representatives from industry, government, and academia concerned with the availability and quality of future aviation turbine fuels with recent technical results and a status review of DOD and NASA sponsored fuels research projects. The symposium has included presentations on the potential crude sources, refining methods, and characteristics of future fuels; the effects of changing fuel characteristics on the performance and durability of jet aircraft components and systems; and the prospects for evolving suitable technology to produce and use future fuels.
Space Transportation Avionics Technology Symposium. Volume 2: Conference Proceedings
NASA Technical Reports Server (NTRS)
1990-01-01
The focus of the symposium was to examine existing and planned avionics technology processes and products and to recommend necessary changes for strengthening priorities and program emphases. Innovative changes in avionics technology development and design processes are needed to support the increasingly complex, multi-vehicle, integrated, autonomous space-based systems. Key technology advances make such a major initiative viable at this time: digital processing capabilities, integrated on-board test/checkout methods, easily reconfigurable laboratories, and software design and production techniques.
ERIC Educational Resources Information Center
Odora, Catherine, Ed.; And Others
Fourteen papers are provided from a symposium to provide general input into the 1990 Unesco International Literacy Year by reviewing and documenting existing knowledge and current issues in the field of women and literacy with special emphasis on developing countries. Specific topics are as follows: the definition of literacy; review of methods;…
Peay, Wayne J.; Rockoff, Maxine L.
2005-01-01
Objectives: This paper introduces the special supplement to the Journal of the Medical Library Association (JMLA) that documents the proceedings of the “Symposium on Community-based Health Information Outreach” held on December 2 and 3, 2004, at the National Library of Medicine (NLM). The goal of the symposium was to explore new models of health information outreach that are emerging as technology dramatically changes the abilities of medical and health services libraries to provide resources and services beyond their traditional institutional boundaries, with particular concern for consumer health information outreach through community-based organizations. The symposium's primary objectives were to learn about successful and promising work that had already been done as well as to develop a vision for the future that could inform the NLM's next National Network of Libraries of Medicine (NN/LM) contract. Another objective was to review and assess the NLM's Strategic Plan to Reduce Health Disparities with special emphasis on Native Americans. Method: The paper describes the background events and rationale that led to the NLM's decision to convene the symposium and summarizes the supplement's ten other papers, some of which were presented at the symposium and some of which were written afterward to capture the symposium's working sessions. Results: The symposium convened approximately 150 invited participants with a wide variety of perspectives and experience. Sessions were held to present exemplary outreach projects, to review the NLM's Strategic Plan to Reduce Health Disparities, to summarize the research underpinnings for evaluating outreach projects, and to provide a futurist's perspective. A panel of community representatives gave voice to the participants in outreach projects, and sixteen posters describing outreach projects were available, many of them with community representatives on hand to explain the work. Implications: This JMLA supplement provides a comprehensive summary of the state of the art in community-based outreach and a jumping-off point for future outreach efforts. PMID:16437797
Highlights from the HIV Cure and Reservoir Symposium, 11-12 September 2017, Ghent, Belgium.
Kint, Sam; Van Hecke, Clarissa; Cole, Basiel; Vandekerckhove, Linos; Sips, Magdalena
2018-01-01
For the second time, the HIV Cure Research Center (HCRC) at Ghent University organised the HIV Cure and Reservoir Symposium, in Ghent, Belgium, where in this two-day conference, virologists, molecular biologists, immunologists and clinicians presented the most recent achievements in the field of HIV cure, including data on therapeutic vaccines, HIV remission strategies such as 'shock and kill' or 'block and lock', benefits of early ART and potential of haematopoietic stem cell transplant in achieving cure. Furthermore, methods to characterise and quantify the HIV reservoir were discussed along with HIV reservoir characterisation in different body parts, including the central nervous system. An HIV activist and representative of a patients' agency also presented the patients' perspective on HIV cure. This report is a summary of all topics discussed during this symposium.
7th Annual Systems Biology Symposium: Systems Biology and Engineering
DOE Office of Scientific and Technical Information (OSTI.GOV)
Galitski, Timothy P.
2008-04-01
Systems biology recognizes the complex multi-scale organization of biological systems, from molecules to ecosystems. The International Symposium on Systems Biology has been hosted by the Institute for Systems Biology in Seattle, Washington, since 2002. The annual two-day event gathers the most influential researchers transforming biology into an integrative discipline investingating complex systems. Engineering and application of new technology is a central element of systems biology. Genome-scale, or very small-scale, biological questions drive the enigneering of new technologies, which enable new modes of experimentation and computational analysis, leading to new biological insights and questions. Concepts and analytical methods in engineering aremore » now finding direct applications in biology. Therefore, the 2008 Symposium, funded in partnership with the Department of Energy, featured global leaders in "Systems Biology and Engineering."« less
PREFACE: Padjadjaran Earth Dialogues: International Symposium on Geophysical Issues, PEDISGI
NASA Astrophysics Data System (ADS)
Rosandi, Y.; Urbassek, H. M.; Yamanaka, H.
2016-01-01
This issue of IOP Conference Series: Earth and Environmental Science contains selected papers presented at the Padjadjaran Earth Dialogues: International Symposium on Geophysical Issues, PEDISGI. The meeting was held from June 8 to 10, 2015, at the Bale-Sawala of Universitas Padjadjaran in Jatinangor, Indonesia. The PEDISGI is a symposium to accommodate communication between researchers, in particular geophysicists and related scientists, and to enable sharing of knowledge and research findings concerning local and global geophysical issues. The symposium was attended by 126 participants and 64 contributors from Indonesian universities and the neighbouring countries in four categories, viz. Theoretical and Computational Geophysics, Environmental Geophysics, Geophysical Explorations, and Geophysical Instrumentations and Methods. The symposium was accompanied by a dialog, discussing a chosen topic regarding environmental and geological problems of relevance for the Indonesian archipelago and the surrounding regions. For this first event the topic was ''The formation of Bandung-Basin between myths and facts: Exemplary cultural, geological and geophysical study on the evolution of the earth surface'', presented by invited speakers and local experts. This activity was aimed at extending our knowledge on this particular subject, which may have global impact. This topic was augmented by theoretical background lectures on the earth's surface formation, presented by the invited speakers of the symposium. The meeting would not have been successful without the assistance of the local organizing committee. We want to specially thank Irwan A. Dharmawan for managing the programme, Anggie Susilawati and Mia U. Hasanah for the conference administration, and Dini Fitriani for financial management. We also thank the National Geographic Indonesia for its support via the Business to Business Collaboration Program. The conference photograph can be viewed in the PDF.
Gastroenterology training in a resource-limited setting: Zambia, Southern Africa
Asombang, Akwi W; Turner-Moss, Eleanor; Seetharam, Anil; Kelly, Paul
2013-01-01
AIM: To evaluate need for and efficacy of a structured gastroenterology didactic session in expanding awareness and understanding of digestive disorders. METHODS: A four-day symposium was developed with didactic sessions (days 1, 2) and practical endoscopy (days 3, 4). Didactic sessions included case presentations highlighting pathophysiology and management. One nurse and four practicing gastroenterologists from the United Kingdom led lectures and supervised workshops with audience participation. Practical endoscopy focused on diagnostic and therapeutic procedures and their application to diagnosis and treatment of ailments of the gastrointestinal tract. Pre- and post-workshop questionnaires were distributed to participants during didactic sessions. A pre-workshop questionnaire gauged expectations and identified objectives to be met at the symposium. Post-workshop questionnaires were administered to assess efficacy of each session. Participants graded sessions from 1 (poor) to 5 (excellent) on quality of case presentations, knowledge, clarity and mode of presentation. We assessed if time allotted to each topic was sufficient, value of sessions, impact on practice and interest in future symposiums. RESULTS: There were 46 attendees on day 1: 41% undergraduates, 41% residents, 11% consultants and 4% unspecified. Day 2 (a Saturday) had 24 participants: 17% undergraduates, 71% residents, 9% consultants, 4% unspecified. Primary pre-workshop symposium expectation was to gain knowledge in: general gastroenterology (55.5%), practical endoscopy (13.8%), pediatric gastroenterology (5%), epidemiology of gastrointestinal disorders specific to Zambia (6%), and interaction with international speakers (6%). The post-symposium questionnaire was answered by 19 participants, of whom 95% felt specific aims were met; all would attend future conferences and recommend to others. CONCLUSION: The beneficial effect of a structured symposium in developing countries warrants further attention as a mechanism to improve disease awareness in areas where resources are limited. PMID:23840144
The quest to apply VR technology to rehabilitation: tribulations and treasures.
Keshner, Emily A; Fung, Joyce
2017-01-01
The papers that follow stem from a symposium presented at the International Society for Posture and Gait Research (ISPGR) in Seville, Spain, in July 2015. Four speakers were charged with presenting their methods of applying virtual reality (VR) technology to obtain meaningful rehabilitation outcomes. The symposium aims to explore characteristics of VR that modify mechanisms supporting motor relearning. Common impairments in posture and gait that can be modulated within virtual environments by employing motor learning concepts, including sensory augmentation and repetition, were examined. Critical overviews of VR applications that address different therapeutic objectives for improving posture and gait in individuals with neurological insult or injury were presented. A further goal was to identify approaches and efforts to bridge the gap between knowledge generation from research and knowledge uptake in clinical practice. Specific objectives of this symposium were that participants be able to: 1) identify benefits and limitations of selecting VR as an intervention tool; 2) discuss how VR relates to principles for motor relearning following neurological insult or injury; and 3) identify areas and methods for future translation of VR technology in clinical and home-based settings. Our symposium concluded that the application of VR technology in assessment, treatment, and research has yielded promising results in transferring learned cognitive and motor skills to more natural environments. VR permits the user to interact with a multidimensional and multisensory environment in real time, and offers the opportunity to provide both standardized and individualized interventions while monitoring behavior.
Liang, Jun; Wei, Kunyan; Meng, Qun; Chen, Zhenying; Zhang, Jiajie; Lei, Jianbo
2017-06-21
China launched its second health reform in 2010 with considerable investments in medical informatics (MI). However, to the best of our knowledge, research on the outcomes of this ambitious undertaking has been limited. Our aim was to understand the development of MI and the state of continuing education in China and the United States from the perspective of conferences. We conducted a quantitative and qualitative analysis of four MI conferences in China and two in the United States: China Medical Information Association Annual Symposium (CMIAAS), China Hospital Information Network Annual Conference (CHINC), China Health Information Technology Exchange Annual Conference (CHITEC), China Annual Proceeding of Medical Informatics (CPMI) versus the American Medical Informatics Association (AMIA) and Healthcare Information and Management Systems Society (HIMSS). The scale, composition, and regional distribution of attendees, topics, and research fields for each conference were summarized and compared. CMIAAS and CPMI are mainstream academic conferences, while CHINC and CHITEC are industry conferences in China. Compared to HIMSS 2016, the meeting duration of CHITEC was 3 versus 5 days, the number of conference sessions was 132 versus 950+, the number of attendees was 5000 versus 40,000+, the number of vendors was 152 versus 1400+, the number of subforums was 12 versus 230, the number of preconference education symposiums and workshops was 0 versus 12, and the duration of preconference educational symposiums and workshops was 0 versus 1 day. Compared to AMIA, the meeting duration of Chinese CMIAAS was 2 versus 5 days, the number of conference sessions was 42 versus 110, the number of attendees was 200 versus 2500+, the number of vendors was 5 versus 75+, and the number of subforums was 4 versus 10. The number of preconference tutorials and working groups was 0 versus 29, and the duration of tutorials and working group was 0 versus 1.5 days. Given the size of the Chinese economy and the substantial investment in MI, the output in terms of conferences remains low. The impact of conferences on continuing education to professionals is not significant. Chinese researchers and professionals should approach MI with greater rigor, including validated research methods, formal training, and effective continuing education, in order to utilize knowledge gained by other countries and to expand collaboration. ©Jun Liang, Kunyan Wei, Qun Meng, Zhenying Chen, Jiajie Zhang, Jianbo Lei. Originally published in the Journal of Medical Internet Research (http://www.jmir.org), 21.06.2017.
International symposium on clusters and nanomaterials (energy and life-sciences applications)
DOE Office of Scientific and Technical Information (OSTI.GOV)
Jena, Purusottam
The International Symposium on Clusters and Nanomaterials was held in Richmond, Virginia during October 26-29, 2015. The symposium focused on the roles clusters and nanostructures play in solving outstanding problems in clean and sustainable energy and life sciences applications; two of the most important issues facing science and society. Many of the materials issues in renewable energies, environmental impacts of energy technologies as well as beneficial and toxicity issues of nanoparticles in health are intertwined. Realizing that both fundamental and applied materials issues require a multidisciplinary approach the symposium provided a forum by bringing researchers from physics, chemistry, materials science,more » and engineering fields to share their ideas and results, identify outstanding problems, and develop new collaborations. Clean and sustainable energy sessions addressed challenges in production, storage, conversion, and efficiency of renewable energies such as solar, wind, bio, thermo-electric, and hydrogen. Environmental issues dealt with air- and water-pollution and conservation, environmental remediation and hydrocarbon processing. Topics in life sciences included therapeutic and diagnostic methods as well as health hazards attributed to nanoparticles. Cross-cutting topics such as reactions, catalysis, electronic, optical, and magnetic properties were also covered. The symposium attracted 132 participants from 24 countries in the world. It featured 39 invited speakers in 14 plenary sessions, in addition to one key-note session. Eighty-five contributed papers were presented in two poster sessions and 14 papers from this list were selected to be presented orally at the end of each session to highlight hot topics. Papers presented at the symposium were reviewed and published in SPIE so that these can reach a wide audience. The symposium was highly interactive with ample time allotted for discussions and making new collaborations. The participants’ response was that this was a high quality conference and covered topics at the cutting edge of science and technology. The symposium was endorsed by the American Physical Society, The Materials Research Society, SPIE, The Metallurgical Society, and the American Vacuum Society. The symposium was supported by external grants from the National Science Foundation and the Department of Energy as well as by internal grants from Virginia Commonwealth University (Offices of the President, Provost and Vice President of Academic Affairs, Vice President of Research, Vice Provost for Life Sciences, Dean of the College of Humanities and Sciences, and the Dean of the School of Engineering). The funding from DOE was used to support partial expenses of invited speakers, students and postdoctoral fellows.« less
International Symposium on Clusters and Nanostructures (Energy, Environment, and Health)
DOE Office of Scientific and Technical Information (OSTI.GOV)
Jena, Puru
The international Symposium on Clusters and Nanostructures was held in Richmond, Virginia during November 7-10, 2011. The symposium focused on the roles clusters and nanostructures play in solving outstanding problems in clean and sustainable energy, environment, and health; three of the most important issues facing science and society. Many of the materials issues in renewable energies, environmental impacts of energy technologies as well as beneficial and toxicity issues of nanoparticles in health are intertwined. Realizing that both fundamental and applied materials issues require a multidisciplinary approach the symposium provided a forum by bringing researchers from physics, chemistry, materials science, andmore » engineering fields to share their ideas and results, identify outstanding problems, and develop new collaborations. Clean and sustainable energy sessions addressed challenges in production, storage, conversion, and efficiency of renewable energies such as solar, wind, bio, thermo-electric, and hydrogen. Environmental issues dealt with air- and water-pollution and conservation, environmental remediation and hydrocarbon processing. Topics in health included therapeutic and diagnostic methods as well as health hazards attributed to nanoparticles. Cross-cutting topics such as reactions, catalysis, electronic, optical, and magnetic properties were also covered.« less
MRS Symposium on Advanced Tomographic Imaging Methods for the Analysis of Materials
1991-08-01
Manufactured in the United States of America ,’ - - - - ... . , . . : . . . . •-a Contents PREFACE ix MATERIALS RESEARCH SOCIETY SYMPOSIUM PROCEEDINGS x PART...prototype used for many NQR studies, NaClO,, which has four chlorine atoms per unit cell. The electric field gradient for each has q - 0 and are oriented...110 Reeeces 1. G. N. Hounsfield , Br. J. Radiol. 4(6 1016 (1973). Z L Shep and B. F. Logan, IE Trans. Nud. Sd. 2L,21 (1974). 3. R. M. Merseraeu and A. V
1993-03-20
photochromic glasses, x - ray absorbing television glasses, extrudablc oriented ceramics, and the ultra-pure materials for optical fibers. While...quartz through the analysis of x - ray diffraction experiments. The repeating nature of the quartz crystal give, many diffraction peaks which allow the...fused silica, which serves as a backbone for most of the silicate glasses. Doris Evans, an x - ray crystallographer at Corning, built a model of fused
CONFERENCE NOTE: Sixth Symposium on Temperature Scheduled for March 1982
NASA Astrophysics Data System (ADS)
1981-07-01
The call for papers for the 6th Symposium on Temperature, Its Measurement and Control in Science and Industry has been issued. The Symposium is scheduled to take place in Washington, DC, USA during the week of March 14 18, 1982. Like its predecessors held in the years 1919, 1939, 1954, 1961, and 1971, the 6th Symposium will stress advances in the measurement of thermodynamic values of temperature, in temperature reference points, in temperature sensors and instruments for the control of temperature, and in the development and use of temperature scales. For the first time, an exhibit of thermometry will be a part of the Symposium. Manuscripts to be submitted for inclusion in the Symposium should be sent to the 6th Temperature Symposium Program Chairman, National Bureau of Standards, by September 15, 1981. Those papers accepted for the Symposium will be due in camera-ready form by February 15, 1982. Original papers on all of the topics listed above, as well as reviews of the past decade's progress in thermometry and temperature control, are solicited by the Symposium organizers. The Symposium arrangements and registration are in the care of the Instrument Society of America (represented on the Symposium General Committee by Mr C T Glazer, 67 Alexander Drive, PO Box 12277, Research Triangle Park, North Carolina, 27709, USA). Questions regarding the instrument exhibits should also be addressed to the ISA. The technical program for the Symposium is the responsibility of a committee headed by Dr J F Schooley, Room B-128 Physics Building, National Bureau of Standards, Washington, DC, 20234, USA. The Symposium proceedings will be published by the American Institute of Physics.
Recent trends related to the use of formal methods in software engineering
NASA Technical Reports Server (NTRS)
Prehn, Soren
1986-01-01
An account is given of some recent developments and trends related to the development and use of formal methods in software engineering. Ongoing activities in Europe are focussed on, since there seems to be a notable difference in attitude towards industrial usage of formal methods in Europe and in the U.S. A more detailed account is given of the currently most widespread formal method in Europe: the Vienna Development Method. Finally, the use of Ada is discussed in relation to the application of formal methods, and the potential for constructing Ada-specific tools based on that method is considered.
DOE Office of Scientific and Technical Information (OSTI.GOV)
Not Available
1994-07-01
The 1994 Symposium on Valve and Pump Testing, jointly sponsored by the Board of Nuclear Codes and Standards of the American Society of Mechanical Engineers and by the Nuclear Regulatory Commission, provides a forum for the discussion of current programs and methods for inservice testing and motor-operated valve testing at nuclear power plants. The symposium also provides an opportunity to discuss the need to improve that testing in order to help ensure the reliable performance of pumps and valves. The participation of industry representatives, regulators, and consultants results in the discussion of a broad spectrum of ideas and perspectives regardingmore » the improvement of inservice testing of pumps and valves at nuclear power plants. This document, Volume 1, covers sessions 1A through session 2C. The individual papers have been cataloged separately.« less
Formal Methods for Life-Critical Software
NASA Technical Reports Server (NTRS)
Butler, Ricky W.; Johnson, Sally C.
1993-01-01
The use of computer software in life-critical applications, such as for civil air transports, demands the use of rigorous formal mathematical verification procedures. This paper demonstrates how to apply formal methods to the development and verification of software by leading the reader step-by-step through requirements analysis, design, implementation, and verification of an electronic phone book application. The current maturity and limitations of formal methods tools and techniques are then discussed, and a number of examples of the successful use of formal methods by industry are cited.
NASA Astrophysics Data System (ADS)
Sternberg, Andris; Grinberga, Liga; Sarakovskis, Anatolijs; Rutkis, Martins
2015-03-01
The joint International Symposium RCBJSF-2014-FM&NT successfully has united two international events - 12th Russia/CIS/Baltic/Japan Symposium on Ferroelectricity (RCBJSF-12) and 9th International Conference Functional Materials and Nanotechnologies (FM&NT-2014). The RCBJSF symposium is a continuation of series of meetings on ferroelectricity, the first of which took place in Novosibirsk (USSR) in 1976. FM&NT conferences started in 2006 and have been organized by Institute of Solid State Physics, University of Latvia in Riga. In 2012 the International program committee decided to transform this conference into a traveling Baltic State conference and the FM&NT-2013 was organized by the Institute of Physics, University of Tartu, Estonia. In 2014 the joint international symposium RCBJSF-2014-FM&NT was organized by the Institute of Solid State Physics, University of Latvia and was part of Riga - 2014, the European Capital of Culture event. The purpose of the joint Symposium was to bring together scientists, students and high-level experts in solid state physics, materials science, engineering and related disciplines. The number of the registered participants from 26 countries was over 350. During the Symposium 128 high quality scientific talks (5 plenary, 42 invited, 81 oral) and over 215 posters were presented. All presentations were divided into 4 parallel sessions according to 4 main topics of the Symposium: Ferroelectricity, including ferroelectrics and multiferroics, pyroelectrics, piezoelectrics and actuators, integrated ferroelectrics, relaxors, phase transitions and critical phenomena. Multifunctional Materials, including theory, multiscale and multiphenomenal material modeling and simulation, advanced inorganic, organic and hybrid materials. Nanotechnologies, including progressive methods, technologies and design for production, investigation of nano- particles, composites, structures, thin films and coatings. Energy, including perspective materials and technologies for renewable and hydrogen energy, fuel cells, photovoltaics, LEDs, OLEDs. Based on these reports, 48 papers are included in this volume of IOP Conference Series: Materials Science and Engineering. Additional information about RCBJSF-2014-FM&NT is available at the homepage http://www.fmnt.lu.lv. The Organizing Committee would like to thank all the speakers, contributors, session chairs, referees and other involved staff for their efforts in making the RCBJSF-2014-FM&NT successful. Sincerely, organizers of the event Andris Sternberg Liga Grinberga Anatolijs Sarakovskis Martins Rutkis
Climate Science and Technology Symposium
2010-01-06
at the Roger Revelle Centennial Symposium, the scientific focus of Scripps Institution of Oceanography’s celebration of Roger Revelle’s 100th...the Roger Revelle Centennial Symposium honored Revelle’s continuing legacy, and highlighted the influence his work continues to exert upon the...view the Roger Revelle Centennial Symposium on UCSD-TV, visit ucsd.tv/revellesymposium warn SYMPOSIUM REPORT ROGER REVELLE 100 TH BIRTHDAY
NASA Technical Reports Server (NTRS)
1995-01-01
This guidebook, the second of a two-volume series, is intended to facilitate the transfer of formal methods to the avionics and aerospace community. The 1st volume concentrates on administrative and planning issues [NASA-95a], and the second volume focuses on the technical issues involved in applying formal methods to avionics and aerospace software systems. Hereafter, the term "guidebook" refers exclusively to the second volume of the series. The title of this second volume, A Practitioner's Companion, conveys its intent. The guidebook is written primarily for the nonexpert and requires little or no prior experience with formal methods techniques and tools. However, it does attempt to distill some of the more subtle ingredients in the productive application of formal methods. To the extent that it succeeds, those conversant with formal methods will also nd the guidebook useful. The discussion is illustrated through the development of a realistic example, relevant fragments of which appear in each chapter. The guidebook focuses primarily on the use of formal methods for analysis of requirements and high-level design, the stages at which formal methods have been most productively applied. Although much of the discussion applies to low-level design and implementation, the guidebook does not discuss issues involved in the later life cycle application of formal methods.
NASA Astrophysics Data System (ADS)
Tvergaard, Viggo
2007-01-01
This special issue constitutes the Proceedings of the IUTAM Symposium on Plasticity at the Micron Scale, held at the Technical University of Denmark, 21-25 May 2006. The purpose of this symposium was to gather a group of leading scientists working in areas of importance to length scale dependent plasticity. This includes work on phenomenological strain gradient plasticity models, studies making use of discrete dislocation models, and even atomic level models. Experimental investigations are central to all this, as all the models focus on developing an improved understanding of real observed phenomena. The opening lecture by Professor N A Fleck, Cambridge University, discussed experimental as well as theoretical approaches. Also, recent results for the surface roughness at grain boundaries were presented based on experiments and crystal plasticity modelling. A number of presentations focused on experiments for metals at a small length scale, e.g. using indenters or a small single crystal compression test. It was found that there are causes of the size effects other than the geometrically necessary dislocations related to strain gradients. Several lectures on scale dependent phenomenological plasticity theories discussed different methods of incorporating the characteristic material length. This included lower order plasticity theories as well as higher order theories, within standard plasticity models or crystal plasticity. Differences in the ways of incorporating higher order boundary conditions were the subject of much discussion. Various methods for discrete dislocation modelling of plastic deformation were used in some of the presentations to obtain a more detailed understanding of length scale effects in metals. This included large scale computations for dislocation dynamics as well as new statistical mechanics approaches to averaging of dislocation plasticity. Furthermore, at a somewhat larger length scale, applications of scale dependent plasticity to granular media and to cellular solids were discussed. The symposium consisted of thirty-six lectures, all of which were invited based on strong expertise in the area. Some of the lectures are not represented in this special issue, mainly because of prior commitments to publish elsewhere. The international Scientific Committee responsible for the symposium comprised the following: Professor V Tvergaard (Chairman) Denmark Professor A Benallal France Professor N A Fleck UK Professor L B Freund (IUTAM Representative) USA Professor E van der Giessen The Netherlands Professor J W Hutchinson USA Professor A Needleman USA Professor B Svendsen Germany The Committee gratefully acknowledges financial support for the symposium from the International Union of Theoretical and Applied Mechanics, from Novo Nordisk A/S and from the Villum Kann Rasmussen Foundation. In the organization of all parts of the symposium the enthusiastic participation of Dr C F Niordson and Dr P Redanz was invaluable. The smooth running of the symposium also owes much to the efforts and organizational skills of Bente Andersen.
Development of method to characterize emissions from spray polyurethane foam insulation
This presentation updates symposium participants re EPA progress towards development of SPF insulation emissions characterization methods. The presentation highlights evaluation of experiments investigating emissions after application of SPF to substrates in micro chambers and i...
Properties of a Formal Method for Prediction of Emergent Behaviors in Swarm-based Systems
NASA Technical Reports Server (NTRS)
Rouff, Christopher; Vanderbilt, Amy; Hinchey, Mike; Truszkowski, Walt; Rash, James
2004-01-01
Autonomous intelligent swarms of satellites are being proposed for NASA missions that have complex behaviors and interactions. The emergent properties of swarms make these missions powerful, but at the same time more difficult to design and assure that proper behaviors will emerge. This paper gives the results of research into formal methods techniques for verification and validation of NASA swarm-based missions. Multiple formal methods were evaluated to determine their effectiveness in modeling and assuring the behavior of swarms of spacecraft. The NASA ANTS mission was used as an example of swarm intelligence for which to apply the formal methods. This paper will give the evaluation of these formal methods and give partial specifications of the ANTS mission using four selected methods. We then give an evaluation of the methods and the needed properties of a formal method for effective specification and prediction of emergent behavior in swarm-based systems.
Third NASA Langley Formal Methods Workshop
NASA Technical Reports Server (NTRS)
Holloway, C. Michael (Compiler)
1995-01-01
This publication constitutes the proceedings of NASA Langley Research Center's third workshop on the application of formal methods to the design and verification of life-critical systems. This workshop brought together formal methods researchers, industry engineers, and academicians to discuss the potential of NASA-sponsored formal methods and to investigate new opportunities for applying these methods to industry problems. contained herein are copies of the material presented at the workshop, summaries of many of the presentations, a complete list of attendees, and a detailed summary of the Langley formal methods program. Much of this material is available electronically through the World-Wide Web via the following URL.
Formalizing Space Shuttle Software Requirements
NASA Technical Reports Server (NTRS)
Crow, Judith; DiVito, Ben L.
1996-01-01
This paper describes two case studies in which requirements for new flight-software subsystems on NASA's Space Shuttle were analyzed, one using standard formal specification techniques, the other using state exploration. These applications serve to illustrate three main theses: (1) formal methods can complement conventional requirements analysis processes effectively, (2) formal methods confer benefits regardless of how extensively they are adopted and applied, and (3) formal methods are most effective when they are judiciously tailored to the application.
Second Symposium on Protection Against Radiations in Space
NASA Technical Reports Server (NTRS)
Reetz, Arthur, Jr. (Editor)
1965-01-01
All space vehicles will be exposed to natural charged particle radiation fields. The effects and possible problems imposed by such radiations are of great concern to those actively engaged in the exploration of space. Materials and components, which may be damaged by the radiation, frequently can be replaced by more radiation resistant items; however, replacement systems are not always possible or practical and, hence, protective measures in the form of shielding must be employed. (One of the more radiation-sensitive systems to be flown in space is man himself.) Many groups are engaged in research on the attenuation and penetration of high-energy space radiation and on the development of methods for the design of shielding which affords protection against the radiation. The purpose of the Second Symposium on Protection Against Radiations in Space, like that of the First, was to bring these groups together to exchange information and share ideas. The First Symposium on the Protection Against Radiation Hazards in Space was held in Gatlinburg, Tenn., on November 5-7, 1962, and was sponsored by the NASA Manned Spacecraft Center, the Oak Ridge National Laboratory, and the American Nuclear Society. The proceedings of that symposium were published by the U.S. Atomic Energy Commission in a two volume report numbered TID-7652. Early in 1964, it became apparent that sufficient new information worthy of presentation in another symposium had been gathered. Because of its interest and role in space and related research, the U.S. Air Force joined NASA and AEC in the sponsorship of the Second Symposium at Gatlinburg in October 1964. The host, as before, was the Oak Ridge National Laboratory. These proceedings are the written record of the Second Symposium. Invited papers covering the space radiation environment, radiobiological effects, and radiation effects on materials and components comprised the first three sessions. By defining the radiation problems in space and providing for the proper assessment of the radiation effects and shielding requirements, these papers helped to establish the necessary background for the shielding papers which followed in the fourth session.
The Second NASA Formal Methods Workshop 1992
NASA Technical Reports Server (NTRS)
Johnson, Sally C. (Compiler); Holloway, C. Michael (Compiler); Butler, Ricky W. (Compiler)
1992-01-01
The primary goal of the workshop was to bring together formal methods researchers and aerospace industry engineers to investigate new opportunities for applying formal methods to aerospace problems. The first part of the workshop was tutorial in nature. The second part of the workshop explored the potential of formal methods to address current aerospace design and verification problems. The third part of the workshop involved on-line demonstrations of state-of-the-art formal verification tools. Also, a detailed survey was filled in by the attendees; the results of the survey are compiled.
77 FR 21785 - Medical Countermeasures Initiative Regulatory Science Symposium
Federal Register 2010, 2011, 2012, 2013, 2014
2012-04-11
... DEPARTMENT OF HEALTH AND HUMAN SERVICES Food and Drug Administration [Docket No. FDA-2012-N-0001] Medical Countermeasures Initiative Regulatory Science Symposium AGENCY: Food and Drug Administration, HHS...: Medical Countermeasures Initiative Regulatory Science Symposium. The symposium is intended to provide a...
32nd Aerospace Mechanisms Symposium
NASA Technical Reports Server (NTRS)
Walker, S. W. (Compiler); Boesiger, Edward A. (Compiler)
1998-01-01
The proceedings of the 32nd Aerospace Mechanism Symposium are reported. NASA John F. Kennedy Space Center (KSC) hosted the symposium that was held at the Hilton Oceanfront Hotel in Cocoa Beach, Florida on May 13-15, 1998. The symposium was cosponsored by Lockheed Martin Missiles and Space and the Aerospace Mechanisms Symposium Committee. During these days, 28 papers were presented. Topics included robotics, deployment mechanisms, bearing, actuators, scanners, boom and antenna release, and test equipment.
Experience report: Using formal methods for requirements analysis of critical spacecraft software
NASA Technical Reports Server (NTRS)
Lutz, Robyn R.; Ampo, Yoko
1994-01-01
Formal specification and analysis of requirements continues to gain support as a method for producing more reliable software. However, the introduction of formal methods to a large software project is difficult, due in part to the unfamiliarity of the specification languages and the lack of graphics. This paper reports results of an investigation into the effectiveness of formal methods as an aid to the requirements analysis of critical, system-level fault-protection software on a spacecraft currently under development. Our experience indicates that formal specification and analysis can enhance the accuracy of the requirements and add assurance prior to design development in this domain. The work described here is part of a larger, NASA-funded research project whose purpose is to use formal-methods techniques to improve the quality of software in space applications. The demonstration project described here is part of the effort to evaluate experimentally the effectiveness of supplementing traditional engineering approaches to requirements specification with the more rigorous specification and analysis available with formal methods.
Formal methods and digital systems validation for airborne systems
NASA Technical Reports Server (NTRS)
Rushby, John
1993-01-01
This report has been prepared to supplement a forthcoming chapter on formal methods in the FAA Digital Systems Validation Handbook. Its purpose is as follows: to outline the technical basis for formal methods in computer science; to explain the use of formal methods in the specification and verification of software and hardware requirements, designs, and implementations; to identify the benefits, weaknesses, and difficulties in applying these methods to digital systems used on board aircraft; and to suggest factors for consideration when formal methods are offered in support of certification. These latter factors assume the context for software development and assurance described in RTCA document DO-178B, 'Software Considerations in Airborne Systems and Equipment Certification,' Dec. 1992.
NASA Formal Methods Workshop, 1990
NASA Technical Reports Server (NTRS)
Butler, Ricky W. (Compiler)
1990-01-01
The workshop brought together researchers involved in the NASA formal methods research effort for detailed technical interchange and provided a mechanism for interaction with representatives from the FAA and the aerospace industry. The workshop also included speakers from industry to debrief the formal methods researchers on the current state of practice in flight critical system design, verification, and certification. The goals were: define and characterize the verification problem for ultra-reliable life critical flight control systems and the current state of practice in industry today; determine the proper role of formal methods in addressing these problems, and assess the state of the art and recent progress toward applying formal methods to this area.
Symposium Promotes Technological Literacy through STEM
ERIC Educational Resources Information Center
Havice, Bill; Marshall, Jerry
2009-01-01
This article describes a symposium which promotes technological literacy through science, technology, engineering, and mathematics (STEM). The three-day symposium titled, "The Anderson, Oconee, Pickens Symposium on Teaching and Learning STEM Standards for the 21st Century," was held August 4-6, 2008 at the Tri-County Technical College…
Health governance: principal-agent linkages and health system strengthening.
Brinkerhoff, Derick W; Bossert, Thomas J
2014-09-01
Governance is increasingly recognized as an important factor in health system performance, yet conceptually and practically it remains poorly understood and subject to often vague and competing notions of both what its role is and how to address its weaknesses. This overview article for the symposium on health governance presents a model of health governance that focuses on the multiplicity of societal actors in health systems, the distribution of roles and responsibilities among them and their ability and willingness to fulfil these roles and responsibilities. This focus highlights the principal-agent linkages among actors and the resulting incentives for good governance and health system performance. The discussion identifies three disconnects that constitute challenges for health system strengthening interventions that target improving governance: (1) the gap between the good governance agenda and existing capacities, (2) the discrepancy between formal and informal governance and (3) the inattention to sociopolitical power dynamics. The article summarizes the three country cases in the symposium and highlights their governance findings: health sector reform in China, financial management of health resources in Brazilian municipalities and budget reform in hospitals in Lesotho. The concluding sections clarify how the three cases apply the model's principal-agent linkages and highlight the importance of filling the gaps remaining between problem diagnosis and the development of practical guidance that supports 'best fit' solutions and accommodates political realities in health systems strengthening. Published by Oxford University Press in association with The London School of Hygiene and Tropical Medicine © The Author 2013; all rights reserved.
Proceedings of the third ISHS international symposium of plant genetic resources volume 1
USDA-ARS?s Scientific Manuscript database
The Third International ISHS Symposium on plant genetic resources occurred as Symposium 12 of the International Horticulture Congress in Lisbon, in August 2010. This symposium lasted4 days and emphasized new tools in plant genetic resource management. Six speakers gave invited presentations, and 30 ...
Proceedings of the third ISHS international symposium on plant genetic resources volume 2
USDA-ARS?s Scientific Manuscript database
The Third International ISHS Symposium on plant genetic resources occurred as Symposium 12 of the International Horticulture Congress in Lisbon, in August 2010. This symposium lasted4 days and emphasized new tools in plant genetic resource management. Six speakers gave invited presentations, and 30 ...
1993-02-01
Spectrum The vibrational IR spectra of formaldeh.de and its deuterated species have been measured by a number of groups and analyzed in several studies ... studies [23-28]. The order of the frontier (r) orbitals, a textbook example for simple group theory arguments, is determined by the high symmetry (Dy...simplexes will give a structure with octahedral symmetr\\ since the subgroup of the Coxeter group which leaves one component of a four -vector invariant
Ten Commandments of Formal Methods...Ten Years Later
NASA Technical Reports Server (NTRS)
Bowen, Jonathan P.; Hinchey, Michael G.
2006-01-01
More than a decade ago, in "Ten Commandments of Formal Methods," we offered practical guidelines for projects that sought to use formal methods. Over the years, the article, which was based on our knowledge of successful industrial projects, has been widely cited and has generated much positive feedback. However, despite this apparent enthusiasm, formal methods use has not greatly increased, and some of the same attitudes about the infeasibility of adopting them persist. Formal methodists believe that introducing greater rigor will improve the software development process and yield software with better structure, greater maintainability, and fewer errors.
Overview (this manuscript is an overview of an ASTM ...
The Symposium on Developing Consensus Standards for Measuring Chemical Emissions from Spray Polyurethane Foam (SPF) Insulation was held on April 30th and May 1, 2015. Sponsored by ASTM Committee D22 on Air Quality, the symposium was held in Anaheim, CA, in conjunction with the standards development meetings of the Committee. ASTM D22.05 is developing tools to answer fundamental questions: what is emitted from SPF, how long do the emissions persist, how does ventilation impact concentrations and potential exposures? How can we model these processes to address the multiplicity of products, applications, and environmental conditions that may impact exposure to emissions over the life cycle of the material? These are complex and interrelated questions that have challenged the indoor environments research community for many years. Objectives of Symposium: Standardized methods are needed to assess the potential impacts of SPF insulation products on indoor air quality, establish re-entry times for trade workers or re-occupancy times for building occupants after product installation and to evaluate post-occupancy ventilation. The objective of the symposium was to provide a forum for the exchange of ideas from SPF manufacturers, regulatory agencies, indoor air quality professionals, testing labs, air quality consultants, instrument vendors and other stakeholders. Following the presentations on the current status of measuring emissions from SPF insulation, participants di
NASA Technical Reports Server (NTRS)
Arnold, Steven M.; Wong, Terry T.
2011-01-01
This compilation of papers in this book represents approximately half of the works discussed at the MS&T 2010 symposium entitled Tools, Models, Databases, and Simulation Tools Developed and Needed to Realize the Vision of Integrated Computational Materials Engineering at Materials Science & Technology wherein five sessions comprised of 33 presentations was organized. The goal of the symposium was two fold To provide a forum in which current state-of-the-art methods for ICME (e.g., information informatics, experimentation, and modeling) could be openly discussed and critiqued by not only materials scientist but also structural engineers/researchers, component designers, industrial leaders and government program managers. To leave the symposium and in particular the panel discussion with a clear idea of the gaps and barriers (both technical, cultural and economical) that must be addressed in order for ICME to fully succeed. The organizers felt that these goals were met, as particularly evident by the standing room only attendance during a lively panel discussion session at the end of the Symposium. However it is the firm belief of the editors of this book that this symposium was merely a start in the right direction, and that subsequent conferences/symposium (e.g., First World Congress on Integrated Computational Materials Engineering to be held July 10-14, 2011 at Seven Springs Mountain Resort in Pennsylvania) must work hard to ensure that a truly diverse, multidisciplinary, community of researchers and practitioners are present and have ample opportunity for interaction. This will ensure that a proper balance between push and pull disciplines and technologies is maintained so that this emerging focus area, Integrated Computational Materials Engineering (ICME), has the greatest potential for success and impact on "system-level" payoffs. Similarly, a pro-active approach is required to reform historical modes of operation in industry, government and the academic sectors so as to facilitate multidisciplinary collaboration and to clearly articulate the vision and scope of ICME.
The Symposium on Developing Consensus Standards for Measuring Chemical Emissions from Spray Polyurethane Foam (SPF) Insulation was held on April 30th and May 1, 2015. Sponsored by ASTM Committee D22 on Air Quality, the symposium was held in Anaheim, CA, in conjunction with the st...
NASA Technical Reports Server (NTRS)
Harris, Charles E. (Editor)
1994-01-01
International technical experts in durability and damage tolerance of metallic airframe structures were assembled to present and discuss recent research findings and the development of advanced design and analysis methods, structural concepts, and advanced materials. The symposium focused on the dissemination of new knowledge and the peer-review of progress on the development of advanced methodologies. Papers were presented on: structural concepts for enhanced durability, damage tolerance, and maintainability; new metallic alloys and processing technology; fatigue crack initiation and small crack effects; fatigue crack growth models; fracture mechanics failure, criteria for ductile materials; structural mechanics methodology for residual strength and life prediction; development of flight load spectra for design and testing; and advanced approaches to resist corrosion and environmentally assisted fatigue.
NASA Astrophysics Data System (ADS)
Kozak, Maciej; Kwiatek, Wojciech M.; Piszora, Paweł
2017-11-01
This special issue of Nuclear Instruments and Methods in Physics Research Section B of Nuclear Instruments and Methods in Physics Research was prepared to present recent achievements in synchrotron radiation science and mark the 25th anniversary of the Polish Synchrotron Radiation Society (PSRS) which fell in 2016. It presents selected papers submitted after the 13th International School and Symposium on Synchrotron Radiation in Natural Science (ISSRNS 2016) which was organized by PSRS in cooperation with the Adam Mickiewicz University. It is worth noting that PSRS is probably one of the earliest founded scientific societies focused on promoting the use of synchrotron radiation research (for details visit the PSRS home page: http://www.synchrotron.org.pl.
NASA Technical Reports Server (NTRS)
Harris, Charles E. (Editor)
1994-01-01
The international technical experts in the areas of durability and damage tolerance of metallic airframe structures were assembled to present and discuss recent research findings and the development of advanced design and analysis methods, structural concepts, and advanced materials. The principal focus of the symposium was on the dissemination of new knowledge and the peer-review of progress on the development of advanced methodologies. Papers were presented on the following topics: structural concepts for enhanced durability, damage tolerance, and maintainability; new metallic alloys and processing technology; fatigue crack initiation and small crack effects; fatigue crack growth models; fracture mechanics failure criteria for ductile materials; structural mechanics methodology for residual strength and life prediction; development of flight load spectra for design and testing; and corrosion resistance.
Proceedings of the 5th Symposium on applied surface analysis
NASA Astrophysics Data System (ADS)
Grant, J. T.
1984-04-01
The 5th Symposium on Applied Surface Analysis was held at the University of Dayton, 8-10 June 1983. This Symposium was held to meet a need, namely to show the transition between basic surface science research and applications of this research to areas of Department of Defense interest. Areas receiving special attention at this Symposium were chemical bonding and reactions at metal-semiconductors interfaces, surface analysis and the tribological processes of ion implanted materials, microbeam analysis and laser ionization of sputtered neutrals. Other topics discussed included adsorption, adhesion, corrosion, wear and thin films. Approximately 110 scientists active in the field of surface analysis participated in the Symposium. Four scientists presented invited papers at the Symposium. There were 29 contributed presentations. The proceedings of the Symposium are being published in a special issue of the journal, Applications of Surface Science, by North-Holland Publishing Company.
CP-1 70th Anniversary Symposium
Len Koch; Harold Agnew
2017-12-09
Dr. Harold Agnew, retired director of Los Alamos National Laboratory and one of 49 people present on December 2, 1942 when the worldâs first man-made controlled nuclear chain reaction was achieved with the CP-1 reactor, and Dr. Len Koch, one of Argonneâs earliest staff members and a designer of EBR-I, the first liquid metal-cooled fast reactor, spoke about their early work during âThe Dawn of the Nuclear Ageâ, a Directorâs Special Symposium held as one of the events to commemorate the 70th anniversary year of CP-1 achieving criticality. The symposium was moderated by Dr. Charles Till, a retired Argonne associate laboratory director who led Argonneâs nuclear engineering programs throughout the 1980âs and â90âs. Dr. Agnew painted a vivid picture of the challenges and rewards of working in Enrico Fermiâs group under strict security conditions and the complete faith all in the group had in Fermiâs analyses. He stated that no one ever doubted that CP-1 would achieve criticality, and when the moment came, those present acknowledged the accomplishment with little more than a subdued toast of chianti from a bottle provided by reactor physicist Eugene Wigner. This experimental work on nuclear reactors was continued in the Chicago area and led first by Fermi and then Walter Zinn, another member of Fermiâs CP-1 group, resulting in the formal establishment of Argonne National Laboratory on July 1, 1946. Dr. Koch described how much he enjoyed working at Argonne through the 1950âs and â60âs and contributing to many of the research âfirstsâ that Argonne achieved in the nuclear energy field and led to the foundation of the commercial nuclear power generation industry. His reminiscences about all that was achieved with EBR-I and how that work then led into Argonneâs design, building, and operation of EBR-II as a full demonstration of a fast reactor power plant brought Argonneâs nuclear energy legacy to life for everyone in the auditorium. These engaging presentations prompted a number of questions from the audience, which showed its appreciation for both speakers by ending the symposium with a standing ovation.
FIELD SCREENING METHODS FOR HAZARDOUS WASTES AND TOXIC CHEMICALS
The purpose of this document is to present the technical papers that were presented at the Second International Symposium on Field Screening Methods for Hazardous Wastes and Toxic Chemicals. ixty platform presentations were made and included in one of ten sessions: hemical sensor...
FORMED: Bringing Formal Methods to the Engineering Desktop
2016-02-01
integrates formal verification into software design and development by precisely defining semantics for a restricted subset of the Unified Modeling...input-output contract satisfaction and absence of null pointer dereferences. 15. SUBJECT TERMS Formal Methods, Software Verification , Model-Based...Domain specific languages (DSLs) drive both implementation and formal verification
Charania, Nadia A; Mansoor, Osman D; Murfitt, Diana; Turner, Nikki M
2016-09-09
Influenza is a common respiratory viral infection. Seasonal outbreaks of influenza cause substantial morbidity and mortality that burdens healthcare services every year. The influenza virus constantly evolves by antigenic drift and occasionally by antigenic shift, making this disease particularly challenging to manage and prevent. As influenza viruses cause seasonal outbreaks and also have the ability to cause pandemics leading to widespread social and economic losses, focused discussions on improving management and prevention efforts is warranted. The Immunisation Advisory Centre (IMAC) hosted the 2nd New Zealand Influenza Symposium (NZiS) in November 2015. International and national participants discussed current issues in influenza management and prevention. Experts in the field presented data from recent studies and discussed the ecology of influenza viruses, epidemiology of influenza, methods of prevention and minimisation, and experiences from the 2015 seasonal influenza immunisation campaign. The symposium concluded that although much progress in this field has been made, many areas for future research remain.
ICASE/LaRC Symposium on Visualizing Time-Varying Data
NASA Technical Reports Server (NTRS)
Banks, D. C. (Editor); Crockett, T. W. (Editor); Stacy, K. (Editor)
1996-01-01
Time-varying datasets present difficult problems for both analysis and visualization. For example, the data may be terabytes in size, distributed across mass storage systems at several sites, with time scales ranging from femtoseconds to eons. In response to these challenges, ICASE and NASA Langley Research Center, in cooperation with ACM SIGGRAPH, organized the first symposium on visualizing time-varying data. The purpose was to bring the producers of time-varying data together with visualization specialists to assess open issues in the field, present new solutions, and encourage collaborative problem-solving. These proceedings contain the peer-reviewed papers which were presented at the symposium. They cover a broad range of topics, from methods for modeling and compressing data to systems for visualizing CFD simulations and World Wide Web traffic. Because the subject matter is inherently dynamic, a paper proceedings cannot adequately convey all aspects of the work. The accompanying video proceedings provide additional context for several of the papers.
Lasser, Elyse C; Yasnoff, William A; Loonsk, John; Advani, Aneel; Lehmann, Harold P; Chin, David C; Weiner, Jonathan P
2017-01-01
Objective: The Johns Hopkins Center for Population Health IT hosted a 1-day symposium sponsored by the National Library of Medicine to help develop a national research and development (R&D) agenda for the emerging field of population health informatics (PopHI). Material and Methods: The symposium provided a venue for national experts to brainstorm, identify, discuss, and prioritize the top challenges and opportunities in the PopHI field, as well as R&D areas to address these. Results: This manuscript summarizes the findings of the PopHI symposium. The symposium participants’ recommendations have been categorized into 13 overarching themes, including policy alignment, data governance, sustainability and incentives, and standards/interoperability. Discussion: The proposed consensus-based national agenda for PopHI consisted of 18 priority recommendations grouped into 4 broad goals: (1) Developing a standardized collaborative framework and infrastructure, (2) Advancing technical tools and methods, (3) Developing a scientific evidence and knowledge base, and (4) Developing an appropriate framework for policy, privacy, and sustainability. There was a substantial amount of agreement between all the participants on the challenges and opportunities for PopHI as well as on the actions that needed to be taken to address these. Conclusion: PopHI is a rapidly growing field that has emerged to address the population dimension of the Triple Aim. The proposed PopHI R&D agenda is comprehensive and timely, but should be considered only a starting-point, given that ongoing developments in health policy, population health management, and informatics are very dynamic, suggesting that the agenda will require constant monitoring and updating. PMID:27018264
ERIC Educational Resources Information Center
Schlenker, Richard M.
This informational packet contains the materials necessary to administer the annual Department of Defense Dependent Schools Pacific Region Junior Science and Humanities Symposium (JSHS) at the high school and middle school levels. The symposium program is a calendar year research program which includes one week symposium of students (grade 8-12)…
Proceedings of the Third Spaceborne Imaging Radar Symposium
NASA Technical Reports Server (NTRS)
1993-01-01
This publication contains summaries of the papers presented at the Third Spaceborne Imaging Radar Symposium held at the Jet Propulsion Laboratory (JPL), California Institute of Technology, in Pasadena, California, on 18-21 Jan. 1993. The purpose of the symposium was to present an overview of recent developments in the different scientific and technological fields related to spaceborne imaging radars and to present future international plans. This symposium is the third in a series of 'Spaceborne Imaging Radar' symposia held at JPL. The first symposium was held in Jan. 1983 and the second in 1986.
DOE Office of Scientific and Technical Information (OSTI.GOV)
Babu, Kaladi S.
2015-03-16
The International Symposium in Opportunities in Underground Physics (ISOUP) was held in Asilomar, CA during May 24-27, 2013. The Symposium brought together scientists from the US and abroad for an open discussion on science opportunities provided by the possibility of a new generation of large underground detectors associated with long baseline neutrino beams. The Symposium was highly successful. The main focus of the Symposium was the science goals that could be achieved by placing such a detector deep underground.
Experiences Using Lightweight Formal Methods for Requirements Modeling
NASA Technical Reports Server (NTRS)
Easterbrook, Steve; Lutz, Robyn; Covington, Rick; Kelly, John; Ampo, Yoko; Hamilton, David
1997-01-01
This paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies differ from previously reported applications of formal methods in that formal methods were applied very early in the requirements engineering process, to validate the evolving requirements. The results were fed back into the projects, to improve the informal specifications. For each case study, we describe what methods were applied, how they were applied, how much effort was involved, and what the findings were. In all three cases, formal methods enhanced the existing verification and validation processes, by testing key properties of the evolving requirements, and helping to identify weaknesses. We conclude that the benefits gained from early modeling of unstable requirements more than outweigh the effort needed to maintain multiple representations.
Experiences Using Formal Methods for Requirements Modeling
NASA Technical Reports Server (NTRS)
Easterbrook, Steve; Lutz, Robyn; Covington, Rick; Kelly, John; Ampo, Yoko; Hamilton, David
1996-01-01
This paper describes three cases studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies differ from previously reported applications of formal methods in that formal methods were applied very early in the requirements engineering process, to validate the evolving requirements. The results were fed back into the projects, to improve the informal specifications. For each case study, we describe what methods were applied, how they were applied, how much effort was involved, and what the findings were. In all three cases, the formal modeling provided a cost effective enhancement of the existing verification and validation processes. We conclude that the benefits gained from early modeling of unstable requirements more than outweigh the effort needed to maintain multiple representations.
A functional analysis of mentalistic terms in human observers
Leigland, Sam
1989-01-01
This paper, and the following paper by M.J. Dougher (1989), were originally given as part of a symposium presented at the 1984 meeting of the Association for Behavior Analysis (R. Schnaitter, Chair). The symposium included two other papers on the same theme by Diane Spooner and Diane Mercier, and the discussant was Willard Day. The concept of the symposium was to use the following paper (Leigland) as a basis for a demonstration of what has been termed the “Reno methodology,” a method for the interpretation of verbal behavior developed by Willard Day and his students at the University of Nevada, Reno. Essentially, the project may be described in the following way: the controlled environment-behavior interactions of a pigeon in an operant chamber gave rise to explanatory verbal behavior on the part of observing human subjects, and the controlling relations with respect to the latter gave rise to the verbal behavior contained in Leigland's report. The controlling relations to be discriminated with respect to Leigland's verbal behavior were then the subject of Dougher's analysis in the report that follows. Dougher's report, then, uses Leigland's report as a source of verbal behavior to be interpreted, using the practices developed by the Reno group as a method. PMID:22477580
Formal Methods Case Studies for DO-333
NASA Technical Reports Server (NTRS)
Cofer, Darren; Miller, Steven P.
2014-01-01
RTCA DO-333, Formal Methods Supplement to DO-178C and DO-278A provides guidance for software developers wishing to use formal methods in the certification of airborne systems and air traffic management systems. The supplement identifies the modifications and additions to DO-178C and DO-278A objectives, activities, and software life cycle data that should be addressed when formal methods are used as part of the software development process. This report presents three case studies describing the use of different classes of formal methods to satisfy certification objectives for a common avionics example - a dual-channel Flight Guidance System. The three case studies illustrate the use of theorem proving, model checking, and abstract interpretation. The material presented is not intended to represent a complete certification effort. Rather, the purpose is to illustrate how formal methods can be used in a realistic avionics software development project, with a focus on the evidence produced that could be used to satisfy the verification objectives found in Section 6 of DO-178C.
Introduction to 2009 Symposium on Alternative Methods of Controlling Pests and Diseases
USDA-ARS?s Scientific Manuscript database
Numerous pests and diseases limit potato productivity, and control of weeds, insects and pathogens remains a costly part of potato production. Although conventional agrichemical pest control is amazingly effective, interest in non-synthetic chemical and integrated methods of pest management is drive...
Laser induced damage in optical materials: 8th ASTM symposium.
Glass, A J; Guenther, A H
1977-05-01
The Eighth Annual Symposium on Optical Materials for High Power Lasers (Boulder Damage Symposium) was hosted by the National Bureau of Standards in Boulder, Colorado, from 13 to 15 July 1976. The Symposium was held under the auspices of ASTM Committee F-1, Subcommittee on Laser Standards, with the joint sponsorship of NBS, the Defense Advanced Research Project Agency, the Energy Research and Development Administration, and the Office of Naval Research. About 160 scientists attended the Symposium, including representatives of the United Kingdom, France, Canada, and Brazil. The Symposium was divided into five half-day sessions concerning Bulk Material Properties and Thermal Behavior, Mirrors and Surfaces, Thin Film Properties, Thin Film Damage, and Scaling Laws and Fundamental Mechanisms. As in previous years, the emphasis of the papers presented at the Symposium was directed toward new frontiers and new developments. Particular emphasis was given to new materials for use at 10.6 microm in mirror substrates, windo s, and coatings. New techniques in film deposition and advances in diamond-turning of optics were described. The scaling of damage thresholds with pulse duration, focal area, and wavelength were discussed. Alexander J. Glass of Lawrence Livermore Laboratory and Arthur H. Guenther of the Air Force Weapons Laboratory were co-chairpersons of the Symposium. The Ninth Annual Symposium is scheduled for 4-6 October 1977 at the National Bureau of Standards, Boulder, Colorado.
A Real-Time Systems Symposium Preprint.
1983-09-01
Real - Time Systems Symposium Preprint Interim Tech...estimate of the occurence of the error. Unclassii ledSECUqITY CLASSIF’ICA T" NO MI*IA If’ inDI /’rrd erter for~~ble. ’Corrputnqg A REAL - TIME SYSTEMS SYMPOSIUM...ABSTRACT This technical report contains a preprint of a paper accepted for presentation at the REAL - TIME SYSTEMS SYMPOSIUM, Arlington,
Proceedings of the fifth annual forest inventory and analysis symposium
Ronald E. McRoberts; Gregory A. Reams; Paul C. Van Deusen; William H., eds. McWilliams
2005-01-01
The Fifth Annual Forest Inventory and Analysis Symposium was held in New Orleans, Louisiana, the second consecutive year at this location. Given the positive response to the 2002 symposium in New Orleans, we decided to return in 2003. Each year of this symposium series the range of presentations has increased; 2003 was no exception, with several presentations related...
Report on the 2009 ESO Fellows Symposium
NASA Astrophysics Data System (ADS)
Emsellem, Eric; West, Michael; Leibundgut, Bruno
2009-09-01
The fourth ESO Fellows Symposium took place in Garching from 8-10 June 2009. This year's symposium brought together 28 ESO Fellows from Chile and Germany to meet their colleagues from across the ocean, discuss their research and provide feedback on ESO's Fellowship programme. This year's symposium also included training workshops to enhance the practical skills of ESO Fellows in today's competitive job market.
ERIC Educational Resources Information Center
Jensen, R. S.
This volume contains five complete manuscripts and two abstracts presented, and three papers submitted but not presented, at this symposium on aviation psychology. The objective of the symposium was to critically examine the impact of high technology on the role, responsibility, authority, and performance of human operators in modern aircraft and…
Meeting Report: International Symposium on the Genetics of Aging and Life History II
Lee, Seung‐Jae V.; Nam, Hong Gil
2015-01-01
The second International Symposium on the Genetics of Aging and Life History was held at the campus of Daegu Gyeongbuk Institute of Science and Technology (DGIST), Daegu, South Korea, from May 14 to 16, 2014. Many leading scientists in the field of aging research from all over the world contributed to the symposium by attending and presenting their recent work and thoughts. The aim of the symposium was to stimulate international collaborations and interactions among scientists who work on the biology of aging. In the symposium, the most recent and exciting work on aging research was presented, covering a wide range of topics, including the genetics of aging, age‐associated diseases, and cellular senescence. The work was conducted in various organisms, including C. elegans, mice, plants, and humans. Topics covered in the symposium stimulated discussion of novel directions for future research on aging. The meeting ended with a commitment for the third International Symposium on the Genetics of Aging and Life History, which will be held in 2016. PMID:26115541
Meeting Report: International Symposium on the Genetics of Aging and Life History II.
Artan, Murat; Hwang, Ara B; Lee, Seung V; Nam, Hong Gil
2015-06-01
The second International Symposium on the Genetics of Aging and Life History was held at the campus of Daegu Gyeongbuk Institute of Science and Technology (DGIST), Daegu, South Korea, from May 14 to 16, 2014. Many leading scientists in the field of aging research from all over the world contributed to the symposium by attending and presenting their recent work and thoughts. The aim of the symposium was to stimulate international collaborations and interactions among scientists who work on the biology of aging. In the symposium, the most recent and exciting work on aging research was presented, covering a wide range of topics, including the genetics of aging, age-associated diseases, and cellular senescence. The work was conducted in various organisms, includingC. elegans, mice, plants, and humans. Topics covered in the symposium stimulated discussion of novel directions for future research on aging. The meeting ended with a commitment for the third International Symposium on the Genetics of Aging and Life History, which will be held in 2016.
Proceedings of the TOUGH Symposium 2009
DOE Office of Scientific and Technical Information (OSTI.GOV)
Moridis, George J.; Doughty, Christine; Finsterle, Stefan
2009-10-01
Welcome to the TOUGH Symposium 2009. Within this volume are the Symposium Program for eighty-nine papers to be presented in both oral and poster formats. The full papers are available as pdfs linked from the Symposium Program posted on the TOUGH Symposium 2009 website http://esd.lbl.gov/newsandevents/events/toughsymposium09/program.html Additional updated information including any changes to the Program will also be available at the website. The papers cover a wide range of application areas and reflect the continuing trend toward increased sophistication of the TOUGH codes. A CD containing the proceedings papers will be published immediately following the Symposium and sent to all participants.more » As in the prior Symposium, selected papers will be invited for submission to a number of journals for inclusion in Special Issues focused on applications and developments of the TOUGH codes. These journals include, Transport in Porous Media, Geothermics, Energy Conversion and Management, Journal of Nuclear Science and Technology, and the Vadose Zone Journal.« less
Sardelis, Stephanie; Drew, Joshua A.
2016-01-01
The scientific community faces numerous challenges in achieving gender equality among its participants. One method of highlighting the contributions made by female scientists is through their selection as featured speakers in symposia held at the conferences of professional societies. Because they are specially invited, symposia speakers obtain a prestigious platform from which to display their scientific research, which can elevate the recognition of female scientists. We investigated the number of female symposium speakers in two professional societies (the Society of Conservation Biology (SCB) from 1999 to 2015, and the American Society of Ichthyologists and Herpetologists (ASIH) from 2005 to 2015), in relation to the number of female symposium organizers. Overall, we found that 36.4% of symposia organizers and 31.7% of symposia speakers were women at the Society of Conservation Biology conferences, while 19.1% of organizers and 28% of speakers were women at the American Society of Ichthyologists and Herpetologists conferences. For each additional female organizer at the SCB and ASIH conferences, there was an average increase of 95% and 70% female speakers, respectively. As such, we found a significant positive relationship between the number of women organizing a symposium and the number of women speaking in that symposium. We did not, however, find a significant increase in the number of women speakers or organizers per symposium over time at either conference, suggesting a need for revitalized efforts to diversify our scientific societies. To further those ends, we suggest facilitating gender equality in professional societies by removing barriers to participation, including assisting with travel, making conferences child-friendly, and developing thorough, mandatory Codes of Conduct for all conferences. PMID:27467580
NASA Astrophysics Data System (ADS)
Tavadyan, Levon, Prof; Sachkov, Viktor, Prof; Godymchuk, Anna, Dr.; Bogdan, Anna
2016-01-01
The 2nd International Symposium «Fundamental Aspects of Rare-earth Elements Mining and Separation and Modern Materials Engineering» (REES2015) was jointly organized by Tomsk State University (Russia), National Academy of Science (Armenia), Shenyang Polytechnic University (China), Moscow Institute of Physics and Engineering (Russia), Siberian Physical-technical Institute (Russia), and Tomsk Polytechnic University (Russia) in September, 7-15, 2015, Belokuriha, Russia. The Symposium provided a high quality of presentations and gathered engineers, scientists, academicians, and young researchers working in the field of rare and rare earth elements mining, modification, separation, elaboration and application, in order to facilitate aggregation and sharing interests and results for a better collaboration and activity visibility. The goal of the REES2015 was to bring researchers and practitioners together to share the latest knowledge on rare and rare earth elements technologies. The Symposium was aimed at presenting new trends in rare and rare earth elements mining, research and separation and recent achievements in advanced materials elaboration and developments for different purposes, as well as strengthening the already existing contacts between manufactures, highly-qualified specialists and young scientists. The topics of the REES2015 were: (1) Problems of extraction and separation of rare and rare earth elements; (2) Methods and approaches to the separation and isolation of rare and rare earth elements with ultra-high purity; (3) Industrial technologies of production and separation of rare and rare earth elements; (4) Economic aspects in technology of rare and rare earth elements; and (5) Rare and rare earth based materials (application in metallurgy, catalysis, medicine, optoelectronics, etc.). We want to thank the Organizing Committee, the Universities and Sponsors supporting the Symposium, and everyone who contributed to the organization of the event and to publication of this proceeding.
A brief overview of NASA Langley's research program in formal methods
NASA Technical Reports Server (NTRS)
1992-01-01
An overview of NASA Langley's research program in formal methods is presented. The major goal of this work is to bring formal methods technology to a sufficiently mature level for use by the United States aerospace industry. Towards this goal, work is underway to design and formally verify a fault-tolerant computing platform suitable for advanced flight control applications. Also, several direct technology transfer efforts have been initiated that apply formal methods to critical subsystems of real aerospace computer systems. The research team consists of six NASA civil servants and contractors from Boeing Military Aircraft Company, Computational Logic Inc., Odyssey Research Associates, SRI International, University of California at Davis, and Vigyan Inc.
Formal Assurance Certifiable Tooling Formal Assurance Certifiable Tooling Strategy Final Report
NASA Technical Reports Server (NTRS)
Bush, Eric; Oglesby, David; Bhatt, Devesh; Murugesan, Anitha; Engstrom, Eric; Mueller, Joe; Pelican, Michael
2017-01-01
This is the Final Report of a research project to investigate issues and provide guidance for the qualification of formal methods tools under the DO-330 qualification process. It consisted of three major subtasks spread over two years: 1) an assessment of theoretical soundness issues that may affect qualification for three categories of formal methods tools, 2) a case study simulating the DO-330 qualification of two actual tool sets, and 3) an investigation of risk mitigation strategies that might be applied to chains of such formal methods tools in order to increase confidence in their certification of airborne software.
Persistent toxic substances and the health of fish communities in the Great Lakes
Willford, Wayne A.; Evans, Marlene S.
1988-01-01
The role, if any, of toxic substances in bringing about changes in the productivity and status of fishery resources, is not well understood. At the 'Workshops on Persistent Toxic Substances and the Health of the Aquatic Community,' the Fish Biota Discussion Subgroup considered the issue of toxic substances by responding to the three questions addressed to it by the Workshop Organizing Committee as described earlier in the introduction to these proceedings. In responding to these questions, the Subgroup members took into account the earlier, formal presentations made during the Symposium, the published literature applicable to the subject area, and personal knowledge gained from research on Great Lakes fisheries or containments. The major discussions, conclusions, and recommendations of the Subgroup summarized here were developed during these deliberations and are presented under the major headings of the questions asked of the Subgroup.
Introduction to Computational Methods for Stability and Control (COMSAC)
NASA Technical Reports Server (NTRS)
Hall, Robert M.; Fremaux, C. Michael; Chambers, Joseph R.
2004-01-01
This Symposium is intended to bring together the often distinct cultures of the Stability and Control (S&C) community and the Computational Fluid Dynamics (CFD) community. The COMSAC program is itself a new effort by NASA Langley to accelerate the application of high end CFD methodologies to the demanding job of predicting stability and control characteristics of aircraft. This talk is intended to set the stage for needing a program like COMSAC. It is not intended to give details of the program itself. The topics include: 1) S&C Challenges; 2) Aero prediction methodology; 3) CFD applications; 4) NASA COMSAC planning; 5) Objectives of symposium; and 6) Closing remarks.
ERIC Educational Resources Information Center
Potter, Charles, Comp.
Materials from the Literacy Symposium that begin this document are a letter of support from Barbara Bush, a symposium agenda, and lists of panel participants, speakers, symposium staff, and members of the Academic Advisory Council to the U.S. Government Printing Office. These are followed by 21 pages of quotes from particpants. Those quoted…
ERIC Educational Resources Information Center
International Student Pugwash, Washington, DC.
Proceedings of a symposium which focused on issues related to nuclear weapons and arms control are presented. In addition to a list of participants (including both high school and college educators) and symposium schedule, summaries/highlights of symposium sessions are provided. These include summaries of three working groups which discussed…
NASA Langley Research and Technology-Transfer Program in Formal Methods
NASA Technical Reports Server (NTRS)
Butler, Ricky W.; Caldwell, James L.; Carreno, Victor A.; Holloway, C. Michael; Miner, Paul S.; DiVito, Ben L.
1995-01-01
This paper presents an overview of NASA Langley research program in formal methods. The major goals of this work are to make formal methods practical for use on life critical systems, and to orchestrate the transfer of this technology to U.S. industry through use of carefully designed demonstration projects. Several direct technology transfer efforts have been initiated that apply formal methods to critical subsystems of real aerospace computer systems. The research team consists of five NASA civil servants and contractors from Odyssey Research Associates, SRI International, and VIGYAN Inc.
The Ariadne principles: how to handle multimorbidity in primary care consultations.
Muth, Christiane; van den Akker, Marjan; Blom, Jeanet W; Mallen, Christian D; Rochon, Justine; Schellevis, François G; Becker, Annette; Beyer, Martin; Gensichen, Jochen; Kirchner, Hanna; Perera, Rafael; Prados-Torres, Alexandra; Scherer, Martin; Thiem, Ulrich; van den Bussche, Hendrik; Glasziou, Paul P
2014-12-08
Multimorbidity is a health issue mostly dealt with in primary care practice. As a result of their generalist and patient-centered approach, long-lasting relationships with patients, and responsibility for continuity and coordination of care, family physicians are particularly well placed to manage patients with multimorbidity. However, conflicts arising from the application of multiple disease oriented guidelines and the burden of diseases and treatments often make consultations challenging. To provide orientation in decision making in multimorbidity during primary care consultations, we developed guiding principles and named them after the Greek mythological figure Ariadne. For this purpose, we convened a two-day expert workshop accompanied by an international symposium in October 2012 in Frankfurt, Germany. Against the background of the current state of knowledge presented and discussed at the symposium, 19 experts from North America, Europe, and Australia identified the key issues of concern in the management of multimorbidity in primary care in panel and small group sessions and agreed upon making use of formal and informal consensus methods. The proposed preliminary principles were refined during a multistage feedback process and discussed using a case example. The sharing of realistic treatment goals by physicians and patients is at the core of the Ariadne principles. These result from i) a thorough interaction assessment of the patient's conditions, treatments, constitution, and context; ii) the prioritization of health problems that take into account the patient's preferences - his or her most and least desired outcomes; and iii) individualized management realizes the best options of care in diagnostics, treatment, and prevention to achieve the goals. Goal attainment is followed-up in accordance with a re-assessment in planned visits. The occurrence of new or changed conditions, such as an increase in severity, or a changed context may trigger the (re-)start of the process. Further work is needed on the implementation of the formulated principles, but they were recognized and appreciated as important by family physicians and primary care researchers.Please see related article: http://www.biomedcentral.com/1741-7015/12/222.
Parametric Cost and Schedule Modeling for Early Technology Development
2018-04-02
Best Paper in the Analysis Methods Category and 2017 Best Paper Overall awards. It was also presented at the 2017 NASA Cost and Schedule Symposium... Methods over the Project Life Cycle .............................................................................................. 2 Figure 2. Average...information contribute to the lack of data, objective models, and methods that can be broadly applied in early planning stages. Scientific
Chemistry of Atmospheric Aerosols at Pacifichem 2015 Congress
DOE Office of Scientific and Technical Information (OSTI.GOV)
Nizkorodov, Sergey
This grant was used to provide participant support for a symposium entitled “Chemistry of Atmospheric Aerosols” at the 2015 International Chemical Congress of Pacific Basin Societies (Pacifichem) that took place in Honolulu, Hawaii, USA, on December 15-20, 2015. The objective was to help attract both distinguished scientists as well as more junior researchers, including graduate students, to this international symposium by reducing the financial barrier for its attendance. It was the second time a symposium devoted to Atmospheric Aerosols was part of the Pacifichem program. This symposium provided a unique opportunity for the scientists from different countries to gather inmore » one place and discuss the cutting edge advances in the cross-disciplinary areas of aerosol research. To achieve the highest possible impact, the PI and the symposium co-organizers actively advertised the symposium by e-mail and by announcements at other conferences. A number of people responded, and the end result was a very busy program with about 100 oral and poster presentation described in the attached PDF file. Presentations by invited speakers occupied approximately 30% of time in each of the sessions. In addition to the invited speakers, each session also had contributed presentations, including those by graduate students and postdoctoral researchers. This symposium gathered established aerosol chemists from a number of countries including United States, Canada, China, Japan, Korea, Australia, Brazil, Hongkong, Switzerland, France, and Germany. There were plenty of time for the attendees to discuss new ideas and potential collaborations both during the oral sessions and at the poster sessions of the symposium. The symposium was very beneficial to graduate student researchers, postdoctoral fellows, and junior researchers whose prior exposure to international aerosol chemistry science had been limited. The symposium provided junior researchers with a much broader perspective of aerosol chemistry than that afforded by attending a national meeting. The oral and platform presentation abstracts from the symposium were published in the Pacifichem Congress program.« less
Intermodal Freight Symposium : workbook
DOT National Transportation Integrated Search
1997-01-01
On September 30, 1996, the Federal Highway Administrations ITS Joint Program Office and the National Highway Institute hosted an lntermodal Freight Symposium. The symposium brought together public and private sector experts in fright movement and ...
Laser induced damage in optical materials: twelfth ASTM symposium.
Bennett, H E; Glass, A J; Guenther, A H; Newnam, B
1981-09-01
The twelfth annual Symposium on Optical Materials for High Power Lasers (Boulder Damage Symposium) was held at the National Bureau of Standards in Boulder, Colorado, 30 Sept.-l Oct., 1980. The symposium was held under the auspices of ASTM Committee F-l, Subcommittee on Laser Standards, with the joint sponsorship of NBS, the Defense Advanced Research Projects Agency, the Department of Energy, the Office of Naval Research, and the Air Force Office of Scientific research. Over 150 scientists attended the symposium, including representatives of the United Kingdom, France, Japan, and West Germany. The symposium was divided into sessions concerning materials and measurements, mirrors and surfaces, thin films, and finally fundamental mechanisms. As in previous years, the emphasis of the papers presented at the symposium was directed toward new frontiers and new developments. Particular emphasis was given to materials for high power systems. The wavelength range of prime interest was from 10.6 microm to the UV region. Highlights included surface characterization, thin film-substrate boundaries, and advances in fundamental laser-matter threshold interactions and mechanisms. The scaling of damage thresholds with pulse duration, focal area, and wavelength was discussed in detail. Harold E. Bennett of the Naval Weapons Center, Alexander J. Glass of the Lawrence Livermore National Laboratory, Arthur H. Guenther of the Air Force Weapons Laboratory, and Brian E. Newnam of the Los Alamos National Laboratory were cochairmen of the symposium. The thirteenth annual symposium is scheduled for 17-18 Nov. 1981 at the National Bureau of Standards, Boulder, Colorado.
Philip Sheridan
2005-01-01
A symposium was held on the globally threatened and coastally restricted tree species, Atlantic white-cedar (Chamaecyparis thyoides (L) B.S.P.) at the Arlington Echo Outdoor Education Center, Millersville, MD, in June 2003. The theme of the symposium was âUniting Forces for Action,â and participants in the symposium came from throughout the range of this species, from...
Bratslavsky, Gennady; Woodford, Mark R; Daneshvar, Michael; Mollapour, Mehdi
2016-03-29
The Sixth BHD Symposium and First International Upstate Kidney Cancer Symposium concluded in September 2015, in Syracuse, NY, USA. The program highlighted recent findings in a variety of areas, including drug development, therapeutics and surgical management of patients with BHD and multi-focal renal tumors, as well as multidisciplinary approaches for patients with localized, locally advanced and metastatic renal cell carcinoma.
2008 Homeland Security Symposium and Exposition
2008-09-10
Untitled Document 2008 Homeland Security Symposium and Exposition.html[5/19/2016 8:49:43 AM] 2008 Homeland Security Symposium and Exposition "New...national defenSe magazine Advertise in National Defense and increase your company exposure at this symposium! National Defense will be distributed to all...use the Internet Cafe to check their e-mail and search the Internet. Brand your name with maximum exposure at this high traffic area. Benefits
Program Components | Cancer Prevention Fellowship Program
Annual Cancer Prevention Fellows' Scientific Symposium The Annual Cancer Prevention Fellows’ Scientific Symposium is held each fall. The symposium brings together senior fellows, new fellows, and the CPFP staff for a day of scientific exchange in the area of cancer prevention. The event provides an opportunity for fellows to discuss their projects, ideas, and potential future collaborations. Fellows plan the symposium, including developing the program agenda and special workshops, and selecting invited speakers.
ERIC Educational Resources Information Center
Japan Teachers Union, Tokyo.
Proceedings from an international symposium devoted to the cause of disarmament education are presented. Representatives from international and national teacher organizations together with scholars and researchers from 35 countries and all continents attended. The symposium focused on the idea that teachers have a special responsibility to work…
Laser-induced damage in optical materials: sixteenth ASTM symposium.
Bennett, H E; Guenther, A H; Milam, D; Newnam, B E
1987-03-01
The Sixteenth Annual Symposium on Optical Materials for High Power Lasers (Boulder Damage Symposium) was held at the National Bureau of Standards in Boulder, CO, 15-17 Oct. 1984. The Symposium was held under the auspices of ASTM Committee F-1, Subcommittee on Laser Standards, with the joint sponsorship of NBS, the Defense Advanced Research Project Agency, the Department of Energy, the Office of Naval Research, and the Air Force Office of Scientific Research. Approximately 180 scientists attended the Symposium, including representatives from England, France, The Netherlands, Scotland, and West Germany. The Symposium was divided into sessions concerning Materials and Measurements, Mirrors and Surfaces, Thin Films, and Fundamental Mechanisms. As in previous years, the emphasis of the papers presented at the Symposium was directed toward new frontiers and new developments. Particular emphasis was given to materials for high-power apparatus. The wavelength range of prime interest was from 10.6,microm to the UV region. Highlights included surface characterization, thin-film-substrate boundaries, and advances in fundamental laser-matter threshold interactions and mechanisms. Harold E. Bennett of the U.S. Naval Weapons Center, Arthur H. Guenther of the U.S. Air Force Weapons Laboratory, David Milam of the Lawrence Livermore National Laboratory, and Brian E. Newnam of the Los Alamos National Laboratory were cochairmen of the Symposium.
Why are Formal Methods Not Used More Widely?
NASA Technical Reports Server (NTRS)
Knight, John C.; DeJong, Colleen L.; Gibble, Matthew S.; Nakano, Luis G.
1997-01-01
Despite extensive development over many years and significant demonstrated benefits, formal methods remain poorly accepted by industrial practitioners. Many reasons have been suggested for this situation such as a claim that they extent the development cycle, that they require difficult mathematics, that inadequate tools exist, and that they are incompatible with other software packages. There is little empirical evidence that any of these reasons is valid. The research presented here addresses the question of why formal methods are not used more widely. The approach used was to develop a formal specification for a safety-critical application using several specification notations and assess the results in a comprehensive evaluation framework. The results of the experiment suggests that there remain many impediments to the routine use of formal methods.
Weaving a Formal Methods Education with Problem-Based Learning
NASA Astrophysics Data System (ADS)
Gibson, J. Paul
The idea of weaving formal methods through computing (or software engineering) degrees is not a new one. However, there has been little success in developing and implementing such a curriculum. Formal methods continue to be taught as stand-alone modules and students, in general, fail to see how fundamental these methods are to the engineering of software. A major problem is one of motivation — how can the students be expected to enthusiastically embrace a challenging subject when the learning benefits, beyond passing an exam and achieving curriculum credits, are not clear? Problem-based learning has gradually moved from being an innovative pedagogique technique, commonly used to better-motivate students, to being widely adopted in the teaching of many different disciplines, including computer science and software engineering. Our experience shows that a good problem can be re-used throughout a student's academic life. In fact, the best computing problems can be used with children (young and old), undergraduates and postgraduates. In this paper we present a process for weaving formal methods through a University curriculum that is founded on the application of problem-based learning and a library of good software engineering problems, where students learn about formal methods without sitting a traditional formal methods module. The process of constructing good problems and integrating them into the curriculum is shown to be analagous to the process of engineering software. This approach is not intended to replace more traditional formal methods modules: it will better prepare students for such specialised modules and ensure that all students have an understanding and appreciation for formal methods even if they do not go on to specialise in them.
PREFACE: 3rd International Symposium ''Optics and its Applications''
NASA Astrophysics Data System (ADS)
Calvo, M. L.; Dolganova, I. N.; Gevorgyan, N.; Guzman, A.; Papoyan, A.; Sarkisyan, H.; Yurchenko, S.
2016-01-01
The SPIE.FOCUS Armenia: 3rd International Symposium ''Optics and its Applications'' (OPTICS-2015) http://rau.am/optics2015/ was held in Yerevan, Armenia, in the period October 1 - 5, 2015. The symposium was organized by the International Society for Optics and Photonics (SPIE), the Armenian SPIE student chapter with collaboration of the Armenian TC of ICO, the Russian-Armenian University (RAU), the Institute for Physical Research of National Academy of Sciences of Armenia (IPR of NAS), the Greek-Armenian industrial company LT-PYRKAL, and the Yerevan State University (YSU). The Symposium was co-organized by the SPIE & OSA student chapters of BMSTU, the Armenian OSA student chapter, and the SPIE student chapters of Lund University and Wroclaw University of Technology. The symposium OPTICS-2015 was dedicated to the International Year of Light and Light-Based Technologies. OPTICS-2015 was devoted to modern topics and optical technologies such as: optical properties of nanostructures, silicon photonics, quantum optics, singular optics & its applications, laser spectroscopy, strong field optics, biomedical optics, nonlinear & ultrafast optics, photonics & fiber optics, and mathematical methods in optics. OPTICS-2015 was attended by 100 scientists and students representing 17 countries: Armenia, China, Czech Republic, France, Georgia, Germany, India, Iran, Italy, Latvia, Mexico, Poland, Russia, Saudi Arabia, Sweden, Ukraine, and USA. Such a broad international community confirmed the important mission of science to be a uniting force between different countries, religions, and nations. We hope that OPTICS-2015 inspired and motivated students and young scientists to work in optics and in science in general. The present volume of Journal of Physics: Conference Series includes proceedings of the symposium covering various aspects of modern problems in optics. We are grateful to all people who were involved in the organization process. We gratefully acknowledge support from SPIE under the Federation of Optics College and University Students (FOCUS) conference grant, as well as contributions from other organizations: the Abdus Salam International Center for Theoretical Physics (ICTP), the Optical Society (OSA), the Laboratory of Terahertz Technology of Bauman Moscow State Technical University (BMSTU), the RAU, the LT-Pyrkal, the King Abdullah University of Science and Technology (KAUST), IPR of NAS, and Ritea.
DOT National Transportation Integrated Search
1975-11-01
A compilation is presented of papers reported at the 1975 Ride Quality Symposium held in Williamsburg, Virginia, August 11-12, 1975. The symposium, jointly sponsored by NASA and the United States Department of Transportation, was held to provide a fo...
Rail vehicle crashworthiness symposium
DOT National Transportation Integrated Search
1998-03-01
This document contains the proceedings of the Rail Vehicle Crashworthiness Symposium held at the Volpe Center in Cambridge, Massachusetts on June 24, 25, and 26, 1996. These proceedings have been developed from a transcript of the symposium and the m...
Manned Space Flight Experiments Symposium: Gemini Missions III and IV
NASA Technical Reports Server (NTRS)
1965-01-01
This is a compilation of papers on in-flight experiments presented at the first symposium of a series, Manned Space Flight Experiments Symposium, sponsored by the National Aeronautics and Space Administration. The results of experiments conducted during the Gemini Missions III and IV are covered. These symposiums are to be conducted for the scientific community at regular intervals on the results of experiments carried out in conjunction with manned space flights.
Purohit, Vishnudutt; Rapaka, Rao; Frankenheim, Jerry; Avila, Albert; Sorensen, Roger; Rutter, Joni
2013-04-01
The National Institute on Drug Abuse organized a symposium on drugs of abuse, dopamine, and HIV-associated neurocognitive disorders (HAND)/HIV-associated dementia (HAD) in Rockville, Maryland, October 4, 2011. The purpose of this symposium was to evaluate the potential role of dopamine in the potentiation of HAND/HAD by drugs of abuse. A summary of the symposium has been presented in this report.
What is the Value of Space Exploration? - A Prairie Perspective
NASA Technical Reports Server (NTRS)
1995-01-01
The symposium addresses different topics within Space Exploration. The symposium was fed, using satellite downlinks, to several communities in North Dakota, the first such symposium of its type ever held. The specific topics presented by different community members within the state of North Dakota were: the economic, cultural, scientific and technical, political, educational and social value of Space Exploration. Included is a 22 minute VHS video cassette highlighting the symposium.
Report of the 7th African Rotavirus Symposium, Cape Town, South Africa, 8th November 2012.
Seheri, L M; Mwenda, J M; Page, N
2014-11-12
The 7th African Rotavirus Symposium was held in Cape Town, South Africa, on the 8th November 2012 as a Satellite Symposium at the First International African Vaccinology Conference. Over 150 delegates participated in this symposium including scientists, clinicians, health officials, policymakers and vaccine manufacturers from across Africa. Key topics discussed included rotavirus surveillance, rotavirus vaccine introduction, post rotavirus vaccine impact analysis and intussusception data and surveillance in Africa. The symposium provided early rotavirus vaccine adopter countries in Africa (South Africa, Ghana and Botswana) an opportunity to share up-to-date information on vaccine introduction, and allowed colleagues to share experiences in establishing routine rotavirus surveillance (Tanzania, Niger and Rwanda). Overall, the symposium highlighted the high burden of rotavirus in Africa, and the need to continue to strengthen efforts in preventing rotavirus diarrhoea in Africa. Copyright © 2014. Published by Elsevier Ltd.. All rights reserved.
1979 international symposium on lepton and photon interactions at high energies
DOE Office of Scientific and Technical Information (OSTI.GOV)
Kirk, T.B.W.; Abarbanel, H.D.I.
1979-01-01
This symposium on Leptons and Photons is ninth in the series of biannual meetings which began at Cambridge, Massachusetts, in 1963. Abstracts of individual items from the symposium were prepared separately for the data base. (GHT)
Program Components | Cancer Prevention Fellowship Program
Annual Cancer Prevention Fellows' Scientific Symposium The Annual Cancer Prevention Fellows’ Scientific Symposium is held each fall. The symposium brings together senior fellows, new fellows, and the CPFP staff for a day of scientific exchange in the area of cancer prevention.
NASA Technical Reports Server (NTRS)
Hinchey, Michael G. (Inventor); Rouff, Christopher A. (Inventor); Rash, James L. (Inventor); Erickson, John D. (Inventor); Gracinin, Denis (Inventor)
2010-01-01
Systems, methods and apparatus are provided through which in some embodiments an informal specification is translated without human intervention into a formal specification. In some embodiments the formal specification is a process-based specification. In some embodiments, the formal specification is translated into a high-level computer programming language which is further compiled into a set of executable computer instructions.
NASA Astrophysics Data System (ADS)
Fukumoto, Yasuhide
2014-06-01
This special issue of Fluid Dynamics Research contains the first of a two-part publication of the papers presented at the IUTAM Symposium on Vortex Dynamics: Formation, Structure and Function, held at the Centennial Hall, Kyushu University School of Medicine, Fukuoka, Japan, during the week of 10-14 March 2013. Vortices are ubiquitous structures in fluid mechanics spanning the range of scales from nanofluidics and microfluidics to geophysical and astrophysical flows. Vortices are the key to understanding many different phenomena. As a result, the subject of vortex dynamics continues to evolve and to constantly find new applications in biology, biotechnology, industrial and environmental problems. Vortices can be created by the separation of a flow from the surface of a body or at a density interface, and evolve into coherent structures. Once formed, a vortex acquires a function, depending on its individual structure. In this way, for example, insects gain lift and fish gain thrust. Surprisingly, despite the long history of vortex dynamics, only recently has knowledge about formation, structure and function of vortices been combined to yield new perspectives in the subject, thereby helping to solve outstanding problems brought about by modern advances in computer technology and improved experimental techniques. This symposium is a continuation, five years on, of the IUTAM Symposium '50 Years of Vortex Dynamics', Lyngby, Denmark that took place between 12-16 October 2008, organized by the late Professor Hassan Aref. Originally, Professor Aref was a member of the International Scientific Committee of this symposium and offered his enthusiasm and great expertise, to support its organization. To our shock, he suddenly passed away on 9 September 2011. Furthermore, Professor Slava Meleshko, a leading scientist of fluid and solid mechanics and an intimate friend of Professor Aref, was expected to make an eminent contribution to the symposium. Soon after this sad loss, Professor Meleshko unexpectedly passed away in a tragic traffic accident on 14 November 2011. This symposium was dedicated to the memory of Professors Aref and Meleshko, and started with a session commemorating the legacy of their work, organized by Professors P K Newton and G J F van Heijst. Professors Aref (1950-2011) and Meleshko (1951-2011) made fundamental contributions to fluid mechanics and vortex dynamics throughout their respective distinguished careers. Although mathematical in their fundamental approaches, both sought the connections between theory and experiment and searched for physical explanations in their work. With strong, warm, and embracing personalities, they each played key roles in developing and enriching international collaborations in the field of vortex dynamics through their considerable organizational and cooperative skills, and both made enormous contribution to the development of the IUTAM. Their scientific interests and personal lives overlapped considerably, and their impact in the field of vortex dynamics was honoured in the memorial session. The following sessions presented the development of new mathematical methods and theoretical concepts, bringing in novel techniques in vortex dynamics, stimulated by the continuous development of numerical method and new experimental results, in such aspects as vortex equilibria, spectra, instability and nonlinear dynamics of vortices in barotropic and baroclinic fluids, chaos, classical and quantum turbulence, and wall turbulence, flow separation and vortex-body interactions. Topical applications include biological locomotion, environmental problems, and Bose-Einstein condensates in condensed matter theory. Central fundamental issues in theoretical, numerical and experimental aspects of vortex dynamics were also covered during the symposium such as (1) The dynamics of point vortices in domains of non-trivial topology, its Hamiltonian formulation and new statistical approaches, (2) 3D instability of vortices, with effects of compressibility and stratification, (3) Stratified vortices in the atmosphere and oceans and MHD vortices in astrophysics, (4) Numerical methods for calculating vortex equilibria, (5) Numerical methods for calculating separation of vortices and vortex-vortex interactions with their application to fish and insect locomotion and wind turbines. The symposium was attended by 128 registered participants. The official scientific participants came from 16 nations: Algeria (1), Brazil (1), Canada (3), China (3), France (12), Germany (1), India (1), Italy (2), Japan (63), The Netherlands (1), Poland (3), Russia (7), Spain (2), UK (10), Ukraine (2), and USA (16). Just a hundred papers were presented. The technical program consisted of eight invited lectures, 48 contributed papers and 44 poster presentations. The International Scientific Committee (ISC) of the symposium consisted of Professors D G Crowdy, S Le Dizès, S G Llewellyn Smith, P K Newton, R L Ricca, G J F van Heijst and YF as the chair. The members of the ISC are gratefully acknowledged. Sincere thanks are extended to the Advisory Board and also to all the members of the Domestic Organizing Committee and Local Organizing Committee for their effort in making the symposium very successful. Financial support for the symposium was provided by the IUTAM, the Commemorative Organization for the Japan World Exposition '70, the CREST offered by the Japan Science and Technology Agency (JST), the Global COE Program of the Graduate School of Mathematics, Kyushu University offered by the Ministry of Education, Culture, Sports, Science and Technology (MEXT), Japan, and the Research Institute for Applied Mechanics and Institute of Mathematics for Industry, Kyushu University. All lecture presenters were strongly encouraged to submit papers for this IUTAM Symposium special issue of Fluid Dynamics Research. Poster presenters were also invited to do so. All the submitted papers were refereed, each by two reviewers, to the same standards applied for papers or review articles in regular issues of FDR. Some of the submitted papers do not appear in the special issue. The submitted papers were handled, for the reviewing procedure, by the three guest editors, Professors D G Crowdy, Y Hattori and S Le Dizès and YF, the associate editor of FDR. About 50 papers were accepted for publication in this special issue, which is published in two parts. This issue (vol 46, issue 3, June 2014) is part 1. Part 2 will be published as volume 46, issue 6, in December 2014. I hope that the special issue provides a sketch of the state of the art in the field of vortex dynamics and holds a key to open up future directions of study.
Ten Commandments Revisited: A Ten-Year Perspective on the Industrial Application of Formal Methods
NASA Technical Reports Server (NTRS)
Bowen, Jonathan P.; Hinchey, Michael G.
2005-01-01
Ten years ago, our 1995 paper Ten Commandments of Formal Methods suggested some guidelines to help ensure the success of a formal methods project. It proposed ten important requirements (or "commandments") for formal developers to consider and follow, based on our knowledge of several industrial application success stories, most of which have been reported in more detail in two books. The paper was surprisingly popular, is still widely referenced, and used as required reading in a number of formal methods courses. However, not all have agreed with some of our commandments, feeling that they may not be valid in the long-term. We re-examine the original commandments ten years on, and consider their validity in the light of a further decade of industrial best practice and experiences.
NASA Technical Reports Server (NTRS)
Bolton, Matthew L.; Bass, Ellen J.
2009-01-01
Both the human factors engineering (HFE) and formal methods communities are concerned with finding and eliminating problems with safety-critical systems. This work discusses a modeling effort that leveraged methods from both fields to use model checking with HFE practices to perform formal verification of a human-interactive system. Despite the use of a seemingly simple target system, a patient controlled analgesia pump, the initial model proved to be difficult for the model checker to verify in a reasonable amount of time. This resulted in a number of model revisions that affected the HFE architectural, representativeness, and understandability goals of the effort. If formal methods are to meet the needs of the HFE community, additional modeling tools and technological developments are necessary.
Sixth Symposium on Chemical Evolution and the Origin and Evolution of Life
NASA Technical Reports Server (NTRS)
Acevedo, Sara (Editor); DeVincenzi, Donald L. (Editor); Chang, Sherwood (Editor)
1998-01-01
The 6th Symposium on Chemical Evolution and the Origin and Evolution of Life was convened at NASA Ames Research Center, November 17-20, 1997. This Symposium is convened every three years under the auspices of NASA's Exobiology Program Office. All Principal Investigators funded by this Program present their most recent research accomplishments at the Symposium. Scientific papers were presented in the following areas: cosmic evolution of the biogenic elements, prebiotic evolution (both planetary and chemical), evolution of early organisms and evolution of organisms in extreme environments, solar system exploration, and star and planet formation. The Symposium was attended by over 200 scientists from NASA centers and Universities nationwide.
Bianconi, Maristella; Santoni, Matteo; Massari, Francesco; Faloppi, Luca; Del Prete, Michela; Giampieri, Riccardo; Ciccarese, Chiara; Modena, Alessandra; Tortora, Giampalo; Scartozzi, Mario; Cascinu, Stefano
2014-11-01
2014 Genitourinary Cancers Symposium San Francisco, CA, USA, 30 January-1 February 2014 The American Society of Clinical Oncology symposium dedicated to genitourinary tumors represents an unmissable opportunity for the whole oncology community with a special interest in the diagnosis and treatment of genitorurinary tract malignancies, in particular kidney and prostate tumors. The 2014 Genitourinary Cancers Symposium focused attention on the need to find a personalized therapy for metastatic renal cell carcinoma and castration-resistant prostate cancer patients. The development of biomarkers for tumor response and/or resistance will represent a major step in this context and has been the focus of several researches at the symposium.
Proceedings of the Twelfth International Symposium on Space Terahertz Technology
NASA Technical Reports Server (NTRS)
Mehdi, Imran (Editor)
2001-01-01
The Twelfth International Symposium on Space Terahertz Technology was held February 14-16, 2001 in San Diego, California, USA. This symposium was jointly sponsored by the National Aeronautics and Space Administration (NASA) and the Jet Propulsion Laboratory, California Institute of Technology. The symposium featured sixty nine presentations covering a wide variety of technical topics relevant to Terahertz Technology. The presentations can be divided into five broad technology areas: Hot Electron Bolometers, superconductor insulator superconductor (SIS) technology, local oscillator (LO) technology, Antennas and Measurements, and Direct Detectors. The symposium provides scientists, engineers, and researchers working in the terahertz technology and science fields to engineers their work and exchange ideas with colleagues.
Issues in Evaluation. Symposium 11. [AHRD Conference, 2001].
ERIC Educational Resources Information Center
2001
This document contains three papers on issues in evaluation. "Evaluation of the Method of Modeling: A Case Study of the Finnish Steel Industry" (Ville Nurmi) describes the method of modeling as an educational strategy to support both specific goal-directed transformative learning focused on work process and learning in workplaces, and it…
A Ghostly Symposium on the Value of the Arts.
ERIC Educational Resources Information Center
Music Educators Journal, 1978
1978-01-01
In mock interviews with Mark Twain, Oscar Wilde, Plato, and George Santayana, the value of the arts in education is discussed. The author suggests this mock interview technique as a method for teaching other topics. (KC)
Proceedings of the Second Annual Symposium for Nondestructive Evaluation of Bond Strength
NASA Technical Reports Server (NTRS)
Roberts, Mark J. (Compiler)
1999-01-01
Ultrasonics, microwaves, optically stimulated electron emission (OSEE), and computational chemistry approaches have shown relevance to bond strength determination. Nonlinear ultrasonic nondestructive evaluation methods, however, have shown the most effectiveness over other methods on adhesive bond analysis. Correlation to changes in higher order material properties due to microstructural changes using nonlinear ultrasonics has been shown related to bond strength. Nonlinear ultrasonic energy is an order of magnitude more sensitive than linear ultrasound to these material parameter changes and to acoustic velocity changes caused by the acoustoelastic effect when a bond is prestressed. Signal correlations between non-linear ultrasonic measurements and initialization of bond failures have been measured. This paper reviews bond strength research efforts presented by university and industry experts at the Second Annual Symposium for Nondestructive Evaluation of Bond Strength organized by the NDE Sciences Branch at NASA Langley in November 1998.
Grant, E J; Ozasa, K; Ban, N; de González, A Berrington; Cologne, J; Cullings, H M; Doi, K; Furukawa, K; Imaoka, T; Kodama, K; Nakamura, N; Niwa, O; Preston, D L; Rajaraman, P; Sadakane, A; Saigusa, S; Sakata, R; Sobue, T; Sugiyama, H; Ullrich, R; Wakeford, R; Yasumura, S; Milder, C M; Shore, R E
2015-05-01
The RERF International Low-Dose Symposium was held on 5-6 December 2013 at the RERF campus in Hiroshima, Japan, to discuss the issues facing the Life Span Study (LSS) and other low-dose studies. Topics included the current status of low-dose risk detection, strategies for low-dose epidemiological and statistical research, methods to improve communication between epidemiologists and biologists, and the current status of radiological studies and tools. Key points made by the participants included the necessity of pooling materials over multiple studies to gain greater insight where data from single studies are insufficient; generating models that reflect epidemiological, statistical, and biological principles simultaneously; understanding confounders and effect modifiers in the current data; and taking into consideration less studied factors such as the impact of dose rate. It is the hope of all participants that this symposium be used as a trigger for further studies, especially those using pooled data, in order to reach a greater understanding of the health effects of low-dose radiation.
Advancing the expectancy concept via the interplay between theory and research.
Del Boca, Frances K; Darkes, Jack; Goldman, Mark S; Smith, Gregory T
2002-06-01
Four papers from a 2001 Research Society on Alcoholism symposium on expectancy theory and research are summarized. The symposium contributors describe recent advances in expectancy theory and discuss their implications for assessment and for understanding the processes of development and change in the behavioral domain of alcohol use. First, findings are integrated across the diverse domains in which the expectancy concept has been applied. Second, the implications of expectancy theory for the measurement of expectancy structure and process are examined. Third, research and theory regarding alcohol expectancy development and change are presented, with an emphasis on the role of expectancies as mediators of known antecedents of drinking. Finally, an experimental procedure for investigating the causal role of expectancies is described, together with its implications for theory testing and prevention or intervention programming. Collectively, the symposium contributions demonstrate the utility of an integrated expectancy theory for the generation of innovative research operations and new insights regarding behavior development and change. Consistent with the notion of consilience, expectancy theory has demonstrated a convergence of findings across different levels of analysis, as well as across different operations, methods, and research designs.
PREFACE: 4th International Symposium on Instrumentation Science and Technology (ISIST'2006)
NASA Astrophysics Data System (ADS)
Jiubin, Tan
2006-10-01
On behalf of the International Program Committee of ISIST'2006 and the symposium coordinators, I would like to thank all the participants for their presence at the 4th International Symposium on Instrumentation Science and Technology (ISIST'2006), a platform for scientists, researchers and experts from different parts of the world to present their achievements and to exchange their views on ways and means to further develop modern instrumentation science and technology. In the present information age, instrumentation science and technology is playing a more and more important role, not only in the acquisition and conversion of information at the very beginning of the information transformation chain, but also in the transfer, manipulation and utilization of information. It provides an analysis and test means for bioengineering, medical engineering, life science, environmental engineering and micro/nanometer technology, and integrates these disciplines to form new subdivisions of their own. The major subject of the symposium is crossover and fusion between instrumentation science and technology and other sciences and technologies. ISIST'2006 received more than 800 full papers from 12 countries and regions, from which 300 papers were finally selected by the international program committee for inclusion in the proceedings of ISIST'2006, published in 2 volumes. The major topics include instrumentation basic theory and methodology, sensors and conversion technology, signal and image processing, instruments and systems, laser and optical fiber instrumentation, advanced optical instrumentation, optoelectronics instrumentation, MEMS, nanotechnology and instrumentation, biomedical and environmental instrumentation, automatic test and control. The International Symposium on Instrumentation Science and Technology (ISIST) is sponsored by ICMI, NSFC, CSM, and CIS, and organized by ICMI, HIT and IC-CSM, and held every two years. The 1st symposium was held in LuoYang, China in 1999. The 2nd symposium was held in JiNan, China in 2002. The 3rd symposium was held in Xi'an, China in 2004. The 4th symposium is held in Harbin, China in 2006. The 5th symposium will be held in Hangzhou in 2008. We hope this symposium will further promote the development of instrumentation science and technology and get us all together to create a bright future. Professor Dr Tan Jiubin
Third International Symposium on Space Mission Operations and Ground Data Systems, part 1
NASA Technical Reports Server (NTRS)
Rash, James L. (Editor)
1994-01-01
Under the theme of 'Opportunities in Ground Data Systems for High Efficiency Operations of Space Missions,' the SpaceOps '94 symposium included presentations of more than 150 technical papers spanning five topic areas: Mission Management, Operations, Data Management, System Development, and Systems Engineering. The papers focus on improvements in the efficiency, effectiveness, productivity, and quality of data acquisition, ground systems, and mission operations. New technology, techniques, methods, and human systems are discussed. Accomplishments are also reported in the application of information systems to improve data retrieval, reporting, and archiving; the management of human factors; the use of telescience and teleoperations; and the design and implementation of logistics support for mission operations.
FIFTH NHEERL SYMPOSIUM FLYER -- INDICATORS IN HEALTH AND ECOLOGICAL RISK ASSESSMENT
Announcement for NHEERL Fifth Symposium - Indicators in Health and Ecological Risk Assessment. The purpose of the symposium is to address assessment of risk to public health or environmental resources which requires competent characterization of stressors and corresponding effec...
FIFTH NHEERL SYMPOSIUM POSTER -- INDICATORS IN HEALTH AND ECOLOGICAL RISK ASSESSMENT
Poster for announcing NHEERL Fifth Symposium - Indicators in Health and Ecological Risk Assessment. The purpose of the symposium is to address assessment of risk to public health or environmental resources which requires competent characterization of stressors and corresponding ...
78 FR 20664 - 2013 Medical Countermeasures Initiative Regulatory Science Symposium
Federal Register 2010, 2011, 2012, 2013, 2014
2013-04-05
... DEPARTMENT OF HEALTH AND HUMAN SERVICES Food and Drug Administration [Docket No. FDA-2013-N-0001] 2013 Medical Countermeasures Initiative Regulatory Science Symposium AGENCY: Food and Drug... following meeting: 2013 Medical Countermeasures initiative (MCMi) Regulatory Science Symposium. The...
First Annual Symposium. Volume 1: Plenary Session
NASA Technical Reports Server (NTRS)
1989-01-01
Presentations from the symposium are presented. The progress of the Center for Space Construction is reviewed to promote technology transfer from the University of Colorado at Boulder to the national aerospace community. This symposium was heavily weighted toward plans and methodology.
Multidisciplinary Perspectives on Musicality: The Seashore Symposium.
ERIC Educational Resources Information Center
Coffman, Don D.
1999-01-01
Contains the published proceedings of "Multidisciplinary Perspectives on Musicality: The Seashore Symposium," held at the University of Iowa on October 16-18, 1997. Provides an overview of the symposium, identifying speakers' contributions to particular themes, and includes abstracts from 35 speakers. (CMK)
First International Symposium on Strain Gauge Balances. Pt. 1
NASA Technical Reports Server (NTRS)
Tripp, John S. (Editor); Tcheng, Ping (Editor)
1999-01-01
The first International Symposium on Strain Gauge Balances was sponsored and held at NASA Langley Research Center during October 22-25, 1996. The symposium provided an open international forum for presentation, discussion, and exchange of technical information among wind tunnel test technique specialists and strain gauge balance designers. The Symposium also served to initiate organized professional activities among the participating and relevant international technical communities. Over 130 delegates from 15 countries were in attendance. The program opened with a panel discussion, followed by technical paper sessions, and guided tours of the National Transonic Facility (NTF) wind tunnel, a local commercial balance fabrication facility, and the LaRC balance calibration laboratory. The opening panel discussion addressed "Future Trends in Balance Development and Applications." Forty-six technical papers were presented in 11 technical sessions covering the following areas: calibration, automatic calibration, data reduction, facility reports, design, accuracy and uncertainty analysis, strain gauges, instrumentation, balance design, thermal effects, finite element analysis, applications, and special balances. At the conclusion of the Symposium, a steering committee representing most of the nations and several U.S. organizations attending the Symposium was established to initiate planning for a second international balance symposium, to be held in 1999 in the UK.
First International Symposium on Strain Gauge Balances. Part 2
NASA Technical Reports Server (NTRS)
Tripp, John S (Editor); Tcheng, Ping (Editor)
1999-01-01
The first International Symposium on Strain Gauge Balances was sponsored and held at NASA Langley Research Center during October 22-25, 1996. The symposium provided an open international forum for presentation, discussion, and exchange of technical information among wind tunnel test technique specialists and strain gauge balance designers. The Symposium also served to initiate organized professional activities among the participating and relevant international technical communities. Over 130 delegates from 15 countries were in attendance. The program opened with a panel discussion, followed by technical paper sessions, and guided tours of the National Transonic Facility (NTF) wind tunnel, a local commercial balance fabrication facility, and the LaRC balance calibration laboratory. The opening panel discussion addressed "Future Trends in Balance Development and Applications." Forty-six technical papers were presented in 11 technical sessions covering the following areas: calibration, automatic calibration, data reduction, facility reports, design, accuracy and uncertainty analysis, strain gauges, instrumentation, balance design, thermal effects, finite element analysis, applications, and special balances. At the conclusion of the Symposium, a steering committee representing most of the nations and several U.S. organizations attending the Symposium was established to initiate planning for a second international balance symposium, to be held in 1999 in the UK.
Applying formal methods and object-oriented analysis to existing flight software
NASA Technical Reports Server (NTRS)
Cheng, Betty H. C.; Auernheimer, Brent
1993-01-01
Correctness is paramount for safety-critical software control systems. Critical software failures in medical radiation treatment, communications, and defense are familiar to the public. The significant quantity of software malfunctions regularly reported to the software engineering community, the laws concerning liability, and a recent NRC Aeronautics and Space Engineering Board report additionally motivate the use of error-reducing and defect detection software development techniques. The benefits of formal methods in requirements driven software development ('forward engineering') is well documented. One advantage of rigorously engineering software is that formal notations are precise, verifiable, and facilitate automated processing. This paper describes the application of formal methods to reverse engineering, where formal specifications are developed for a portion of the shuttle on-orbit digital autopilot (DAP). Three objectives of the project were to: demonstrate the use of formal methods on a shuttle application, facilitate the incorporation and validation of new requirements for the system, and verify the safety-critical properties to be exhibited by the software.
Two-Step Formal Advertisement: An Examination.
1976-10-01
The purpose of this report is to examine the potential application of the Two-Step Formal Advertisement method of procurement. Emphasis is placed on...Step formal advertising is a method of procurement designed to take advantage of negotiation flexibility and at the same time obtain the benefits of...formal advertising . It is used where the specifications are not sufficiently definite or may be too restrictive to permit full and free competition
Pacific Symposium on Biocomputing 2002/2003/2004
DOE Office of Scientific and Technical Information (OSTI.GOV)
A.Keith Dunker
2004-10-26
Brief introduction to Pacific Symposium on Biocomputing The Pacific Symposium on Biocomputing is an international, multidisciplinary conference covering current research in the theory and the application of computational methods in problems of biological significance. Researchers from the United States, the Asian Pacific nations and around the world gather each year at PSB to exchange research results and discuss open issues in all aspects of computational biology. PSB provides a forum for work on databases, algorithms, interfaces, visualization, modeling and other computational methods, as applied to biological problems. The data-rich areas of molecular biology are emphasized. PSB is the only meetingmore » in the bioinformatics field with sessions defined dynamically each year in response to specific proposals from the participants. Sessions are organized by leaders in emerging areas to provide forums for publication and for discussion of research in biocomputing ''hot topics''. PSB therefore enables discussion of emerging methods and approaches in this rapidly changing field. PSB has been designated as one of the major meetings in this field by the recently established International Society for Computational Biology (see www.iscb.org). Papers and presentations are peer reviewed typically with 3 reviews per paper plus editorial oversight from the conference organizers. The accepted papers are published in an archival proceedings volume, which is indexed by PubMed, and electronically (see http://psb.stanford.edu/). Finally, given the tight schedule from submission of papers to their publication, typically 5 to 5 1/2 months, the PSB proceedings each year represents one of the most up-to-date surveys of current trends in bioinformatics.« less
The Second Spaceborne Imaging Radar Symposium
NASA Technical Reports Server (NTRS)
1986-01-01
Summaries of the papers presented at the Second Spaceborne Imaging Radar Symposium are presented. The purpose of the symposium was to present an overwiew of recent developments in the different scientific and technological fields related to spaceborne imaging radars and to present future international plans.
Symposium on challenges and opportunities for global transportation in the 21st century. proceedings
DOT National Transportation Integrated Search
1995-10-01
This report presents the proceedings of a symposium on Challenges and Opportunities in Global Transportation in the Twenty-first Century. The symposium had three main objectives: to increase awareness and understanding of the enormous challenges faci...
Second Symposium on Water-in-Fuel Emulsions in Combustion
DOT National Transportation Integrated Search
1979-08-01
This volume contains the proceedings of the second symposium on water-in-fuel emulsions held at the DOT Transportation Systems Center September 12 and 13, 1978. This symposium, sponsored by the DOT's U.S. Coast Guard and Research and Special Programs...
Proceedings of the FAA-NASA Symposium on the Continued Airworthiness of Aircraft Structures : Part 1
DOT National Transportation Integrated Search
1997-07-01
This publication contains the fifty-two technical papers presented at the FAA-NASA Symposium on the Continued Airworthiness of Aircraft Structures. The symposium, hosted by the FAA Center of Excellence for Computational Modeling of Aircraft Structure...
Proceedings of the FAA-NASA Symposium on the Continued Airworthiness of Aircraft Structures : Part 2
DOT National Transportation Integrated Search
1997-07-01
This publication contains the fifty-two technical papers presented at the FAA-NASA Symposium on the Continued Airworthiness of Aircraft Structures. The symposium, hosted by the FAA Center of Excellence for Computational Modeling of Aircraft Structure...
PROCEEDINGS: THE 1992 GREENHOUSE GAS EMISSIONS AND MITIGATION RESEARCH SYMPOSIUM
The report documents the 1992 Greenhouse Gas Emissions and Mitigation Research Symposium held in Washington, DC, August 18-20, 1992. The symposium provided a forum for exchange of technical information on global change emissions and potential mitigation technologies. The primary ...
78 FR 10180 - Annual Computational Science Symposium; Conference
Federal Register 2010, 2011, 2012, 2013, 2014
2013-02-13
...] Annual Computational Science Symposium; Conference AGENCY: Food and Drug Administration, HHS. ACTION... Computational Science Symposium.'' The purpose of the conference is to help the broader community align and share experiences to advance computational science. At the conference, which will bring together FDA...
NASA Technical Reports Server (NTRS)
1976-01-01
A symposium dealing with career opportunities in the aerospace program for minorities was conducted and evaluated. The symposium was attended by students from eleven predominantly minority colleges and universities in and around Washington, D. C. and the eastern region, and from high schools in five jurisdictions of the Washington metropolitan area. Speakers included representatives of Howard University, NASA, and private industry. On display during the symposium was a NASA exhibit of moon rocks, space shuttles, a lunar module, command module, pacemaker, LANDSAT, and other items of interest.
Samet, Jonathan M; de González, Amy Berrington; Dauer, Lawrence T; Hatch, Maureen; Kosti, Ourania; Mettler, Fred A; Satyamitra, Merriline M
2018-01-01
This commentary summarizes the presentations and discussions from the 2016 Gilbert W. Beebe symposium "30 years after the Chernobyl accident: Current and future studies on radiation health effects." The symposium was hosted by the National Academies of Sciences, Engineering, and Medicine (the National Academies). The symposium focused on the health consequences of the Chernobyl accident, looking retrospectively at what has been learned and prospectively at potential future discoveries using emerging 21st Century research methodologies.
Formal Methods for Verification and Validation of Partial Specifications: A Case Study
NASA Technical Reports Server (NTRS)
Easterbrook, Steve; Callahan, John
1997-01-01
This paper describes our work exploring the suitability of formal specification methods for independent verification and validation (IV&V) of software specifications for large, safety critical systems. An IV&V contractor often has to perform rapid analysis on incomplete specifications, with no control over how those specifications are represented. Lightweight formal methods show significant promise in this context, as they offer a way of uncovering major errors, without the burden of full proofs of correctness. We describe a case study of the use of partial formal models for V&V of the requirements for Fault Detection Isolation and Recovery on the space station. We conclude that the insights gained from formalizing a specification are valuable, and it is the process of formalization, rather than the end product that is important. It was only necessary to build enough of the formal model to test the properties in which we were interested. Maintenance of fidelity between multiple representations of the same requirements (as they evolve) is still a problem, and deserves further study.
Advanced Colloids Experiment (ACE-T1)
NASA Technical Reports Server (NTRS)
Meyer, William V.; Sicker, Ron; Brown, Dan; Eustace, John
2015-01-01
Increment 45 - 46 Science Symposium presentation of Advanced Colloids Experiment (ACE-T1) to RPO. The purpose of this event is for Principal Investigators to present their science objectives, testing approach, and measurement methods to agency scientists, managers, and other investigators.
ERIC Educational Resources Information Center
Chokotho, N. C.; Leisten, J. A.
1981-01-01
Suggests a method for students to engage in research projects and orally present results in class. The basic idea is to have students work on individual projects around a central theme. Describes 20 projects centered around the halogenation of ketones. (Author/JN)
Advanced Colloids Experiment (ACE-H-2)
NASA Technical Reports Server (NTRS)
Meyer, William V.; Sicker, Ron; Chmiel, Alan J.; Eustace, John; LaBarbera, Melissa
2015-01-01
Increment 43 - 44 Science Symposium presentation of Advanced Colloids Experiment (ACE-H-2) to RPO. The purpose of this event is for Principal Investigators to present their science objectives, testing approach, and measurement methods to agency scientists, managers, and other investigators.
NASA Technical Reports Server (NTRS)
Stein, B. A. (Compiler); Buckley, J. D. (Compiler)
1972-01-01
Various technological processes to achieve lightweight reliable joining systems for structural elements of aircraft and spacecraft are considered. Joining methods, combinations of them, and nondestructive evaluation and quality assurance are emphasized.
Formal hardware verification of digital circuits
NASA Technical Reports Server (NTRS)
Joyce, J.; Seger, C.-J.
1991-01-01
The use of formal methods to verify the correctness of digital circuits is less constrained by the growing complexity of digital circuits than conventional methods based on exhaustive simulation. This paper briefly outlines three main approaches to formal hardware verification: symbolic simulation, state machine analysis, and theorem-proving.
NASA Technical Reports Server (NTRS)
Boyer, Don
2002-01-01
This is to report on the use of the funds provided by NASA to support the 'Third International Symposium on Environmental Hydraulics with a Special Theme on Urban Fluid Dynamics'. The Symposium was held on the campus of Arizona State University in Tempe, Arizona, USA, from 5-8 December 2001. It proved to be a forum for the discussion of a wide range of applied and basic research being conducted in the general areas of water and air resources, with the latter focusing on air quality in urban areas associated with complex terrain. This aspect of the Symposium was highlighted by twelve invited papers given by distinguished international scientists and roughly three hundred contributed manuscripts. Owing primarily to the current international situation, roughly 20% of the authors canceled their plans to attend the Symposium; while this was unfortunate, the Symposium went ahead with the enthusiastic participation of more than 250 scientists from forty nations.
Toward human organ printing: Charleston Bioprinting Symposium.
Mironov, Vladimir
2006-01-01
The First Annual Charleston Bioprinting Symposium was organized by the Bioprinting Research Center of the Medical University of South Carolina (MUSC) and convened July 21, 2006, in Charleston, South Carolina. In broad terms, bioprinting is the application of rapid prototyping technology to the biomedical field. More specifically, it is defined as the layer by layer deposition of biologically relevant material. The 2006 Symposium included four sessions: Computer-aided design and Bioprinting, Bioprinting Technologies; Hydrogel for Bioprinting and, finally, a special session devoted to ongoing research projects at the MUSC Bioprinting Research Center. The Symposium highlight was the presentation of the multidisciplinary Charleston Bioengineered Kidney Project. This symposium demonstrated that bioprinting or robotic biofabrication is one of the most exciting and fast-emerging branches in the tissue engineering field. Robotic biofabrication will eventually lead to industrial production of living human organs suitable for clinical transplantation. The symposium demonstrated that although there are still many technological challenges, organ printing is a rapidly evolving feasible technology.
NASA Astrophysics Data System (ADS)
Bhattacharjee, Amitava
2012-01-01
To celebrate Professor Robert Dewar's 65th birthday, a Symposium was held on 31 October 2009 in Atlanta, Georgia, just before the 51st Annual Meeting of the Division of Plasma Physics of the American Physical Society. The Symposium was attended by many of Bob's colleagues, friends, postdoctoral colleagues and students (present and former). Boyd Blackwell, Anthony Cooper, Chris Hegna, Stuart Hudson, John Krommes, Alexander Pletzer, Ellen Zweibel, and I gave talks that covered various aspects of Bob's wide-ranging scholarship, and his leadership in the Australian and the US fusion program. At the Symposium, Bob gave an insightful talk, published in this issue as a paper with D Leykam. This paper makes available for the first time unpublished results from Bob's M Sc Thesis on a general method for calculating the potential around a `dressed' test particle in an isotropic and collisionless plasma. The paper is interesting not only because it provides a glimpse of the type of elegant applied mathematics that we have come to associate with Bob, but also because he discusses some leitmotifs in his intellectual evolution since the time he was a graduate student at the University of Melbourne and Princeton University. Through his early encounter with quantum field theory, Bob appreciated the power of Lagrangian and Hamiltonian formalisms, which he used with great effectiveness in nonlinear dynamics and plasma physics. A question that animates much of his work is one that underlies the `dressed' particle problem: if one is given a Hamiltonian with an unperturbed (or `bare') part and an interaction part, how is one to obtain a canonical transformation to `the oscillation centre' thatwould reduce the interaction part to an irreducible residual part while incorporating the rest in a renormalized zeroth-order Hamiltonian? One summer in Princeton, I worked with Bob on a possible variational formulation for this problem, and failed. I was daunted enough by my failure that I turned to MHD relaxation theory for my PhD thesis under Bob's supervision. It was a good decision because Bob showed me how beautiful MHD theory can be, but he did not himself give up the problem of formulating optimal oscillation-centre transformations. He has a singular ability to hold difficult problems like this in in his mind for many years until they crack open (or even if they do not!), a trait that many of us find altogether admirable. The impact of such thinking on plasma turbulence theory over the last four decades is described in the article by John Krommes in this issue. Stuart Hudson's article touches on some of the same themes in the pursuit of fully three-dimensional relaxed states in toroidal stellarators. Zensho Yoshida has contributed an interesting article on the interplay of Lagrangian and Eulerian representations of collective motions in a fluid, a theme that appears in Bob's work in several contexts. Underlying much of Bob's work on Hamiltonian systems is his deep knowledge and appreciation of Lie perturbation theory, and the article by Steven Richardson and John Finn, which discusses an example of symplectic integrators and their numerical implementation, reflects that interest. It is impossible to do justice to all of Bob's contributions to theoretical plasma physics in this short section. Bob's WKB theory of ballooning modes in three-dimensional toroidal systems (with Alan Glasser) is a classic paper that was in some ways years ahead of its time, especially in its exploration of the deep connections between KAM theory and the nature of the spectrum. In later work, he developed these ideas further by establishing connections with the phenomenon of Anderson localization in condensed matter physics. His papers on the subject of ballooning modes are gems of the plasma physics literature, and are unsurpassed in their mathematical elegance, insight, and their development of broad connections with other fields of theoretical physics. Some of this was covered in the talks at the Symposium. The paper by David Barmaz and coworkers published in this issue discusses the problem diamagnetic stabilization of ballooning instabilities in stellarators. It is not surprising that Bob's work on ballooning modes shows an accomplished master of WKB theory at work, for it is the culmination of a process that began many years earlier. His involvement in applications of WKB theory to problems involving instability and turbulence began in 1970, when he was a graduate student. At this time he wrote a very influential paper, discussed at the Symposium, on the interaction between hydromagnetic waves and a timedependent inhomogeneous medium. This paper is widely cited, especially in the astrophysical and space plasma literature, for it gives a rigorous method of evaluating the effects of lowfrequency hydromagnetic fluctuations on a slowly varying background medium. The method has found use in problems as diverse as the self-sustainment of molecular clouds, the heating and acceleration of the solar wind, and the effect of cosmic rays on the interplanetary medium. Attentive readers will note that Bob has been drafted as a co-author and participant in about half of the publications in this issue. This is a reflection of Bob's continued and tireless involvement in a wide spectrum of research problems that have their genesis in his fundamental contributions to plasma physics, as well as the eagerness with which we all welcome his involvement in our own projects. We hope to have this continue for many years to come.
EMRS Spring Meeting 2014 Symposium D: Phonons and fluctuations in low dimensional structures
NASA Astrophysics Data System (ADS)
2014-11-01
The E-MRS 2014 Spring meeting, held from 26-30th May 2014 in Lille included the Symposium D entitled ''Phonons and Fluctuations in Low Dimensional Structures'', the first edition of its kind. The symposium was organised in response to the increasing interest in the study of phonons in the context of advances in condensed matter physics, electronics, experimental methods and theory and, in particular, the transfer of energy across atomic interfaces and the propagation of energy in the nm-scale. Steering heat by light or vice versa and examining nano-scale energy conversion (as in thermoelectricity and harvesting e.g. in biological systems) are two aspects that share the underlying science of energy processes across atomic interfaces and energy propagation in the nanoscale and or in confined systems. The nanometer scale defies several of the bulk relationships as confinement of electrons and phonons, locality and non-equilibrium become increasingly important. The propagation of phonons as energy carriers impacts not only heat transfer, but also the very concept and handling of temperature in non-equilibrium and highly localised conditions. Much of the needed progress depends on the materials studied and this symposium targeted the interface material aspects as well as the emerging concepts to advance in this field. The symposium had its origins in a series of meetings and seminars including: (1) the first Phonon Engineering Workshop, funded by Catalan Institute for Research and Advanced Studies (ICREA), the then MICINN, the CNRS, VTT, and several EU projects, held in Saint Feliu de Guixols (Girona, Spain) from 24th to 27th of May 2010 with 65 participants from Europe, the USA and Japan; (2) the first Phonons and Fluctuations workshop, held in Paris on 8th and 9th November 2010, supported by French, Spanish and Finnish national projects and EU projects, attended by about 50 researchers; (3) the second Phonon and Fluctuations workshop, held in Paris on 8th and 9th September 2011, attended by 55 researchers and (4) the 3rd Workshop on Phonons & Fluctuations, held in Saint Feliux de Guixols (Girona, Spain) during 21 to 24th May 2012 attended by 65 participants from Europe and the USA. These papers in this proceeding are examples of the work presented at the symposium. They represent the tip of the iceberg, as the symposium attracted over 100 abstracts. The meeting room was usually full with an audience varying between 40 and 100 participants. The plenary presentation was given by Prof. Gang Chen (MIT) on ''Ballistic and Coherent Phonon Heat Conduction in Bulk Materials and Nanostructures'', which was warmly welcome by an eager and highly motivated audience. The invited speakers were: Prof. Thomas Dehoux (U. Bordeaux), Dr S. Chung (U. New South Wales, Australia), Prof. A. Goni (CSIC-ICMAB), Prof. Giuliano Benenti (U. Insubria), Dr. Davide Donadio (Max Planck Institute for Polymer Research, Mainz), Prof. George Fytas (University of Crete), Prof. Dr. Tobias Kippenberg (EPFL, Switzerland), Prof. Bernard Perrin (INSP, Paris), Prof. Gyaneshwar P. Srivastava, U. Exeter) and Prof. Dr. Achim Kittel (U. Oldenburg). The organisers are very grateful to them for supporting the symposium and sharing their latest research results with the symposium participants. The symposium organisers recognised the participation of students and awarded prizes to the two Best Student Presentations, which went to Valeria Lacatena (IEMN, Lille) with an invited presentation entitled ''Efficient reduction of thermal conductivity in silicon using phononic-engineered membranes'' and to Yan Qing Liu (Institute Neel, Grenoble) who presented the talk entitled ''Sensitive 3-omega measurements of epitaxial thermoelectric thin films''. The poster session had about fifty posters and the four best poster prizes went to: Konstanze Hahn et al. (U. Cagliari) poster title ''Determination of Thermal conductivity in (nanostructured) SiGe materials'', Florian Doehring et al. (U. Goettingen) poster title ''Phonon blocking in Multilayers produced by Pulsed Laser Deposition'', Jordi Gomis-Bresco et al. (ICN2) poster '' A 1D PhoXonic Crystal'', Barcelona and Benjamin J Robinson et al. (U. Lancaster) poster ''Scanning Thermal microscopy studies of 2D materials''. The symposium organisers are grateful to the Scientific Committee members, Prof. Bahram Djafari-Rouhani (France), Prof. Dr. Thomas Dekorsy (Germany), Prof. Anthony Kent (UK), Prof. Fabio Marchesoni (Italy), Dr. Natalio Mingo (France), Prof. Pascal Ruello, (France) and Prof. Javier Viejo-Rodriguez (Spain), for their help with all aspects of evaluation of the scientific level of the presentations in the symposium. The symposium was sponsored by the FP7 ICT FET Open Coordination Action EUPHONON (GA. 612086) and by the CNRS GDR ''Thermal Nanosciences and NanoEngineering''. The symposium organisers express their sincere thanks to the staff of the E-MRS for continuous support and timely advice in all organisational aspects. We are indebted to Dr. Erwan Guillotel (ICN2) for his assistance with the organisation of the symposium.
Changing the Global Health Care Landscape—Proceedings of a “Glocal” Symposium*
Porcino, Antony Joseph; Candidate, PhD; Hollenberg, Daniel; Graff, Tom; Hymel, Glenn M.
2011-01-01
Background This glocal (global knowledge with local action) symposium was convened by a professional therapeutic massage bodywork professional organization to bring together the fields of economics, politics, and traditional and complementary and alternative medicine (TCAM) to begin development of effective TCAM advocacy worldwide. The symposium addressed the core question, “What information will be needed to address issues that will arise as TCAM practitioners advocate for a respectful and equalfooting access to health care provision, public and private, worldwide?” Participants and Setting The 35 international participants convened in a Victoria, Canada hotel. They were selectively invited to provide expertise in: advocacy, politics, public policy, economics, TCAM practice, integrative practice, sociology and TCAM research, education, media and language framing, psychology, and mediation. Methods The two-day symposium used a facilitated dialogue and knowledge-sharing design process geared to achieving group-supported recommendations. Invited panelists discussed each agenda topic, followed by facilitated discussion with the entire group. Results In general, participants agreed that advocacy from a TCAM perspective is needed. Additionally, more research should use methods with more relevance to everyday health care provision and health care costs such as effectiveness comparative trials and cost effectiveness studies. A number of specific advocacy steps were recommended. Most focused on developing local support for better access and equity regarding TCAM within local health care systems and advocacy work, which needs to both understand and engage the local TCAM practitioners and those using the TCAM services. Conclusions The increasing awareness of TCAM and advancement toward integrative medicine—including traditional medicines and perspectives—are themes currently in development worldwide. Now is a good time for TCAM practitioners to open dialogue to develop better partnerships in health care. Such dialogue is facilitated when diverse people at the health care table understand each other’s perspectives. More discussions like this, with diverse people across more disciplines, need to occur worldwide. PMID:22211154
GLOBAL CHANGE RESEARCH NEWS #18: SYMPOSIUM SESSION ON "GLOBAL ATMOSPHERIC CHANGE"
A session on "Understanding and Managing Effects of Global Atmospheric Change" will be held at the Fifth Symposium of the U.S. EPA National Health and Environmental Effects Research Laboratory. The Symposium topic is "Indicators in Health and Ecological Risk Assessment." The s...
PROCEEDINGS: THE 1995 SYMPOSIUM ON GREENHOUSE GAS EMISSIONS AND MITIGATION RESEARCH
The report documents the 1995 Symposium on Greenhouse Gas Emissions and Mitigation Research, sponsored by the U.S. Environmental Protection Agency's Air Pollution Prevention and Control Division (EPA/APPCD), in Washington, DC on June 27-29, 1995. The symposium provided a forum of...
Workforce Diversity. Symposium 14. [Concurrent Symposium Session at AHRD Annual Conference, 2000.
ERIC Educational Resources Information Center
2000
Three presentations are provided from Symposium 14, Workforce Diversity, of the Academy of Human Resource Development (HRD) 2000 Conference Proceedings. "Cross-Organizational vs. Localized Participation: A Case Study on Workplace Diversity Dialogues Implementation" (Martin B. Kormanik, Daniel A. Krieger, Timothy E. Tilghman) compares…
STATIONARY COMBUSTION NOX CONTROL: A SUMMARY OF THE 1991 SYMPOSIUM
The 1991 Symposium on Stationary Combustion NOX Control was held March 25-28,1991 in Washington, DC. The sixth meeting in a biennial series, the Symposium was cosponsored by the Electric Power Research Institute (EPRI) and the U.S. Environmental Protection Agency (EPA). Approxima...
Persuasive Writing and the Student-Run Symposium
ERIC Educational Resources Information Center
Mayer, James C.
2007-01-01
High school teacher James C. Mayer explains how a student-run symposium can promote "risk-taking and participation" and help students practice effective persuasion skills before demonstrating them in writing. The symposium places students in roles that encourage responsibility and ownership for discussion and learning, shifting the classroom…
Productivity and Employment: The 1988 International Symposium.
ERIC Educational Resources Information Center
Brand, Horst
1988-01-01
The author summarizes the International Productivity Symposium, "Productivity and Employment," held in Washington, D.C., in April 1988. This symposium dealt with such topics as (1) preparing for a changing economy, (2) employment effects of productivity growth, (3) worker participation in decisions about work processes and organization,…
Management Development. Symposium 15. [Concurrent Symposium Session at AHRD Annual Conference, 2000.
ERIC Educational Resources Information Center
2000
Three presentations are provided from Symposium 15, Management Development, of the Academy of Human Resource Development (HRD) 2000 Conference Proceedings. "Conceptualizing Global Leadership from Multiple Perspectives: An Analysis of Behavioral Ratings" (Allan H. Church) examines the underlying nature of global leadership behavior using…
Verifying Hybrid Systems Modeled as Timed Automata: A Case Study
1997-03-01
Introduction Researchers have proposed many innovative formal methods for developing real - time systems [9]. Such methods can give system developers and...customers greater con dence that real - time systems satisfy their requirements, especially their crit- ical requirements. However, applying formal methods...specifying and reasoning about real - time systems that is designed to address these challenging problems. Our approach is to build formal reasoning tools
Formal functional test designs with a test representation language
NASA Technical Reports Server (NTRS)
Hops, J. M.
1993-01-01
The application of the category-partition method to the test design phase of hardware, software, or system test development is discussed. The method provides a formal framework for reducing the total number of possible test cases to a minimum logical subset for effective testing. An automatic tool and a formal language were developed to implement the method and produce the specification of test cases.
Symposium Abstract: Exposure science has evolved from a time when the primary focus was on measurements of environmental and biological media and the development of enabling field and laboratory methods. The Total Exposure Assessment Method (TEAM) studies of the 1980s were class...
Advanced Colloids Experiment (Microscopy) - ACE-M2R
NASA Technical Reports Server (NTRS)
Weitz, David; Meyer, William V.; Sicker, Ronald J.; Bailey, Kelly Ann; Eustace, John G.
2017-01-01
Increment 53 - 54 Science Symposium presentation of Advanced Colloids Experiment (ACE-H-2) to RPO. The purpose of this event is for Principal Investigators to present their science objectives, testing approach, and measurement methods to agency scientists, managers, and other investigators.
Advanced Colloids Experiment (Temperature Controlled) - ACE-T9
NASA Technical Reports Server (NTRS)
Marr, David W. M.; Meyer, William V.; Sicker, Ronald; Bailey, Kelly; Eustace, John G.
2017-01-01
Increment 53 - 54 Science Symposium presentation of Advanced Colloids Experiment (ACE-T9) to RPO. The purpose of this event is for Principal Investigators to present their science objectives, testing approach, and measurement methods to agency scientists, managers, and other investigators.
Advanced Colloids Experiment (Temperature Controlled) - ACE-T6
NASA Technical Reports Server (NTRS)
Meyer, William V.; Sicker, Ron; Bailey, Kelly; Eustace, John; Abbott-Hearn, Amber; Lynch, Matthew
2016-01-01
Increment 51 - 52 Science Symposium presentation of Advanced Colloids Experiment (ACE-T6) to RPO. The purpose of this event is for Principal Investigators to present their science objectives, testing approach, and measurement methods to agency scientists, managers, and other investigators.
Advanced Colloids Experiment (Temperature Controlled) - ACE-T6
NASA Technical Reports Server (NTRS)
Meyer, William V.; Sicker, Ronald J.; Bailey, Kelly; Eustace, John; Lynch, Matthew
2017-01-01
Increment 53 - 54 Science Symposium presentation of Advanced Colloids Experiment (ACE-T6) to RPO. The purpose of this event is for Principal Investigators to present their science objectives, testing approach, and measurement methods to agency scientists, managers, and other investigators.
USDA-ARS?s Scientific Manuscript database
The 2011 Pennington Biomedical Research Center's Scientific Symposium focused on adiposity in children and adolescents. The symposium was attended by 15 speakers and other invited experts. The specific objectives of the symposium were to (i) integrate the latest published and unpublished findings on...
Proceedings of the National Gaming Council's Eleventh Annual Symposium.
ERIC Educational Resources Information Center
Kidder, Steven J.; Nafziger, Alyce W., Comp.
The Academic Games program (which aims at developing and testing simulation games for the schools) of the Center for Social Organization of Schools has sponsored this report of the proceedings of the National Gaming Council's Eleventh Annual Symposium. Sessions of the symposium considered simulations and games in education, management,…
ERIC Educational Resources Information Center
Dittrich, William J., Ed.; Trappe, James M., Ed.
Proceedings of a symposium held at the Northwest Scientific Association Forty-Third Annual Meeting, Salem, Oregon, March, 1970, are presented. The symposium indicated that mutual understanding by educators, scientists, land managers, and politicians must be developed on the definition of naturalness, present and future use and management of…
The Teratology Society Public Affairs Committee Symposium was held on June 21, 1998, during the Society's annual meeting in San Diego, California. The symposium was organized and chaired by Dr. Carole Kimmel. The sysmposium was designed to consider the medical, social, and ethi...
Studies on Academics and Modes of Inquiry.
ERIC Educational Resources Information Center
Blackburn, Robert T., Ed.
Six papers are presented from an American Educational Research Association symposium. The symposium explored the kind of research needed for increasing understanding of college and university faculty and examined the manner in which different scholarly techniques can contribute. The symposium objective was to open for discussion four modes for…
The proceedings document presentations from the seventh symposium on the transfer and utilization of particulate control technology, March 22-25, 1988, in Nashville, TN. Objectives of the symposium were to encourage the exchange of new knowledge in the particulate control field b...
The 1992 USEPA/AWMA International Symposium Measurement of Toxic and Related Air Pollutants was held in Durham, NC on May 4-9, 1992. his yearly symposium is sponsored by the Atmospheric Research and Exposure Assessment Laboratory and the Air & Waste Management Association. he tec...
Lillie Martin in Gottingen. Lillie Martin, Outstanding Scholar and Teacher: A Centennial Symposium.
ERIC Educational Resources Information Center
Adler, Helmut E.
This article reports on a symposium commemorating Lillien Martin's dissertation, "Analysis of Difference Sensations," by published in 1899. The symposium marked the centenary celebration in acknowledgement of Martin's pioneer efforts for women in the field of psychology. Psychophysics was concerned with the quantitative assessment of…
ERIC Educational Resources Information Center
California State Dept. of Employment Development, Sacramento.
These proceedings of an older workers symposium include the following presentations and workshop summaries: "Symposium Opening--Agency Welcome" (Dean Hewitt et al.); "Report on Job Training Initiatives of the Wilson Administration" (Thomas Nagle); "Older Worker Issues Update" (Dean Hewitt); "Summary of Report on…
Symposium III Proceedings (Muncie, Indiana, October 23, 1981).
ERIC Educational Resources Information Center
Wright, Thomas, Ed.
Symposium III, a continuation of a series of meetings, was designed for exchanging ideas and structures for contemporary industrial arts curriculum development. The meeting provided practical classroom-oriented suggestions for teaching industry/technology-based industrial arts. The design of the symposium provided a keynote address, which gave a…
Physiology and Endocrinology Symposium. Factors controlling puberty in beef heifers
USDA-ARS?s Scientific Manuscript database
The Physiology and Endocrinology Symposium on “Factors controlling puberty in beef heifers” was held at the joint annual meeting of the American Dairy Science Association and the American Society of Animal Science in New Orleans, Louisiana, USA, July 10 to 14, 2011. The objective of the symposium w...
Fermilab | Tevatron | Tevatron Symposium | Agenda
Book Newsroom Newsroom News and features Press releases Photo gallery Fact sheets and brochures Media media Video of shutdown event Guest book Tevatron Impact June 11, 2012 About the symposium Symposium Security, Privacy, Legal Use of Cookies Quick Links Home Contact Phone Book Fermilab at Work For Industry
Fermilab | Tevatron | Tevatron Symposium
Book Newsroom Newsroom News and features Press releases Photo gallery Fact sheets and brochures Media media Video of shutdown event Guest book Tevatron Impact June 11, 2012 About the symposium Symposium Energy Office of Science Security, Privacy, Legal Use of Cookies Quick Links Home Contact Phone Book
A Symposium on Career Information Systems: Issues for Reactions.
ERIC Educational Resources Information Center
Smith, Gerald C.; And Others
The document consists of three symposium addresses, pertaining to the provision and use of career information systems. Gerald C. Smith, Department of Labor, opened the symposium with an address on "Occupational Information systems: Uses, Developments, and Issues", which focused on career information systems currently being developed by the…
Knowledge Management. Symposium 36. [Concurrent Symposium Session at AHRD Annual Conference, 2000.
ERIC Educational Resources Information Center
2000
Three presentations are provided from Symposium 36, Knowledge Management, of the Academy of Human Resource Development (HRD) 2000 Conference Proceedings. "Corporate Knowledge Management and New Challenges for HRD" (Hunseok Oh) identifies new challenges for HRD: training and developing knowledge workers, developing managers and team…
Federal Register 2010, 2011, 2012, 2013, 2014
2013-09-18
... DEPARTMENT OF HOMELAND SECURITY U.S. Customs and Border Protection U.S. Customs and Border Protection 2013 East Coast Trade Symposium: ``Increasing Economic Competitiveness Through Global Partnership..., 2013. The theme for the 2013 East Coast Trade Symposium will be ``Increasing Economic Competitiveness...
Photonics applications and web engineering: WILGA Summer 2016
NASA Astrophysics Data System (ADS)
Romaniuk, Ryszard S.
2016-09-01
Wilga Summer 2016 Symposium on Photonics Applications and Web Engineering was held on 29 May - 06 June. The Symposium gathered over 350 participants, mainly young researchers active in optics, optoelectronics, photonics, electronics technologies and applications. There were presented around 300 presentations in a few main topical tracks including: bio-photonics, optical sensory networks, photonics-electronics-mechatronics co-design and integration, large functional system design and maintenance, Internet of Thins, and other. The paper is an introduction the 2016 WILGA Summer Symposium Proceedings, and digests some of the Symposium chosen key presentations.
Photonics applications and web engineering: WILGA Summer 2015
NASA Astrophysics Data System (ADS)
Romaniuk, Ryszard S.
2015-09-01
Wilga Summer 2015 Symposium on Photonics Applications and Web Engineering was held on 23-31 May. The Symposium gathered over 350 participants, mainly young researchers active in optics, optoelectronics, photonics, electronics technologies and applications. There were presented around 300 presentations in a few main topical tracks including: bio-photonics, optical sensory networks, photonics-electronics-mechatronics co-design and integration, large functional system design and maintenance, Internet of Thins, and other. The paper is an introduction the 2015 WILGA Summer Symposium Proceedings, and digests some of the Symposium chosen key presentations.
NASA Technical Reports Server (NTRS)
Allen, H., Jr.
1983-01-01
The symposium included personal appearances by NASA astronauts, NASA exhibits, aerospace science lecture demonstrations (Spacemobile Lectures), and talks on job opportunities in aerospace and on the benefits of the Space Program. The program was directed mainly at (public, parochial and private) student groups, each of which spent three hours at the symposium site, Wayne State University campus, to participate in the symposium activities. The symposium was open to the general public and consisted of the NASA exhibits, aerospace science lecture demonstrations, films, talks on the benefits of the space program, and a special tasting demonstration of ""space food'' meal systems.
Time series of the northeast Pacific
NASA Astrophysics Data System (ADS)
Peña, M. Angelica; Bograd, Steven J.
2007-10-01
In July 2006, the North Pacific Marine Science Organization (PICES) and Fisheries & Oceans Canada sponsored the symposium “Time Series of the Northeast Pacific: A symposium to mark the 50th anniversary of Line P”. The symposium, which celebrated 50 years of oceanography along Line P and at Ocean Station Papa (OSP), explored the scientific value of the Line P and other long oceanographic time series of the northeast Pacific (NEP). Overviews of the principal NEP time-series were presented, which facilitated regional comparisons and promoted interaction and exchange of information among investigators working in the NEP. More than 80 scientists from 8 countries attended the symposium. This introductory essay is a brief overview of the symposium and the 10 papers that were selected for this special issue of Progress in Oceanography.
Exobiology in Solar System Exploration
NASA Technical Reports Server (NTRS)
Carle, Glenn C. (Editor); Schwartz, Deborah E. (Editor); Huntington, Judith L. (Editor)
1992-01-01
A symposium, 'Exobiology in Solar System Exploration,' was held on 24-26 Aug. 1988. The symposium provided an in-depth investigation of the role of Exobiology in solar system exploration. It is expected that the symposium will provide direction for future participation of the Exobiology community in solar system exploration and alert the Planetary community to the continued importance of an Exobiology Flight Program. Although the focus of the symposium was primarily on Exobiology in solar system exploration missions, several ground based and Earth-orbital projects such as the Search for Extraterrestrial Intelligence, Gas Grain Facility, and Cosmic Dust Collection Facility represent upcoming research opportunities planned to accommodate the goals and objectives of the Exobiology community as well. This report contains papers for all but one of the presentations given at the symposium.
Experiences applying Formal Approaches in the Development of Swarm-Based Space Exploration Systems
NASA Technical Reports Server (NTRS)
Rouff, Christopher A.; Hinchey, Michael G.; Truszkowski, Walter F.; Rash, James L.
2006-01-01
NASA is researching advanced technologies for future exploration missions using intelligent swarms of robotic vehicles. One of these missions is the Autonomous Nan0 Technology Swarm (ANTS) mission that will explore the asteroid belt using 1,000 cooperative autonomous spacecraft. The emergent properties of intelligent swarms make it a potentially powerful concept, but at the same time more difficult to design and ensure that the proper behaviors will emerge. NASA is investigating formal methods and techniques for verification of such missions. The advantage of using formal methods is the ability to mathematically verify the behavior of a swarm, emergent or otherwise. Using the ANTS mission as a case study, we have evaluated multiple formal methods to determine their effectiveness in modeling and ensuring desired swarm behavior. This paper discusses the results of this evaluation and proposes an integrated formal method for ensuring correct behavior of future NASA intelligent swarms.
NASA Technical Reports Server (NTRS)
Jamsek, Damir A.
1993-01-01
A brief example of the use of formal methods techniques in the specification of a software system is presented. The report is part of a larger effort targeted at defining a formal methods pilot project for NASA. One possible application domain that may be used to demonstrate the effective use of formal methods techniques within the NASA environment is presented. It is not intended to provide a tutorial on either formal methods techniques or the application being addressed. It should, however, provide an indication that the application being considered is suitable for a formal methods by showing how such a task may be started. The particular system being addressed is the Structured File Services (SFS), which is a part of the Data Storage and Retrieval Subsystem (DSAR), which in turn is part of the Data Management System (DMS) onboard Spacestation Freedom. This is a software system that is currently under development for NASA. An informal mathematical development is presented. Section 3 contains the same development using Penelope (23), an Ada specification and verification system. The complete text of the English version Software Requirements Specification (SRS) is reproduced in Appendix A.
Using Formal Methods to Assist in the Requirements Analysis of the Space Shuttle GPS Change Request
NASA Technical Reports Server (NTRS)
DiVito, Ben L.; Roberts, Larry W.
1996-01-01
We describe a recent NASA-sponsored pilot project intended to gauge the effectiveness of using formal methods in Space Shuttle software requirements analysis. Several Change Requests (CR's) were selected as promising targets to demonstrate the utility of formal methods in this application domain. A CR to add new navigation capabilities to the Shuttle, based on Global Positioning System (GPS) technology, is the focus of this report. Carried out in parallel with the Shuttle program's conventional requirements analysis process was a limited form of analysis based on formalized requirements. Portions of the GPS CR were modeled using the language of SRI's Prototype Verification System (PVS). During the formal methods-based analysis, numerous requirements issues were discovered and submitted as official issues through the normal requirements inspection process. Shuttle analysts felt that many of these issues were uncovered earlier than would have occurred with conventional methods. We present a summary of these encouraging results and conclusions we have drawn from the pilot project.
Transonic Unsteady Aerodynamics and Aeroelasticity 1987, part 1
NASA Technical Reports Server (NTRS)
Bland, Samuel R. (Compiler)
1989-01-01
Computational fluid dynamics methods have been widely accepted for transonic aeroelastic analysis. Previously, calculations with the TSD methods were used for 2-D airfoils, but now the TSD methods are applied to the aeroelastic analysis of the complete aircraft. The Symposium papers are grouped into five subject areas, two of which are covered in this part: (1) Transonic Small Disturbance (TSD) theory for complete aircraft configurations; and (2) Full potential and Euler equation methods.
Properties of a Formal Method to Model Emergence in Swarm-Based Systems
NASA Technical Reports Server (NTRS)
Rouff, Christopher; Vanderbilt, Amy; Truszkowski, Walt; Rash, James; Hinchey, Mike
2004-01-01
Future space missions will require cooperation between multiple satellites and/or rovers. Developers are proposing intelligent autonomous swarms for these missions, but swarm-based systems are difficult or impossible to test with current techniques. This viewgraph presentation examines the use of formal methods in testing swarm-based systems. The potential usefulness of formal methods in modeling the ANTS asteroid encounter mission is also examined.
Formal Methods of V&V of Partial Specifications: An Experience Report
NASA Technical Reports Server (NTRS)
Easterbrook, Steve; Callahan, John
1997-01-01
This paper describes our work exploring the suitability of formal specification methods for independent verification and validation (IV&V) of software specifications for large, safety critical systems. An IV&V contractor often has to perform rapid analysis on incomplete specifications, with no control over how those specifications are represented. Lightweight formal methods show significant promise in this context, as they offer a way of uncovering major errors, without the burden of full proofs of correctness. We describe an experiment in the application of the method SCR. to testing for consistency properties of a partial model of requirements for Fault Detection Isolation and Recovery on the space station. We conclude that the insights gained from formalizing a specification is valuable, and it is the process of formalization, rather than the end product that is important. It was only necessary to build enough of the formal model to test the properties in which we were interested. Maintenance of fidelity between multiple representations of the same requirements (as they evolve) is still a problem, and deserves further study.
NASA Astrophysics Data System (ADS)
Nagai, Tetsuro
2017-01-01
Replica-exchange molecular dynamics (REMD) has demonstrated its efficiency by combining trajectories of a wide range of temperatures. As an extension of the method, the author formalizes the mass-manipulating replica-exchange molecular dynamics (MMREMD) method that allows for arbitrary mass scaling with respect to temperature and individual particles. The formalism enables the versatile application of mass-scaling approaches to the REMD method. The key change introduced in the novel formalism is the generalized rules for the velocity and momentum scaling after accepted replica-exchange attempts. As an application of this general formalism, the refinement of the viscosity-REMD (V-REMD) method [P. H. Nguyen,
Proceedings of the Sixth NASA Langley Formal Methods (LFM) Workshop
NASA Technical Reports Server (NTRS)
Rozier, Kristin Yvonne (Editor)
2008-01-01
Today's verification techniques are hard-pressed to scale with the ever-increasing complexity of safety critical systems. Within the field of aeronautics alone, we find the need for verification of algorithms for separation assurance, air traffic control, auto-pilot, Unmanned Aerial Vehicles (UAVs), adaptive avionics, automated decision authority, and much more. Recent advances in formal methods have made verifying more of these problems realistic. Thus we need to continually re-assess what we can solve now and identify the next barriers to overcome. Only through an exchange of ideas between theoreticians and practitioners from academia to industry can we extend formal methods for the verification of ever more challenging problem domains. This volume contains the extended abstracts of the talks presented at LFM 2008: The Sixth NASA Langley Formal Methods Workshop held on April 30 - May 2, 2008 in Newport News, Virginia, USA. The topics of interest that were listed in the call for abstracts were: advances in formal verification techniques; formal models of distributed computing; planning and scheduling; automated air traffic management; fault tolerance; hybrid systems/hybrid automata; embedded systems; safety critical applications; safety cases; accident/safety analysis.
A Tool for Requirements-Based Programming
NASA Technical Reports Server (NTRS)
Rash, James L.; Hinchey, Michael G.; Rouff, Christopher A.; Gracanin, Denis; Erickson, John
2005-01-01
Absent a general method for mathematically sound, automated transformation of customer requirements into a formal model of the desired system, developers must resort to either manual application of formal methods or to system testing (either manual or automated). While formal methods have afforded numerous successes, they present serious issues, e.g., costs to gear up to apply them (time, expensive staff), and scalability and reproducibility when standards in the field are not settled. The testing path cannot be walked to the ultimate goal, because exhaustive testing is infeasible for all but trivial systems. So system verification remains problematic. System or requirements validation is similarly problematic. The alternatives available today depend on either having a formal model or pursuing enough testing to enable the customer to be certain that system behavior meets requirements. The testing alternative for non-trivial systems always have some system behaviors unconfirmed and therefore is not the answer. To ensure that a formal model is equivalent to the customer s requirements necessitates that the customer somehow fully understands the formal model, which is not realistic. The predominant view that provably correct system development depends on having a formal model of the system leads to a desire for a mathematically sound method to automate the transformation of customer requirements into a formal model. Such a method, an augmentation of requirements-based programming, will be briefly described in this paper, and a prototype tool to support it will be described. The method and tool enable both requirements validation and system verification for the class of systems whose behavior can be described as scenarios. An application of the tool to a prototype automated ground control system for NASA mission is presented.
Laser induced damage in optical materials: eleventh ASTM symposium.
Bennett, H E; Glass, A J; Guenther, A H; Newnam, B
1980-07-15
The eleventh Symposium on Optical Materials for High-Power Lasers (Boulder Damage Symposium) was held at the National Bureau of Standards in Boulder, Colorado, 30-31 October 1979. The symposium was held under the auspices of ASTM Committee F-1, Subcommittee on Laser Standards, with the joint sponsorship of NBS, the Defense Advanced Research Projects Agency, the Department of Energy, and the Office of Naval Research. About 150 scientists attended the symposium, including representatives of the United Kingdom, France, Canada, Japan, West Germany, and Denmark. The symposium was divided into sessions concerning transparent optical materials and the measurement of their properties, mirrors and surfaces, thin film characteristics, thin film damage, considerations for high-power systems, and finally theory and breakdown. As in previous years, the emphasis of the papers presented at the symposium was directed toward new frontiers and new developments. Particular emphasis was given to materials for high-power apparatus. The wavelength range of prime interest was from 10.6 microm to the UV region. Highlights included surface characterization, thin film-substrate boundaries, and advances in fundamental laser-matter threshold interactions and mechanisms. The scaling of damage thresholds with pulse duration, focal area, and wavelength was discussed in detail. Harold E. Bennett of the Naval Weapons Center, Alexander J. Glass of the Lawrence Livermore Laboratory, Arthur H. Guenther of the Air Force Weapons Laboratory, and Brian E. Newnam of the Los Alamos Scientific Laboratory were cochairpersons. The twelfth annual symposium is scheduled for 30 September-1 October 1980 at the National Bureau of Standards, Boulder, Colorado.
Organizational Change. Symposium 11. [Concurrent Symposium Session at AHRD Annual Conference, 2000.
ERIC Educational Resources Information Center
2000
This packet contains three papers from a symposium on organizational change. The first paper, "Kaizen Blitz: Rapid Learning to Facilitate Immediate Organizational Improvements" (Robert B. Gudgel, Fred C. Feitler), describes rapid and dramatic improvement in the organizational performance of a manufacturing firm after use of a series of…
Summary and Findings of the EPA and CDC Symposium on Air Pollution Exposure and Health
The U.S. Environmental Protection Agency (EPA) and the U.S. Centers for Disease Control (CDC) co-organized a symposium on "Air Pollution Exposure and Health" at Research Triangle Park, North Carolina on September 19–20, 2006. The symposium brought together health and environmenta...
ERIC Educational Resources Information Center
2000
Three presentations are provided from Symposium 13, Knowledge and Intellectual Capital, of the Academy of Human Resource Development (HRD) 2000 Conference proceedings. "Human Capital Measurement" (Joanne Provo) begins with a literature review that provides a context for understanding how investments in human capital add value to the…
41st Aerospace Mechanisms Symposium
NASA Technical Reports Server (NTRS)
Boesiger, Edward A. (Editor)
2012-01-01
The proceedings of the 41st Aerospace Mechanisms Symposium are reported. JPL hosted the conference, which was held in Pasadena Hilton, Pasadena, California on May 16-18, 2012. Lockheed Martin Space Systems cosponsored the symposium. Technology areas covered include gimbals and positioning mechanisms, components such as hinges and motors, CubeSats, tribology, and Mars Science Laboratory mechanisms.
ERIC Educational Resources Information Center
2000
This document contains three papers from a symposium on increasing participation in learning that was conducted as part of a conference on human resource development (HRD). "Factors Influencing Employee Participation in Training: An Empirical Investigation" (Reid A. Bates) reports on a mediated model of employee participation in training…
ERIC Educational Resources Information Center
Shimahara, N. Ken, Ed.; Holowinsky, Ivan Z., Ed.; Tomlinson-Clarke, Saundra, Ed.
This volume contains 12 papers originally presented at the 14th Rutgers Invitational Symposium on Education in 1999. The symposium explored contemporary issues of ethnic, cultural, and national identities and their influence on the social construction of identity. Papers include: (1) "Reconceptualizing Ethnicity and Educational…
ERIC Educational Resources Information Center
2000
This packet contains three papers on gender identity; power and influence styles in program planning; and white male backlash from a symposium on human resource development (HRD). The first paper, "Identification of Power and Influence Styles in Program Planning Practice" (Baiyin Yang), explores the relationship between HRD practitioners…
Conserving biodiversity on native rangelands: Symposium proceedings
Daniel W. Uresk; Greg L. Schenbeck; James T. O' Rourke
1997-01-01
These proceedings are the result of a symposium, "Conserving biodiversity on native rangelands" held on August 17, 1995 in Fort Robinson State Park, NE. The purpose of this symposium was to provide a forum to discuss how elements of rangeland biodiversity are being conserved today. We asked, "How resilient and sustainable are rangeland systems to the...
ERIC Educational Resources Information Center
Stangl, Dalene K.; Tweed, Dan L.; Farmer, Betsy; Langmeyer, David; Stelle, Lynn; Behar, Lenore B.; Gagliardi, Julia; Burns, Barbara J.
This paper presents contributions at a symposium about Carolina Alternatives (CA), a North Carolina program that blends capitated financing with public sector managed care for mental health and substance abuse services for children and youth eligible for Medicaid. The symposium focused on stakeholders' perspectives and on expenditure patterns of…
Proceedings of the Symposium on Cable Television.
ERIC Educational Resources Information Center
Society of Motion Picture and Television Engineers, Inc., New York, NY.
The papers given at a symposium on cable television (CATV) are collected in this volume. The chairman of the symposium notes that "the phrase 'cable television' is not totally pertinent since we are talking about a wired-city concept that may encompass many services other than television." He prefers the term "broadband communications network,"…
Go Tell Alcibiades: Tragedy, Comedy, and Rhetoric in Plato's "Symposium"
ERIC Educational Resources Information Center
Crick, Nathan; Poulakos, John
2008-01-01
Plato's "Symposium" is a significant but neglected part of his elaborate and complex attitude toward rhetoric. Unlike the intellectual discussion of the "Gorgias" or the unscripted conversation of the "Phaedrus," the "Symposium" stages a feast celebrating and driven by the forces of "Eros." A luxuriously stylish performance rather than a rational…
ERIC Educational Resources Information Center
Golley, Priscilla, Ed.; Hassard, Jack, Ed.
The Global Thinking Project at Georgia State University and the Department of Middle Secondary Education and Instructional Technology sponsored a Symposium on Global Thinking Research, in November, 1993. The following 11 papers were presented at the symposium: (1) "Teaching Students to Think Globally" (Jack Hassard); (2)…
Core Directions in HRD. Symposium 32. [Concurrent Symposium Session at AHRD Annual Conference, 2000.
ERIC Educational Resources Information Center
2000
Three presentations are provided from Symposium 32, Core Directions in HRD (Human Resource Development), of the Academy of HRD 2000 Conference Proceedings. "Exploring the Convergence of Political and Managerial Cultures in the Dominican Republic: Implications for Management Development and Training" (Max U. Montesino) reports a survey of…
ERIC Educational Resources Information Center
Bull, Glen; Spector, J. Michael; Persichitte, Kay; Meier, Ellen
2017-01-01
This article describes preliminary work for the "Educational Technology Efficacy Research" symposium taking place in 2017. The symposium will present the role of efficacy research in the development, adoption, and implementation of educational technology. In preparation for this symposium, ten working groups are investigating the role of…
ERIC Educational Resources Information Center
2000
This document contains three papers from a symposium on individual learning issues that was conducted as part of a conference on human resource development (HRD). "Communication in the Workplace: Using Myers-Briggs To Build Communication Effectiveness" (Patrice M. Scanlon, Judy K. Schmitz, Tracey Murray, Lisa M. Hooper) reports on a…
Advances in the understanding of dairy and cheese flavors: Symposium Introduction
USDA-ARS?s Scientific Manuscript database
A symposium titled “Advances in the Understanding of Dairy and Cheese Flavors” was held in September 2013 at the American Chemical Society’s 246th National Meeting in Indianapolis, IN. The symposium, which was sponsored by the Division of Agricultural and Food Chemistry, was to discuss the state of...
A Multi-Cultural Symposium on Appreciating and Understanding the Arts.
ERIC Educational Resources Information Center
Blandy, Doug; Congdon, Kristin G.
1988-01-01
Discusses the 1985 symposium on "Multi-Cultural Approaches to Understanding and Appreciating the Arts," sponsored by the Division of Art Education/Art Therapy at Bowling Green State University, Ohio. Examines student reactions to the symposium which was designed to build and expand multi-cultural perspectives and enhance the concept of…
The Liberal Education of Architects. A Symposium (Lawrence, Kansas, November 8-9, 1990).
ERIC Educational Resources Information Center
Domer, Dennis, Ed.; Spreckelmeyer, Kent F., Ed.
This publication contains the proceedings of a symposium concerning the liberal education of architects. The papers and addresses included are: "Prefatory Remarks to the Symposium" (S. Grabow); "Keynote Address" (W. McMinn); "Invited Position Papers" (D. Ghirardo; J. Hartray; R. Bliss); "A Liberal Education for Architects" (R. Allen); "On the…
Symposium on Business and Management and Dynamic Simulation Models Supporting Management Strategies
NASA Astrophysics Data System (ADS)
Seimenis, Ioannis; Sakas, Damianos P.
2009-08-01
This preface presents the purpose, content and results of one of the ICCMSE 2008 symposiums organized by Prof. Ioannis Seimenis and Dr. Damianos P. Sakas. The present symposium aims at investigating Business and Management disciplines, as well as the prospect of strategic decision analysis by means of dynamic simulation models.
Finding the Motivation: The Evolution of a Faculty Scholarship Symposium
ERIC Educational Resources Information Center
Pifer, Meghan J.; Reisboard, Dana; Staulters, Mimi; Li, Xiaobao; Gozza-Cohen, Mary; McHenry, Nadine; Schaming, Susan; Gilio, Brenda
2014-01-01
This article describes the evolution of a faculty scholarship symposium within the school of education at a regional comprehensive university. The article outlines the initial structure and goals of the symposium as well as the development of the model over time. The influence of leadership, culture, and individual goals and backgrounds are…
ERIC Educational Resources Information Center
2000
This document contains three papers from a symposium on increasing job satisfaction that was conducted as part of a conference on human resource development (HRD). "A Systematic Model of Job Design by Examining the Organizational Factors Affecting Satisfaction" (Zhichao Cheng, Danyang Yang, Fenglou Liu) reports on a project in which…
ERIC Educational Resources Information Center
2000
This packet contains three papers from a symposium on assessing the learning organization. The first paper, "Relationship between Learning Organization Strategies and Performance Driver Outcomes" (Elwood F. Holton III, Sandra M. Kaiser), reports on a study of a new learning organization assessment instrument that was administered to 440…
ERIC Educational Resources Information Center
Ury, Connie Jo, Ed.; Baudino, Frank, Ed.; Park, Sarah G., Ed.
2007-01-01
Twenty-three scholarly papers and eleven abstracts reflect the content of the seventh "Brick and Click Libraries Symposium," held annually at Northwest Missouri State University in Maryville, Missouri. The proceedings, authored by academic librarians and presented at the symposium, portray the contemporary and future face of…
Northeastern Forest Experiment Station
1971-01-01
As "tall oaks from little acorns grow", the germ of an idea blossomed into this symposium on the five upland oaks. Called simply the "Oak Symposium", that's what it's all about - a meeting to bring together a summation of the advances made on the silviculture, management, and utilization of the upland oaks. Part of this process is the...
Fermilab | Tevatron | Tevatron Symposium | Organizing Committee
Book Newsroom Newsroom News and features Press releases Photo gallery Fact sheets and brochures Media media Video of shutdown event Guest book Tevatron Impact June 11, 2012 About the symposium Symposium , Legal Use of Cookies Quick Links Home Contact Phone Book Fermilab at Work For Industry Jobs Interact
Fermilab | Tevatron | Tevatron Symposium | Travel and Lodging
Book Newsroom Newsroom News and features Press releases Photo gallery Fact sheets and brochures Media media Video of shutdown event Guest book Tevatron Impact June 11, 2012 About the symposium Symposium Office of Science Security, Privacy, Legal Use of Cookies Quick Links Home Contact Phone Book Fermilab at
ERIC Educational Resources Information Center
2000
This document contains three papers from a symposium on organizations in transition that was conducted as part of a conference on human resource development (HRD). "Human Resource Development in an Industry in Transition: The Case of the Russian Banking Sector" (Alexander Ardichvili, Alexander Gasparishvili) reports on a study…
Action Learning. Symposium 21. [Concurrent Symposium Session at AHRD Annual Conference, 2000.
ERIC Educational Resources Information Center
2000
This document contains three papers from a symposium on action learning that was conducted as part of a conference on human resource development (HRD). "Searching for Meaning in Complex Action Learning Data: What Environments, Acts, and Words Reveal" (Verna J. Willis) analyzes complex action learning documents produced as course…
CONTROL TECHNOLOGY: SUMMARY OF THE 1991 EPRI/EPA/DOE S02 CONTROL SYMPOSIUM
The 1991 SO2 Control Symposium was held December 3–6, 1991, in Washington, D.C. The symposium, jointly sponsored by the Electric Power Research Institute (EPRI), the U.S. Environmental Protection Agency (EPA), and the U.S. Department of Energy (DOE), focused attention...
International Symposium for Literacy Final Report (Persepolis, Iran, September 3-8, 1975).
ERIC Educational Resources Information Center
1975
The final report of the International Symposium for Literacy, which met in Persepolis, Iran, from September 3-8, 1975, is presented. Participating were 75 individuals from around the world, including representatives from China, Vietnam, and North Korea. Chapter 1 discusses the symposium's origin and sponsoring committee activities while chapter 2,…
ERIC Educational Resources Information Center
2000
This packet contains four papers on organizational structure and strategy from a symposium on human resource development (HRD). The first paper, "Exploring Alignment: A Comparative Case Study of Alignment in Two Organizations" (Steven W. Semler), reports on a case study that compared the results of an alignment measurement instrument…
Ecosystem disturbance and wildlife conservation in western grasslands - A symposium proceedings
Deborah M. Finch
1996-01-01
This publication is the result of a half-day symposium, "Ecology, management, and sustainability of western grassland ecosystems" held at The Wildlife Society's First Annual Technical Conference, September 22-26, 1994 in Albuquerque, NM. The purpose of the symposium was to review and synthesize information about the structure, function, and...
ERIC Educational Resources Information Center
Yazzie, Evangeline Parsons; St. Clair, Robert N.
The co-directors of the 1998 Annual Symposium for Language Renewal and Revitalization describe how they came up with a focus and presenters for the symposium. They began by discussing their concern over the loss of indigenous languages and cultures, then decided to honor tribal elders by choosing one to represent them all as the symposium's…
The 21st Aerospace Mechanisms Symposium
NASA Technical Reports Server (NTRS)
1987-01-01
During the symposium technical topics addressed included deployable structures, electromagnetic devices, tribology, actuators, latching devices, positioning mechanisms, robotic manipulators, and automated mechanisms synthesis. A summary of the 20th Aerospace Mechanisms Symposium panel discussions is included as an appendix. However, panel discussions on robotics for space and large space structures which were held are not presented herein.
The Humanities in the Schools: A Contemporary Symposium.
ERIC Educational Resources Information Center
Taylor, Harold, Ed.
A symposium at the University of Kentucky in 1965 brought together 15 educators and six writers concerned with cultural values in an attempt to develop ideas for improving arts and humanities instruction in the public secondary schools. The papers presented in the symposium comprise this publication. In an introductory essay, Harold Taylor surveys…
Brick & Click Libraries: An Academic Library Symposium (13th, Maryville, Missouri, November 1, 2013)
ERIC Educational Resources Information Center
Baudino, Frank, Ed.; Johnson, Carolyn, Ed.; Park, Sarag G., Ed.
2013-01-01
Twenty-six scholarly papers and ten abstracts comprise the content of the thirteenth annual Brick and Click Libraries Symposium, held annually at Northwest Missouri State University in Maryville, Missouri. The proceedings, authored by academic librarians and presented at the symposium, portray the contemporary and future face of librarianship. The…
Work Motivation. Symposium 33. [Concurrent Symposium Session at AHRD Annual Conference, 2000.
ERIC Educational Resources Information Center
2000
Three presentations are provided from Symposium 33, Work Motivation, of the Academy of Human Resource Development (HRD) 2000 Conference Proceedings. "An Attitudinal Examination of the Role of HRD in Voluntary Turnover in Public Service Organizations" (Kenneth R. Bartlett, William R. McKinney) compares public service managers who voluntarily left…
USDA-ARS?s Scientific Manuscript database
On December 8-9, 2014, the Pennington Biomedical Research Center convened a scientific symposium to review the state-of-the-science and future directions for the study of developmental programming of obesity and chronic disease. The objectives of the symposium were to discuss: (i) past and current s...
Summary of the forest recreation symposium
Northeastern Forest Experiment Station
1972-01-01
Those who attended the Forest Recreation Symposium held 12-14 Octoher 1971 at Syracuse, New York, heard 26 papers about various aspects of forest recreation. Those papers have already been printed, in Proceedings made available at the Symposium, and also available upon request from the Northeastern Forest Experiment Station, 6816 Market Street, Upper Darby, Pa. 19082...
USDA-ARS?s Scientific Manuscript database
The second International Symposium on Animal Genomics for Animal Health held in Paris, France 31 May-2 June, 2010, assembled more than 140 participants representing research organizations from 40 countries. The symposium included a roundtable discussion on critical needs, challenges and opportunitie...
USDA-ARS?s Scientific Manuscript database
The second International Symposium on Animal Genomics for Animal Health held in Paris, France 31 May-2 June, 2010, assembled more than 140 participants representing research organizations from 40 countries. The symposium included a roundtable discussion on critical needs, challenges and opportunitie...
Comparative gut physiology symposium: The microbe-gut-brain axis
USDA-ARS?s Scientific Manuscript database
The Comparative Gut Physiology Symposium titled “The Microbe-Gut-Brain Axis” was held at the Joint Annual Meeting of the American Society of Animal Science and the American Dairy Science Association on Thursday, July 21, 2016, in Salt Lake City Utah. The goal of the symposium was to present basic r...
Federal Register 2010, 2011, 2012, 2013, 2014
2010-05-07
..., Office of Biotechnology Activities; Notice of a Safety Symposium There will be a safety symposium... concerning this meeting contact Ms. Chezelle George, Administrative Assistant, Office of Biotechnology... Committee. Date: June 15, 2010. Time: 8 a.m. to 5:30 p.m. Agenda: The Office of Biotechnology Activities...
Career Development. Symposium 34. [Concurrent Symposium Session at AHRD Annual Conference, 2000.
ERIC Educational Resources Information Center
2000
Three presentations are provided from Symposium 34, Career Development, of the Academy of Human Resource Development (HRD) 2000 Conference Proceedings. "Emerging Career Development Needs as Reported by Adult Students at Four Ohio Institutions of Higher Education: A Qualitative Study" (Kathryn S. Hoff) reports 4 major themes emerged from…
The Sixteenth Annual Research Symposium on Remedial Action, Treatment and Disposal of Hazardous Waste was held in Cincinnati, Ohio, April 3-5, 1990. he purpose of this Symposium was to present the latest significant research findings from ongoing and recently completed projects f...
Advances in berry research: the sixth biennial berry health benefits symposium
USDA-ARS?s Scientific Manuscript database
Studies to advance the potential health benefits of berries continue to increase as was evident at the sixth biennial meeting of the Berry Health Benefits Symposium (BHBS). The two and a half-day symposium was held on October 13-15, 2015, in Madison, Wisconsin, United States. The 2015 BHBS feature...
USDA-ARS?s Scientific Manuscript database
The 2009 Triennial Reproduction Symposium was held immediately before the Joint Annual Meeting of the American Society of Animal Science, American Dairy Science Association, and Canadian Society of Animal Science in Montreal, Canada, in July 2009. The intent of the symposium was to identify major ch...
Federal Register 2010, 2011, 2012, 2013, 2014
2013-12-20
... DEPARTMENT OF HOMELAND SECURITY U.S. Customs and Border Protection U.S. Customs and Border Protection 2014 East Coast Trade Symposium: ``Increasing Economic Competitiveness Through Global Partnership... Competitiveness Through Global Partnership and Innovation.'' The format of the East Coast Trade Symposium will be...
DOE Office of Scientific and Technical Information (OSTI.GOV)
Azadi, Paratoo
2015-09-24
The Complex Carbohydrate Research Center (CCRC) of the University of Georgia holds a symposium yearly that highlights a broad range of carbohydrate research topics. The 8th Annual Georgia Glycoscience Symposium entitled “Integrating Models of Plant Cell Wall Structure, Biosynthesis and Assembly” was held on April 7, 2014 at the CCRC. The focus of symposium was on the role of glycans in plant cell wall structure and synthesis. The goal was to have world leaders in conjunction with graduate students, postdoctoral fellows and research scientists to propose the newest plant cell wall models. The symposium program closely followed the DOE’s missionmore » and was specifically designed to highlight chemical and biochemical structures and processes important for the formation and modification of renewable plant cell walls which serve as the basis for biomaterial and biofuels. The symposium was attended by both senior investigators in the field as well as students including a total attendance of 103, which included 80 faculty/research scientists, 11 graduate students and 12 Postdoctoral students.« less
ONRASIA Scientific Information Bulletin. Volume 8, Number 3, July- September 1993
1993-09-01
the Ninth Symposium on Preconditioned Conjugate Dr. Steven F. Ashby Gradient Methods , which he organized. Computing Sciences Department Computing...ditioned Conjugate Gradient Methods , held at Keio chines and is currently a topic of considerable University (Yokohama). During this meeting, I interest...in the United States. In Japan, on the other discussed iterative methods for linear systems with hand, this technique does not appear to be too well
Technology Enabled Learning. Symposium.
ERIC Educational Resources Information Center
2002
This document contains three papers on technology-enabled learning and human resource development. Among results found in "Current State of Technology-enabled Learning Programs in Select Federal Government Organizations: a Case Study of Ten Organizations" (Letitia A. Combs) are the following: the dominant delivery method is traditional…
Determination of OB/OD/SF Emission Factors Using Unmanned Aerial Systems
A presentation to the Demilitarization Symposium. This proposal will present the methods of tethered aerostat and unmanned aerial system for collection of plume samples and determination of emission factors form open burning, open detonation, and static firing for weapon demilita...
The Constraint Method for Solid Finite Elements.
1980-09-30
9. ’Hierarchical Approximation in Finite Element Analysis", by I. Norman Katz, International Symposium on Innovative Numerical Analysis In Applied ... Engineering Science, Versailles, France, May 23-27, 1977. 10. "Efficient Generation of Hierarchal Finite Elamnts Through the Use of Precomputed Arrays
Payne-Sturges, Devon; Garcia, Lisa; Lee, Charles; Zenick, Hal; Grevatt, Peter; Sanders, William H.; Case, Heather; Dankwa-Mullan, Irene
2011-01-01
In March 2010, the Environmental Protection Agency (EPA) collaborated with government and nongovernmental organizations to host a groundbreaking symposium, “Strengthening Environmental Justice Research and Decision Making: A Symposium on the Science of Disproportionate Environmental Health Impacts.” The symposium provided a forum for discourse on the state of scientific knowledge about factors identified by EPA that may contribute to higher burdens of environmental exposure or risk in racial/ethnic minorities and low-income populations. Also featured were discussions on how environmental justice considerations may be integrated into EPA's analytical and decision-making frameworks and on research needs for advancing the integration of environmental justice into environmental policymaking. We summarize key discussions and conclusions from the symposium and briefly introduce the articles in this issue. PMID:22028456
The 1992 4th NASA SERC Symposium on VLSI Design
NASA Technical Reports Server (NTRS)
Whitaker, Sterling R.
1992-01-01
Papers from the fourth annual NASA Symposium on VLSI Design, co-sponsored by the IEEE, are presented. Each year this symposium is organized by the NASA Space Engineering Research Center (SERC) at the University of Idaho and is held in conjunction with a quarterly meeting of the NASA Data System Technology Working Group (DSTWG). One task of the DSTWG is to develop new electronic technologies that will meet next generation electronic data system needs. The symposium provides insights into developments in VLSI and digital systems which can be used to increase data systems performance. The NASA SERC is proud to offer, at its fourth symposium on VLSI design, presentations by an outstanding set of individuals from national laboratories, the electronics industry, and universities. These speakers share insights into next generation advances that will serve as a basis for future VLSI design.
DOE Office of Scientific and Technical Information (OSTI.GOV)
Veigl, Martina L.; Morgan, William F.; Schwartz, Jeffrey L.
The low dose symposium thoughtfully addressed controversy of risk from low dose radiation exposure, hormesis and radon therapy. The stem cell symposium cogently considered the role of DNA damage and repair in hematopoietic stem cells underlying aging and malignancy and provocatively presented evidence that stem cells may have distinct morphologies and replicative properties, as well as special roles in cancer initiation. In the epigenetics symposium, studies illustrated the long range interaction of epigenetic mechanisms, the roles of CTCF and BORIS in region/specific regulation of epigenetic processes, the impact of DNA damage on epigenetic processes as well as links between epigeneticmore » mechanisms and early nutrition and bystander effects. This report shows the agenda and abstracts for this symposium.« less
Rudd, Cheryl; Mwenda, Jason; Chilengi, Roma
2015-06-26
The 8th African Rotavirus Symposium was held in Livingstone, Zambia from the 12-13 June 2014. Over 130 delegates from 35 countries - 28 from African nations - participated in this symposium, which included scientists, clinicians, immunisation managers, public health officials, policymakers and vaccine manufacturers. The theme for the symposium was Rotavirus Landscape in Africa-Towards Prevention and Control. At the time of the symposium, a total of 21 African countries had introduced the rotavirus vaccine into their national immunisation schedules. This meeting was particularly timely and relevant to review early data on vaccine adoption and impact from these countries. The concluding panel discussion proposed several recommendations for areas of focus moving forward in rotavirus advocacy and research. Copyright © 2015. Published by Elsevier Ltd.. All rights reserved.
Larocque, Guy R.; Mailly, D.; Yue, T.-X.; Anand, M.; Peng, C.; Kazanci, C.; Etterson, M.; Goethals, P.; Jorgensen, S.E.; Schramski, J.R.; McIntire, E.J.B.; Marceau, D.J.; Chen, B.; Chen, G.Q.; Yang, Z.F.; Novotna, B.; Luckai, N.; Bhatti, Jagtar S.; Liu, J.; Munson, A.; Gordon, Andrew M.; Ascough, J.C.
2011-01-01
The eleven symposia organized for the 2009 conference of the International Society for Ecological Modelling (ISEM 2009) held in Quebec City, Canada, October 6–9, 2009, included facilitated discussion sessions following formal presentations. Each symposium focused on a specific subject, and all the subjects could be classified into three broad categories: theoretical development, population dynamics and ecosystem processes. Following discussions with the symposia organizers, which indicated that they all shared similar issues and concerns, the facilitated discussions were task-oriented around four basic questions: (1) key challenges in the research area, (2) generating and sharing new ideas, (3) improving collaboration and networking, and (4) increasing visibility to decision-makers, partners and clients. Common challenges that emerged from the symposia included the need for improved communication and collaboration among different academic disciplines, further progress in both theoretical and practical modelling approaches, and accentuation of technology transfer. Regarding the generation and sharing of new ideas, the main issue that emerged was the type of positive interactions that should be encouraged among potential collaborators. The usefulness of the Internet, particularly for the sharing of open-source software and conducting discussion forums, was highlighted for improving collaboration and networking. Several communication tools are available today, and it is important for modellers to use them more intensively. Visibility can be increased by publishing professional newsletters, maintaining informal contacts with the public, organizing educational sessions in primary and secondary schools, and developing simplified analytical frameworks and pilot studies. Specific issues raised in each symposium are also discussed.
The Eighth International Symposium On Radiative Transfer
NASA Astrophysics Data System (ADS)
Lemonnier, Denis; Webb, Brent W.; Mengüç, M. Pınar
2017-08-01
This Special Issue of The Journal of Quantitative Spectroscopy and Radiative Transfer is based on the papers selected from RAD-16, the Eighth International Symposium on Radiative Transfer, which was held June 2016, in Cappadocia, Turkey. This Symposium is a follow-up of the seven previous meetings held in Kuşadası in 1995, 1997, and 2013; Antalya in 2001 and 2010; Istanbul in 2004; and Bodrum in 2007, all in Turkey. The Symposium was another enjoyable opportunity for the international radiation transfer community to assemble in a comfortable setting to present and discuss the state-of-the-art in research and application.
Proceedings of the Third Annual Symposium on Mathematical Pattern Recognition and Image Analysis
NASA Technical Reports Server (NTRS)
Guseman, L. F., Jr.
1985-01-01
Topics addressed include: multivariate spline method; normal mixture analysis applied to remote sensing; image data analysis; classifications in spatially correlated environments; probability density functions; graphical nonparametric methods; subpixel registration analysis; hypothesis integration in image understanding systems; rectification of satellite scanner imagery; spatial variation in remotely sensed images; smooth multidimensional interpolation; and optimal frequency domain textural edge detection filters.
;Partial contents: The incidence of elevated blood lead values in an asymptomatic pediatric population residing in a major American industrial state; Method for the identification of environmental noise levels requisite to protect public health and welfare; Improved methods of sa...
NASA Technical Reports Server (NTRS)
Radespiel, Rolf; Hemsch, Michael J.
2007-01-01
The complexity of modern military systems, as well as the cost and difficulty associated with experimentally verifying system and subsystem design makes the use of high-fidelity based simulation a future alternative for design and development. The predictive ability of such simulations such as computational fluid dynamics (CFD) and computational structural mechanics (CSM) have matured significantly. However, for numerical simulations to be used with confidence in design and development, quantitative measures of uncertainty must be available. The AVT 147 Symposium has been established to compile state-of-the art methods of assessing computational uncertainty, to identify future research and development needs associated with these methods, and to present examples of how these needs are being addressed and how the methods are being applied. Papers were solicited that address uncertainty estimation associated with high fidelity, physics-based simulations. The solicitation included papers that identify sources of error and uncertainty in numerical simulation from either the industry perspective or from the disciplinary or cross-disciplinary research perspective. Examples of the industry perspective were to include how computational uncertainty methods are used to reduce system risk in various stages of design or development.
Software Formal Inspections Guidebook
NASA Technical Reports Server (NTRS)
1993-01-01
The Software Formal Inspections Guidebook is designed to support the inspection process of software developed by and for NASA. This document provides information on how to implement a recommended and proven method for conducting formal inspections of NASA software. This Guidebook is a companion document to NASA Standard 2202-93, Software Formal Inspections Standard, approved April 1993, which provides the rules, procedures, and specific requirements for conducting software formal inspections. Application of the Formal Inspections Standard is optional to NASA program or project management. In cases where program or project management decide to use the formal inspections method, this Guidebook provides additional information on how to establish and implement the process. The goal of the formal inspections process as documented in the above-mentioned Standard and this Guidebook is to provide a framework and model for an inspection process that will enable the detection and elimination of defects as early as possible in the software life cycle. An ancillary aspect of the formal inspection process incorporates the collection and analysis of inspection data to effect continual improvement in the inspection process and the quality of the software subjected to the process.
[An evaluation of a symposium via satellite on alcoholism and drug dependence].
Ríos-Espinosa, E; Martínez-Salgado, H; Ruíz-Tapia, R; Domínguez-Cherit, L
1993-01-01
Results of a test given to participants in a symposium on alcoholism and drug abuse are presented. The symposium was broadcast via satellite simultaneously to five cities in Mexico, and included 8 pretaped panels covering topics on alcoholism and drug abuse. The methodology used for broadcasting the symposium allowed the interactive exchange of information between expert lecturers and participants. The quantitative and qualitative evaluation used the pretest-posttest design. Most of the participants were physicians (28.9%) followed by psychologists (25.7%) and social workers (18.1%). The global cognitive change among participants was 6 per cent. Almost 77 per cent of participants had scores between 51 and 70 points (over a possible maximum score of 100) in the pre-evaluation test, and 76.4 per cent had scores between 61 and 80 points in the postevaluation test. Health professionals with 1-3 years of experience had the largest change in scores (9%), followed by those with 3 to 5 years experience (8%). Professionals with 5 to 10 years of experience had a change of 5 per cent. Physicians showed the greatest cognitive change (7%) followed by psychologists and social workers with 5 per cent change. In the qualitative evaluation, 87.6 per cent of participants thought that the educational method used was "Excellent" of "Good". With respect to the satellite transmission, 79.4 per cent of participants thought it was "Excellent" or "Good". It is concluded that this type of educational events are useful in reaching health professionals who otherwise would not have access to specialized and updated information.(ABSTRACT TRUNCATED AT 250 WORDS)
DOE Office of Scientific and Technical Information (OSTI.GOV)
Koch, Len; Agnew, Harold
Dr. Harold Agnew, retired director of Los Alamos National Laboratory and one of 49 people present on December 2, 1942 when the world’s first man-made controlled nuclear chain reaction was achieved with the CP-1 reactor, and Dr. Len Koch, one of Argonne’s earliest staff members and a designer of EBR-I, the first liquid metal-cooled fast reactor, spoke about their early work during “The Dawn of the Nuclear Age”, a Director’s Special Symposium held as one of the events to commemorate the 70th anniversary year of CP-1 achieving criticality. The symposium was moderated by Dr. Charles Till, a retired Argonne associatemore » laboratory director who led Argonne’s nuclear engineering programs throughout the 1980’s and ‘90’s. Dr. Agnew painted a vivid picture of the challenges and rewards of working in Enrico Fermi’s group under strict security conditions and the complete faith all in the group had in Fermi’s analyses. He stated that no one ever doubted that CP-1 would achieve criticality, and when the moment came, those present acknowledged the accomplishment with little more than a subdued toast of chianti from a bottle provided by reactor physicist Eugene Wigner. This experimental work on nuclear reactors was continued in the Chicago area and led first by Fermi and then Walter Zinn, another member of Fermi’s CP-1 group, resulting in the formal establishment of Argonne National Laboratory on July 1, 1946. Dr. Koch described how much he enjoyed working at Argonne through the 1950’s and ‘60’s and contributing to many of the research “firsts” that Argonne achieved in the nuclear energy field and led to the foundation of the commercial nuclear power generation industry. His reminiscences about all that was achieved with EBR-I and how that work then led into Argonne’s design, building, and operation of EBR-II as a full demonstration of a fast reactor power plant brought Argonne’s nuclear energy legacy to life for everyone in the auditorium. These engaging presentations prompted a number of questions from the audience, which showed its appreciation for both speakers by ending the symposium with a standing ovation.« less
ERIC Educational Resources Information Center
Anagnopoulos, Cheryl, Ed.; Ochse, Roger, Ed.; Wolff, Roger, Ed.
This proceedings contains papers from a symposium conducted to promote the professional sharing of scholarly accomplishments of Black Hills State University (South Dakota) faculty and students. The symposium also provided a forum for discussion of current issues related to the presentations. The papers, representing a variety of disciplines, are…
First Year Symposium: One College's Response to the Perceived "Deficit" in Civic Education
ERIC Educational Resources Information Center
Roidt, Joseph; DeNicolo, Martin; Kittle, Amy; Osborne, Katherine; Saindon, Brent
2016-01-01
This essay outlines a unique program developed at Davis & Elkins College: the First Year Symposium. Responding to concerns about the lack of civic engagement in America's youth and the call for colleges and universities to develop strategic plans for addressing democratic learning, the First Year Symposium is a required class for all…
DOE Office of Scientific and Technical Information (OSTI.GOV)
Chu, Steve
2008-08-30
Steve Chu, director of Lawrence Berkeley National Laboratory and recipient of the 1997 Nobel Prize, presents a talk at Frontiers in Laser Cooling, Single-Molecule Biophysics and Energy Science, a scientific symposium in his honor. The symposium was held August 30, 2008 in Berkeley.
Ethics and Integrity. Symposium 27. [Concurrent Symposium Session at AHRD Annual Conference, 2000.
ERIC Educational Resources Information Center
2000
This packet contains three papers on ethics and integrity from a symposium on human resource development (HRD). The first paper, "Factors Influencing Ethical Resolution Efficacy: A Model for HRD Practitioners" (Kimberly S. McDonald), proposes a model of ethical resolution efficacy for HRD practitioners. The model suggests that factors related to…
Flight Mechanics Symposium 1997
NASA Technical Reports Server (NTRS)
Walls, Donna M. (Editor)
1997-01-01
This conference publication includes papers and abstracts presented at the Flight Mechanics Symposium. This symposium featured technical papers on a wide range of issues related to orbit-attitude prediction, determination, and control; attitude sensor calibration; attitude determination error analysis; attitude dynamics; and orbit decay and maneuver strategy. Government, industry, and the academic community participated in the preparation and presentation of these papers.
Sternberg, Robert J
2017-07-01
This special symposium in Perspectives on Psychological Science answers the question, "Do you believe the field of psychological science is headed in the right direction?" Respondents are a sampling of Association for Psychological Science award winners over the past 5 years dating back from publication of this symposium.
ERIC Educational Resources Information Center
Anagnopoulos, Cheryl L., Ed.; Ochse, Roger, Ed.; Wolff, Roger, Ed.
This proceedings contains papers from a symposium conducted to promote the professional sharing of scholarly accomplishments of Black Hills State University faculty and students. The symposium also provided a forum for discussion of current issues related to the presentations. The papers, representing a variety of disciplines, are as follows:…
ERIC Educational Resources Information Center
Baudino, Frank, Ed.
2011-01-01
Twenty-three scholarly papers and twelve abstracts comprise the content of the eleventh annual Brick and Click Libraries Symposium, held at Northwest Missouri State University in Maryville, Missouri. The peer-reviewed proceedings, authored by academic librarians and presented at the symposium, portray the contemporary and future face of…
ERIC Educational Resources Information Center
2000
This document contains three papers from a symposium on change and the consultant that was conducted during a conference on human resource development (HRD). "A Theory of Consultancy" (Daniel R. Boroto, Douglas A. Zahn, Darren C. Short) presents an emerging theory of consultancy that is based on an analysis of thousands of videotaped…
ERIC Educational Resources Information Center
Stansfield, Charles W.; Kenyon, Dorry Mann
The report of the Interagency Language Roundtable's invitational symposium on language aptitude testing consists of a description of the project and appendixes which include the following: (1) the symposium program and abstracts of papers; (2) a list of participants; and (3) summaries of the discussions of three working groups (on applications,…
ERIC Educational Resources Information Center
Schlenker, Richard M.
This publication provides administrative, management, supervisory guidance, and other information necessary for successful conduct and support of grades 7-12 science symposia. Originally the text was developed as the operations manual for the Pacific Region Junior Science and Humanities Symposium (PJSHS). It contains information necessary to…
Federal Register 2010, 2011, 2012, 2013, 2014
2012-08-30
... DEPARTMENT OF HOMELAND SECURITY U.S. Customs and Border Protection U.S. Customs and Border Protection 2012 East Coast Trade Symposium: ``Expanding 21st Century Global Partnerships'' AGENCY: U.S... 21st Century Global Partnerships.'' The format of this year's East Coast Symposium will be held with...
33rd Aerospace Mechanisms Symposium
NASA Technical Reports Server (NTRS)
Boesiger, Edward A. (Compiler); Litty, Edward C. (Compiler); Sevilla, Donald R. (Compiler)
1999-01-01
The proceedings of the 33rd Aerospace Mechanisms Symposium are reported. JPL hosted the conference, which was held at the Pasadena Conference and Exhibition Center, Pasadena, California, on May 19-21, 1999. Lockheed Martin Missiles and Space cosponsored the symposium. Technology areas covered include bearings and tribology; pointing, solar array and deployment mechanisms; orbiter/space station; and other mechanisms for spacecraft.
Final Report of the Bilingual Symposium: Building a Research Agenda. Volume 2.
ERIC Educational Resources Information Center
Center for Applied Linguistics, Arlington, VA.
This is the second of a series of three volumes containing papers from a bilingual symposium held in 1975. Presentations and discussion at the symposium dealt primarily with suggestions for research which linguists should undertake to assist bilingual programs. This volume contains the following papers: "A Survey of Research in Syntax," by Arnold…
CIFAC '92: First International Symposium on Computers in Furniture and Cabinet
Janice K. Wiedenbeck
1992-01-01
(Book Review) The First International Symposium on Computers in Furniture and Cabinet Manufacturing was sponsored by the Wood Machining Institute in cooperation with Furniture Design and Manufacturing Magazine. The symposium was designed to ãprovide an international forum for the exchange of the latest information on the use of computers in furniture and cabinet...
ERIC Educational Resources Information Center
Baudino, Frank, Ed.; Ury, Connie Jo, Ed.; Park, Sarah G., Ed.
2010-01-01
Twenty-one scholarly papers and fifteen abstracts comprise the content of the tenth annual Brick and Click Libraries Symposium, held annually at Northwest Missouri State University in Maryville, Missouri. The peer-reviewed proceedings, authored by academic librarians and presented at the symposium, portray the contemporary and future face of…
The 13th Annual James L. Waters Symposium at Pittcon: Electron Spectroscopy for Chemical Analysis
ERIC Educational Resources Information Center
Baltrus, John P.
2004-01-01
The objective of the James L. Waters Annual Symposium is to recognize pioneers in the development of instrumentation by preserving the early history of the cooperation and important contributions of inventors, scientists, engineers, entrepreneurs, and marketing organizations. The symposium was held in Pittsburgh, United States in March 2002 to…
ERIC Educational Resources Information Center
2000
This document contains three papers from a symposium on organizational culture and climate that was conducted as part of a conference on human resource development (HRD). "A Comparative Profile of Workgroup Climate in Different Organizational Settings" (Allan H. Church) reports on a comparative analysis of climate data on more than 5,000…
ERIC Educational Resources Information Center
von Gleich, Utta, Ed.; Wolff, Ekkehard, Ed.
The purpose of the symposium was to exchange experiences in the standardization of national languages in different socio-cultural contexts. Examples of the strategies and results of such experiences in Africa, Latin America, and Europe were presented for discussion. Papers presented at the symposium include the following: "Language…
Global perspectives on poisonous plants: The 9th International Symposium on Poisonous Plants
USDA-ARS?s Scientific Manuscript database
The 9th International Symposium on Poisonous Plants (ISOPP9) was held from 15th-21st July, 2013, at the Inner Mongolia Agricultural University in Hohhot, Inner Mongolia Autonomous Region of China. The Symposium consisted of three days of oral and poster presentations, followed by a tour of the Xilin...
A tale of two cedars – International symposium on western redcedar and yellow-cedar
Constance Harrington
2010-01-01
From May 24-28, 2010, an international symposium on western redcedar (Thuja plicata) and yellowcedar (Callitropsis nootkatensis [syn., Chamaecyparis nootkatensis]) was held at the University of Victoria on Vancouver Island in British Columbia, Canada. The symposium was entitled âA Tale of Two Cedarsâ and...
Proceedings of the Symposium on Nondestructive Testing of Wood.
1964-01-01
This report summarizes the main points considered and the conclusions reached during the Symposium on Nondestructive Testing, October 7 to 9, 1963, at the Forest Products Laboratory. The purpose of this symposium was to bring research and industry leaders together to examine what is being done in nondestructive testing and discuss its applications to the wood products...
ERIC Educational Resources Information Center
2000
This document contains three papers from a symposium on human resource development (HRD) and employee outcomes that was conducted as part of a HRD conference. "The Impact of Participating in Human Resource Development Activities on Individuals' Job Level and Income" (Tim de Jong, Bob Witziers, Martin Mulder) presents the results of a…
Symposium on the Socialization of Black Women. (Houston, Texas, September 20-21, 1979).
ERIC Educational Resources Information Center
National Advisory Council on Women's Educational Programs, Washington, DC.
The purpose of the Black Women's Symposium was to provide information to the National Advisory Council on Women's Educational Programs to assist in the formulation of policy and legislative recommendations concerning the achievement of educational equity for black women and girls. The Symposium attempted to explore the impact of socialization on…
The proceedings document presentations at the 1989 Joint Symposium on Stationary Combustion NOx Control, held March 6-9, 1989, in San Francisco, CA. The symposium, sponsored by the U. S. EPA and EPRl, was the fifth in a series devoted solely to the discussion of control of NOx em...
The proceedings document presentations at the 1989 Joint Symposium on Stationary Combustion NOx Control, held March 6-9. 1989. in San Francisco, CA. The symposium, sponsored by the U.S. EPA and EPRI, was the fifth in a series devoted solely to the discussion of control of NOx emi...
ERIC Educational Resources Information Center
Henderson, Karla A., Ed.
Proceedings of a symposium sponsored by the Coalition for Education in the Outdoors (CEO) are presented in this report. The CEO is a network of institutions, organizations, agencies, businesses, and associations in support of outdoor education. This symposium, reflecting the work of CEO's Research Task Force, provides literature reviews and field…
NICBR Events at the Spring Research Festival | Poster
Poster Staff May 5 NICBR Scientific Symposium 8:30 a.m.–4 p.m., Building 549 Auditorium The National Interagency Confederation for Biomedical Research (NICBR) Scientific Symposium is open to postdocs, postbacs, graduate students, and technical support staff. The theme of this day-long symposium is “The Microbiome: Host Response to Disease”; however, presentations can cover any
ERIC Educational Resources Information Center
Baudino, Frank, Ed.; Ury, Connie Jo, Ed.; Park, Sarah G., Ed.
2008-01-01
Eighteen scholarly papers and eighteen abstracts comprise the content of the 8th "Brick and Click Libraries Symposium," held annually at Northwest Missouri State University in Maryville, Missouri. The proceedings, authored by academic librarians and presented at the symposium, portray the contemporary and future face of librarianship. Many of the…
Red alder: a state of knowledge.
Robert L. Deal; Constance A. Harrington
2006-01-01
In March 23-25, 2005, an international symposium on red alder was held at the University of Washington Center for Urban Horticulture in Seattle, WA. The symposium was entitled "Red alder: A State of Knowledge" and brought together regional experts to critically examine the economic, ecological and social values of red alder. The primary goal of the symposium...
ERIC Educational Resources Information Center
2000
This document contains three papers from a symposium on motivation for learning and performance that was conducted as part of a conference on human resource development (HRD). "A Holistic Approach towards Motivation To Learn" (Constantine Kontoghiorghes) reports on a study that identified the following key variables within and outside…
Status Report on the "Wildfires and Invasive Plants in American Deserts" Symposium and Workshop
USDA-ARS?s Scientific Manuscript database
The “Wildfires and Invasive Plants in American Deserts” symposium and workshop, was held in Reno, Nevada on December 9-11, 2008. The purpose of this symposium was to synthesize the current understanding of the interactions of wildfire and invasive plants in the four U.S. deserts and the Colorado Pla...
ERIC Educational Resources Information Center
Ury, Connie Jo, Ed.; Baudino, Frank, Ed.; Park, Sarah G., Ed.
2009-01-01
Twenty-one scholarly papers and fourteen abstracts comprise the content of the ninth annual "Brick and Click Libraries Symposium," held annually at Northwest Missouri State University in Maryville, Missouri. The peer-reviewed proceedings, authored by academic librarians and presented at the symposium, portray the contemporary and future…
ERIC Educational Resources Information Center
Baudino, Frank, Ed.; Johnson, Carolyn, Ed.
2012-01-01
Twenty scholarly papers and fifteen abstracts comprise the content of the twelfth annual Brick and Click Libraries Symposium, held at Northwest Missouri State University in Maryville, Missouri. The peer-reviewed proceedings, authored by academic librarians and presented at the symposium, portray the contemporary and future face of librarianship.…
The 1992 Shuttle Small Payloads Symposium
NASA Technical Reports Server (NTRS)
Thomas, Lawrence R. (Editor); Mosier, Frances L. (Editor)
1992-01-01
The 1992 Shuttle Small Payloads Symposium is a continuation of the Get Away Special Symposium convened from 1984 through 1988, and is proposed to continue as an annual conference. The focus of this conference is to educate potential Space Shuttle Payload Bay users as to the types of carrier systems provided and for current users to share experiment concepts.
Proceedings of the sixth California oak symposium: today's challenges, tomorrow's opportunities
Adina Merenlender; Douglas McCreary; Kathryn L. Purcell
2008-01-01
The Sixth Oak Symposium provided a forum for current research and outstanding case studies on oak woodland science and sustainability in California. This symposium was the latest in a series of conferences on this subject held every 5 years since 1979. The proceedings from this conference series represent the most comprehensive source of scientific and management...
A Formal Approach to Requirements-Based Programming
NASA Technical Reports Server (NTRS)
Hinchey, Michael G.; Rash, James L.; Rouff, Christopher A.
2005-01-01
No significant general-purpose method is currently available to mechanically transform system requirements into a provably equivalent model. The widespread use of such a method represents a necessary step toward high-dependability system engineering for numerous application domains. Current tools and methods that start with a formal model of a system and mechanically produce a provably equivalent implementation are valuable but not sufficient. The "gap" unfilled by such tools and methods is that the formal models cannot be proven to be equivalent to the requirements. We offer a method for mechanically transforming requirements into a provably equivalent formal model that can be used as the basis for code generation and other transformations. This method is unique in offering full mathematical tractability while using notations and techniques that are well known and well trusted. Finally, we describe further application areas we are investigating for use of the approach.
Applications of Formal Methods to Specification and Safety of Avionics Software
NASA Technical Reports Server (NTRS)
Hoover, D. N.; Guaspari, David; Humenn, Polar
1996-01-01
This report treats several topics in applications of formal methods to avionics software development. Most of these topics concern decision tables, an orderly, easy-to-understand format for formally specifying complex choices among alternative courses of action. The topics relating to decision tables include: generalizations fo decision tables that are more concise and support the use of decision tables in a refinement-based formal software development process; a formalism for systems of decision tables with behaviors; an exposition of Parnas tables for users of decision tables; and test coverage criteria and decision tables. We outline features of a revised version of ORA's decision table tool, Tablewise, which will support many of the new ideas described in this report. We also survey formal safety analysis of specifications and software.
NASA Astrophysics Data System (ADS)
Manning, James G.
2009-01-01
At the forefront of sharing the excitement of the exploration of the universe for 120 years, the Astronomical Society of the Pacific is poised to use its networks and services to implement education and outreach programs for the 2009 International Year of Astronomy (IYA2009). The ASP is partnering with NASA, the AAS and other astronomy and education organizations on IYA2009 projects, and is developing signature programs for implementation-with the overarching goal of bringing together scientists, educators and amateur astronomers in efforts to improve science education and science literacy through astronomy. The presentation will outline five major thrusts designed to serve the amateur astronomy community, formal educators, informal educators, the online community, and these communities in combination through IYA-related professional development, resources, and the facilitation of connections. The use of the proceedings of the IYA2009 Symposium in St. Louis in June, 2008 as an IYA2009 resource will be mentioned, and the ASP will encourage partners to work with the Society to help reach mutual goals and objectives for IYA2009 and beyond.
Formal methods and their role in digital systems validation for airborne systems
NASA Technical Reports Server (NTRS)
Rushby, John
1995-01-01
This report is based on one prepared as a chapter for the FAA Digital Systems Validation Handbook (a guide to assist FAA certification specialists with advanced technology issues). Its purpose is to explain the use of formal methods in the specification and verification of software and hardware requirements, designs, and implementations; to identify the benefits, weaknesses, and difficulties in applying these methods to digital systems used in critical applications; and to suggest factors for consideration when formal methods are offered in support of certification. The presentation concentrates on the rationale for formal methods and on their contribution to assurance for critical applications within a context such as that provided by DO-178B (the guidelines for software used on board civil aircraft); it is intended as an introduction for those to whom these topics are new.
Flight Mechanics/Estimation Theory Symposium
NASA Technical Reports Server (NTRS)
Fuchs, A. J. (Editor)
1980-01-01
Methods of determining satellite orbit and attitude parameters are considered. The Goddard Trajectory Determination System, the Global Positioning System, and the Tracking and Data Relay Satellites are among the satellite navigation systems discussed. Satellite perturbation theory, orbit/attitude determination using landmark data, and star measurements are also covered.
Biography: Learning To Do, Teaching To Do.
ERIC Educational Resources Information Center
Smith, Louis M.
This symposium paper reports on developing biographical qualitative research methods, mixing personal narrative and conceptualization. The section on "Learning To Do" begins with an autobiographical report on a study of an urban classroom during which the author developed his early techniques for qualitative research, including the…
PASSIVE AEROSOL SAMPLER FOR PM 10-2.5
This is an extended abstract of a presentation made at the Air and Waste Management Association's Symposium on Air Quality Measurement Methods and Technology, Durham, NC, May 9-11, 2006. The abstract describes the application of a passive aerosol sampler for coarse PM characteriz...
A Rainbow of Qualitative Approaches and Concerns.
ERIC Educational Resources Information Center
Fetterman, David M.
1987-01-01
Reviews the seven papers presented at a symposium entitled "Perennial Issues in Qualitative Research," part of the Annual Meeting of the American Educational Research Association (San Francisco, California, 1986), and included in this issue. Discusses the demonstrated usefulness of qualitative methods in educational research, and also…
Kick-off symposium series to help New Ph.D.s is a success
NASA Astrophysics Data System (ADS)
Chernys, Michael; Roughan, Moninya
The U.S. National Science Foundation (NSF) and the U.S. Office of Naval Research (ONR) recently sponsored the first of what is expected to be many symposia to be held every couple of years to help new scientists begin their research careers. The inaugural dissertation symposium, Physical Oceanography Dissertation Symposium I (PODS I), provided a forum for new Ph.D.s and doctoral candidates soon to receive their degrees in physical oceanography or a related field, to discuss science and forge future professional relationships. The next symposium is expected to be in October 2003, in Hawaii, in concert with the Dissertation Symposium for Chemical Oceanographers (DISCO); information to be posted at http://spars.aibs.org/pods/. Applications from prospective participants were sought internationally, with the sponsoring agencies and coordinators advertising by e-mail, through personal communication with established researchers, and by informing degree-granting institutions in the related fields.
NASA Astrophysics Data System (ADS)
Kožnjak, Boris
2018-05-01
In this paper, I analyze the historical context, scientific and philosophical content, and the implications of the thus far historically largely neglected Ninth Symposium of the Colston Research Society held in Bristol at the beginning of April 1957, the first major international event after World War II gathering eminent physicists and philosophers to discuss the foundational questions of quantum mechanics, in respect to the early reception of the causal quantum theory program mapped and defended by David Bohm during the five years preceding the Symposium. As will be demonstrated, contrary to the almost unanimously negative and even hostile reception of Bohm's ideas on hidden variables in the early 1950s, in the close aftermath of the 1957 Colston Research Symposium Bohm's ideas received a more open-minded and ideologically relaxed critical rehabilitation, in which the Symposium itself played a vital and essential part.
Photonics Applications and Web Engineering: WILGA 2017
NASA Astrophysics Data System (ADS)
Romaniuk, Ryszard S.
2017-08-01
XLth Wilga Summer 2017 Symposium on Photonics Applications and Web Engineering was held on 28 May-4 June 2017. The Symposium gathered over 350 participants, mainly young researchers active in optics, optoelectronics, photonics, modern optics, mechatronics, applied physics, electronics technologies and applications. There were presented around 300 oral and poster papers in a few main topical tracks, which are traditional for Wilga, including: bio-photonics, optical sensory networks, photonics-electronics-mechatronics co-design and integration, large functional system design and maintenance, Internet of Things, measurement systems for astronomy, high energy physics experiments, and other. The paper is a traditional introduction to the 2017 WILGA Summer Symposium Proceedings, and digests some of the Symposium chosen key presentations. This year Symposium was divided to the following topical sessions/conferences: Optics, Optoelectronics and Photonics, Computational and Artificial Intelligence, Biomedical Applications, Astronomical and High Energy Physics Experiments Applications, Material Research and Engineering, and Advanced Photonics and Electronics Applications in Research and Industry.
The paediatric cardiac centre for Africa--proceedings of the March 2012 symposium.
Kinsley, Robin H; Edwin, Frank; Entsua-Mensah, Kow
2013-04-01
The Pediatric Cardiac Centre for Africa (PCCA) was opened by national patron Mr Nelson Mandela on November 7, 2003. In 2008, the Centre's international pediatric cardiac symposium was introduced as a learning forum for pediatric cardiac surgeons and cardiologists in the continent. The symposium has consistently grown in attendance and attracted distinguished leaders in the field. The 2012 symposium featured Dr. Thomas Spray of Children's Hospital of Philadelphia, Dr. David Barron of Birmingham Children's Hospital, and Dr. John Brown of Indiana University School of Medicine as guest speakers. Experience of the Fontan procedure, the small aortic root, hypoplastic left heart syndrome, right ventricular outflow tract reconstruction, transposition of the great arteries, and interrupted aortic arch were the highlights of the symposium. In the "African Corner," centers in South Africa, Ghana, and Angola presented work done from across the African continent.
Fidler, Sarah; Thornhill, John; Malatinkova, Eva; Reinhard, Robert; Lamplough, Rosanne; Ananworanich, Jintanat; Chahroudi, Ann
2015-10-01
The International AIDS Society (IAS) convened the Towards an HIV Cure Symposium on 18-19 July 2015 in Vancouver, Canada, bringing together researchers and community to discuss the most recent advances in our understanding of HIV latency, reservoirs and a summary of the current clinical approaches towards an HIV cure. The symposium objectives were to: (1) gather researchers and stakeholders to present, review, and discuss the latest research towards an HIV cure; (2) promote cross-disciplinary global interactions between basic, clinical and social scientists; and (3) provide a platform for sharing information among scientists, clinicians, funders, media and civil society. The symposium examined basic molecular science and animal model data, and emerging and ongoing clinical trial results to prioritise strategies and determine the viral and immune responses that could lead to HIV remission without antiretroviral therapy. This report summarises some of the major findings discussed during the symposium.
Bridging the gap between formal and experience-based knowledge for context-aware laparoscopy.
Katić, Darko; Schuck, Jürgen; Wekerle, Anna-Laura; Kenngott, Hannes; Müller-Stich, Beat Peter; Dillmann, Rüdiger; Speidel, Stefanie
2016-06-01
Computer assistance is increasingly common in surgery. However, the amount of information is bound to overload processing abilities of surgeons. We propose methods to recognize the current phase of a surgery for context-aware information filtering. The purpose is to select the most suitable subset of information for surgical situations which require special assistance. We combine formal knowledge, represented by an ontology, and experience-based knowledge, represented by training samples, to recognize phases. For this purpose, we have developed two different methods. Firstly, we use formal knowledge about possible phase transitions to create a composition of random forests. Secondly, we propose a method based on cultural optimization to infer formal rules from experience to recognize phases. The proposed methods are compared with a purely formal knowledge-based approach using rules and a purely experience-based one using regular random forests. The comparative evaluation on laparoscopic pancreas resections and adrenalectomies employs a consistent set of quality criteria on clean and noisy input. The rule-based approaches proved best with noisefree data. The random forest-based ones were more robust in the presence of noise. Formal and experience-based knowledge can be successfully combined for robust phase recognition.
A Natural Language Interface Concordant with a Knowledge Base.
Han, Yong-Jin; Park, Seong-Bae; Park, Se-Young
2016-01-01
The discordance between expressions interpretable by a natural language interface (NLI) system and those answerable by a knowledge base is a critical problem in the field of NLIs. In order to solve this discordance problem, this paper proposes a method to translate natural language questions into formal queries that can be generated from a graph-based knowledge base. The proposed method considers a subgraph of a knowledge base as a formal query. Thus, all formal queries corresponding to a concept or a predicate in the knowledge base can be generated prior to query time and all possible natural language expressions corresponding to each formal query can also be collected in advance. A natural language expression has a one-to-one mapping with a formal query. Hence, a natural language question is translated into a formal query by matching the question with the most appropriate natural language expression. If the confidence of this matching is not sufficiently high the proposed method rejects the question and does not answer it. Multipredicate queries are processed by regarding them as a set of collected expressions. The experimental results show that the proposed method thoroughly handles answerable questions from the knowledge base and rejects unanswerable ones effectively.
Verification of Emergent Behaviors in Swarm-based Systems
NASA Technical Reports Server (NTRS)
Rouff, Christopher; Vanderbilt, Amy; Hinchey, Mike; Truszkowski, Walt; Rash, James
2004-01-01
The emergent properties of swarms make swarm-based missions powerful, but at the same time more difficult to design and to assure that the proper behaviors will emerge. We are currently investigating formal methods and techniques for verification and validation of swarm-based missions. The Autonomous Nano-Technology Swarm (ANTS) mission is being used as an example and case study for swarm-based missions to experiment and test current formal methods with intelligent swarms. Using the ANTS mission, we have evaluated multiple formal methods to determine their effectiveness in modeling and assuring swarm behavior. This paper introduces how intelligent swarm technology is being proposed for NASA missions, and gives the results of a comparison of several formal methods and approaches for specifying intelligent swarm-based systems and their effectiveness for predicting emergent behavior.
ERIC Educational Resources Information Center
Gazda, George M., Ed.
The theme of the fifth annual Symposium on Group Procedures was "The Use of Group Procedures in the Prevention and Treatment of Drug and Alcohol Addiction." Symposium participants included professionals in counseling; clinical, school, and educational psychology, psychiatry, and social work. In addition, invitations were sent to members of…
The Third International Symposium on Space Terahertz Technology: Symposium proceedings
NASA Technical Reports Server (NTRS)
1992-01-01
Papers from the symposium are presented that are relevant to the generation, detection, and use of the terahertz spectral region for space astronomy and remote sensing of the Earth's upper atmosphere. The program included thirteen sessions covering a wide variety of topics including solid-state oscillators, power-combining techniques, mixers, harmonic multipliers, antennas and antenna arrays, submillimeter receivers, and measurement techniques.
Proceedings: 19th International Nondestructive Testing and Evaluation of Wood Symposium
Robert J. Ross; Raquel Gonçalves; Xiping Wang
2015-01-01
The 19th International Nondestructive Testing and Evaluation of Wood Symposium was hosted by the University of Campinas, College of Agricultural Engineering (FEAGRI/UNICAMP), and the Brazilian Association of Nondestructive Testing and Evaluation (ABENDI) in Rio de Janeiro, Brazil, on September 22â25, 2015. This Symposium was a forum for those involved in nondestructive...
35th Aerospace Mechanisms Symposium
NASA Technical Reports Server (NTRS)
Boesiger, Edward A. (Compiler); Doty, Laura W. (Technical Monitor)
2001-01-01
The proceedings of the 35th Aerospace Mechanisms Symposium are reported. Ames Research Center hosted the conference, which was held at the Four Points Sheraton, Sunnyvale, California, on May 9-11, 2001. The symposium was sponsored by the Mechanisms Education Association. Technology areas covered included bearings and tribology; pointing, solar array, and deployment mechanisms; and other mechanisms for spacecraft and large space structures.
ERIC Educational Resources Information Center
Fleming, Virginia; And Others
This report describes the proceedings of a symposium on the Special Supplemental Food Program for Women, Infants and Children (WIC) and the Commodity Supplemental Food Program (SFP), held in January, 1977. The symposium was intended to bring together a variety of individuals concerned with providing adequate nutrition and health care to low-income…
ERIC Educational Resources Information Center
National Academy of Sciences - National Research Council, Washington, DC. Inst. of Lab. Animal Resources.
This volume contains the prepared papers and discussions of a National Academy of Sciences - National Research Council Symposium on the Future of Animals, Cells, Models, and Systems in Research, Development, Education, and Testing. The purpose of the symposium was to examine the past, present, and future contributions of animals to human health…
ERIC Educational Resources Information Center
Groppel, Jack L., Ed.; Sears, Ronald G., Ed.
Researchers, coaches, and players of racquet sports were brought together for this symposium on four racquet sports. Although most of the papers presented at the symposium were written by Americans, one of the speakers was from Canada, and another was from Australia. The sports represented were badminton, racquetball, tennis, and squash. In Part…
USDA-ARS?s Scientific Manuscript database
The 12th I. E. Melhus Graduate Student Symposium was held on 6 August 2012 during the Annual meeting of the American Phytopathological Society (APS) in Providence, RI. The theme for this symposium was “Host Plant Resistance and Disease Management: Current Status and Future Outlook”. The APS Host R...
ERIC Educational Resources Information Center
Ortego, Felipe, Comp.; Conde, David, Comp.
Over 200 participants from 10 states and 17 universities attended "The First National Symposium on Chicano Literature and Critical Analysis." Five of the papers presented at the symposium are given in this publication. The papers cover Chicano poetry, novel, drama, and popular folklore humor. "National Character vs Universality in…
ERIC Educational Resources Information Center
MEE Productions Inc., Philadelphia, PA. Research Div.
This final report attempts to capture the work and atmosphere of the recent symposium convened by Motivational Educational Entertainment, Inc. (MEE), a black-owned communications research, consulting, and video production company. In its commitment to helping urban youth, MEE conducted a study of the "hip-hop" generation and its…
ERIC Educational Resources Information Center
Council of Europe, Strasbourg (France). Documentation Center for Education in Europe.
The symposium on research into preschool education was the second in a series designed to facilitate exchange of views, experiences and other information among educational researchers. This volume contains a selection of the papers presented. The following are noted in the conclusions of the symposium: (1) preschool education should work in close…
ERIC Educational Resources Information Center
2000
This document contains three papers from a symposium on emotion and behavior in the workplace that was conducted as part of a conference on human resource development (HRD). "Emotion Work, and Perceptions of Affective Culture in a Military Nonprofit Organization" (Jamie L. Callahan, David R. Schwandt) reports on a study of the emotion…
An Introduction to the Third International Symposium on Career Development and Public Policy
ERIC Educational Resources Information Center
McCowan, Colin
2006-01-01
This article presents the highlights of the Third International Symposium on Career Development and Public Policy, which was held at the Manly Pacific Hotel in Sydney, Australia from April 21-24, 2006. This symposium built on those held in Ottawa and Vancouver in 1999 and 2001 respectively and the Organisation for Economic Co-operation and…
ERIC Educational Resources Information Center
Education Resources Inst., Boston, MA.
These proceedings include five papers presented at a symposium on issues related to the increasing amounts of student borrowing and resulting student debt. Also included is a synopsis of a roundtable discussion addressing core questions framed by the symposium, as well as several public policy options for addressing student loan debt burden. The…
Proceedings of the first international symposium on acid precipitation and the forest ecosystem
L.S. Dochinger; T.A. Seliga
1976-01-01
These Proceedings report on the results of The First International Symposium on Acid Precipitation and the Forest Ecosystem which was held at The Ohio State University, Columbus, Ohio, U.S.A., on May 12-15, 1975. The Symposium focused on four related topics: (1) atmospheric chemistry, transport and precipitation; and effects of acidic precipitation on (2) aquatic...
30th Aerospace Mechanisms Symposium
NASA Technical Reports Server (NTRS)
Bradley, Obie H., Jr. (Compiler); Rogers, John F. (Compiler)
1996-01-01
The proceedings of the 30th Aerospace Mechanisms Symposium are reported. NASA Langley Research Center hosted the proceedings held at the Radisson Hotel in Hampton, Virginia on May 15-17, 1996, and Lockheed Martin Missiles and Space Company, Inc. co-sponsored the symposium. Technological areas covered include bearings and tribology; pointing, solar array, and deployment mechanisms; orbiter/space station; and other mechanisms for spacecraft.
ERIC Educational Resources Information Center
2000
This packet contains three papers on self-directed and incidental learning from a symposium on human resource development (HRD). The first paper, "Self-Directed Learning for Supervisory Development" (Judy O'Neil, Maria Lamattina), reports on a study that looks at what research says needs to be in place to engage workers in self-directed learning…
Richard B. Standiford; Theodore J. Weller; Douglas D. Piirto; John D Stuart
2012-01-01
The Coast Redwood Forests in a Changing California Science Symposium was held June 21-23, 2011 at UC Santa Cruz with just under 300 registrants in attendance. Participants ranged in background from graduate level students to university forestry faculty, land managers, and conservation groups, public agencies, and land trust members. The symposium was...
Armando González-Cabán; Philip N. Omi
1999-01-01
These proceedings summarize the results of a symposium designed to address current issues of agencies with wildland fire protection responsibility at the Federal and State levels. The topics discussed at the symposium include fire economics, planning, and policy on wildfire and prescribed fire. Representatives from several international organizations presented the...
Tailoring the Education Message: A Diversity of Settings and Needs. Symposium Report
ERIC Educational Resources Information Center
Academy for Educational Development, 2007
2007-01-01
This is a report on the Symposium that accompanied the 15-16 May, 2007 meeting of the UNAIDS Inter-Agency Task Team (IATT) on Education. The IATT Symposium provided an opportunity to address in some detail two selected problems that are critical to stemming the advance of HIV infection--areas that have had some attention, but remain insufficiently…
Armando González-Cabán
2009-01-01
These proceedings summarize the results of a symposium designed to address current issues of agencies with wildland fire protection responsibility at the federal and state levels in the United States as well as agencies in the international community. The topics discussed at the symposium included regional, national, and global vision of forest fires: common problems...
Deborah J. Chavez
1992-01-01
The growing demand for recreation at the wildland-urban interface throughout the United States poses new challenges for natural resource managers. To enable resource managers and researchers to exchange information and ideas, the first Symposium on Social Aspects and Recreation Research was held. The format of the symposium offered various opportunities for interactive...
Alan Watson; Janet Sproull; Liese Dean
2007-01-01
The Eighth World Wilderness Congress met in Anchorage, Alaska, in 2005. The symposium on science and stewardship to protect and sustain wilderness values was the largest of multiple symposia held in conjunction with the Congress. The papers contained in this proceedings were generated at this symposium, submitted by the author or authors for consideration for inclusion...
ERIC Educational Resources Information Center
Grabowski, Barbara L.
An introduction to a symposium on interactive video, this brief paper announces that the symposium will continue the debate on whether media are simply delivery vehicles for instruction by considering the inherent properties of interactive video and its impact on achievement, including the way in which the properties of this medium both dictate…
ERIC Educational Resources Information Center
Ury, Connie Jo., Ed.; Baudino, Frank, Ed.
2005-01-01
These proceedings document the fifth year of the "Brick and Click Libraries Symposium", held annually at Northwest Missouri State University in Maryville, Missouri. Thirty five peer-reviewed papers and abstracts, written by academic librarians, and presented at the symposium are included in this volume. Many of the entries have…
ERIC Educational Resources Information Center
Schlenker, Richard M.
This document reviews the Pacific Region Junior Science and Humanities Symposium (PJSHS) program for 2003-2004 which is a 10-month, precollege student research program held in Japan. The theme is AtmosphereThe Other Ocean. The program includes a one-week symposium of student delegates who have completed research projects in the sciences or have…
Welcome to the sudden oak death third science symposium
Susan J. Frankel
2008-01-01
On behalf of the United States Department of Agriculture (USDA)-Forest Service, Pacific Southwest Research Station and the California Oak Mortality Task Force, it is my pleasure to welcome you to the Sudden Oak Death Third Science Symposium. Looking back at the first sudden oak death science symposium held in Monterey in December 2002, it is amazing to see how far we...
ERIC Educational Resources Information Center
de Jong, Onno, Ed.; Savelsbergh, Elwin R., Ed.; Alblas, Art, Ed.
The second Utrecht/ICASE Symposium brought a variety of European colleagues together to discuss scientific literacy which has played an important role in curriculum development for the past 25 years. This proceedings contains papers presented at the symposium. Papers include: (1) "Teaching for scientific literacy: An introduction" (Elwin…
ERIC Educational Resources Information Center
Mitchell, Dick; And Others
The proceedings of the fifth symposium on mountain and survival medicine include the program for the 4-day conference which was addressed by 21 guest lecturers from Canada, Nepal, and the United States. The proceedings include abstracts for and background information on the authors of 17 papers. It also includes the texts of 13 symposium papers:…
Trend analyses and projections using national forest inventory data
Greg C. Liknes; Randall S. Morin; Charles D. Canham
2013-01-01
We present a collection of papers derived from the 2012 Forest Inventory and Analysis (FIA) Symposium held on December 4-6, 2012 in Baltimore, MD, USA. The symposium featured 128 oral presentations with nearly 200 attendees from the United States and other countries. A proceedings from the symposium included 75 papers as well as abstracts for all presentations and...
ERIC Educational Resources Information Center
Romaniuk, Gene, Ed.
This report of a symposium for educators in the province of Alberta provides background information on the symposium, a set of six major recommendations made by the participants, reports from the working groups to which participants were assigned; and the text of 12 papers presented at the meeting. The nine chapters of the report document the…
Armando González-Cabán
2008-01-01
hese proceedings summarize the results of a symposium designed to address current issues of agencies with wildland fire protection responsibility at the federal and state levels in the United States as well as agencies in the international community. The topics discussed at the symposium included fire economics, theoretical and methodological approaches to strategic...
ERIC Educational Resources Information Center
Baudino, Frank, Ed.; Ury, Connie Jo, Ed.; Park, Sarah G., Ed.
2006-01-01
These proceedings document the sixth year of the "Brick and Click Libraries Symposium," held annually at Northwest Missouri State University in Maryville, Missouri, on November 3, 2006. Thirty-four peer-reviewed papers and abstracts, written by academic librarians, and presented at the symposium are included in this volume. Many of the…
Microstructural processes in irradiated materials
NASA Astrophysics Data System (ADS)
Byun, Thak Sang; Kaoumi, Djamel; Bai, Xian-Ming
2017-12-01
The 8th symposium on Microstructural Progresses in Irradiated Materials (MPIM) was held at San Diego Convention Center and Marriott Marquis & Marina, San Diego, California, USA, February 26-March 2, 2017, as part of the TMS 2017 146th Annual Meeting and Exhibition. Since 2003, when the first MPIM symposium was held in the same place, the symposium has been held in odd years and has grown to one of the biggest symposia in the TMS Annual Meeting which invites more than sixty symposia. In the 8th MPIM symposium, a total of 106 oral and poster presentations, including 16 invited talks, were delivered for 4 days.
Women's technical and professional symposium
DOE Office of Scientific and Technical Information (OSTI.GOV)
Budil, K; Mack, L
1999-10-01
This is the fourth LLNL-sponsored Women's Technical and Professional Symposium. This year's theme: ''Excellence through the Millennium,'' focuses on the cutting edge work being done at LLNL and the many contributions of women to our science and technology mission. We hope this Symposium gives each person attending a better idea of the broad scope of the Laboratory's mission and their place within the organization. It is easy to lose sight of the fact that we all work in support of science and technology despite the diversity of our experience. This Symposium provides an opportunity to reflect on our past andmore » to begin to plan our future.« less
Li-Fraumeni syndrome: Discovery and future challenges - Joseph Fraumeni Symposium
In May 2014, NCI’s Division of Cancer Epidemiology and Genetics (DCEG) hosted Cancer Epidemiology: From Pedigrees to Populations, a scientific symposium honoring 50 years of visionary leadership by Dr. Joseph F. Fraumeni, Jr., the founding Director of DCEG. In this video, Dr. Stephen Chanock of NCI provides opening remarks. Dr. David Schottenfeld of the University of Michigan moderates a session on the search for cancer susceptibility genes. Dr. Louise Strong of University of Texas MD Anderson Cancer Center speaks about the discovery and future challenges of Li-Fraumeni syndrome research. For more information on this symposium, visit http://dceg.cancer.gov/news-events/Fraumeni-symposium-speakers.
Sixth Annual Workshop on Space Operations Applications and Research (SOAR 1992), volume 2
NASA Technical Reports Server (NTRS)
Krishen, Kumar (Editor)
1993-01-01
This document contains papers presented at the Space Operations, Applications, and Research Symposium (SOAR) hosted by the U.S. Air Force (USAF) on 4-6 Aug. 1992. The symposium was cosponsored by the Air Force Material Command and by NASA/JSC. Key technical areas covered during the symposium were robotics and telepresence, automation and intelligent systems, human factors, life sciences, and space maintenance and servicing. The SOAR differed from most other conferences in that it was concerned with Government-sponsored research and development relevant to aerospace operations. Symposium proceedings include papers covering various disciplines presented by experts from NASA, the USAF, universities, and industry.
The Energetic Gamma-Ray Experiment Telescope (EGRET) Science Symposium
NASA Technical Reports Server (NTRS)
Fichtel, Carl E. (Editor); Hunter, Stanley D. (Editor); Sreekumar, Parameswaran (Editor); Stecker, Floyd W. (Editor)
1990-01-01
The principle purpose of this symposium is to provide the EGRET (Energetic Gamma-Ray Experiment Telescope) scientists with an opportunity to study and improve their understanding of high energy gamma ray astronomy. The Symposium began with the galactic diffusion radiation both because of its importance in studying galactic cosmic rays, galactic structure, and dynamic balance, and because an understanding of its characteristics is important in the study of galactic sources. The galactic objects to be reviewed included pulsars, bursts, solar flares, and other galactic sources of several types. The symposium papers then proceeded outward from the Milky Way to normal galaxies, active galaxies, and the extragalactic diffuse radiation.
Grosberg, Richard K.; Rand, David M.; Normark, Benjamin B.
2013-01-01
This is a special issue of Genetica that has its origins in a symposium held in honor of Richard G. Harrison at Ithaca, New York on July 22–23. Former students of Rick Harrison organized the symposium and most of the speakers were former students, as well. The quality and breadth of the talks were a testament to Rick’s influence as a thinker, synthesizer, and mentor and it is only appropriate to reflect on Rick’s contributions to the fields of evolutionary ecology, systematics, and genetics in this preface to the symposium articles. PMID:21152955
NASA Technical Reports Server (NTRS)
Tripp, John S.; Tcheng, Ping; Burner, Alpheus W.; Finley, Tom D.
1999-01-01
The first International Symposium on Strain Gauge Balances was sponsored under the auspices of the NASA Langley Research Center (LaRC), Hampton, Virginia during October 22-25, 1996. Held at the LaRC Reid Conference Center, the Symposium provided an open international forum for presentation, discussion, and exchange of technical information among wind tunnel test technique specialists and strain gauge balance designers. The Symposium also served to initiate organized professional activities among the participating and relevant international technical communities. The program included a panel discussion, technical paper sessions, tours of local facilities, and vendor exhibits. Over 130 delegates were in attendance from 15 countries. A steering committee was formed to plan a second international balance symposium tentatively scheduled to be hosted in the United Kingdom in 1998 or 1999. The Balance Symposium was followed by the half-day Workshop on Angle of Attack and Model Deformation on the afternoon of October 25. The thrust of the Workshop was to assess the state of the art in angle of attack (AoA) and model deformation measurement techniques and to discuss future developments.
NASA Technical Reports Server (NTRS)
Templeton, Geoffrey B. (Editor); Stewart, Lynne M. (Editor); Still, William T. (Editor)
1992-01-01
The Eighth Annual NASA/Contractors Conference and 1991 National Symposium on Quality and Productivity provided a forum to exchange knowledge and experiences in these areas of continuous improvement. The more than 1,100 attendees from government, industry, academia, community groups, and the international arena had a chance to learn about methods, tools, and strategies for excellence and to discuss continuous improvement strategies, successes, and failures. This event, linked via satellite to concurrent conferences hosted by the NASA Goddard Space Flight Center in Greenbelt, Maryland, and Martin Marietta Astronautics Group in Denver, Colorado, also explored extending the boundaries of Total Quality Management to include partnerships for quality within communities and encouraged examination, evaluation, and change to incorporate the principles of continuous improvement.
Geohydrology of the Dakota Aquifer
NASA Astrophysics Data System (ADS)
Johnson, Ivan
This book is the result of a symposium on the geology and hydrology of the Dakota Aquifer system. The symposium and this proceedings were dedicated to C. V. Theis, who is widely considered to be the father of modern quantitative methods in groundwater hydrology. The aquifer area that is discussed in this series o f papers coincides to a great extent with the Central Midwest Regional Aquifer System Analysis (RASA) project. This was was one of the many RASA projects shown in the map on the cover of the April 14, 1987, Eos. The proceedings provides a multidisciplinary look at details concerning the hydrology and geology overviews, as well as more specialized discussions of the hydrodynamics of petroleum accumulation, geothermal assessment, hydrochemistry, and water use in the Dakota Sandstone and equivalent units.
NASA Astrophysics Data System (ADS)
Zheng, Mingfang; He, Cunfu; Lu, Yan; Wu, Bin
2018-01-01
We presented a numerical method to solve phase dispersion curve in general anisotropic plates. This approach involves an exact solution to the problem in the form of the Legendre polynomial of multiple integrals, which we substituted into the state-vector formalism. In order to improve the efficiency of the proposed method, we made a special effort to demonstrate the analytical methodology. Furthermore, we analyzed the algebraic symmetries of the matrices in the state-vector formalism for anisotropic plates. The basic feature of the proposed method was the expansion of field quantities by Legendre polynomials. The Legendre polynomial method avoid to solve the transcendental dispersion equation, which can only be solved numerically. This state-vector formalism combined with Legendre polynomial expansion distinguished the adjacent dispersion mode clearly, even when the modes were very close. We then illustrated the theoretical solutions of the dispersion curves by this method for isotropic and anisotropic plates. Finally, we compared the proposed method with the global matrix method (GMM), which shows excellent agreement.
Denicoff, Andrea M; McCaskill-Stevens, Worta; Grubbs, Stephen S; Bruinooge, Suanna S; Comis, Robert L; Devine, Peggy; Dilts, David M; Duff, Michelle E; Ford, Jean G; Joffe, Steven; Schapira, Lidia; Weinfurt, Kevin P; Michaels, Margo; Raghavan, Derek; Richmond, Ellen S; Zon, Robin; Albrecht, Terrance L; Bookman, Michael A; Dowlati, Afshin; Enos, Rebecca A; Fouad, Mona N; Good, Marjorie; Hicks, William J; Loehrer, Patrick J; Lyss, Alan P; Wolff, Steven N; Wujcik, Debra M; Meropol, Neal J
2013-11-01
Many challenges to clinical trial accrual exist, resulting in studies with inadequate enrollment and potentially delaying answers to important scientific and clinical questions. The National Cancer Institute (NCI) and the American Society of Clinical Oncology (ASCO) cosponsored the Cancer Trial Accrual Symposium: Science and Solutions on April 29-30, 2010 to examine the state of accrual science related to patient/community, physician/provider, and site/organizational influences, and identify new interventions to facilitate clinical trial enrollment. The symposium featured breakout sessions, plenary sessions, and a poster session including 100 abstracts. Among the 358 attendees were clinical investigators, researchers of accrual strategies, research administrators, nurses, research coordinators, patient advocates, and educators. A bibliography of the accrual literature in these three major areas was provided to participants in advance of the meeting. After the symposium, the literature in these areas was revisited to determine if the symposium recommendations remained relevant within the context of the current literature. Few rigorously conducted studies have tested interventions to address challenges to clinical trials accrual. Attendees developed recommendations for improving accrual and identified priority areas for future accrual research at the patient/community, physician/provider, and site/organizational levels. Current literature continues to support the symposium recommendations. A combination of approaches addressing both the multifactorial nature of accrual challenges and the characteristics of the target population may be needed to improve accrual to cancer clinical trials. Recommendations for best practices and for future research developed from the symposium are provided.
Laser induced damage in optical materials: tenth ASTM symposium.
Glass, A J; Guenther, A H
1979-07-01
The tenth annual Symposium on Optical Materials for High Power Lasers (Boulder Damage Symposium) was held at the National Bureau of Standards in Boulder, Colorado, 12-14 September 1978. The symposium was held under the auspices of ASTM Committee F-1, Subcommittee on Laser Standards, with the joint sponsorship of NBS, the Defense Advanced Research Project Agency, the Department of Energy, and the Office of Naval Research. About 175 scientists attended, including representatives of the United Kingdom, France, Canada, Japan, West Germany, and the Soviet Union. The symposium was divided into sessions concerning the measurement of absorption characteristics, bulk material properties, mirrors and surfaces, thin film damage, coating materials and design, and breakdown phenomena. As in previous years, the emphasis of the papers presented was directed toward new frontiers and new developments. Particular emphasis was given to materials for use from 10.6 microm to the UV region. Highlights included surface characterization, thin film-substrate boundaries, and advances in fundamental laser-matter threshold interactions and mechanisms. The scaling of damage thresholds with pulse duration, focal area, and wavelength was also discussed. In commemoration of the tenth symposium in this series, a number of comprehensive review papers were presented to assess the state of the art in various facets of laser induced damage in optical materials. Alexander J. Glass of Lawrence Livermore Laboratory and Arthur H. Guenther of the Air Force Weapons Laboratory were co-chairpersons. The eleventh annual symposium is scheduled for 30-31 October 1979 at the National Bureau of Standards, Boulder, Colorado.
Instructional Strategies [in HRD].
ERIC Educational Resources Information Center
1995
These four papers are from a symposium on instructional strategies that was facilitated by Joseph Kessels at the 1995 Academy of Human Resource Development (HRD) conference. "Developing Supervisory Expertise: The Effects of an Inductive versus a Deductive Training Method on the Job Behaviors of Supervisors" (Margaret C. Lohman) discusses a study…
Two international scientific societies dedicated to research in neurotoxicology and neurobehavioral toxicology are the International Neurotoxicology Association (INA) and the International Congress on Occupational Health International Symposium on Neurobehavioral Methods and Effe...
CSP- 5th Champalimaud Neuroscience Symposium
2017-03-20
combination of circuit neuroscience and state of the art genomic engineering approaches such as CRISPR are likely to lead to a new wave of exciting...USA presented the power of zebrafish for developing novel technologies. He showed · ho creative the use of genome engineering methods based on CRISPR
Studies in First and Second Language Acquisition.
ERIC Educational Resources Information Center
Eckman, Fred R., Ed.; Hastings, Ashley J., Ed.
Papers presented at a 1977 symposium on language acquisition held at the University of Wisconsin/Milwaukee are included. Contents are as follows: "Assumptions, Methods and Goals in Language Acquisition Research" (Sheldon); "The Mother as LAD: Interaction between Order and Frequency of Parental Input and Child Production"…
Requirements to Design to Code: Towards a Fully Formal Approach to Automatic Code Generation
NASA Technical Reports Server (NTRS)
Hinchey, Michael G.; Rash, James L.; Rouff, Christopher A.
2004-01-01
A general-purpose method to mechanically transform system requirements into a provably equivalent model has yet to appear. Such a method represents a necessary step toward high-dependability system engineering for numerous possible application domains, including sensor networks and autonomous systems. Currently available tools and methods that start with a formal model of a system and mechanically produce a provably equivalent implementation are valuable but not sufficient. The gap that current tools and methods leave unfilled is that their formal models cannot be proven to be equivalent to the system requirements as originated by the customer. For the classes of systems whose behavior can be described as a finite (but significant) set of scenarios, we offer a method for mechanically transforming requirements (expressed in restricted natural language, or in other appropriate graphical notations) into a provably equivalent formal model that can be used as the basis for code generation and other transformations.
Systems, methods and apparatus for verification of knowledge-based systems
NASA Technical Reports Server (NTRS)
Rash, James L. (Inventor); Gracinin, Denis (Inventor); Erickson, John D. (Inventor); Rouff, Christopher A. (Inventor); Hinchey, Michael G. (Inventor)
2010-01-01
Systems, methods and apparatus are provided through which in some embodiments, domain knowledge is translated into a knowledge-based system. In some embodiments, a formal specification is derived from rules of a knowledge-based system, the formal specification is analyzed, and flaws in the formal specification are used to identify and correct errors in the domain knowledge, from which a knowledge-based system is translated.
ERIC Educational Resources Information Center
Jacob, Bridgette L.
2013-01-01
The difficulties introductory statistics students have with formal statistical inference are well known in the field of statistics education. "Informal" statistical inference has been studied as a means to introduce inferential reasoning well before and without the formalities of formal statistical inference. This mixed methods study…
1983-01-01
1980 (this conference) attests to method , that in admittedly a phased b array context, and to method being a bit complex. Polarization control...Computation of the phase shift was made by two methods . The first used equations in Marcuvitz 4 for an E-plane waveguide bend, with changes in e i...made by adjustment of the waveguide width. The second method (Bahar-) requi-edi solving the wave equation in cylindrical coordinates. 28 Because the
The Fifth NASA Symposium on VLSI Design
NASA Technical Reports Server (NTRS)
1993-01-01
The fifth annual NASA Symposium on VLSI Design had 13 sessions including Radiation Effects, Architectures, Mixed Signal, Design Techniques, Fault Testing, Synthesis, Signal Processing, and other Featured Presentations. The symposium provides insights into developments in VLSI and digital systems which can be used to increase data systems performance. The presentations share insights into next generation advances that will serve as a basis for future VLSI design.
ERIC Educational Resources Information Center
Smulyan, Lisa
2016-01-01
This introduction to the second part of our Symposium on Teachers as Leaders examines the role of collaboration and writing as part of teacher leadership. The first part of the symposium described teacher leadership as a stance that values professionalism and the intellectual, political, and collaborative work of teaching. This introduction…
ERIC Educational Resources Information Center
Learning Disabilities Association of America, Pittsburgh, PA.
This proceedings document includes 11 papers presented at a 1992 symposium on the impact of current educational reform initiatives on students with learning disabilities. Preceding the papers is a summary of the outcomes of the symposium, which are enumerated in terms of questions generated, commonalities, unresolved topics, and next steps. Papers…
ERIC Educational Resources Information Center
Oestreicher, Cheryl, Ed.
2015-01-01
The 2015 CLIR Unconference & Symposium was the capstone event to seven years of grant funding through CLIR's Cataloging Hidden Special Collections and Archives program. These proceedings group presentations by theme. Collaborations provides examples of multi-institutional projects, including one international collaboration; Student and Faculty…
Deborah J. Chavez
1995-01-01
Examination of natural resources often leaves out one important component-the human element. To enable resource managers and researchers to exchange information and ideas about the human dimensions of natural resources, the second Symposium on Social Aspects and Recreation Research was held February 23-25, 1994, in San Diego, California. The format of the symposium...
The Fifth Symposium on Numerical and Physical Aspects of Aerodynamic Flows
NASA Technical Reports Server (NTRS)
1992-01-01
This volume contains the papers presented at the Fifth Symposium on Numerical and Physical Aspects of Aerodynamic Flows, held at the California State University, Long Beach, from 13 to 15 January 1992. The symposium, like its immediate predecessors, considers the calculation of flows of relevance to aircraft, ships, and missiles with emphasis on the solution of two-dimensional unsteady and three-dimensional equations.
ERIC Educational Resources Information Center
Dean, Diana; And Others
This document is the transcript of a symposium that presented information to persons employed or anticipating employment in the human services field in order to assist them in providing support for survivors attempting to cope with the death of a special person. The symposium included the following topics: models of responses to bereavement (those…
ERIC Educational Resources Information Center
Benjamin, L. Ann, Ed.; Lord, Jerome, Ed.
This document contains 10 commissioned papers presented at a research design symposium on family literacy. It also contains a summary of the symposium, which was structured around five themes: assumptions and perceptions about family literacy; what we know from research and practice and how we know it; defining the characteristics of family…
ERIC Educational Resources Information Center
Pusser, Brian
2000-01-01
This paper summarizes the proceedings of the 1999 Symposium on Research and Scholarship on Higher Education Governance, Trusteeship, and the Academic Presidency sponsored by the Association of Governing Boards of Universities and Colleges and the Curry School of Education at the University of Virginia. The symposium addressed the state of research…
10 Years of the LLAS eLearning Symposium: Case Studies in Good Practice
ERIC Educational Resources Information Center
Borthwick, Kate, Ed.; Corradini, Erika, Ed.; Dickens, Alison, Ed.
2015-01-01
This e-book is a celebration of and reflection on 10 years of the LLAS elearning symposium, an event which is run by the Centre for Languages, Linguistics and Area Studies (LLAS) based at the University of Southampton, UK. Over the past ten years, the symposium has followed the innovations brought about in the digital realm and has offered a…
ERIC Educational Resources Information Center
Bashaw, W. L., Ed.; Findley, Warren G., Ed.
This volume contains the five major addresses and subsequent discussion from the Symposium on the General Linear Models Approach to the Analysis of Experimental Data in Educational Research, which was held in 1967 in Athens, Georgia. The symposium was designed to produce systematic information, including new methodology, for dissemination to the…
Spectroscopic Characterization of Microplasmas
2008-01-28
18th International Symposium on Plasma Chemistry , Kyoto, August, 2007. 3) H. Nakanishi, D.-S. Lee, O. Sakai and K. Tachibana: “Electron density and...collisional frequency in plasma with terahertz time-domain spectroscopy”, 18th International Symposium on Plasma Chemistry , Kyoto, August, 2007. 4) O...Symposium on Plasma Chemistry , Kyoto, August, 2007. 5) M. Kimura, T. Shirafuji, O. Sakai and K. Tachibana: “Discharge characteristics of the plasma in
ERIC Educational Resources Information Center
Reiman, John W., Ed.; Johnson, Pattie A., Ed.
This national symposium was held to identify critical issues and "best practices" in providing services for individuals with deaf-blindness and to develop strategies for future actions. The symposium focused on several specific topical areas in an effort to find ways in which resources might be marshalled at the federal, state, local, family, and…
ERIC Educational Resources Information Center
1987
In the introductory paper Patricia Senn Breivik provides background information on and an overview of a national symposium. This introduction is followed by the full text of nine papers presented at the symposium: (1) "The Academic Library and Education for Leadership" (Major R. Owens, U.S. House of Representatives); (2) "Academic…
Why Engineers Should Consider Formal Methods
NASA Technical Reports Server (NTRS)
Holloway, C. Michael
1997-01-01
This paper presents a logical analysis of a typical argument favoring the use of formal methods for software development, and suggests an alternative argument that is simpler and stronger than the typical one.
Evidence Arguments for Using Formal Methods in Software Certification
NASA Technical Reports Server (NTRS)
Denney, Ewen W.; Pai, Ganesh
2013-01-01
We describe a generic approach for automatically integrating the output generated from a formal method/tool into a software safety assurance case, as an evidence argument, by (a) encoding the underlying reasoning as a safety case pattern, and (b) instantiating it using the data produced from the method/tool. We believe this approach not only improves the trustworthiness of the evidence generated from a formal method/tool, by explicitly presenting the reasoning and mechanisms underlying its genesis, but also provides a way to gauge the suitability of the evidence in the context of the wider assurance case. We illustrate our work by application to a real example-an unmanned aircraft system- where we invoke a formal code analysis tool from its autopilot software safety case, automatically transform the verification output into an evidence argument, and then integrate it into the former.
Gunderson, Jeffrey L.; Klepinger, Michael R.; Bronte, Charles R.; Marsden, J. Ellen
1998-01-01
The International Symposium on the Biology and Management of Ruffe was organized to address the potential threat ruffe pose to North American fisheries. Scientists in diverse disciplines from Eurasia and North America were brought together in an attempt to examine all aspects of the North American invasion of ruffe, and to highlight the effects of similar introductions in Europe and Asia. The symposium, sponsored by the Minnesota and Michigan Sea Grant College programs, featured 48 oral and poster presentations and was held in Ann Arbor, Michigan, during 21-23 March 1997. Papers from the symposium are published in a special section of this issue of the Journal of Great Lakes Research.
IDEAL Symposium on the East African Lakes
NASA Astrophysics Data System (ADS)
Johnson, T. C.; Kelts, K.; Lehman, J. T.; Wuest, A.
A vast array of interdisciplinary problems presented by the African Great Lakes were highlighted at the International Symposium on the Limnology, Climatology and Paleoclimatology of the East African Lakes, organized by the International Decade for the East African Lakes (IDEAL) February 17-21 in Jinja, Uganda. Approximately 125 scientists attended from North America, Europe, Africa, and New Zealand. Jinja is located on the northern shore of Lake Victoria at the head-waters of the Nile and is the site of the host institution for the symposium, the Uganda Freshwater Fisheries Research Organization (UFFRO). The conveners of the symposium were Tom Johnson of Duke University, George Kitaka of UNESCO-ROSTA, and Eric Odada of the University of Nairobi.
NASA Technical Reports Server (NTRS)
1980-01-01
The symposium included personal appearances by NASA astronauts, NASA exhibits, aerospace science lecture demonstrations (Spacemobile Lectures), souvenir photos for each student attending the symposium, and talks on job opportunities in aerospace and on the benefits of the Space Program. The program was directed mainly at (public, parochial and private) student groups, each of which spend three hours on the CCC campus to participate in the symposium activities. The symposium was open to the general public and consisted of the NASA exhibits, aerospace science lecture demonstrations, films, talks on the benefits of the space program, additional lectures by members of the American Institute of Aeronautics and Astronautics (AIAA), and a special tasting demonstration of space food meal systems.
The Sixth Annual Workshop on Space Operations Applications and Research (SOAR 1992)
NASA Technical Reports Server (NTRS)
Krishen, Kumar (Editor)
1993-01-01
This document contains papers presented at the Space Operations, Applications, and Research Symposium (SOAR) hosted by the U.S. Air Force (USAF) on 4-6 Aug. 1992 and held at the JSC Gilruth Recreation Center. The symposium was cosponsored by the Air Force Material Command and by NASA/JSC. Key technical areas covered during the symposium were robotic and telepresence, automation and intelligent systems, human factors, life sciences, and space maintenance and servicing. The SOAR differed from most other conferences in that it was concerned with Government-sponsored research and development relevant to aerospace operations. The symposium's proceedings include papers covering various disciplines presented by experts from NASA, the USAF, universities, and industry.
NASA Technical Reports Server (NTRS)
1984-01-01
The purpose of the Symposium is to increase the awareness of productivity and quality issues in the United States, and to foster national initiatives through government and industry executive leadership. The Symposium will provide a forum for discussion of white-collar productivity issues by experienced executives from successful organizations and an opportunity to share information learned through Productivity initiatives in govemment, industry and academic organizations. It will focus on white-collar organizational issues that are common to large companies and technology oriented organizations. The Symposium program will include strategies for improving operations in government and industry and will be responsive to the management issues viewed necessary to increase our nation's productivity growth rate.
Review of Waste Management Symposium 2007, Tucson, AZ, USA
Luna, Robert E.; Yoshimura, R. H.
2007-03-01
The Waste Management Symposium 2007 is the most recent in a long series that has been held at Tucson, Arizona. The meeting has become extremely popular as a venue for technical exchange, marketing, and networking involving upward of 1800 persons involved with various aspects of radioactive waste management. However, in a break with tradition, the symposium organizers reported that next year’s Waste Management Symposium would be held at the Phoenix, AZ convention center. Additionally, most of the WM07 sessions dealt with the technical and institutional issues relating to the resolution of waste disposal and processing challenges, including a number ofmore » sessions dealing with related transport activities.« less
Report on the Symposium “Molecular Mechanisms Involved in Neurodegeneration”
Pentón-Rol, Giselle; Cervantes-Llanos, Majel
2018-01-01
The prevalence of neurodegenerative diseases is currently a major concern in public health because of the lack of neuroprotective and neuroregenerative drugs. The symposium on Molecular Mechanisms Involved in Neurodegeneration held in Varadero, Cuba, updated the participants on the basic mechanisms of neurodegeneration, on the different approaches for drug discovery, and on early research results on therapeutic approaches for the treatment of neurodegenerative diseases. Alzheimer’s disease and in silico research were covered by many of the presentations in the symposium, under the umbrella of the “State of the Art of Non-clinical Models for Neurodegenerative Diseases” International Congress, held from 20 to 24 June 2017. This paper summarizes the highlights of the symposium. PMID:29346273
DOE Office of Scientific and Technical Information (OSTI.GOV)
Moghissi, A.A.; Blauvelt, R.K.; Benda, G.A.
This volume contains the peer-reviewed and edited versions of papers submitted for presentation a the Second International Mixed Waste Symposium. Following the tradition of the First International Mixed Waste Symposium, these proceedings were prepared in advance of the meeting for distribution to participants. The symposium was organized by the Mixed Waste Committee of the American Society of Mechanical Engineers. The topics discussed at the symposium include: stabilization technologies, alternative treatment technologies, regulatory issues, vitrification technologies, characterization of wastes, thermal technologies, laboratory and analytical issues, waste storage and disposal, organic treatment technologies, waste minimization, packaging and transportation, treatment of mercury contaminatedmore » wastes and bioprocessing, and environmental restoration. Individual abstracts are catalogued separately for the data base.« less
'HTA for Crisis': sharing experiences during the 7th EBHC Symposium.
Wladysiuk, Magdalena; Tabor, Anna; Godman, Brian
2013-02-01
The Central and Eastern European Society of Technology Assessment in Health Care was founded in Krakow, Poland in 2003. On October 8th and 9th, the 7th symposium took place titled 'HTA for Crisis'. This meeting was attended by over 250 decision makers, evidence-based specialists, healthcare managers, commercial company personnel and experts. The symposium was principally divided into four main themes: insurance in times of crisis; importance of pricing of health services in times of crisis; managing welfare benefits in times of crisis and Health Technology Assessment in crisis-laden countries. The symposium finished by debating potential ways forward for healthcare systems in times of crisis.