WorldWideScience

Sample records for abstract proceedings computer

  1. US Geological Survey National Computer Technology Meeting; Proceedings, Phoenix, Arizona, November 14-18, 1988

    Science.gov (United States)

    Balthrop, Barbara H.; Terry, J.E.

    1991-01-01

    The U.S. Geological Survey National Computer Technology Meetings (NCTM) are sponsored by the Water Resources Division and provide a forum for the presentation of technical papers and the sharing of ideas or experiences related to computer technology. This report serves as a proceedings of the meeting held in November, 1988 at the Crescent Hotel in Phoenix, Arizona. The meeting was attended by more than 200 technical and managerial people representing all Divisions of the U.S. Geological Survey.Scientists in every Division of the U.S. Geological Survey rely heavily upon state-of-the-art computer technology (both hardware and sofnuare). Today the goals of each Division are pursued in an environment where high speed computers, distributed communications, distributed data bases, high technology input/output devices, and very sophisticated simulation tools are used regularly. Therefore, information transfer and the sharing of advances in technology are very important issues that must be addressed regularly.This report contains complete papers and abstracts of papers that were presented at the 1988 NCTM. The report is divided into topical sections that reflect common areas of interest and application. In each section, papers are presented first followed by abstracts. For these proceedings, the publication of a complete paper or only an abstract was at the discretion of the author, although complete papers were encouraged.Some papers presented at the 1988 NCTM are not published in these proceedings.

  2. Proceedings of the biomagnetic effects workshop. [Lead abstract

    Energy Technology Data Exchange (ETDEWEB)

    Tenforde, T.S. (ed.)

    1978-01-01

    Separate abstracts were prepared for six of the eight chapters contained in these proceedings. The other two chapters contain introductory material (Chapter 1) dealing with the rationale for the work shop, and a summary (Chapter 8) of the major objectives that were accomplished at the workshop relative to the current status of awareness in the field of biomagnetic effects. (ERB)

  3. CHEP95: Computing in high energy physics. Abstracts

    International Nuclear Information System (INIS)

    1995-01-01

    These proceedings cover the technical papers on computation in High Energy Physics, including computer codes, computer devices, control systems, simulations, data acquisition systems. New approaches on computer architectures are also discussed

  4. XXXIX Days of Radiation Protection. Proceedings of Abstracts

    International Nuclear Information System (INIS)

    2018-01-01

    The publication has been set up as a proceedings of the conference dealing with health protection during work with ionizing radiation for different activities which involve the handling of ionizing radiation sources. The main conference topics are focused on current problems in radiation protection and radioecology. In this proceedings totally 91 abstracts are published. The Conference consists of following sections: (I) Radiation protection, consequences of implementation of the EU2013 / 59 directive in the Czech Republic and the Slovak Republic); (II) Radiation protection in the application of ionizing radiation in medicine; (III) Dosimetry and metrology of external and internal irradiation; (IV) Natural sources of ionizing radiation, national radon programs; (V) Nuclear energy, the concept of decommissioning of nuclear power plants in terms of radiation protection; (VI) Use of standards of radiation protection in emergency management; (VII) Biological effects of radiation and estimation of irradiation risk.

  5. E.C.C.C.1 Computational Chemistry: F.E.C.S. Conference. Proceedings

    International Nuclear Information System (INIS)

    Bernardi, F.; Rivail, J.; Cernusak, I.; Gasteiger, J.; Robb, M.; Soulie, E.; Troyanowsky, C.; Varmuza, K.

    1995-01-01

    These proceedings represent the papers presented at the First European Conference on Computational Chemistry held in Nancy, France. The papers presented fall into three groups:1. Methods and applications of quantum molecular modeling, 2. Classical molecular modeling, 3. Methods and applications in the treatment of chemical information. The papers represent a fair and balanced survey of the present trends of European research in computational chemistry. There were 237 papers presented and 10 have been abstracted for the Energy Science and Technology database

  6. Abstract quantum computing machines and quantum computational logics

    Science.gov (United States)

    Chiara, Maria Luisa Dalla; Giuntini, Roberto; Sergioli, Giuseppe; Leporini, Roberto

    2016-06-01

    Classical and quantum parallelism are deeply different, although it is sometimes claimed that quantum Turing machines are nothing but special examples of classical probabilistic machines. We introduce the concepts of deterministic state machine, classical probabilistic state machine and quantum state machine. On this basis, we discuss the question: To what extent can quantum state machines be simulated by classical probabilistic state machines? Each state machine is devoted to a single task determined by its program. Real computers, however, behave differently, being able to solve different kinds of problems. This capacity can be modeled, in the quantum case, by the mathematical notion of abstract quantum computing machine, whose different programs determine different quantum state machines. The computations of abstract quantum computing machines can be linguistically described by the formulas of a particular form of quantum logic, termed quantum computational logic.

  7. XXXIII. Days of Radiation Protection. Conference Proceedings of Abstracts; XXXIII. Dni radiacnej ochrany. Zbornik abstraktov

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    2011-11-15

    The publication has been set up as a proceedings of the conference dealing with health protection during work with ionizing radiation for different activities which involve the handling of ionizing radiation sources. The main conference topics are focused on current problems in radiation protection and radioecology. In this proceedings totally 120 abstracts are published. The Conference consists of following sections: (I) Effects of ionizing radiation (radiology, health effects, risk factors); (II) General aspects of radiation protection (recommendations and legislative in radiation protection); (III): Dosimetry and metrology of ionizing radiation (metrology, instrumentation, use of computational methods); (IV) Radiation protection in nuclear power industry (working environment in the nuclear industry, the impact on the environment, nuclear power shutdown management); (V) Emergency management (emergencies, accidents, waste); (VI) Radiation load and protection in diagnostics, nuclear medicine and radiation oncology (burden on patients, staff, size of population exposure from medical sources of ionizing radiation, security, and quality control, optimization); (VII) Natural sources of radiation in workplaces and the environment (radon and other radionuclides, the risk estimation, optimization); (VIII) Education (new trends in education of radiation experts, medical physicists and stake-holders).

  8. Computational science - ICCS 2008: 8th international conference, Kraków, Poland, June 23-25, 2008: Proceedings, part II

    NARCIS (Netherlands)

    Bubak, M.; van Albada, G.D.; Dongarra, J.; Sloot, P.M.A.

    2008-01-01

    The three-volume set LNCS 5101-5103 constitutes the refereed proceedings of the 8th International Conference on Computational Science, ICCS 2008, held in Krakow, Poland in June 2008. The 167 revised papers of the main conference track presented together with the abstracts of 7 keynote talks and the

  9. Geometry of abstraction in quantum computation

    NARCIS (Netherlands)

    Pavlovic, Dusko; Abramsky, S.; Mislove, M.W.

    2012-01-01

    Quantum algorithms are sequences of abstract operations, per formed on non-existent computers. They are in obvious need of categorical semantics. We present some steps in this direction, following earlier contribu tions of Abramsky, Goecke and Selinger. In particular, we analyze function abstraction

  10. Proceedings of the Twelfth Seminar on Computation in Nuclear Science and Technology

    International Nuclear Information System (INIS)

    Arbie, Bakri; Ardisasmita, Syamsa; Bunyamin, M.; Karsono, M.; Sangadji; Aziz, Ferhat; Marsodi; Su'ud, Zaki; Suhartanto, Heru

    2001-07-01

    The proceedings on Seminar Computation in Nuclear Science and Technologyis routine activity that held on Center for Development of Informatics and Computation Technology. The aims of proceeding is to be able to Exchange Information for interest in computation, Modelling and Simulation. The Seminar is attended by BATAN's on University Research in nuclear science activity. This proceedings used for another research. There are 26 papers which have separated index

  11. Second Annual AEC Scientific Computer Information Exhange Meeting. Proceedings of the technical program theme: computer graphics

    Energy Technology Data Exchange (ETDEWEB)

    Peskin,A.M.; Shimamoto, Y.

    1974-01-01

    The topic of computer graphics serves well to illustrate that AEC affiliated scientific computing installations are well represented in the forefront of computing science activities. The participant response to the technical program was overwhelming--both in number of contributions and quality of the work described. Session I, entitled Advanced Systems, contains presentations describing systems that contain features not generally found in graphics facilities. These features can be roughly classified as extensions of standard two-dimensional monochromatic imaging to higher dimensions including color and time as well as multidimensional metrics. Session II presents seven diverse applications ranging from high energy physics to medicine. Session III describes a number of important developments in establishing facilities, techniques and enhancements in the computer graphics area. Although an attempt was made to schedule as many of these worthwhile presentations as possible, it appeared impossible to do so given the scheduling constraints of the meeting. A number of prospective presenters 'came to the rescue' by graciously withdrawing from the sessions. Some of their abstracts have been included in the Proceedings.

  12. Proceedings – Mathematical Sciences | Indian Academy of Sciences

    Indian Academy of Sciences (India)

    Home; Journals; Proceedings – Mathematical Sciences. Suprio Bhar. Articles written in Proceedings – Mathematical Sciences. Volume 125 Issue 1 February 2015 pp 113-125. Differential operators on Hermite Sobolev spaces · Suprio Bhar B Rajeev · More Details Abstract Fulltext PDF. In this paper, we compute the Hilbert ...

  13. Abstraction/Representation Theory for heterotic physical computing.

    Science.gov (United States)

    Horsman, D C

    2015-07-28

    We give a rigorous framework for the interaction of physical computing devices with abstract computation. Device and program are mediated by the non-logical representation relation; we give the conditions under which representation and device theory give rise to commuting diagrams between logical and physical domains, and the conditions for computation to occur. We give the interface of this new framework with currently existing formal methods, showing in particular its close relationship to refinement theory, and the implications for questions of meaning and reference in theoretical computer science. The case of hybrid computing is considered in detail, addressing in particular the example of an Internet-mediated social machine, and the abstraction/representation framework used to provide a formal distinction between heterotic and hybrid computing. This forms the basis for future use of the framework in formal treatments of non-standard physical computers. © 2015 The Author(s) Published by the Royal Society. All rights reserved.

  14. Modelling, abstraction, and computation in systems biology: A view from computer science.

    Science.gov (United States)

    Melham, Tom

    2013-04-01

    Systems biology is centrally engaged with computational modelling across multiple scales and at many levels of abstraction. Formal modelling, precise and formalised abstraction relationships, and computation also lie at the heart of computer science--and over the past decade a growing number of computer scientists have been bringing their discipline's core intellectual and computational tools to bear on biology in fascinating new ways. This paper explores some of the apparent points of contact between the two fields, in the context of a multi-disciplinary discussion on conceptual foundations of systems biology. Copyright © 2012 Elsevier Ltd. All rights reserved.

  15. Proceeding of 1999-workshop on MHD computations 'study on numerical methods related to plasma confinement'

    International Nuclear Information System (INIS)

    Kako, T.; Watanabe, T.

    2000-06-01

    This is the proceeding of 'study on numerical methods related to plasma confinement' held in National Institute for Fusion Science. In this workshop, theoretical and numerical analyses of possible plasma equilibria with their stability properties are presented. There are also various lectures on mathematical as well as numerical analyses related to the computational methods for fluid dynamics and plasma physics. Separate abstracts were presented for 13 of the papers in this report. The remaining 6 were considered outside the subject scope of INIS. (J.P.N.)

  16. Computer vision for biomedical image applications. Proceedings

    Energy Technology Data Exchange (ETDEWEB)

    Liu, Yanxi [Carnegie Mellon Univ., Pittsburgh, PA (United States). School of Computer Science, The Robotics Institute; Jiang, Tianzi [Chinese Academy of Sciences, Beijing (China). National Lab. of Pattern Recognition, Inst. of Automation; Zhang, Changshui (eds.) [Tsinghua Univ., Beijing, BJ (China). Dept. of Automation

    2005-07-01

    This book constitutes the refereed proceedings of the First International Workshop on Computer Vision for Biomedical Image Applications: Current Techniques and Future Trends, CVBIA 2005, held in Beijing, China, in October 2005 within the scope of ICCV 20. (orig.)

  17. Proceedings of the 30th Nordic Seminar on Computational Mechanics (NSCM-30)

    DEFF Research Database (Denmark)

    These proceedings contain the papers presented at the 30th Nordic Seminar on Computational Mechanics (NSCM30), held at The Technical University of Denmark (DTU), 25-27 October 2017.......These proceedings contain the papers presented at the 30th Nordic Seminar on Computational Mechanics (NSCM30), held at The Technical University of Denmark (DTU), 25-27 October 2017....

  18. Computational Abstraction Steps

    DEFF Research Database (Denmark)

    Thomsen, Lone Leth; Thomsen, Bent; Nørmark, Kurt

    2010-01-01

    and class instantiations. Our teaching experience shows that many novice programmers find it difficult to write programs with abstractions that materialise to concrete objects later in the development process. The contribution of this paper is the idea of initiating a programming process by creating...... or capturing concrete values, objects, or actions. As the next step, some of these are lifted to a higher level by computational means. In the object-oriented paradigm the target of such steps is classes. We hypothesise that the proposed approach primarily will be beneficial to novice programmers or during...... the exploratory phase of a program development process. In some specific niches it is also expected that our approach will benefit professional programmers....

  19. Geometry of abstraction in quantum computation

    NARCIS (Netherlands)

    Pavlovic, Dusko; Abramsky, S.; Mislove, M.W.

    2012-01-01

    Quantum algorithms are sequences of abstract operations, per­ formed on non-existent computers. They are in obvious need of categorical semantics. We present some steps in this direction, following earlier contribu­ tions of Abramsky, Goecke and Selinger. In particular, we analyze function

  20. CUBE (Computer Use By Engineers) symposium abstracts

    International Nuclear Information System (INIS)

    Ruminer, J.J.

    1978-07-01

    This report presents the abstracts for the CUBE (Computer Use by Engineers) Symposium, October 4, through 6, 1978. Contributors are from Lawrence Livermore Laboratory, Los Alamos Scientific Laboratory, and Sandia Laboratories

  1. Proceeding of 1999-workshop on MHD computations 'study on numerical methods related to plasma confinement'

    Energy Technology Data Exchange (ETDEWEB)

    Kako, T.; Watanabe, T. [eds.

    2000-06-01

    This is the proceeding of 'study on numerical methods related to plasma confinement' held in National Institute for Fusion Science. In this workshop, theoretical and numerical analyses of possible plasma equilibria with their stability properties are presented. There are also various lectures on mathematical as well as numerical analyses related to the computational methods for fluid dynamics and plasma physics. Separate abstracts were presented for 13 of the papers in this report. The remaining 6 were considered outside the subject scope of INIS. (J.P.N.)

  2. CARS 2009. Computer assisted radiology and surgery. Proceedings

    International Nuclear Information System (INIS)

    Anon.

    2009-01-01

    The CARS 2009 proceedings include contributions and poster sessions concerning different conferences and workshops: computer assisted radiology, 23rd international congress and exhibition, CARS clinical day, 13th annual conference of the international society for computer aided surgery, 10th CARS/SPIE/EuroPACS joint workshop on surgical PACS and the digital operating, 11th international workshop on computer-aided diagnosis, 15th computed maxillofacial imaging congress, CARS - computer assisted radiology and surgery, 1st EPMA/CARS workshop on personalized medicine and ICT, JICARS - Japanese institutes of CARS, 1st EuroNotes/CTAC/CARS workshop on NOTES: an interdisciplinary challenge, 13th annual conference for computer aided surgery, 27th international EuroPACS meeting.

  3. Computer simulation studies in condensed-matter physics 5. Proceedings

    International Nuclear Information System (INIS)

    Landau, D.P.; Mon, K.K.; Schuettler, H.B.

    1993-01-01

    As the role of computer simulations began to increase in importance, we sensed a need for a ''meeting place'' for both experienced simulators and neophytes to discuss new techniques and results in an environment which promotes extended discussion. As a consequence of these concerns, The Center for Simulational Physics established an annual workshop on Recent Developments in Computer Simulation Studies in Condensed-Matter Physics. This year's workshop was the fifth in this series and the interest which the scientific community has shown demonstrates quite clearly the useful purpose which the series has served. The workshop was held at the University of Georgia, February 17-21, 1992, and these proceedings from a record of the workshop which is published with the goal of timely dissemination of the papers to a wider audience. The proceedings are divided into four parts. The first part contains invited papers which deal with simulational studies of classical systems and includes an introduction to some new simulation techniques and special purpose computers as well. A separate section of the proceedings is devoted to invited papers on quantum systems including new results for strongly correlated electron and quantum spin models. The third section is comprised of a single, invited description of a newly developed software shell designed for running parallel programs. The contributed presentations comprise the final chapter. (orig.). 79 figs

  4. AOCR `95: Proceedings of the seventh ASIAN and Oceanian congress of Radiology

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    1996-12-31

    This proceedings compile abstracts of the paper presented at the congress. Short articles also available - discuss advances techniques i.e. magnetic resonance imaging, ultrasound, computed tomography.

  5. Non-Determinism: An Abstract Concept in Computer Science Studies

    Science.gov (United States)

    Armoni, Michal; Gal-Ezer, Judith

    2007-01-01

    Non-determinism is one of the most important, yet abstract, recurring concepts of Computer Science. It plays an important role in Computer Science areas such as formal language theory, computability theory, distributed computing, and operating systems. We conducted a series of studies on the perception of non-determinism. In the current research,…

  6. Proceedings of the 1986 seminar on nuclear data

    Energy Technology Data Exchange (ETDEWEB)

    Nakagawa, Tsuneo; Asami, Tetsuo [eds.

    1987-02-15

    The seminar focused on problems with nuclear data and reactor constants and their sensitivity analyses. The poster session concerned recent measurements of neutron cross sections and computer codes for theoretical calculations. Separate abstracts were prepared for 34 papers in these proceedings. (DWL)

  7. 1995 CERN school of computing. Proceedings

    Energy Technology Data Exchange (ETDEWEB)

    Vandoni, C E [ed.

    1995-10-25

    These proceedings contain a written account of the majority of the lectures given at the 1995 CERN School of Computing. The Scientific Programme was articulated on 8 main themes: Human Computer Interfaces; Collaborative Software Engineering; Information Super Highways; Trends in Computer Architecture/Industry; Parallel Architectures (MPP); Mathematical Computing; Data Acquisition Systems; World-Wide Web for Physics. A number of lectures dealt with general aspects of computing, in particular in the area of Human Computer Interfaces (computer graphics, user interface tools and virtual reality). Applications in HEP of computer graphics (event display) was the subject of two lectures. The main theme of Mathematical Computing covered Mathematica and the usage of statistics packages. The important subject of Data Acqusition Systems was covered by lectures on switching techniques and simulation and modelling tools. A series of lectures dealt with the Information Super Highways and World-Wide Web Technology and its applications to High Energy Physics. Different aspects of Object Oriented Information Engineering Methodology and Object Oriented Programming in HEP were dealt in detail also in connection with data acquisition systems. On the theme `Trends in Computer Architecutre and Industry` lectures were given on: ATM Switching, and FORTRAN90 and High Performance FORTRAN. Computer Parallel Architectures (MPP) lectures delt with very large scale open systems, history and future of computer system architecture, message passing paradigm, features of PVM and MPI. (orig.).

  8. 1995 CERN school of computing. Proceedings

    International Nuclear Information System (INIS)

    Vandoni, C.E.

    1995-01-01

    These proceedings contain a written account of the majority of the lectures given at the 1995 CERN School of Computing. The Scientific Programme was articulated on 8 main themes: Human Computer Interfaces; Collaborative Software Engineering; Information Super Highways; Trends in Computer Architecture/Industry; Parallel Architectures (MPP); Mathematical Computing; Data Acquisition Systems; World-Wide Web for Physics. A number of lectures dealt with general aspects of computing, in particular in the area of Human Computer Interfaces (computer graphics, user interface tools and virtual reality). Applications in HEP of computer graphics (event display) was the subject of two lectures. The main theme of Mathematical Computing covered Mathematica and the usage of statistics packages. The important subject of Data Acqusition Systems was covered by lectures on switching techniques and simulation and modelling tools. A series of lectures dealt with the Information Super Highways and World-Wide Web Technology and its applications to High Energy Physics. Different aspects of Object Oriented Information Engineering Methodology and Object Oriented Programming in HEP were dealt in detail also in connection with data acquisition systems. On the theme 'Trends in Computer Architecutre and Industry' lectures were given on: ATM Switching, and FORTRAN90 and High Performance FORTRAN. Computer Parallel Architectures (MPP) lectures delt with very large scale open systems, history and future of computer system architecture, message passing paradigm, features of PVM and MPI. (orig.)

  9. Abstraction ability as an indicator of success for learning computing science?

    DEFF Research Database (Denmark)

    Bennedsen, Jens; Caspersen, Michael Edelgaard

    2008-01-01

    Computing scientists generally agree that abstract thinking is a crucial component for practicing computer science. We report on a three-year longitudinal study to confirm the hypothesis that general abstraction ability has a positive impact on performance in computing science. Abstraction ability...... is operationalized as stages of cognitive development for which validated tests exist. Performance in computing science is operationalized as grade in the final assessment of ten courses of a bachelor's degree programme in computing science. The validity of the operationalizations is discussed. We have investigated...... the positive impact overall, for two groupings of courses (a content-based grouping and a grouping based on SOLO levels of the courses' intended learning outcome), and for each individual course. Surprisingly, our study shows that there is hardly any correlation between stage of cognitive development...

  10. Soft Computing Applications : Proceedings of the 5th International Workshop Soft Computing Applications

    CERN Document Server

    Fodor, János; Várkonyi-Kóczy, Annamária; Dombi, Joszef; Jain, Lakhmi

    2013-01-01

                    This volume contains the Proceedings of the 5thInternational Workshop on Soft Computing Applications (SOFA 2012).                                The book covers a broad spectrum of soft computing techniques, theoretical and practical applications employing knowledge and intelligence to find solutions for world industrial, economic and medical problems. The combination of such intelligent systems tools and a large number of applications introduce a need for a synergy of scientific and technological disciplines in order to show the great potential of Soft Computing in all domains.                   The conference papers included in these proceedings, published post conference, were grouped into the following area of research: ·         Soft Computing and Fusion Algorithms in Biometrics, ·         Fuzzy Theory, Control andApplications, ·         Modelling and Control Applications, ·         Steps towa...

  11. Auroral Tomography Workshop, Proceedings

    International Nuclear Information System (INIS)

    Steen, Aa.

    1993-08-01

    In ionospheric and atmospheric physics the importance of multi-station imaging has grown as a consequence of the availability of scientific grade CCD cameras with digital output and affordable massive computing power. Tomographic inversion techniques are used in many different areas, e.g. medicine, plasma research and space physics. The tomography workshop was announced to gather a limited group of people interested in auroral tomography or tomographic inversion methods in general. ALIS (Auroral Large Imaging System) is a multi-station ground-based system developed primarily for three-dimensional auroral imaging, however other non-auroral objects can be studied with ALIS, e.g. stratospheric clouds. Several of the contributions in the workshop dealt with problems related to geometries similar to the ALIS-configuration. The Proceedings contain written contributions received either in abstract form or as full papers. The Proceedings also contain contributions intended for the Workshop but not presented due to the absence of the speaker. Separate abstracts have been prepared for 15 of the 17 papers

  12. Proceedings of advanced software in robotics

    Energy Technology Data Exchange (ETDEWEB)

    Danthine, A; Geradin, M

    1983-01-01

    The following topics were dealt with: kinematics and dynamics modelling; adaptive control; languages; geometric modelling; system architecture; computing aspects of sensing devices; and artificial intellligence. 30 papers were presented, of which all are published in full in the present proceedings. Abstracts of individual papers can be found under the relevant classification codes in this or future issues.

  13. 1994 CERN school of computing. Proceedings

    International Nuclear Information System (INIS)

    Vandoni, C.E.; Verkerk, C.

    1995-01-01

    These Proceedings contain a written account of the majority of the lectures given at the 1994 CERN School of Computing. A number of lectures dealt with general aspects of computing, in particular in the areas of high performance computing in embedded systems, distributed and heterogeneous computing, multimedia information systems and on the impact of computing on High Energy Physics. Modelling and Simulation were treated with emphasis on Statistical and High Energy Physics, and a simulation package (GEANT) and its future development were presented in detail. Hardware aspects were presented, in particular in the areas of massively parallel associative string proccesors CISC vs RISC processor architectures, and a summary of an analogic supercomputer chip architecture was given. The software development process and associated technologies were the subject of full presentations. Software for Data Acquisition Systems was discussed in a number of lectures. We also reproduce, as an appendix, a set of self-explanatory transparencies used by one lecturer in a particularly detailed presentation of this subject. The H1 trigger system was presented in detail. Finally, lectures were given on a parallel program supervisor and parallel language processing generation. (orig.)

  14. Proceedings APCOM XXIV international symposium on the application of computers and operations research in the mineral industries

    Energy Technology Data Exchange (ETDEWEB)

    Elbrond, J; Tang, X [eds.

    1994-12-31

    The proceedings contain the text of 152 papers about computer applications and the use of operations research in the mineral industries. Volume 1 contains 11 papers on modelling, the Internet, knowledge-based systems, mine design and management, integrated solutions to improved productivity, and mine automation. Volume 2 contains 70 papers arranged into chapters on open pit optimization and mine production planning, computer-aided design, cut off, mine evaluation and risk and cost estimation, ore body modelling and geostatistics, environment, geographical information systems, and operations research. The 71 papers in Volume 3 are presented in chapters on expert systems and artificial intelligence, neural networks, fuzzy logic, mineral processing, rock mechanics, ventilation, blasting, dewatering, transportation, applications in marble exploitation, reliability, and robotics, monitoring and communication. 24 papers are abstracted separately.

  15. 1993 CERN school of computing. Proceedings

    International Nuclear Information System (INIS)

    Vandoni, C.E.; Verkerk, C.

    1994-01-01

    These proceedings contain the majority of the lectures given at the 1993 CERN School of Computing. Artificial neural networks were treated with particular emphasis on applications in particle physics. A discussion of triggering for experiments at the proposed LHC machine provided a direct connection to data acquisition in this field, whereas another aspect of signal processing was seen in the description of a gravitational wave interferometer. Some of the more general aspects of data handling covered included parallel processing, te IEEE mass storage system, and the use of object stores of events. Lectures on broadband telecommunications networks and asynchronous transfer mode described some recent developments in communications. The analysis and visualization of the data were discussed in the talks on general-purpose portable software tools (PAW++, KUIP and PIAF) and on the uses of computer animation and virtual reality to this end. Lectures on open software discussed operating systems and distributed computing, and the evolution of products like Unix, NT and DCE. (orig.) e

  16. CARS 2008: Computer Assisted Radiology and Surgery. Proceedings

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    2008-06-15

    The proceedings contain contributions to the following topics: digital imaging, computed tomography, magnetic resonance, cardiac and vascular imaging, computer assisted radiation therapy, image processing and display, minimal invasive spinal surgery, computer assisted treatment of the prostate, the interventional radiology suite of the future, interventional oncology, computer assisted neurosurgery, computer assisted head and neck and ENT surgery, cardiovascular surgery, computer assisted orthopedic surgery, image processing and visualization, surgical robotics, instrumentation and navigation, surgical modelling, simulation and education, endoscopy and related techniques, workflow and new concepts in surgery, research training group 1126: intelligent surgery, digital operating room, image distribution and integration strategies, regional PACS and telemedicine, PACS - beyond radiology and E-learning, workflow and standardization, breast CAD, thoracic CAD, abdominal CAD, brain CAD, orthodontics, dentofacial orthopedics and airways, imaging and treating temporomandibular joint conditions, maxillofacial cone beam CT, craniomaxillofacial image fusion and CBCT incidental findings, image guided craniomaxillofacial procedures, imaging as a biomarker for therapy response, computer aided diagnosis. The Poster sessions cover the topics computer aided surgery, Euro PACS meeting, computer assisted radiology, computer aided diagnosis and computer assisted radiology and surgery.

  17. CARS 2008: Computer Assisted Radiology and Surgery. Proceedings

    International Nuclear Information System (INIS)

    2008-01-01

    The proceedings contain contributions to the following topics: digital imaging, computed tomography, magnetic resonance, cardiac and vascular imaging, computer assisted radiation therapy, image processing and display, minimal invasive spinal surgery, computer assisted treatment of the prostate, the interventional radiology suite of the future, interventional oncology, computer assisted neurosurgery, computer assisted head and neck and ENT surgery, cardiovascular surgery, computer assisted orthopedic surgery, image processing and visualization, surgical robotics, instrumentation and navigation, surgical modelling, simulation and education, endoscopy and related techniques, workflow and new concepts in surgery, research training group 1126: intelligent surgery, digital operating room, image distribution and integration strategies, regional PACS and telemedicine, PACS - beyond radiology and E-learning, workflow and standardization, breast CAD, thoracic CAD, abdominal CAD, brain CAD, orthodontics, dentofacial orthopedics and airways, imaging and treating temporomandibular joint conditions, maxillofacial cone beam CT, craniomaxillofacial image fusion and CBCT incidental findings, image guided craniomaxillofacial procedures, imaging as a biomarker for therapy response, computer aided diagnosis. The Poster sessions cover the topics computer aided surgery, Euro PACS meeting, computer assisted radiology, computer aided diagnosis and computer assisted radiology and surgery

  18. Proceedings of the fourth Berkeley conference on distributed data management and computer networks

    Energy Technology Data Exchange (ETDEWEB)

    1979-08-01

    Individual abstracts were prepared for 19 of the papers in these proceedings. The remaining two have already been cited in ERA, and may be located by reference to the entry CONF-790834-- in the Report Number Index. (RWR)

  19. Proceedings of the 8. Mediterranean Conference on Medical and Biological Engineering and Computing (Medicon `98)

    Energy Technology Data Exchange (ETDEWEB)

    Christofides, Stelios; Pattichis, Constantinos; Schizas, Christos; Keravnou-Papailiou, Elpida; Kaplanis, Prodromos; Spyros, Spyrou; Christodoulides, George; Theodoulou, Yiannis [eds.

    1999-12-31

    Medicon `98 is the eighth in the series of regional meetings of the International Federation of Medical and Biological Engineering (IFMBE) in the Mediterranean. The goal of Medicon `98 is to provide updated information on the state of the art on medical and biological engineering and computing. Medicon `98 was held in Lemesos, Cyprus, between 14-17 June, 1998. The full papers of the proceedings were published on CD and consisted of 190 invited and submitted papers. A book of abstracts was also published in paper form and was available to all the participants. Twenty seven papers fall within the scope of INIS and are dealing with Nuclear Medicine,Computerized Tomography, Radiology, Radiotherapy, Magnetic Resonance Imaging and Personnel Dosimetry (eds).

  20. Proceedings of the 8. Mediterranean Conference on Medical and Biological Engineering and Computing (Medicon '98)

    International Nuclear Information System (INIS)

    Christofides, Stelios; Pattichis, Constantinos; Schizas, Christos; Keravnou-Papailiou, Elpida; Kaplanis, Prodromos; Spyros, Spyrou; Christodoulides, George; Theodoulou, Yiannis

    1998-01-01

    Medicon '98 is the eighth in the series of regional meetings of the International Federation of Medical and Biological Engineering (IFMBE) in the Mediterranean. The goal of Medicon '98 is to provide updated information on the state of the art on medical and biological engineering and computing. Medicon '98 was held in Lemesos, Cyprus, between 14-17 June, 1998. The full papers of the proceedings were published on CD and consisted of 190 invited and submitted papers. A book of abstracts was also published in paper form and was available to all the participants. Twenty seven papers fall within the scope of INIS and are dealing with Nuclear Medicine,Computerized Tomography, Radiology, Radiotherapy, Magnetic Resonance Imaging and Personnel Dosimetry (eds)

  1. Proceedings of the joint Nordic spring meeting '92

    International Nuclear Information System (INIS)

    Lindgaard, P.-A.

    1992-05-01

    Proceedings in the form of extended abstracts of the Joint Nordic Spring Meeting '92 including the 3rd Nordic Conference on Surface Science, the 6th Nordic Symposium on Computer Simulation, and 3rd Nordic Symposium on Superconductivity. In addition there are contributions from workshops on the Physics of Small Cluster, on Soft Condensed Matter Physics and from an Electronic Properties Workshop. The proceedings constrain over 300 contributions on the mentioned subjects. Further, there are several contributions on general solid state subjects, magnetism, semiconductors etc. (au) (4 tabs., 187 ills., 931 refs.)

  2. Abstraction to Implementation: A Two Stage Introduction to Computer Science.

    Science.gov (United States)

    Wolz, Ursula; Conjura, Edward

    A three-semester core curriculum for undergraduate computer science is proposed and described. Both functional and imperative programming styles are taught. The curriculum particularly addresses the problem of effectively presenting both abstraction and implementation. Two courses in the first semester emphasize abstraction. The next courses…

  3. Medical image computing and computer-assisted intervention - MICCAI 2005. Proceedings; Pt. 1

    International Nuclear Information System (INIS)

    Duncan, J.S.; Gerig, G.

    2005-01-01

    The two-volume set LNCS 3749 and LNCS 3750 constitutes the refereed proceedings of the 8th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2005, held in Palm Springs, CA, USA, in October 2005. Based on rigorous peer reviews the program committee selected 237 carefully revised full papers from 632 submissions for presentation in two volumes. The first volume includes all the contributions related to image analysis and validation, vascular image segmentation, image registration, diffusion tensor image analysis, image segmentation and analysis, clinical applications - validation, imaging systems - visualization, computer assisted diagnosis, cellular and molecular image analysis, physically-based modeling, robotics and intervention, medical image computing for clinical applications, and biological imaging - simulation and modeling. The second volume collects the papers related to robotics, image-guided surgery and interventions, image registration, medical image computing, structural and functional brain analysis, model-based image analysis, image-guided intervention: simulation, modeling and display, and image segmentation and analysis. (orig.)

  4. Medical image computing and computer science intervention. MICCAI 2005. Pt. 2. Proceedings

    International Nuclear Information System (INIS)

    Duncan, J.S.; Yale Univ., New Haven, CT; Gerig, G.

    2005-01-01

    The two-volume set LNCS 3749 and LNCS 3750 constitutes the refereed proceedings of the 8th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2005, held in Palm Springs, CA, USA, in October 2005. Based on rigorous peer reviews the program committee selected 237 carefully revised full papers from 632 submissions for presentation in two volumes. The first volume includes all the contributions related to image analysis and validation, vascular image segmentation, image registration, diffusion tensor image analysis, image segmentation and analysis, clinical applications - validation, imaging systems - visualization, computer assisted diagnosis, cellular and molecular image analysis, physically-based modeling, robotics and intervention, medical image computing for clinical applications, and biological imaging - simulation and modeling. The second volume collects the papers related to robotics, image-guided surgery and interventions, image registration, medical image computing, structural and functional brain analysis, model-based image analysis, image-guided intervention: simulation, modeling and display, and image segmentation and analysis. (orig.)

  5. Medical image computing and computer-assisted intervention - MICCAI 2005. Proceedings; Pt. 1

    Energy Technology Data Exchange (ETDEWEB)

    Duncan, J.S. [Yale Univ., New Haven, CT (United States). Dept. of Biomedical Engineering and Diagnostic Radiology; Gerig, G. (eds.) [North Carolina Univ., Chapel Hill (United States). Dept. of Computer Science

    2005-07-01

    The two-volume set LNCS 3749 and LNCS 3750 constitutes the refereed proceedings of the 8th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2005, held in Palm Springs, CA, USA, in October 2005. Based on rigorous peer reviews the program committee selected 237 carefully revised full papers from 632 submissions for presentation in two volumes. The first volume includes all the contributions related to image analysis and validation, vascular image segmentation, image registration, diffusion tensor image analysis, image segmentation and analysis, clinical applications - validation, imaging systems - visualization, computer assisted diagnosis, cellular and molecular image analysis, physically-based modeling, robotics and intervention, medical image computing for clinical applications, and biological imaging - simulation and modeling. The second volume collects the papers related to robotics, image-guided surgery and interventions, image registration, medical image computing, structural and functional brain analysis, model-based image analysis, image-guided intervention: simulation, modeling and display, and image segmentation and analysis. (orig.)

  6. Medical image computing and computer science intervention. MICCAI 2005. Pt. 2. Proceedings

    Energy Technology Data Exchange (ETDEWEB)

    Duncan, J.S. [Yale Univ., New Haven, CT (United States). Dept. of Biomedical Engineering]|[Yale Univ., New Haven, CT (United States). Dept. of Diagnostic Radiology; Gerig, G. (eds.) [North Carolina Univ., Chapel Hill, NC (United States). Dept. of Computer Science

    2005-07-01

    The two-volume set LNCS 3749 and LNCS 3750 constitutes the refereed proceedings of the 8th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2005, held in Palm Springs, CA, USA, in October 2005. Based on rigorous peer reviews the program committee selected 237 carefully revised full papers from 632 submissions for presentation in two volumes. The first volume includes all the contributions related to image analysis and validation, vascular image segmentation, image registration, diffusion tensor image analysis, image segmentation and analysis, clinical applications - validation, imaging systems - visualization, computer assisted diagnosis, cellular and molecular image analysis, physically-based modeling, robotics and intervention, medical image computing for clinical applications, and biological imaging - simulation and modeling. The second volume collects the papers related to robotics, image-guided surgery and interventions, image registration, medical image computing, structural and functional brain analysis, model-based image analysis, image-guided intervention: simulation, modeling and display, and image segmentation and analysis. (orig.)

  7. Proceedings of the Twenty Second Nordic Seminar on Computational Mechanics

    DEFF Research Database (Denmark)

    This book contains the proceedings of the Twenty Second Nordic Seminar on Computational Mechanics (NSCM22), taking event 22-23 October 2009 at Aalborg University, Denmark. The papers presented at the Optimization Seminar in Honour of Niels Olhoff, held 21 October 2009 at Aalborg University, Denmark...

  8. ELECTRONIC EVIDENCE IN THE JUDICIAL PROCEEDINGS AND COMPUTER FORENSIC ANALYSIS

    Directory of Open Access Journals (Sweden)

    Marija Boban

    2017-01-01

    Full Text Available Today’s perspective of the information society is characterized by the terminology of modern dictionaries of globalization including the terms such as convergence, digitization (media, technology and/or telecommunications and mobility of people or technology. Each word with progress, development, a positive sign of the rise of the information society. On the other hand in a virtual environment traditional evidence in judicial proceedings with the document on paper substrate, are becoming electronic evidence, and their management processes and criteria for admissibility are changing over traditional evidence. The rapid growth of computer data created new opportunities and the growth of new forms of computing, and cyber crime, but also the new ways of proof in court cases, which were unavailable just a few decades. The authors of this paper describe new trends in the development of the information society and the emergence of electronic evidence, with emphasis on the impact of the development of computer crime on electronic evidence; the concept, legal regulation and probative value of electronic evidence, and in particular of electronic documents; and the issue of electronic evidence expertise and electronic documents in court proceedings.

  9. Proceedings of the tenth annual symposium on computer applications in medical care

    International Nuclear Information System (INIS)

    Orthner, H.F.

    1988-01-01

    This book covers the proceedings of the tenth annual symposium on Computer Applications in Medical Care. The papers include: Image processing in cardiovascular radiology and radiologic automated diagnosis (RAD)

  10. Computational Design Modelling : Proceedings of the Design Modelling Symposium

    CERN Document Server

    Kilian, Axel; Palz, Norbert; Scheurer, Fabian

    2012-01-01

    This book publishes the peer-reviewed proceeding of the third Design Modeling Symposium Berlin . The conference constitutes a platform for dialogue on experimental practice and research within the field of computationally informed architectural design. More than 60 leading experts the computational processes within the field of computationally informed architectural design to develop a broader and less exotic building practice that bears more subtle but powerful traces of the complex tool set and approaches we have developed and studied over recent years. The outcome are new strategies for a reasonable and innovative implementation of digital potential in truly innovative and radical design guided by both responsibility towards processes and the consequences they initiate.

  11. Supersymmetry: proceedings

    International Nuclear Information System (INIS)

    Brennan, E.C.

    1985-07-01

    Some lectures in these proceedings examine the theoretical basis for supersymmetry, recent developments in theories with compact dimensions, and experimental searches for supersymmetric signatures. Technologies are explored for obtaining very high energy electron-positron colliding beams. Separate abstracts were prepared for 35 papers in these conference proceedings

  12. Supersymmetry: proceedings

    Energy Technology Data Exchange (ETDEWEB)

    Brennan, E.C. (ed.)

    1985-07-01

    Some lectures in these proceedings examine the theoretical basis for supersymmetry, recent developments in theories with compact dimensions, and experimental searches for supersymmetric signatures. Technologies are explored for obtaining very high energy electron-positron colliding beams. Separate abstracts were prepared for 35 papers in these conference proceedings. (LEW)

  13. Emotion Oriented Programming: Computational Abstractions for AI Problem Solving

    OpenAIRE

    Darty , Kevin; Sabouret , Nicolas

    2012-01-01

    International audience; In this paper, we present a programming paradigm for AI problem solving based on computational concepts drawn from Affective Computing. It is believed that emotions participate in human adaptability and reactivity, in behaviour selection and in complex and dynamic environments. We propose to define a mechanism inspired from this observation for general AI problem solving. To this purpose, we synthesize emotions as programming abstractions that represent the perception ...

  14. Intelligent Distributed Computing VI : Proceedings of the 6th International Symposium on Intelligent Distributed Computing

    CERN Document Server

    Badica, Costin; Malgeri, Michele; Unland, Rainer

    2013-01-01

    This book represents the combined peer-reviewed proceedings of the Sixth International Symposium on Intelligent Distributed Computing -- IDC~2012, of the International Workshop on Agents for Cloud -- A4C~2012 and of the Fourth International Workshop on Multi-Agent Systems Technology and Semantics -- MASTS~2012. All the events were held in Calabria, Italy during September 24-26, 2012. The 37 contributions published in this book address many topics related to theory and applications of intelligent distributed computing and multi-agent systems, including: adaptive and autonomous distributed systems, agent programming, ambient assisted living systems, business process modeling and verification, cloud computing, coalition formation, decision support systems, distributed optimization and constraint satisfaction, gesture recognition, intelligent energy management in WSNs, intelligent logistics, machine learning, mobile agents, parallel and distributed computational intelligence, parallel evolutionary computing, trus...

  15. IV International Conference on Computer Algebra in Physical Research. Collection of abstracts

    International Nuclear Information System (INIS)

    Rostovtsev, V.A.

    1990-01-01

    The abstracts of the reports made on IV International conference on computer algebra in physical research are presented. The capabilities of application of computers for algebraic computations in high energy physics and quantum field theory are discussed. Particular attention is paid to a software for the REDUCE computer algebra system

  16. Pulmonary toxicology of respirable particles. [Lead abstract

    Energy Technology Data Exchange (ETDEWEB)

    Sanders, C.L.; Cross, F.T.; Dagle, G.E.; Mahaffey, J.A. (eds.)

    1980-09-01

    Separate abstracts were prepared for the 44 papers presented in these proceedings. The last paper (Stannard) in the proceedings is an historical review of the field of inhalation toxicology and is not included in the analytics. (DS)

  17. Proceedings of the 2001 ASCUE Summer Conference (34th, North Myrtle Beach, South Carolina, June 10-14, 2001).

    Science.gov (United States)

    Smith, Peter, Ed.

    This 2001 Association of Small Computer Users in Education (ASCUE) conference proceedings briefly describes ASCUE and its listserver, lists the 2000-2001 ASCUE Board Members, and provides abstracts of the pre-conference workshops. The conference papers and abstracts of papers that follow include: "Microsoft Project 2000--Keeping Projects on Time…

  18. Proceedings of seventh symposium on sharing of computer programs and technology in nuclear medicine, computer assisted data processing

    International Nuclear Information System (INIS)

    Howard, B.Y.; McClain, W.J.; Landay, M.

    1977-01-01

    The Council on Computers (CC) of the Society of Nuclear Medicine (SNM) annually publishes the Proceedings of its Symposium on the Sharing of Computer Programs and Technology in Nuclear Medicine. This is the seventh such volume and has been organized by topic, with the exception of the invited papers and the discussion following them. An index arranged by author and by subject is included

  19. Proceedings of seventh symposium on sharing of computer programs and technology in nuclear medicine, computer assisted data processing

    Energy Technology Data Exchange (ETDEWEB)

    Howard, B.Y.; McClain, W.J.; Landay, M. (comps.)

    1977-01-01

    The Council on Computers (CC) of the Society of Nuclear Medicine (SNM) annually publishes the Proceedings of its Symposium on the Sharing of Computer Programs and Technology in Nuclear Medicine. This is the seventh such volume and has been organized by topic, with the exception of the invited papers and the discussion following them. An index arranged by author and by subject is included.

  20. The Promise of Technology. Proceedings of the Annual Conference on Rehabilitation Engineering (6th, San Diego, California, June 12-16, 1983). Volume 3.

    Science.gov (United States)

    Bowman, Bruce R., Ed.

    These proceedings contain abstracts of 164 papers in the area of interdisciplinary rehabilitation research, focusing on the theme of "The Promise of Technology." The abstracts are organized into the following sections: "Home and Worksite Modification,""Computers and Microprocessor Systems,""Neuromuscular…

  1. Life system modeling and intelligent computing. Pt. I. Proceedings

    Energy Technology Data Exchange (ETDEWEB)

    Li, Kang; Irwin, George W. (eds.) [Belfast Queen' s Univ. (United Kingdom). School of Electronics, Electrical Engineering and Computer Science; Fei, Minrui; Jia, Li [Shanghai Univ. (China). School of Mechatronical Engineering and Automation

    2010-07-01

    This book is part I of a two-volume work that contains the refereed proceedings of the International Conference on Life System Modeling and Simulation, LSMS 2010 and the International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, held in Wuxi, China, in September 2010. The 194 revised full papers presented were carefully reviewed and selected from over 880 submissions and recommended for publication by Springer in two volumes of Lecture Notes in Computer Science (LNCS) and one volume of Lecture Notes in Bioinformatics (LNBI). This particular volume of Lecture Notes in Computer Science (LNCS) includes 55 papers covering 7 relevant topics. The 55 papers in this volume are organized in topical sections on intelligent modeling, monitoring, and control of complex nonlinear systems; autonomy-oriented computing and intelligent agents; advanced theory and methodology in fuzzy systems and soft computing; computational intelligence in utilization of clean and renewable energy resources; intelligent modeling, control and supervision for energy saving and pollution reduction; intelligent methods in developing vehicles, engines and equipments; computational methods and intelligence in modeling genetic and biochemical networks and regulation. (orig.)

  2. Advances in Computing and Information Technology : Proceedings of the Second International

    CERN Document Server

    Nagamalai, Dhinaharan; Chaki, Nabendu

    2012-01-01

    The international conference on Advances in Computing and Information technology (ACITY 2012) provides an excellent international forum for both academics and professionals for sharing knowledge and results in theory, methodology and applications of Computer Science and Information Technology. The Second International Conference on Advances in Computing and Information technology (ACITY 2012), held in Chennai, India, during July 13-15, 2012, covered a number of topics in all major fields of Computer Science and Information Technology including: networking and communications, network security and applications, web and internet computing, ubiquitous computing, algorithms, bioinformatics, digital image processing and pattern recognition, artificial intelligence, soft computing and applications. Upon a strength review process, a number of high-quality, presenting not only innovative ideas but also a founded evaluation and a strong argumentation of the same, were selected and collected in the present proceedings, ...

  3. Life system modeling and intelligent computing. Pt. II. Proceedings

    Energy Technology Data Exchange (ETDEWEB)

    Li, Kang; Irwin, George W. (eds.) [Belfast Queen' s Univ. (United Kingdom). School of Electronics, Electrical Engineering and Computer Science; Fei, Minrui; Jia, Li [Shanghai Univ. (China). School of Mechatronical Engineering and Automation

    2010-07-01

    This book is part II of a two-volume work that contains the refereed proceedings of the International Conference on Life System Modeling and Simulation, LSMS 2010 and the International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, held in Wuxi, China, in September 2010. The 194 revised full papers presented were carefully reviewed and selected from over 880 submissions and recommended for publication by Springer in two volumes of Lecture Notes in Computer Science (LNCS) and one volume of Lecture Notes in Bioinformatics (LNBI). This particular volume of Lecture Notes in Computer Science (LNCS) includes 55 papers covering 7 relevant topics. The 56 papers in this volume are organized in topical sections on advanced evolutionary computing theory and algorithms; advanced neural network and fuzzy system theory and algorithms; modeling and simulation of societies and collective behavior; biomedical signal processing, imaging, and visualization; intelligent computing and control in distributed power generation systems; intelligent methods in power and energy infrastructure development; intelligent modeling, monitoring, and control of complex nonlinear systems. (orig.)

  4. Abstracting massive data for lightweight intrusion detection in computer networks

    KAUST Repository

    Wang, Wei

    2016-10-15

    Anomaly intrusion detection in big data environments calls for lightweight models that are able to achieve real-time performance during detection. Abstracting audit data provides a solution to improve the efficiency of data processing in intrusion detection. Data abstraction refers to abstract or extract the most relevant information from the massive dataset. In this work, we propose three strategies of data abstraction, namely, exemplar extraction, attribute selection and attribute abstraction. We first propose an effective method called exemplar extraction to extract representative subsets from the original massive data prior to building the detection models. Two clustering algorithms, Affinity Propagation (AP) and traditional . k-means, are employed to find the exemplars from the audit data. . k-Nearest Neighbor (k-NN), Principal Component Analysis (PCA) and one-class Support Vector Machine (SVM) are used for the detection. We then employ another two strategies, attribute selection and attribute extraction, to abstract audit data for anomaly intrusion detection. Two http streams collected from a real computing environment as well as the KDD\\'99 benchmark data set are used to validate these three strategies of data abstraction. The comprehensive experimental results show that while all the three strategies improve the detection efficiency, the AP-based exemplar extraction achieves the best performance of data abstraction.

  5. Proceedings of the ninth annual symposium on computer applications in medical care

    International Nuclear Information System (INIS)

    Ackerman, M.J.

    1985-01-01

    This book covers the proceedings of the ninth annual symposium on computer applications in medical care. Some topics covered are: Development of a portable report writer for radiology; A new CT - aided robotic stereotaxis system; and a local-area-network based oncology microcomputer system

  6. A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational Effects

    DEFF Research Database (Denmark)

    Ager, Mads Sig; Danvy, Olivier; Midtgaard, Jan

    2005-01-01

    We extend our correspondence between evaluators and abstract machines from the pure setting of the lambda-calculus to the impure setting of the computational lambda-calculus. We show how to derive new abstract machines from monadic evaluators for the computational lambda-calculus. Starting from (1......) a generic evaluator parameterized by a monad and (2) a monad specifying a computational effect, we inline the components of the monad in the generic evaluator to obtain an evaluator written in a style that is specific to this computational effect. We then derive the corresponding abstract machine by closure......-converting, CPS-transforming, and defunctionalizing this specific evaluator. We illustrate the construction first with the identity monad, obtaining the CEK machine, and then with a lifting monad, a state monad, and with a lifted state monad, obtaining variants of the CEK machine with error handling, state...

  7. From Abstract Art to Abstracted Artists

    Directory of Open Access Journals (Sweden)

    Romi Mikulinsky

    2016-11-01

    Full Text Available What lineage connects early abstract films and machine-generated YouTube videos? Hans Richter’s famous piece Rhythmus 21 is considered to be the first abstract film in the experimental tradition. The Webdriver Torso YouTube channel is composed of hundreds of thousands of machine-generated test patterns designed to check frequency signals on YouTube. This article discusses geometric abstraction vis-à-vis new vision, conceptual art and algorithmic art. It argues that the Webdriver Torso is an artistic marvel indicative of a form we call mathematical abstraction, which is art performed by computers and, quite possibly, for computers.

  8. 69. Congress of Chemists. Proceeding of Abstracts

    International Nuclear Information System (INIS)

    Drabik, M.; Gyepessova, D.; Brezova, V.; Karlubik, R; Hudec, I.; Tatiersky, I.; Mastihuba, V.; Florian, K.; Koman, M.; Moncol, J.; Hives, J.; Korenko, M.; Danko, M.; Bohac, A.; Vrska, M.; Hutta, M.; Kuruc, J.; Sebesta, R.; Schmidt, S.; Svorc, L.; Hirsch, J.; Koprda, V.; Reguli, J.; Putala, M.; Vargova, Z.; Reiffova, K.; Orinakova, R.; Stevulova, N.; Hamulakova, S.; Ganajova, M.; Balintova, M.; Kulichova, E.; Vicenova, H.; Vranovicova, B.

    2017-01-01

    In the work of the meeting of the Slovak chemical society and the Czech chemical society was attended by around 350 chemists. Scientific conference deals with the following problems of chemistry: (1) Analytical chemistry; (2) Physical chemistry; (3) Nanomaterial chemistry; (4) Inorganic and material chemistry; (5) Organic chemistry; (6) Polymers; (7) Nuclear Chemistry; (8) Didactics and history of chemistry; (9) Environmental science, food-processing, and biotechnology; (6) Chemprogresss - chemical technologies. Prize of Shimadzu. These conference proceedings contains 131 papers a nd 271 posters (from which 52 contributions are in the scope of INIS),

  9. Proceedings of the third Berkeley workshop on distributed data management and computer networks. [August 29--31, 1978

    Energy Technology Data Exchange (ETDEWEB)

    1978-08-01

    Individual abstracts were prepared for twenty of the papers in these proceedings. The remaining two have already been cited in ERA and can be found by referring to LBL--7953 in the Report Number Index. (RWR)

  10. Medical image computing and computer-assisted intervention - MICCAI 2006. Pt. 1. Proceedings

    Energy Technology Data Exchange (ETDEWEB)

    Larsen, R. [Technical Univ. of Denmark, Lyngby (Denmark). Informatics and Mathematical Modelling; Nielsen, M. [IT Univ. of Copenhagen (Denmark); Sporring, J. (eds.) [Copenhagen Univ. (Denmark). Dept. of Computer Science

    2006-07-01

    The two-volume set LNCS 4190 and LNCS 4191 constitute the refereed proceedings of the 9th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2006, held in Copenhagen, Denmark in October 2006. The program committee carefully selected 39 revised full papers and 193 revised poster papers from 578 submissions for presentation in two volumes, based on a rigorous peer reviews. The first volume includes 114 contributions related to bone shape analysis, robotics and tracking, segmentation, analysis of diffusion tensor MRI, shape analysis and morphometry, simulation and interaction, robotics and intervention, cardio-vascular applications, image analysis in oncology, brain atlases and segmentation, cardiac motion analysis, clinical applications, and registration. The second volume collects 118 papers related to segmentation, validation and quantitative image analysis, brain image processing, motion in image formation, image guided clinical applications, registration, as well as brain analysis and registration. (orig.)

  11. Medical image computing and computer-assisted intervention - MICCAI 2006. Pt. 2. Proceedings

    Energy Technology Data Exchange (ETDEWEB)

    Larsen, R. [Technical Univ. of Denmark, Lyngby (Denmark). Informatics and Mathematical Modelling; Nielsen, M. [IT Univ. of Copenhagen (Denmark); Sporring, J. (eds.) [Copenhagen Univ. (Denmark). Dept. of Computer Science

    2006-07-01

    The two-volume set LNCS 4190 and LNCS 4191 constitute the refereed proceedings of the 9th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2006, held in Copenhagen, Denmark in October 2006. The program committee carefully selected 39 revised full papers and 193 revised poster papers from 578 submissions for presentation in two volumes, based on a rigorous peer reviews. The first volume includes 114 contributions related to bone shape analysis, robotics and tracking, segmentation, analysis of diffusion tensor MRI, shape analysis and morphometry, simulation and interaction, robotics and intervention, cardio-vascular applications, image analysis in oncology, brain atlases and segmentation, cardiac motion analysis, clinical applications, and registration. The second volume collects 118 papers related to segmentation, validation and quantitative image analysis, brain image processing, motion in image formation, image guided clinical applications, registration, as well as brain analysis and registration. (orig.)

  12. Medical image computing and computer-assisted intervention - MICCAI 2006. Pt. 2. Proceedings

    International Nuclear Information System (INIS)

    Larsen, R.; Sporring, J.

    2006-01-01

    The two-volume set LNCS 4190 and LNCS 4191 constitute the refereed proceedings of the 9th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2006, held in Copenhagen, Denmark in October 2006. The program committee carefully selected 39 revised full papers and 193 revised poster papers from 578 submissions for presentation in two volumes, based on a rigorous peer reviews. The first volume includes 114 contributions related to bone shape analysis, robotics and tracking, segmentation, analysis of diffusion tensor MRI, shape analysis and morphometry, simulation and interaction, robotics and intervention, cardio-vascular applications, image analysis in oncology, brain atlases and segmentation, cardiac motion analysis, clinical applications, and registration. The second volume collects 118 papers related to segmentation, validation and quantitative image analysis, brain image processing, motion in image formation, image guided clinical applications, registration, as well as brain analysis and registration. (orig.)

  13. Medical image computing and computer-assisted intervention - MICCAI 2006. Pt. 1. Proceedings

    International Nuclear Information System (INIS)

    Larsen, R.; Sporring, J.

    2006-01-01

    The two-volume set LNCS 4190 and LNCS 4191 constitute the refereed proceedings of the 9th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2006, held in Copenhagen, Denmark in October 2006. The program committee carefully selected 39 revised full papers and 193 revised poster papers from 578 submissions for presentation in two volumes, based on a rigorous peer reviews. The first volume includes 114 contributions related to bone shape analysis, robotics and tracking, segmentation, analysis of diffusion tensor MRI, shape analysis and morphometry, simulation and interaction, robotics and intervention, cardio-vascular applications, image analysis in oncology, brain atlases and segmentation, cardiac motion analysis, clinical applications, and registration. The second volume collects 118 papers related to segmentation, validation and quantitative image analysis, brain image processing, motion in image formation, image guided clinical applications, registration, as well as brain analysis and registration. (orig.)

  14. A Comparison of the Methodological Quality of Articles in Computer Science Education Journals and Conference Proceedings

    Science.gov (United States)

    Randolph, Justus J.; Julnes, George; Bednarik, Roman; Sutinen, Erkki

    2007-01-01

    In this study we empirically investigate the claim that articles published in computer science education journals are more methodologically sound than articles published in computer science education conference proceedings. A random sample of 352 articles was selected from those articles published in major computer science education forums between…

  15. 8th Czechoslovak spectroscopic conference. Abstracts

    International Nuclear Information System (INIS)

    1988-01-01

    Volume 2 of the conference proceedings contains abstracts of 17 invited papers and 119 poster presentations, devoted to molecular spectroscopy. Abstracts of 2 poster presentations were inputted in INIS, one dealing with organic complexes of 99 Tc, the other with electronic spectra of lanthanide ions. (A.K.)

  16. Proceedings:

    Energy Technology Data Exchange (ETDEWEB)

    Sidhu, S.S. (comp.)

    1987-12-01

    With increasingly stringent requirements on the performance of accelerators and storage rings, there is a wide interest in modeling-based control. The organizers recognized the need to have an overview and discussion on the current status of modeling-based accelerator control and how advances in computer technology, software engineering, and expert systems can impact control and diagnosis. As a result, a workshop was organized at the Brookhaven National Laboratory on August 17-18, 1987. It was made possible by the joint support of the AGS, NSLS and Applied Mathematics Departments of BNL. The talks and discussions were divided into three main topics: elements of modeling, knowledge representation, and integration of modeling-based control systems with AI and workstations. This volume is the unedited collection of papers, presented at the Workshop. Separate abstracts were prepared for 10 papers in these proceedings.

  17. Abstracts of computer programs and data libraries pertaining to photon production data

    Energy Technology Data Exchange (ETDEWEB)

    White, J.E.; Manneschmidt, J.B.; Finch, S.Y.; Dickens, J.K.

    1998-06-01

    Abstracts, or descriptions, of computer programs and data libraries pertaining to Photon Production Data (Measurements, Evaluations and Calculations) maintained in the collections of the Radiation Safety Information Computational Center, Oak Ridge, Tennessee USA and at the OECD/NEA Data Bank, Paris, are collected in this document.

  18. Abstracts of computer programs and data libraries pertaining to photon production data

    International Nuclear Information System (INIS)

    White, J.E.; Manneschmidt, J.B.; Finch, S.Y.; Dickens, J.K.

    1998-01-01

    Abstracts, or descriptions, of computer programs and data libraries pertaining to Photon Production Data (Measurements, Evaluations and Calculations) maintained in the collections of the Radiation Safety Information Computational Center, Oak Ridge, Tennessee USA and at the OECD/NEA Data Bank, Paris, are collected in this document

  19. Computer Science and Convergence : CSA 2011 & WCC 2011 Proceedings

    CERN Document Server

    Chao, Han-Chieh; Obaidat, Mohammad; Kim, Jongsung

    2012-01-01

    Computer Science and Convergence is proceedings of the 3rd FTRA International Conference on Computer Science and its Applications (CSA-11) and The 2011 FTRA World Convergence Conference (FTRA WCC 2011). The topics of CSA and WCC cover the current hot topics satisfying the world-wide ever-changing needs. CSA-11 will be the most comprehensive conference focused on the various aspects of advances in computer science and its applications and will provide an opportunity for academic and industry professionals to discuss the latest issues and progress in the area of CSA. In addition, the conference will publish high quality papers which are closely related to the various theories and practical applications in CSA. Furthermore, we expect that the conference and its publications will be a trigger for further related research and technology improvements in this important subject. The main scope of CSA-11 is as follows: -      Mobile and ubiquitous computing -      Dependable, reliable and autonomic computi...

  20. Proceedings of the 6th Computer Science On-line Conference 2017

    CERN Document Server

    Senkerik, Roman; Oplatkova, Zuzana; Prokopova, Zdenka; Silhavy, Petr

    2017-01-01

    This book presents new methods and approaches to real-world problems as well as exploratory research that describes novel artificial intelligence applications, including deep learning, neural networks and hybrid algorithms. This book constitutes the refereed proceedings of the Artificial Intelligence Trends in Intelligent Systems Section of the 6th Computer Science On-line Conference 2017 (CSOC 2017), held in April 2017. .

  1. Conference proceedings ISES 2014

    DEFF Research Database (Denmark)

    Christensen, Janne Winther; Peerstrup Ahrendt, Line; Malmkvist, Jens

    The 10th Internatinal Equitation Science Conference is held i Denmark from August 6th - 9th 2014. This book of proceedings contaions abstracts of 35 oral and 57 poster presentations within the conference themes Equine Stress, Learning and Training as well as free papers.......The 10th Internatinal Equitation Science Conference is held i Denmark from August 6th - 9th 2014. This book of proceedings contaions abstracts of 35 oral and 57 poster presentations within the conference themes Equine Stress, Learning and Training as well as free papers....

  2. A Computer-Assisted Instruction in Teaching Abstract Statistics to Public Affairs Undergraduates

    Science.gov (United States)

    Ozturk, Ali Osman

    2012-01-01

    This article attempts to demonstrate the applicability of a computer-assisted instruction supported with simulated data in teaching abstract statistical concepts to political science and public affairs students in an introductory research methods course. The software is called the Elaboration Model Computer Exercise (EMCE) in that it takes a great…

  3. Proceedings of the Third International Conference on Trends in Information, Telecommunication and Computing

    CERN Document Server

    2013-01-01

    The Proceedings of the Third International Conference on Trends in Information, Telecommunication and Computing provides in-depth understanding of the fundamental challenges in the fields of Computational Engineering, Computer, Power Electronics, Instrumentation, Control System, and Telecommunication Technology. This book provides a broad vision for the future of research in these fields with ideas on how to support these new technologies currently practice. Every submitted paper received a careful review from the committee and the final accept/reject decisions were made by the co-chairs on the bases of recommendations from the committee members.

  4. Proceedings of the nineteenth LAMPF Users Group meeting

    International Nuclear Information System (INIS)

    Bradbury, J.N.

    1986-02-01

    Separate abstracts were prepared for eight invited talks on various aspects of nuclear and particle physics as well as status reports on LAMPF and discussions of upgrade options. Also included in these proceedings are the minutes of the working groups for: energetic pion channel and spectrometer; high resolution spectrometer; high energy pion channel; neutron facilities; low-energy pion work; nucleon physics laboratory; stopped muon physics; solid state physics and material science; nuclear chemistry; and computing facilities. Recent LAMPF proposals are also briefly summarized

  5. Statistical properties of dynamical systems – Simulation and abstract computation

    International Nuclear Information System (INIS)

    Galatolo, Stefano; Hoyrup, Mathieu; Rojas, Cristóbal

    2012-01-01

    Highlights: ► A survey on results about computation and computability on the statistical properties of dynamical systems. ► Computability and non-computability results for invariant measures. ► A short proof for the computability of the convergence speed of ergodic averages. ► A kind of “constructive” version of the pointwise ergodic theorem. - Abstract: We survey an area of recent development, relating dynamics to theoretical computer science. We discuss some aspects of the theoretical simulation and computation of the long term behavior of dynamical systems. We will focus on the statistical limiting behavior and invariant measures. We present a general method allowing the algorithmic approximation at any given accuracy of invariant measures. The method can be applied in many interesting cases, as we shall explain. On the other hand, we exhibit some examples where the algorithmic approximation of invariant measures is not possible. We also explain how it is possible to compute the speed of convergence of ergodic averages (when the system is known exactly) and how this entails the computation of arbitrarily good approximations of points of the space having typical statistical behaviour (a sort of constructive version of the pointwise ergodic theorem).

  6. CUBE (Computer Use By Engineers) symposium abstracts. [LASL, October 4--6, 1978

    Energy Technology Data Exchange (ETDEWEB)

    Ruminer, J.J. (comp.)

    1978-07-01

    This report presents the abstracts for the CUBE (Computer Use by Engineers) Symposium, October 4, through 6, 1978. Contributors are from Lawrence Livermore Laboratory, Los Alamos Scientific Laboratory, and Sandia Laboratories.

  7. Advances in Computing and Information Technology : Proceedings of the Second International Conference on Advances in Computing and Information Technology

    CERN Document Server

    Nagamalai, Dhinaharan; Chaki, Nabendu

    2013-01-01

    The international conference on Advances in Computing and Information technology (ACITY 2012) provides an excellent international forum for both academics and professionals for sharing knowledge and results in theory, methodology and applications of Computer Science and Information Technology. The Second International Conference on Advances in Computing and Information technology (ACITY 2012), held in Chennai, India, during July 13-15, 2012, covered a number of topics in all major fields of Computer Science and Information Technology including: networking and communications, network security and applications, web and internet computing, ubiquitous computing, algorithms, bioinformatics, digital image processing and pattern recognition, artificial intelligence, soft computing and applications. Upon a strength review process, a number of high-quality, presenting not only innovative ideas but also a founded evaluation and a strong argumentation of the same, were selected and collected in the present proceedings, ...

  8. 8th Czechoslovak spectroscopic conference. Abstracts

    International Nuclear Information System (INIS)

    1988-01-01

    Volume 3 of the conference proceedings contains abstracts of 17 invited papers, 101 poster presentations and 7 papers of instrument manufacturers, devoted to special spectroscopic techniques including X-ray microanalysis, X-ray spectral analysis, Moessbauer spectrometry, mass spectrometry, instrumental activation analysis and other instrumental radioanalytical methods, electron spectrometry, and techniques of environmental analysis. Sixty abstracts were inputted in INIS. (A.K.)

  9. Emerging Computation and Information teChnologies for Education : Proceeding of 2012 International Conference on Emerging Computation and Information teChnologies for Education

    CERN Document Server

    Xu, Linli; Tian, Wenya

    2012-01-01

    The 2012 International Conference on Emerging Computation and Information teChnologies for Education (ECICE 2012) was  held on Jan. 15-16, 2012, Hangzhou, China.  The main results of the conference are presented in this proceedings book of carefully reviewed and accepted paper addressing the hottest issues in emerging computation and information technologies used for education. The volume covers a wide series of topics in the area, including Computer-Assisted Education, Educational Information Systems, Web-based Learning, etc.

  10. Eighteenth symposium on biotechnology for fuels and chemicals: Program and abstracts

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    1996-12-31

    This volume provides the proceedings for the Eighteenth Symposium on Biotechnology for Fuels and Chemicals held May 5-9, 1996 in Gatlinburg, Tennessee. The proceedings contains abstracts for oral and poster presentations.

  11. Actas de la Segunda conferencia internacional en ciencia de la computacion (proceedings of the 2nd international conference on computer science)

    Energy Technology Data Exchange (ETDEWEB)

    1982-01-01

    The following topics were dealt with: relational databases; memory unit environments; artificial intelligence systems; programming theory; functional programming; distributed systems; and abstract data types. 13 papers were presented, of which 13 are published in full in the present proceedings. Abstracts of individual papers can be found under the relevant classification codes in this or other issues.

  12. Proceedings: Distributed digital systems, plant process computers, and networks

    International Nuclear Information System (INIS)

    1995-03-01

    These are the proceedings of a workshop on Distributed Digital Systems, Plant Process Computers, and Networks held in Charlotte, North Carolina on August 16--18, 1994. The purpose of the workshop was to provide a forum for technology transfer, technical information exchange, and education. The workshop was attended by more than 100 representatives of electric utilities, equipment manufacturers, engineering service organizations, and government agencies. The workshop consisted of three days of presentations, exhibitions, a panel discussion and attendee interactions. Original plant process computers at the nuclear power plants are becoming obsolete resulting in increasing difficulties in their effectiveness to support plant operations and maintenance. Some utilities have already replaced their plant process computers by more powerful modern computers while many other utilities intend to replace their aging plant process computers in the future. Information on recent and planned implementations are presented. Choosing an appropriate communications and computing network architecture facilitates integrating new systems and provides functional modularity for both hardware and software. Control room improvements such as CRT-based distributed monitoring and control, as well as digital decision and diagnostic aids, can improve plant operations. Commercially available digital products connected to the plant communications system are now readily available to provide distributed processing where needed. Plant operations, maintenance activities, and engineering analyses can be supported in a cost-effective manner. Selected papers are indexed separately for inclusion in the Energy Science and Technology Database

  13. Proceedings of the 2. Regional meeting on polymers. Book of abstracts

    International Nuclear Information System (INIS)

    1998-01-01

    Theoretical and experimental papers are presented in these proceedings related to the following subjects: nuclear magnetic resonance, structural chemical analysis, polymers, petroleum, wastes and biomass

  14. Fourth DOE environmental protection information meeting. Proceedings

    International Nuclear Information System (INIS)

    1983-08-01

    Separate abstracts were prepared for the 51 papers included in this proceedings volume for the Energy Data Base (EDB). All are included in Energy Research Abstracts (ERA); eight are included in Energy Abstracts for Policy Analysis (EAPA)

  15. Advances in Multimedia, Software Engineering and Computing Vol.1 : Proceedings of the 2011 MSEC International Conference on Multimedia, Software Engineering and Computing

    CERN Document Server

    Lin, Sally

    2012-01-01

    MSEC2011 is an integrated conference concentrating its focus upon Multimedia ,Software Engineering, Computing and Education. In the proceeding, you can learn much more knowledge about Multimedia, Software Engineering ,Computing and Education of researchers all around the world. The main role of the proceeding is to be used as an exchange pillar for researchers who are working in the mentioned field. In order to meet high standard of Springer, AISC series ,the organization committee has made their efforts to do the following things. Firstly, poor quality paper has been refused after reviewing course by anonymous referee experts. Secondly, periodically review meetings have been held around the reviewers about five times for exchanging reviewing suggestions. Finally, the conference organization had several preliminary sessions before the conference. Through efforts of different people and departments, the conference will be successful and fruitful.

  16. Advances in Multimedia, Software Engineering and Computing Vol.2 : Proceedings of the 2011 MSEC International Conference on Multimedia, Software Engineering and Computing

    CERN Document Server

    Lin, Sally

    2012-01-01

    MSEC2011 is an integrated conference concentrating its focus upon Multimedia ,Software Engineering, Computing and Education. In the proceeding, you can learn much more knowledge about Multimedia, Software Engineering, Computing and Education of researchers all around the world. The main role of the proceeding is to be used as an exchange pillar for researchers who are working in the mentioned field. In order to meet high standard of Springer, AISC series ,the organization committee has made their efforts to do the following things. Firstly, poor quality paper has been refused after reviewing course by anonymous referee experts. Secondly, periodically review meetings have been held around the reviewers about five times for exchanging reviewing suggestions. Finally, the conference organization had several preliminary sessions before the conference. Through efforts of different people and departments, the conference will be successful and fruitful.

  17. ysteries, Puzzles, and Paradoxes in Quantum Mechanics. Proceedings

    International Nuclear Information System (INIS)

    Rodolfo, B.

    1999-01-01

    These proceedings represent papers presented at the Mysteries, Puzzles, and Paradoxes in Quantum Mechanics Workshop held in Italy, in August 1998. The Workshop was devoted to recent experimental and theoretical advances such as new interference, effects, the quantum eraser, non-disturbing and Schroedinger-cat-like states, experiments, EPR correlations, teleportation, superluminal effects, quantum information and computing, locality and causality, decoherence and measurement theory. Tachyonic information transfer was also discussed. There were 45 papers presented at the conference,out of which 2 have been abstracted for the Energy, Science and Technology database

  18. United European Gastroenterology Week scientific abstracts and their progression to full publication.

    Science.gov (United States)

    Raju, Suneil A; Sanders, David S; Akram, Rahim; Glover, Rebecca; Al-Rifaie, Ammar; Peever, Elise; Purves, Josh; Scanu, Emily; Kurien, Matthew

    2017-10-01

    Abstracts presentations at scientific meetings enable rapid dissemination of novel research. The percentage of abstracts that proceed to full publication from differing medical specialties is highly variable. This study aims to evaluate the outcomes of abstracts presented at the United European Gastroenterology Week (UEGW). All abstracts presented at UEGW between 2009 and 2011 were assessed. Cross-referencing of the first author, senior author and at least one keyword of the abstract was performed using PubMed and EMBASE databases. Abstracts and possible resultant full publications were then examined in tandem to ensure that they represented the same study. Data were also collected on lag time to publication, journal impact factors, country of the author and factors influencing subsequent publication. A total of 6785 abstracts (1438 oral and 5347 poster presentations) were presented during the period assessed. Of these, 2099 (30.9%) proceeded to full publication in indexed journals. Oral abstract presentations were most likely to proceed to full publication compared with poster presentations (odds ratio: 1.38, 95% confidence interval: 1.22-1.56) and were more likely to achieve publication in higher impact journals (median impact factor 4.78 vs. 2.89, PEuropean Gastroenterology abstract conversion rate to full publication (46.8%). This is the first study to assess the publication rates of UEGW. Findings are favourable with similar studies from other societies.

  19. Proceedings: Computer Science and Data Systems Technical Symposium, volume 2

    Science.gov (United States)

    Larsen, Ronald L.; Wallgren, Kenneth

    1985-01-01

    Progress reports and technical updates of programs being performed by NASA centers are covered. Presentations in viewgraph form, along with abstracts, are included for topics in three catagories: computer science, data systems, and space station applications.

  20. CNS proceedings of the 16. annual conference, volume I and II

    Energy Technology Data Exchange (ETDEWEB)

    Wight, A L; Loewer, R [eds.

    1996-12-31

    The proceedings of the 16. annual conference of the Canadian Nuclear Society cover a wide range of nuclear topics, but the emphasis is on CANDU reactors and Canadian experience. The 82 papers are arranged in 16 sessions dealing with the following subjects: thermalhydraulics, containment, control and instrumentation, reactor physics, fuel channels, engineering and maintenance, safety and licensing, severe accidents and probabilistic safety assessment, new reactors and applications, radiation, fuel, computers. The individual papers have been abstracted separately.

  1. CNS proceedings of the 16. annual conference, volume I and II

    International Nuclear Information System (INIS)

    Wight, A.L.; Loewer, R.

    1995-01-01

    The proceedings of the 16. annual conference of the Canadian Nuclear Society cover a wide range of nuclear topics, but the emphasis is on CANDU reactors and Canadian experience. The 82 papers are arranged in 16 sessions dealing with the following subjects: thermalhydraulics, containment, control and instrumentation, reactor physics, fuel channels, engineering and maintenance, safety and licensing, severe accidents and probabilistic safety assessment, new reactors and applications, radiation, fuel, computers. The individual papers have been abstracted separately

  2. Guelph Symposium on Computer Conferencing Proceedings (2nd, Guelph, Ontario, Canada, June 1-4, 1987).

    Science.gov (United States)

    Guelph Univ. (Ontario).

    This proceedings provides the texts of opening remarks, the official welcome, and 37 papers presented at an international symposium on the theme, "Computer Conferencing: Allied Technologies and New Applications." The papers are divided into seven categories: (1) Distance and Adult Education; (2) Socio-Psychological Issues; (3) Computer…

  3. Abstracts of submitted papers

    International Nuclear Information System (INIS)

    1987-01-01

    The conference proceedings contain 152 abstracts of presented papers relating to various aspects of personnel dosimetry, the dosimetry of the working and living environment, various types of dosemeters and spectrometers, the use of radionuclides in various industrial fields, the migration of radionuclides on Czechoslovak territory after the Chernobyl accident, theoretical studies of some parameters of ionizing radiation detectors, and their calibration. (M.D.)

  4. SPR 2014. Abstracts

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    2014-05-15

    The proceedings of the SPR 2014 meeting include abstracts on the following topics: Body imaging techniques: practical advice for clinic work; thoracic imaging: focus on the lungs; gastrointestinal imaging: focus on the pancreas and bowel; genitourinary imaging: focus on gonadal radiology; muscoskeletal imaging; focus on oncology; child abuse and nor child abuse: focus on radiography; impact of NMR and CT imaging on management of CHD; education and communication: art and practice in pediatric radiology.

  5. SPR 2014. Abstracts

    International Nuclear Information System (INIS)

    2014-01-01

    The proceedings of the SPR 2014 meeting include abstracts on the following topics: Body imaging techniques: practical advice for clinic work; thoracic imaging: focus on the lungs; gastrointestinal imaging: focus on the pancreas and bowel; genitourinary imaging: focus on gonadal radiology; muscoskeletal imaging; focus on oncology; child abuse and nor child abuse: focus on radiography; impact of NMR and CT imaging on management of CHD; education and communication: art and practice in pediatric radiology.

  6.  Proceedings of the CC 2005 Decennial Conference on Critical Computing: Between sense and sensibility

    DEFF Research Database (Denmark)

    Bertelsen, Olav W.; Bouvin, Niels Olof; Krogh, Peter Gall

    This book contains the proceedings of the fourth decennial Aarhus conference. The, primarily Nordic, conference in 1975 was a milestone in defining the development of computer-based, socio-technical systems as an area where the end-users should have a major say. At the conference in 1985 a lot of...

  7. Ghana Science Abstracts

    International Nuclear Information System (INIS)

    Entsua-Mensah, C.

    2004-01-01

    This issue of the Ghana Science Abstracts combines in one publication all the country's bibliographic output in science and technology. The objective is to provide a quick reference source to facilitate the work of information professionals, research scientists, lecturers and policy makers. It is meant to give users an idea of the depth and scope and results of the studies and projects carried out. The scope and coverage comprise research outputs, conference proceedings and periodical articles published in Ghana. It does not capture those that were published outside Ghana. Abstracts reported have been grouped under the following subject areas: Agriculture, Biochemistry, Biodiversity conservation, biological sciences, biotechnology, chemistry, dentistry, engineering, environmental management, forestry, information management, mathematics, medicine, physics, nuclear science, pharmacy, renewable energy and science education

  8. Proceedings 19th Central Hardwood Forest Conference

    Science.gov (United States)

    John W. Groninger; Eric J. Holzmueller; Clayton K. Nielsen; Daniel C., eds. Dey

    2014-01-01

    Proceedings from the 2014 Central Hardwood Forest Conference in Carbondale, IL. The published proceedings include 27 papers and 47 abstracts pertaining to research conducted on biofuels and bioenergy, forest biometrics, forest ecology and physiology, forest economics, forest health including invasive species, forest soils and hydrology, geographic information systems,...

  9. Proceedings of the Workshop on Methods & Tools for Computer Supported Collaborative Creativity Process: Linking creativity & informal learning

    NARCIS (Netherlands)

    Retalis, Symeon; Sloep, Peter

    2009-01-01

    Retalis, S., & Sloep, P. B. (Eds.) (2009). Collection of 4 symposium papers at EC-TEL 2009. Proceedings of the Workshop on Methods & Tools for Computer Supported Collaborative Creativity Process: Linking creativity & informal learning. September, 30, 2009, Nice,

  10. Proceedings – Mathematical Sciences | Indian Academy of Sciences

    Indian Academy of Sciences (India)

    Home; Journals; Proceedings – Mathematical Sciences. Shobha Madan. Articles written in Proceedings – Mathematical Sciences. Volume 113 Issue 2 May 2003 pp 171-178. Wavelet Subspaces Invariant Under Groups of Translation Operators · Biswaranjan Behera Shobha Madan · More Details Abstract Fulltext PDF.

  11. Proceedings – Mathematical Sciences | Indian Academy of Sciences

    Indian Academy of Sciences (India)

    Home; Journals; Proceedings – Mathematical Sciences. MOHAMED KHALIL ZGHAL. Articles written in Proceedings – Mathematical Sciences. Volume 128 Issue 1 March 2018 pp 13 Research Article. Sharp Adams-type inequality invoking Hardy inequalities · MOHAMED KHALIL ZGHAL · More Details Abstract Fulltext PDF.

  12. Advances in Grid and Pervasive Computing: 5th International Conference, GPC 2010, Hualien, Taiwan, May 10-13, 2010: Proceedings

    NARCIS (Netherlands)

    Bellavista, P.; Chang, R.-S.; Chao, H.-C.; Lin, S.-F.; Sloot, P.M.A.

    2010-01-01

    This book constitutes the proceedings of the 5th international conference, CPC 2010, held in Hualien, Taiwan in May 2010. The 67 full papers are selected from 184 submissions and focus on topics such as cloud and Grid computing, peer-to-peer and pervasive computing, sensor and mobile networks,

  13. Correlations and fluctuations '98. Collected abstracts

    International Nuclear Information System (INIS)

    Csoergoe, T.; Hegyi, S.; Hwa, R.C.; Jancso, G.

    1998-01-01

    The proceedings of the 8. International workshop on multiparticle production contains the abstracts of papers on various topics of correlations and fluctuations. Hydrodynamic models, Bose-Einstein correlations, hadron-hadron interactions, heavy ion reactions are discussed in detail. 54 items are indexed separately for the INIS database. (K.A.)

  14. Proceedings of the second ERDA statistical symposium

    Energy Technology Data Exchange (ETDEWEB)

    Tietjen, G.; Campbell, K. (comps.)

    1977-04-01

    The Second ERDA Statistical Symposium, sponsored by the Energy Research and Development Administration, was held at Oak Ridge, Tennessee, October 25-27, 1976. This was the second annual symposium designed to promote interlaboratory communications among ERDA statisticians as well as contacts with statisticians from other institutions. The proceedings of the first symposium, held at Los Alamos in November, 1975, have been published by Batelle Pacific Northwest Laboratories (BNWL-1986). Separate abstracts were prepared for seven of the papers in this proceeding, all going in ERDA Energy Research Abstracts (ERA) and two in Energy Abstracts for Policy Analysis (EAPA). The remaining four have already been cited in ERA and can be found by referring to CONF-761023-- in the report number index. (RWR)

  15. Proceedings – Mathematical Sciences | Indian Academy of Sciences

    Indian Academy of Sciences (India)

    Home; Journals; Proceedings – Mathematical Sciences. Basudeb Datta. Articles written in Proceedings – Mathematical Sciences. Volume 112 Issue 2 May 2002 pp 257-281. Two-Dimensional Weak Pseudomanifolds on Eight Vertices · Basudeb Datta Nandini Nilakantan · More Details Abstract Fulltext PDF. We explicitly ...

  16. Proceedings – Mathematical Sciences | Indian Academy of Sciences

    Indian Academy of Sciences (India)

    Home; Journals; Proceedings – Mathematical Sciences; Forthcoming articles. Forthcoming articles. Proceedings – Mathematical Sciences. PMSC-D-14-00136. Combinatorics of tenth order mock theta functions. J K SAREEN M RANA. Abstract. In this paper we are providing the combinatorial interpretations of two tenth ...

  17. CNA proceedings

    International Nuclear Information System (INIS)

    1996-01-01

    The proceedings comprise keynote addresses, biographies, and 22 papers organized under the following headings: international CANDU operations, challenges in the uranium industry, public acceptance - gaining support, strategies for success in the nuclear business, nuclear power and the environment, initiatives in nuclear regulation, other opportunities. Individual papers published which come within the scope of INIS have been abstracted separately

  18. CNA proceedings

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    1997-12-31

    The proceedings comprise keynote addresses, biographies, and 22 papers organized under the following headings: international CANDU operations, challenges in the uranium industry, public acceptance - gaining support, strategies for success in the nuclear business, nuclear power and the environment, initiatives in nuclear regulation, other opportunities. Individual papers published which come within the scope of INIS have been abstracted separately.

  19. Contagious architecture: computation, aesthetics, and space (technologies of lived abstraction)

    CERN Document Server

    Parisi, Luciana

    2013-01-01

    In Contagious Architecture, Luciana Parisi offers a philosophical inquiry into the status of the algorithm in architectural and interaction design. Her thesis is that algorithmic computation is not simply an abstract mathematical tool but constitutes a mode of thought in its own right, in that its operation extends into forms of abstraction that lie beyond direct human cognition and control. These include modes of infinity, contingency, and indeterminacy, as well as incomputable quantities underlying the iterative process of algorithmic processing. The main philosophical source for the project is Alfred North Whitehead, whose process philosophy is specifically designed to provide a vocabulary for "modes of thought" exhibiting various degrees of autonomy from human agency even as they are mobilized by it. Because algorithmic processing lies at the heart of the design practices now reshaping our world -- from the physical spaces of our built environment to the networked spaces of digital culture -- the nature o...

  20. Symposium on irradiation for national development. Proceedings

    International Nuclear Information System (INIS)

    Adesanmi, C.A.; Ogbadu, G.H.

    1998-01-01

    This document is the full proceedings of the symposium on irradiation for national development held at SHESTCO in 1996. It contains the full texts of a forward, opening and special remarks, welcome and keynote addresses and abstracts and texts of 23 technical papers. The subjects covered included regulations, codes of practice, irradiation technology in food, agriculture and industry, radiation protection and dosimetry. The questions, answers and comments in the discussion sessions are also included. Additionally, the abstracts of 8 other papers are included. We wish to thank the Coordinator of SHESTCO for making available this proceedings

  1. Symposium on irradiation for national development. Proceedings

    Energy Technology Data Exchange (ETDEWEB)

    Adesanmi, C A; Ogbadu, G H [eds.

    1998-12-01

    This document is the full proceedings of the symposium on irradiation for national development held at SHESTCO in 1996. It contains the full texts of a forward, opening and special remarks, welcome and keynote addresses and abstracts and texts of 23 technical papers. The subjects covered included regulations, codes of practice, irradiation technology in food, agriculture and industry, radiation protection and dosimetry. The questions, answers and comments in the discussion sessions are also included. Additionally, the abstracts of 8 other papers are included. We wish to thank the Coordinator of SHESTCO for making available this proceedings.

  2. Abstraction Power in Computer Science Education

    DEFF Research Database (Denmark)

    Bennedsen, Jens Benned; Caspersen, Michael Edelgaard

    2006-01-01

    The paper is a discussion of the hypothesis that a person’s abstraction power (or ability) has a positive influence on their ability to program.......The paper is a discussion of the hypothesis that a person’s abstraction power (or ability) has a positive influence on their ability to program....

  3. Proceedings – Mathematical Sciences | Indian Academy of Sciences

    Indian Academy of Sciences (India)

    Home; Journals; Proceedings – Mathematical Sciences. CHANCHAL KUMAR. Articles written in Proceedings – Mathematical Sciences. Volume 120 Issue 2 April 2010 pp 163-168. Deficiently Extremal Cohen-Macaulay Algebras · Chanchal Kumar Pavinder Singh · More Details Abstract Fulltext PDF. The aim of this paper is ...

  4. Applied Parallel Computing Industrial Computation and Optimization

    DEFF Research Database (Denmark)

    Madsen, Kaj; NA NA NA Olesen, Dorte

    Proceedings and the Third International Workshop on Applied Parallel Computing in Industrial Problems and Optimization (PARA96)......Proceedings and the Third International Workshop on Applied Parallel Computing in Industrial Problems and Optimization (PARA96)...

  5. SPR 2017. Abstracts

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    2017-05-15

    The conference proceedings SPR 2017 include abstracts on the following issues: gastrointestinal radiography - inflammatory bowel diseases, cardiovascular CTA, general muscoskeletal radiology, muscoskeletal congenital development diseases, general pediatric radiology - chest, muscoskeletal imaging - marrow and infectious disorders, state-of-the-art body MR imaging, practical pediatric sonography, quality and professionalism, CT imaging in congenital heart diseases, radiographic courses, body MT techniques, contrast enhanced ultrasound, machine learning, forensic imaging, the radiation dos conundrum - reconciling imaging, imagining and managing, the practice of radiology, interventional radiology, neuroradiology, PET/MR.

  6. Proceedings – Mathematical Sciences | Indian Academy of Sciences

    Indian Academy of Sciences (India)

    Home; Journals; Proceedings – Mathematical Sciences. Rémi Léandre. Articles written in Proceedings – Mathematical Sciences. Volume 116 Issue 4 November 2006 pp 507-518 Non-commutative Probability Theory. Malliavin Calculus of Bismut Type without Probability · Rémi Léandre · More Details Abstract Fulltext PDF.

  7. Proceedings – Mathematical Sciences | Indian Academy of Sciences

    Indian Academy of Sciences (India)

    Home; Journals; Proceedings – Mathematical Sciences. MEGHA GOYAL. Articles written in Proceedings – Mathematical Sciences. Volume 128 Issue 1 March 2018 pp 2 Research Article. On 3-way combinatorial identities · A K AGARWAL MEGHA GOYAL · More Details Abstract Fulltext PDF. In this paper, we provide ...

  8. Proceedings – Mathematical Sciences | Indian Academy of Sciences

    Indian Academy of Sciences (India)

    Home; Journals; Proceedings – Mathematical Sciences. Pravir Dutt. Articles written in Proceedings – Mathematical Sciences. Volume 112 Issue 4 November 2002 pp 601-639. Stability Estimates for ℎ- Spectral Element Methods for Elliptic Problems · Pravir Dutt Satyendra Tomar B V Rathish Kumar · More Details Abstract ...

  9. Proceedings – Mathematical Sciences | Indian Academy of Sciences

    Indian Academy of Sciences (India)

    Home; Journals; Proceedings – Mathematical Sciences. B V Rao. Articles written in Proceedings – Mathematical Sciences. Volume 116 Issue 1 February 2006 pp 83-96. On Characterisation of Markov Processes Via Martingale Problems · Abhay G Bhatt Rajeeva L Karandikar B V Rao · More Details Abstract Fulltext PDF.

  10. Student Scientific Conference 2000. Abstracts of papers of students and post-graduate students

    International Nuclear Information System (INIS)

    Ilias, M.

    2000-04-01

    The aim of the Student Scientific Conference was review of works of students and post-graduate students from universities of the Slovak Republic and Czech Republic. The proceedings of the conference contain 43 abstracts of Biological Section, 69 abstracts of Chemical Section, 18 abstracts of Environmental Section, 15 abstracts of Geography and Cartography Section, and 31 abstracts of Geology Section

  11. SCEE 2008 book of abstracts. The 7. international conference on scientific computing in electrical engineering (SCEE 2008)

    Energy Technology Data Exchange (ETDEWEB)

    Roos, J.; Costa, L.R.J. (ed.)

    2008-09-15

    SCEE is an international conference series dedicated to Scientific Computing in Electrical Engineering. The 7th International Conference on Scientific Computing in Electrical Engineering (SCEE 2008) in Espoo, Finland, is organized by the Helsinki University of Technology (TKK); Faculty of Electronics, Communications and Automation (ECA); Department of Radio Science and Engineering (RAD); Circuit Theory Group. (SCEE 2008 web site: http://www.ct.tkk.fi/scee2008/). The aim of the SCEE 2008 conference is to bring together scientists from academia and industry with the goal of intensive discussions on modeling and numerical simulation of electronic circuits and of electromagnetic fields. The conference is mainly directed towards mathematicians and electrical engineers. The SCEE 2008 conference has the following four main topics: 1. Computational Electromagnetics (CE), 2. Circuit Simulation (CS), 3. Coupled Problems (CP), 4. Mathematical and Computational Methods (CM). The selection of abstracts in this book was carried out by the Program Committee; each abstract was reviewed by two or three reviewers. The authors of all accepted abstracts were invited to submit an extended full paper, which will be reviewed as well. The accepted full papers will later on be published in a separate post-conference book

  12. Proceedings – Mathematical Sciences | Indian Academy of Sciences

    Indian Academy of Sciences (India)

    Home; Journals; Proceedings – Mathematical Sciences. OLIVIA X M YAO. Articles written in Proceedings – Mathematical Sciences. Volume 127 Issue 3 June 2017 pp 393-410 Research Article. New modular relations involving cubes of the Göllnitz–Gordon functions · OLIVIA X M YAO · More Details Abstract Fulltext PDF.

  13. Proceedings – Mathematical Sciences | Indian Academy of Sciences

    Indian Academy of Sciences (India)

    Home; Journals; Proceedings – Mathematical Sciences. K R Parthasarathy. Articles written in Proceedings – Mathematical Sciences. Volume 113 Issue 1 February 2003 pp 3-13. A Remark on the Unitary Group of a Tensor Product of Finite-Dimensional Hilbert Spaces · K R Parthasarathy · More Details Abstract Fulltext ...

  14. Advances in Computer Entertainment : 9th International Conference, ACE 2012, Kathmandu, Nepal, November 3-5, 2012. Proceedings

    NARCIS (Netherlands)

    Nijholt, Anton; Romão, Teresa; Reidsma, Dennis

    2012-01-01

    This book constitutes the refereed conference proceedings of the 9th International Conference on Advances in Computer Entertainment, ACE 2012, held in Kathmandu, Nepal, in November 2012. The 10 full paper and 19 short papers presented together with 5 papers from the special track Arts and Culture

  15. Ghana energy abstracts

    International Nuclear Information System (INIS)

    Entsua-Mensah, Clement

    1994-01-01

    Ghana Energy Abstracts 1994 is the first issue of an annual publication of the Energy information Centre. The aim is to combine in one publication the country' s bibliographic output on energy so as to provide a valuable source of reference for policy makers, planners,and researchers. It covers the broad spectrum of energy including; energy conservation, energy resource management, petroleum and renewable energy resources.The documents listed comprise research reports, baseline studies,conference proceedings, periodical articles dissertations and theses. Keywords and author indexes have been provided to facilitate easy reference. (C.E.M)

  16. Proceedings – Mathematical Sciences | Indian Academy of Sciences

    Indian Academy of Sciences (India)

    Home; Journals; Proceedings – Mathematical Sciences. Hongliang Yao. Articles written in Proceedings – Mathematical Sciences. Volume 120 Issue 2 April 2010 pp 199-207. A T -Algebras and Extensions of A T -Algebras · Hongliang Yao · More Details Abstract Fulltext PDF. Lin and Su classified A T -algebras of real rank ...

  17. Proceedings – Mathematical Sciences | Indian Academy of Sciences

    Indian Academy of Sciences (India)

    Home; Journals; Proceedings – Mathematical Sciences. Vijay Kodiyalam. Articles written in Proceedings – Mathematical Sciences. Volume 110 Issue 3 August 2000 pp 263-292. The Algebra of -relations · Vijay Kodiyalam R Srinivasan V S Sunder · More Details Abstract Fulltext PDF. In this paper, we study a tower { A n G ...

  18. Proceedings – Mathematical Sciences | Indian Academy of Sciences

    Indian Academy of Sciences (India)

    Home; Journals; Proceedings – Mathematical Sciences. Bülent Nafi Örnek. Articles written in Proceedings – Mathematical Sciences. Volume 126 Issue 1 February 2016 pp 69-78. Sharpened forms of the generalized Schwarz inequality on the boundary · Tuğba Akyel Bülent Nafi Örnek · More Details Abstract Fulltext PDF.

  19. Proceedings – Mathematical Sciences | Indian Academy of Sciences

    Indian Academy of Sciences (India)

    Home; Journals; Proceedings – Mathematical Sciences. K B Sinha. Articles written in Proceedings – Mathematical Sciences. Volume 111 Issue 2 May 2001 pp 179-201. Spectra of Anderson Type Models with Decaying Randomness · M Krishna K B Sinha · More Details Abstract Fulltext PDF. In this paper we consider some ...

  20. Symposium on chemistry and biotechnology for national development. Proceedings

    International Nuclear Information System (INIS)

    Garba, A.; Ogunmola, G.B.

    1998-01-01

    This document is the full proceedings of the symposium on chemistry and biotechnology for national development held at SHESTCO in 1995. It contains the full texts of a forward, opening and special remarks, welcome and keynote addresses and abstracts and texts of 21 technical papers. The subjects covered included information technology,chemistry and biotechnology in agriculture, health care and industrial development. Additionally, the abstracts in respect of 19 other papers are included. We wish to thank the Coordinator of SHESTCO for making available this proceedings

  1. Symposium on chemistry and biotechnology for national development. Proceedings

    Energy Technology Data Exchange (ETDEWEB)

    Garba, A; Ogunmola, G B [eds.

    1998-12-01

    This document is the full proceedings of the symposium on chemistry and biotechnology for national development held at SHESTCO in 1995. It contains the full texts of a forward, opening and special remarks, welcome and keynote addresses and abstracts and texts of 21 technical papers. The subjects covered included information technology,chemistry and biotechnology in agriculture, health care and industrial development. Additionally, the abstracts in respect of 19 other papers are included. We wish to thank the Coordinator of SHESTCO for making available this proceedings.

  2. Medical physics 2013. Abstracts

    International Nuclear Information System (INIS)

    Treuer, Harald

    2013-01-01

    The proceedings of the medical physics conference 2013 include abstract of lectures and poster sessions concerning the following issues: Tele-therapy - application systems, nuclear medicine and molecular imaging, neuromodulation, hearing and technical support, basic dosimetry, NMR imaging -CEST (chemical exchange saturation transfer), medical robotics, magnetic particle imaging, audiology, radiation protection, phase contrast - innovative concepts, particle therapy, brachytherapy, computerized tomography, quantity assurance, hybrid imaging techniques, diffusion and lung NMR imaging, image processing - visualization, cardiac and abdominal NMR imaging.

  3. Proceedings of the Conference of the International Group for the Psychology of Mathematics Education (21st, Lahti, Finland, July 14-19, 1997). Volume 2.

    Science.gov (United States)

    Pehkonen, Erkki, Ed.

    The second volume of the proceedings of 21st annual meeting of the International Group for the Psychology of Mathematics Education contains the following papers: (1) "The Dilemma of Transparency: Seeing and Seeing through Talk in the Mathematics Classroom" (J. Adler); (2) "Abstraction is Hard in Computer-Science Too" (D.…

  4. Proceedings – Mathematical Sciences | Indian Academy of Sciences

    Indian Academy of Sciences (India)

    Home; Journals; Proceedings – Mathematical Sciences. José M Sigarreta. Articles written in Proceedings – Mathematical Sciences. Volume 120 Issue 5 November 2010 pp 593-609. Gromov Hyperbolicity in Cartesian Product Graphs · Junior Michel José M Rodríguez José M Sigarreta María Villeta · More Details Abstract ...

  5. Proceedings – Mathematical Sciences | Indian Academy of Sciences

    Indian Academy of Sciences (India)

    Home; Journals; Proceedings – Mathematical Sciences. Q X Yang. Articles written in Proceedings – Mathematical Sciences. Volume 115 Issue 2 May 2005 pp 191-200. L p -Continuity for Calderón–Zygmund Operator · Q X Yang · More Details Abstract Fulltext PDF. Given a Calderón–Zygmund (- for short) operator , ...

  6. Current concepts in lung dosimetry. Proceedings of a special workshop

    International Nuclear Information System (INIS)

    Fisher, D.R.

    1983-02-01

    The proceedings of the first special workshop on Lung Dosimetry include the presentation of many new concepts and the reassessment of traditional ideas in lung dosimetry and risk evaluation. Separate abstracts were prepared for the 21 papers in the proceedings

  7. International conference '20 years after Chernobyl: strategy for recovery and sustainable development of the affected regions'. Abstracts proceeding; Mezhdunarodnaya konferentsiya 'Chernobyl' 20 let spustya. strategiya vosstanovleniya i ustojchivogo razvitiya postradavshikh regionov'. Sbornik tezisov

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    2006-04-15

    Proceeding contains abstracts corresponding to main topics of the conference - Rehabilitation of the contaminated territories; Social and economic problems; Medical, social and psychological consequences; Dosimetry; Radioecological and radiobiological consequences; Joint action of Belarus and Russia to mitigate the consequences of the Chernobyl catastrophe.

  8. National symposium on application of nanotechnology in human welfare: abstract proceedings

    International Nuclear Information System (INIS)

    2012-01-01

    The term nanotechnology has been discussed about for years among the scientific and engineering community. However the fruits of the actual technologies are yet to be reaped fully by humanity. Nanotechnology holds tremendous promise in every field of human activity and has the ability to manipulate all of Earth's resources more efficiently. The proceedings of the symposium is a resource material for future researchers. Papers relevant to INIS are indexed separately

  9. Short Paper and Poster Proceedings of the 22nd Annual Conference on Computer Animation and Social Agents

    NARCIS (Netherlands)

    Nijholt, Antinus; Egges, A.; van Welbergen, H.; Hondorp, G.H.W.

    2009-01-01

    These are the proceedings containing the short and poster papers of CASA 2009, the twenty second international conference on Computer Animation and Social Agents. CASA 2009 was organized in Amsterdam, the Netherlands from the 17th to the 19th of June 2009. CASA is organized under the auspices of the

  10. Proceedings – Mathematical Sciences | Indian Academy of Sciences

    Indian Academy of Sciences (India)

    Home; Journals; Proceedings – Mathematical Sciences. Antonio J Calderón Martín. Articles written in Proceedings – Mathematical Sciences. Volume 118 Issue 3 August 2008 pp 351-356. On Split Lie Algebras with Symmetric Root Systems · Antonio J Calderón Martín · More Details Abstract Fulltext PDF. We develop ...

  11. Proceeding of 1998-workshop on MHD computations. Study on numerical methods related to plasma confinement

    International Nuclear Information System (INIS)

    Kako, T.; Watanabe, T.

    1999-04-01

    This is the proceeding of 'Study on Numerical Methods Related to Plasma Confinement' held in National Institute for Fusion Science. In this workshop, theoretical and numerical analyses of possible plasma equilibria with their stability properties are presented. These are also various talks on mathematical as well as numerical analyses related to the computational methods for fluid dynamics and plasma physics. The 14 papers are indexed individually. (J.P.N.)

  12. Proceeding of 1998-workshop on MHD computations. Study on numerical methods related to plasma confinement

    Energy Technology Data Exchange (ETDEWEB)

    Kako, T.; Watanabe, T. [eds.

    1999-04-01

    This is the proceeding of 'Study on Numerical Methods Related to Plasma Confinement' held in National Institute for Fusion Science. In this workshop, theoretical and numerical analyses of possible plasma equilibria with their stability properties are presented. These are also various talks on mathematical as well as numerical analyses related to the computational methods for fluid dynamics and plasma physics. The 14 papers are indexed individually. (J.P.N.)

  13. Student Scientific Conference 2001. Abstracts of papers of students and post-graduate students

    International Nuclear Information System (INIS)

    Stankovicova, H.

    2001-04-01

    The aim of the Student Scientific Conference was to review the works of students and post-graduate students from universities of the Slovak Republic and Czech Republic as well as from Slovak Academy of Sciences and Czech Academy of Sciences. The proceedings of the conference contain 63 abstracts of Biological Section, 16 abstracts of Didactic Section, 39 abstracts of Environmental Section, 15 abstracts of Geography Section, 12 abstracts of Geology Section, and 42 abstracts of Chemical Section

  14. Fifth international fungus spore conference. [Abstracts]: Final technical report

    Energy Technology Data Exchange (ETDEWEB)

    Timberlake, W.E.

    1993-04-01

    This folio contains the proceedings of the Fifth International Fungal Spore Conference held August 17-21, 1991 at the Unicoi State Park at Helen, Georgia. The volume contains abstracts of each oral presentation as well as a collection of abstracts describing the poster sessions. Presentations were organized around the themes (1) Induction of Sporulation, (2) Nuclear Division, (3) Spore Formation, (4) Spore Release and Dispersal, and (4) Spore Germination.

  15. Proceedings of the Alfred O. Nier symposium on inorganic mass spectrometry

    International Nuclear Information System (INIS)

    Rokop, D.J.

    1993-05-01

    Over 100 inorganic mass spectroscopists, including representatives from 9 different countries, attended. This proceedings contains 12 papers, 11 abstracts, and 38 poster abstracts; an author index is included

  16. 49. Annual meeting of the Deutsche Gesellschaft fuer Neuroradiologie. Abstracts

    International Nuclear Information System (INIS)

    2014-01-01

    The conference proceedings of the 48. Annual meeting of the Deutsche Gesellschaft fuer Neuroradiologie contain abstracts on the following issues: neuro-oncological imaging, multimodal imaging concepts, subcranial imaging, spinal codes, interventional neuroradiology.

  17. Technology across the Curriculum. Proceedings of the Annual Conference of the Texas Computer Education Association (8th, Dallas, Texas, February 24-27, 1988).

    Science.gov (United States)

    Texas Computer Education Association, Lubbock.

    The theme of this computer education conference was "Technology across the Curriculum." These proceedings include papers on the application of educational technologies in school administration, business education, computer science education, mathematics, science, social studies, English and language arts, elementary education, gifted and…

  18. Architectures, Concepts and Architectures for Service Oriented Computing : proceedings of the 1st International Workshop - ACT4SOC 2007

    NARCIS (Netherlands)

    van Sinderen, Marten J.; Unknown, [Unknown

    2007-01-01

    This volume contains the proceedings of the First International Workshop on Architectures, Concepts and Technologies for Service Oriented Computing (ACT4SOC 2007), held on July 22 in Barcelona, Spain, in conjunction with the Second International Conference on Software and Data Technologies (ICSOFT

  19. Proceedings of the conference on computer codes and the linear accelerator community

    International Nuclear Information System (INIS)

    Cooper, R.K.

    1990-07-01

    The conference whose proceedings you are reading was envisioned as the second in a series, the first having been held in San Diego in January 1988. The intended participants were those people who are actively involved in writing and applying computer codes for the solution of problems related to the design and construction of linear accelerators. The first conference reviewed many of the codes both extant and under development. This second conference provided an opportunity to update the status of those codes, and to provide a forum in which emerging new 3D codes could be described and discussed. The afternoon poster session on the second day of the conference provided an opportunity for extended discussion. All in all, this conference was felt to be quite a useful interchange of ideas and developments in the field of 3D calculations, parallel computation, higher-order optics calculations, and code documentation and maintenance for the linear accelerator community. A third conference is planned

  20. Proceedings of the conference on computer codes and the linear accelerator community

    Energy Technology Data Exchange (ETDEWEB)

    Cooper, R.K. (comp.)

    1990-07-01

    The conference whose proceedings you are reading was envisioned as the second in a series, the first having been held in San Diego in January 1988. The intended participants were those people who are actively involved in writing and applying computer codes for the solution of problems related to the design and construction of linear accelerators. The first conference reviewed many of the codes both extant and under development. This second conference provided an opportunity to update the status of those codes, and to provide a forum in which emerging new 3D codes could be described and discussed. The afternoon poster session on the second day of the conference provided an opportunity for extended discussion. All in all, this conference was felt to be quite a useful interchange of ideas and developments in the field of 3D calculations, parallel computation, higher-order optics calculations, and code documentation and maintenance for the linear accelerator community. A third conference is planned.

  1. Regulatory and technical reports (Abstract Index Journal)

    International Nuclear Information System (INIS)

    1992-11-01

    This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors, proceedings of conferences and workshops, grants, and international agreement reports. The entries in this compilation are indexed for access by title and abstract, secondary report number, personal author, subject, NRC organization for staff and international agreements, contractor, international organization, and licensed facility

  2. Regulatory and technical reports (Abstract Index Journal)

    International Nuclear Information System (INIS)

    1990-03-01

    This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors; proceedings of conferences and workshops; as well as international agreement reports. The entries in this compilation are indexed for access by title and abstract, secondary report number, personal author, subject, NRC organization for staff and international agreements, international organization, and licensed facility

  3. Regulatory and technical reports (Abstract Index Journal)

    International Nuclear Information System (INIS)

    1993-02-01

    This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors, proceedings of conferences and workshops, grants, and international agreement reports. The entries in this compilation are indexed for access by title and abstract, secondary report number, personal author, subject, NRC organization for staff and international agreements, contractor, international organization, and licensed facility

  4. Regulatory and technical reports (Abstract Index Journal)

    International Nuclear Information System (INIS)

    1991-12-01

    This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors, proceedings of conferences and workshops, grants, and international agreement reports. The entries in this compilation are indexed for access by title and abstract, secondary report number, personal author, subject, NRC organization for staff and international agreements, contractor, international organization, and licensed facility

  5. Proceedings of the heavy ion fusion workshop

    Energy Technology Data Exchange (ETDEWEB)

    Arnold, R C [ed.

    1978-01-01

    These proceedings contain reviews of current laboratory programs dealing with inertial fusion driven by beams of heavy ions, as well as several individually abstracted invited talks, workshop reports and contributed papers.

  6. Computer-Generated Abstract Paintings Oriented by the Color Composition of Images

    Directory of Open Access Journals (Sweden)

    Mao Li

    2017-06-01

    Full Text Available Designers and artists often require reference images at authoring time. The emergence of computer technology has provided new conditions and possibilities for artistic creation and research. It has also expanded the forms of artistic expression and attracted many artists, designers and computer experts to explore different artistic directions and collaborate with one another. In this paper, we present an efficient k-means-based method to segment the colors of an original picture to analyze the composition ratio of the color information and calculate individual color areas that are associated with their sizes. This information is transformed into regular geometries to reconstruct the colors of the picture to generate abstract images. Furthermore, we designed an application system using the proposed method and generated many works; some artists and designers have used it as an auxiliary tool for art and design creation. The experimental results of datasets demonstrate the effectiveness of our method and can give us inspiration for our work.

  7. Nuclear Inter Jura '77 Proceedings

    International Nuclear Information System (INIS)

    1977-01-01

    These Proceedings of the Third Congress of the International Nuclear Law Association reproduce the papers presented in their original language with an abstract in English as well as the ensuing discussions. A majority of the papers have been translated into English for the Proceedings. The subjects dealt with respectively concerned contractual aspects of nuclear activities, the impact of nuclear power on the environment and public acceptance, radiological protection, third party liability and insurance, harmonisation of licensing regulations, export of nuclear equipment in relation to the Non-Proliferation Treaty and finally, computerization of nuclear law. (NEA) [fr

  8. Proceedings of the 2011 New York Workshop on Computer, Earth and Space Science

    CERN Document Server

    Naud, Catherine; CESS2011

    2011-01-01

    The purpose of the New York Workshop on Computer, Earth and Space Sciences is to bring together the New York area's finest Astronomers, Statisticians, Computer Scientists, Space and Earth Scientists to explore potential synergies between their respective fields. The 2011 edition (CESS2011) was a great success, and we would like to thank all of the presenters and participants for attending. This year was also special as it included authors from the upcoming book titled "Advances in Machine Learning and Data Mining for Astronomy". Over two days, the latest advanced techniques used to analyze the vast amounts of information now available for the understanding of our universe and our planet were presented. These proceedings attempt to provide a small window into what the current state of research is in this vast interdisciplinary field and we'd like to thank the speakers who spent the time to contribute to this volume.

  9. Regulatory and technical reports (abstract index journal)

    International Nuclear Information System (INIS)

    1991-06-01

    This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors; proceedings of conferences and workshops; as well as international agreement reports. The entries in this compilation are indexed for access by title and abstract, secondary report number, personal author, subject, NRC organization for staff and international agreements, contractor, international organization, and licensed facility

  10. Regulatory and technical reports (Abstract index journal)

    International Nuclear Information System (INIS)

    1990-12-01

    This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors; proceedings of conferences and workshops; as well as international agreement reports. The entries in this compilation are indexed for access by title and abstract, secondary report number, personal author, subject, NRC organization for staff and international agreements, contractor, international organization, and licensed facility

  11. Regulatory and technical reports (Abstract Index Journal)

    International Nuclear Information System (INIS)

    1991-03-01

    This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors; proceedings of conferences and workshops; as well as international agreement reports. The entries in this compilation are indexed for access by title and abstract, secondary report number, personal author, subject, NRC organization for staff and international agreements, contractor, international organization, and licensed facility

  12. Regulatory and technical reports (abstract index journal)

    International Nuclear Information System (INIS)

    1993-08-01

    This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors; proceedings of conferences and workshops; as well as international agreement reports. The entries in this compilation are indexed for access by title and abstract, secondary report number, personal author, subject, NRC organization for staff and international agreements, contractor, international organization, and licensed facility

  13. Regulatory and technical reports (Abstract Index Journal)

    International Nuclear Information System (INIS)

    1989-11-01

    This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors; proceedings of conferences and workshops; as well as international agreement reports. The entries in this compilation are indexed for access by title and abstract, secondary report number, personal author, subject, NRC organization for staff and international agreements, contractor, international organization, and licensed facility

  14. Regulatory and technical reports (abstract index journal)

    International Nuclear Information System (INIS)

    1990-05-01

    This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors; proceedings of conferences and workshops; as well as international agreement reports. The entries in this compilation are indexed for access by title and abstract, secondary report number, personal author, subject, NRC organization for staff and international agreements, contractor, international organization, and licensed facility

  15. Regulatory and technical reports (abstract index journal)

    International Nuclear Information System (INIS)

    1992-06-01

    This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors; proceedings of conferences and workshops; as well as international agreement reports. The entries in this compilation are indexed for access by title and abstract, secondary report number, personal author, subject, NRC organization for staff and international agreements, contractor, international organization, and licensed facility

  16. Regulatory and technical reports (Abstract Index Journal)

    International Nuclear Information System (INIS)

    1993-05-01

    This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors; proceedings of conferences and workshops; as well as international agreement reports. The entries in this compilation are indexed for access by title and abstract, secondary report number, personal author, subject, NRC organization for staff and international agreements, contractor, international organization, and licensed facility

  17. Regulatory and technical reports (Abstract index journal)

    International Nuclear Information System (INIS)

    1989-08-01

    This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors; proceedings of conferences and workshops; as well as international agreement reports. The entries in this compilation are indexed for access by title and abstract, secondary report number, personal author, subject, NRC organization for staff and international agreements, contractor, international organization, and licensed facility

  18. Regulatory and technical reports (abstract index journal)

    International Nuclear Information System (INIS)

    1991-11-01

    This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors; proceedings of conferences and workshops; as well as international agreement reports. The entries in this compilation are indexed for access by title and abstract, secondary report number, personal author, subject, NRC organization for staff and international agreements, contractor, international organization, and licensed facility

  19. Regulatory and technical reports (Abstract Index Journal)

    International Nuclear Information System (INIS)

    1989-07-01

    This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors; proceedings of conferences and workshops; as well as international agreement reports. The entries in this compilation are indexed for access by title and abstract, secondary report number, personal author, subject, NRC organization for staff and international agreements, contractor, international organization, and licensed facility

  20. Proceedings of the Neural Network Workshop for the Hanford Community

    Energy Technology Data Exchange (ETDEWEB)

    Keller, P.E.

    1994-01-01

    These proceedings were generated from a series of presentations made at the Neural Network Workshop for the Hanford Community. The abstracts and viewgraphs of each presentation are reproduced in these proceedings. This workshop was sponsored by the Computing and Information Sciences Department in the Molecular Science Research Center (MSRC) at the Pacific Northwest Laboratory (PNL). Artificial neural networks constitute a new information processing technology that is destined within the next few years, to provide the world with a vast array of new products. A major reason for this is that artificial neural networks are able to provide solutions to a wide variety of complex problems in a much simpler fashion than is possible using existing techniques. In recognition of these capabilities, many scientists and engineers are exploring the potential application of this new technology to their fields of study. An artificial neural network (ANN) can be a software simulation, an electronic circuit, optical system, or even an electro-chemical system designed to emulate some of the brain`s rudimentary structure as well as some of the learning processes that are believed to take place in the brain. For a very wide range of applications in science, engineering, and information technology, ANNs offer a complementary and potentially superior approach to that provided by conventional computing and conventional artificial intelligence. This is because, unlike conventional computers, which have to be programmed, ANNs essentially learn from experience and can be trained in a straightforward fashion to carry out tasks ranging from the simple to the highly complex.

  1. Proceedings of the international workshop on hadron facility technology

    Energy Technology Data Exchange (ETDEWEB)

    Thiessen, H.A. (comp.)

    1987-12-01

    The conference included papers on facility plans, beam dynamics, accelerator hardware, and experimental facilities. Individual abstracts were prepared for 43 papers in the conference proceedings. (LEW)

  2. Proceedings of the 11th China symposium on computer application in modern science and technology

    International Nuclear Information System (INIS)

    2003-01-01

    The 11th China symposium on computer application in modern science and technology were held by China Electronics Society and Nuclear Electronics and Nuclear Detecting Technology branch Society of China Nuclear Society on september, 8th-12th, 2003 in Changdao of Shandong province 77 articles is collected in the proceedings. The contents included calculation and calculation method, software system and software application, data acquisition and control system, database, and management information system, general system, network application and grid calculation and its application system and so on

  3. SOFSEM 2017: theory and practice of computer science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings

    NARCIS (Netherlands)

    Steffen, B.; Baier, C.; van den Brand, M.G.J.; Eder, J.; Hinchey, M.; Margaria, T.

    2017-01-01

    This book constitutes the refereed proceedings of the 43rd International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2017, held in Limerick, Ireland, in January 2017. The 34 papers presented in this volume were carefully reviewed and selected from 41 submissions.

  4. Canadian conference on electrical and computer engineering proceedings. Congres canadien en genie electrique et informatique

    Energy Technology Data Exchange (ETDEWEB)

    Bhargava, V K [ed.

    1993-01-01

    A conference was held on the subject of electrical and computer engineering. Papers were presented on the subjects of artificial intelligence, video, signal processing, radar, power electronics, neural networks, control, computer systems, transportation electronics, software tools, error control coding, electrothermal phenomena, performance evaluation of computer systems, wireless communication, satellite communication, very large scale integration, parallel processing, pattern recognition, telephony, graphs and algorithms, multimedia, broadcast systems, remote sensing, computer networks, modulation and coding, robotics, computer architecture, spread spectrum, image processing, microwave circuits, biomedical engineering, specification and verification, image restoration, communications networks, computer-aided design, drives, energy systems, expert systems, and optics. Separate abstracts have been prepared for 56 papers from the conference.

  5. Dynamical duality of type- and token-computation as an abstract brain

    Energy Technology Data Exchange (ETDEWEB)

    Gunji, Yukio-Pegio [Department of Earth and Planetary Sciences, Faculty of Science, Kobe University (Japan); Graduate School of Science and Technology, Kobe University (Japan)] e-mail: yukio@kobe-u.ac.jp; Miyoshi, Hiroyuki [Department of Computer Sciences, Faculty of Science, Kyoto Sangyo University (Japan); Takahashi, Tatsuji [Graduate School of Science and Technology, Kobe University (Japan); Kamiura, Moto [Graduate School of Science and Technology, Kobe University (Japan)

    2006-03-01

    In brain science, there are few researches focusing on the theoretical relation between cognition (top-down processing) and perception (bottom-up processing). Philosophically they were regarded as the alternative leading to the dualism of mind and body, while it is an adequate problem for the endo-physics. Qualia are conjectured as the hard problem under those situations. To overcome such an impasse, we propose an abstract brain model featuring the dynamical duality of two parts of computations in a brain, in a term of endo-physics and internal measurement. Two parts of computations are expressed as binary relations, and the relationship between them is expressed as a pair of maps, called an infomorphism [Barwise J, Seligman J. Information flow, the logic of distributed systems. Cambridge University Press 1997]. Dynamical duality is implemented by the interaction between a binary relation and an infomorphism, and that leads to a dynamical change of a pair of binary relations. When a binary relation is expressed as a partial ordered set, one can check whether a part of computation is closed with respect to logical operations (i.e., a lattice) or not. By estimating a binary relation in terms of properties of lattice, we show that dynamical infomorphism robustly develops to a pair of logical computations corresponding to type cognition and non-logical one corresponding to qualia perception. It implies origin of differentiation and robust co-existence of type-cognition and qualia-perception. It is easy to see that dynamical infomorphism can also develop to a pair of singleton sets corresponding to savants' special cognitive style.

  6. Dynamical duality of type- and token-computation as an abstract brain

    International Nuclear Information System (INIS)

    Gunji, Yukio-Pegio; Miyoshi, Hiroyuki; Takahashi, Tatsuji; Kamiura, Moto

    2006-01-01

    In brain science, there are few researches focusing on the theoretical relation between cognition (top-down processing) and perception (bottom-up processing). Philosophically they were regarded as the alternative leading to the dualism of mind and body, while it is an adequate problem for the endo-physics. Qualia are conjectured as the hard problem under those situations. To overcome such an impasse, we propose an abstract brain model featuring the dynamical duality of two parts of computations in a brain, in a term of endo-physics and internal measurement. Two parts of computations are expressed as binary relations, and the relationship between them is expressed as a pair of maps, called an infomorphism [Barwise J, Seligman J. Information flow, the logic of distributed systems. Cambridge University Press 1997]. Dynamical duality is implemented by the interaction between a binary relation and an infomorphism, and that leads to a dynamical change of a pair of binary relations. When a binary relation is expressed as a partial ordered set, one can check whether a part of computation is closed with respect to logical operations (i.e., a lattice) or not. By estimating a binary relation in terms of properties of lattice, we show that dynamical infomorphism robustly develops to a pair of logical computations corresponding to type cognition and non-logical one corresponding to qualia perception. It implies origin of differentiation and robust co-existence of type-cognition and qualia-perception. It is easy to see that dynamical infomorphism can also develop to a pair of singleton sets corresponding to savants' special cognitive style

  7. Proceedings of the 8. Australian conference on nuclear techniques of analysis

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    1994-12-31

    These proceedings contain the abstracts or extended abstracts of 72 out of 77 presentations. The topics focus on instrumentation, nuclear techniques and their applications for material science, surfaces, archaeometry, art, geological, environmental and biomedical studies. An outline of the Australian facilities available for research purposes is also provided. Separate abstracts were prepared for the individual papers in this volume.

  8. Proceedings of the 8. Australian conference on nuclear techniques of analysis

    International Nuclear Information System (INIS)

    1993-01-01

    These proceedings contain the abstracts or extended abstracts of 72 out of 77 presentations. The topics focus on instrumentation, nuclear techniques and their applications for material science, surfaces, archaeometry, art, geological, environmental and biomedical studies. An outline of the Australian facilities available for research purposes is also provided. Separate abstracts were prepared for the individual papers in this volume

  9. Proceedings of the 8. Australian conference on nuclear techniques of analysis

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    1993-12-31

    These proceedings contain the abstracts or extended abstracts of 72 out of 77 presentations. The topics focus on instrumentation, nuclear techniques and their applications for material science, surfaces, archaeometry, art, geological, environmental and biomedical studies. An outline of the Australian facilities available for research purposes is also provided. Separate abstracts were prepared for the individual papers in this volume.

  10. Technology: Window to the Future. Proceedings of the Annual State Conference of the Texas Computer Education Association (9th, Houston, Texas, March 5-7, 1989).

    Science.gov (United States)

    Bright, George W., Ed.; Grigassy, Mary Louise, Ed.

    This proceedings compilation presents papers on administration, computer literacy, computer science, desktop publishing, elementary education, hardware and software, language arts, mathematics, media, music and art, science, social studies, and special education. The 130 papers are arranged alphabetically by author's name and a subject index…

  11. Quantum interaction. Proceedings

    International Nuclear Information System (INIS)

    Bruza, Peter; Rijsbergen, Keith van

    2009-01-01

    This book constitutes the refereed proceedings of the Third International Symposium on Quantum Interaction, QI 2009, held in Saarbruecken, Germany, in March 2009. The 21 revised full papers presented together with the 3 position papers were carefully reviewed and selected from numerous submissions. The papers show the cross-disciplinary nature of quantum interaction covering topics such as computation, cognition, decision theory, information retrieval, information systems, social interaction, computational linguistics and finance. (orig.)

  12. Quantum interaction. Proceedings

    Energy Technology Data Exchange (ETDEWEB)

    Bruza, Peter [Queensland Univ. of Technology, Brisbane (Australia). Faculty of Science and Technology; Sofge, Donald [Navy Center for Applied Research in Artificial Intelligence, Washington, DC (United States). Naval Research Lab.; Lawless, William [Paine Coll., Augusta, GA (United States); Rijsbergen, Keith van [Glasgow Univ. (United Kingdom). Dept. of Computing Science; Klusch, Matthias (eds.) [German Research Center for Artificial Intelligence, Saarbruecken (Germany)

    2009-07-01

    This book constitutes the refereed proceedings of the Third International Symposium on Quantum Interaction, QI 2009, held in Saarbruecken, Germany, in March 2009. The 21 revised full papers presented together with the 3 position papers were carefully reviewed and selected from numerous submissions. The papers show the cross-disciplinary nature of quantum interaction covering topics such as computation, cognition, decision theory, information retrieval, information systems, social interaction, computational linguistics and finance. (orig.)

  13. The deleuzian abstract machines

    DEFF Research Database (Denmark)

    Werner Petersen, Erik

    2005-01-01

    To most people the concept of abstract machines is connected to the name of Alan Turing and the development of the modern computer. The Turing machine is universal, axiomatic and symbolic (E.g. operating on symbols). Inspired by Foucault, Deleuze and Guattari extended the concept of abstract...

  14. Automated Predicate Abstraction for Real-Time Models

    Directory of Open Access Journals (Sweden)

    Bahareh Badban

    2009-11-01

    Full Text Available We present a technique designed to automatically compute predicate abstractions for dense real-timed models represented as networks of timed automata. We use the CIPM algorithm in our previous work which computes new invariants for timed automata control locations and prunes the model, to compute a predicate abstraction of the model. We do so by taking information regarding control locations and their newly computed invariants into account.

  15. Compilation of Abstracts for SC12 Conference Proceedings

    Science.gov (United States)

    Morello, Gina Francine (Compiler)

    2012-01-01

    1 A Breakthrough in Rotorcraft Prediction Accuracy Using Detached Eddy Simulation; 2 Adjoint-Based Design for Complex Aerospace Configurations; 3 Simulating Hypersonic Turbulent Combustion for Future Aircraft; 4 From a Roar to a Whisper: Making Modern Aircraft Quieter; 5 Modeling of Extended Formation Flight on High-Performance Computers; 6 Supersonic Retropropulsion for Mars Entry; 7 Validating Water Spray Simulation Models for the SLS Launch Environment; 8 Simulating Moving Valves for Space Launch System Liquid Engines; 9 Innovative Simulations for Modeling the SLS Solid Rocket Booster Ignition; 10 Solid Rocket Booster Ignition Overpressure Simulations for the Space Launch System; 11 CFD Simulations to Support the Next Generation of Launch Pads; 12 Modeling and Simulation Support for NASA's Next-Generation Space Launch System; 13 Simulating Planetary Entry Environments for Space Exploration Vehicles; 14 NASA Center for Climate Simulation Highlights; 15 Ultrascale Climate Data Visualization and Analysis; 16 NASA Climate Simulations and Observations for the IPCC and Beyond; 17 Next-Generation Climate Data Services: MERRA Analytics; 18 Recent Advances in High-Resolution Global Atmospheric Modeling; 19 Causes and Consequences of Turbulence in the Earths Protective Shield; 20 NASA Earth Exchange (NEX): A Collaborative Supercomputing Platform; 21 Powering Deep Space Missions: Thermoelectric Properties of Complex Materials; 22 Meeting NASA's High-End Computing Goals Through Innovation; 23 Continuous Enhancements to the Pleiades Supercomputer for Maximum Uptime; 24 Live Demonstrations of 100-Gbps File Transfers Across LANs and WANs; 25 Untangling the Computing Landscape for Climate Simulations; 26 Simulating Galaxies and the Universe; 27 The Mysterious Origin of Stellar Masses; 28 Hot-Plasma Geysers on the Sun; 29 Turbulent Life of Kepler Stars; 30 Modeling Weather on the Sun; 31 Weather on Mars: The Meteorology of Gale Crater; 32 Enhancing Performance of NASAs High

  16. Proceedings of the conference on major home appliances for energy conservation

    Energy Technology Data Exchange (ETDEWEB)

    Tree, D.R.; Courville, G.E.; Haynes, V.O.; Phillips, H. (eds.)

    1978-02-27

    A separate abstract was prepared for each of the 37 papers of this proceedings. Summaries and recommendations appear at the close of each of the seven working sessions, the eighth session being a summary session. One paper is cited with only an abstract available. (MCW)

  17. Proceedings of the First PhD Symposium on Sustainable Ultrascale Computing Systems (NESUS PhD 2016)

    OpenAIRE

    Carretero Pérez, Jesús; García Blas, Javier; Petcu, Dana

    2016-01-01

    Proceedings of the First PhD Symposium on Sustainable Ultrascale Computing Systems (NESUS PhD 2016) Timisoara, Romania. February 8-11, 2016. The PhD Symposium was a very good opportunity for the young researchers to share information and knowledge, to present their current research, and to discuss topics with other students in order to look for synergies and common research topics. The idea was very successful and the assessment made by the PhD Student was very good. It also helped t...

  18. Abstracting massive data for lightweight intrusion detection in computer networks

    KAUST Repository

    Wang, Wei; Liu, Jiqiang; Pitsilis, Georgios; Zhang, Xiangliang

    2016-01-01

    detection. Data abstraction refers to abstract or extract the most relevant information from the massive dataset. In this work, we propose three strategies of data abstraction, namely, exemplar extraction, attribute selection and attribute abstraction. We

  19. Proceedings of the 3. International symposium environmental geochemistry in tropical countries. Book of abstracts

    International Nuclear Information System (INIS)

    1999-01-01

    Theoretical and experimental papers are presented in these proceedings covering the following subjects: uranium mining and milling, geochemistry, land and water pollution, mineral wastes, iodine isotopes, gas chromatography, separation processes, environmental quality, qualitative and quantitative chemical analysis, rare earths, uranium isotopes, ground water, radionuclide migration, and sedimentary basins

  20. Proceedings of the 2013 MidSouth Computational Biology and Bioinformatics Society (MCBIOS) Conference.

    Science.gov (United States)

    Wren, Jonathan D; Dozmorov, Mikhail G; Burian, Dennis; Kaundal, Rakesh; Perkins, Andy; Perkins, Ed; Kupfer, Doris M; Springer, Gordon K

    2013-01-01

    The tenth annual conference of the MidSouth Computational Biology and Bioinformatics Society (MCBIOS 2013), "The 10th Anniversary in a Decade of Change: Discovery in a Sea of Data", took place at the Stoney Creek Inn & Conference Center in Columbia, Missouri on April 5-6, 2013. This year's Conference Chairs were Gordon Springer and Chi-Ren Shyu from the University of Missouri and Edward Perkins from the US Army Corps of Engineers Engineering Research and Development Center, who is also the current MCBIOS President (2012-3). There were 151 registrants and a total of 111 abstracts (51 oral presentations and 60 poster session abstracts).

  1. Computer Technologies in Education. Proceedings of the International Conference on Computer Technologies in Education (Kiev, Ukraine, September 14-17, 1993).

    Science.gov (United States)

    Petrushin, V., Ed.; Dovgiallo, A., Ed.

    The conference reported in this document provides a meeting place for researchers from around the world, where the emphasis is on new ideas connected to computer technologies in education. This volume contains 140 extended abstracts selected by the program committee and organized into the following categories: (1) educational informational…

  2. Proceedings of the ENCIT 2004: 10. Brazilian congress of thermal engineering and sciences. Abstracts

    International Nuclear Information System (INIS)

    2004-01-01

    Theoretical and experimental papers are presented in this proceedings covering the following subjects: petroleum, industry, fractions and distillates, gas turbines and power plants, reservoir engineering, oil field and wells, offshore drilling, electric power generation, catalysis, aerodynamics, energy consumption and conservation, heat transfer and engines, refrigeration, porous materials and numerical analysis

  3. Conference on advances and perspectives in radiotracer development. Programs, abstracts

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    2002-07-01

    Proceedings of the conference, containing abstracts of all invited lectures and all papers. Short description of all posters presented during the meeting. Separate entries prepared from all lectures and most papers. Headings: Chemical synthesis of radiopharmaceuticals, labelling techniques, biotechnological preparation, molecular biology, drug targeting, animal experiments and first clinical trials. (MG)

  4. International Conference on Plasma Physics ICPP 1994. Proceedings

    International Nuclear Information System (INIS)

    Sakanaka, P.H.; Tendler, M.

    1995-01-01

    These proceedings represent the papers presented at the 1994 International Conference on Plasma Physics held in Foz do Iguacu, Brazil. The scope of the conference was broad and covered all aspects of plasma physics. Some of the topics discussed include space and astrophysical plasmas,fusion plasmas, small and large Tokamak plasmas, non-Tokamak plasmas, inertial confinement fusion plasmas, plasma based neutron sources and plasma applications. There are 60 papers in these proceedings and out of these, 35 have been abstracted for the Energy Science and Technology database

  5. Proceedings of the 4. Brazilian meeting on magnetic resonance. Abstracts

    International Nuclear Information System (INIS)

    1996-01-01

    This publication contains the abstracts of the papers presented during the 4. Brazilian meeting on magnetic resonance and also during the Course on advances in nuclear magnetic resonance. Works on the areas of materials, rare earths, polymers, structural chemical analysis and NMR spectra are presented

  6. National Physics Conference. Paper Abstracts

    International Nuclear Information System (INIS)

    Marinela Dumitriu, Editorial Coordination.

    1995-01-01

    This book contains the abstracts of the proceedings of the annual Romanian Physics Conference organized by Romanian Physics Society. The conference was held on November 30 to December 2, 1995 in the city of Baia Mare. It was organized in the following nine sections: 1 - Astrophysics, Particle Physics, Nuclear Physics, Molecular and Atomic Physics; 2 - Plasma Physics; 3 - Biophysics; 4 - Technical Physics; 5 - Theoretical Physics; 6 -The Physics of Energy; 7 - The Physics of Environment 8 - Solid State Physics; 9 - Optical and Quantum Electronics. The full texts can be obtained on request from the Romanian Physical Society or directly from authors

  7. Computer aided safety analysis 1989

    International Nuclear Information System (INIS)

    1990-04-01

    The meeting was conducted in a workshop style, to encourage involvement of all participants during the discussions. Forty-five (45) experts from 19 countries, plus 22 experts from the GDR participated in the meeting. A list of participants can be found at the end of this volume. Forty-two (42) papers were presented and discussed during the meeting. Additionally an open discussion was held on the possible directions of the IAEA programme on Computer Aided Safety Analysis. A summary of the conclusions of these discussions is presented in the publication. The remainder of this proceedings volume comprises the transcript of selected technical papers (22) presented in the meeting. It is the intention of the IAEA that the publication of these proceedings will extend the benefits of the discussions held during the meeting to a larger audience throughout the world. The Technical Committee/Workshop on Computer Aided Safety Analysis was organized by the IAEA in cooperation with the National Board for Safety and Radiological Protection (SAAS) of the German Democratic Republic in Berlin. The purpose of the meeting was to provide an opportunity for discussions on experiences in the use of computer codes used for safety analysis of nuclear power plants. In particular it was intended to provide a forum for exchange of information among experts using computer codes for safety analysis under the Technical Cooperation Programme on Safety of WWER Type Reactors (RER/9/004) and other experts throughout the world. A separate abstract was prepared for each of the 22 selected papers. Refs, figs tabs and pictures

  8. 9th Australian conference on nuclear techniques of analysis. Proceedings

    International Nuclear Information System (INIS)

    1996-01-01

    The proceedings contains extended abstracts of 58 presentations. Topics discussed include: nondestructive testing methods, their performance and utilization, ion implantation, physical radiation effects, surface and cluster science. refs., figs

  9. 9th Australian conference on nuclear techniques of analysis. Proceedings

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    1996-12-31

    The proceedings contains extended abstracts of 58 presentations. Topics discussed include: nondestructive testing methods, their performance and utilization, ion implantation, physical radiation effects, surface and cluster science. refs., figs.

  10. 9th Australian conference on nuclear techniques of analysis. Proceedings

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    1997-12-31

    The proceedings contains extended abstracts of 58 presentations. Topics discussed include: nondestructive testing methods, their performance and utilization, ion implantation, physical radiation effects, surface and cluster science. refs., figs.

  11. Preliminary proceedings of the 2001 ACM SIGPLAN Haskell workshop

    NARCIS (Netherlands)

    Hinze, R.

    2001-01-01

    This volume contains the preliminary proceedings of the 2001 ACM SIGPLAN Haskell Workshop, which was held on 2nd September 2001 in Firenze, Italy. The final proceedings will published by Elsevier Science as an issue of Electronic Notes in Theoretical Computer Science (Volume 59). The

  12. Proceedings of the 2013 International Conference on Mathematics and Computational Methods Applied to Nuclear Science and Engineering - M and C 2013

    International Nuclear Information System (INIS)

    2013-01-01

    The Mathematics and Computation Division of the American Nuclear (ANS) and the Idaho Section of the ANS hosted the 2013 International Conference on Mathematics and Computational Methods Applied to Nuclear Science and Engineering (M and C 2013). This proceedings contains over 250 full papers with topics ranging from reactor physics; radiation transport; materials science; nuclear fuels; core performance and optimization; reactor systems and safety; fluid dynamics; medical applications; analytical and numerical methods; algorithms for advanced architectures; and validation verification, and uncertainty quantification

  13. Proceedings of the 2013 International Conference on Mathematics and Computational Methods Applied to Nuclear Science and Engineering - M and C 2013

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    2013-07-01

    The Mathematics and Computation Division of the American Nuclear (ANS) and the Idaho Section of the ANS hosted the 2013 International Conference on Mathematics and Computational Methods Applied to Nuclear Science and Engineering (M and C 2013). This proceedings contains over 250 full papers with topics ranging from reactor physics; radiation transport; materials science; nuclear fuels; core performance and optimization; reactor systems and safety; fluid dynamics; medical applications; analytical and numerical methods; algorithms for advanced architectures; and validation verification, and uncertainty quantification.

  14. 12. International conference on thin films (ICTF 12). Book of Abstract

    International Nuclear Information System (INIS)

    Majkova, E.

    2002-09-01

    The publication has been set up as a proceedings of the conference dealing with thin films production and study of their properties. The conference was focused on the following topics: (1) Advanced deposition techniques; (2) Thin Film Growth; (3) Diagnostics, Structure - Properties Relationship; (4) Mechanical Properties and Stress; (5) Protective and Functional Coatings; (6) Micropatterning and Nanostructures; (7) EUV and Soft X-Ray Multilayers; (8) Magnetic Thin Films and Multilayers; (9) Organic Thin Films; (10) Thin Films for Electronics and Optics. In this proceedings totally 157 abstracts are published of which 126 are interest for INIS

  15. Data Abstraction in GLISP.

    Science.gov (United States)

    Novak, Gordon S., Jr.

    GLISP is a high-level computer language (based on Lisp and including Lisp as a sublanguage) which is compiled into Lisp. GLISP programs are compiled relative to a knowledge base of object descriptions, a form of abstract datatypes. A primary goal of the use of abstract datatypes in GLISP is to allow program code to be written in terms of objects,…

  16. New Features in the ADS Abstract Service

    Science.gov (United States)

    Eichhorn, G.; Accomazzi, A.; Grant, C. S.; Kurtz, M. J.; ReyBacaicoa, V.; Murray, S. S.

    2001-11-01

    The ADS Abstract Service contains over 2.3 million references in four databases: Astronomy/Astrophysics/Planetary Sciences, Instrumentation, Physics/Geophysics, and Preprints. We provide abstracts and articles free to the astronomical community for all major and many smaller astronomy journals, PhD theses, conference proceedings, and technical reports. These four databases can be queried either separately of jointly. The ADS also has scanned 1.3 million pages in 180,000 articles in the ADS Article Service. This literature archive contains all major Astronomy journals and many smaller journals, as well as conference proceedings, including the abstract books from all the LPSCs back to volume 2. A new feature gives our users the ability to see list of articles that were also read by the readers of a given article. This is a powerful tool to find out what current articles are relevant in a particular field of study. We have recently expanded the citation and reference query capabilities. It allows our users to select papers for which they want to see references or citations and then retrieve these citations/references. Another new capability is the ability to sort a list of articles by their citation count. As usual, users should be reminded that the citations in ADS are incomplete because we do not obtain reference lists from all publishers. In addition, we cannot match all references (e.g. in press, private communications, author errors, some conference papers, etc.). Anyone using the citations for analysis of publishing records should keep this in mind. More work on expanding the citation and reference features is planned over the next year. ADS Home Page http://ads.harvard.edu/

  17. Full Text Searching and Customization in the NASA ADS Abstract Service

    Science.gov (United States)

    Eichhorn, G.; Accomazzi, A.; Grant, C. S.; Kurtz, M. J.; Henneken, E. A.; Thompson, D. M.; Murray, S. S.

    2004-01-01

    The NASA-ADS Abstract Service provides a sophisticated search capability for the literature in Astronomy, Planetary Sciences, Physics/Geophysics, and Space Instrumentation. The ADS is funded by NASA and access to the ADS services is free to anybody worldwide without restrictions. It allows the user to search the literature by author, title, and abstract text. The ADS database contains over 3.6 million references, with 965,000 in the Astronomy/Planetary Sciences database, and 1.6 million in the Physics/Geophysics database. 2/3 of the records have full abstracts, the rest are table of contents entries (titles and author lists only). The coverage for the Astronomy literature is better than 95% from 1975. Before that we cover all major journals and many smaller ones. Most of the journal literature is covered back to volume 1. We now get abstracts on a regular basis from most journals. Over the last year we have entered basically all conference proceedings tables of contents that are available at the Harvard Smithsonian Center for Astrophysics library. This has greatly increased the coverage of conference proceedings in the ADS. The ADS also covers the ArXiv Preprints. We download these preprints every night and index all the preprints. They can be searched either together with the other abstracts or separately. There are currently about 260,000 preprints in that database. In January 2004 we have introduced two new services, full text searching and a personal notification service called "myADS". As all other ADS services, these are free to use for anybody.

  18. Completeness of Lyapunov Abstraction

    DEFF Research Database (Denmark)

    Wisniewski, Rafal; Sloth, Christoffer

    2013-01-01

    the vector field, which allows the generation of a complete abstraction. To compute the functions that define the subdivision of the state space in an algorithm, we formulate a sum of squares optimization problem. This optimization problem finds the best subdivisioning functions, with respect to the ability......This paper addresses the generation of complete abstractions of polynomial dynamical systems by timed automata. For the proposed abstraction, the state space is divided into cells by sublevel sets of functions. We identify a relation between these functions and their directional derivatives along...

  19. Proceedings of the 21. RAU: Annual meeting of the LNLS users. Abstracts of scientific papers

    International Nuclear Information System (INIS)

    2011-01-01

    Theoretical and experimental papers are presented in these proceedings covering the following subjects: structural biology, protein chemistry, atomic and molecular science, geoscience, environmental media, application on biological materials, soft matter, complex fluids, industrial application, structural, electronic and magnetic properties, surfaces and interfaces, and nano systems

  20. Workshop on methods for siting groundwater monitoring wells: Proceedings

    International Nuclear Information System (INIS)

    Jacobson, E.

    1992-02-01

    The primary purpose of this workshop was to identify methods for the optimum siting of groundwater monitoring wells to minimize the number required that will provide statistically and physically representative samples. In addition, the workshop served to identify information and data gaps, stimulated discussion and provided an opportunity for exchange of ideas between regulators and scientists interested in siting groundwater monitoring wells. These proceedings should serve these objectives and provide a source of relevant information which may be used to evaluate the current state of development of methods for siting groundwater monitoring wells and the additional research needs. The proceedings contain the agenda and list of attendees in the first section. The abstract and viewgraphs for each presentation are given in the second section. For several presentations, abstracts and viewgraphs were not received. After the presentations, four working groups were organized and met for approximately a day. The working group leaders then gave a verbal summary of their sessions. This material was transcribed and is included in the next section of these proceedings. The appendices contain forms describing various methods discussed in the working groups

  1. Proceedings of the 8. Brazilian meeting on analytical chemistry. Abstracts

    International Nuclear Information System (INIS)

    1995-01-01

    Abstracts from theoretical and experimental works on qualitative and quantitative analytical chemistry are presented. Several nuclear and non nuclear techniques have been used, such as neutron activation analysis, absorption spectroscopy, x-ray fluorescence analysis and others. The materials analysed were rocks, rare earths, environmental materials (soil, water, air), complexes and so on. Synthesis, kinetics and radiochemistry were also discussed

  2. Abstracts of Research, July 1973 through June 1974.

    Science.gov (United States)

    Ohio State Univ., Columbus. Computer and Information Science Research Center.

    Abstracts of research papers in the fields of computer and information science are given; 72 papers are abstracted in the areas of information storage and retrieval, information processing, linguistic analysis, artificial intelligence, mathematical techniques, systems programing, and computer networks. In addition, the Ohio State University…

  3. 14. Meeting of the North and Northeast physicists. Program and abstracts

    International Nuclear Information System (INIS)

    1996-01-01

    These proceedings contain abstracts of oral and panel presentations carried out during the 14 Meeting of physicists of North and Northeast held in Aracaju, State of Sergipe, Brazil. While covering different areas of physics, they emphasized the condensed matter, statistical physics and nuclear physics in their theoretical and experimental aspects

  4. Annual Conference Abstracts

    Science.gov (United States)

    Journal of Engineering Education, 1972

    1972-01-01

    Includes abstracts of papers presented at the 80th Annual Conference of the American Society for Engineering Education. The broad areas include aerospace, affiliate and associate member council, agricultural engineering, biomedical engineering, continuing engineering studies, chemical engineering, civil engineering, computers, cooperative…

  5. Proceedings of the workshop on Compilation of (Symbolic) Languages for Parallel Computers

    Energy Technology Data Exchange (ETDEWEB)

    Foster, I.; Tick, E. (comp.)

    1991-11-01

    This report comprises the abstracts and papers for the talks presented at the Workshop on Compilation of (Symbolic) Languages for Parallel Computers, held October 31--November 1, 1991, in San Diego. These unreferred contributions were provided by the participants for the purpose of this workshop; many of them will be published elsewhere in peer-reviewed conferences and publications. Our goal is planning this workshop was to bring together researchers from different disciplines with common problems in compilation. In particular, we wished to encourage interaction between researchers working in compilation of symbolic languages and those working on compilation of conventional, imperative languages. The fundamental problems facing researchers interested in compilation of logic, functional, and procedural programming languages for parallel computers are essentially the same. However, differences in the basic programming paradigms have led to different communities emphasizing different species of the parallel compilation problem. For example, parallel logic and functional languages provide dataflow-like formalisms in which control dependencies are unimportant. Hence, a major focus of research in compilation has been on techniques that try to infer when sequential control flow can safely be imposed. Granularity analysis for scheduling is a related problem. The single- assignment property leads to a need for analysis of memory use in order to detect opportunities for reuse. Much of the work in each of these areas relies on the use of abstract interpretation techniques.

  6. 4th International Conference on Quantitative Logic and Soft Computing

    CERN Document Server

    Chen, Shui-Li; Wang, San-Min; Li, Yong-Ming

    2017-01-01

    This book is the proceedings of the Fourth International Conference on Quantitative Logic and Soft Computing (QLSC2016) held 14-17, October, 2016 in Zhejiang Sci-Tech University, Hangzhou, China. It includes 61 papers, of which 5 are plenary talks( 3 abstracts and 2 full length talks). QLSC2016 was the fourth in a series of conferences on Quantitative Logic and Soft Computing. This conference was a major symposium for scientists, engineers and practitioners to present their updated results, ideas, developments and applications in all areas of quantitative logic and soft computing. The book aims to strengthen relations between industry research laboratories and universities in fields such as quantitative logic and soft computing worldwide as follows: (1) Quantitative Logic and Uncertainty Logic; (2) Automata and Quantification of Software; (3) Fuzzy Connectives and Fuzzy Reasoning; (4) Fuzzy Logical Algebras; (5) Artificial Intelligence and Soft Computing; (6) Fuzzy Sets Theory and Applications.

  7. Proceedings of the LAMPF workshop on pion double charge exchange

    International Nuclear Information System (INIS)

    Baer, H.W.; Leitch, M.J.

    1985-09-01

    Experimental and theoretical aspects of double-analog, nonanalog, and continuum pion double charge exchange in the 50- to 310-MeV energy range are covered. Separate abstracts were prepared for 22 papers in these proceedings

  8. Nuclear code abstracts (1975 edition)

    International Nuclear Information System (INIS)

    Akanuma, Makoto; Hirakawa, Takashi

    1976-02-01

    Nuclear Code Abstracts is compiled in the Nuclear Code Committee to exchange information of the nuclear code developments among members of the committee. Enlarging the collection, the present one includes nuclear code abstracts obtained in 1975 through liaison officers of the organizations in Japan participating in the Nuclear Energy Agency's Computer Program Library at Ispra, Italy. The classification of nuclear codes and the format of code abstracts are the same as those in the library. (auth.)

  9. 35th Annual meeting proceedings. Volume XXIII

    International Nuclear Information System (INIS)

    Anon.

    1994-01-01

    This report contains the proceedings of the 35th Annual Meeting of the Institute of Nuclear Materials Management. INMM is a nonprofit organization incorporated in the state of Ohio. This meeting was held at The Registry Resort Hotel in Naples, Florida, USA, July 17-20, 1994. Separate abstracts were entered into the Energy Data Base

  10. Proceedings of the Tenth Symposium on Space Nuclear Power and Propulsion

    International Nuclear Information System (INIS)

    El-Genk, M.S.; Hoover, M.D.

    1993-01-01

    This symposium included topics on space nuclear power. Various aspectsof design of propulsion and power systems were presented. From theProceedings, two hundred and twelve papers were abstracted for the database

  11. ETRAN 1999: Society for Electronics,Telecommunications, Computers, Automation and Nuclear Engineering. Section for Nuclear Techniques and Technology. Proceedings of the XLIII Conference. Vol IV

    International Nuclear Information System (INIS)

    Spasojevic, D.; Smiljanic, M.; Bozic, D.; Stankovic, D.

    1999-01-01

    The XLIII ETRAN Conference of the Society for Electronic, Telecommunications, Computers, Automation and Nuclear Engineering was held on 20-22 Sep, 1999. In the Proceedings of the Conference The Commission of the Nuclear Technique and Technology has 19 papers presented in three sessions.

  12. Proceedings – Mathematical Sciences | Indian Academy of Sciences

    Indian Academy of Sciences (India)

    Home; Journals; Proceedings – Mathematical Sciences; Volume 124; Issue 1. Issue front cover thumbnail. Volume 124, Issue 1. February 2014, pages 1-126. pp 1-15. Alexander Duals of Multipermutohedron Ideals · Ajay Kumar Chanchal Kumar · More Details Abstract Fulltext PDF. An Alexander dual of a ...

  13. Proceedings – Mathematical Sciences | Indian Academy of Sciences

    Indian Academy of Sciences (India)

    Home; Journals; Proceedings – Mathematical Sciences; Volume 128; Issue 1. Issue front cover thumbnail. Volume 128, Issue 1. March 2018. Article ID 1 Research Article. Editorial · More Details Abstract Fulltext PDF. Article ID 2 Research Article. On 3-way combinatorial identities · A K AGARWAL MEGHA GOYAL.

  14. Medical physics 2013. Abstracts; Medizinische Physik 2013. Abstractband

    Energy Technology Data Exchange (ETDEWEB)

    Treuer, Harald (ed.) [Koeln Univ. (Germany). Klinik fuer Stereotaxie und Funktionelle Neurochirurgie

    2013-07-01

    The proceedings of the medical physics conference 2013 include abstract of lectures and poster sessions concerning the following issues: Tele-therapy - application systems, nuclear medicine and molecular imaging, neuromodulation, hearing and technical support, basic dosimetry, NMR imaging -CEST (chemical exchange saturation transfer), medical robotics, magnetic particle imaging, audiology, radiation protection, phase contrast - innovative concepts, particle therapy, brachytherapy, computerized tomography, quantity assurance, hybrid imaging techniques, diffusion and lung NMR imaging, image processing - visualization, cardiac and abdominal NMR imaging.

  15. Proceedings of the water chemistry and materials performance conference

    International Nuclear Information System (INIS)

    Barber, D.

    1986-01-01

    The proceedings contain 11 papers dealing with primary and secondary side water chemistry in CANDU reactors, with the associated problems of activity transport and steam generator corrosion, and also with the use of decontaminating solutions. The individual papers have been abstracted separately

  16. Proceedings of the water chemistry and materials performance conference

    Energy Technology Data Exchange (ETDEWEB)

    Barber, D [ed.; Atomic Energy of Canada Ltd., Sheridan Park, ON (Canada). CANDU Operations

    1987-12-31

    The proceedings contain 11 papers dealing with primary and secondary side water chemistry in CANDU reactors, with the associated problems of activity transport and steam generator corrosion, and also with the use of decontaminating solutions. The individual papers have been abstracted separately.

  17. Advances in Computer Science and Engineering

    CERN Document Server

    Second International Conference on Advances in Computer Science and Engineering (CES 2012)

    2012-01-01

    This book includes the proceedings of the second International Conference on Advances in Computer Science and Engineering (CES 2012), which was held during January 13-14, 2012 in Sanya, China. The papers in these proceedings of CES 2012 focus on the researchers’ advanced works in their fields of Computer Science and Engineering mainly organized in four topics, (1) Software Engineering, (2) Intelligent Computing, (3) Computer Networks, and (4) Artificial Intelligence Software.

  18. Proceedings of the national conference on materials for advanced technologies: abstract proceedings

    International Nuclear Information System (INIS)

    Srivastava, Anurag

    2012-01-01

    The world has experienced the semiconductor revolution in the form of wonderful electronics devices in faster and cheaper communication, faster and quicker computers, entertainment devices, medical surgery, characterization and testing, sensors, photography, space exploration etc. to name a few. In recent years nanotechnology has emerged as one of the most important and exciting forefront fields in science, engineering, energy, biotechnology, chemical technology, materials etc. It shows great promise for providing us in the near future with many breakthroughs that will change the direction of technological advances in a wide range of applications. Papers relevant to INIS are indexed separately

  19. Proceedings of the 27. annual conference of the Canadian Nuclear Association

    International Nuclear Information System (INIS)

    1987-01-01

    The proceedings comprise 33 papers on the following subjects: progress in nuclear energy, regulation, public relations, the IAEA, economic goals and operating lessons, performance goals. The individual papers have been abstracted separately

  20. Proceedings of the 15th International Congress on Circumpolar Health

    OpenAIRE

    incl Table of Contents, Complete Supplement,

    2013-01-01

    Proceedings of the 15th International Congress on Circumpolar Health August 5–10, 2012, Fairbanks, Alaska, USA. This extensive publication includes nearly 100 full length papers, 90 extended abstracts and nearly 100 short abstracts. The full publication is freely available through the journal website.(Published: 5 August 2013)Citation: Int J Circumpolar Health 2013, 72: 22447 - http://dx.doi.org/10.3402/ijch.v72i0.22447

  1. Proceedings – Mathematical Sciences | Indian Academy of Sciences

    Indian Academy of Sciences (India)

    Home; Journals; Proceedings – Mathematical Sciences; Volume 126; Issue 2. Volume 126, Issue 2. May 2016, pages 143-287. pp 143-151 Research Article. Existence of ..... pp 253-260 Research Article. Rigidity theorem forWillmore surfaces in a sphere · Hongwei Xu Dengyun Yang · More Details Abstract Fulltext PDF.

  2. Proceedings – Mathematical Sciences | Indian Academy of Sciences

    Indian Academy of Sciences (India)

    Home; Journals; Proceedings – Mathematical Sciences; Volume 121; Issue 1. Issue front cover thumbnail. Volume 121, Issue 1. February 2011, pages 1-109. pp 1-18. On Counting Twists of a Character Appearing in its Associated Weil Representation · K Vishnu Namboothiri · More Details Abstract Fulltext PDF. Consider an ...

  3. Proceedings – Mathematical Sciences | Indian Academy of Sciences

    Indian Academy of Sciences (India)

    Home; Journals; Proceedings – Mathematical Sciences; Volume 124; Issue 2. Issue front cover thumbnail. Volume 124, Issue 2. May 2014, pages 127-279. pp 127-140. A Statistic on -Color Compositions and Related Sequences · Toufik Mansour Mark Shattuck · More Details Abstract Fulltext PDF. A composition of a ...

  4. Proceedings – Mathematical Sciences | Indian Academy of Sciences

    Indian Academy of Sciences (India)

    Home; Journals; Proceedings – Mathematical Sciences; Volume 122; Issue 2. Issue front cover thumbnail. Volume 122, Issue 2. May 2012, pages 153-311. pp 153-162. Farey Sequences and Resistor Networks · Sameen Ahmed Khan · More Details Abstract Fulltext PDF. In this article, we employ the Farey sequence and ...

  5. Proceedings – Mathematical Sciences | Indian Academy of Sciences

    Indian Academy of Sciences (India)

    Home; Journals; Proceedings – Mathematical Sciences; Volume 123; Issue 1. Issue front cover thumbnail. Volume 123, Issue 1. February 2013, pages 1-150. pp 1-18. Divisibility of Class Numbers of Imaginary Quadratic Function Fields by a Fixed Odd Number · Pradipto Banerjee Srinivas Kotyada · More Details Abstract ...

  6. XXXVI. Days of Radiation Protection. Book of Abstracts

    International Nuclear Information System (INIS)

    2014-11-01

    The publication has been set up as a proceedings of the conference dealing with health protection during work with ionizing radiation for different activities which involve the handling of ionizing radiation sources. The main conference topics are focused on current problems in radiation protection and radioecology. In this proceedings totally 93 abstracts are published. The Conference consists of following sections: (I) General aspects and new trends of radiation protection); (II) Radiation protection in medicine; (III): Dosimetry and metrology of external and internal radiation exposure; (IV) Regulation of radiation exposure to natural sources and control of radon exposure; (V) Radiation protection in nuclear power plants, their decommissioning and waste management; (VI) Application of radiation protection standards in the emergency management; (VII) Biological effects of ionizing radiation and risk estimation; (VIII) Education and training in radiation protection in the light of new recommendations of EU, ICRP and IAEA.

  7. Data Abstraction Mechanisms in Sina/st

    NARCIS (Netherlands)

    Meyrowitz, N.K.; Aksit, Mehmet; Tripathi, Anand

    1988-01-01

    This paper describes a new data abstraction mechanism in an object-oriented model of computing. The data abstraction mechanism described here has been devised in the context of the design of Sina/st language. In Sina/st no language constructs have been adopted for specifying inheritance or

  8. Proceedings of the KNS Fall meeting

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    2013-10-15

    This proceedings contains articles of 2013 Fall meeting of the Korean Nuclear Society. It was held on Oct 23-25 in Kyungju, Korea. This proceedings is comprised of 10 sessions. The main subject titles of session are as follows: Reactor system technology, Nuclear data, reactor physics and computational science, Radioactive waste management, Nuclear fuel and materials, Thermal hydraulics and safety, Radiation utilization and protection, Quantum engineering and nuclear fusion, Nuclear power plant construction and operation technology, Nuclear policy, human resources and cooperation, Nuclear I and C and remote operation. (Yi, J. H.)

  9. The Internet--Flames, Firewalls and the Future. Proceedings for the 1995 Conference of the Council for Higher Education Computing Services (CHECS) (Roswell, New Mexico, November 8-10, 1995).

    Science.gov (United States)

    Suiter, Martha, Ed.

    This set of proceedings assembles papers presented at the 1995 Council for Higher Education Computing Services (CHECS) conference, held at the New Mexico Military Institute in Roswell, New Mexico. CHECS members are higher education computing services organizations within the state of New Mexico. The main focus of the conference was the Internet…

  10. Proceedings of the 1993 Conference on Intelligent Computer-Aided Training and Virtual Environment Technology, Volume 1

    Science.gov (United States)

    Hyde, Patricia R.; Loftin, R. Bowen

    1993-01-01

    These proceedings are organized in the same manner as the conference's contributed sessions, with the papers grouped by topic area. These areas are as follows: VE (virtual environment) training for Space Flight, Virtual Environment Hardware, Knowledge Aquisition for ICAT (Intelligent Computer-Aided Training) & VE, Multimedia in ICAT Systems, VE in Training & Education (1 & 2), Virtual Environment Software (1 & 2), Models in ICAT systems, ICAT Commercial Applications, ICAT Architectures & Authoring Systems, ICAT Education & Medical Applications, Assessing VE for Training, VE & Human Systems (1 & 2), ICAT Theory & Natural Language, ICAT Applications in the Military, VE Applications in Engineering, Knowledge Acquisition for ICAT, and ICAT Applications in Aerospace.

  11. Proceedings of the international conference on nuclear structure at high angular momentum and the workshop on large gamma-ray detector arrays. Conference summaries

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    1992-05-01

    The proceedings of the conference/workshop is being published in two volumes. Abstracts of all contributed papers are contained in volume 1. The final proceedings will be published as volume 2 under the same report number (AECL--10613), and will contain expanded versions of abstracts submitted by registered participants together with the invited and contributed talks.

  12. Proceedings of the international conference on nuclear structure at high angular momentum and the workshop on large gamma-ray detector arrays. Conference summaries

    International Nuclear Information System (INIS)

    1992-05-01

    The proceedings of the conference/workshop is being published in two volumes. Abstracts of all contributed papers are contained in volume 1. The final proceedings will be published as volume 2 under the same report number (AECL--10613), and will contain expanded versions of abstracts submitted by registered participants together with the invited and contributed talks

  13. Proceedings – Mathematical Sciences | Indian Academy of Sciences

    Indian Academy of Sciences (India)

    Home; Journals; Proceedings – Mathematical Sciences; Volume 120; Issue 1. Issue front cover thumbnail. Volume 120, Issue 1. February 2010, pages 1-130. pp 1-6. On the General Dedekind Sums and its Reciprocity Formula · Yuan Yi · More Details Abstract Fulltext PDF. In this paper, we prove an interesting reciprocity ...

  14. Proceedings – Mathematical Sciences | Indian Academy of Sciences

    Indian Academy of Sciences (India)

    Home; Journals; Proceedings – Mathematical Sciences; Volume 118; Issue 3. Issue front cover thumbnail. Volume 118, Issue 3. August 2008, pages 321-494. pp 321-350. Sharp Bounds on the Ranks of Negativity of Certain Sums · Torben Maack Bisgaard · More Details Abstract Fulltext PDF. If is a complex vector space ...

  15. Proceedings – Mathematical Sciences | Indian Academy of Sciences

    Indian Academy of Sciences (India)

    Home; Journals; Proceedings – Mathematical Sciences; Volume 113; Issue 3. Volume 113, Issue 3. August 2003, pages 213-353. pp 213-221. Analogues of Euler and Poisson Summation Formulae · Vivek V Rane · More Details Abstract Fulltext PDF. Euler–Maclaurin and Poisson analogues of the summations ∑ a < n ≤ b ...

  16. Proceedings – Mathematical Sciences | Indian Academy of Sciences

    Indian Academy of Sciences (India)

    Home; Journals; Proceedings – Mathematical Sciences; Volume 117; Issue 2. Issue front cover thumbnail. Volume 117, Issue 2. May 2007, pages 147-285. pp 147-158. A Variant of Davenport's Constant · R Thangadurai · More Details Abstract Fulltext PDF. Let be a prime number. Let be a finite abelian -group of ...

  17. Proceedings – Mathematical Sciences | Indian Academy of Sciences

    Indian Academy of Sciences (India)

    Home; Journals; Proceedings – Mathematical Sciences; Volume 118; Issue 1. Issue front cover thumbnail. Volume 118, Issue 1. February 2008, pages 1-157. pp 1-11. On Automorphisms of some Finite -Groups · Manoj K Yadav · More Details Abstract Fulltext PDF. We give a sufficient condition on a finite -group of ...

  18. Proceedings of the 2010 AFMS Medical Research Symposium. Volume 5. Nursing Track: Abstracts and Presentations

    Science.gov (United States)

    2011-03-15

    Management Education at a Military Hospital .................................................................. 29  Proceedings of the 2010 AFMS... education information is in Appendix C of this volume. Appendices D-L are copies of presentation slides from the plenary sessions.  Volume 2. This volume...women who have menstruation as compared to deployed women who do not have menstruation ? This study is a descriptive co relational research design. The

  19. Beam Stability and Nonlinear Dynamics. Proceedings

    International Nuclear Information System (INIS)

    Parsa, Z.

    1997-01-01

    These proceedings represent papers presented at the Beam Stability and Nonlinear Dynamics symposium held in Santa Barbara in December 1996. The symposium was sponsored by the National Science Foundation as part of the United States long term accelerator research. The focus of this symposium was on nonlinear dynamics and beam stability. The topics included single-particle and many-particle dynamics, and stability in large circular accelerators such as the Large Hadron Collider(LHC). Other subjects covered were spin dynamics, nonlinear aberration correction, collective effects in the LHC, sawtooth instability and Landau damping in the presence of strong nonlinearity. There were presentations concerning plasma physics including the effect of beam echo. There are 17 papers altogether in these proceedings and 8 of them have been abstracted for the Energy Science and Technology database

  20. Proceedings of the international conference on nuclear structure at high angular momentum and the workshop on large gamma-ray detector arrays

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    1992-08-01

    The proceedings of the conference/workshop have been published in two volumes. One-page abstracts of all contributed papers are in volume 1. The present volume of proceedings (volume 2) contains the text of most of the invited and contributed talks; by author request , it also contains expanded versions of the abstracts of some papers that were not presented orally. The papers are arranged by session number in the order presented at the conference; the expanded abstracts appear at the end of the sessions to which they pertain.

  1. Large Scale Computations in Air Pollution Modelling

    DEFF Research Database (Denmark)

    Zlatev, Z.; Brandt, J.; Builtjes, P. J. H.

    Proceedings of the NATO Advanced Research Workshop on Large Scale Computations in Air Pollution Modelling, Sofia, Bulgaria, 6-10 July 1998......Proceedings of the NATO Advanced Research Workshop on Large Scale Computations in Air Pollution Modelling, Sofia, Bulgaria, 6-10 July 1998...

  2. Regulatory and technical reports (Abstract Index Journal): Annual compilation for 1988

    International Nuclear Information System (INIS)

    1989-05-01

    This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors; proceedings of conferences and workshops; as well as international agreement reports. The entries in this compilation are indexed for access by title and abstract, secondary report number, personal author, subject, NRC organization for staff and international agreements, contractor, international organization, and licensed facility

  3. Regulatory and technical reports (abstract index journal): Annual compilation for 1986

    International Nuclear Information System (INIS)

    1987-03-01

    This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors; proceedings of conferences and workshops; as well as international agreement reports. The entries in this compilation are indexed for access by title and abstract, secondary report number, personal author, subject, NRC organization for staff and international agreements, contractor, international organization, and licensed facility

  4. Proceedings of the 1982 summer workshop on proton decay experiments

    International Nuclear Information System (INIS)

    Ayres, D.S.

    1982-01-01

    Separate abstracts were prepared for 18 of the 21 papers presented. Three papers were previously included in the data base. Also included in the proceedings are a workshop summary, working group reports, and a report of the Technical assessment Panel on Proton Decay

  5. Proceedings of the 9. Brazilian meeting on magnetic resonance. Short courses on NMR. Extended abstracts and program

    International Nuclear Information System (INIS)

    2006-01-01

    Theoretical and experimental papers are presented in these proceedings comprehending the following subjects: nuclear magnetic resonance, organic and non organic compounds, polymers, petroleum, stereochemistry, physical chemistry, chemical structures, molecular biology, molecular structures and proteins

  6. Proceedings – Mathematical Sciences | Indian Academy of Sciences

    Indian Academy of Sciences (India)

    Home; Journals; Proceedings – Mathematical Sciences; Volume 125; Issue 2. Issue front cover thumbnail. Volume 125, Issue 2. May 2015, pages 139-270. pp 139-147. On Erdős–Wood's conjecture · S Subburam R Thangadurai · More Details Abstract Fulltext PDF. In this article, we prove that infinite number of integers ...

  7. Proceedings – Mathematical Sciences | Indian Academy of Sciences

    Indian Academy of Sciences (India)

    Home; Journals; Proceedings – Mathematical Sciences; Volume 119; Issue 3. Issue front cover thumbnail. Volume 119, Issue 3. June 2009, pages 267-410. pp 267-274. A Finer Classification of the Unit Sum Number of the Ring of Integers of Quadratic Fields and Complex Cubic Fields · Nahid Ashrafi · More Details Abstract ...

  8. Proceedings – Mathematical Sciences | Indian Academy of Sciences

    Indian Academy of Sciences (India)

    Home; Journals; Proceedings – Mathematical Sciences; Volume 117; Issue 3. Issue front cover thumbnail. Volume 117, Issue 3. August 2007, pages 287-427. pp 287-292. On the Cohomology of Orbit Space of Free Z Z p -Actions on Lens Spaces · Hemant Kumar Singh Tej Bahadur Singh · More Details Abstract Fulltext PDF.

  9. Proceedings – Mathematical Sciences | Indian Academy of Sciences

    Indian Academy of Sciences (India)

    Home; Journals; Proceedings – Mathematical Sciences; Volume 119; Issue 1. Issue front cover thumbnail. Volume 119, Issue 1. February 2009, pages 1-135. pp 1-7. On an Extension of a Combinatorial Identity · M Rana A K Agarwal · More Details Abstract Fulltext PDF. Using Frobenius partitions we extend the main results ...

  10. Foundations of Intelligent Systems : Proceedings of the Sixth International Conference on Intelligent Systems and Knowledge Engineering

    CERN Document Server

    Li, Tianrui

    2012-01-01

    Proceedings of The Sixth International Conference on Intelligent System and Knowledge Engineering presents selected papers from the conference ISKE 2011, held December 15-17 in Shanghai, China. This proceedings doesn’t only examine original research and approaches in the broad areas of intelligent systems and knowledge engineering, but also present new methodologies and practices in intelligent computing paradigms. The book introduces the current scientific and technical advances in the fields of artificial intelligence, machine learning, pattern recognition, data mining, information retrieval, knowledge-based systems, knowledge representation and reasoning, multi-agent systems, natural-language processing, etc. Furthermore, new computing methodologies are presented, including cloud computing, service computing and pervasive computing with traditional intelligent methods. The proceedings will be beneficial for both researchers and practitioners who want to utilize intelligent methods in their specific resea...

  11. Proceedings of the CTU seminar 94. Pt. B

    International Nuclear Information System (INIS)

    1994-01-01

    The proceedings consist of 3 parts (A, B, C). Part B is divided into the following sections: Biomedical Engineering, Computer Art, Informatics and Cybernetics, Electrical and Power Engineering, Communication Engineering, Architecture and Urbanism. Out of 96 short communications contained in this part of the proceedings, 6 items were inputted to the INIS system. Out of 106 (110) short communications contained in parts A (B), 23 (2) items were inputted to INIS. (Z.S.)

  12. Indexes of the Proceedings for the Ten International Symposia on Detonation 1951-93

    Energy Technology Data Exchange (ETDEWEB)

    Deal, William E.; Ramsay, John B.; Roach, Alita M.; Takala, Bruce E.

    1998-09-01

    The Proceedings of the ten Detonation Symposia have become the major archival source of information of international research in explosive phenomenology, theory, experimental techniques, numerical modeling, and high-rate reaction chemistry. In many cases, they contain the original reference or the only reference to major progress in the field. For some papers, the information is more complete than the complementary article appearing in a formal journal; yet for others, authors elected to publish only an abstract in the Proceedings. For the large majority of papers, the Symposia Proceedings provide the only published reference to a body of work. This report indexes the ten existing Proceedings of the Detonation Symposia by paper titles, topic phrases, authors, and first appearance of acronyms and code names.

  13. Indexes of the proceedings for the nine symposia (international) on detonation, 1951--89

    Energy Technology Data Exchange (ETDEWEB)

    Crane, S.L.; Deal, W.E.; Ramsay, J.B.; Roach, A.M.; Takala, B.E.

    1993-01-01

    The Proceedings of the nine Detonation Symposia have become the major archival source of information of international research in explosive phenomenology, theory, experimental techniques, numerical modeling, and high-rate reaction chemistry. In many cases, they contain the original reference or the only reference to major progress in the field. For some papers, the information is more complete than the complementary article appearing in a formal journal, yet for others, authors elected to publish only an abstract in the Proceedings. For the large majority of papers, the Symposia Proceedings provide the only published reference to a body of work. This report indexes the nine existing Proceedings of the Detonation Symposia by paper titles, topic phrases, authors, and first appearance of acronyms and code names.

  14. Proceedings – Mathematical Sciences | Indian Academy of Sciences

    Indian Academy of Sciences (India)

    Home; Journals; Proceedings – Mathematical Sciences; Volume 120; Issue 2. Issue front cover thumbnail. Volume 120, Issue 2. April 2010, pages 131-258. pp 131-137. Integral Inequalities for Self-Reciprocal Polynomials · Horst Alzer · More Details Abstract Fulltext PDF. Let n ≥ 1 be an integer and let P n be the class of ...

  15. Full Abstraction for HOPLA

    DEFF Research Database (Denmark)

    Nygaard, Mikkel; Winskel, Glynn

    2003-01-01

    A fully abstract denotational semantics for the higher-order process language HOPLA is presented. It characterises contextual and logical equivalence, the latter linking up with simulation. The semantics is a clean, domain-theoretic description of processes as downwards-closed sets of computation...

  16. Activities of the Research Institute for Advanced Computer Science

    Science.gov (United States)

    Oliger, Joseph

    1994-01-01

    The Research Institute for Advanced Computer Science (RIACS) was established by the Universities Space Research Association (USRA) at the NASA Ames Research Center (ARC) on June 6, 1983. RIACS is privately operated by USRA, a consortium of universities with research programs in the aerospace sciences, under contract with NASA. The primary mission of RIACS is to provide research and expertise in computer science and scientific computing to support the scientific missions of NASA ARC. The research carried out at RIACS must change its emphasis from year to year in response to NASA ARC's changing needs and technological opportunities. Research at RIACS is currently being done in the following areas: (1) parallel computing; (2) advanced methods for scientific computing; (3) high performance networks; and (4) learning systems. RIACS technical reports are usually preprints of manuscripts that have been submitted to research journals or conference proceedings. A list of these reports for the period January 1, 1994 through December 31, 1994 is in the Reports and Abstracts section of this report.

  17. How does tunneling contribute to counterintuitive H-abstraction reactivity of nonheme Fe(IV)O oxidants with alkanes?

    Science.gov (United States)

    Mandal, Debasish; Ramanan, Rajeev; Usharani, Dandamudi; Janardanan, Deepa; Wang, Binju; Shaik, Sason

    2015-01-21

    This article addresses the intriguing hydrogen-abstraction (H-abstraction) and oxygen-transfer (O-transfer) reactivity of a series of nonheme [Fe(IV)(O)(TMC)(Lax)](z+) complexes, with a tetramethyl cyclam ligand and a variable axial ligand (Lax), toward three substrates: 1,4-cyclohexadiene, 9,10-dihydroanthracene, and triphenyl phosphine. Experimentally, O-transfer-reactivity follows the relative electrophilicity of the complexes, whereas the corresponding H-abstraction-reactivity generally increases as the axial ligand becomes a better electron donor, hence exhibiting an antielectrophilic trend. Our theoretical results show that the antielectrophilic trend in H-abstraction is affected by tunneling contributions. Room-temperature tunneling increases with increase of the electron donation power of the axial-ligand, and this reverses the natural electrophilic trend, as revealed through calculations without tunneling, and leads to the observed antielectrophilic trend. By contrast, O-transfer-reactivity, not being subject to tunneling, retains an electrophilic-dependent reactivity trend, as revealed experimentally and computationally. Tunneling-corrected kinetic-isotope effect (KIE) calculations matched the experimental KIE values only if all of the H-abstraction reactions proceeded on the quintet state (S = 2) surface. As such, the present results corroborate the initially predicted two-state reactivity (TSR) scenario for these reactions. The increase of tunneling with the electron-releasing power of the axial ligand, and the reversal of the "natural" reactivity pattern, support the "tunneling control" hypothesis (Schreiner et al., ref 19). Should these predictions be corroborated, the entire field of C-H bond activation in bioinorganic chemistry would lay open to reinvestigation.

  18. proceedings of the 11. Annual meeting of the Federation of Societies on Experimental Biology

    International Nuclear Information System (INIS)

    1996-01-01

    The proceedings of the 11. Annual meeting of the Federation of Societies on Experimental Biology contains 1850 abstracts, which include the following topics: neuroscience and behaviour; biophysics; pharmacology; comparative physiology; nervous regulation; endocrinology; nefrology; vascular biology; toxicity; molecular biophysics; radiobiology and others. Among these, 169 abstracts have been indexed separately for the INIS database

  19. The Magdeburg experiment. Abstracts of the DEGRO congress

    International Nuclear Information System (INIS)

    2010-01-01

    The congress proceedings contain the abstracts concerning the following issues: side effects and support therapy; imaging methods and target volume; gastro-intestinal tumors: from esophagus to colon; psycho-oncology, alternatives and complementary methods; the old patient; mamma carcinomas; benign processes; studies and new concepts; hadron therapy and hyperthermia; (urogenital tumors/prostate, bladder); radiation biology, immunobiology; lymphomas, hematological diseases; precision irradiations and stereotaxis; pediatric tumors, sarcomas and seldom tumors; radiation physics and technology; gynecological tumors; malign brain/central nervous system tumors; publications, graduations and teaching; otolaryngological tumors; metastases treatment, palliative medicine; lung tumors; brachytherapy.

  20. Proceedings of the international conference on emerging frontiers and challenges in radiation biology: abstracts

    International Nuclear Information System (INIS)

    Purohit, R.K.; Chakrawarti, Aruna; Agarwal, Manisha; Arora, Anil

    2012-01-01

    This abstract volume includes abstracts related to six technical sessions of the conference viz., Radiation induced genomic instability and bystander effects, Radiation dosimetry and dose limits, Radiation protection and nuclear technology application, Molecular diagnosis and targeted therapy for cancer, cancer care and chemoradiotherapy, health hazards of radiation and protection. Papers relevant to INIS are indexed separately

  1. Practical Applications of Intelligent Systems : Proceedings of the Sixth International Conference on Intelligent Systems and Knowledge Engineering

    CERN Document Server

    Li, Tianrui

    2012-01-01

    Proceedings of The Sixth International Conference on Intelligent System and Knowledge Engineering presents selected papers from the conference ISKE 2011, held December 15-17 in Shanghai, China. This proceedings doesn’t only examine original research and approaches in the broad areas of intelligent systems and knowledge engineering, but also present new methodologies and practices in intelligent computing paradigms. The book introduces the current scientific and technical advances in the fields of artificial intelligence, machine learning, pattern recognition, data mining, information retrieval, knowledge-based systems, knowledge representation and reasoning, multi-agent systems, natural-language processing, etc. Furthermore, new computing methodologies are presented, including cloud computing, service computing and pervasive computing with traditional intelligent methods. The proceedings will be beneficial for both researchers and practitioners who want to utilize intelligent methods in their specific res...

  2. Proceedings of the KNS 2015 Fall Meeting

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    2015-10-15

    This proceedings contains articles of 2015 fall meeting of the Korean Nuclear Society. It was held on October 28-30 in Kyungju, Korea. This proceedings is comprised of 11 sessions. The main subject titles of session are as follows: Reactor system technology, Reactor physics and computational science, Radioactive waste management, Nuclear fuel and materials, Thermal hydraulics and safety, Radiation utilization and protection, Quantum engineering and nuclear fusion, Nuclear power plant construction and operation technology, Nuclear policy, human resources and cooperation, Nuclear I and C and automatic remote systems, Competition Session. (Yi, J. H.)

  3. Proceedings of the KNS 2014 Fall Meeting

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    2014-10-15

    This proceedings contains articles of 2014 Fall Meeting of the Korean Nuclear Society. It was held on Oct 29-31 in Pyongchang, Korea. This proceedings is comprised of 10 sessions. The main subject titles of session are as follows: Reactor system technology, Reactor physics and computational science, Radioactive waste management, Nuclear fuel and materials, Thermal hydraulics and safety, Radiation utilization and protection, Quantum engineering and nuclear fusion, Nuclear power plant construction and operation technology, Nuclear policy, human resources and cooperation, MMIS and remote control and Competition (Yi, J. H.)

  4. Proceedings of the KNS 2016 Autumn Meeting

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    2016-10-15

    This proceedings contains articles of 2016 autumn meeting of the Korean Nuclear Society. It was held on Oct. 26-28 in Kyungju, Korea. This proceedings is comprised of 11 sessions. The main subject titles of session are as follows: Reactor system technology, Reactor physics and computational science, Radioactive waste management, Nuclear fuel and materials, Thermal hydraulics and safety, Radiation utilization and protection, Quantum engineering and nuclear fusion, Nuclear power plant construction and operation technology, Nuclear policy, human resources and cooperation, Nuclear I and C, human factors and automatic remote systems, Competition Session. (Yi, J. H.)

  5. Proceedings of the DAE-BRNS theme meeting on recent trends in spectroscopy: book of abstracts

    International Nuclear Information System (INIS)

    2014-01-01

    The meeting aimed at providing the latest developments in various spectroscopic techniques to the research students and practicing scientists. The proceedings of the symposium covered a wide range of topics of infrared and Raman spectroscopy, time resolved spectroscopy, mass spectrometry, nuclear magnetic resonance spectroscopy, electron spin resonance spectroscopy, rotational and vibrational spectroscopy, fluorescence spectroscopy, cavity ring down spectroscopy, laser based spectroscopic techniques and electrochemical spectroscopy. Papers relevant to INIS are indexed separately

  6. Copper Mountain conference on multigrid methods. Preliminary proceedings -- List of abstracts

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    1995-12-31

    This report contains abstracts of the papers presented at the conference. Papers cover multigrid algorithms and applications of multigrid methods. Applications include the following: solution of elliptical problems; electric power grids; fluid mechanics; atmospheric data assimilation; thermocapillary effects on weld pool shape; boundary-value problems; prediction of hurricane tracks; modeling multi-dimensional combustion and detailed chemistry; black-oil reservoir simulation; image processing; and others.

  7. Proceedings of the first meeting of IEA, Bioenergy, Task 17

    Energy Technology Data Exchange (ETDEWEB)

    Christersson, L.; Ledin, S. [eds.

    1999-07-01

    The present proceedings are the result of the first meeting of Task 17 within the frame of IEA, Bioenergy. During the meeting the objectives of Task 17 were discussed and determined to be: * to stimulate the full-scale implementation of energy crops in participating countries; * to strengthen the contacts and co-operation between participating countries, scientists, biomass producers, machine developers, entrepreneurs, and end users; * to select the most urgent research and development areas, and to suggest projects of co-operation; * to deliver Proceedings from the meetings, and * to inform Ex-Co-members. Separate abstracts have been prepared for all the 7 papers presented.

  8. Abstracts of digital computer code packages. Assembled by the Radiation Shielding Information Center

    International Nuclear Information System (INIS)

    McGill, B.; Maskewitz, B.F.; Anthony, C.M.; Comolander, H.E.; Hendrickson, H.R.

    1976-01-01

    The term ''code package'' is used to describe a miscellaneous grouping of materials which, when interpreted in connection with a digital computer, enables the scientist--user to solve technical problems in the area for which the material was designed. In general, a ''code package'' consists of written material--reports, instructions, flow charts, listings of data, and other useful material and IBM card decks (or, more often, a reel of magnetic tape) on which the source decks, sample problem input (including libraries of data) and the BCD/EBCDIC output listing from the sample problem are written. In addition to the main code, and any available auxiliary routines are also included. The abstract format was chosen to give to a potential code user several criteria for deciding whether or not he wishes to request the code package

  9. 6. Workshop on heavy-charged particles in biology and medicine. Book of abstracts

    Energy Technology Data Exchange (ETDEWEB)

    Kraft, G; Langbein, K [eds.

    1997-09-01

    Topics of this proceedings are: DNA damage and repair; Space research; Cell and tissue radiobiology; Treatment planning 1: The role of clinical RBEs; Treatment planning 2: Dose optimization and inverse planning; Dosimetry; Clinical results of particle therapy and new techniques; Status reports and future developments. Separate abstracts were prepared for 79 chapters. (orig./SR)

  10. Proceedings – Mathematical Sciences | Indian Academy of Sciences

    Indian Academy of Sciences (India)

    Home; Journals; Proceedings – Mathematical Sciences; Volume 122; Issue 1. Issue front cover thumbnail. Volume 122, Issue 1. February 2012, pages 1-152. pp 1-13. On a Paper of S S Pillai · M Ram Murty R Thangadurai · More Details Abstract Fulltext PDF. In 1935, Erdös proved that all natural numbers can be written as ...

  11. Computational Logistics

    DEFF Research Database (Denmark)

    Pacino, Dario; Voss, Stefan; Jensen, Rune Møller

    2013-01-01

    This book constitutes the refereed proceedings of the 4th International Conference on Computational Logistics, ICCL 2013, held in Copenhagen, Denmark, in September 2013. The 19 papers presented in this volume were carefully reviewed and selected for inclusion in the book. They are organized in to...... in topical sections named: maritime shipping, road transport, vehicle routing problems, aviation applications, and logistics and supply chain management.......This book constitutes the refereed proceedings of the 4th International Conference on Computational Logistics, ICCL 2013, held in Copenhagen, Denmark, in September 2013. The 19 papers presented in this volume were carefully reviewed and selected for inclusion in the book. They are organized...

  12. Computational Logistics

    DEFF Research Database (Denmark)

    This book constitutes the refereed proceedings of the 4th International Conference on Computational Logistics, ICCL 2013, held in Copenhagen, Denmark, in September 2013. The 19 papers presented in this volume were carefully reviewed and selected for inclusion in the book. They are organized in to...... in topical sections named: maritime shipping, road transport, vehicle routing problems, aviation applications, and logistics and supply chain management.......This book constitutes the refereed proceedings of the 4th International Conference on Computational Logistics, ICCL 2013, held in Copenhagen, Denmark, in September 2013. The 19 papers presented in this volume were carefully reviewed and selected for inclusion in the book. They are organized...

  13. Proceedings of The 13. Nordic Workshop on Secure IT Systems, NordSec 2008, Kongens Lyngby Oct 9-10, 2008

    DEFF Research Database (Denmark)

    in Security and Mobile Computing “NordSecMob”, and a meeting of the FIRST research school. We received a total of 39 submissions in response to the call for papers, and the programme committee selected 17 of these for presentation at the workshop—one short paper, which is not included in the proceedings......, and 16 research papers. It was a pleasure for us to work with the program committee, and we want to thank both them and the additional reviewers. Beside the submitted contributions we invited Audun Jøsang, University of Oslo, and Michael Huth, Imperial College London, to speak at the workshop. Abstracts...

  14. Inelastic near-surface interactions. Proceedings of the Werner Brandt workshop

    International Nuclear Information System (INIS)

    1985-04-01

    This workshop is one of an annual series covering penetration phenomena of charged particles in matter. This specific workshop includes electron scattering, ion and atom scattering, stopping powers, and cluster ion impacts on solids. Abstracts were prepared for individual items in the proceedings for inclusion in the data base

  15. 10th Australian conference on nuclear techniques of analysis. Proceedings

    International Nuclear Information System (INIS)

    1998-01-01

    These proceedings contains abstracts and extended abstracts of 80 lectures and posters presented at the 10th Australian conference on nuclear techniques of analysis hosted by the Australian National University in Canberra, Australia from 24-26 of November 1997. The conference was divided into sessions on the following topics : ion beam analysis and its applications; surface science; novel nuclear techniques of analysis, characterization of thin films, electronic and optoelectronic material formed by ion implantation, nanometre science and technology, plasma science and technology. A special session was dedicated to new nuclear techniques of analysis, future trends and developments. Separate abstracts were prepared for the individual presentation included in this volume

  16. 10th Australian conference on nuclear techniques of analysis. Proceedings

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    1998-06-01

    These proceedings contains abstracts and extended abstracts of 80 lectures and posters presented at the 10th Australian conference on nuclear techniques of analysis hosted by the Australian National University in Canberra, Australia from 24-26 of November 1997. The conference was divided into sessions on the following topics : ion beam analysis and its applications; surface science; novel nuclear techniques of analysis, characterization of thin films, electronic and optoelectronic material formed by ion implantation, nanometre science and technology, plasma science and technology. A special session was dedicated to new nuclear techniques of analysis, future trends and developments. Separate abstracts were prepared for the individual presentation included in this volume.

  17. Regulatory and technical reports (Abstract Index Journal): Compilation for third quarter 1986, July-September

    International Nuclear Information System (INIS)

    1986-11-01

    This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors, as well as proceedings of conferences and workshops. The entries in the compilation are indexed for access by title and abstract, contractor report number, personal author, subject, NRC organization, contractor, and licensed facility

  18. Proceedings of the 18th International Conference on Engineering Design (ICED11)

    DEFF Research Database (Denmark)

    Maier, Anja; Mougaard, Krestine; Howard, Thomas J.

    The ICED series of conferences is the Design Society's "flagship" event. ICED11 took place on August 15-18, 2011, at the campus of the Danish Technical University in Lyngby/Copenhagen, Denmark. The Proceedings of the conference are published in 10 individual volumes, arranged according to topics....... All volumes of the Proceedings may be purchased individually through Amazon and other on-line booksellers. For members of the Design Society, all papers are available on this website. The Programme and Abstract Book is publically available for download....

  19. Parapsychology and the neurosciences: a computer-based content analysis of abstracts in the database "MEDLINE" from 1975 to 1995.

    Science.gov (United States)

    Fassbender, P

    1997-04-01

    A computer-based content of 109 abstracts retrieved by the subject heading "parapsychology" from the database MEDLINE for the years 1975-1995 is presented. Data were analyzed by four categories to terms denoting (1) research methods, (2) neurosciences, (3) humanities/psychodynamics, and (4) parapsychology. Results indicated a growing interest in neuroscientific and neuropsychological explanations and theories.

  20. Proceedings of the Budapest workshop on relativistic heavy ion collisions

    International Nuclear Information System (INIS)

    Csoergoe, T.; Hegyi, S.; Levai, P.

    1993-04-01

    This volume is the Proceedings of the Budapest workshop on relativistic heavy ion collisions held in Budapest, 10-13 Aug, 1992. The topics include experimental heavy ion physics, Bose-Einstein correlations, intermittency, relativistic transport theory, Quark-Gluon Plasma rehadronization, astronuclear physics and cosmology. All contributions were indexed and abstracted. (author)

  1. Proceedings of the 9. 2008 energy meetings

    International Nuclear Information System (INIS)

    2008-01-01

    The energy meetings is the biggest annual event for French local communities in the energy domain. The public is mainly composed of officials, representatives from local communities, institutions, private organisations and associations. The aim of the meetings is to debate and exchange on the actions to be implemented at the regional scale by local authorities in order to meet the 2014 climate and energy goals. This 2008 edition is organised around 3 plenary sessions, 10 workshops and 10 forums. These proceedings brings together the available material: a detailed programme, a synthesis of the meetings, the 3 plenary talks (1 paper and 2 presentations (slides)), the slides of the workshop presentations with their abstracts and the abstracts of the forums

  2. Mixed waste: Proceedings

    International Nuclear Information System (INIS)

    Moghissi, A.A.; Blauvelt, R.K.; Benda, G.A.; Rothermich, N.E.

    1993-01-01

    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 contaminated wastes and bioprocessing, and environmental restoration. Individual abstracts are catalogued separately for the data base

  3. Mixed waste: Proceedings

    Energy Technology Data Exchange (ETDEWEB)

    Moghissi, A.A.; Blauvelt, R.K.; Benda, G.A.; Rothermich, N.E. [eds.] [Temple Univ., Philadelphia, PA (United States). Dept. of Environmental Safety and Health

    1993-12-31

    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 contaminated wastes and bioprocessing, and environmental restoration. Individual abstracts are catalogued separately for the data base.

  4. Abstracts of Research, July 1975-June 1976.

    Science.gov (United States)

    Ohio State Univ., Columbus. Computer and Information Science Research Center.

    Abstracts of research papers in computer and information science are given for 62 papers in the areas of information storage and retrieval; computer facilities; information analysis; linguistics analysis; artificial intelligence; information processes in physical, biological, and social systems; mathematical technigues; systems programming;…

  5. Proceedings from the technical workshop on near-field performance assessment for high-level waste

    International Nuclear Information System (INIS)

    Sellin, P.; Apted, M.; Gago, J.

    1991-12-01

    This report contains the proceedings of 'Technical workshop of near-filed performance assessment for high-level waste' held in Madrid October 15-17, 1990. It includes the invited presentations and summaries of the scientific discussions. The workshop covered several topics: * post-emplacement environment, * benchmarking of computer codes, * glass release, * spent-fuel release, * radionuclide solubility, * near-field transport processes, * coupled processes in the near-field, * integrated assessments, * sensitivity analyses and validation. There was an invited presentation on each topic followed by an extensive discussion. One of the points highlighted in the closing discussion of the workshop was the need for international cooperation in the field of near-field performance assessment. The general opinion was that this was best achieved in smaller groups discussing specific questions. (au) Separate abstracts were prepared for 9 papers in this volume

  6. The 24th National Session of Scientific Communications. Abstracts

    International Nuclear Information System (INIS)

    1998-01-01

    The 24th National Session of Scientific Communications was held on 7-9 October, 1998 in Caciulata-Valcea, Romania. The Session covered the following research fields: 1. organic and technological chemistry; 2. inorganic and technological chemistry; 3. polymer chemistry and technology; 4. chemical engineering; 5. environment protection. The section 2 contains two communications referring to 99m Tc-ROMTEC generator and the Romanian production of radioactive labelled products. The section 3 contains a study on polymer radiolysis investigated by computational methods. The following section referring to chemical engineering contains a study of surface science in heavy water facilities, an investigation of corrosion process in CANDU steam generator components and of oxidation in zircaloy-4 tubes, a report referring to o-xylene deuteration technology and a report on 15 N separation by isotopic exchange. Finally, the environment protection section contains a paper reporting on retaining process of UO 3 3+ from uranium in exhausted reactor waters. Proceedings of a poster section are also included. Abstracts of papers on the following items are given: radioluminescent composite materials, radiochemical compatibility of polymers, gamma irradiation effects on elution polymers used in the production of 99m Tc generator, obtaining tritium and deuterium labelled polyacrylic acid and radioinduced grafting of acrylic acid

  7. 48. Annual meeting of the Deutsche Gesellschaft fuer Neuroradiologie. Joint annual meeting of the DGNR and OeGNR. Abstracts; 48. Jahrestagung der Deutschen Gesellschaft fuer Neuroradiologie. Gemeinsame Jahrestagung der DGNR und OeGNR. Abstracts

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    2013-09-15

    The conference proceedings of the 48. Annual meeting of the Deutsche Gesellschaft fuer Neuroradiologie contain abstracts on the following issues: neuro-oncological imaging, multimodal imaging concepts, subcranial imaging, spinal codes, interventional neuroradiology, innovative techniques like high-field MRT and hybrid imaging methods, inflammable and metabolic central nervous system diseases and epilepsy.

  8. ETRAN 2002: Society for Electronics,Telecommunications, Computers, Automation and Nuclear Engineering. Section for Nuclear Techniques and Technology. Proceedings of the XLVI Conference. Vol IV

    International Nuclear Information System (INIS)

    Milosevic, M.; Jaksic, Z.; Bozic, D.; Potkonjak, V.

    2002-01-01

    The XLVI ETRAN Conference of the Society for Electronic, Telecommunications, Computers, Automation and Nuclear Engineering was held on 4-7 June, 2002. In the Proceedings of the Conference The Commission of the Nuclear Technique and Technology has 14 papers presented in three following sessions: 1. Actual problems in nuclear technologies; 2. Accelerator and reactor systems; and 3. Radiation protection and ionizing radiation uses

  9. Proceedings of the 6th US/German Workshop on Salt Repository Research, Design, and Operation

    Energy Technology Data Exchange (ETDEWEB)

    Hansen, Francis D. [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Steininger, Walter [Karlsruhe Inst. of Technology (KIT) (Germany); Bollingerfehr, Wilhelm [DBE Technology GmbH, Peine (Germany)

    2016-01-11

    The 6th US/German Workshop on Salt Repository Research, Design, and Operation was held in Dresden. Germany on September 7-9, 2015. Over seventy participants helped advance the technical basis for salt disposal of radioactive waste. The number of collaborative efforts continues to grow and to produce useful documentation, as well as to define the state of the art for research areas. These Proceedings are divided into Chapters, and a list of authors is included in the Acknowledgement Section. Also in this document are the Technical Agenda, List of Participants, Biographical Information, Abstracts, and Presentations. Proceedings of all workshops and other pertinent information are posted on websites hosted by Sandia National Laboratories and the Nuclear Energy Agency Salt Club. The US/German workshops provide continuity for long-term research, summarize and publish status of mature areas, and develop appropriate research by consensus in a workshop environment. As before, major areas and findings are highlighted, which constitute topical Chapters in these Proceedings. In total, the scientific breadth is substantial and while not all subject matter is elaborated into chapter format, all presentations and abstracts are published in this document. In the following Proceedings, six selected topics are developed in detail.

  10. Managing Associated Risks in Cloud Computer Applications Abstract

    African Journals Online (AJOL)

    2012-12-01

    Dec 1, 2012 ... Cloud Computing, the long-held dream of computing as a utility, has the potential to transform a .... standard approaches to many of the issues, although simple cut .... collapse; So security and privacy are high priorities for all ...

  11. Spectral Line Shapes. Proceedings

    International Nuclear Information System (INIS)

    Zoppi, M.; Ulivi, L.

    1997-01-01

    These proceedings represent papers presented at the 13th International Conference on Spectral Line Shapes which was held in Firenze,Italy from June 16-21, 1996. The topics covered a wide range of subjects emphasizing the physical processes associated with the formation of line profiles: high and low density plasma; atoms and molecules in strong laser fields, Dopple-free and ultra-fine spectroscopy; the line shapes generated by the interaction of neutrals, atoms and molecules, where the relavant quantities are single particle properties, and the interaction-induced spectroscopy. There were 131 papers presented at the conference, out of these, 6 have been abstracted for the Energy Science and Technology database

  12. Abstraction in artificial intelligence and complex systems

    CERN Document Server

    Saitta, Lorenza

    2013-01-01

    Abstraction is a fundamental mechanism underlying both human and artificial perception, representation of knowledge, reasoning and learning. This mechanism plays a crucial role in many disciplines, notably Computer Programming, Natural and Artificial Vision, Complex Systems, Artificial Intelligence and Machine Learning, Art, and Cognitive Sciences. This book first provides the reader with an overview of the notions of abstraction proposed in various disciplines by comparing both commonalities and differences.  After discussing the characterizing properties of abstraction, a formal model, the K

  13. Proceedings of the Canadian Nuclear Society 15. annual conference

    Energy Technology Data Exchange (ETDEWEB)

    Huynh, H M [Hydro-Quebec, Montreal, PQ (Canada)

    1994-12-31

    The proceedings of the 15. annual conference of the Canadian Nuclear Society cover a wide range of nuclear topics, but the emphasis is on CANDU reactors and Canadian experience. The 89 papers are arranged in 17 sessions dealing with the following subjects: thermalhydraulics, fuel channels, operations, reactor physics, fuel, new technology, safety, training, waste management. The individual papers have been abstracted separately.

  14. Proceedings of the Canadian Nuclear Society 15. annual conference

    International Nuclear Information System (INIS)

    Huynh, H.M.

    1994-01-01

    The proceedings of the 15. annual conference of the Canadian Nuclear Society cover a wide range of nuclear topics, but the emphasis is on CANDU reactors and Canadian experience. The 89 papers are arranged in 17 sessions dealing with the following subjects: thermalhydraulics, fuel channels, operations, reactor physics, fuel, new technology, safety, training, waste management. The individual papers have been abstracted separately

  15. International Proceedings 2013 of Malaysia-Japan Academic Scholar Conference

    CERN Document Server

    Ono, Osamu; Bostamam, Anas; Ling, Amy

    2015-01-01

    The selected papers included in this proceedings on Malaysia-Japan Academic Scholar Conference (MJASC) 2013, are related to nano-science engineering, mechanical engineering, electrical and electronic engineering, computer science, information technology etc. This proceedings will be a source of research findings for Malaysia and Japan specifically, and other countries in general, especially among researchers, industry sectors and government policy makers. It will be served as a resourceful reference and platform to reflect the significant of the Look East Policy outcomes and products.

  16. Proceedings of the symposium on the many facets of heavy ion fusion reactions

    International Nuclear Information System (INIS)

    1986-01-01

    The topics of the symposium are sub- and near-barrier fusion, limitations to fusion, compound nucleus decay and spectroscopy, incomplete fusion processes, and fragmentation and liquid-gas phase transition. Separate abstracts were prepared for 54 papers in these proceedings

  17. Conference Proceedings in the IAEA Library (Received Up To May 1969)

    International Nuclear Information System (INIS)

    1970-01-01

    This is the IAEA's first computer-produced list of proceedings of conferences. It identifies all volumes received in the IAEA Library up to May 1969. The purpose of the list is to assist members of the IAEA staff and co-operating libraries to identify conferences, congresses, meetings, symposia and training courses relating to nuclear science and technology and to locate the proceedings

  18. Regulatory and technical reports (abstract index journal), Compilation for third quarter 1993, July--September

    International Nuclear Information System (INIS)

    1993-11-01

    This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors, proceedings of conferences and workshops, grants, and international agreement reports. The entries in this compilation are indexed for access by title and abstract, secondary report number, personal author, subject, NRC organization for staff and international agreements, contractor, international organization, and licensed facility

  19. Space Technology and Applications International Forum -1999. Proceedings

    International Nuclear Information System (INIS)

    El-Genk, M.S.

    1999-01-01

    These proceedings represent papers presented at the 1999 Space Technology and Applications International Forum (STAIF-99). This is a large conference in terms of the number of hosted technical sessions and the technical papers presented. This year's theme, ''Opportunities and Challenges for the New Millenium,'' covered a broad spectrum of topics in space science and technology that spans the range from basic research, such as thermophysics in microgravity and breakthrough propulsion physics, to the most recent advances in space power and propulsion, space exploration and commercialization, next generation launch systems, and the international effort to deploy and assemble the international space station. STAIF-99 was co-sponsored by the United States Department of Energy. The two-volume proceedings includes 253 articles, out of which 28 have been abstracted for the Energy,Science and Technology database

  20. Toward the Theory of Everything: MRST'98. Proceedings

    International Nuclear Information System (INIS)

    Cline, J.M.; Knutt, M.E.; Mahlon, G.D.; Moore, G.D.

    1998-01-01

    These proceedings represent papers presented at the 20th annual meeting of the Montreal-Rochester-Syracuse-Toronto (MRST) Conference on High Energy Physics. The Conference covered a wide range of topics including gravitation, collider physics, heavy quark systems, new physics beyond the Standard Model, technicolor, supersymmetry and strings. There were 31 papers presented at the conference,out of which 9 have been abstracted for the Energy,Science and Technology database

  1. Genetic effects of charged particles. Proceedings of conference; Geneticheskoe dejstvie korpuskulyarnykh izluchenij. Trudy rabochego soveshchaniya

    Energy Technology Data Exchange (ETDEWEB)

    1990-07-01

    This volume contains the proceedings of the conference entitled Genetic Effects of Charged Particles held in Dubna, Ukrainian Soviet Socialist Republic June 1990. Selected presentations were abstracted and indexed for the database.

  2. Proceedings of the international conference on nuclear physics, August 24-30, 1980, Berkeley, California. Volume 1. Abstracts. [Berkeley, California, August 24-30, 1980 (abstracts only)

    Energy Technology Data Exchange (ETDEWEB)

    1980-01-01

    This volume contains all abstracts (931) received by the conference organizers before June 20, 1980. The abstracts are grouped according to the following topics: nucleon-nucleon interactions, free and in nuclei; distribution of matter, charge, and magnetism; exotic nuclei and exotic probes; giant resonances and other high-lying excitations; applications of nuclear science; nuclei with large angular momentum and deformation; heavy-ion reactions and relaxation phenomena; new techniques and instruments; pion absorption and scattering by nuclei; and miscellaneous. Some of these one-page abstracts contain data. A complete author index is provided. (RWR)

  3. Proceedings – Mathematical Sciences | Indian Academy of Sciences

    Indian Academy of Sciences (India)

    Home; Journals; Proceedings – Mathematical Sciences; Volume 123; Issue 2. Notes on Discrete Subgroups of Möbius Transformations ... Department of Applied Mathematics, Hunan University, Changsha 410082, People's Republic of China; School of Mathematics and Computational Science, Wuyi University, Jiangmen, ...

  4. F/Cl + C2H2 reactions: Are the addition and hydrogen abstraction direct processes?

    International Nuclear Information System (INIS)

    Li Jilai; Geng Caiyun; Huang Xuri; Zhan Jinhui; Sun Chiachung

    2006-01-01

    The reactions of atomic radical F and Cl with acetylene have been studied theoretically using ab initio quantum chemistry methods and transition state theory. The doublet potential energy surfaces were calculated at the CCSD(T)/aug-cc-pVDZ//CCSD/6-31G(d,p), CCSD(T)/aug-cc-pVDZ//UMP2/6-311++G(d,p) and compound method Gaussian-3 levels. Two reaction mechanisms including the addition-elimination and the hydrogen abstraction reaction mechanisms are considered. In the addition-elimination reactions, the halogen atoms approach C 2 H 2 , perpendicular to the C≡C triple bond, forming the pre-reactive complex C1 at the reaction entrance. C1 transforms to intermediate isomer I1 via transition state TSC1/1 with a negative/small barrier for C 2 H 2 F/C 2 H 2 Cl system, which can proceed by further eliminating H atom endothermally. While the hydrogen abstraction reactions also involve C1 for the fluorine atom abstraction of hydrogen, yet the hydrogen abstraction by chlorine atom first forms a collinear hydrogen-bonded complex C2. The other reaction pathways on the doublet PES are less competitive due to thermodynamical or kinetic factors. According to our results, the presence of pre-reactive complexes indicates that the simple hydrogen abstraction and addition in the halogen atoms reaction with unsaturated hydrocarbon should be more complex. Furthermore, based on the analysis of the kinetics of all channels through which the addition and abstraction reactions proceed, we expect that the actual feasibility of the reaction channels may depend on the reaction conditions in the experiment. The present study may be helpful for probing the mechanisms of the title reactions and understanding the halogen chemistry

  5. From Functions to Object-Orientation by Abstraction

    OpenAIRE

    Diertens, Bob

    2012-01-01

    In previous work we developed a framework of computational models for function and object execution. The models on an higher level of abstraction in this framework allow for concurrent execution of functions and objects. We show that the computational model for object execution complies with the fundamentals of object-orientation.

  6. Abstract Interpretation of Mobile Ambients

    DEFF Research Database (Denmark)

    Hansen, René Rydhof; Jensen, J. G.; Nielson, Flemming

    1999-01-01

    We demonstrate that abstract interpretation is useful for analysing calculi of computation such as the ambient calculus (which is based on the p-calculus); more importantly, we show that the entire development can be expressed in a constraint-based formalism that is becoming exceedingly popular...

  7. Proceedings of the international workshop on new opportunities in single crystal spectroscopy with neutrons

    International Nuclear Information System (INIS)

    Fuezi, J.; Rosta, L.

    2001-08-01

    The Conference Proceedings contains 19 papers on neutron scattering research facilities, neutron sources, scattering spectrometers, detectors, and use of neutron scattering in solid state research. 14 papers were indexed and abstracted for the INIS database. (R.P.)

  8. Second biomass conference of the Americas: Energy, environment, agriculture, and industry. Proceedings

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    1995-01-01

    This volume provides the proceedings for the Second Biomass Conference of the Americas: Energy, Environment, Agriculture, and Industry which was held August 21-24, 1995. The volume contains copies of full papers as provided by the researchers. Individual papers were separately indexed and abstracted for the database.

  9. Nursing identity and patient-centredness in scholarly health services research: a computational text analysis of PubMed abstracts 1986-2013.

    Science.gov (United States)

    Bell, Erica; Campbell, Steve; Goldberg, Lynette R

    2015-01-22

    The most important and contested element of nursing identity may be the patient-centredness of nursing, though this concept is not well-treated in the nursing identity literature. More conceptually-based mapping of nursing identity constructs are needed to help nurses shape their identity. The field of computational text analytics offers new opportunities to scrutinise how growing disciplines such as health services research construct nursing identity. This paper maps the conceptual content of scholarly health services research in PubMed as it relates to the patient-centeredness of nursing. Computational text analytics software was used to analyse all health services abstracts in the database PubMed since 1986. Abstracts were treated as indicative of the content of health services research. The database PubMed was searched for all research papers using the term "service" or "services" in the abstract or keywords for the period 01/01/1986 to 30/06/2013. A total of 234,926 abstracts were obtained. Leximancer software was used in 1) mapping of 4,144,458 instances of 107 concepts; 2) analysis of 106 paired concept co-occurrences for the nursing concept; and 3) sentiment analysis of the nursing concept versus patient, family and community concepts, and clinical concepts. Nursing is constructed within quality assurance or service implementation or workforce development concepts. It is relatively disconnected from patient, family or community care concepts. For those who agree that patient-centredness should be a part of nursing identity in practice, this study suggests that there is a need for development of health services research into both the nature of the caring construct in nursing identity and its expression in practice. More fundamentally, the study raises questions about whether health services research cultures even value the politically popular idea of nurses as patient-centred caregivers and whether they should.

  10. Proceedings of the workshop on experiments and experimental facilities at SIS/ESR

    International Nuclear Information System (INIS)

    1987-04-01

    The present proceedings contain the abstracts of the proposals and letters of intent prepared by the authors for general distribution. The abstracts are organized according to the sessions in which they were presented at the workshop. The program of the workshop is also included as is the list of attendees. In addition we have included two recent descriptions of the accelerator facilities providing information on the latest status of the expected beam schedule for SIS and performance characteristics of the ESR. (orig./HSI)

  11. Proceedings: Wildland Fire in the Appalachians: Discussions Among Managers and Scientists

    Science.gov (United States)

    Thomas A. Waldrop

    2014-01-01

    Many challenges face fire managers and scientists in the Appalachian Mountains because of the region’s diverse topography and limited research supporting prescribed burning. This conference was designed to promote communication among managers, researchers, and other interested parties. These proceedings contain 30 papers and abstracts that describe ongoing research,...

  12. Proceedings of the seventh symposium on training of nuclear facility personnel

    International Nuclear Information System (INIS)

    1987-04-01

    Separate abstracts were prepared for 45 papers in this conference proceedings. Topics covered include influences on nuclear training, the relationship between human factors and training, factors affecting job performance, current training methods, the relationship between training and education, emerging training techniques, evaluation to improve performance, and measurement of the impact of training

  13. Generation and exploration of aggregation abstractions for scheduling and resource allocation

    Science.gov (United States)

    Lowry, Michael R.; Linden, Theodore A.

    1993-01-01

    This paper presents research on the abstraction of computational theories for scheduling and resource allocation. The paper describes both theory and methods for the automated generation of aggregation abstractions and approximations in which detailed resource allocation constraints are replaced by constraints between aggregate demand and capacity. The interaction of aggregation abstraction generation with the more thoroughly investigated abstractions of weakening operator preconditions is briefly discussed. The purpose of generating abstract theories for aggregated demand and resources includes: answering queries about aggregate properties, such as gross feasibility; reducing computational costs by using the solution of aggregate problems to guide the solution of detailed problems; facilitating reformulating theories to approximate problems for which there are efficient problem-solving methods; and reducing computational costs of scheduling by providing more opportunities for variable and value-ordering heuristics to be effective. Experiments are being developed to characterize the properties of aggregations that make them cost effective. Both abstract and concrete theories are represented in a variant of first-order predicate calculus, which is a parameterized multi-sorted logic that facilitates specification of large problems. A particular problem is conceptually represented as a set of ground sentences that is consistent with a quantified theory.

  14. Regulatory and technical reports: Abstracts index journal: Compilation for second quarter, April-June 1987

    International Nuclear Information System (INIS)

    1987-08-01

    This journal includes all formal reports in the NUREG Series prepared by the NRC staff and contractors; proceedings of conferences and workshops; as well as international agreement reports. The entries in this compilation are indexed for access by title and abstracts, secondary report number, personal author, subject, NRC organization for staff and international agreements, contractor, international organization, and licensed facility

  15. Regulatory and technical reports (abstract index journal): Compilation for first quarter 1988, January-March

    International Nuclear Information System (INIS)

    1988-06-01

    This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors; proceedings of conferences and workshops; as well as international agreement reports. The entries in this compilation are indexed for access by title and abstract, secondary report number, personal author, subject, NRC organization for staff and international agreements, contractor, international organization, and licensed facility

  16. Regulatory and technical reports (Abstract Index Journal): Compilation for third quarter, July-September 1987

    International Nuclear Information System (INIS)

    1987-11-01

    This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors; proceedings of conferences and workshops; as well as international agreement reports. The entries in this compilation are indexed for access by title and abstract, secondary report number, personal author, subject, NRC organization for staff and international agreements, contractor, international organization, and licensed facility

  17. Regulatory and technical reports (Abstract index journal): Compilation for first quarter 1987, January-March

    International Nuclear Information System (INIS)

    1987-05-01

    This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors; proceedings of conferences and workshops; as well as international agreement reports. The entries in this compilation are indexed for access by title and abstract, secondary report number, personal author, subject, NRC organization for staff and international agreements, contractor, international organization, and licensed facility

  18. 12th international hot atom chemistry symposium, Balatonfuered, Hungary, 23-28 September 1984. Abstracts

    International Nuclear Information System (INIS)

    1984-08-01

    This proceedings contains the abstracts of 91 papers presented at the symposium. The majority of papers discusses various hot atom reactions and decay processes. A list of previous 11 international hot atom chemistry symposia from 1959 to 1982 is also given. One paper published in full length presents an overview of them (A.P. Wolf p. 89-89/b). (R.P.)

  19. Electron Microscopy Society of Southern Africa : proceedings

    International Nuclear Information System (INIS)

    Snyman, H.C.; Coetzee, J.; Coubrough, R.I.

    1987-01-01

    The proceedings of the 26th annual conference of the Electron Microscopy Society of Southern Africa are presented. Papers were presented on the following topics: techniques and instrumentation used in electron microscopy, and applications of electron microscopy in the life sciences, including applications in medicine, zoology, botany and microbiology. The use of electron microscopy in the physical sciences was also discussed. Separate abstracts were prepared for seven of the papers presented. The remaining papers were considered outside the subject scope of INIS

  20. Workshop 97. Part I. Proceedings

    International Nuclear Information System (INIS)

    1996-12-01

    The complete Proceedings, in 4 volumes, contain contributions by staff members of the Czech Technical University in Prague, the Technical University in Brno, and the Technical University (former University of Mining) in Ostrava, covering all branches of science and technology dealt with by the 3 universities. Part I includes contributions in mathematics, physics, engineering informatics and cybernetics, and computers. Out of these, 13 have been input to INIS. (P.A.)

  1. Workshop 97. Part I. Proceedings

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    1996-12-01

    The complete Proceedings, in 4 volumes, contain contributions by staff members of the Czech Technical University in Prague, the Technical University in Brno, and the Technical University (former University of Mining) in Ostrava, covering all branches of science and technology dealt with by the 3 universities. Part I includes contributions in mathematics, physics, engineering informatics and cybernetics, and computers. Out of these, 13 have been input to INIS. (P.A.).

  2. Enhancements to the NASA Astrophysics Science Information and Abstract Service

    Science.gov (United States)

    Kurtz, M. J.; Eichhorn, G.; Accomazzi, A.; Grant, C. S.; Murray, S. S.

    1995-05-01

    The NASA Astrophysics Data System Astrophysics Science Information and Abstract Service, the extension of the ADS Abstract Service continues rapidly to expand in both use and capabilities. Each month the service is used by about 4,000 different people, and returns about 1,000,000 pieces of bibliographic information. Among the recent additions to the system are: 1. Whole Text Access. In addition to the ApJ Letters we now have whole text for the ApJ on-line, soon we will have AJ and Rev. Mexicana. Discussions with other publishers are in progress. 2. Space Instrumentation Database. We now provide a second abstract service, covering papers related to space instruments. This is larger than the astronomy and astrophysics database in terms of total abstracts. 3. Reference Books and Historical Journals. We have begun putting the SAO Annals and the HCO Annals on-line. We have put the Handbook of Space Astronomy and Astrophysics by M.V. Zombeck (Cambridge U.P.) on-line. 4. Author Abstracts. We can now include original abstracts in addition to those we get from the NASA STI Abstracts Database. We have included abstracts for A&A in collaboration with the CDS in Strasbourg, and are collaborating with the AAS and the ASP on others. We invite publishers and editors of journals and conference proceedings to include their original abstracts in our service; send inquiries via e-mail to ads@cfa.harvard.edu. 5. Author Notes. We now accept notes and comments from authors of articles in our database. These are arbitrary html files and may contain pointers to other WWW documents, they are listed along with the abstracts, whole text, and data available in the index listing for every reference. The ASIAS is available at: http://adswww.harvard.edu/

  3. IMACS 󈨟: Proceedings of the IMACS World Congress on Computation and Applied Mathematics (13th) Held in Dublin, Ireland on July 22-26, 1991. Volume 2. Computational Fluid Dynamics and Wave Propagation, Parallel Computing, Concurrent and Supercomputing, Computational Physics/Computational Chemistry and Evolutionary Systems

    Science.gov (United States)

    1991-01-01

    Computation 14, 1000. sensible to allow-a small networ,’ to grow 𔃻 uring ear!y training, until a 27 XViI Pres, Bil-FMonnery SA Teukoisky, &VWT...Tecnologia Fot6nica, ETSI Telecomunicaci6n, Ciudad Universitaria- 28040 Madrid Spain Abstract.- Modelling of ferroelectric liquid crystal The optical

  4. Proceedings – Mathematical Sciences | Indian Academy of Sciences

    Indian Academy of Sciences (India)

    Home; Journals; Proceedings – Mathematical Sciences; Volume 124; Issue 1. A Note on Conjugacy Classes of Finite Groups. Hemant Kalra Deepak Gumber. Volume 124 ... Author Affiliations. Hemant Kalra1 Deepak Gumber1. School of Mathematics and Computer Applications, Thapar University, Patiala 147 004, India ...

  5. Proceedings of the second United Nations symposium on the development and use of geothermal resources held at San Francisco, California, May 20--29, 1975. Volume 1

    Energy Technology Data Exchange (ETDEWEB)

    1976-01-01

    The 299 papers in the Proceedings are presented in three volumes and are divided into twelve sections, each section dealing with a different aspect of geothermal energy. Rapporturs' summaries of the contents of each section are grouped together in Vol. 1 of the Proceedings; a separate abstract was prepared for each summary. Volume 1 also contains ninety-eight papers under the following section headings: present status of resources development; geology, hydrology, and geothermal systems; and geochemical techniques in exploration. Separate abstracts were prepared for ninety-seven papers. One paper was previously abstracted for ERA and appeared as CONF-750525--17. (LBS)

  6. Teaching abstraction in introductory courses

    NARCIS (Netherlands)

    Koppelman, Herman; van Dijk, Betsy

    Abstraction is viewed as a key concept in computer science. It is not only an important concept but also one that is difficult to master. This paper focuses on the problems that novices experience when they first encounter this concept. Three assignments from introductory courses are analyzed, to

  7. Proceedings of the 1. international conference on CANDU fuel handling systems

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    1997-12-31

    Besides information on fuel loading and handling systems for CANDU and PHWR reactors, the 25 papers in these proceedings also include some on dry storage, modification to fuel strings at Bruce A, and on the SLAR (spacer location and repositioning) system for finding and moving garter springs. The individual papers have been abstracted separately.

  8. Proceedings of the 1. international conference on CANDU fuel handling systems

    International Nuclear Information System (INIS)

    1996-01-01

    Besides information on fuel loading and handling systems for CANDU and PHWR reactors, the 25 papers in these proceedings also include some on dry storage, modification to fuel strings at Bruce A, and on the SLAR (spacer location and repositioning) system for finding and moving garter springs. The individual papers have been abstracted separately

  9. Atomic and Molecular Data and Their Applications. Proceedings

    International Nuclear Information System (INIS)

    Mohr, P.J.; Wiese, W.L.

    1998-01-01

    These proceedings contain papers based on invited talks at the First International Conference on Atomic and Molecular Data and Their Applications held at the National Institute of Standards and Technology (INIST) in Gaithersburg, Maryland in October, 1997. The invited presentations addressed four major areas of importance to atomic and molecular data activities: Global trends affecting scientific data, collisions and spectral radiation data, date assessment and database and data management activities and lastly, data needs of the main user communities such as the magnetic and inertial fusion research communities, semiconductor-related plasma processing, the atmospheric research community and the space astronomy community, etc. These proceedings are expected to be of interest to both producers and users of data and provide up-to-date surveys on atomic and molecular data. A wide range of data has been presented including X-ray transition energies, atomic transition probabilities, atomic collisions data, data for cosmology and X-ray astronomy, data for fusion plasma diagnostics, etc. There were 27 invited talks and consequently 27 articles in these Proceedings. Out of these, 9 have been abstracted for the Energy Science and Technology database

  10. Proceedings of workshop on distributed computing and network

    International Nuclear Information System (INIS)

    Abe, F.; Yuasa, F.

    1993-02-01

    'Distributed Computing and Network' is one of hot topics in the field of computing. Recent progress in the computer technology is providing new paradigm for computing even in High Energy Physics. Particularly the workstation based computer system is opening new active field of computer application to sciences. The major topics discussed in this symposium are distributed computing and wide area research network for domestic and international link. The two days symposium provided so enough topics to foresee the next direction of our computing environment. 70 people have got together to discuss on these interesting thema as well as information exchange on the computer technologies. (J.P.N.)

  11. Abstracts of annual physics conference of Iran 1373, Kordestan University, Sanandaj, 19 Aug - 1 Sep 1994

    International Nuclear Information System (INIS)

    Mirzabeygui, Jahanshah

    1994-08-01

    Collection of separate abstracts written in the proceedings of Annual Physics Conference of Iran,1373 covered following topics: Mathematical methods in physics, relativity and gravitation; The physics of elementary particles; Nuclear physics and nuclear engineering; Atomic and molecular physics, optics and magnetism; Fluids, plasma, and electric discharges; Condensed matter; Astronomy and astrophysics

  12. Functional imaging and modeling of the heart. First International workshop, FIMH 2001. Proceedings

    International Nuclear Information System (INIS)

    Katila, T.; Nenonen, J.

    2002-01-01

    The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the R and D community, with numerous individuals, as well as with prestigious organizations and societies, LNCS has grown into the most comprehensive computer science research forum available. The scope of LNCS, including its subseries LNAI, spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields. The type of material published traditionally includes - proceedings (published in time for the respective conference) - post-proceedings (consisting of thoroughly revised final full papers) - research monographs (which may be based on outstanding PhD work, research projects, technical reports, etc.). (orig.)

  13. An intermediate level of abstraction for computational systems chemistry

    DEFF Research Database (Denmark)

    Andersen, Jakob L.; Flamm, Christoph; Merkle, Daniel

    2017-01-01

    system, well grounded in category theory, at the right level of abstraction for the analysis of large and complex reaction networks. An extension of the basic formalism into the realm of integer hyperflows allows for the identification of complex reaction patterns, such as autocatalysis, in large...

  14. Proceedings of the International conference on energy alternatives/risk education V. 1

    International Nuclear Information System (INIS)

    Marx, Gyoergy

    1990-02-01

    This Proceedings volume on Energy Education within the context of the International Conference on Energy Alternatives/Risk Education contains papers on Energy Education, on Nuclear Education and on Risk Education. Ten papers concerning nuclear science and technology, and nuclear energy, were indexed and abstracted separately for the INIS database. (R.P.)

  15. Intelligent computing for sustainable energy and environment

    Energy Technology Data Exchange (ETDEWEB)

    Li, Kang [Queen' s Univ. Belfast (United Kingdom). School of Electronics, Electrical Engineering and Computer Science; Li, Shaoyuan; Li, Dewei [Shanghai Jiao Tong Univ., Shanghai (China). Dept. of Automation; Niu, Qun (eds.) [Shanghai Univ. (China). School of Mechatronic Engineering and Automation

    2013-07-01

    Fast track conference proceedings. State of the art research. Up to date results. This book constitutes the refereed proceedings of the Second International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2012, held in Shanghai, China, in September 2012. The 60 full papers presented were carefully reviewed and selected from numerous submissions and present theories and methodologies as well as the emerging applications of intelligent computing in sustainable energy and environment.

  16. Index covering conferences cited in Nuclear Science Abstracts and the DOE Energy Data Base: 1962 to 1983. Parts 1-4

    International Nuclear Information System (INIS)

    Vannoy, D.M.

    1984-11-01

    The purpose of this publication is to list energy-related conferences, meetings, symposia, and congresses within the programmatic interests of the Department of Energy. The publication includes conferences assigned a number in the CONF- report number series from 1962 through 1983. All conferences cited in Nuclear Science Abstracts and the Energy Data Base are listed. The Office of Scientific and Technical Information (OSTI), Technical Information Center developed a numbering system in 1962 that quickly narrows the search for a particular conference proceedings, or one of the papers presented, to the year and month to help the individual seeking the information. This publication contains two computer-produced indexes. The first is a KWIC (Key Word in Context) index of the conference location and title. The second index is arranged numerically by CONF- number and provides location, date, and title information for each conference

  17. Proceedings of the 1st conference on nuclear structure data evaluation

    International Nuclear Information System (INIS)

    Firestone, R.B.; Shirley, V.S.; Dairiki, J.M.

    1982-04-01

    The 1st Conference on Nuclear Structure Data Evaluation was organized by the Isotopes Project of the Lawrence Berkeley Laboratory in order to encourage the open discussion of the scientific aspects of ENSDF production and usage. Summaries of the roundtable discussion sessions, abstracts of the presented papers, and additional contributed papers are contained in these Proceedings

  18. Proceedings of the 13. annual conference of the Canadian Nuclear Society. V. 1

    Energy Technology Data Exchange (ETDEWEB)

    1993-12-31

    Volume 1 of the proceedings of the 13. annual conference of the Canadian Nuclear Society includes sessions on the following topics: reactor physics, new concepts and technology, fuel behaviour, reactor design, safety analysis, fuel channel behaviour, equipment and design qualification. The individual papers have been abstracted separately.

  19. Analysis of complex networks using aggressive abstraction.

    Energy Technology Data Exchange (ETDEWEB)

    Colbaugh, Richard; Glass, Kristin.; Willard, Gerald

    2008-10-01

    This paper presents a new methodology for analyzing complex networks in which the network of interest is first abstracted to a much simpler (but equivalent) representation, the required analysis is performed using the abstraction, and analytic conclusions are then mapped back to the original network and interpreted there. We begin by identifying a broad and important class of complex networks which admit abstractions that are simultaneously dramatically simplifying and property preserving we call these aggressive abstractions -- and which can therefore be analyzed using the proposed approach. We then introduce and develop two forms of aggressive abstraction: 1.) finite state abstraction, in which dynamical networks with uncountable state spaces are modeled using finite state systems, and 2.) onedimensional abstraction, whereby high dimensional network dynamics are captured in a meaningful way using a single scalar variable. In each case, the property preserving nature of the abstraction process is rigorously established and efficient algorithms are presented for computing the abstraction. The considerable potential of the proposed approach to complex networks analysis is illustrated through case studies involving vulnerability analysis of technological networks and predictive analysis for social processes.

  20. Proceedings of the solar industrial process heat symposium

    Energy Technology Data Exchange (ETDEWEB)

    None

    1978-06-01

    The purpose of the symposium was to review the progress of various solar energy systems currently under design for supplying industrial process heat. Formal presentations consisted of a review of solar energy applications in industrial process heat as well as several on-going project reviews. An Open Forum was held to solicit the comments of the participants. The recommendations of this Open Forum are included in these proceedings. Eighteen papers were included. Separate abstracts were prepared for each paper.

  1. Selected Publications in Image Understanding and Computer Vision from 1974 to 1983

    Science.gov (United States)

    1985-04-18

    Germany, September 26-28, 1978), Plenum, New York, 1979. 9. Reconnaissance des Formes et Intelligence Artificielle (2’me Congres AFCET-IRIA, Toulouse...the last decade. .To L..... ABBREVIATIONS - AI Artificial Intelligence BC Biological Cybernetics CACM Communications of the ACM CG Computer Graphics... Intelligence PACM Proceedings of the ACM "P-IEEE Proceedings of the IEEE P-NCC Proceedings of the National Computer Conference PR Pattern Recognition PRL

  2. Advances in Computer Entertainment.

    NARCIS (Netherlands)

    Nijholt, Antinus; Romão, T.; Reidsma, Dennis; Unknown, [Unknown

    2012-01-01

    These are the proceedings of the 9th International Conference on Advances in Computer Entertainment ACE 2012). ACE has become the leading scientific forum for dissemination of cutting-edge research results in the area of entertainment computing. Interactive entertainment is one of the most vibrant

  3. Remedial Action Program annual conference: Proceedings

    International Nuclear Information System (INIS)

    1990-01-01

    Within the DOE's Office of Environmental Restoration ampersand Waste Management, the Office of Environmental Restoration manages a number of programs whose purposes are to complete remedial actions at DOE facilities and sites located throughout the United States. The programs include the Surplus Facilities Management Program, the Formerly Utilized Sites Remedial Action Program, the Uranium Mill Tailings Remedial Action Program, and the West Valley Demonstration Project. These programs involve the decontamination and decommissioning of radioactively-contaminated structures and equipment, the disposal of uranium mill tailings, and the cleanup or restoration of soils and ground water that have been contaminated with radioactive or hazardous substances. Each year the DOE and DOE-contractor staff who conduct these programs meet to exchange information and experience in common technical areas. This year's meeting was hosted by the Uranium Mill Tailings Remedial Action Project, DOE-AL, and was held in Albuquerque, NM. This volume of proceedings is the record of that conference. The proceedings consist of abstracts, summaries, or actual text for each presentation made and any visual aids used by the speakers

  4. The Complexity of Abstract Machines

    Directory of Open Access Journals (Sweden)

    Beniamino Accattoli

    2017-01-01

    Full Text Available The lambda-calculus is a peculiar computational model whose definition does not come with a notion of machine. Unsurprisingly, implementations of the lambda-calculus have been studied for decades. Abstract machines are implementations schema for fixed evaluation strategies that are a compromise between theory and practice: they are concrete enough to provide a notion of machine and abstract enough to avoid the many intricacies of actual implementations. There is an extensive literature about abstract machines for the lambda-calculus, and yet—quite mysteriously—the efficiency of these machines with respect to the strategy that they implement has almost never been studied. This paper provides an unusual introduction to abstract machines, based on the complexity of their overhead with respect to the length of the implemented strategies. It is conceived to be a tutorial, focusing on the case study of implementing the weak head (call-by-name strategy, and yet it is an original re-elaboration of known results. Moreover, some of the observation contained here never appeared in print before.

  5. Proceedings of 8. national conference on nuclear electronic and nuclear detection technology: Pt.1

    International Nuclear Information System (INIS)

    1996-01-01

    The 8th National Conference on Nuclear Electronics and Nuclear Detection Technology was held during 2-7, 12, 1996 in Zhuhai, Guangdong, China. 184 pieces of papers were collected in the conference proceedings. The contents of the conference proceedings are: nuclear electronics, nuclear detectors, nuclear instruments and its application, nuclear medical electronics, computer applications in nuclear sciences and technology, measurement of nuclear monitoring and nuclear explosion, radiation hardened electronics, liquid scintillation counting techniques and miscellaneous. Reported hereafter is the first part of the proceedings

  6. Proceedings of the 3rd World Congress on Integrated Computational Materials Engineering (ICME 2015). Held in Colorado Springs, CO on May 31-June 4, 2015

    Science.gov (United States)

    2016-06-28

    Xin Sun - Proceedings 5f. WORK UNIT NUMBER 7. PERFORMING ORGANIZATION NAME(S) AND ADDRESS(ES) 8. PERFORMING ORGANIZATION The Minerals Metals...on Integrated Computational Materials Engineering (ICME) was organized by The Minerals , Metals, and Materials Society (TMS) and held in Colorado...Springs, Colorado from May 31- June 4, 2015. ONR support in the an1otmt of$15,000 was provided to support the planning , execution, and dissemination of

  7. C.A.S.I.S. Workshop 2003 Abstract Proceedings

    International Nuclear Information System (INIS)

    Azevedo, S

    2003-01-01

    Thirty five years ago, while in the neutron cross section group led by Robert Howerton at LLNL, the concept of reconstructing a three dimensional spatial distribution from its projections onto two dimensional planes was tackled by some of us using three now well known methods: simple back projection, Fourier projection theorem methods and iterative least squares algebraic reconstruction. The method of iterative least squares reconstruction was implemented on patient data in the early 1970s using photons from radionuclides detected by the Anger Camera. The method useful for computed tomography was modified to include the attenuation of the photons from an unknown source through an unknown attenuation distribution (a problem thought to be intractable until 1974). These methods along with a multitude of other methods developed by my small group of Ronald Huesman, Grant Gullberg, William Greenberg and Stephen Derenzo were prepared as a library with examples in FORTRAN, RECLBL. Those codes were found useful for computed tomography, geophysical problems and plasma confinement research topics in addition to their use in Nuclear Medicine. The codes were used even in the early days of magnetic resonance imaging when back projection of filtered projection data were used before the incorporation of phase encoding methods. In 1970s computed tomography of a single section of the brain required 4 minutes for single photon tomography or positron emission tomography about 30 minutes were required. Even proton and helium ion tomography were accomplished in the 1970s but with more that 2 hours of data acquisition. Thirty years later CT systems deliver 16 sections per second with 1 mm resolution and PET systems acquire 40 sections with about 4 mm resolution in 5 minutes. Computation times have reduced from 18 hours on the CDC 6600s and 7600s for gated, list mode data to less than 5 minutes in the last 30 years. Similar ratios of improvement have benefited ultrasound and magnetic

  8. Regulatory and technical reports (abstract index journal): Annual compilation for 1997. Volume 22, Number 4

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    1998-04-01

    This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors; proceedings of conferences and workshops; as well as international agreement reports. The entries in this compilation are indexed for access by title and abstract, secondary report number, personal author, subject, NRC organization for staff and international agreements, contractor, international organization, and licensed facility.

  9. Regulatory and technical reports (abstract index journal): Annual compilation for 1997. Volume 22, Number 4

    International Nuclear Information System (INIS)

    1998-04-01

    This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors; proceedings of conferences and workshops; as well as international agreement reports. The entries in this compilation are indexed for access by title and abstract, secondary report number, personal author, subject, NRC organization for staff and international agreements, contractor, international organization, and licensed facility

  10. Computer-science guest-lecture series at Langston University sponsored by the U.S. Geological Survey; abstracts, 1992-93

    Science.gov (United States)

    Steele, K. S.

    1994-01-01

    Langston University, a Historically Black University located at Langston, Oklahoma, has a computing and information science program within the Langston University Division of Business. Since 1984, Langston University has participated in the Historically Black College and University program of the U.S. Department of Interior, which provided education, training, and funding through a combined earth-science and computer-technology cooperative program with the U.S. Geological Survey (USGS). USGS personnel have presented guest lectures at Langston University since 1984. Students have been enthusiastic about the lectures, and as a result of this program, 13 Langston University students have been hired by the USGS on a part-time basis while they continued their education at the University. The USGS expanded the offering of guest lectures in 1992 by increasing the number of visits to Langston University, and by inviting participation of speakers from throughout the country. The objectives of the guest-lecture series are to assist Langston University in offering state-of-the-art education in the computer sciences, to provide students with an opportunity to learn from and interact with skilled computer-science professionals, and to develop a pool of potential future employees for part-time and full-time employment. This report includes abstracts for guest-lecture presentations during 1992-93 school year.

  11. Proceedings of the workshop on numerical modeling of thermohydrological flow in fractured rock masses

    International Nuclear Information System (INIS)

    1980-09-01

    Nineteen papers were presented at the workshop on modeling thermohydrologic flow in fractured masses. This workshop was a result of the interest currently being given to the isolation of nuclear wastes in geologic formations. Included in these proceedings are eighteen of the presentations, one abstract and summaries of the panel discussions. The papers are listed under the following categories: introduction; overviews; fracture modelings; repository studies; geothermal models; and recent developments. Eighteen of the papers have been abstracted and indexed

  12. Computability, complexity, and languages fundamentals of theoretical computer science

    CERN Document Server

    Davis, Martin D; Rheinboldt, Werner

    1983-01-01

    Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science provides an introduction to the various aspects of theoretical computer science. Theoretical computer science is the mathematical study of models of computation. This text is composed of five parts encompassing 17 chapters, and begins with an introduction to the use of proofs in mathematics and the development of computability theory in the context of an extremely simple abstract programming language. The succeeding parts demonstrate the performance of abstract programming language using a macro expa

  13. Safety culture in nuclear installations. Proceedings

    Energy Technology Data Exchange (ETDEWEB)

    Carnino, A [ed.; International Atomic Energy Agency, Vienna (Austria); Weimann, G [ed.; Oesterreichisches Forschungszentrum Seibersdorf GmbH (Austria)

    1995-04-01

    These proceedings of the International Topical Meeting on Safety Culture in Nuclear Installations held in Vienna, Austria from 24 to 28 April 1995 provide a wide forum of information exchange and discussions on the topic safety culture in nuclear power plants. Safety culture deals with human factors since it deals with attitudes, organization and management. It then means that it has a natural component in it which is linked to the national culture and education. There are about 95 contributions, some of them presented by title and abstract only. All of them are in the subject scope of INIS. (Botek).

  14. Safety culture in nuclear installations. Proceedings

    International Nuclear Information System (INIS)

    Carnino, A.; Weimann, G.

    1995-04-01

    These proceedings of the International Topical Meeting on Safety Culture in Nuclear Installations held in Vienna, Austria from 24 to 28 April 1995 provide a wide forum of information exchange and discussions on the topic safety culture in nuclear power plants. Safety culture deals with human factors since it deals with attitudes, organization and management. It then means that it has a natural component in it which is linked to the national culture and education. There are about 95 contributions, some of them presented by title and abstract only. All of them are in the subject scope of INIS. (Botek)

  15. Proceedings of High Energy Physics Workshop ''Scalar Mesons: An Interesting Puzzle for QCD'' held at SUNY Institute of Technology, May 16-18, 2003 Published by the American Institute of Physics AIP Conference Proceedings 688 Editor: Amir H. Fariborz

    International Nuclear Information System (INIS)

    Fariborz, Amir H.

    2003-01-01

    The proceedings of the workshop: ''Scalar Mesons: An Interesting Puzzle for QCD'' contains papers that were presented at the workshop by a number of experts from around the world. It includes three main categories of Theoretical, Computational and Experimental works. The topics that are presented in this proceedings are of interest to senior and junior investigators in high energy physics, nuclear physics and computational physics, and provide most recent ideas, techniques, and directions for future research in these fields

  16. Abstraction ability as an indicator of success for learning object-oriented programming?

    DEFF Research Database (Denmark)

    Bennedsen, Jens Benned; Caspersen, Michael Edelgaard

    2006-01-01

    ability is operationalized as stages of cognitive development (for which validated tests exist). Programming ability is operationalized as grade in the final assessment of a model-based objects-first CS1. The validity of the operationalizations is discussed. Surprisingly, our study shows......Computer science educators generally agree that abstract thinking is a crucial component for learning computer science in general and programming in particular. We report on a study to confirm the hypothesis that general abstraction ability has a positive impact on programming ability. Abstraction...... that there is no correlation between stage of cognitive development (abstraction ability) and final grade in CS1 (programming ability). Possible explanations are identified....

  17. Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems

    DEFF Research Database (Denmark)

    Hahn, Ernst Moritz; Norman, Gethin; Parker, David

    2011-01-01

    We consider a class of hybrid systems that involve random phenomena, in addition to discrete and continuous behaviour. Examples of such systems include wireless sensing and control applications. We propose and compare two abstraction techniques for this class of models, which yield lower and upper...... bounds on the optimal probability of reaching a particular class of states. We also demonstrate the applicability of these abstraction techniques to the computation of long-run average reward properties and the synthesis of controllers. The first of the two abstractions yields more precise information......, while the second is easier to construct. For the latter, we demonstrate how existing solvers for hybrid systems can be leveraged to perform the computation....

  18. Ideals, varieties, and algorithms an introduction to computational algebraic geometry and commutative algebra

    CERN Document Server

    Cox, David A; O'Shea, Donal

    2015-01-01

    This text covers topics in algebraic geometry and commutative algebra with a strong perspective toward practical and computational aspects. The first four chapters form the core of the book. A comprehensive chart in the preface illustrates a variety of ways to proceed with the material once these chapters are covered. In addition to the fundamentals of algebraic geometry—the elimination theorem, the extension theorem, the closure theorem, and the Nullstellensatz—this new edition incorporates several substantial changes, all of which are listed in the Preface. The largest revision incorporates a new chapter (ten), which presents some of the essentials of progress made over the last decades in computing Gröbner bases. The book also includes current computer algebra material in Appendix C and updated independent projects (Appendix D). The book may serve as a first or second course in undergraduate abstract algebra and, with some supplementation perhaps, for beginning graduate level courses in algebraic geom...

  19. Proceedings of the fifth PTCOG meeting and international workshop on biomedical accelerators

    Energy Technology Data Exchange (ETDEWEB)

    1987-04-01

    This volume contains the proceeding and individual papers presented at the Fifth PTCOG meeting and International Workshop on Biomedical Accelerators. The meeting was divided into sessions on the biomedical aspects of therapy delivery, new biomedical accelerators, facilities, and beam localization and status report. Individual papers have been abstracted and indexed for the Energy Data Base.

  20. Proceedings of the fifth PTCOG meeting and international workshop on biomedical accelerators

    International Nuclear Information System (INIS)

    1987-04-01

    This volume contains the proceeding and individual papers presented at the Fifth PTCOG meeting and International Workshop on Biomedical Accelerators. The meeting was divided into sessions on the biomedical aspects of therapy delivery, new biomedical accelerators, facilities, and beam localization and status report. Individual papers have been abstracted and indexed for the Energy Data Base

  1. Proceedings of the Canadian Nuclear Association 34. annual conference

    International Nuclear Information System (INIS)

    Girard, A.M.

    1994-01-01

    The proceedings of the thirty-fourth annual conference of the Canadian Nuclear Association contain 23 complete papers and three speeches organized in the following sessions: opening, plenary, new environmental regulations and their effect on the energy industry, CANDU update, life cycle management of nuclear power plants, evolution of nuclear technology, technologies for tomorrow, nuclear used fuel and disposal of low-level waste, world economics and energy consumption. The complete papers have been abstracted separately

  2. Proceedings of the Canadian Nuclear Association 34. annual conference

    Energy Technology Data Exchange (ETDEWEB)

    Girard, A M [Atomic Energy of Canada Ltd., Montreal, PQ (Canada). CANDU Operations

    1994-12-31

    The proceedings of the thirty-fourth annual conference of the Canadian Nuclear Association contain 23 complete papers and three speeches organized in the following sessions: opening, plenary, new environmental regulations and their effect on the energy industry, CANDU update, life cycle management of nuclear power plants, evolution of nuclear technology, technologies for tomorrow, nuclear used fuel and disposal of low-level waste, world economics and energy consumption. The complete papers have been abstracted separately.

  3. The role of ventilation. 2 v. Proceedings

    International Nuclear Information System (INIS)

    1994-01-01

    The 78 papers which constitute the proceedings of the conference are presented in two volumes. The papers in the first volume cover sessions dealing with the following broad topics: ventilation strategies; indoor air quality; energy impact of ventilation; building design for optimum ventilation; ventilation and energy. Volume 2 also covers ventilation strategies and ventilation and energy, and in addition: calculation, measurement and design tools; measurement and modelling. Separate abstract have been prepared for 4 papers in Volume 1 which deal with the role of ventilation in mitigating the hazard of radon in buildings. (UK)

  4. Proceedings of the 10. Meeting on Reactor Physics and Thermal Hydraulics

    International Nuclear Information System (INIS)

    Santos Bastos, W. dos

    1995-01-01

    These proceedings presents all the Meeting papers emphasizing specific aspects on reactor physics method, criticality, fuel management, nuclear data, safety analysis, simulation and shielding, neutronics, thermal hydraulics, reactor operation and computational methods

  5. Proceedings of the 32. annual conference of the Canadian Nuclear Association

    International Nuclear Information System (INIS)

    1992-01-01

    The conference proceedings comprise 34 papers, arranged under the following sessions: Plenary; The international CANDU program; Canadian used fuel management program; Public information advocates; Fuel and electricity supply; In which direction should reactors advance?; Canadian advanced nuclear research programs; International cooperation in operations; Safety in design, operation, regulation; Renovation of operating stations; CNS/CNA luncheon addresses. The individual papers have been abstracted separately

  6. Proceedings of the international conference on nanoscience and nanotechnology: abstracts

    International Nuclear Information System (INIS)

    2011-01-01

    In recent years nanoscience has started to enter every field of science and technology. Recent research has shown that the development towards the nanotechnology domains are tremendous and without doubt, the major themes of the conference like nanomaterials - synthesis and characterization, nanotubes, nanowires and nanorods, bio-nanotechnology, nanotechnology for energy, quantum computing etc. will trigger the researchers and scientists and make them to do innovative work in the area of nanoscience and nanotechnology. Papers relevant to INIS are indexed separately

  7. Proceedings of the Air Force Forum for Intelligent Tutoring Systems

    Science.gov (United States)

    1989-04-01

    Science Air Force Summer Study on Fault Isolation in Air Force Weapons and Support Systems. He is an expert in simulation-oriented computer-based...Tutoring (Collins, 1976.) Reprinted with permission of Lawrence Erlbauni Assoc., Inc., Publishers, ( 1976. It should be clear that understanding natural...Grignetti, M., Hausman , C., & Gould, L. (1975). An intelligent on-line assistant and tutor: NLS-Scholar. In Proceedings of the National Computer

  8. Standardization of Radionuclides. Proceedings of a Symposium on Standardization of Radionuclides

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    1967-03-15

    Proceedings of a Symposium organized by the IAEA and held in Vienna, 10-14 October 1966. This meeting was a sequel to the Symposium on the same subject held in 1959 (Metrology of Radionuclides, IAEA, Vienna (1960)) and was attended by 135 participants from 28 Member States and 3 international organizations. Contents: Survey papers (3 papers); Liquid scintillation counting (5 papers); 4 {pi} p.c. {gamma}-coincidence counting (11 papers); Other coincidence methods (3 papers); 4 {pi} p.c. {gamma}-coincidence calibration of special nuclides (4 papers); Internal gas counting (2 papers); Calibration of electron capture nuclides (7 papers); Solid angle counting (1 paper); Relative methods (7 papers); Source preparation and associated techniques (10 papers); Calorimetric methods (3 papers); Determination of disintegration parameters (3 papers); Computer techniques (2 papers); Miscellaneous (7 papers). Each paper is in its original language (44 English, 12 French, 10 Russian and 2 Spanish) and is preceded by an abstract in English and one in the original language if this is not English. Discussions are in English. (author)

  9. Standardization of Radionuclides. Proceedings of a Symposium on Standardization of Radionuclides

    International Nuclear Information System (INIS)

    1967-01-01

    Proceedings of a Symposium organized by the IAEA and held in Vienna, 10-14 October 1966. This meeting was a sequel to the Symposium on the same subject held in 1959 (Metrology of Radionuclides, IAEA, Vienna (1960)) and was attended by 135 participants from 28 Member States and 3 international organizations. Contents: Survey papers (3 papers); Liquid scintillation counting (5 papers); 4 π p.c. γ-coincidence counting (11 papers); Other coincidence methods (3 papers); 4 π p.c. γ-coincidence calibration of special nuclides (4 papers); Internal gas counting (2 papers); Calibration of electron capture nuclides (7 papers); Solid angle counting (1 paper); Relative methods (7 papers); Source preparation and associated techniques (10 papers); Calorimetric methods (3 papers); Determination of disintegration parameters (3 papers); Computer techniques (2 papers); Miscellaneous (7 papers). Each paper is in its original language (44 English, 12 French, 10 Russian and 2 Spanish) and is preceded by an abstract in English and one in the original language if this is not English. Discussions are in English. (author)

  10. Proceedings of NUCLEAR 2009 international conference on sustainable development through nuclear research and education

    International Nuclear Information System (INIS)

    Constantin, Marin; Turcu, Ilie

    2009-01-01

    The proceedings of the NUCLEAR 2009 international conference on sustainable development through nuclear research and education held at INR-Pitesti on May, 27 - 29 2009 contain 92 communications presented in two plenary sessions (6 and 4 talks, respectively) and three sections addressing the themes of Nuclear energy, Environmental protection, and Sustainable development. In turn these sections are addressing the following items: Section 1.1 - Nuclear safety and severe accidents (8 papers); Section 1.2 - Nuclear reactors (15 papers); Section 1.3 - Nuclear technologies and materials (32 papers); Section 2.1 - Radioactive waste management (18 papers; Section 2.2 and Section 2.3 - Radioprotection and air, water and soil protection (12 papers); Section 3.1 - Education, continuous formation and knowledge transfer (9 papers); Section 3.2 -Strategies in energy (Round table) (5 papers). A number of 17 papers although programmed have not actually been presented within these proceedings. These papers are presented as abstracts in 'Nuclear 2009 - BOOK of ABSTRACTS', separately processed

  11. Proceedings: third symposium on the Cerro Prieto geothermal field, Baja California, Mexico

    Energy Technology Data Exchange (ETDEWEB)

    1981-01-01

    These proceedings include both English and Spanish versions of each paper presented at the symposium. Illustrations and tables, which have been placed between the two versions, include captions in both languages. Forty-one papers are included. Five papers were indexed for EDB previously. Separate abstracts were prepared for thirty-three papers and three were listed by title.

  12. Book of abstracts of 13. national conference on nuclear structure and 9. symposium on 'nuclear structure and quantum mechanics'

    International Nuclear Information System (INIS)

    2010-07-01

    13. national conference on nuclear structure and 9. symposium on 'nuclear structure and quantum mechanics' was held by China Nuclear Physics Society in Chifeng, 25 to 30 July, 2010. The proceedings collects the abstracts of 102 articles

  13. Proceedings of the international conference on nuclear physics, August 24-30, 1980, Berkeley, California. Volume 1. Abstracts

    International Nuclear Information System (INIS)

    1980-01-01

    This volume contains all abstracts (931) received by the conference organizers before June 20, 1980. The abstracts are grouped according to the following topics: nucleon-nucleon interactions, free and in nuclei; distribution of matter, charge, and magnetism; exotic nuclei and exotic probes; giant resonances and other high-lying excitations; applications of nuclear science; nuclei with large angular momentum and deformation; heavy-ion reactions and relaxation phenomena; new techniques and instruments; pion absorption and scattering by nuclei; and miscellaneous. Some of these one-page abstracts contain data. A complete author index is provided

  14. Regulatory and technical reports (Abstract Index Journal). Compilation for first quarter 1986, January-March. Volume 11, No. 1

    International Nuclear Information System (INIS)

    1986-04-01

    This compilation consists of bibliographic data and abstracts for the formal regulatory and technical reports issued by the US Nuclear Regulatory Commission staff and its contractors, as well as conference proceedings. Entries are indexed by contractor report number, personal author, subject, NRC originating organization, NRC contract sponsor, contractor, and licensed facility

  15. Is searching full text more effective than searching abstracts?

    Directory of Open Access Journals (Sweden)

    Lin Jimmy

    2009-02-01

    Full Text Available Abstract Background With the growing availability of full-text articles online, scientists and other consumers of the life sciences literature now have the ability to go beyond searching bibliographic records (title, abstract, metadata to directly access full-text content. Motivated by this emerging trend, I posed the following question: is searching full text more effective than searching abstracts? This question is answered by comparing text retrieval algorithms on MEDLINE® abstracts, full-text articles, and spans (paragraphs within full-text articles using data from the TREC 2007 genomics track evaluation. Two retrieval models are examined: bm25 and the ranking algorithm implemented in the open-source Lucene search engine. Results Experiments show that treating an entire article as an indexing unit does not consistently yield higher effectiveness compared to abstract-only search. However, retrieval based on spans, or paragraphs-sized segments of full-text articles, consistently outperforms abstract-only search. Results suggest that highest overall effectiveness may be achieved by combining evidence from spans and full articles. Conclusion Users searching full text are more likely to find relevant articles than searching only abstracts. This finding affirms the value of full text collections for text retrieval and provides a starting point for future work in exploring algorithms that take advantage of rapidly-growing digital archives. Experimental results also highlight the need to develop distributed text retrieval algorithms, since full-text articles are significantly longer than abstracts and may require the computational resources of multiple machines in a cluster. The MapReduce programming model provides a convenient framework for organizing such computations.

  16. ESGAR 2007. Book of abstracts

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    2007-06-15

    The book includes the abstracts of all contributions presented during ESGAR (European Society of Gastrointestinal and Abdominal Radiology) 2007. The contributions of the symposium and the scientific sessions cover the following topics: abdominal MRI; interactive liver diagnosis; rectal cancer; liver metastases; pancreas: technical advances, lesion characterisation and staging; hepatic interventions; upper GI tract: multimodality evaluation; Crohn's disease evaluation; focal liver lesions: multimodality evaluation; CTC-computer aided diagnosis; bile ducts: imaging and intervention; GI tract: imaging and intervention; small bowel and appendix: cross-sectional imaging; CT and MR colonography; trauma and acute abdominal conditions: imaging and intervention; vascular and diffuse liver disease; liver contrast enhanced US. The second part covers the abstract of 248 presentations.

  17. Annual congress of the European Association of Nuclear Medicine. EANM'14. Abstracts

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    2014-10-15

    The proceedings of the annual congress of the European Association of Nuclear Medicine EANM'14 contain abstracts on the following issues: nuclear cardiology practices, PET in lymphoma, advances in nuclear cardiology, dosimetry for intra-arterial treatment in the liver, pediatric nuclear medicine, therapeutic nuclear medicine, SPECT/CT, prostate cancer, extended competencies for nuclear medicine technologists, neurosciences - neurodegeneration and neuroinflammation, radionuclide therapy and dosimetry - preclinical studies, physics and instrumentation, clinical molecular imaging, conventional and specialized nuclear medicine.

  18. TSPC2015: Proceedings of the Trieste Symposium on Perception and Cognition, November 13rd 2015

    OpenAIRE

    Bernardis, Paolo; Fantoni, Carlo; Gerbino, Walter

    2015-01-01

    This book of proceedings collects the abstracts of talks and posters presented at the Trieste Symposium on Perception and Cognition 2015, organized by the Psychology Unit of the Department of Life Sciences, University of Trieste, and held at campus on the 13th of November. It opens with the abstracts of four talks presented at the workshop on "Visual Context and Lightness Perception", featuring key speakers who have recently provided notable theoretical and empirical insights into th...

  19. Regulatory and technical reports (abstract index journal). Volume 20, No. 1: First quarterly January--March 1995

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    1995-07-01

    This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors; proceedings of conferences and workshops; as well as international agreement reports. The entries in this compilation are indexed for access by title and abstract, secondary report number, personal author, subject, NRC organization for staff and international agreements, contractor, international organization, and licensed facility.

  20. Regulatory and technical reports (abstract index journal). Volume 20, No. 1: First quarterly January--March 1995

    International Nuclear Information System (INIS)

    1995-07-01

    This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors; proceedings of conferences and workshops; as well as international agreement reports. The entries in this compilation are indexed for access by title and abstract, secondary report number, personal author, subject, NRC organization for staff and international agreements, contractor, international organization, and licensed facility

  1. Computers in engineering. 1988

    International Nuclear Information System (INIS)

    Tipnis, V.A.; Patton, E.M.

    1988-01-01

    These proceedings discuss the following subjects: Knowledge base systems; Computers in designing; uses of artificial intelligence; engineering optimization and expert systems of accelerators; and parallel processing in designing

  2. Proceedings of the Canadian Nuclear Association 35. annual conference

    International Nuclear Information System (INIS)

    Loewer, R.

    1995-01-01

    The proceedings of the thirty-fifth annual conference of the Canadian Nuclear Association contain 22 papers organized in the following sessions: update on the status of the Canadian nuclear industry, non-proliferation and related political issues, nuclear waste disposal perspectives, regulatory issues, trade development, new markets, economics of nuclear electricity, public acceptance or rejection. In addition one paper from a CNA/CNS special session on nuclear diffraction is included. The individual papers have been abstracted separately

  3. Workshop on automated beam steering and shaping (ABS). Proceedings

    Energy Technology Data Exchange (ETDEWEB)

    Lindroos, M [ed.

    1999-09-10

    A workshop on Automated Beam Steering and Shaping (ABS) was held at CERN in December 1998. This was the first workshop dedicated to this subject. The workshop had two major goals: to review the present status of ABS algorithms and systems around the world and to create a worldwide ABS community. These proceedings contain summary reports from all sessions, contributions from several presentations held at the workshop, and a complete set of abstracts for all presentations. (orig.)

  4. Workshop on automated beam steering and shaping (ABS). Proceedings

    International Nuclear Information System (INIS)

    Lindroos, M.

    1999-01-01

    A workshop on Automated Beam Steering and Shaping (ABS) was held at CERN in December 1998. This was the first workshop dedicated to this subject. The workshop had two major goals: to review the present status of ABS algorithms and systems around the world and to create a worldwide ABS community. These proceedings contain summary reports from all sessions, contributions from several presentations held at the workshop, and a complete set of abstracts for all presentations. (orig.)

  5. 12 CFR 1102.27 - Computing time.

    Science.gov (United States)

    2010-01-01

    ... 12 Banks and Banking 7 2010-01-01 2010-01-01 false Computing time. 1102.27 Section 1102.27 Banks... for Proceedings § 1102.27 Computing time. (a) General rule. In computing any period of time prescribed... time begins to run is not included. The last day so computed is included, unless it is a Saturday...

  6. 1996 CERN school of computing. Proceedings

    Energy Technology Data Exchange (ETDEWEB)

    Vandoni, C E [ed.

    1996-11-19

    The 1996 CERN School of Computing covered several main topics. In the field of imaging, there were contributions on image processing and handling, computer vision, image analysis and filtering (including neural networks), as well as applications of these methods in high-energy physics data analysis and in the restoration of old films. Distributed operating systems were featured, and parallel and high-performance computing were treated both from the hardware point of view and by discussing the development of tailored programming languages. The construction of detectors for the future Large Hadron Collider will be huge and complex projects. Engineering software tools for the design and simulation of these detectors were described, using some examples from the motor industry as well as experience gained from the particle physics field itself. Triggering and Data Acquisition for these experiments was another theme, and included impressions from an earlier workshop which had examined how these data can be effectively analysed when the teams are distributed all over the world. Important in this respect will be the networking capabilities of the future worldwide information highways, which was the subject of a further talk. (orig.).

  7. 1996 CERN school of computing. Proceedings

    International Nuclear Information System (INIS)

    Vandoni, C.E.

    1996-01-01

    The 1996 CERN School of Computing covered several main topics. In the field of imaging, there were contributions on image processing and handling, computer vision, image analysis and filtering (including neural networks), as well as applications of these methods in high-energy physics data analysis and in the restoration of old films. Distributed operating systems were featured, and parallel and high-performance computing were treated both from the hardware point of view and by discussing the development of tailored programming languages. The construction of detectors for the future Large Hadron Collider will be huge and complex projects. Engineering software tools for the design and simulation of these detectors were described, using some examples from the motor industry as well as experience gained from the particle physics field itself. Triggering and Data Acquisition for these experiments was another theme, and included impressions from an earlier workshop which had examined how these data can be effectively analysed when the teams are distributed all over the world. Important in this respect will be the networking capabilities of the future worldwide information highways, which was the subject of a further talk. (orig.)

  8. The Conversion of Cardiovascular Conference Abstracts to Publications

    DEFF Research Database (Denmark)

    Fosbøl, Emil L.; Fosbøl, Philip Loldrup; Harrington, Robert A.

    2012-01-01

    a systematic and automated evaluation of rates, timing, and correlates of publication from scientific abstracts presented at 3 major cardiovascular conferences. Methods and Results—Using an automated computer algorithm, we searched the ISI Web of Science to identify peer-reviewed publications of abstracts......–3, 2.5–5.8) for ESC (P for difference between groups 0.01). Clinical science and population science were less likely to be published compared with basic science. Conclusions—One third of abstracts were translated into publications by 2 years after presentation and less than one half by 5 years after...

  9. Similarities and Differences Between Atomic Nuclei and Clusters: Toward a Unified Development of Cluster Science. Proceedings

    International Nuclear Information System (INIS)

    Abe, Y.; Arai, I.; Lee, S.; Yabana, K.

    1998-01-01

    These proceedings represent papers presented at the symposium on Similarities and Differences Between Atomic Nuclei and Clusters held in Tsukuba, Japan in July, 1997. A wide range of topics were covered including the quantum and thermal properties of free clusters to high energy impacts of clusters on solid surfaces. Fullerenes and carbon clusters chemistry was discussed in some detail. This symposium brought together scientists from many disciplines: nuclear and solid state physicists, chemists, and material scientists. There are 62 papers in the proceedings and 3 have been abstracted for the Energy Science and Technology database

  10. SOLTECH 92 proceedings: Solar Process Heat Program

    Energy Technology Data Exchange (ETDEWEB)

    1992-03-01

    This document is a limited Proceedings, documenting the presentations given at the symposia conducted by the US Department of Energy's (DOE) Solar Industrial Program and Solar Thermal Electrical Program at SOLTECH92. The SOLTECH92 national solar energy conference was held in Albuquerque, New Mexico during the period February 17--20, 1992. The National Renewable Energy Laboratory manages the Solar Industrial Program; Sandia National Laboratories (Albuquerque) manages the Solar Thermal Electric Program. The symposia sessions were as follows: (1) Solar Industrial Program and Solar Thermal Electric Program Overviews, (2) Solar Process Heat Applications, (3) Solar Decontamination of Water and Soil; (4) Solar Building Technologies, (5) Solar Thermal Electric Systems, (6) PV Applications and Technologies. For each presentation given in these symposia, these Proceedings provide a one- to two-page abstract and copies of the viewgraphs and/or 35mm slides utilized by the speaker. Some speakers provided additional materials in the interest of completeness. The materials presented in this document were not subjected to a peer review process.

  11. Proceedings of the 8. International symposium on the natural radiation environment (NRE-VIII). Book of abstracts

    International Nuclear Information System (INIS)

    2007-01-01

    Theoretical and experimental papers are presented in these proceedings covering the following subjects: cosmic radiation, solar activity and cosmogenic radionuclides - natural radiation from space, high background areas - life in naturally elevated radiation areas, radon and thoron - indoors and outdoors, other terrestrial natural radionuclides - natural radioactivity, NORM/TENORM, including depleted uranium - technologically enhanced natural radioactivity, dosimetry and health risk assessment biological effects of natural radioactivity , exposures of biota to natural radioactivity, metrology, modelling and epidemiology, BSS and legal issues - regulating natural radioactivity, RDD (dirty bombs and terrorism - terrorism and natural radioactive material, non-ionising radiation (NIR) an the NRE 11), geochronology plus natural radioactivity and the theory of time

  12. Proceedings of the flat-plate solar array project workshop on low-cost polysilicon for terrestrial photovoltaic solar-cell applications

    Energy Technology Data Exchange (ETDEWEB)

    1986-02-01

    Separate abstracts were prepared for 21 papers in this workshop proceedings. Topics covered include: polysilicon material requirements; economics; process developments in the USA and internationally; and the polysilicon market and forecasts. (LEW)

  13. Proceedings of the 1980 UCC-ND and GAT waste management seminar

    Energy Technology Data Exchange (ETDEWEB)

    None

    1980-12-01

    Papers and/or abstracts of 42 papers presented at this waste management seminar are included in this volume. Separate abstracts of 27 papers have been prepared for inclusion in the Energy Data Base (EDB). There are 8 papers represented in the proceedings by abstract only and are not included separately in EDB. The subjects covered in these abstracts include: requirements and compliance for the issuance of the second round NPDES permit for the Portsmouth Plant; performance of the pollution abatement facilities at the Portsmouth Plant; the impact of the Kentucky hazardous waste regulations on the Paducah Plant; control of R-114 losses at the gaseous diffusion plants; innovative alternatives to pollution control projects; evaluating the fate and potential radiological impacts of Technetium-99 released to the environment; and technical support interfacing for the FY-1981 line item project control of water pollution and solid wastes at the Paducah Plant. There are 15 other papers which were previously input to the EDB. (RJC)

  14. Proceedings of the 1980 UCC-ND and GAT waste management seminar

    International Nuclear Information System (INIS)

    1980-12-01

    Papers and/or abstracts of 42 papers presented at this waste management seminar are included in this volume. Separate abstracts of 27 papers have been prepared for inclusion in the Energy Data Base (EDB). There are 8 papers represented in the proceedings by abstract only and are not included separately in EDB. The subjects covered in these abstracts include: requirements and compliance for the issuance of the second round NPDES permit for the Portsmouth Plant; performance of the pollution abatement facilities at the Portsmouth Plant; the impact of the Kentucky hazardous waste regulations on the Paducah Plant; control of R-114 losses at the gaseous diffusion plants; innovative alternatives to pollution control projects; evaluating the fate and potential radiological impacts of Technetium-99 released to the environment; and technical support interfacing for the FY-1981 line item project control of water pollution and solid wastes at the Paducah Plant. There are 15 other papers which were previously input to the EDB

  15. Proceedings of the International Computer Music Conference

    DEFF Research Database (Denmark)

    It is a pleasure to welcome everyone to the 2007 International Computer Music Conference, hosted in Copenhagen from the 27th to the 31st of August. ICMC2007 is organized by Re:New - Digital arts forum, in collaboration with the International Computer Music Association and Medialogy at Aalborg Uni...... and interactive music and circus. The cross-disciplinary nature of ICMC is well represented by the Medialogy education, a new initiative started in Esbjerg and now well established in Copenhagen.......It is a pleasure to welcome everyone to the 2007 International Computer Music Conference, hosted in Copenhagen from the 27th to the 31st of August. ICMC2007 is organized by Re:New - Digital arts forum, in collaboration with the International Computer Music Association and Medialogy at Aalborg...... efficient in providing feedback and comments on the numerous papers submitted. The response to the call for participation was very positive. We received 290 paper submissions and 554 music submissions. We are extremely grateful for the interest and support from around the world. It is an honor to welcome...

  16. Is searching full text more effective than searching abstracts?

    Science.gov (United States)

    Lin, Jimmy

    2009-02-03

    With the growing availability of full-text articles online, scientists and other consumers of the life sciences literature now have the ability to go beyond searching bibliographic records (title, abstract, metadata) to directly access full-text content. Motivated by this emerging trend, I posed the following question: is searching full text more effective than searching abstracts? This question is answered by comparing text retrieval algorithms on MEDLINE abstracts, full-text articles, and spans (paragraphs) within full-text articles using data from the TREC 2007 genomics track evaluation. Two retrieval models are examined: bm25 and the ranking algorithm implemented in the open-source Lucene search engine. Experiments show that treating an entire article as an indexing unit does not consistently yield higher effectiveness compared to abstract-only search. However, retrieval based on spans, or paragraphs-sized segments of full-text articles, consistently outperforms abstract-only search. Results suggest that highest overall effectiveness may be achieved by combining evidence from spans and full articles. Users searching full text are more likely to find relevant articles than searching only abstracts. This finding affirms the value of full text collections for text retrieval and provides a starting point for future work in exploring algorithms that take advantage of rapidly-growing digital archives. Experimental results also highlight the need to develop distributed text retrieval algorithms, since full-text articles are significantly longer than abstracts and may require the computational resources of multiple machines in a cluster. The MapReduce programming model provides a convenient framework for organizing such computations.

  17. Communication and Agreement Abstractions for Fault-Tolerant Asynchronous Distributed Systems

    CERN Document Server

    Raynal, Michel

    2010-01-01

    Understanding distributed computing is not an easy task. This is due to the many facets of uncertainty one has to cope with and master in order to produce correct distributed software. Considering the uncertainty created by asynchrony and process crash failures in the context of message-passing systems, the book focuses on the main abstractions that one has to understand and master in order to be able to produce software with guaranteed properties. These fundamental abstractions are communication abstractions that allow the processes to communicate consistently (namely the register abstraction

  18. Regulatory and technical reports (abstract index journal). Compilation for second quarter 1986, April-June, 1986. Volume 11, No. 2

    International Nuclear Information System (INIS)

    1986-07-01

    This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors, as well as proceedings of conferences and workshops. The entries in the compilation are indexed for access by title and abstract, contractor report number, personal author, subject, NRC organization, contractor, and licensed facility

  19. An assessment of Internet Abuse in Nigeria Abstract

    African Journals Online (AJOL)

    Anambra State Nigeria, Email : drhcinyiama@gmail.com Phone: 08034701121. Abstract ... Is the addiction paradigm appropriate for Internet use? Is ... proposed a global network of computers in. 1962 ... biggest reference library, social media.

  20. Application of computational intelligence to biology

    CERN Document Server

    Sekhar, Akula

    2016-01-01

    This book is a contribution of translational and allied research to the proceedings of the International Conference on Computational Intelligence and Soft Computing. It explains how various computational intelligence techniques can be applied to investigate various biological problems. It is a good read for Research Scholars, Engineers, Medical Doctors and Bioinformatics researchers.

  1. Proceedings of the AESOP conference. [Association for Energy Systems, Operations, and Programming, Amarillo, Texas, April 18--20, 1978

    Energy Technology Data Exchange (ETDEWEB)

    None

    1978-07-01

    Individual abstracts were prepared for 22 of the items in these proceedings. The remaining two have already been cited in ERA, and can be located by referring to CONF-780423- in the Report Number Index. (RWR)

  2. 1988 CERN school of computing

    International Nuclear Information System (INIS)

    Verkerk, C.

    1989-01-01

    These Proceedings contain written versions of most of the lectures delivered at the 1988 CERN School of Computing. Five lecture series concerned different aspects of parallel and vector processing: advanced computer architectures; parallel architectures for neurocomputers; Occam and transputers; vectorization of Monte Carlo code; and vectorization of high-energy physics code. Software engineering was the topic of three series of lectures: formal methods for program design; introduction to software engineering; and tutorial lectures on structured analysis and structured design. Lectures on data-acquisition and recording were followed by lectures on new techniques for data analysis in high-energy physics. Computer-assisted design of electronic systems, and silicon compilation and design synthesis for digital systems, were the topic of two other, closely related, lecture series. Lectures on accelerator controls and on robotics are also recorded in these Proceedings. Various other aspects of computing were covered in lectures on high-speed networks document preparation systems, interpersonal communication using computers, and on Fortran 8x. Two general lectures gave an introduction to high-energy physics at CERN. (orig.)

  3. Control-flow analysis of function calls and returns by abstract interpretation

    DEFF Research Database (Denmark)

    Midtgaard, Jan; Jensen, Thomas P.

    2009-01-01

    We derive a control-flow analysis that approximates the interprocedural control-flow of both function calls and returns in the presence of first-class functions and tail-call optimization. In addition to an abstract environment, our analysis computes for each expression an abstract control stack......, effectively approximating where function calls return across optimized tail calls. The analysis is systematically calculated by abstract interpretation of the stack-based CaEK abstract machine of Flanagan et al. using a series of Galois connections. Abstract interpretation provides a unifying setting in which...

  4. Proceedings of condensed papers on alternate energy sources

    Energy Technology Data Exchange (ETDEWEB)

    Veziroglu, T.N. (ed.)

    1979-01-01

    The conference covers the results of research and developments which have taken place during the last 2 years. It includes sessions on solar energy, ocean thermal energy, wind energy, hydro power, nuclear breeders and nuclear fusion, synthetic fuels from coal or waste, hydrogen production and uses. The volume of the Proceedings presents the papers and lectures in condensed format grouped by their subjects under 40 technical sessions. Condensed papers are presented for the 336 presentations; abstracts have previously appeared in the DOE Energy Data Base for 33 of the full-length papers.

  5. Proceedings of workshop on 'future in HEP computing'

    International Nuclear Information System (INIS)

    Karita, Yukio; Amako, Katsuya; Watase, Yoshiyuki

    1993-12-01

    The workshop was held on March 11 and 12, 1993, at the National Laboratory for High Energy Physics (KEK). The large flow from the conventional system centering around large versatile computers to the down-sizing taking distributed processing systems in it is formed, but its destination is not yet seen. As the concrete themes of 'future in HEP computing', problems toward down-sizing and the approach, future perspective of the networks, and adaptation of software engineering and pointing to object were taken up. At the workshop, lectures were given on requirements in HEP computing, possible solutions from Hitachi and Fujitsu, and network computing with work-stations regarding down-sizing and HEP computing; approaches in INS and KEK regarding future computing system in HEP laboratories; user requirement for future network, network service available in 1995-2005, multi-media communication and network protocols regarding future networks; object-oriented approach for software development, OOP for real time data acquisition and accelerator control; ProdiG activities and future of FORTRAN, F90 and HPF regarding OOP and physics, and trends in software development methodology. (K.I.)

  6. Theoretical Computer Science

    DEFF Research Database (Denmark)

    2002-01-01

    The proceedings contains 8 papers from the Conference on Theoretical Computer Science. Topics discussed include: query by committee, linear separation and random walks; hardness results for neural network approximation problems; a geometric approach to leveraging weak learners; mind change...

  7. Regulatory and technical reports (abstract index journal): Compilation for first quarter 1996, January--March. Volume 21, Number 1

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    1996-06-01

    This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors, proceedings of conferences and workshops, grants, and international agreement reports. The entries in this compilation are indexed for access by title and abstract, secondary report number, personal author, subject, NRC organization for staff and international agreements, contractor, international organization, and licensed facility.

  8. Regulatory and technical reports (abstract index journal): Compilation for first quarter 1996, January--March. Volume 21, Number 1

    International Nuclear Information System (INIS)

    1996-06-01

    This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors, proceedings of conferences and workshops, grants, and international agreement reports. The entries in this compilation are indexed for access by title and abstract, secondary report number, personal author, subject, NRC organization for staff and international agreements, contractor, international organization, and licensed facility

  9. Emerging Trends in Computing, Informatics, Systems Sciences, and Engineering

    CERN Document Server

    Elleithy, Khaled

    2013-01-01

    Emerging Trends in Computing, Informatics, Systems Sciences, and Engineering includes a set of rigorously reviewed world-class manuscripts addressing and detailing state-of-the-art research projects in the areas of  Industrial Electronics, Technology & Automation, Telecommunications and Networking, Systems, Computing Sciences and Software Engineering, Engineering Education, Instructional Technology, Assessment, and E-learning. This book includes the proceedings of the International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 2010). The proceedings are a set of rigorously reviewed world-class manuscripts presenting the state of international practice in Innovative Algorithms and Techniques in Automation, Industrial Electronics and Telecommunications.

  10. Abstracts

    International Nuclear Information System (INIS)

    1989-09-01

    The proceedings contain 106 papers of which 2 fall under the INIS Scope. One concerns seismic risk assessment at radioactive waste repositories in the U.S., the other concerns the possibility of predicting earthquakes from changes in radon 222 levels in selected ground water springs of northern Italy. (M.D.)

  11. Proceedings of computational methods in materials science

    International Nuclear Information System (INIS)

    Mark, J.E. Glicksman, M.E.; Marsh, S.P.

    1992-01-01

    The Symposium on which this volume is based was conceived as a timely expression of some of the fast-paced developments occurring throughout materials science and engineering. It focuses particularly on those involving modern computational methods applied to model and predict the response of materials under a diverse range of physico-chemical conditions. The current easy access of many materials scientists in industry, government laboratories, and academe to high-performance computers has opened many new vistas for predicting the behavior of complex materials under realistic conditions. Some have even argued that modern computational methods in materials science and engineering are literally redefining the bounds of our knowledge from which we predict structure-property relationships, perhaps forever changing the historically descriptive character of the science and much of the engineering

  12. Proceedings of the High Performance Embedded Computing Workshop (HPEC 2006) (10th). Held in Lexington, Massachusetts on September 19-21, 2006 (CD-ROM)

    National Research Council Canada - National Science Library

    Kepner, Jeremy

    2007-01-01

    ...: 1 CD-ROM; 4 3/4 in.; 78.3 MB. ABSTRACT: The High-Performance Embedded Computing (HPEC) technical committee announced the tenth annual HPEC Workshop held in September 2006 at MIT Lincoln Laboratory in Lexington, MA...

  13. Proceedings of the 5. joint Russian-American computational mathematics conference

    International Nuclear Information System (INIS)

    1997-01-01

    These proceedings contain a record of the talks presented and papers submitted by participants. The conference participants represented three institutions from the United States, Sandia National Laboratories (SNL), Los Alamos National Laboratory (LANL), Lawrence Livermore National Laboratory (LLNL), and two from Russia, Russian Federal Nuclear Center--All Russian Research Institute of Experimental Physics (RFNC-VNIIEF/Arzamas-16), and Russian Federal Nuclear Center--All Russian Research Institute of Technical Physics (RFNC-VNIITF/Chelyabinsk-70). The presentations and papers cover a wide range of applications from radiation transport to materials. Selected papers have been indexed separately for inclusion in the Energy Science and Technology Database

  14. Proceedings of the 5. joint Russian-American computational mathematics conference

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    1997-12-31

    These proceedings contain a record of the talks presented and papers submitted by participants. The conference participants represented three institutions from the United States, Sandia National Laboratories (SNL), Los Alamos National Laboratory (LANL), Lawrence Livermore National Laboratory (LLNL), and two from Russia, Russian Federal Nuclear Center--All Russian Research Institute of Experimental Physics (RFNC-VNIIEF/Arzamas-16), and Russian Federal Nuclear Center--All Russian Research Institute of Technical Physics (RFNC-VNIITF/Chelyabinsk-70). The presentations and papers cover a wide range of applications from radiation transport to materials. Selected papers have been indexed separately for inclusion in the Energy Science and Technology Database.

  15. Sakharov readings 2010: Environmental problems of the XXI century. Proceedings of the 10 international scientific conference. Part 1

    International Nuclear Information System (INIS)

    Kundas, S.P.; Mel'nov, S.B.; Poznyak, S.S.

    2010-05-01

    Proceeding includes materials of reports of 10-ts international scientific conference. Part 1e 'Sakharov readings 2010: Environmental problems of XXI century', which took place 20-21 of May 2010 in the International Sakharov Environmental University. The first part of the proceedings continues abstracts about social-ecological and ecology-ethical problems, medical ecology, biological ecology, biomonitoring, bioindication and bioremediation. Materials of the conference intend on wide area of the specialists in ecology and adjacent sciences, teachers, post-graduate students and students of universities and colleges.

  16. Preface (to: Advances in Computer Entertainment)

    NARCIS (Netherlands)

    Romão, Teresa; Nijholt, Antinus; Romão, Teresa; Reidsma, Dennis

    2012-01-01

    These are the proceedings of the 9th International Conference on Advances in Computer Entertainment ACE 2012). ACE has become the leading scientific forum for dissemination of cutting-edge research results in the area of entertainment computing. Interactive entertainment is one of the most vibrant

  17. Distributed Problem Solving: Adaptive Networks with a Computer Intermediary Resource. Intelligent Executive Computer Communication

    Science.gov (United States)

    1991-06-01

    Proceedings of The National Conference on Artificial Intelligence , pages 181-184, The American Association for Aritificial Intelligence , Pittsburgh...Intermediary Resource: Intelligent Executive Computer Communication John Lyman and Carla J. Conaway University of California at Los Angeles for Contracting...Include Security Classification) Interim Report: Distributed Problem Solving: Adaptive Networks With a Computer Intermediary Resource: Intelligent

  18. Proceedings of the seventeenth national symposium on solid state nuclear track detectors and their applications: abstracts and souvenir

    International Nuclear Information System (INIS)

    Patel, Gaurang; Kishore, Sangeeta; Patel, Purvi

    2011-10-01

    The proceedings of the seventeenth national symposium on solid state nuclear track detectors and their applications (SSNTD-17) contains a number of research papers on different areas of solid state nuclear track detectors. It provides a common scientific platform to the scientists for sharing their knowledge and reviews the present state-of-art and advancements in the field of solid state nuclear track detectors and their applications and also some aspects of nuclear energy. Papers relevant to INIS are indexed separately

  19. Abstract Level Parallelization of Finite Difference Methods

    Directory of Open Access Journals (Sweden)

    Edwin Vollebregt

    1997-01-01

    Full Text Available A formalism is proposed for describing finite difference calculations in an abstract way. The formalism consists of index sets and stencils, for characterizing the structure of sets of data items and interactions between data items (“neighbouring relations”. The formalism provides a means for lifting programming to a more abstract level. This simplifies the tasks of performance analysis and verification of correctness, and opens the way for automaticcode generation. The notation is particularly useful in parallelization, for the systematic construction of parallel programs in a process/channel programming paradigm (e.g., message passing. This is important because message passing, unfortunately, still is the only approach that leads to acceptable performance for many more unstructured or irregular problems on parallel computers that have non-uniform memory access times. It will be shown that the use of index sets and stencils greatly simplifies the determination of which data must be exchanged between different computing processes.

  20. EBS Radionuclide Transport Abstraction

    International Nuclear Information System (INIS)

    Schreiner, R.

    2001-01-01

    elements of the TSPA-SR model. The scope of the EBS RT Abstraction also does not include computational or numerical procedures for solving the process-level equations; rather, it identifies the important processes that must then be evaluated with process-level or component-level software using analytical or numerical solutions

  1. Medical imaging and augmented reality. Proceedings

    International Nuclear Information System (INIS)

    Dohi, Takeyoshi; Sakuma, Ichiro; Liao, Hongen

    2008-01-01

    This book constitutes the refereed proceedings of the 4th International Workshop on Medical Imaging and Augmented Reality, MIAR 2008, held in Tokyo, Japan, in August 2008. The 44 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 90 submissions. The papers are organized in topical sections on surgical planning and simulation, medical image computing, image analysis, shape modeling and morphometry, image-guided robotics, image-guided intervention, interventional imaging, image registration, augmented reality, and image segmentation. (orig.)

  2. Medical imaging and augmented reality. Proceedings

    Energy Technology Data Exchange (ETDEWEB)

    Dohi, Takeyoshi [Tokyo Univ. (Japan). Dept. of Mechano-Informatics; Sakuma, Ichiro [Tokyo Univ. (Japan). Dept. of Precision Engineering; Liao, Hongen (eds.) [Tokyo Univ. (Japan). Dept. of Bioengineering

    2008-07-01

    This book constitutes the refereed proceedings of the 4th International Workshop on Medical Imaging and Augmented Reality, MIAR 2008, held in Tokyo, Japan, in August 2008. The 44 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 90 submissions. The papers are organized in topical sections on surgical planning and simulation, medical image computing, image analysis, shape modeling and morphometry, image-guided robotics, image-guided intervention, interventional imaging, image registration, augmented reality, and image segmentation. (orig.)

  3. Proceedings of 7. international scientific conference 'Sakharov readings 2007: Ecological problems of XXI century'

    International Nuclear Information System (INIS)

    Kundas, S.P.; Mel'nov, S.B.; Poznyak, S.S.

    2007-05-01

    Abstracts of the seventh international scientific conference 'Sakharov readings 2007: Ecological problems of XXI century', which was held in the International A. Sakharov environmental university, contents materials on topics: socio-ecological problems, medical ecology, biomonitoring and bioindication, biological ecology. The proceedings are intended for specialists in field of ecology and related sciences, teachers, students and post-graduate students. (authors)

  4. In celebration of the 60th anniversary proceedings of the KSME 2005 spring annual meeting

    International Nuclear Information System (INIS)

    2005-01-01

    This proceedings contains articles of 2005 spring annual meeting of the Korean Society of Mechanical Engineers. It was held on May 25-27, 2005 in Busan, Korea. This proceedings are comprised of 21 sessions. The main subject titles of session are as follows: nondestructive evaluation, fatigue evaluation, computation mechanics, CAE design, vibration, instrumentation, fabrication, optimum design, heat exchanger, fluid mechanics, nano fluid, plasma, heat transfer analysis, energy (Yi, J. H.)

  5. Proceedings of the Canadian Nuclear Association 28. annual conference held in Winnipeg, Manitoba, June 12-15, 1988

    International Nuclear Information System (INIS)

    1988-01-01

    The proceedings of the 28. CNA (Canadian Nuclear Association) conference contain 28 papers under the following headings: power reactors; fuel cycles; nuclear power and public understanding; future trends; and, applications of nuclear technology. CANDU reactors are emphasized. The individual papers have been abstracted separately

  6. Regulatory and technical reports (abstract index journal): Compilation for second quarter 1997 April--June. Volume 22, Number 2

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    1997-10-01

    This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors; proceedings of conferences and workshops; as well as international agreement reports. The entries in this compilation are indexed for access by title and abstract, secondary report number, personal author, subject, NRC organization for staff and international agreements, contractor, international organization, and licensed facility.

  7. Regulatory and technical reports: Abstract index journal. Volume 20, No. 3, Compilation for third quarter 1995, July--September

    International Nuclear Information System (INIS)

    1996-01-01

    This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors; proceedings of conferences and workshops; as well as international agreement reports. The entries in this compilation are indexed for access by title and abstract, secondary report number, personal author, subject, NRC organization for staff and international agreements, contractor, international organization, and licensed facility

  8. Regulatory and technical reports: Abstract index journal. Volume 20, No. 3, Compilation for third quarter 1995, July--September

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    1996-01-01

    This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors; proceedings of conferences and workshops; as well as international agreement reports. The entries in this compilation are indexed for access by title and abstract, secondary report number, personal author, subject, NRC organization for staff and international agreements, contractor, international organization, and licensed facility.

  9. Regulatory and technical reports (abstract index journal): Compilation for second quarter 1997 April - June. Volume 22, Number 2

    International Nuclear Information System (INIS)

    1997-10-01

    This journal includes all formal reports in the NUREG series prepared by the NRC staff and contractors; proceedings of conferences and workshops; as well as international agreement reports. The entries in this compilation are indexed for access by title and abstract, secondary report number, personal author, subject, NRC organization for staff and international agreements, contractor, international organization, and licensed facility

  10. Center for Computing Research Summer Research Proceedings 2015.

    Energy Technology Data Exchange (ETDEWEB)

    Bradley, Andrew Michael [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Parks, Michael L. [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States)

    2015-12-18

    The Center for Computing Research (CCR) at Sandia National Laboratories organizes a summer student program each summer, in coordination with the Computer Science Research Institute (CSRI) and Cyber Engineering Research Institute (CERI).

  11. 34th international annual meeting of the German Society of Nuclear Medicine, 17-20 April 1996, Muenster, Germany. Abstracts

    International Nuclear Information System (INIS)

    Anon.

    1996-01-01

    The theme of the annual meeting was all aspects of nuclear medicine applications for diagnosis and therapy, with with emphasis being placed this year on diagnostic modalities such as scintiscanning, PET and SPECT. The conference proceedings presents the abstracts of 30 lectures, 192 oral prsentations, and 177 poster presentations, accompanied by an author index. (VHE) [de

  12. Enhanced delegated computing using coherence

    Science.gov (United States)

    Barz, Stefanie; Dunjko, Vedran; Schlederer, Florian; Moore, Merritt; Kashefi, Elham; Walmsley, Ian A.

    2016-03-01

    A longstanding question is whether it is possible to delegate computational tasks securely—such that neither the computation nor the data is revealed to the server. Recently, both a classical and a quantum solution to this problem were found [C. Gentry, in Proceedings of the 41st Annual ACM Symposium on the Theory of Computing (Association for Computing Machinery, New York, 2009), pp. 167-178; A. Broadbent, J. Fitzsimons, and E. Kashefi, in Proceedings of the 50th Annual Symposium on Foundations of Computer Science (IEEE Computer Society, Los Alamitos, CA, 2009), pp. 517-526]. Here, we study the first step towards the interplay between classical and quantum approaches and show how coherence can be used as a tool for secure delegated classical computation. We show that a client with limited computational capacity—restricted to an XOR gate—can perform universal classical computation by manipulating information carriers that may occupy superpositions of two states. Using single photonic qubits or coherent light, we experimentally implement secure delegated classical computations between an independent client and a server, which are installed in two different laboratories and separated by 50 m . The server has access to the light sources and measurement devices, whereas the client may use only a restricted set of passive optical devices to manipulate the information-carrying light beams. Thus, our work highlights how minimal quantum and classical resources can be combined and exploited for classical computing.

  13. Abstracts of the European Association of Nuclear Medicine congress

    International Nuclear Information System (INIS)

    Anon.

    1989-01-01

    The abstracts of the 240 lectures are presented. They are dealing with the following topics: Cardiology (49 papers), oncology (32 papers), NMR imaging (12 papers), radiopharmaceuticals (17 papers), radioimmunoassay (18 papers), prediction (11 papers), neurology (22 papers), bone (13 papers), endocrinology (5 papers), gastroenterology (11 papers), nephrology (5 papers), instrumentation (6 papers), blood vessels (5 papers), pulmonary diseases (6 papers), computers and data analysis (8 papers), immunoimaging (8 papers). Furthermore, the abstracts of the 540 poster presentations are contained dealing with the following fields: Cardiology (117 posters), bone (28), pulmonary hematology (24), neurology (44), nephrology (30), endocrinology (35), pediatrics (13), gastroenterology (35), oncology (52), immunology (18), computers and data analysis (31), NMR instrumentation (24), dosimetry (17), and radiopharmaceuticals (50). (MG)

  14. Proceedings of solar energy storage options. Volume I. An intensive workshop on thermal energy storage for solar heating and cooling

    Energy Technology Data Exchange (ETDEWEB)

    None

    1979-01-01

    Separate abstracts were prepared for the 28 papers presented. Panel chairmen's summaries are included; the complete panel reports will be published in Volume II of the Solar Energy Storage Options Workshop proceedings. (WHK)

  15. Distributed Processing in Cloud Computing

    OpenAIRE

    Mavridis, Ilias; Karatza, Eleni

    2016-01-01

    Proceedings of the First PhD Symposium on Sustainable Ultrascale Computing Systems (NESUS PhD 2016) Timisoara, Romania. February 8-11, 2016. Cloud computing offers a wide range of resources and services through the Internet that can been used for various purposes. The rapid growth of cloud computing has exempted many companies and institutions from the burden of maintaining expensive hardware and software infrastructure. With characteristics like high scalability, availability ...

  16. Antarctica: A Keystone in a Changing World--Online Proceedings for the Tenth International Symposium on Antarctic Earth Sciences. Santa Barbara, California, U.S.A.--August 26 to September 1, 2007

    Science.gov (United States)

    Cooper, Alan; Raymond, Carol; ,

    2007-01-01

    short Summary printed in the Symposium Program Booklet and either a short research paper or an extended abstract. The research papers and extended abstracts are compiled in this Online Proceedings and are replicated on a DVD-ROM that is placed in the back of the Tenth ISAES Proceedings Book. The Proceedings Book has printed versions of the keynote talks and an overview paper of the symposium. The short research papers and extended abstracts have been handled differently. Research papers present mature research results and syntheses. They have been peer-reviewed using standard journal procedures. Following revisions and acceptances by co-editors, the papers have been formatted for publication and proofread by authors. Each paper has been assigned a Digital Object Identification (DOI) number and separate html link, and posted online (as part of this USGS Open-File Report series) to ensure open and wide access to the research results. Extended abstracts focus on preliminary research results and have not been peer reviewed. They have had only minimal editorial review and revision. Authors have formatted and proofread their papers. Extended abstracts were not given DOI numbers and are included together in a separate chapter of this online Proceedings. USGS publications staff and Stanford-student editorial assistants indexed and compiled the PDF versions of the short research papers and extended abstracts for inclusion in this online Proceedings. USGS staff created the master DVD-ROM that contains a replica of the Online Proceedings for the Tenth ISAES, and provided the DVD-ROM copies that are included in the Tenth ISAES Proceedings Book published by The National Academies Press in the U.S. A team of more than 25 co-editors coordinated with the numerous authors and peer reviewers in handling the many research papers and extended abstracts that are included herein. Handling the large volume of short papers and extended abstracts, getting most of them onli

  17. Proceedings of the 8. 2007 energy meetings

    International Nuclear Information System (INIS)

    2007-02-01

    The energy meetings is the biggest annual event for French local communities in the energy domain. The public is mainly composed of officials, representatives from local communities, institutions, private organisations and associations. The aim of the meetings is to debate and exchange on the actions to be implemented at the regional scale by local authorities in order to meet the climate and energy challenges of the century. This 2007 edition is organised around 15 workshops. These proceedings brings together the available material: a detailed programme, a detailed description of the workshops, a synthesis of the meetings, and the presentations (slides) given during the workshops with their abstracts

  18. Proceedings of the 1. 1999 energy meetings

    International Nuclear Information System (INIS)

    1999-10-01

    The energy meetings is the biggest annual event for French local communities in the energy domain. The public is mainly composed of officials, representatives from local communities, institutions, private organisations and associations. The aim of the meetings is to debate and exchange on the actions to be implemented at the regional scale by local authorities in order to meet the climate and energy challenges of the century. This first edition of the energy meetings was organised around 4 plenary sessions and 3 workshops. These proceedings brings together the available material: a detailed programme and a synthesis of the workshops, the plenary talks and the abstracts describing each workshop

  19. Influence of proceedings papers on citation impact in seven sub-fields of sustainable energy research 2005–2011

    DEFF Research Database (Denmark)

    Ingwersen, Peter; Larsen, Birger; Garcia-Zorita, J. Carlos

    2014-01-01

    and Wave Energy, Geo-thermal, Bio-fuel and Bio-mass energy ub-fields. The analyses cover peer reviewed research and review articles as well as two kinds of proceeding papers from conferences published 2005–2009 in (a) book series or volumes and (b) special journal issues excluding meeting abstracts cited......This paper analyses the following seven sub-fields of Sustainable Energy Research with respect to the influence of proceedings papers on citation patterns across citing and cited document types, overall sub-field and document type impacts and citedness: the Wind Power, Renewable Energy, Solar...

  20. Sakharov readings 2010: Environmental problems of the XXI century. Proceedings of the 10 international scientific conference. Part 2

    International Nuclear Information System (INIS)

    Kundas, S.P.; Mel'nov, S.B.; Poznyak, S.S.

    2010-05-01

    Proceeding includes materials of reports of 10-ts international scientific conference 'Sakharov readings 2010: Environmental problems of XXI century', which took place 20-21 of May 2010 in the International Sakharov Environmental University. The second part of the proceedings continues abstracts about radioecology and radiation security; ecological informational systems and technologies; ecological monitoring, management and audit; resumption sources of energy and energy-saving technologies; problems of ecological education. Materials of the conference intend on wide area of the specialists in ecology and adjacent sciences, teachers, post-graduate students and students of universities and colleges. (authors)

  1. Crack arrest concepts for failure prevention and life extension. Proceedings

    International Nuclear Information System (INIS)

    Wiesner, C.S.

    1996-01-01

    These proceedings contain the thirteen papers presented at a seminar on crack arrest concepts for failure prevention and life extension. They provide a picture of the current position of crack arrest testing, models and applications, discussion of the relevance of recent research to industrial problems, and an assessment of whether the application of crack arrest models provides additional safety. Separate abstracts have been prepared for seven papers of relevance to the nuclear industry and, in particular, reactor pressure vessels. (UK)

  2. Proceedings of the 1983 civilian radioactive waste management information meeting

    International Nuclear Information System (INIS)

    1984-02-01

    This proceedings document from the 1983 Civilian Radioactive Waste Management Information Meeting serves to highlight developments since the passage of the Nuclear Policy Act of 1982 and reviews program activities necessary to provide for the permanent disposal and storage of commercially generated high-level radioactive waste. Presentations included in this program cover topics concerning interim spent fuel, monitored retrievable storage, geologic repository deployment as well as management of the Nuclear Waste Fund. Individual papers were abstracted for inclusion in the Energy Data Base

  3. Cloud Computing at the Tactical Edge

    Science.gov (United States)

    2012-10-01

    Web Services and Cloud Computing to Create Next-Generation Mobile Applications,” 627-634. Proceedings of the 24th ACM SIGPLAN Conference Companion on...the 1st Workshop on Mobile Middleware. Leuven, Belgium, December 2008. ACM, 2008. [Kumar 2010] Kumar, K. & Lu, Y. “ Cloud Computing for Mobile Users

  4. Apcom 87. Proceedings of the twentieth international symposium on the application of computers and mathematics in the mineral industries V. 2

    International Nuclear Information System (INIS)

    King, R.P.; Barker, I.J.

    1987-01-01

    APCOM symposia provide a medium of exchange of technical expertise and experience for practitioners in the general field of applications of computers, operations research, mathematical and geostatistical techniques in the mineral industries. Contributors represent mine and plant personnel, academic and government or semi-government representatives, and the topics covered range from mining and metallurgical techniques and planning to financial analysis, project valuation, information systems, computer graphics, geostatistics, etc. For the 20th APCOM, the Proceedings have been divided into the three broad categories of mining, metallurgy and geostatistics, and are grouped accordingly into the three published volumes. APCOM '87, the twentieth in this series of international meetings, places major emphasis on the practical application of computers in the workplace to implement the theoretical techniques. Modelling, simulation and process control still seem to attract the major research efforts. Modelling of milling and flotation have a long history but are still active areas for research. Pyrometallurgy, gold recovery, separation processes with distributed partition functions like screening and gravity separation, and electrowinning, are also attracting attention. Computeraided design (CAD) is becoming a lot more usable and available throughout the industry. Process control is at the door of a new era, with the combination of sensor technology, reliable on-plant computers and viable theoretical techniques now becoming available as never before. CAD and process control have also given new impetus to the need to develop and test computer-based models of a wider range of unit operations. APCOM remains the most important forum for the discussion of new developments in the application of computer methods and mathematical techniques in the metallurgical industry

  5. STAIF96: space technology and applications international forum. Proceedings

    International Nuclear Information System (INIS)

    El-Genk, M.S.

    1996-01-01

    These proceedings represent papers presented at the Space Technology and Applications International Forum-STAIF. STAIF-96 hosted four technical conferences sharing the common interest in space exploration, technology, and commercialization. Topics discussed include space station, space transportation, materials processing in space, commercial forum, space power, commercial space ports, microelectronics, automation of robotics-space application, remote sensing, small business innovative research and communications. There were 243 papers presented at the forum, and 138 have been abstracted for the Energy Science and Technology database. STAIF-96 was partly sponsored by the U.S. Department of Energy

  6. Proceedings from the conference on the ecology and management of high-elevation forests in the central and southern Appalachian Mountains

    Science.gov (United States)

    James S. Rentch; Thomas M. Schuler

    2010-01-01

    The proceedings includes 18 peer-reviewed papers and 41 abstracts pertaining to acid deposition and nutrient cycling, ecological classification, forest dynamics, avifauna, wildlife and fisheries, forests pests, climate change, old-growth forest structure, regeneration, and restoration.

  7. Optimal Time-Abstract Schedulers for CTMDPs and Markov Games

    Directory of Open Access Journals (Sweden)

    Markus Rabe

    2010-06-01

    Full Text Available We study time-bounded reachability in continuous-time Markov decision processes for time-abstract scheduler classes. Such reachability problems play a paramount role in dependability analysis and the modelling of manufacturing and queueing systems. Consequently, their analysis has been studied intensively, and techniques for the approximation of optimal control are well understood. From a mathematical point of view, however, the question of approximation is secondary compared to the fundamental question whether or not optimal control exists. We demonstrate the existence of optimal schedulers for the time-abstract scheduler classes for all CTMDPs. Our proof is constructive: We show how to compute optimal time-abstract strategies with finite memory. It turns out that these optimal schedulers have an amazingly simple structure---they converge to an easy-to-compute memoryless scheduling policy after a finite number of steps. Finally, we show that our argument can easily be lifted to Markov games: We show that both players have a likewise simple optimal strategy in these more general structures.

  8. 4th International Conference on Frontiers in Intelligent Computing : Theory and Applications

    CERN Document Server

    Pal, Tandra; Kar, Samarjit; Satapathy, Suresh; Mandal, Jyotsna

    2016-01-01

    The proceedings of the 4th International Conference on Frontiers in Intelligent Computing: Theory and Applications 2015 (FICTA 2015) serves as the knowledge centre not only for scientists and researchers in the field of intelligent computing but also for students of post-graduate level in various engineering disciplines. The book covers a comprehensive overview of the theory, methods, applications and tools of Intelligent Computing. Researchers are now working in interdisciplinary areas and the proceedings of FICTA 2015 plays a major role to accumulate those significant works in one arena. The chapters included in the proceedings inculcates both theoretical as well as practical aspects of different areas like Nature Inspired Algorithms, Fuzzy Systems, Data Mining, Signal Processing, Image processing, Text Processing, Wireless Sensor Networks, Network Security and Cellular Automata. .

  9. 1st International Conference on Computational Advancement in Communication Circuits and Systems

    CERN Document Server

    Dalapati, Goutam; Banerjee, P; Mallick, Amiya; Mukherjee, Moumita

    2015-01-01

    This book comprises the proceedings of 1st International Conference on Computational Advancement in Communication Circuits and Systems (ICCACCS 2014) organized by Narula Institute of Technology under the patronage of JIS group, affiliated to West Bengal University of Technology. The conference was supported by Technical Education Quality Improvement Program (TEQIP), New Delhi, India and had technical collaboration with IEEE Kolkata Section, along with publication partner by Springer. The book contains 62 refereed papers that aim to highlight new theoretical and experimental findings in the field of Electronics and communication engineering including interdisciplinary fields like Advanced Computing, Pattern Recognition and Analysis, Signal and Image Processing. The proceedings cover the principles, techniques and applications in microwave & devices, communication & networking, signal & image processing, and computations & mathematics & control. The proceedings reflect the conference’s emp...

  10. Abstracts of digital computer code packages. Assembled by the Radiation Shielding Information Center. [Radiation transport codes

    Energy Technology Data Exchange (ETDEWEB)

    McGill, B.; Maskewitz, B.F.; Anthony, C.M.; Comolander, H.E.; Hendrickson, H.R.

    1976-01-01

    The term ''code package'' is used to describe a miscellaneous grouping of materials which, when interpreted in connection with a digital computer, enables the scientist--user to solve technical problems in the area for which the material was designed. In general, a ''code package'' consists of written material--reports, instructions, flow charts, listings of data, and other useful material and IBM card decks (or, more often, a reel of magnetic tape) on which the source decks, sample problem input (including libraries of data) and the BCD/EBCDIC output listing from the sample problem are written. In addition to the main code, and any available auxiliary routines are also included. The abstract format was chosen to give to a potential code user several criteria for deciding whether or not he wishes to request the code package. (RWR)

  11. Proceedings of the fourth WVU conference on coal mine electrotechnology

    Energy Technology Data Exchange (ETDEWEB)

    Aldridge, M.D. (ed.)

    1978-10-01

    Thirty-nine papers from the Proceedings have been entered individually into EDB and ERA. Topics covered included mine power systems, mine instrumentation, mine illumination, mine communications, automatic control and monitoring, regulations, power distribution instrumentation, power distribution equipment, electrical systems for mine trolleys, on-line computer control of mines and monitoring using microprocessors. (LTN)

  12. Proceedings of the IAEA consultants' meeting on data requirements for medical radioisotope production

    International Nuclear Information System (INIS)

    Okamoto, K.

    1988-01-01

    The papers presented at the meeting have been grouped in four sessions: General (2 papers), Experimental techniques and status of data (9 papers), Theoretical calculation (3 papers), Compilation and evaluation (5 papers), plus a post-meeting contribution. A separate abstract was prepared for each paper. The summary conclusions and recommendations of the three Working Groups are included in the Proceedings. Refs, figs and tabs

  13. Proceedings of the Conference of the International Group for the Psychology of Mathematics Education (22nd, Stellenbosch, South Africa, July 12-17, 1998.) Volume 4.

    Science.gov (United States)

    Olivier, Alwyn, Ed.; Newstead, Karen, Ed.

    The fourth volume of this proceedings contains 29 full research reports continuing on from Volume 3, 84 short oral communications (abstracts only) and 34 poster presentations (abstracts only). The full papers include: (1) "Beliefs, Teacher Education and the History of Mathematics" (George N. Philippou and Constantinos Christou); (2) "Working Class…

  14. Proceedings of the Fourth Compton Symposium. Proceedings

    International Nuclear Information System (INIS)

    Dermer, C.D.; Strickman, M.S.; Kurfess, J.D.

    1997-01-01

    These proceedings represent the papers presented at the Fourth Compton Symposium held in Williamsburg, Virginia in April, 1997. This symposium gives the latest development in gamma ray astronomy and summarizes the results obtained by the Compton Gamma Ray Observatory. One of the missions of the Observatory has been the study of physical processes taking place in the most dynamic sites in the Universe, including supernovae, novae, pulsars, black holes, active galaxies, and gamma-ray bursts. The energies covered range from hard X-ray to gamma-ray regions from 15 KeV to 30 GeV. The Burst and Transient Experiment (BASTE) measures brightness variations in gamma-ray bursts and solar flares. The Oriented Scintillation Spectroscopy Experiment (OSSE), measures spectral output of astrophysical sources in the 0.05 to 10 MeV range. The Imaging Compton Telescope (COMPTEL) detects gamma-rays and performs sky survey in the energy range 1 to 30 MeV. The Energetic Gamma Ray Experiment Telescope (EGRET) covers the broadest energy range from 20 MeV to 30 GeV. The papers presented result from all of the above. There were 249 papers presented and out of these, 6 have been abstracted for the Energy, Science and Technology database

  15. From abstract to peer-reviewed publication: country matters

    DEFF Research Database (Denmark)

    Fosbol, E.; Fosbøl, Philip Loldrup; Eapen, Z. J.

    2013-01-01

    within 2 years of the conference. Less is known about the relative difference between countries in regards to likelihood of publication. Methods: Using a validated automated computer algorithm, we searched the ISI Web of Science to identify peer-reviewed publications of abstracts presented at the AHA...... observed a significant variation among countries in terms of odds of subsequent publication (Figure). Conclusions: Our results show that conversion of science from an abstract into a peer-reviewed publication varies significantly by country. Local national initiatives should be deployed in order to break...

  16. Proceedings of the conference on frontiers of Quantum Monte Carlo

    International Nuclear Information System (INIS)

    Gubernatis, J.E.

    1986-01-01

    This journal of conference proceedings includes papers on topics such as: computers and science; Quantum Monte Carlo; condensed matter physics (with papers including the statistical error of Green's Function Monte Carlo, a study of Trotter-like approximations, simulations of the Hubbard model, and stochastic simulation of fermions); chemistry (including papers on quantum simulations of aqueous systems, fourier path integral methods, and a study of electron solvation in polar solvents using path integral calculations); atomic molecular and nuclear physics; high-energy physics, and advanced computer designs

  17. Characterization and Metrology for ULSI Technology: 1998 International Conference. Proceedings

    Energy Technology Data Exchange (ETDEWEB)

    Seiler, D.G. [NIST, Gaithersburg, MD 20899 (United States); Diebold, A.C. [SEMATECH, Austin, TX 78741 (United States); Bullis, W.M. [SEMI, Mountain View, CA 94043 (United States); Schaffner, T.J. [Texas Instruments, Dallas, TX 75221 (United States); McDonald, R. [Intel Corp., Santa Clara, CA 95050 (United States); Walters, E.J. [NIST, Gaithersburg, MD 20899 (United States)

    1998-11-01

    These proceedings represent papers presented at the 1998 International Conference on Characterization and Metrology for ULSI Technology (INIST) in March 1998. The Conference reviewed important semiconductor techniques that are crucial to continued advancements in the semiconductor industry. It brought together leaders, scientists, and engineers concerned with all aspects of the technology and characterization techniques for silicon research. The topics covered included front end processes consisting of modeling, materials, gate dielectrics, doping and wafer issues. Interconnects were discussed in detail including deposition technology. Lithography and patterning was also discussed. Finally, packaging/assembly of the integrated circuits and materials characterization including dopant profiling was discussed. The papers provide an effective portrayal of industry characterization needs and point out some of the problems that must be addressed by industry, academia, and government to continue the dramatic progress in semiconductor technology. There were 141 papers included in these proceedings, out of which 9 have been abstracted for the Energy,Science and Technology database.(AIP)

  18. Sakharov readings 2013: environmental problems of the XXI century. Proceedings of the 13 international scientific conference

    International Nuclear Information System (INIS)

    Kundas, S.P.; Poznyak, S.S.; Lysukho, N.A.

    2013-05-01

    The proceeding includes materials of reports of 13-th international scientific conference 'Sakharov readings 2013: Environmental problems of XXI century', which took place 16-17 of May 2013 in the International A. Sakharov Environmental University (Minsk, Belarus). The proceeding continues abstracts about social-ecological and ecology-ethical problems of modern times; education for sustainable development; medical ecology; biological ecology; radiobiology; radioecology and radiation protection; information systems and technologies in ecology and medicine; regional ecological problems; ecological monitoring and management; renewable energy sources and energy efficiency. Materials of the conference intend on wide area of the specialists in ecology and adjacent sciences, teachers, post-graduate students and students of universities and colleges.

  19. Fundamental Particles and Interaction, Frontiers in Contemporary Physics: An International Lecture and Workshop Series at Vanderbilt University. Proceedings

    International Nuclear Information System (INIS)

    Panvini, R.S.; Weiler, T.J.

    1998-01-01

    These proceedings are based on papers given in the plenary sessions, lectures, and oral presentations at the Frontiers in Contemporary Physics: Fundamental Particles and Interactions Conference held in May, 1997 at Vanderbilt University in Tennessee, USA. The papers included in these proceedings cover wide ranging topics in particle physics, including hadron collider physics, electroweak physics, flavor physics, particle astrophysics, quantum chromodynamics and other particle theories etc. The Conference was widely attended. More than 130 participants took part in it; many came from non-US institutions. The full program of the talks can be found in the FCP97 web page at: http:backslash backslash fcp97.vanderbilt.edu backslash-fcp97. There were 19 papers in the proceedings, out of these, 10 have been abstracted for the Energy Science and Technology database

  20. Publication Rates and Inconsistencies of the Abstracts Presented at the National Anatomy Congresses in 2007 and 2008

    Directory of Open Access Journals (Sweden)

    İlke Ali Gürses

    2017-02-01

    Full Text Available Background: Despite significant efforts made for, most abstracts presented during a meeting do not proceed and publish as a manuscript in scientific journals. Aims: To investigate publication rates of national anatomy congresses. Study Design: Descriptive study. Methods: All abstracts presented at two annual meetings in 2007 and 2008 were extracted. PubMed and Google Scholar database search used for publication history. Presentation and study types, publication rates and mean publishing times were evaluated. Inconsistency rates between meeting abstract and final published article were also considered. Results: Among 342 abstracts, 195 (57% were followed by a full-text article. Publication rates for oral and poster presentations were 75% and 52.2%, respectively. The mean publication time was 23.7±23 months. Overall, 89.2% of the articles were published within 5 years. There were no inconsistencies in 50 (25.6% articles, while 145 (74.4% had inconsistencies compared to the abstracts presented at the congress. Getting adequate information for 45 (23.1% articles was not possible. There was no standard reporting format for the abstracts. Conclusion: Our study shows that, overall publication rates for abstracts presented at national anatomy meetings were higher than those presented at national meetings for clinical specialties

  1. Chaos and The Changing Nature of Science and Medicine. Proceedings

    International Nuclear Information System (INIS)

    Herbert, D.E.; Croft, P.; Silver, D.S.; Williams, S.G.; Woodall, M.

    1996-01-01

    These proceedings represent the lectures given at the workshop on chaos and the changing nature of science and medicine. The workshop was sponsored by the University of South Alabama and the American Association of Physicists in Medicine. The topics discussed covered nonlinear dynamical systems, complexity theory, fractals, chaos in biology and medicine and in fluid dynamics. Applications of chaotic dynamics in climatology were also discussed. There were 8 lectures at the workshop and all 8 have been abstracted for the Energy Science and Technology database

  2. Proceedings of the 2011 2nd International Congress on Computer Applications and Computational Science

    CERN Document Server

    Nguyen, Quang

    2012-01-01

    The latest inventions in computer technology influence most of human daily activities. In the near future, there is tendency that all of aspect of human life will be dependent on computer applications. In manufacturing, robotics and automation have become vital for high quality products. In education, the model of teaching and learning is focusing more on electronic media than traditional ones. Issues related to energy savings and environment is becoming critical.   Computational Science should enhance the quality of human life,  not only solve their problems. Computational Science should help humans to make wise decisions by presenting choices and their possible consequences. Computational Science should help us make sense of observations, understand natural language, plan and reason with extensive background knowledge. Intelligence with wisdom is perhaps an ultimate goal for human-oriented science.   This book is a compilation of some recent research findings in computer application and computational sci...

  3. NIC symposium 2010. Proceedings

    Energy Technology Data Exchange (ETDEWEB)

    Muenster, Gernot [Muenster Univ. (Germany). Inst. fuer Theoretische Physik 1; Wolf, Dietrich [Duisburg-Essen Univ., Duisburg (Germany). Fakultaet fuer Physik; Kremer, Manfred (eds.) [Forschungszentrum Juelich GmbH (DE). Juelich Supercomputing Centre (JSC)

    2012-06-21

    The fifth NIC-Symposium gave an overview of the activities of the John von Neumann Institute for Computing (NIC) and of the results obtained in the last two years by research groups supported by the NIC. The large recent progress in supercomputing is highlighted by the fact that the newly installed Blue Gene/P system in Juelich - with a peak performance of 1 Petaflop/s - currently ranks number four in the TOP500 list. This development opens new dimensions in simulation science for researchers in Germany and Europe. NIC - a joint foundation of Forschungszentrum Juelich, Deutsches Elektronen-Synchrotron (DESY) and Gesellschaft fuer Schwerionenforschung (GSI) - supports with its members' supercomputer facilities about 130 research groups at universities and national labs working on computer simulations in various fields of science. Fifteen invited lectures covered selected topics in the following fields: Astrophysics Biophysics Chemistry Elementary Particle Physics Condensed Matter Materials Science Soft Matter Science Environmental Research Hydrodynamics and turbulence Plasma Physics Computer Science The talks are intended to inform a broad audience of scientists and the interested public about the research activities at NIC. The proceedings of the symposium cover projects that have been supported by the IBM supercomputers JUMP and IBM Blue Gene/P in Juelich and the APE topical computer at DESY-Zeuthen in an even wider range than the lectures.

  4. NIC symposium 2010. Proceedings

    Energy Technology Data Exchange (ETDEWEB)

    Muenster, Gernot [Muenster Univ. (Germany). Inst. fuer Theoretische Physik 1; Wolf, Dietrich [Duisburg-Essen Univ., Duisburg (Germany). Fakultaet fuer Physik; Kremer, Manfred [Forschungszentrum Juelich GmbH (DE). Juelich Supercomputing Centre (JSC)

    2012-06-21

    The fifth NIC-Symposium gave an overview of the activities of the John von Neumann Institute for Computing (NIC) and of the results obtained in the last two years by research groups supported by the NIC. The large recent progress in supercomputing is highlighted by the fact that the newly installed Blue Gene/P system in Juelich - with a peak performance of 1 Petaflop/s - currently ranks number four in the TOP500 list. This development opens new dimensions in simulation science for researchers in Germany and Europe. NIC - a joint foundation of Forschungszentrum Juelich, Deutsches Elektronen-Synchrotron (DESY) and Gesellschaft fuer Schwerionenforschung (GSI) - supports with its members' supercomputer facilities about 130 research groups at universities and national labs working on computer simulations in various fields of science. Fifteen invited lectures covered selected topics in the following fields: Astrophysics Biophysics Chemistry Elementary Particle Physics Condensed Matter Materials Science Soft Matter Science Environmental Research Hydrodynamics and turbulence Plasma Physics Computer Science The talks are intended to inform a broad audience of scientists and the interested public about the research activities at NIC. The proceedings of the symposium cover projects that have been supported by the IBM supercomputers JUMP and IBM Blue Gene/P in Juelich and the APE topical computer at DESY-Zeuthen in an even wider range than the lectures.

  5. NIC symposium 2010. Proceedings

    International Nuclear Information System (INIS)

    Muenster, Gernot

    2012-01-01

    The fifth NIC-Symposium gave an overview of the activities of the John von Neumann Institute for Computing (NIC) and of the results obtained in the last two years by research groups supported by the NIC. The large recent progress in supercomputing is highlighted by the fact that the newly installed Blue Gene/P system in Juelich - with a peak performance of 1 Petaflop/s - currently ranks number four in the TOP500 list. This development opens new dimensions in simulation science for researchers in Germany and Europe. NIC - a joint foundation of Forschungszentrum Juelich, Deutsches Elektronen-Synchrotron (DESY) and Gesellschaft fuer Schwerionenforschung (GSI) - supports with its members' supercomputer facilities about 130 research groups at universities and national labs working on computer simulations in various fields of science. Fifteen invited lectures covered selected topics in the following fields: Astrophysics Biophysics Chemistry Elementary Particle Physics Condensed Matter Materials Science Soft Matter Science Environmental Research Hydrodynamics and turbulence Plasma Physics Computer Science The talks are intended to inform a broad audience of scientists and the interested public about the research activities at NIC. The proceedings of the symposium cover projects that have been supported by the IBM supercomputers JUMP and IBM Blue Gene/P in Juelich and the APE topical computer at DESY-Zeuthen in an even wider range than the lectures.

  6. Proceedings of the International conference on energy alternatives/risk education V. 2

    International Nuclear Information System (INIS)

    Marx, Gyoergy

    1990-02-01

    This Proceedings volume on Energy and Risk within the context of the International Conference on Energy Alternatives/Risk Education contains papers on Nuclear Energy, on Background Radiation and on Risks of Energy Alternatives. 15 papers concerning safety of nuclear reactors, case stories of reactor and radiation accidents, monitoring low-level indoor radiation, educational tods, comparison of energy system risks, and catalyzed fusion were indexed and abstracted separately for the INIS database. (R.P.)

  7. Quantum Computing for Computer Architects

    CERN Document Server

    Metodi, Tzvetan

    2011-01-01

    Quantum computers can (in theory) solve certain problems far faster than a classical computer running any known classical algorithm. While existing technologies for building quantum computers are in their infancy, it is not too early to consider their scalability and reliability in the context of the design of large-scale quantum computers. To architect such systems, one must understand what it takes to design and model a balanced, fault-tolerant quantum computer architecture. The goal of this lecture is to provide architectural abstractions for the design of a quantum computer and to explore

  8. Sakharov readings 2011: environmental problems of the XXI century. Proceedings of 11 international scientific conference

    International Nuclear Information System (INIS)

    Kundas, S.P.; Poznyak, S.S.

    2011-05-01

    The proceeding includes materials of reports of 11-th international scientific conference 'Sakharov readings 2011: Environmental problems of XXI century', which took place 19-20 of May 2011 in the International A. Sakharov Environmental University. The proceeding continues abstracts about social-ecological, ecology-ethical and pedagogical problems in light of the Sakharov' ideas; medical ecology; biological ecology; biomonitoring, bioindication and bioremediation; radioecology and radiation protection; information systems and technologies in ecology and medicine; ecological monitoring, management and audit; renewable energy sources and energy efficiency; climate change and sustainable development; regional ecological problems. Materials of the conference intend on wide area of the specialists in ecology and adjacent sciences, teachers, post-graduate students and students of universities and colleges.

  9. Content Abstract Classification Using Naive Bayes

    Science.gov (United States)

    Latif, Syukriyanto; Suwardoyo, Untung; Aldrin Wihelmus Sanadi, Edwin

    2018-03-01

    This study aims to classify abstract content based on the use of the highest number of words in an abstract content of the English language journals. This research uses a system of text mining technology that extracts text data to search information from a set of documents. Abstract content of 120 data downloaded at www.computer.org. Data grouping consists of three categories: DM (Data Mining), ITS (Intelligent Transport System) and MM (Multimedia). Systems built using naive bayes algorithms to classify abstract journals and feature selection processes using term weighting to give weight to each word. Dimensional reduction techniques to reduce the dimensions of word counts rarely appear in each document based on dimensional reduction test parameters of 10% -90% of 5.344 words. The performance of the classification system is tested by using the Confusion Matrix based on comparative test data and test data. The results showed that the best classification results were obtained during the 75% training data test and 25% test data from the total data. Accuracy rates for categories of DM, ITS and MM were 100%, 100%, 86%. respectively with dimension reduction parameters of 30% and the value of learning rate between 0.1-0.5.

  10. Frontiers in Computer Education

    CERN Document Server

    Zhu, Egui; 2011 International Conference on Frontiers in Computer Education (ICFCE 2011)

    2012-01-01

    This book is the proceedings of the 2011 International Conference on Frontiers in Computer Education (ICFCE 2011) in Sanya, China, December 1-2, 2011. The contributions can be useful for researchers, software engineers, and programmers, all interested in promoting the computer and education development. Topics covered are computing and communication technology, network management, wireless networks, telecommunication, Signal and Image Processing, Machine Learning, educational management, educational psychology, educational system, education engineering, education technology and training.  The emphasis is on methods and calculi for computer science and education technology development, verification and verification tools support, experiences from doing developments, and the associated theoretical problems.

  11. Proceedings of the Canadian Nuclear Society 12. annual conference

    International Nuclear Information System (INIS)

    1991-01-01

    This volume contains the Proceedings of the seventeen Technical Sessions from the Twelfth Annual Conference of the Canadian Nuclear Society held in Saskatoon, Saskatchewan, June 9 to 12, 1991. As in previous years, the Annual Conference of the Canadian Nuclear Society was held in conjunction with the Annual Conference of the Canadian Nuclear Association. The major topics of discussion included: reactor physics; thermal hydraulics; industrial irradiation; computer applications; fuel channel analysis; small reactors; severe accidents; fuel behaviour under accident conditions; reactor components; safety related computer software; nuclear fuel management; nuclear waste management; and, uranium mining processing

  12. Cybernetics and systems research. Proceedings of the sixth European meeting

    Energy Technology Data Exchange (ETDEWEB)

    Trappl, R

    1982-01-01

    The following topics were dealt with: general systems methodology; system and decision theory; cybernetics in biology and medicine; cybernetics in cognition and learning; cybernetics in organisation; management and society; health care systems; energy systems; fuzzy sets; communication and computers; artificial intelligence. 211 papers were presented, all of which are published in full in the present proceedings.

  13. Region based route planning - Multi-abstraction route planning based on intermediate level vision processing

    Science.gov (United States)

    Doshi, Rajkumar S.; Lam, Raymond; White, James E.

    1989-01-01

    Intermediate and high level processing operations are performed on vision data for the organization of images into more meaningful, higher-level topological representations by means of a region-based route planner (RBRP). The RBRP operates in terrain scenarios where some or most of the terrain is occluded, proceeding without a priori maps on the basis of two-dimensional representations and gradient-and-roughness information. Route planning is accomplished by three successive abstractions and yields a detailed point-by-point path by searching only within the boundaries of relatively small regions.

  14. Geology and development: proceedings of the 40. Brazilian congress on geology; EXPOGEO 98 - Brazilian exposition of Geology. Abstracts

    International Nuclear Information System (INIS)

    1998-01-01

    The proceedings of the 40. Brazilian Congress on Geology register relevant papers on the nuclear and energy areas. The papers devoted to the nuclear area covers the following subjects: geochronology; stratigraphy; geochemistry; age estimation; isotope dating; litogeochemistry; mineralization; uranium deposits; crystallization; environmental impacts related to the uranium mines and the non nuclear mining industries; petrogenesis; paleoclimatology; natural radioactivity; spectrometry; and the uranium extraction. The articles on the energy area are referent to the petroleum, coal and natural gas exploration; environmental impacts related to the oil spilling; and the history and the perspectives of the petroleum exploration in Brazil

  15. Physical activity interventions in Latin America: what value might be added by including conference abstracts in a literature review?

    Science.gov (United States)

    Hoehner, Christine; Soares, Jesus; Parra, Diana C; Ribeiro, Isabela C; Pratt, Michael; Bracco, Mario; Hallal, Pedro C; Brownson, Ross C

    2010-07-01

    This review assessed whether conference abstracts yield useful information on the types and effectiveness of community-based physical activity (PA) interventions in Latin America, beyond that from interventions included in a recent systematic review of peer-reviewed literature. Abstracts from 9 conferences were searched for community-based interventions to promote PA in Latin America and summarized. Three reviewers classified and screened abstracts. Evaluated interventions that were not included in the previous review were assessed. Search of abstracts from 31 proceedings of 9 conferences identified 87 abstracts of studies on community-based interventions focused on increasing PA. Only 31 abstracts reported on studies with a control group and an outcome related to PA. Ten of these abstracts represented interventions that had not been included in the previous review of peer-reviewed literature, but the abstracts were insufficient in number or detail to make a practice recommendation for any single intervention. This review highlighted the challenges and low added value of including conference abstracts in a systematic review of community PA interventions in Latin America. Stronger evaluation design and execution and more published reports of evaluated interventions are needed to build an evidence base supporting interventions to increase PA in Latin America.

  16. Squeezed States and Uncertainty Relations. Abstracts

    International Nuclear Information System (INIS)

    Masahito, Hayashi; Reynaud, S.; Jaekel, M.Th.; Fiuraaek, J.; Garcia-Patron, R.; Cerf, N.J.; Hage, B.; Chelkowski, S.; Franzen, A.; Lastzka, N.; Vahlbruch, N.; Danzmann, K.; Schnabel, R.; Hassan, S.S.; Joshi, A.; Jakob, M.; Bergou, J.A.; Kozlovskii, A.V.; Prakash, H.; Kumar, R.

    2005-01-01

    The purpose of the conference was to bring together people working in the field of quantum optics, with special emphasis on non-classical light sources and related areas, quantum computing, statistical mechanics and mathematical physics. As a novelty, this edition will include the topics of quantum imaging, quantum phase noise and number theory in quantum mechanics. This document gives the program of the conference and gathers the abstracts

  17. Isotopes in hydrology. Proceedings of a symposium

    International Nuclear Information System (INIS)

    1967-01-01

    Proceedings of a Symposium organized by the IAEA in co-operation with the International Union of Geodesy and Geophysics and held in Vienna, 14-18 November 1966. The meeting was attended by 167 participants from 36 countries and 7 international organizations. Contents: Hydrometeorology, streamflow measurements (7 papers); Sediment studies (10 papers); Geochronology and environmental studies (10 papers); Aquifer characteristics (5 papers); Unsaturated zone, seepage, tracer technology (6 papers); Surface water, limnology, glaciology (3 papers). Each paper is in its original language (30 English, 9 French and 2 Russian) and is preceded by an abstract in English and one in the original language if this is not English. Discussions are in English. (author)

  18. SOLTECH 92 proceedings: Solar Process Heat Program. Volume 1

    Energy Technology Data Exchange (ETDEWEB)

    1992-03-01

    This document is a limited Proceedings, documenting the presentations given at the symposia conducted by the US Department of Energy`s (DOE) Solar Industrial Program and Solar Thermal Electrical Program at SOLTECH92. The SOLTECH92 national solar energy conference was held in Albuquerque, New Mexico during the period February 17--20, 1992. The National Renewable Energy Laboratory manages the Solar Industrial Program; Sandia National Laboratories (Albuquerque) manages the Solar Thermal Electric Program. The symposia sessions were as follows: (1) Solar Industrial Program and Solar Thermal Electric Program Overviews, (2) Solar Process Heat Applications, (3) Solar Decontamination of Water and Soil; (4) Solar Building Technologies, (5) Solar Thermal Electric Systems, (6) PV Applications and Technologies. For each presentation given in these symposia, these Proceedings provide a one- to two-page abstract and copies of the viewgraphs and/or 35mm slides utilized by the speaker. Some speakers provided additional materials in the interest of completeness. The materials presented in this document were not subjected to a peer review process.

  19. SOLTECH 1992 proceedings: Solar Process Heat Program, volume 1

    Science.gov (United States)

    1992-03-01

    This document is a limited Proceedings, documenting the presentations given at the symposia conducted by the U.S. Department of Energy's (DOE) Solar Industrial Program and Solar Thermal Electrical Program at SOLTECH92. The SOLTECH92 national solar energy conference was held in Albuquerque, New Mexico during the period February 17-20, 1992. The National Renewable Energy Laboratory manages the Solar Industrial Program; Sandia National Laboratories (Albuquerque) manages the Solar Thermal Electric Program. The symposia sessions were as follows: (1) Solar Industrial Program and Solar Thermal Electric Program Overviews, (2) Solar Process Heat Applications, (3) Solar Decontamination of Water and Soil, (4) Solar Building Technologies, (5) Solar Thermal Electric Systems, and (6) Photovoltaic (PV) Applications and Technologies. For each presentation given in these symposia, these Proceedings provide a one- to two-page abstract and copies of the viewgraphs and/or 35 mm slides utilized by the speaker. Some speakers provided additional materials in the interest of completeness. The materials presented in this document were not subjected to a peer review process.

  20. National Energy Software Center: compilation of program abstracts

    Energy Technology Data Exchange (ETDEWEB)

    Brown, J.M.; Butler, M.K.; De Bruler, M.M.

    1979-05-01

    This is the third complete revision of program abstracts undertaken by the Center. Programs of the IBM 7040, 7090, and CDC 3600 vintage have been removed. Historical data and information on abstract format, program package contents, and subject classification are given. The following subject areas are included in the library: cross section and resonance integral calculations; spectrum calculations, generation of group constants, lattice and cell problems; static design studies; depletion, fuel management, cost analysis, and power plant economics; space-independent kinetics; space--time kinetics, coupled neutronics--hydrodynamics--thermodynamics and excursion simulations; radiological safety, hazard and accident analysis; heat transfer and fluid flow; deformation and stress distribution computations, structural analysis and engineering design studies; gamma heating and shield design; reactor systems analysis; data preparation; data management; subsidiary calculations; experimental data processing; general mathematical and computing system routines; materials; environmental and earth sciences; electronics, engineering equipment, and energy systems studies; chemistry; particle accelerators and high-voltage machines; physics; magnetic fusion research; data. (RWR)