close
1.

電子ブック

EB
U. Shmueli
出版情報: Wiley Online Library Reference Works , Springer Netherlands, 2001
所蔵情報: loading…
2.

電子ブック

EB
M. Rossmann
出版情報: Wiley Online Library Reference Works , Springer Netherlands, 2001
所蔵情報: loading…
3.

電子ブック

EB
Paul Calder, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 2001
所蔵情報: loading…
目次情報: 続きを見る
Preface
Program Committee
The Computer Science of Everyday Things / Harold ThimblebyKeynote Address:
Goldleaf Hierarchical Document Browser / J. Faichney ; R. Gonzalez
Adapting the Web Interface: An Adaptive Web Browser / K. Henricksen ; J. Indulska
Linking between Real and Virtual Spaces: Building the Mixed Reality Stage Environment / M. Fleischmann ; W. Strauss
Visualizing Content Based Relations in Texts / E. Weippl
Towards Model Based Prediction of Human Error Rates in Interactive Systems / D. Leadbetter ; A. Hussey ; P. Lindsay ; A. Neal ; M. Humphreys
Navigating Information as a Cityscape / C. Rainsford ; M. Williams
Smarter Cut-and-Paste for Programming Text Editors / G. Wallace ; R. Biddle ; E. Tempero
Using Force Feedback for Multi-Sensory Display / K. Nesbitt ; R. Gallimore ; B. Orenstein
A Method for the Early Stages of Interactive System Design Using UML and Lean Cuisine+ / C. Scogings ; C. Phillips
Steerable Interactive Television: Virtual Reality Technology Changes User Interfaces of Viewers and of Program Producers / R. Pose
A Pilot Study of Teaching the Strategic Use of Common Computer Applications / R. Thomas ; M. Foster
Context in 3D Planar Navigation / S. Vallance ; P. Calder
Cost/Benefit Based Adaptive Dialog: Case Study Using Empirical Medical Practice Norms and Intelligent Split Menus / J. Warren
Solving the Occlusion Problem for Three-Dimensional Distortion-Oriented Displays / D. Winch ; R. Smith
An Animated 3D Manipulator for Distributed Collaborative Window-Based Applications / M. Davies ; B. Thomas
Drawing Lessons in the Design of Tangible Media from a Study of Interactions with Mechanical Products / M. Brereton
Comparing and Reconciling Usability-Centered and Use Case-Driven Requirements Engineering Processes / A. Seffah ; R. Djouab ; G. Butler
Author Index
Preface
Program Committee
The Computer Science of Everyday Things / Harold ThimblebyKeynote Address:
4.

電子ブック

EB
Wolfgang Nebel, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 2001
所蔵情報: loading…
目次情報: 続きを見る
DATE Executive Committee
Technical Program Chairs
Vendors Committee
DATE Sponsor Committee
Technical Program Committee
Reviewers
Welcome to DATE 2001
Best Paper Awards
Tutorials
Call for Papers DATE 2002
Plenary: Keynote Session
The Semiconductor Dynamic in the Information Age--Driving New Technologies, Trends and Markets / U. Schumacher, CEO
Complementary Approaches to Designing Correct Circuits / 1A:
Abstraction of Word-Level Linear Arithmetic Functions from Bit-Level Component Descriptions / P. Dasgupta ; P. Chakrabarti ; A. Nandi ; S. Krishna ; A. Chakrabarti
Biaising Symbolic Research by Means of Dynamic Activity Profiles / G. Cabodi ; P. Camurati ; S. Quer
New Design Methods with SystemC / 1B:
A Methodology for Interfacing Open Source SystemC with a Third Party Software / L. Charest ; M. Reid ; E. Aboulhamid ; G. Bois
Behavioral Synthesis with SystemC / G. Economakos ; P. Oikonomakos ; I. Panagopoulos ; I. Poulakis ; G. Papakonstantiou
SystemC[superscript SV]--An Extension of SystemC for Mixed Multi-Level Communication Modeling and Interface-Based System Design / R. Siegmund ; D. Muller
Embedded Tutorial--TRP: Integrating Embedded Test and ATE / 1C:
Test Resource Partitioning: A Design and Test Issue
Embedded Tutorial--Current Trends in the Design of Automotive Electronic Systems / 1E:
Current Trends in the Design of Automotive Electronic Systems
Platforms and IP-Based Design / 2A:
Component Selection and Matching for IP-Based Design / T. Zhang ; G. De Micheli ; L. Benini
A Universal Communication Model for an Automotive System Integration Platform / T. Demmeler ; P. Giusto
An Efficient Architecture Model for Systematic Design of Application-Specific Multiprocessor SoC / A. Baghdadi ; D. Lyonnard ; N. Zergainoh ; A. Jerraya
Approaching Semantics of Design Languages / 2B:
The Simulation Semantics of SystemC / J. Ruf ; D. Hoffmann ; J. Gerlach ; T. Kropf ; W. Rosenstiel ; W. Mueller
MetaRTL: Raising the Abstraction Level of RTL Design / J. Zhu
A Model for Describing Communication between Aggregate Objects in the Specification and Design of Embedded Systems / K. Svarstad ; G. Nicolescu
BIST and Diagnosis / 2C:
Circuit Partitioning for Efficient Logic BIST Synthesis / A. Irion ; G. Kiefer ; H. Vranken ; H. Wunderlich
Deterministic Software-Based Self-Testing of Embedded Processor Cores / A. Paschalis ; D. Gizopoulos ; N. Kranitis ; M. Psarakis ; Y. Zorian
Memory Fault Diagnosis by Syndrome Compression / J. Li ; C. Wu
Diagnosis for Scan-Based BIST: Reaching Deep into the Signatures / I. Bayraktaroglu ; A. Orailoglu
Hot Topic--EUCAR Session / 2E:
Vehicle Electric/Electronic Architecture--One of the Most Important Challenges for OEM's / G. Hettich ; T. Thurner
SAT Based Verification Techniques / 3A:
Using SAT for Combinational Equivalence Checking / E. Goldberg ; M. Prasad ; R. Brayton
Combinational Equivalence Checking Using Boolean Satisfiability and Binary Decision Diagrams / S. Reda ; A. Salem
An Efficient Learning Procedure for Multiple Implication Checks / Y. Novikov
Panel Session--C/C[superscript ++]: Progress or Deadlock in SLD Specification? / 3B:
C/C[superscript ++]: Progress or Deadlock in System-Level Specification
Advances in SoC Testing / 3C:
An Integrated System-On-Chip Test Framework / E. Larsson ; Z. Peng
Efficient Test Data Compression and Decompression for System-On-A-Chip Using Integral Scan Chains and Golomb Coding / A. Chandra ; K. Chakrabarty
Testing TAPed Cores and Wrapped Cores with the Same Test Access Mechanism / M. Benabdenbi ; W. Maroufi ; M. Marzouki
On Applying the Set Covering Model to Reseeding / S. Chiusano ; S. Di Carlo ; P. Prinetto
Panel Session--Data Management--Limiter or Accelerator for Electronic Design Creativity? / 3E:
Data Management--Limiter or Accelerator for Electronic Design Creativity
Analysis of Communication Systems / 4A:
Efficient Bit-Error-Rate Estimation of Multicarrier Transceivers / G. Vandersteen ; P. Wambacq ; S. Donnay ; M. Engels ; I. Bolsens ; Y. Rolain ; J. Schoukens
Efficient Time-Domain Simulation of Telecom Frontends Using a Complex Damped Exponential Signal Model / P. Vanassche ; G. Gielen ; W. Sansen
Simulation Method to Extract Characteristics for Digital Wireless Communication Systems / L. Nguyen ; V. Janicot
Design of Low Power Systems I / 4B:
Microprocessor Power Analysis by Labelled Simulation / C. Hsieh ; L. Chen ; M. Pedram
Power Aware Microarchitecture Resource Scaling / A. Iyer ; D. Marculescu
Extending Lifetime of Portable Systems by Battery Scheduling / G. Castelli ; A. Macii ; E. Macii ; M. Poncino ; R. Scarsi
Test Generation and Evaluation / 4C:
Efficient Spectral Techniques for Sequential ATPG / A. Giani ; S. Sheng ; M. Hsiao ; V. Agrawal
On the Test of Microprocessor IP Cores / F. Corno ; M. Sonza Reorda ; S. Squillero ; M. Violante
Sequence Reordering to Improve the Levels of Compaction Achievable by Static Compaction Procedures / I. Pomeranz ; S. Reddy
SEU Effect Analysis in an Open-Source Router via a Distributed Fault Injection Environment / A. Benso ; G. Di Natale
Panel Session--The Programmable Platform: Does One Size Fit All? / 4E:
The Programmable Platform: Does One Size Fit All?
Planning Support / 4F:
Slicing Tree is a Complete Floorplan Representation / M. Lai ; D. Wong
Further Improve Circuit Partitioning Using GBAW Logic Perturbation Techniques / C. Cheung ; Y. Wu ; D. Cheng
Clustering Based Fast Clock Scheduling for Light Clock-Tree / M. Saitoh ; M. Azuma ; A. Takahashi
Low-Power Channel Decoding and VLIW Architectures / 5A:
Power-Efficient Layered Turbo Decoder Processor / J. Dielissen ; J. van Meerbergen ; M. Bekooij ; F. Harmsze ; S. Sawitzki ; J. Huisken ; A. van der Werf
Exploiting Data Forwarding to Reduce the Power Budget of VLIW Embedded Processors / M. Sami ; D. Sciuto ; C. Silvano ; V. Zaccaria ; R. Zafalon
Design of Low-Power High-Speed Maximum a priori Decoder Architectures / A. Worm ; H. Lamm ; N. Wehn
Design of Low-Power Systems II / 5B:
Low Complexity FIR Filters Using Factorization of Perturbed Coefficients / C. Neau ; K. Muhammad ; K. Roy
An Adaptive Algorithm for Low-Power Streaming Multimedia Processing / A. Acquaviva ; B. Ricco
A Static Power Estimation Methodology for IP-Based Design / X. Liu ; C. Papaefthymiou
On-Line Testing Techniques / 5C:
Optimization of Error Detecting Codes for the Detection of Crosstalk Originated Errors / M. Favalli ; C. Metra
System Safety through Automatic High-Level Code Transformations: An Experimental Evaluation / P. Cheynet ; B. Nicolescu ; R. Velazco ; M. Rebaudengo
From DFT to Systems Test--A Model Based Cost Optimization Tool / M. Wahl ; M. Rahman ; C. Maass ; T. Ambler
Efficient On-Line Testing Method for a Floating-Point Adder / A. Drozd ; M. Lobachev
Design Methodology for PicoRadio Networks / 5E:
EMC on Chip and High Density Package Level / J. da Silva Jr. ; J. Shamberger ; M. Ammer ; C. Guo ; S. Li ; R. Shah ; T. Tuan ; M. Sheets ; J. Rabaey ; B. Nikolic ; A. Sangiovanni-Vincentelli ; P. Wright5F:
High-Level Simulation of Substrate Noise Generation from Large Digital Circuits with Multiple Supplies / M. Badaroglu ; H. De Man ; M. van Heijningen ; V. Gravot
Crosstalk Noise in Future Digital CMOS Circuits / C. Werner ; R. Gottsche ; A. Worner ; U. Ramacher
Modeling Electromagnetic Emission of Integrated Circuits for System Analysis / P. Kralicek ; W. John ; H. Garbe
Analysis of EME Produced by a Microcontroller Operation / F. Fiori ; F. Musolino
Design Methods for Analog and Mixed Signal Circuits / 6A:
Top-Down Design of a xDSL 14-bit 4MS/s [Sigma] [Delta] Modulator in Digital CMOS Technology / R. del Rio ; J. de la Rosa ; F. Medeiro ; B. Perez-Verdu ; A. Rodriguez-Vazquez
Analog Design for Reuse--Case Study: Very Low-Voltage [Sigma] [Delta] Modulator / M. Dessouky ; M. Louerat ; A. Greiner ; A. Kaiser
A Design Strategy for Low-Voltage Low-Power Continuous-Time [Sigma] [Delta] A/D Converters / F. Gerfers ; Y. Manoli
Issues in Synthesis and Power Optimization / 6B:
Minimizing Stand-By Leakage Power in Static CMOS Circuits / S. Naidu ; E. Jacobs
In-Place Delay Constrained Power Optmization Using Functional Symmetries / C. Chang ; B. Hu ; M. Marek-Sadowska
High-Quality Sub-Function Construction in Functional Decomposition Based on Information Relationship Measures / L. Jozwiak ; A. Chojnacki
Generalized Reasoning Scheme for Redundancy Addition and Removal Logic Optimization / J. Espejo ; L. Entrena ; E. San Millan ; E. Olias
High Level Validation / 6C:
LPSAT: A Unified Approach to RTL Satisfiability / Z. Zeng ; P. Kalla ; M. Ciesielski
Functional Test Generation for Behaviorally Sequential Models / F. Ferrandi ; G. Ferrara ; A. Fin ; F. Fummi
High Quality Behavioral Verification Using Statistical Stopping Criteria / A. Hajjar ; T. Chen ; I. Munn ; A. Andrews ; M. Bjorkman
Hot Topic--Network Processors: A Perspective on Market Requirements, Processor Architectures and Embedded S/W Tools / 6E:
Network Processors: A Perspective on Market Requirements, Processor Architectures and Embedded S/W Tools / P. Paulin ; F. Karim ; P. Bromley
Interconnect Extraction and Modelling / 6F:
Efficient Inductance Extraction via Windowing / M. Beattie ; L. Pileggi
Efficient and Passive Modeling of Transmission Lines by Using Differential Quadrature Method / Q. Xu ; P. Mazumder
Explicit Formulas and Efficient Algorithm for Moment Computation of Coupled RC Trees with Lumped and Distributed Elements / Q. Yu ; E. Kuh
On the Impact of On-Chip Inductance on Signal Nets under the Influence of Power Grid Noise
Timing and Parallel Simulation / 7A:
Timing Simulation of Digital Circuits with Binary Decision Diagrams / R. Ubar ; A. Jutman
HALOTIS: High Accuracy LOgic TIming Simulator with Inertial and Degradation Delay Model / P. Vazquez ; J. Juan-Chico ; M. Bellido ; A. Acosta ; M. Valencia
dlbSIM--A Parallel Functional Logic Simulator Allowing Dynamic Load Balancing / K. Hering ; J. Loser ; J. Markwardt
Architecture Driven Partitioning / J. Kuter ; E. Barke
Embedded Tutorial--Low-Power Issues for SOCs / 7B:
Low-Power Systems on Chips (SOCs) / C. Piguet ; M. Renaudin ; T. Omnes
Defect Oriented Testing / 7C:
Static and Dynamic Behavior of Memory Cell Array Opens and Shorts in Embedded DRAMs / Z. Al-Ars ; A. van de Goor
Definitions of the Numbers of Detections of Target Faults and their Effectiveness in Guiding Test Generation for High Defect Coverage
CMOS Open Defect Detection by Supply Current Test / M. Hashizume ; M. Ichimiya ; H. Yotsuyanagi ; T. Tamesada
Full Chip False Timing Path Identification: Applications to the PowerPC Microprocessors / J. Zeng ; M. Abadir ; J. Bhadra ; J. Abraham
Embedded Tutorial--CAD for RF Integrated Circuits and Systems / 7E:
CAD for RF Circuits / J. Phillips ; J. Roychowdhury ; W. Eberle ; B. Yang ; D. Long ; A. Demir
Routing Enhancements / 7F:
Modeling Crosstalk Noise for Deep Submicron Verification Tools / P. Bazargan-Sabet ; F. Ilponse
A Graph Based Algorithm for Optimal Buffer Insertion under Accurate Delay Models / Y. Gao
Repeater Block Planning under Simultaneous Delay and Transition Time Constraints / P. Sarkar ; C. Koh
Layout Generation / 8A:
On-The-Fly Layout Generation for PTL Macrocells / L. Macchiarulo
Automatic Datapath Tile Placement and Routing / T. Serdar ; C. Sechen
A Boolean Satisfiability-Based Incremental Rerouting Approach with Application to FPGAs / G. Nam ; K. Sakallah ; R. Rutenbar
Modelling and Performance Analysis of Embedded Systems / 8B:
Dual Transitions Petri Net Based Modelling Technique for Embedded Systems Specification / M. Varea ; B. Al-Hashimi
Probabilistic Application Modeling for System-Level Performance Analysis / R. Marculescu
Reliable Estimation of Execution Time of Embedded Software / G. Martin ; E. Harcourt
Analog and Mixed Signal Testing / 8C:
Implementation of a Linear Histogram BIST for ADCs / F. Azais ; S. Bernard ; Y. Bertrand ; M. Renovell
Test Generation Based Diagnosis of Device Parameters for Analog Circuits / S. Cherubal ; A. Chatterjee
Generation of Optimum Test Stimuli for Nonlinear Analog Circuits Using Nonlinear Programming and Time-Domain Sensitivities / B. Burdiek
Panel Session--Managing the SoC Design Challenge with 'Soft' Hardware / 8E:
Managing the SoC Design Challenge with "Soft" Hardware / R. Wilson
Hardware-Software Architectures and Synthesis / 8F:
Integrated Hardware-Software Co-Synthesis and High-Level Synthesis for Design of Embedded Systems under Power and Latency Constraints / A. Doboli
Allocation and Scheduling of Conditional Task Graph in Hardware/Software Co-Synthesis / Y. Xie ; W. Wolf
Code Placement in Hardware Software Co-Synthesis to Improve Performance and Reduce Cost / S. Parameswaran
System-On-A-Chip Processor Synchronization Support in Hardware / B. Saglam ; V. Mooney III
Reconfigurable Computing I / 9A:
A Decade of Reconfigurable Computing: A Visionary Retrospective / R. Hartenstein
Hierarchical Memory Mapping during Synthesis in FPGA-Based Reconfigurable Computers / I. Ouaiss ; R. Vemuri
Optimal FPGA Module Placement with Temporal Precedence Constraints / S. Fekete ; E. Kohler ; J. Teich
Embedded Software / 9B:
Generation of Minimal Size Code for Schedule Graphs / C. Passerone ; Y. Watanabe ; L. Lavagno
Generating Production Quality Software Development Tools Using a Machine Description Language / A. Hoffmann ; A. Nohl ; S. Pees ; G. Braun ; H. Meyr
Automatic Generation and Targeting of Application Specific Operating Systems and Embedded Systems Software / L. Gauthier ; S. Yoo
Cache Conscious Data Layout Organization for Embedded Multimedia Applications / C. Kulkarni ; C. Ghez ; M. Miranda ; F. Catthoor
Panel Session--Design Challenges and Emerging EDA Solutions in Mixed-Signal IC Design / 9C:
Design Challenges and Emerging EDA Solutions in Mixed-Signal IC Design
Hot Topic--Game Processors / 9E:
CPU for PlayStation2 / H. Tago ; K. Hashimoto ; N. Ikumi ; M. Nagamatsu ; M. Suzuoki ; Y. Yamamoto
Implementation of the ATI Flipper Chip / A. Mandapati
SH-4 RISC Microprocessor for Multimedia, Game Machine / S. Narita
Decision Diagrams / 9F:
Streaming BDD Manipulation for Large-Scale Combinatorial Problems / S. Minato ; S. Ishihara
Binary Decision Diagram with Minimum Expected Path Length / Y. Liu ; K. Wang ; T. Hwang ; C. Liu
Spectral Decision Diagrams Using Graph Transformations / M. Thornton ; R. Drechsler
Friday Keynote Session--Electronic System Design Methodology: Europe's Positioning / 9L:
Electronic System Design Methodology: Europe's Positioning
Reconfigurable Computing II / 10A:
Precision and Error Analysis of MATLAB Applications during Automated Hardware Synthesis for FPGAs / A. Nayak ; M. Haldar ; A. Choudhary ; P. Banerjee
A HW/SW Partitioning Algorithm for Dynamically Reconfigurable Architectures / J. Noguera ; R. Badia
Managing Dynamic Reconfiguration Overhead in Systems-On-A-Chip Design Using Reconfigurable Datapaths and Optimized Interconnection Networks / Z. Huang ; S. Malik
Co-Simulation and System Verification Techniques / 10B:
Simulation-Guided Property Checking Based on a Multi-Valued AR-Automata
Performance Improvement of Multi-Processor Systems Cosimulation Based on SW Analysis / J. Jung ; K. Choi
Mixed-Level Cosimulation for Fine Gradual Refinement of Communication in SoC Design
A Framework for Fast Hardware-Software Co-Simulation / T. Kogel
Embedded Tutorial - Analog Methods and Tools for SoC Integration / 10C:
Analog/Mixed-Signal IP Modeling for Design Reuse / N. Madrid ; E. Peralias ; A. Rueda
A Skill-Based Library for Retargetable Embedded Analog Cores / X. Jingnan ; J. Vital ; N. Horta
Modelling SoC Devices for Virtual Test Using VHDL / M. Rona ; G. Krampl
Retargeting of Mixed-Signal Blocks for SoCs / R. Castro-Lopez ; F. Fernandez ; M. Delgado-Restituto
Panel Session--Standard Bus vs. Bus Wrapper: What is the Best Solution for Future SoC Integration? / 10E:
Standard Bus vs. Bus Wrapper: What is the Best Solution for Future SoC Integration?
Architectural Level Synthesis / 10F:
Access Pattern Based Local Memory Customization for Low Power Embedded Systems / P. Grun ; N. Dutt ; A. Nicolau
Static Memory Allocation by Pointer Analysis and Coloring
Heuristic Datapath Allocation for Multiple Wordlength Systems / G. Constantinides ; P. Cheung ; W. Luk
Poster Session
On the Verification of Synthesized Designs Using Automatically Generated Transformational Witnesses / E. Teica ; R. Radhakrishnan
Property-Specific Witness Graph Generation for Guided Simulation / A. Gupta ; A. Casavant ; P. Ashar ; S. Liu ; A. Mukaiyama ; K. Wakabayashi
Two Approaches for Developing Generic Components in VHDL / V. Stuikys ; G. Ziberkas ; R. Damasevicius ; G. Majauskas
Annotated Data Types for Addressed Token Passing Networks / G. Cichon ; W. Brunnbauer
Testability Trade-Offs for BIST RTL Data Paths: The Case for Three Dimensional Design Space / N. Nicolici
Towards a Better Understanding of Failure Modes and Test Requirements of ADCs / A. Lechner ; A. Richardson ; B. Hermes
Exact Fault Simulation for Systems on Silicon that Protects Each Core's Intellectual Property (IP) / M. Quasem ; S. Gupta
Using Mission Logic for Embedded Testing / R. Dorsch
A Regularity-Based Hierarchical Symbolic Analysis Method for Large-Scale Analog Networks
An Improved Hierarchical Classification Algorithm for Structural Analysis of Integrated Circuits / M. Olbrich ; A. Rein
Automatic Nonlinear Memory Power Modelling / E. Schmidt ; G. Jochens ; L. Kruse ; W. Nebel ; F. Theeuwen
An Operation Rearrangement Technique for Power Optimization in VLIW Instruction Fetch / D. Shin ; J. Kim ; N. Chang
A Pseudo Delay-Insensitive Timing Model to Synthesizing Low-Power Asynchronous Circuits / O. Garnica ; J. Lanchares ; R. Hermida
A Register-Transfer-Level Fault Simulator for Permanent and Transient Faults in Embedded Processors / C. Rousselle ; M. Pflanz ; A. Behling ; T. Mohaupt ; H. Vierhaus
Efficient Finite Field Digit-Serial Multiplier Architecture for Cryptography Applications / G. Bertoni ; L. Breveglieri ; P. Fragneto
Task Concurrency Management Methodology Summary / C. Wong ; P. Marchal ; P. Yang ; A. Prayati ; N. Cossement ; R. Lauwereins ; D. Verkest
Susceptibility of Analog Cells to Substrate Interference
Order Determination for Frequency Compensation of Negative-Feedback Systems / A. van Staveren ; C. Verhoeven
Minimizing the Number of Floating Bias Voltage Sources with Integer Linear Programming / E. Yildiz
CMOS Sizing Rule for High Performance Long Interconnects / G. Cappuccino ; G. Cocorullo
On Automatic Analysis of Geometrically Proximate Nets in VLSI Layout / S. Koranne ; O. Gangwal
AnalogRouter: A New Approach of Current-Driven Routing for Analog Circuits / J. Lienig ; G. Jerke ; T. Adler
A Hardware-Software Operating System for Heterogeneous Designs / J. Moya ; F. Moya ; J. Lopez
PRMDL: A Machine Description Language for Clustered VLIW Architectures / A. Terechko ; E. Pol ; J. van Eijndhoven
Functional Units with Conditional Input/Output Behavior in VLIW Processors / L. Engels ; N. Busa
Adaptation of an Event-Driven Simulation Environment to Sequentially Propagated Concurrent Fault Simulation / M. Zolfy ; S. Mirkhani ; Z. Navabi
Constraint Satisfaction for Storage Files with Fifos or Stacks during Scheduling / C. Alba Pinto ; B. Mesman ; K. van Eijk ; J. Jess
Index of Authors
DATE Executive Committee
Technical Program Chairs
Vendors Committee
5.

電子ブック

EB
Hausi A. M端ller, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 2001
所蔵情報: loading…
目次情報: 続きを見る
Message from the Chairs
Conference Organization
Sponsors and Supporters
Technical Papers
Design and Specification of Distributed Systems
Composition Patterns: An Approach to Designing Reusable Aspects / S. Clarke ; R. J. Walker
MAS--An Interactive Synthesizer to Support Behavioral Modeling in UML / E. Makinen ; T. Systa
Analysis and Testing of Web Applications / F. Ricca ; P. Tonella
Static Analysis
The Right Algorithm at the Right Time: Comparing Data Flow
Analysis Algorithms for Finite State Verification / J. M. Cobleigh ; L. A. Clarke ; L. J. Osterweil
Static Checking of Interrupt-Driven Software / D. Brylow ; N. Damgaard ; J. Palsberg
Lightweight Analysis of Operational Specifications Using Inference Graphs / L. K. Dillon ; R. E. K. Stirewalt
Process Improvement for Multi-Site Environments
Commitment Development in Software Process Improvement: Critical Misconceptions / P. Abrahamsson
An Empirical Study of Global Software Development: Distance and Speed / J. D. Herbsleb ; A. Mockus ; T. A. Finholt ; R. E. Grinter
Software Product Lines: Organizational Alternatives / J. Bosch
Design Recovery and Program Understanding
Supporting Program Comprehension Using Semantic and Structural Information / J. I. Maletic ; A. Marcus
On the Syllogistic Structure of Object-Oriented Programming / D. Rayside ; K. Kontogiannis
A Scenario-Driven Approach to Traceability / A. Egyed
Effective Uses of Inspections
Systematic Object-Oriented Inspection--An Empirical Study / A. Dunsmore ; M. Roper ; M. Wood
Evaluating the Accuracy of Defect Estimation Models Based on Inspection Data from Two Inspection Cycles / S. Biffl ; W. Grossmann
Investigating the Cost-Effectiveness of Reinspections in Software Development / B. Freimut ; O. Laitenberger
Building Formal Analysis Tools
A Component-Based Approach to Building Formal Analysis Tools
Tool-Supported Program Abstraction for Finite-State Verification / M. B. Dwyer ; J. Hatcliff ; R. Joehanes ; S. Laubach ; C. S. Pasareanu ; Robby ; H. Zheng ; W. Visser
A Workbench for Synthesising Behaviour Models from Scenarios / S. Uchitel ; J. Kramer
Dynamic Analysis and Testing
The Specification and Testing of Quantified Progress Properties in Distributed Systems / P. Krishnamurthy ; P. A. G. Sivilotti
An Explorative Journey from Architectural Tests Definition downto Code Tests Execution / A. Bertolino ; P. Inverardi ; H. Muccini
Encoding Program Executions / S. P. Reiss ; M. Renieris
Construction of Component-Based Systems
Dynamic and Selective Combination of Extensions in Component-Based Applications / E. Truyen ; B. Vanhaute ; W. Joosen ; P. Verbaeten ; B. Norregaard Jorgensen
Generating Wrappers for Command Line Programs: The Cal-Aggie Wrap-O-Matic Project / E. Wohlstadter ; S. Jackson ; P. Devanbu
Designing Components versus Objects: A Transformational Approach / D. H. Lorenz ; J. Vlissides
Reengineering and Software Evolution
Exploiting the Map Metaphor in a Tool for Software Evolution / W. G. Griswold ; J. J. Yuan ; Y. Kato
Separating Features in Source Code: An Exploratory Study / G. C. Murphy ; A. Lai ; M. P. Robillard
Comparing Frameworks and Layered Refinement / R. Cardone ; C. Lin
Analysis of Architectures
Quantifying the Costs and Benefits of Architectural Decisions / R. Kazman ; J. Asundi ; M. Klein
Survivability Analysis of Networked Systems / S. Jha ; J. M. Wing
Adaptive Feedback Scheduling of Incremental and Design-to-Time Tasks / P. H. Feiler ; J. J. Walker
Improving the Testing Process
Incorporating Varying Test Costs and Fault Severities into Test Case Prioritization / S. Elbaum ; A. Malishevsky ; G. Rothermel
Finding Failures by Cluster Analysis of Execution Profiles / W. Dickinson ; D. Leon ; A. Podgurski
Understanding IV and V in a Safety Critical and Complex Evolutionary Environment: The NASA Space Shuttle Program / M. V. Zelkowitz ; I. Rus
Reliability and Mobile Agents
Theory of Software Reliability Based on Components / D. Hamlet ; D. Mason ; D. Woit
Engineering Mobile-Agent Applications via Context-Dependent Coordination / G. Cabri ; L. Leonardi ; F. Zambonelli
Consistent Group Membership in Ad Hoc Networks / G.-C. Roman ; Q. Huang ; A. Hazemi
Analysis of Requirements
Fast Formal Analysis of Requirements via "Topoi Diagrams" / T. Menzies ; J. Powell ; M. E. Houle
Conceptual Modeling through Linguistic Analysis Using LIDA / S. P. Overmyer ; B. Lavoie ; O. Rambow
A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints / S. Easterbrook ; M. Chechik
Functional Paleontology: System Evolution as the User Sees It / A. I. Anton ; C. Potts
Formal Frameworks
A General Framework for Formalizing UML with Formal Languages / W. E. McUmber ; B. H. C. Cheng
Efficient Filtering in Publish-Subscribe Systems Using Binary Decision Diagrams / A. Campailla ; S. Chaki ; E. Clarke ; H. Veith
A Scalable Formal Method for Design and Automatic Checking of User Interfaces / J. Berstel ; S. Crespi Reghizzi ; G. Roussel ; P. San Pietro
Scientific Rigour, an Answer to a Pragmatic Question: A Linguistic Framework for Software Engineering / A. M. Haeberer ; T. S. E. Maibaum
Architectures for Emerging Applications
An Architecture for Heterogeneous Groupware Applications / I. Marsic
A Web-Oriented Architectural Aspect for the Emerging Computational Tapestry / K. Sullivan ; A. Saxena
XAS: A System for Accessing Componentized, Virtual XML Documents / M.-L. Lo ; S.-K. Chen ; S. Padmanabhan ; J.-Y. Chung
Case Study Papers
Infrastructure Support
Using the Web for Document Versioning: An Implementation Report for Delta V / J. J. Hunt ; J. Reuter
Evaluating the Reverse Engineering Capabilities of Web Tools for Understanding Site Content and Structure: A Case Study / S. Tilley ; S. Huang
A Case Study of the Evolution of Jun: An Object-Oriented Open-Source 3D Multimedia Library / A. Aoki ; K. Hayashi ; K. Kishida ; K. Nakakoji ; Y. Nishinaka ; B. Reeves ; A. Takashima ; Y. Yamamoto
Applications of New Paradigms in Software Development
Case Study: Extreme Programming in a University Environment / M. M. Muller ; W. F. Tichy
Improving Validation Activities in a Global Software Development / C. Ebert ; C. H. Parro ; R. Suttels ; H. Kolarczyk
Applying WinWin to Quality Requirements: A Case Study / H. In ; B. Boehm ; T. Rodgers ; M. Deutsch
Software Evolution
Tigra--An Architectural Style for Enterprise Application Integration / W. Emmerich ; E. Ellmer ; H. Fieglein
Reengineering Analysis of Object-Oriented Systems via Duplication Analysis / F. Fioravanti ; G. Migliarese ; P. Nesi
Education Papers
Practical Software Engineering Education
Educating Software Engineering Students to Manage Risk / D. Port
A Formal Approach to Component-Based Software Engineering: Education and Evaluation / M. Sitaraman ; T. J. Long ; B. W. Weide ; E. J. Harner ; L. Wang
Corrective Maintenance Maturity Model (CM[superscript 3]): Maintainer's Education and Training / M. Kajko-Mattsson ; S. Forssander ; U. Olsson
Degree Programs for Software Engineering Education
An Efficient Set of Software Degree Programs for One Domain / T. Shepard
The Software Factory: Combining Undergraduate Computer Science and Software Engineering Education / J. D. Tvedt ; R. Tesoriero ; K. A. Gary
Academic Software Engineering: What Is and What Could Be? Results of the First Annual Survey for International SE Programs / K. L. Modesitt ; D. Bagert ; L. Werth
Plenary Sessions
Software Engineering and the Internet / D. Sabbah
The Coming-of-Age of Software Architecture Research / M. Shaw
"Tolerating Inconsistency" Revisited / R. Balzer
Software Engineering Challenges: A CIO's Perspective / B. Voigt
Reuse That Pays / L. M. Northrop
Challenges and Achievements in Software Engineering / G. Engels ; W. Schafer
Process-Centered Software Engineering Environments: Academic and Industrial Perspectives / V. Gruhn
Specification and Modeling: An Academic Perspective / M. Broy
Specification and Modeling: An Industrial Perspective / B. Selic
Invited Industry Presentations / F. Coallier ; D. Perry
Global Software Development: The Bell Labs Collaboratory / D. Atkins ; M. Handel ; J. Herbsleb ; G. Wills
Does More Necessarily Mean Better? The Software Performance and Reliability Bottleneck / M. Cheng
Software Engineering in a Startup / A. Ricciardi
Technology Drivers and Research Challenges of Future e-Business / S. Feldman
Challenge of Keitai Software: Software Engineering for Next Generation Mobile Phone Systems / Y. Hanai ; M. Aoyama
Web Services and Software Engineering: Challenges and Opportunities / S. Weerawarana
Enterprise Methodology =/= Software Development Methdology / J. Q. Ning
Mining Selected Components: The Options Analysis for Reengineering (OAR) / D. Smith ; L. O'Brien ; J. Bergey
Achieving Usability through Software Architecture / L. Bass ; B. E. John
Frontiers of Software Practice / H. Muller
Enabling Technologies for the Future of Voice-Based Web Access / S. Woods
Jini Network Technology: Devices, Desires, and Designs
Inter-Language Object Sharing with the Common Language Runtime: Infrastructure for MS .NET / J. Hamilton
Collaborative Software Engineering / A. Brown
AntiPatterns in Software Architecture / T. Mobray
Dependability of Embedded Systems / J. Knight
Simple Object Access Protocol (SOAP) and Web Services / A. Ryman
Auditing Legacy Systems for Security and Survivability / T. Longstaff
Panels
Software Engineering Body of Knowledge (Swebok)
Impact Project Panel: Determining the Impact of Software Engineering Research Upon Practice
Software Engineering Research Agendas Panel (SERA): What Can't We Do, But Need to Learn How to Do?
Panel: Perspectives on Software Engineering
Tutorials
UML for Software Engineers / R. France ; C. Kobryn
The Intertwining between Risk and Project Management / K. Fruhauf
Methods of Component-Based Software Engineering: Essential Concepts and Classroom Experience / K. Wallnau
From Use Cases to Code--Rigorous Software Development with UML / A. Zundorf
OPEN: A Flexible OO/CBD Process for Software-Intensive Systems Development, a UML Exposition / H. Younessi ; B. Henderson-Sellers
Describing Software Architecture with UML / P. Kruchten ; W. Kozazynski
Software Product Lines and Software Architecture Design
How to Do Inspections When There is No Time / D. Kelly
EasyWinWin: A Groupware-Supported Methodology for Requirements Negotiation / P. Grunbacher ; R. O. Briggs
Tutorial on Fundamental Concepts for Practical Software Architecture / A. Ran
An Introduction to Java 2 Micro Edition (J2ME); Java in Small Things / J. White
Improving Software Inspections by Using Reading Techniques / F. Shull ; I. Russ ; V. Basili
Mining Components for a Software Architecture and a Product Line: The Options Analysis for Reengineering (OAR) Method
Hyper/J: Multi-Dimensional Separation of Concerns for Java / P. Tarr ; H. Ossher
Enterprise JavaBean Architecture and Design Issues
State, Event, Time and Diagram in System Modeling / J. S. Dong
From UML to Java, Building a 3-Tier Architecture: Case Study / T. Korson
Designing Concurrent, Distributed, and Real-Time Applications with UML / H. Gomaa
Using Transformation Systems for Software Maintenance and Reengineering / I. D. Baxter
Effective Software Architecture Design: From Global Analysis to UML Descriptions / R. L. Nord ; D. J. Paulish ; D. Soni ; C. Hofmeister
Bridging the Requirements/Design Gap in Dynamic Systems with Use Case Maps (UCMs) / D. Amyot ; G. Mussbacher
Introduction to the Attribute Driven Design Method / F. Bachmann
Workshops
2nd International Workshop on Living with Inconsistency
4th ICSE Workshop on "Software Engineering over the Internet" / F. Maurer
Second ICSE Workshop on Software Product Lines: Economics, Architectures, and Applications / P. Knauber ; G. Succi
The Second International Workshop on Automated Program Analysis, Testing and Verification / N. Tracey ; J. Penix ; W. C. Visser
Workshop on Software Engineering and Mobility / G. P. Picco
ICSE Workshop on Software Visualization / W. De Pauw ; J. T. Stasko
Generative Techniques for Product Lines / G. Butler ; D. Batory ; K. Czarnecki ; U. Eisenecker
SEMINAL: Software Engineering using Metaheuristic INnovative ALgorithms / M. Harman ; B. Jones
From Software Requirements to Architectures / J. Castro
3rd International Workshop on Net-Centric Computing (NCC 2001): Theme: Migrating to the Web / J. Jahnke ; E. Stroulia ; K. Wong
Workshop to Consider Global Aspects of Software Engineering Professionalism / J. B. Thompson ; H. M. Edwards
Third International Workshop on Economics-Driven Software Engineering Research / D. Notkin ; W. Harrison
4th ICSE Workshop on Component-Based Software Engineering: Component Certification and System Prediction / I. Crnkovic ; H. Schmidt ; J. Stafford
SCM-10: Tenth International Workshop on Software Configuration Management: New Practices, New Challenges, and New Boundaries / A. van der Hoek
XML Technologies and Software Engineering / C. Mascolo ; A. Finkelstein
Workshop on Advanced Separation of Concerns in Software Engineering / W. Kozaczynski ; G. Larsen
1st Workshop on Open Source Software Engineering / J. Feller ; B. Fitzgerald
Doctoral Symposium
Visualization and Interpretation of Analysis Results within the Context of Formalized UML Diagrams / L. A. Campbell
Modeling and Controlling the Software Test Process / J. W. Cangussu
Using Software Component Generators to Construct a Meta-Weaver Framework / J. Gray
Supporting the Deployment of Object-Oriented Frameworks / D. Hou
Model Checking Distributed Objects Design / N. Kaveh
Web Engineering Device Independent Web Services / E. Kirda
Evolving Legacy Systems using Feature Engineering and CBSE / A. Mehta
Design and Evaluation of the Mobile Agent Architecture for Distributed Consistency Management / D. Smolko
Reuse of Verification Efforts and Incomplete Specifications in a Formalized, Iterative and Incremental Software Process / R. P. Diaz Redondo ; J. J. Pazos Arias
Traceability for System Families / D. Streitferdt
David L. Parnas Symposium / D. Hoffman ; D. Weiss
New Software Engineering Faculty Symposium / L. Osterweil ; G. Silberman
Formal Research Demonstrations
Software Architecture
Model Processing Tools in UML / J. Koskinen ; J. Peltonen ; P. Selonen ; K. Koskimies
Architecture-Oriented Programming Using FRED / M. Hakala ; J. Hautamaki ; J. Paakki ; A. Viljamaa ; J. Viljamaa
Reuse and Integration
CodeWeb: Data Mining Library Reuse Patterns / A. Michail
Holmes: An Intelligent System to Support Software Product Line Development / J. Yip ; W. Pedrycz
Babel: Representing Business Rules in XML for Application Integration / H. Zhang
Verification and Maintenance
Jmocha: A Model Checking Tool that Exploits Design Structure / R. Alur ; L. de Alfaro ; R. Grosu ; T. A. Henzinger ; M. Kang ; C. M. Kirsch ; R. Majumdar ; F. Mang ; B. Y. Wang
Maintenance Support Tools for Java programs: CCFinder and JAAT / T. Kamiya ; F. Ohata ; K. Kondou ; S. Kusumoto ; K. Inoue
Using OCL-Queries for Debugging C++ / C. Hobatr ; B. A. Malloy
Author Index
Message from the Chairs
Conference Organization
Sponsors and Supporters
6.

電子ブック

EB
Rajive L. Bagrodia, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 2001
所蔵情報: loading…
7.

電子ブック

EB
Per Stenstr旦m, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 2001
所蔵情報: loading…
目次情報: 続きを見る
General Chair's Message
Program Chair's Message
Conference Organization
Reviewers
Plenary Session
Opening Remarks
Keynote Speech: Greg Papadopoulos, CTO, Sun Microsystems Inc., USA
Multithreading and Speculation / Session 1:
Execution-based Prediction Using Speculative Slices / C. Zilles ; G. Sohi
Speculative Precomputation: Long-range Prefetching of Delinquent Loads / J. Collins ; H. Wang ; D. Tullsen ; C. Hughes ; Y. Lee ; D. Lavery ; J. Shen
Dynamically Allocating Processor Resources between Nearby and Distant ILP / R. Balasubramonian ; S. Dwarkadas ; D. Albonesi
Memory System Issues / Session 2:
Tolerating Memory Latency through Software-Controlled Pre-Execution in Simultaneous Multithreading Processors / C. Luk
Data Prefetching by Dependence Graph Precomputation / M. Annavaram ; J. Patel ; E. Davidson
Concurrency, Latency, or System Overhead: Which Has the Largest Impact on Uniprocessor DRAM-System Performance? / V. Cuppu ; B. Jacob
Processor Architecture / Session 3:
Focusing Processor Policies via Critical-Path Prediction / B. Fields ; S. Rubin ; R. Bodik
Automated Design of Finite State Machine Predictors for Customized Processors / T. Sherwood ; B. Calder
Better Exploration of Region-Level Value Locality with Integrated Computation Reuse and Value Prediction / Y. Wu ; D. Chen ; J. Fang
Communication Support / Session 4:
CryptoManiac: A Fast Flexible Architecture for Secure Communication / L. Wu ; C. Weaver ; T. Austin
QoS Provisioning in Clusters: An Investigation of Router and NIC Design / K. Yum ; E. Kim ; C. Das
Cache Management / Session 5:
Locality vs. Criticality / S. Srinivasan ; R. Ju ; A. Lebeck ; C. Wilkerson
Dead-Block Prediction and Dead-Block Correlating Prefetchers / A. Lai ; C. Fide ; B. Falsafi
Code Layout Optimizations for Transaction Processing Workloads / A. Ramirez ; L. Barroso ; K. Gharachorloo ; R. Cohn ; J. Larriba-Pey ; P. Lowney ; M. Valero
Architectural Impact of Emerging Technologies / Session 6A:
Exploring and Exploiting Wire-Level Pipelining in Emeging Technologies / M. Niemier ; P. Kogge
NanoFabrics: Spatial Computing Using Molecular Electronics / S. Goldstein ; M. Budiu
Shared-Memory Multiprocessors / Session 6B:
A Simple Method for Extracting Models from Protocol Code / D. Lie ; A. Chou ; D. Engler ; D. Dill
Removing Architectural Bottlenecks to the Scalability of Speculative Parallelization / M. Prvulovic ; M. Garzaran ; L. Rauchwerger ; J. Torrellas
Energy-Effective Designs / Session 7:
Power and Energy Reduction Via Pipeline Balancing / R. Bahar ; S. Manne
Energy-Effective Issue Logic / D. Folegnani ; A. Gonzalez
Cache Decay: Exploiting Generational Behavior to Reduce Cache Leakage Power / S. Kaxiras ; Z. Hu ; M. Martonosi
Performance Tools and Evaluations / Session 8:
Variability in the Execution of Multimedia Applications and Implications for Architecture / P. Kaul ; S. Adve ; R. Jain ; C. Park ; J. Srinivasan
Measuring Experimental Error in Microprocessor Simulation / R. Desikan ; D. Burger ; S. Keckler
Rapid Profiling via Stratified Sampling / S. Sastry ; J. Smith
Author Index
General Chair's Message
Program Chair's Message
Conference Organization
8.

電子ブック

EB
Yale Patt, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE Computer Society, 2001
所蔵情報: loading…
目次情報: 続きを見る
Message from the General Chair
Message from the Program Chairs
Committees
Reviewers
Keynote
Fifty Years of Microarchitecture / H. Cragon
Novel Ideas / Session 1:
Skipper: A Microarchitecture for Exploiting Control-Flow Independence / C. Cher ; T. Vijaykumar
Performance Characterization of a Hardware Mechanism for Dynamic Optimization / B. Fahs ; S. Bose ; M. Crum ; B. Slechta ; F. Spadini ; T. Tung ; S. Patel ; S. Lumetta
Using Variable-MHz Microprocessors to Efficiently Handle Uncertainty in Real-Time Systems / E. Rotenberg
A Design Space Evaluation of Grid Processor Architectures / R. Nagarajan ; K. Sankaralingam ; D. Burger ; S. Keckler
Memory Hierarchies / Session 2:
Reducing Set-Associative Cache Energy via Way-Prediction and Selective Direct-Mapping / M. Powell ; A. Agrawal ; B. Falsafi ; K. Roy
A Code Decompression Architecture for VLIW Processors / Y. Xie ; W. Wolf ; H. Lekatsas
Direct Load: Dependence-Linked Dataflow Resolution of Load Address and Cache Coordinate / B. Chung ; J. Zhang ; J. Peir ; S. Lai ; K. Lai
Energy Efficient Architectures / Session 3:
Reducing Power Requirements of Instruction Scheduling through Dynamic Allocation of Multiple Datapath Resources / D. Ponomarev ; G. Kucuk ; K. Ghose
Exploiting VLIW Schedule Slacks for Dynamic and Leakage Energy Reduction / W. Zhang ; N. Vijaykrishnan ; M. Kandemir ; M. Irwin ; D. Duarte ; Y. Tsai
Reducing Power with Dynamic Critical Path Information / J. Seng ; E. Tune ; D. Tullsen
Direct Addressed Caches for Reduced Power Consumption / E. Witchel ; S. Larsen ; C. Ananian ; K. Asanovic
Emerging Applications for the Connected Home / A. Wolfe
Modulo Scheduling / Session 4:
Modulo Schedule Buffers / M. Merten ; W. Hwu
Graph-Partitioning Based Instruction Scheduling for Clustered Processors / A. Aleta ; J. Codina ; J. Sanchez ; A. Gonzalez
Modulo Scheduling with Integrated Register Spilling for Clustered VLIW Architectures / J. Zalamea ; J. Llosa ; E. Ayguade ; M. Valero
Compilation / Session 5:
Efficient Static Single Assignment Form for Predication / A. Stoutchinin ; F. de Ferriere
The Impact of If-Conversion and Branch Prediction on Program Execution on the Intel Itanium Processor / Y. Choi ; A. Knies ; L. Gerke ; T. Ngai
Mapping Reference Code to Irregular DSPs within the Retargetable, Optimizing Compiler COGEN(T) / G. Grewal ; C. Wilson
Superscalar Architectures / Session 6:
Select-Free Instruction Scheduling Logic / M. Brown ; J. Stark ; Y. Patt
Dual Use of Superscalar Datapath for Transient-Fault Detection and Recovery / J. Ray ; J. Hoe
A High-Speed Dynamic Instruction Scheduling Scheme for Superscalar Processors / M. Goshima ; K. Nishino ; Y. Nakashima ; S. Mori ; T. Kitamura ; S. Tomita
Reducing the Complexity of the Register File in Dynamic Superscalar Processors / R. Balasubramonian ; S. Dwarkadas ; D. Albonesi
Multimedia and Graphics / Session 7:
Saving Energy with Architectural and Frequency Adaptations for Multimedia Applications / C. Hughes ; J. Srinivasan ; S. Adve
Enhancing Loop Buffering of Media and Telecommunications Applications using Low-Overhead Predication / J. Sias ; H. Hunter
Cool-Cache for Hot Multimedia / O. Unsal ; R. Ashok ; I. Koren ; C. Krishna ; C. Moritz
ZR: A 3D API Transparent Technology for Chunk Rendering / E. Hsieh ; V. Pentkovski ; T. Piazza
Multithreading and Value Prediction / Session 8:
Speculative Lock Elision: Enabling Highly Concurrent Multithreaded Execution / R. Rajwar ; J. Goodman
Dynamic Speculative Precomputation / J. Collins ; H. Wang ; J. Shen
Handling Long-latency Loads in a Simultaneous Multithreading Processor / J. Brown
Correctly Implementing Value Prediction in Microprocessors that Support Multithreading or Multiprocessing / M. Martin ; D. Sorin ; H. Cain ; M. Hill ; M. Lipasti
Index of Authors
Message from the General Chair
Message from the Program Chairs
Committees
9.

電子ブック

EB
Asia and South Pacific Design Automation Conference 2001, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 2001
所蔵情報: loading…
10.

電子ブック

EB
IEEE Visualization 2001, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE Computer Society, 2001
所蔵情報: loading…
11.

電子ブック

EB
David Breen, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 2001
所蔵情報: loading…
12.

電子ブック

EB
Rolf Ernst, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE Press, 2001
所蔵情報: loading…
13.

電子ブック

EB
Winter Simulation Conference 2001, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE Computer Society, 2001
所蔵情報: loading…
14.

電子ブック

EB
International School on Quantum Electronics, Peter A. Atanasov, S. S. Cartaleva, Institut po elektronika (B??lgarska akademii??a na naukite)
出版情報: SPIE Digital Library Proceedings , 2001
所蔵情報: loading…
15.

電子ブック

EB
Perina
出版情報: SPIE Digital Library Proceedings , 2001
所蔵情報: loading…
16.

電子ブック

EB
Behringer
出版情報: SPIE Digital Library Proceedings , 2001
所蔵情報: loading…
17.

電子ブック

EB
Takayama
出版情報: SPIE Digital Library Proceedings , 2001
所蔵情報: loading…
18.

電子ブック

EB
Brudny
出版情報: SPIE Digital Library Proceedings , 2001
所蔵情報: loading…
19.

電子ブック

EB
Linde
出版情報: SPIE Digital Library Proceedings , 2001
所蔵情報: loading…
20.

電子ブック

EB
Masten, Michael K. Masten, Larry A. Stockum, Society of Photo-optical Instrumentation Engineers.
出版情報: SPIE Digital Library Proceedings , 2001
所蔵情報: loading…
21.

電子ブック

EB
Dutta
出版情報: SPIE Digital Library Proceedings , 2001
所蔵情報: loading…
22.

電子ブック

EB
Belyaev
出版情報: SPIE Digital Library Proceedings , 2001
所蔵情報: loading…
23.

電子ブック

EB
Vo-dinh
出版情報: SPIE Digital Library Proceedings , 2001
所蔵情報: loading…
24.

電子ブック

EB
Kundu
出版情報: SPIE Digital Library Proceedings , 2001
所蔵情報: loading…
25.

電子ブック

EB
Asundi
出版情報: SPIE Digital Library Proceedings , 2001
所蔵情報: loading…
26.

電子ブック

EB
Luk
出版情報: SPIE Digital Library Proceedings , 2001
所蔵情報: loading…
27.

電子ブック

EB
Lakowicz
出版情報: SPIE Digital Library Proceedings , 2001
所蔵情報: loading…
28.

電子ブック

EB
Khounsary, Ali M. Khounsary, Carolyn Ann MacDonald, Society of Photo-optical Instrumentation Engineers.
出版情報: SPIE Digital Library Proceedings , 2001
所蔵情報: loading…
29.

電子ブック

EB
Tong
出版情報: SPIE Digital Library Proceedings , 2001
所蔵情報: loading…
30.

電子ブック

EB
Freund, Andreas K. Freund, Society of Photo-optical Instrumentation Engineers.
出版情報: SPIE Digital Library Proceedings , 2001
所蔵情報: loading…
31.

電子ブック

EB
Fishell
出版情報: SPIE Digital Library Proceedings , 2001
所蔵情報: loading…
32.

電子ブック

EB
Javidi
出版情報: SPIE Digital Library Proceedings , 2001
所蔵情報: loading…
33.

電子ブック

EB
Shen, Michael R. Descour, Sylvia S. Shen, Society of Photo-optical Instrumentation Engineers.
出版情報: SPIE Digital Library Proceedings , 2001
所蔵情報: loading…
34.

電子ブック

EB
Zelnio, Edmund G. Zelnio, Society of Photo-optical Instrumentation Engineers.
出版情報: SPIE Digital Library Proceedings , 2001
所蔵情報: loading…
35.

電子ブック

EB
Priddy
出版情報: SPIE Digital Library Proceedings , 2001
所蔵情報: loading…
36.

電子ブック

EB
Bosacchi
出版情報: SPIE Digital Library Proceedings , 2001
所蔵情報: loading…
37.

電子ブック

EB
Nasrabadi
出版情報: SPIE Digital Library Proceedings , 2001
所蔵情報: loading…
38.

電子ブック

EB
出版情報: AIP Conference Proceedings (American Institute of Physics) , AIP Publishing, 2001
所蔵情報: loading…
目次情報: 続きを見る
Minisymposium
Development of Standard Techniques: Elastic Wave Scattering
Elastic Wave Propagation
Eddy Currents
Radiography and CT
Optical Techniques
Thermal Techniques
Emerging Inspection Technologies: LaserBased Ultrasonics
Interpretive Signal Processing and Image Analysis: Signal Processing
Neural Networks
Electromagnetic Techniques
Magnetic Resonance Methods
Imaging and Inversion Methods
Sensors and New Techniques: Ultrasonic and Acoustic Sensors
Electromagnetic Sensors
New Techniques and Simulations
Engineered Materials: Composite Properties
Composite Defects
Interfaces
Bonded Joints
Material Properties: Metals
Ceramics and Semiconductors
Microstructure and Surface Roughness
Magnetic Methods and Materials
Thin Films and Coatings
Corrosion
Nonlinearity, Deformation, and Fracture: Nonlinear Effects
Stress and Fatigue Cracks
Civil Structures and Materials
Systems, Process Control, and Reliability
317 articles
Index
Minisymposium
Development of Standard Techniques: Elastic Wave Scattering
Elastic Wave Propagation
39.

電子ブック

EB
Felix A. Aharonian, Heinz Völk
出版情報: AIP Conference Proceedings (American Institute of Physics) , AIP Publishing, 2001
所蔵情報: loading…
目次情報: 続きを見る
Preface
Invited Talks / Part 1:
Introductory Reviews
GeV Gamma-ray Astronomy in the Era of GLAST / N. Gehrels
Status of VHE Astronomy c.2000 / T. C. Weekes
Origin of Cosmic Radiation / T. K. Gaisser
High-Energy Neutrino Astronomy: Towards Kilometer-Scale Detectors / F. Halzen
Non-Thermal Radiation of SNRs
Galactic Supernova Remnants: An Overview of Their Radio Properties / D. A. Green
Particle Acceleration in Supernova Remnants / L. O'C. Drury
Particle Acceleration in the Shell of SNRs / K. Koyama
Theory of High-Energy Gamma-ray Emission of Supernova Remnants / E. G. Berezhko
Pulsars, Pulsar Winds, and Plerions
Gamma-ray Pulsars: Observations / D. J. Thompson
Gamma-ray Pulsars: Models and Predictions / A. K. Harding
Gamma Rays from Unshocked Pulsar Winds / S. Bogovalov ; F. A. Aharonian
Gamma-ray Emission from Binary Pulsars / L. Ball
Gamma Rays from the Crab Nebula and Other Plerions--Testing MHD Models / O. C. de Jager
Diffuse Galactic Emission and Unidentified Egret Sources
Galactic Diffuse Gamma-ray Emission ]10 GeV / S. D. Hunter
Gamma Rays from Star-Formation Regions / J. Paul
Stable EGRET Unidentified Sources in Regions of Star Formation / I. A. Grenier
Gamma-ray Bursts, Cosmic-ray Origin, and the Unidentified EGRET Sources / C. D. Dermer
Microquasars
Microquasars: Hard X-ray/[gamma]-ray Emission / R. Fender
High-Energy Gamma Rays Expected from Microquasars / A. Atoyan ; F. Aharonian
Jets and Outflows from Advective Accretion Disks / S. K. Chakrabarti
Gamma-ray Blazars
Gamma-ray Emission from Active Galactic Nuclei--An Overview / G. V. Bicknell ; S. J. Wagner ; B. Groves
Blazars / M. Sikora ; G. Madejski
Acceleration of Particles in Gamma-ray Sources: Blazars and Gamma-ray Bursts / G. Pelletier
On a MHD Classification of AGN / K. Tsinganos ; C. Sauty ; E. Trussoni
Kinetic Theory of Relativistic Jets in Active Galactic Nuclei / R. Schlickeiser ; M. Pohl ; C. Schuster
EGRET (GeV) Blazars / R. Mukherjee
Red and Blue Blazars / R. M. Sambruna
X-ray Studies of Blazars / T. Takahashi
Multiwavelength Properties of Blazars
Neutrinos from AGN / D. Kazanas
High-Energy Counterparts of Grbs
Observations of the Highest-Energy Gamma Rays from Gamma-ray Bursts / B. L. Dingus
Particle Acceleration at Relativistic Shocks / A. Achterberg
High-Energy Gamma-ray Emission Expected from Gamma-ray Bursts / E. V. Derishev ; V. V. Kocharovsky ; Vl. V. Kocharovsky
Neutrinos from Gamma-ray Bursts / K. Mannheim
Non-Thermal Emission of Clusters of Galaxies
High-Energy X-ray Emission in Clusters of Galaxies / Y. Rephaeli
Winds and Shocks in Galaxy Clusters: Shock Acceleration on an Intergalactic Scale / T. W. Jones ; F. Miniati ; D. Ryu ; H. Kang
Observational Cosmology with Gamma Rays
Intergalactic Magnetic Fields and Implications for CR and [gamma] ray Astronomy / P. P. Kronberg
Probing Galaxy Formation with High-Energy Gamma Rays / J. R. Primack ; R. S. Somerville ; J. S. Bullock ; J. E. G. Devriendt
The Extragalactic Gamma-ray Background / A. Mucke
Gamma Rays from Dark Matter / R. J. Protheroe
Vhe Gamma-ray Astronomy: Status and Future
TeV Gamma-ray Sources / M. Punch
The 100 GeV Domain, from Ground and from Space / P. Fleury
Oral Talks and Posters / Part 2:
Gamma-ray Detection Techniques and Instrumentation
Science with AGILE / S. Vercellone
Status and Current Sensitivity of the CELESTE Experiment / M. de Naurois
Performance of the STACEE Atmospheric Cherenkov Telescope / D. A. Williams
The Milagro Gamma-ray Observatory / J. E. McEnery
ARGO-YBJ Resolution and Sensitivity to Detect Gamma-rays Sources / D. Martello
Performance of the Tibet II/HD Air Shower Array / M. Amenomori
Threshold Energy Estimates of the TACTIC Array / N. Sathyabama ; M. L. Sapru ; M. K. Koul ; A. Razdan ; C. L. Bhat
Stereo Imaging of the VHE [gamma]-rays with HEGRA and H.E.S.S. / A. K. Konopelko
Sensitivity of VERITAS to Microsecond [gamma]-ray Burst Phenomena / F. Krennrich ; S. Le Bohec ; T. Weekes
Status of the CANGAROO-III Project / M. Mori
GRACE--An Update
What Have We Learned from the MAGIC Telescope Developments for a Future Large IACT? / E. Lorenz ; R. Mirzoyan
A Concept for a Wide Angle TeV [gamma] Sky Monitor
All Sky Monitor for Energetic [gamma]-rays / T. Kifune
Atmospheric Sensing for Atmospheric Cherenkov Telescopes / P. M. Chadwick ; M. K. Daniel ; K. Lyons ; T. J. L. McComb ; J. M. McKenny ; S. J. Nolan ; K. J. Orford ; J. L. Osborne ; S. M. Rayner
Geomagnetic Effects on Atmospheric Cherenkov Images
A New Background Estimate in HEGRA CT-System Data Analysis / G. P. Rowell
Prospects of Observing Pulsed Radiation from Gamma-ray Pulsars with H.E.S.S. / A. Konopelko ; B. C. Raubenheimer ; B. Visser
Towards More Holistic Cerenkov Event Classification Schemes / A. Haungs ; H. Rebel
Feasibility of Operating MACE Gamma-ray Telescope in Near UV Range / M. Sharma ; A. M. Wani
Calibration of CANGAROO II Telescope Using a Fast Blue LED Light Flasher / J. R. Patterson ; D. L. Swaby ; N. Wild
Prospects from Measuring Polarization State of Atmospheric Cerenkov Events / V. N. Gokhale ; S. Bhattacharyya ; A. K. Tickoo ; R. C. Rannot ; J. Procureur ; D. Dumora
Gamma-Ray Blazars and Related Topics
Observations of Mkn 421 with the CELESTE Experiment / J. Holder
Recent Mkn 501 and Mkn 421 Results from the Stereoscopic Cherenkov Telescope System of HEGRA / H. Krawczynski
CAT Observations of the Blazar Mrk421 / R. Bazer-Bachi
VHE Observations of High-Energy Peak BL Lacs
RGB 0509+056: EGRET's Highest-Energy Detection of a Blazar / E. Heider
Blazars at MeV Energies / W. Collmar
Evidence for a Characteristic Time-Scale in the X-ray Light Curves of TeV Blazars / J. Kataoka ; P. G. Edwards ; S. Inoue ; F. Takahara
Energy-Dependent X-ray Variability of Mkn 421 / Y. H. Zhang ; G. Fossati ; A. Celotti ; A. Treves
X-ray Observations of Mkn 421 with USA / B. Giebels
TeV Blazars on the Milli-Arcsecond Scale / B. G. Piner ; S. Fodor ; T. A. Rector
Physical Parameters of TeV Blazars / M. Kino ; M. Kusunose
A Time-Dependent Model for High-Energy Emission of Blazars / G. Henri ; N. Renaud ; L. Sauge
Electron Acceleration and Time Variability of Blazars
Particle Acceleration and Radiation in Blazar Jets / A. Mastichiadis ; M. Georganopoulos ; J. G. Kirk
TeV [gamma]-ray Production in the Broad Line Region of BL Lac Objects / P. Skelton
Effect of Adiabatic Cooling on Non-thermal Spectra of Blazars / S. Sahayanathan ; C. L. Kaul
Application of the Synchrotron Proton Blazar Model to BL Lac Objects
Hadronic Correlated Flares from Mrk 501 / J. P. Rachen
The Origin of the Jet and the Implication of the Existing Disk-Jet Symbiosis for the [gamma]-ray Emission in AGN / A-C. Donea ; J-L. Masnou ; F. Donea
Blue Quasars and Blazar Unification
A Possible Black Hole Binary in Mkn 501 / F. M. Rieger
The Properties of the Gamma-ray Blazars in the CJ-F VLBI Sample / S. Britzen ; R. C. Vermeulen ; G. B. Taylor ; R. M. Campbell ; I. W. Browne ; P. Wilkinson ; T. J. Pearson ; A. C. S. Readhead
Multifrequency Monitoring of 3C 66A / L. O. Takalo ; A. Sillanpaa
Variability Modes of Blazars from Intensive Optical Monitoring / G. Tosti ; S. Ciprini ; E. Massaro ; M. Maesano ; M. Montagni ; R. Nesci
UBVRI Photometry of Southern Sky BL Lacs / R. R. Sefako ; H. Winkler
Ground-Based Optical Support for Gamma-ray Observations on Blazars
Optical Monitoring Data for High-Energy Sources / R. Hudec ; J. Polcar ; H. Meusinger ; P. Kroll
High-Energy Gamma Rays from Galactic Sources
Discovery of a Microquasar with High-Energy Gamma-ray Emission / J. M. Paredes ; J. Marti ; M. Ribo ; M. Massi
Evidence for TeV Gamma-ray Emission from Cassiopeia A / G. Puhlhofer
Observations of the Crab Nebula with the CAT Imaging Atmospheric Cerenkov Telescope / C. Masterson
VHE Gamma Rays from Binary Systems / S. Chaty ; C. A. Haswell ; U. Kolb ; A. J. Norton
Search for Multi-TeV Gamma-ray Emission from Nearby SNRs with the Tibet Air Shower Array
Could the Unidentified EGRET Sources in the Gould Belt Be of Pulsar Origin? / B. Zhang
Search for TeV [gamma]-ray Emission from the Open Star Cluster Berkeley 87 / M. Tluczykont
Search for Interstellar Clouds Associated with the TeV [gamma]-ray Emission Detected Towards the Remnant of SN1006 / G. Dubner ; A. C. Rovero
Observations of the Monoceros/Rosette Nebula with the HEGRA System of IACTs / F. Lucarelli
Observations of Tycho's SNR with the HEGRA CT-System: Results and Implications
Search for High-Energy Gamma Rays with the KASCADE Experiment / F. Fessler
General
Cosmic-ray and TeV Gamma-ray Generation by Quasar Remnants / E. Boldt ; M. Loewenstein
UHECR Production and Curvature TeV Emission in Nearby, Dormant AGNs / A. Levinson
Forming Clusters of Galaxies as the Origin of Unidentified GeV Gamma-ray Sources / T. Totani ; T. Kitayama
Search for TeV [gamma]-ray Emission from Giant Radiogalaxies with the HEGRA IACT System / N. Gotting
On the First-Order Fermi Acceleration at Ultrarelativistic Shocks / M. Ostrowski ; J. Bednarz
Particle Acceleration in Magnetic Reconnection Zones / R. Schopper ; H. Lesch ; G. T. Birk
The Axisymmetric Pulsar Magnetosphere / J. Contopoulos ; C. Fendt
Pulsar Geometrodynamics: Limitations for the Gamma-ray Radiation / A. A. da Costa ; D. A. Diver
Test Particle Acceleration by Rotating Jet Magnetospheres
Jets, Disks, and Spectral States of Black Holes
On Radiative Acceleration of Jets and Outflows from Advective Disks / I. Chattopadhyay
An Interpretation of the Evidence for TeV Emission from Gamma-ray Burst 970417a
Search for Gamma-ray Bursts with the Tibet Air Shower Array
Electromagnetic Cascades around Primordial Black Holes Evaporating in the MHD Regime and Their Observational Appearance / A. A. Belyanin
Hard Gamma-ray Emission from Primordial Black Hole Haloes around Massive Objects
Detecting the Attenuation of Blazar Gamma-ray Emission by Extragalactic Background Light with GLAST / A. Chen ; S. Ritz
Evolving Stellar Background Radiation and Gamma-ray Optical Depth / T. M. Kneiske ; D. Hartmann
Constraints on the IR Background Based on CAT Spectrum of Mkn 501 / C. Renault ; J. Guy ; M. Rivoal ; J-P. Tavernet
Search for Bose-Einstein Condensates in TeV Photon Events from Mrk-501 with the HEGRA Air Cherenkov Telescopes / D. Horns
Lorentz Symmetry Violation and Acceleration in Relativistic Shocks / L. Gonzalez-Mestres
Gamma- and Cosmic-ray Tests of Special Relativity
Author Index
Preface
Invited Talks / Part 1:
Introductory Reviews
40.

電子ブック

EB
International Conference on Spectral Line Shapes, Joachim Seidel
出版情報: AIP Conference Proceedings (American Institute of Physics) , AIP Publishing, 2001
所蔵情報: loading…
41.

電子ブック

EB
出版情報: AIP Conference Proceedings (American Institute of Physics) , AIP Publishing, 2001
所蔵情報: loading…
42.

電子ブック

EB
Tours Symposium on Nuclear Physics, Marcel Arnould
出版情報: AIP Conference Proceedings (American Institute of Physics) , AIP Publishing, 2001
所蔵情報: loading…
目次情報: 続きを見る
Preface
Organizing Committee
Letters
Schedule
Group Photo
Nuclear Astrophysics (NAP)
Stellar Structure and Evolution--Handling Nuclear Reaction Networks
Mixing and Thermonuclear Processes in Stars / N. Langer ; A. Heger ; F. Herwig ; S. Wellstein
Important Current Issues in Supernova Theory / A. Burrows
Exploding and Non-exploding Stars: Coupling Nuclear Reaction Networks to Multidimensional Hydrodynamics / K. Kifonidis ; T. Plewa ; E. Muller
Phase Transitions in Dense Matter and Recent Topics of Neutron Stars / M. Yasuhira
Nucleosynthesis in Massive Stars Using Extended Adaptive Nuclear Reaction Networks / T. Rauscher ; R. D. Hoffman ; S. E. Woosley
Collapse-Driven Supernovae and the r-Process with New Data of Unstable Nuclei / K. Sumiyoshi
Nuclear Physics and Cosmochronology
Improved Predictions of Nuclear Data: A Continued Challenge in Astrophysics / S. Goriely
Cosmology, Cosmic Chemical Evolution, and the Age Problem / G. J. Mathews
The Re/Os Clock: Open Questions Regarding the Neutron Cross Sections / A. Mengoni ; F. Kappeler
Theoretical Nuclear Astrophysics in Tours: A Summary / M. Arnould ; K. Takahashi
Advances in Cross Section Measurements at Low Energies / M. Junker
Nuclear Astrophysics with a Recoil Mass Separator / F. Strieder
Radioactive Beams in Nuclear Astrophysics / M. S. Smith
The Trojan Horse Method in Nuclear Astrophysics / M. Aliotta ; M. Lattuada ; M. G. Pellegriti ; R. G. Pizzone ; C. Spitaleri ; D. Miljanic ; C. Rolfs ; S. Typel ; H. H. Wolter
First Result of the Cross Sectional Measurement of [superscript 3]He-[superscript 3]He Solar Reaction in OCEAN / T. Itahashi ; N. Kudomi ; K. Kume ; K. Takahisa ; S. Yoshida ; H. Ejiri ; H. Toki ; Y. Nagai ; M. Komori ; H. Ohsumi
New Measurements of Astrophysical ([gamma],n) Reaction Rates Using a Quasi-thermal Photon Bath from Bremsstrahlung / K. Vogt ; M. Babilon ; W. Bayer ; K. Denefleh ; J. Enders ; D. Galaviz ; T. Hartmann ; C. Hutter ; P. Mohr ; S. Volz ; A. Zilges
Nuclear Reactions in the Static Burning of Stars
Nuclear Reactions in Hot and Explosive Burning: A Summary / H. Utsunomiya ; T. Kajino
Atomic Cluster Physics (ACP)
Atomic Clusters and Atomic Nuclei / C. Guet
Shell Effects on Fission of Metal Clusters / M. Nakamura
Evaporation of Finite Systems: The Case of Atomic Clusters / C. Brechignac ; Ph. Cahuzac ; B. Concina ; J. Leygnier ; B. Villard
Time-Dependent Mean-Field Method in Electronic Systems / K. Yabana
Formation of New Materials in Fullerenes by Using Nuclear Recoil / T. Ohtsuki ; K. Ohno ; K. Shiga ; Y. Kawazoe ; Y. Maruyama ; K. Shikano ; K. Masumoto
Electronic Properties of Nanotube Based Materials / S. Saito
Physics for Nuclear Transmutation (PNT)
Radiochemical Measurements of Nuclear Data for Transmutation of Minor Actinides / N. Shinohara
Basic Nuclear Research Involvment in the French Research Programme on the Back-End of the Nuclear Fuel Cycle / H. C. Flocard
Physics with Exotic Nuclei (PEN)
Halo Nuclei and Nuclear Clusters
Nuclear Halo and Molecular States / N. A. Orr
Measurements of Interaction Cross Sections for Nuclei Far from Stability at Relativistic Energies / T. Suzuki
Shell Structure of Neutron-Rich Light Nuclei: New Vista / F. Azaiez
Nuclear Shells Very Far From Stability
Proton Drip-Line Nuclei Studied at Intermediate Energies / B. Blank
Nuclear Structure in the Vicinity of Shell Closures Far from Stability / H. Grawe ; M. Gorska ; J. Doring ; C. Fahlander ; M. Palacz ; F. Nowacki ; E. Caurier ; J. M. Daugas ; M. Lewitowicz ; M. Sawicka ; M. Pfutzner ; R. Grzywacz ; K. Rykaczewski ; O. Sorlin ; S. Leenhardt ; M. Rejmund ; K. Hauschild ; J. Uusitalo
Superheavy Elements (SHE)
Experimental Developments
Heaviest Elements (Synthesis and Decay Properties) / Y. T. Oganessian
Recent Developments in the Synthesis of Superheavy Elements / D. Ackermann
Experimental Developments II
Fusion of Deformed Nuclei in the Vicinity of the Coulomb Barrier / H. Ikezoe ; S. Mitsuoka ; K. Nishio ; K. Satou ; S. C. Jeong
Production of Superheavy Elements at GANIL / C. Stodel ; N. Alamanos ; N. Amar ; J. C. Angelique ; R. Anne ; G. Auger ; J. M. Casandjian ; R. Dayras ; A. Drouart ; J. M. Fontbonne ; A. Gillibert ; S. Grevy ; D. Guerreau ; F. Hanappe ; R. Hue ; A. S. Lalleman ; N. Lecesne ; T. Legou ; R. Lichtenthaler ; E. Lienard ; L. Maunoury ; W. Mittig ; N. Orr ; J. Peter ; E. Plagnol ; G. Politi ; M. G. Saint-Laurent ; J. C. Steckmeyer ; J. Tillier ; R. de Tourreil ; A. C. C. Villari ; J. P. Wieleczko ; A. Wieloch
Search for a Z=118 Superheavy Nucleus in the Reaction of Kr Beam with Pb Target at RIKEN / K. Morimoto ; K. Morita ; I. Tanihata ; N. Iwasa ; R. Kanungo ; T. Kato ; K. Katori ; H. Kudo ; T. Suda ; I. Sugai ; S. Takeuchi ; F. Tokanai ; K. Uchiyama ; Y. Wakasaya ; T. Yamaguchi ; A. Yeremin ; A. Yoneda ; A. Yoshida
Nuclear Chemistry of Heavy Elements
Spectroscopic Studies of Mass-Separated Heavy Nuclei / M. Asai ; M. Sakama ; K. Tsukada ; S. Ichikawa ; H. Haba ; I. Nishinaka ; Y. Nagame ; S. Goto ; Y. Kojima ; Y. Oura ; H. Nakahara ; M. Shibata ; K. Kawade
Gas Chromatographic Studies of the Heaviest Elements / A. Vahle
Properties of Superheavy Elements
The Performance of Mean-Field Models for Superheavy Elements / P.-G. Reinhard ; M. Bender ; T. Burvenich ; T. Cornelius ; P. Fleischer ; J. A. Maruhn
Decay Properties of Heavy and Superheavy Nuclei Predicted by Nuclear Mass Formulas / H. Koura
Microscopic Description of Damped Collective Motion / S. Yamaji ; H. Hofmann ; F. A. Ivanyuk
Reaction Theory for Superheavy Elements
Reaction Theory for the Synthesis of Superheavy Elements / T. Wada ; Y. Aritomo ; T. Ichikawa ; M. Ohta ; Y. Abe
Fusion and Quasifission in Collisions of Heavy Nuclei / G. G. Adamian ; N. V. Antonenko ; A. Diaz Torres ; W. Scheid ; Y. M. Tchuvil'sky
Production of Superheavy Elements in Cold Fusion Reactions / V. Y. Denisov
Fission Modes
The Limit of Nuclear Deformation and Fission Properties of Heavy and Superheavy Elements / Y. L. Zhao ; K. Sueki
Five-Dimensional Potential-Energy Surfaces and Coexisting Fission Modes in Heavy Nuclei / P. Moller ; D. G. Madland ; A. J. Sierk ; A. Iwamoto
List of Participants
Author Index
Preface
Organizing Committee
Letters
43.

電子ブック

EB
Gerardo Herrera Corral, Lukas Nellen
出版情報: AIP Conference Proceedings (American Institute of Physics) , AIP Publishing, 2001
所蔵情報: loading…
目次情報: 続きを見る
Preface
Acknowledgements
Session in Honor of James W. Cronin
James Cronin and the Physics in Mexico / G. Herrera Corral
Lecture Courses
Supersymmetric Dark Matter / J. Ellis
Introduction to Supersymmetry / C. R. Romero
Theories in More Than Four Dimensions / A. Perez-Lorenzana
Topics on Strings, Branes and Calabi-Yau Compactifications / H. Garcia-Compean ; O. Loaiza-Brito
Dark Matter and Energy of Universe / L. Masperi
Disoriented Chiral Condensates in High-Energy Nuclear Collisions / J. Randrup
The Experimental Road to the Heavier Quarks and Other Heavy Objects / J. A. Appel
An Experiment in Diffractive Physics / A. Santoro
The Ups and Downs of J/[psi] Suppression / R. Vogt
Electroweak Interactions at LEP / J. Swain
Short Seminars
Radiative Quark Mass Matrix Generation in a Model with a U(1)[subscript x] Symmetry / E. Garcia ; A. Hernandez-Galeana ; D. Jaramillo ; W. A. Ponce ; A. Zepeda
New Physics with Mirror Fermions / R. Gaitan
Multipole Moments in the [Delta]++Resonance from Bremsstrahlung and Pion Photoproduction / A. Mariano
Energy Dependence of the Quark Masses and Mixings / S. R. Juarez W. ; S. F. Herrera H. ; P. Kielanowski ; G. Mora H.
Limits on Excited Tau Lepton from W[right arrow tau nu subscript [tau] Decay / R. Diaz Sanchez ; R. Martinez ; A. O. Sampayo
Pion Dispersion Relation at Finite Temperature in the Linear Sigma Model / S. Sahu
CP Violation with Hypermagnetic Fields and Electroweak Baryogenesis / G. Pallares ; A. Ayala
Charged Current Cross Section [nu]-N to Low Energy and Their Match with Observations / K. Goiz Hernandez ; J. J. Godina Nava
Signals of New Physics and Higgs Detection / J. Lorenzo Diaz-Cruz
"Eightfold Way" from Instanton Dynamics / M. Napsuciale ; M. Kirchbach
s--s Asymmetry in Nucleons and the Strange Quark Distribution in Kaons and Hyperons / E. Cuautle ; J. Magnin
Group Picture
List of Participants
Author Index
Preface
Acknowledgements
Session in Honor of James W. Cronin
44.

電子ブック

EB
Hernán Chuaqui, Mario Favre
出版情報: AIP Conference Proceedings (American Institute of Physics) , AIP Publishing, 2001
所蔵情報: loading…
45.

電子ブック

EB
Workshop on Frontier Tests of QED and Physics of the Vacuum, Giovanni Cantatore
出版情報: AIP Conference Proceedings (American Institute of Physics) , AIP Publishing, 2001
所蔵情報: loading…
目次情報: 続きを見る
Preface
International Advisory Board
Opening Remarks / E. Zavattini
Aspects of Supercritical Heavy Ion Collisions / W. Greiner ; J. Reinhardt
Towards a Lamb Shift Measurement in Muonic Hydrogen / F. Kottmann ; F. Biraben ; C. A. N. Conde ; C. Donche-Gay ; T. W. Hansch ; F. J. Hartmann ; P. Hauser ; V. W. Hughes ; O. Huot ; P. Indelicato ; P. Knowles ; Y.-W. Liu ; V. E. Markushin ; F. Mulhauser ; F. Nez ; R. Pohl ; P. Rabinowitz ; J. M. F. dos Santos ; L. A. Schaller ; H. Schneuwly ; W. Schott ; D. Taqqu ; J. F. C. A. Veloso
Precision Measurements of the Casimir Force Using an Atomic Force Microscope / B. W. Harris ; F. Chen ; Anushree Roy ; U. Mohideen
QED in the Worldline Formalism / C. Schubert
Dissipative Effects in the Propagation of Polarized Photons / F. Benatti ; R. Floreanini
Self-Energy Screening in Two-Electron Ions / P. J. Mohr
Density Effects in Antiprotonic Helium / D. Bakalov ; M. Stoilov ; E. Tchoukova ; B. Jeziorski ; T. Korona ; K. Szalewicz
Quantum Algebraic Representation of Localization and Motion of a Dirac Electron / M.-T. Jaekel ; S. Reynaud
From Effective Actions to Actual Effects / H. Gies
The PVLAS Collaboration: Experimental Search for Anisotropy of the Phase Velocity of Light in Vacuum Due to a Static Magnetic Field / F. Brandi ; M. Bregant ; G. Cantatore ; S. Carusotto ; F. Della Valle ; G. Di Domenico ; U. Gastaldi ; E. Milotti ; R. Pengo ; G. Petrucci ; E. Polacco ; G. Ruoso ; G. Zavattini
Pseudoscalar Production in Electromagnetic Fields by a Schwinger-like Mechanism / E. Masso
Decay of the Vacuum with Production of e[superscript +]e[superscript -] Pairs in Very Strong Magnetic Fields / G. Calucci
Lorentz and CPT Tests in QED / R. Bluhm
The Heat-Kernel Coefficient a[subscript 2] and the Casimir Energy of a Dielectric Cylinder / M. Bordag ; I. G. Pirozhenko
A 25 T Dipole Pulsed Magnet to Study the Magnetic Birefringence of Vacuum: The BMV Project / S. Askenazy ; J. Billette ; P. Dupre ; P. Ganau ; J. Mackowski ; J. Marquez ; L. Pinard ; O. Portugall ; D. Ricard ; G. L. J. A. Rikken ; C. Rizzo ; G. Trenec ; J. Vigue|p115
Electro-optical Signal Readout for Gravitational Waves Resonant Detectors / F. Marin ; M. Cerdonio ; L. Conti ; M. De Rosa ; G. A. Prodi ; L. Taffarello ; J. P. Zendri
Treatment of Atomic Quasi-degeneracy in Bound-State QED: Application to the 1s2[subscript p] States of He-like Ions / I. Lindgren ; A.-M. Martensson-Pendrill ; S. Salomonson ; B. Asen
The Magnetic Moment Anomaly of the Electron Bound in Hydrogenic Ions / W. Quint ; T. Beier ; H. Haffner ; N. Hermanspahn ; S. Karshenboim ; H.-J. Kluge ; G. Marx ; T. Valenzuela ; J. Verdu ; G. Werth
Atomic Energy Levels with QED and Contribution of the Screened Self-Energy / E. O. Le Bigot
Neutrino Scattering in a Magnetic Field / K. S. McFarland ; A. C. Melissinos
Second-Order Radiative Corrections to the Axial Vector Anomaly / W. Dittrich
Complete Result of the [alpha](Z[alpha superscript 3] Muonium Hyperfine Structure / M. Nio
Quantum Fluctuations of the Gravitational Field and Propagation of Light: A Heuristic Approach / S. Ansoldi
Atomic Interferometry: Principles and Applications to Fundamental Physics / R. Delhuille ; C. Champenois ; M. Buchner ; R. Mathevet ; C. Robilliard ; J. Vigue
The Muon Anomalous Magnetic Moment Experiment at Brookhaven / H. N. Brown ; G. Bunce ; R. M. Carey ; P. Cushman ; G. T. Danby ; P. T. Debevec ; H. Deng ; W. Deninger ; S. K. Dhawan ; V. P. Druzhinin ; L. Duong ; W. Earle ; E. Efstathiadis ; F. J. M. Farley ; G. V. Fedotovich ; S. Giron ; F. Gray ; M. Grosse Perdekamp ; A. Grossmann ; U. Haeberlen ; M. Hare ; E. S. Hazen ; D. W. Hertzog ; M. Iwasaki ; K. Jungmann ; D. Kawall ; M. Kawamura ; B. I. Khazin ; J. Kindem ; F. Krienen ; I. Kronkvist ; R. Larsen ; Y. Y. Lee ; W. Liu ; I. Logashenko ; R. McNabb ; W. Meng ; J. L. Mi ; J. P. Miller ; W. M. Morse ; D. Nikas ; C. J. G. Onderwater ; Y. Orlov ; C. S. Ozben ; C. Pai ; J. M. Paley ; C. Polly ; J. Pretz ; R. Prigl ; G. zu Putlitz ; S. I. Redin ; O. Rind ; B. L. Roberts ; N. Ryskulov ; S. Sedykh ; Y. K. Semertzidis ; Y. M. Shatunov ; E. Sichtermann ; E. Solodov ; M. Sossong ; A. Steinmetz ; L. R. Sulak ; C. Timmermans ; A. Trofimov ; D. Urner ; P. von Walter ; D. Warburton ; D. Winn ; A. Yamamoto ; D. Zimmerman
Hadronic Vacuum Polarization Contribution to the Spectra of Hydrogenic Atoms / R. N. Faustov ; A. P. Martynenko
The DEAR Experiment on DA[Phi]NE / M. Augsburger ; G. Beer ; S. Bianco ; A. M. Bragadireanu ; W. H. Breunlich ; M. Cargnelli ; D. Chatellard ; C. Curceanu (Petrascu) ; J.-P. Egger ; F. L. Fabbri ; B. Gartner ; C. Guaraldo ; R. S. Hayano ; M. Iliescu ; T. Ishiwatari ; T. M. Ito ; R. King ; T. Koike ; B. Lauss ; V. Lucherini ; J. Marton ; S. N. Nakamura ; T. Ponta ; A. C. Sanderson ; L. Schellenberg ; R. Seki ; D. Tomono ; T. Yoneyama ; J. Zmeskal
Axial Anomaly and Mass Singularity Cancellation in QED / M. Verbeni
Metrology of Hydrogen Atom: Determination of the Rydberg Constant and Lamb Shifts / G. Hagel ; C. Schwob ; L. Jozefowski ; B. de Beauvoir ; L. Hilico ; O. Acef ; L. Julien ; A. Clairon
Limits on Sizes of Fundamental Particles and on Gravitational Mass of a Scalar / I. Dymnikova ; J. Ulbricht ; J. Zhao
QED Effective Actions in Inhomogeneous Backgrounds: Summing the Derivative Expansion / G. V. Dunne
QED Test at LEP200 Energies in the Reaction e[superscript +]e[superscript - right arrow gamma gamma]([gamma]) / A. Bajo ; A. Sakharov ; E. Sanchez
A Sensitive Search for a Muon Electric Dipole Moment / H. Brown ; J. W. Jackson ; D. M. Lazarus ; V. Balakin ; A. Bazhan ; A. Dudnikov ; G. Sylvestrov ; E. J. Stephenson
Crystal Spectroscopy and Exotic Atoms / L. M. Simons
Proton Polarizability Contribution to the Hydrogen Lamb Shift and Hyperfine Splitting
High-Precision Spectroscopy of Antiprotonic Helium / E. Widmann
Closing Remarks
List of Participants
Author Index
Preface
International Advisory Board
Opening Remarks / E. Zavattini
46.

電子ブック

EB
Stephen S. Holt, Una Hwang
出版情報: AIP Conference Proceedings (American Institute of Physics) , AIP Publishing, 2001
所蔵情報: loading…
目次情報: 続きを見る
Preface
Introduction
Pineapples and Crabs: When Young Supernova Remnants Were Even Younger / V. Trimble
Young Supernova Remnants: Issues and Prospects / C. F. McKee
Stage Setting
Type Ia Supernovae: Toward the Standard Model? / D. Branch
Optical Observations of Core-Collapse Supernovae / A. V. Filippenko
Hydrodynamics of Young Supernova Remnants / J. M. Blondin
Early Optical Spectroscopic Evidence for Conical Ejection in Supernovae? / E. M. Schlegel
Radio Emission from Supernovae in Binary Systems / F. R. Boffi ; N. Panagia
The Fading Radio Emission from Supernova 1961V / C. J. Stockdale ; M. P. Rupen ; J. J. Cowan ; Y.-H. Chu
Hydrodynamic Instabilities in Young Supernova Remnants / C. L. Hinkle
Modeling of Radiative Blast Waves / K. A. Keilty ; E. P. Liang ; T. Ditmire ; B. A. Remington ; A. M. Rubenchik ; K. Shigemori
The Evolution of a Supernova Remnant in a Turbulent, Magnetized Medium / D. Balsara ; R. A. Benjamin ; D. P. Cox
SNe TO SNR
SN1987A: The Youngest Supernova Remnant / R. McCray
Supernova Remnants in Molecular Clouds / R. A. Chevalier
The SN-SNR Connection / R. A. Fesen
New Imaging Results in the Formation of SNR 1987A / B. Sugerman ; S. Lawrence ; A. Crotts ; P. Bouchet
STIS Spectral Imaging of Hot Spots in SNR 1987A
The Structure of SN 1987A's Outer Circumstellar Envelope as Probed by Light Echoes / W. Kunkel
Young Snr 1
X-ray Observations of Young Supernova Remnants / U. Hwang
UV/Optical Observations of Young Supernova Remnants / W. P. Blair
Young SNRs: IR Observations / R. G. Arendt
Gamma-Ray Line Emission from Supernova Remnants / P. A. Milne
Chandra Discovery of Ejecta-Dominated X-ray Emission from the Old SNR Candidate Sgr A East / Y. Maeda ; F. K. Baganoff ; E. D. Feigelson ; M. W. Bautz ; W. N. Brandt ; D. N. Burrows ; J. P. Doty ; G. P. Garmire ; M. Morris ; S. H. Pravdo ; G. R. Ricker ; L. K. Townsley
Exploring the Small Scale Structure of N103B / K. T. Lewis ; J. A. Nousek ; P. Slane ; J. P. Hughes
A Look at SNR 0519-69.0 with Chandra's ACIS / R. Williams ; R. Petre ; S. S. Holt
Far Ultraviolet Spectroscopy of a Nonradiative Shock in the Cygnus Loop: Implications for the Postshock Electron-Ion Equilibration / P. Ghavamian ; J. C. Raymond
Fabry-Perot [O III] [lambda]5007 A Observations of the SMC Oxygen-Rich SNR 1E 0102-72.9 / K. A. Eriksen ; J. A. Morse ; R. P. Kirshner ; P. F. Winkler
2MASS Near-infrared Images of RCW 103: A Young SNR in a Dense Medium / J. Rho ; W. T. Reach ; B.-C. Koo ; L. Cambresy
Young Snr II
Emission Processes in Young SNRs
High Resolution Spectroscopy of Two Oxygen-Rich SNRs with the Chandra HETG / C. R. Canizares ; K. A. Flanagan ; D. S. Davis ; D. Dewey ; J. C. Houck ; M. L. Schattenburg
An Approximation to the Cooling Coefficient of Trace Elements / B. A. Benson
Ionization Structure and the Reverse Shock in E0102-72
Spectral Line Imaging Observations of 1E0102.2-7219 / G. E. Allen ; N. S. Schulz
Young SNR III
Radio Emission from SNe and Young SNRs / K. W. Weiler ; M. J. Montes ; S. D. Van Dyk ; R. A. Sramek ; C. K. Lacey
Cas A--A Y2K Status Report / L. Rudnick
Kepler's Supernova Remnant / A. Decourchelle
Vela Z--So Young and So Exotic / M. D. Filipovic ; P. A. Jones ; B. Aschenbach
High Frequency Radio Observations of the Composite Historical SNR G11.2-0.3 / R. Kothes ; W. Reich
Radio Proper Motions: Cas A and Kepler / B. Koralesky
Spectral Index Variations in Kepler's Supernova Remnant / T. DeLaney ; J. R. Dickel
The Crab and Related Remnants
The Crab Nebula: The Gift That Keeps on Giving / J. J. Hester
Plerions and Pulsar-Powered Nebulae / B. M. Gaensler
Pulsars, AXPs, and SGRs / R. N. Manchester
NUV and FUV Spectroscopic Timing Observations of the Crab Pulsar with HST/STIS / T. R. Gull ; J. Sollerman ; P. Lundqvist ; G. Sonneborn ; D. Lindler
A Brief Update on the First Balloon Flight of a Crystal Diffraction Lens Telescope, CLAIRE / R. Smither ; P. V. Ballmoos ; G. Skinner ; Balloon Launch Crew
Young Collapsed Supernova Remnants: Similarities and Differences in Neutron Stars, Black Holes, and More Exotic Objects / J. S. Graber
A Zoo of Composite SNRs
Millimetric Observations of Plerionic Supernova Remants / R. Bandiera ; R. Neri ; R. Cesaroni
G291.0-0.1: Powered by a Pulsar? / D. Moffett ; B. Gaensler ; A. Green
Chandra Observation of the Hard X-ray Feature in IC 443 / C. R. Clearfield ; C. M. Olbert ; N. E. Williams ; J. W. Keohane ; D. A. Frail
Evidence of a Pulsar Wind Nebula in Supernova Remnant IC 443
Very Large Array Data Pertaining to the Hard X-ray Source on the Southern Edge of Supernova Remnant IC 443
Cosmic Ray Acceleration and Pulsars
Pulsar Emission and Central Sources in Young Supernova Remnants / A. K. Harding
Evidence for Cosmic Ray Acceleration in Supernova Remnants for X-ray Observations
Particle Acceleration in Shock Waves of Young Supernova Remnants / S. P. Reynolds
Nonthermal X-ray Emission from Young Supernova Remnants / E. van der Swaluw ; A. Achterberg ; Y. A. Gallant
Electron Acceleration in Young Supernova Remnants / W. K. Rose
Maximum Energies of Shock-Accelerated Electrons in Supernova Remnants in the Large Magellanic Cloud / S. P. Hendrick ; K. J. Borkowski
Spatially Varying X-ray Synchrotron Emission in SN 1006 / K. K. Dyer
The Nonthermal X-ray Emission of SN 1006 and the Implications for Cosmic Rays / E. V. Gottelf
X-ray Synchrotron in the Forward Shock of Cassiopeia A / F. Berendse
Nonthermal X-ray Emission from G266.2-1.2 (RX J0852.0-4622) / R. J. Edgar ; P. P. Plucinsky ; E. Miyata ; H. Tsunemi
Some Special Examples
Circumstellar Nebulae in Young Supernova Remnants
Young Supernova Remnants in the Magellanic Clouds
An Investigation of SNRs in the Magellanic Clouds--SNR B0450-708 and SNR B0455-687 / G. L. White
New Radio Supernova Remnants in the Core of M31 / L. O. Sjouwerman
Assessing the Nature of SNR Candidates in M 101 / B. C. Dunne ; R. A. Gruendl ; R. M. Williams
Global VLBI Observations of M82 / A. R. McDonald ; T. W. B. Muxlow ; A. Pedlar ; M. A. Garrett ; K. A. Wills ; S. T. Garrington ; P. J. Diamond
X-ray and Radio Observations of Supernova Remnants in NGC 300 / T. Pannuti ; N. Duric ; W. Pietsch ; A. Read
X-ray Fluxes of Radio-Selected Remnants / E. A. Miller
Hypernovae
Supernovae, Hypernovae, and Gamma Ray Bursts / A. Dar
Hypernovae: Observational Aspects / I. J. Danziger
Conference Summary
Reflections on Young SNRs: Rapporteur Summary of the 11th Maryland Astrophysics Conference / K. S. Long
Appendices
Conference Program
List of Attendees
Author Index
Source Index
Subject Index
Preface
Introduction
Pineapples and Crabs: When Young Supernova Remnants Were Even Younger / V. Trimble
47.

電子ブック

EB
Humberto Salazar, Luis Villaseñor, Arnulfo Zepeda
出版情報: AIP Conference Proceedings (American Institute of Physics) , AIP Publishing, 2001
所蔵情報: loading…
目次情報: 続きを見る
Preface
Workshop Organization
Ultra High Energy Cosmic Rays: The Pierre Auger Observatory / J. W. Cronin
Cosmic Ray Observations at Chacaltaya and Cerro la Negra Combined with the Pierre Auger and Milagro Observatories: GRBs and Search for Cosmic Ray Correlations / O. Saavedra ; O. Martinez ; H. Salazar ; A. Velarde ; L. Villasenor ; A. Zepeda
Observing Ultra High Energy Cosmic Rays with the High Resolution Fly's Eye Detector / R. W. Springer
Physics and Origin of the Highest Energy Events Observed / P. L. Biermann
Space Program KOSMOTEPETL (Projects KLYPVE and TUS) for the Study of Extremely High Energy Cosmic Rays / B. A. Khrenov ; M. I. Panasyuk ; V. V. Alexandrov ; D. I. Bugrov ; A. Cordero ; G. K. Garipov ; J. Linsley ; O. A. Saprykin ; A. A. Silaev ; D. V. Surogatov ; V. S. Syromyatnikov
Electronics for the KLYPVE Detector / M. Cuautle ; E. B. Moreno
Optical Design of the Fluorescence Detector Telescopes / A. Cordero-Davila
From the Galaxy to the Edge of the Universe: Plausible Sources of UHECRs / A. V. Olinto
EUSO: Using High Energy Cosmic Rays and Neutrinos As Messengers from the Unknown Universe / L. Scarsi
Proposed Origins for Super-GZK Events, and How to Distinguish among Them / T. J. Weiler
System Electronics for EUSO / O. Catalano
Establishing the GZK Cutoff with Ultra High Energy Tau Neutrinos / A. Letessier-Selvon
Mexican Participation in the AMS Project / A. Menchaca-Rocha ; M. Buenerd ; J. I. Cabrera ; C. Canizal ; O. Esquivel ; R. Nunez ; J. C. Plascencia ; T. Reyes ; M. F. Villoro
AGASA Results and Telescope Array Project / M. Teshima
Dark Matter Distribution in the Universe and Ultra-High Energy Cosmic Rays / P. Blasi
Neutrinos, Ultra-High-Energy Cosmic Rays and Fundamental Physics / J. Ellis
High Energy Neutrino Astronomy--the Cosmic-Ray Connection / T. K. Gaisser
The Chacaltaya Laboratory at 5220 m a.s.l. / P. Miranda
Probing Physics at Extreme Energies with Cosmic Ultrahigh Energy Radiation / G. Sigl
Exotic Sources of Ultra-High Energy Cosmic Rays / L. Masperi
Magnetic Lensing of Ultra High Energy Cosmic Rays / D. Harari ; S. Mollerach ; E. Roulet
Exotic and Not-So-Exotic Candidates for Ultrahigh Energy Cosmic Rays / J. Swain ; L. Anchordoqui ; M. T. Dova ; T. McCauley ; T. Paul ; S. Reucroft
A New Approach to Mass Measurements of UHECR: Horizontal Air Showers / E. Zas
A CP-Violating Kinematic Structure / D. V. Ahluwalia
Parametrization of Hadronic Cross Sections in the Range 10[superscript -2]-10[superscript 2] TeV / J. Perez-Peraza ; J. Velasco ; A. Gallegos-Cruz ; M. Alvarez-Madrigal ; A. Faus-Golfe ; A. Sanchez-Hertz
Surface Detector Array for the Pierre Auger Observatory / E. Moreno
Prediction of [sigma superscript tot subscript pp] at High Energies with Highly Confident Uncertainty Band
Diffuse Reflectivity of Tyvek in water: Anisotropical Effects / J. C. Arteaga Velazquez ; C. Vazquez-Lopez
Segmented Spherical Corrector Rings 1: Computer Simulations / C. Robledo-Sanchez ; J. Gonzalez-Garcia ; V. Cabrera-Pelaez
Segmented Spherical Corrector Rings 2: Experimental Results / J. Cuautle-Cortes
Scintillator Quenching Effects Observed in the AMS-1 TOF Data
Saturation Effects in the AMS-1 Tracker dE/dx Data / A. Menchaca Rocha
A New Ronchi Tester / J. M. Nunez-Alfonso ; S. Vergara-Limon
Optical Alignment of Segmented Mirrors to the Fluorescence Detectors of the Pierre Auger Observatory / J. Castro-Ramos ; M. E. Percino-Zacarias
Collapse of a Neutron Gas in a Strong Magnetic Field / A. Perez Martinez ; H. Perez Rojas
A Study of Focal Plane Detector for EUSO and cEUSO / H. M. Shimizu ; Y. Kawasaki ; H. Miyasaka ; P. Scarsi ; Y. Takizawa
Fresnel Mirrors for Fluorescence Detectors / J. Diaz-Anzures
Geomagnetic Effects on the PMT Tubes of the Pierre Auger Surface Detectors / A. Fernandez ; E. Gamez ; R. Lopez ; S. Roman
Cerro La Negra EAS Cherenkov Array / P. Bello
Summary: ZeV Air Showers--Where Do We Stand?
List of Participants
Author Index
Preface
Workshop Organization
Ultra High Energy Cosmic Rays: The Pierre Auger Observatory / J. W. Cronin
48.

電子ブック

EB
出版情報: AIP Conference Proceedings (American Institute of Physics) , AIP Publishing, 2001
所蔵情報: loading…
目次情報: 続きを見る
Preface
Nonuniform Sampling: Bandwidth and Aliasing / G. L. Bretthorst
Optimal Pulses / C. R. Smith ; P. M. Goggans
Bayesian Classification Using an Entropy Prior on Mixture Models / J. L. Center, Jr.
Model Selection for Inverse Problems: Best Choice of Basis Functions and Model Order Selection / A. Mohammad-Djafari
Optimal Recovery of Local Truth / C. C. Rodriguez
Axioms for Probability from Aggregatibility / A. T. Wilson
Entropy Is Only Approximately Aggregatible
QDOE (Quantitative Design of Experiments): Some Lessons from Field Experience and a Connection to Bayesian Methods / T. Chwastyk ; R. Badaliance ; L. Gause ; P. Mast ; J. Michopoulos
Temperature-Based Ascendancy Derived from a Cost or Reward Function / D. Collins
Maxentropic Reconstruction by First Order Splines / H. Gzyl ; Y. Velasquez
Bayesian Background Estimation / R. Fischer ; V. Dose ; K. M. Hanson ; W. von der Linden
Handling Discordant Data Sets / R. Preuss ; P. Pecher
A Bayesian Approach to Source Separation
Bayesian Blocks / J. D. Scargle
Estimating Fish Concentrations Using Trawl Data / G. A. Vignaux ; S. Paul ; D. Gresham
Application of Bayesian Inference to the Study of Hierarchical Organization in Self-Organized Complex Adaptive Systems / K. H. Knuth
A Bayesian Markov Chain Monte Carlo Solution of the Bilinear Problem / M. F. Ochs ; R. S. Stoyanova ; T. R. Brown ; W. D. Rooney ; C. S. Springer, Jr.
Utilizing MRI to Measure the Transcytolemmal Water Exchange Rate for the Rat Brain / J. D. Quirk ; J. J. Neil
Independence Relationships Implied by D-Separation in the Bayesian Model of a Causal Tree Are Preserved by the Maximum Entropy Model / D. E. Holmes
Subject Index
Author Index
Preface
Nonuniform Sampling: Bandwidth and Aliasing / G. L. Bretthorst
Optimal Pulses / C. R. Smith ; P. M. Goggans
49.

電子ブック

EB
出版情報: AIP Conference Proceedings (American Institute of Physics) , AIP Publishing, 2001
所蔵情報: loading…
目次情報: 続きを見る
Preface
Committees
Group Photos
Axiomatics and Concepts
Maximum Entropy from the Laws of Probability / A. J. M. GarrettSession 1:
Role and Meaning of Subjective Probability: Some Comments on Common Misconceptions / G. D'Agostini
Algorithmic Complexity and Randomness / M. H. PartoviSession 2:
Fisher's Information and the Arrow of Time / A. Plastino ; A. R. Plastino ; M. Casas
MiniMax Entropy and Maximum Likelihood: Complementarity of Tasks, Identity of Solutions / M. Grendar
On the Foundations of Bayesianism / S. Arnborg ; G. Sjodin
Change, Time, and Information Geometry / A. Caticha
What Is the Question that MaxEnt Answers? A Probabilistic Interpretation
Maximum Entropy, Fluctuations, and Priors
Cybernetic Systems Based on Inductive Logic / R. L. FrySession 3:
Relating Bayesian Mixture-Model Classifiers to Other Popular Pattern Classifiers / J. Center
An Entropy Decomposition Related to Law's Mixture / M. Maurin
Relationship between Entropies, Variance, and Fisher Information / G. R. Mohtashami Borzadaran
Characterization of Pearsonian and Bilateral Power Series Distribution via Maximum Entropies
Non-equilibrium Ensembles: A Lagrangian Formalism for Classical Systems / B. Haghighi ; A. Maghari
Bayesian Parameter Estimation
The Quantization of the Attention Function under a Bayes Information Theoretic Model / H. P. Wynn ; P. SebastianiSession 4:
A Minimum-Entropy Estimator for Regression Problems with Unknown Distribution of Observation Errors / L. Pronzato ; E. Thierry
System Parameter Estimation in Tomographic Inverse Problems / A. Alessio ; K. Sauer ; A. Mohammad-Djafari
Experimental Design to Maximize Information
Image Modeling and Restoration--Information Fusion, Set-Theoretic Methods, and the Maximum Entropy Principle / P. Ishwar ; P. Moulin
Maxentropic Interpolation by Cubic Splines with Possibly Noisy Data / H. Gzyl ; Y. Velasquez
Penalized Maximum Likelihood Estimation for Univariate Normal Mixture Distributions / A. Ridolfi ; J. Idier
Algorithms for Bayesian Computation
Generalizing the Lomb-Scargle Periodogram / G. L. BretthorstSession 5:
Generalizing the Lomb-Scargle Periodogram--The Nonsinusoidal Case
Exact MAP States and Expectations from Perfect Sampling: Greg, Porteous, and Seheult Revisited / C. Fox ; G. K. Nicholls
Marginalization Using the Metric of Likelihood / R. Preuss ; V. Dose
MaxEnt Queries and Sequential Sampling / P. Riegler ; N. Caticha
Sampling with Connections / C. C. Rodriguez
Distributed Estimation and Joint Probabilities Estimation by Entropy Model / B. Fassinut-Mombot ; M. Zribi ; J. B. Choquel
Deconvolution and Source Separation
Nonlinear Dynamical Factor Analysis / X. Giannakopoulos ; H. ValpolaSession 6:
Relative Entropy and Covariance Type Constraints Yielding ARMA Models / V. Girardin
Bayesian Framework Applied to a Source Separation Problem Using a Priori Knowledge Concerning Ill Conditioned Mixtures Issued from an Eddy Current Sensor Response / M. Haritopoulos ; Y. Naudet ; A. Billat
Source Separationn as an Exercise in Logical Induction / K. H. Knuth
MCMC Methods for Discrete Source Separation / S. Senecal ; P. O. Amblard
Calculus of Variations and Regularized Autoregressive Spectral Estimation / F. Barbaresco
Bayesian Source Separation of fMRI Signals / D. B. Rowe
Bayesian Source Separation with Mixture of Gaussians Prior for Sources and Gaussian Prior for Mixture Coefficients / H. Snoussi
Quantum Tomography
Feynman's Entropy and Decoherence Mechanism / Y. S. KimSession 7:
Fractional Fourier Transform for Periodic Functions / A. Vourdas ; C. C. Chang ; C. Bendjaballah
Bayesian Field Theory and Approximate Symmetries / J. C. Lemm
Tomography Approach in Quantum Mechanics and in Classical Statistical Mechanics / V. I. Man'ko
Maximum Entropy, Minimum Norm, and the Inference of Entangled States / A. Rigo
Maximum-Likelihood Method in Quantum Estimation / M. G. A. Paris ; G. M. D'Ariano ; M. F. Sacchi
Fractional Fourier Transform on the Phase-Space Plane / S. Chountasis
Tomographic Imaging and Image Processing
Detection of Buried Landmines Using Bayesian Model Selection / P. M. Goggans ; C. R. Smith ; C. J. HickeySession 8:
A Compound Regularizer for Bayesian Restoration in Photon Imaging Systems / M. K. Nguyen ; H. Guillemin ; T. T. Truong ; C. Faye
Statistical Self-Calibration of SPOT Satellite Imaging Instrument / H. Carfantan ; B. Beghin ; A. Meygret ; B. Rouge
Restoration from a Multi-energy Scintigraphic Image Sequence in the Bayesian Framework / L. Eglin
AWE Multi-axis Radiographic Facility: A Review of 3D-Reconstructions from Limited Data / T. F. Pang
Road Extraction in Remote Sensed Images Using Stochastic Geometry Framework / R. Stocia ; X. Descombes ; J. Zerubia
Contour-Based Models for 3D Binary Reconstruction in X-ray Tomography / C. Soussen
Bayesian Inference in Applications
A. Bayesian Revolution in Spectral Analysis / P. C. GregorySession 9:
Three-Dimensional Morphologies of Planetary Nebulae / A. R. Hajian
A Bayesian Framework for Geometric Uncertainties Handling / K. Mekhnacha ; P. Bessiere ; E. Mazer
A Bayesian Method for Pulse Shape and Energy Estimation for Gamma Spectrometry Measurements Using Semiconductor Detectors / G. Montemont ; M. Arques
Inference from Rossi Traces / K. M. Hanson ; J. M. Booker
Bayesian Analysis of Ion Beam Diagnostics / U. v. Toussaint ; R. Fischer
A Bayesian Framework for Robotic Programming / O. Lebeltel ; J. Diard
Informal Photos
Author Index
Preface
Committees
Group Photos
50.

電子ブック

EB
出版情報: AIP Conference Proceedings (American Institute of Physics) , AIP Publishing, 2001
所蔵情報: loading…
目次情報: 続きを見る
Preface
Scientific Advisory and Organizing Committee
Tribute to Professor John Dawson
Personal Recollections on the Development of Plasma Accelerators and Light Sources / J. M. Dawson
Tribute to John M. Dawson: "Pre-historic Days" of the Dawson-Tajima 1979 Paper / T. Tajima
John Dawson's Advanced Accelerator Years / C. Joshi
Working Group Summaries
Report of Working Group 1: The Physics of High Energy Density / J. B. Rosenzweig
Summary Report of Working Group 2 on Laser-Plasma Acceleration Concepts / W. B. Mori ; M. C. Downer
Summary Report of the Working Group on Electromagnetic Structure-Based Acceleration Concepts / E. R. Colby ; W. Gai
Beam Generation, Monitoring, Conditioning and Control at High Frequencies and Ultra-Fast Time Scales / D. T. Palmer ; J. G. Wang
Summary Report: Working Group 5 on "Electron Beam-Driven Plasma and Structure Based Acceleration Concepts" / M. E. Conde ; T. Katsouleas
Summary Report of Working Group 6: Millimeter-Wave Sources / G. S. Nusinovich ; S. H. Gold
Summary of Working Group 7 on "Exotic Acceleration Schemes"
Contributed and Invited Papers
Laser-Plasma Accelerators: A Status Report
Relativistic Ion Acceleration by Ultraintense Laser Interactions / K. Nakajima ; J. K. Koga ; K. Nakagawa
Production and Characterization of a Fully-Ionized He Plasma Channel / E. W. Gaul ; S. P. Le Blanc ; A. R. Rundquist ; R. Zgadzaj ; N. H. Matlis ; H. Langhoff
GeV Laser Acceleration Research at JAERI-APR / T. Hosokai ; S. Kanazawa ; M. Kando ; S. Kondo ; H. Kotaki ; T. Yokoyama
Numerical Simulation for Plasma Electron Acceleration by 12TW 50 Fs Laser Pulse / N. Hafz ; J. Koga ; R. Hemker ; M. Uesaka
Status of the LILAC Experiment / N. Saleh ; P. Han ; C. Keppel ; P. Gueye ; V. Yanovsky ; D. Umstadter
Laser Wakefield Accelerator Experiments at LBNL / W. P. Leemans ; D. Rodgers ; P. E. Catravas ; G. Fubiani ; C. G. R. Geddes ; E. Esarey ; B. A. Shadwick ; G. J. H. Brussaard ; J. van Tilborg ; S. Chattopadhyay ; J. S. Wurtele ; L. Archambault ; M. R. Dickinson ; S. DiMaggio ; R. Short ; K. L. Barat ; R. Donahue ; J. Floyd ; A. Smith ; E. Wong
Demonstration of a Laser-Driven Prebuncher Staged with a Laser Accelerator--The STELLA Program / M. Babzien ; I. Ben-Zvi ; L. P. Campbell ; C. E. Dilley ; D. B. Cline ; J. C. Gallardo ; S. C. Gottschalk ; W. D. Kimura ; P. He ; K. P. Kusche ; Y. Liu ; R. H. Pantell ; I. V. Pogorelsky ; D. C. Quimby ; J. Skaritka ; A. van Steenbergen ; L. C. Steinhauer ; V. Yakimenko
Fluid Modeling of Intense Laser-Plasma Interactions / G. M. Tarkenton ; E. H. Esarey
Emittance Control in Laser Wakefield Accelerator / S. Cheshkov ; C. Chiu ; F. Breitling
Optimization of Laser Wakefield Acceleration / S. P. LeBlanc ; F. B. Grigsby ; T. T. Tajima
Laser Shaping and Optimization of the Laser-Plasma Interaction / A. Spitkovsky ; P. Chen
Parametric Excitation of Plasma Waves by Counter-Propagating Laser Beams Detuned by 2[omega subscript p] / G. Shvets
Suppression of Raman Forward Scattering in Plasma Channels / X. Li
Nonparaxial Propagation of Intense Laser Pulses in Plasmas / C. B. Schroeder
Beam-Quality Simulations for Channel-Guided LWFA / V. V. Goloviznin ; A. J. W. Reitsma ; L. P. J. Kamp ; T. J. Schep
Resonant and Hollow Beam Generation of Plasma Channels / I. Alexeev ; K. Y. Kim ; J. Fan, E. Parra ; H. M. Milchberg ; L. Y. Margolin ; L. N. Pyatnitskii
GeV Energy Gain in a Channel Guided Laser Wakefield Accelerator / P. Sprangle ; B. Hafizi ; J. R. Penano ; R. F. Hubbard ; A. Ting ; A. Zigler ; T. M. Antonsen, Jr.
IFEL Experiment at the Neptune Lab / P. Musumeci ; C. Pellegrini
Experimental Measurements of Wakefields in a Multimode, Dielectric Structure Driven by a Train of Electron Bunches / J. G. Power ; A. Kanareyken ; R. Konecny ; P. Schoessow
Direct Laser Acceleration in a Capillary Channel
S-Band and X-Band Integrated PWT Photoelectron Linacs / D. Yu ; D. Newsham ; J. Zeng
Experimental Demonstration of Dielectric Structure Based Two Beam Acceleration / X. Sun ; P. Zou
Acceleration Results from the Microwave Inverse FEL Experiment / R. B. Yoder ; T. C. Marshall ; J. L. Hirshfield
Bunch Stability during Wave Field Generation in a Dielectric-Lined Waveguide / S. Y. Park
Multi-mode, Multi-bunch Dielectric Wake Field Resonator Accelerator / J.-M. Fang ; S.-Y. Park
Laser-Driven Clyclotron Autoresonance Accelerator / C. Wang
Twisted Waveguide Accelerating Structure / Y. W. Kang
A Possible Plasma Source for a SLAC Afterburner
Acceleration Concepts Based on Electromagnetic Structures / L. Schachter
Parameters of a 2X200 GeV Linear Collider with Microstructures Excited by Laser Radiation / A. Mikhailichenko
Production and Synchronization of Electron Beams from RF Photoinjector/Compressor Systems for Ultra-Fast Applications / M. C. Thompson
RF Photoinjector Development for a Short-Pulse, Hard X-Ray Thomson Scattering Source / G. P. Le Sage ; S. G. Anderson ; T. E. Cowan ; J. K. Crane ; T. Ditmire
UMER: The University Maryland Electron Ring / P. G. O'Shea ; M. Reiser ; R. A. Kishek ; S. Bernal ; H. Li ; M. Pruessner ; M. Virgo ; V. Yun ; W. Zhang ; T. Godlove ; D. Kehne ; P. Haldemann ; I. Haber
Confinement of Bunched Beams / M. Hess ; C. Chen
Studies of Space-Charge Effects in Ultrashort Electron Bunches / W. Leemans
Low Emittance Electron Beam Formation with a 17 GHz RF Gun / W. J. Brown ; S. E. Korbly ; K. E. Kreischer ; M. A. Shapiro ; R. J. Temkin
Three-Dimensional Theory of Emittance in Compton Scattering / F. V. Hartemann ; A. Le Foll ; A. K. Kerman ; B. Rupp ; D. J. Gibson ; E. C. Landahl ; A. L. Troha ; N. C. Luhmann, Jr. ; H. A. Baldis
A Ferroelectric Cathode Electron Gun for Use in High Power Microwave Sources / Y. Hayashi ; X. Song ; J. D. Ivers ; D. Flechtner ; J. A. Nation
Betatron Radiation from Electron Beams in Plasma Focusing Channels / P. Catravas
Commissioning and Measurements of the Neptune Photo-injector / M. Loh ; H. Suk
Summary of Japanese Advanced Accelerator Work
Plasma Focusing of High Energy Density Electron and Positron Beams / J. S. T. Ng ; P. Bolton ; D. Cline ; W. Craddock ; C. Crawford ; F. J. Decker ; R. C. Field ; Y. Fukui ; V. Kumar ; M. J. Hogan ; R. Iverson ; F. King ; R. E. Kirby ; T. Kotseroglou ; R. Noble ; A. Ogata ; P. Raimondi ; D. Walz ; A. W. Weidemann
High-Brightness Electron Beam Production, Transport, and Measurement / B. E. Carlsten
Aperture Effects in Intense Beams / R. Kishek
Laser Acceleration of Protons from Thin Film Targets / K. Flippo ; S. Banerjee ; V. Y. Bychenkov ; S. Gu ; A. Maksimchuk ; G. Mourou ; K. Nemoto
Recent Advances in Electron and Positron Sources / J. E. Clendenin
Development of High-Brightness Laser Synchrotron Source at BNL ATF / T. Hirose ; S. Kashiwagi ; K. Kusche ; T. Kumita ; T. Omori ; K. Yokoya ; J. Urakawa ; M. Washio
Muon Cooling--Emittance Exchange / Z. Parsa
Modeling Beam-Driven and Laser-Driven Plasma Wakefield Accelerators with XOOPIC / D. L. Bruhwiler ; R. Giacone ; J. R. Cary ; J. P. Verboncoeur ; P. Mardahl
Transformer Ratio Enhancement Using a Ramped Bunch Train in a Collinear Wakefield Accelerator / A. Kanareykin
Particle Beam Stability in the Hollow Plasma Channel Wake Field Accelerator
Trapping of Background Plasma Electrons in a Beam-Driven Plasma Wake Field Using a Downward Density Transition / N. Barov
Development of Multiple Beam Guns for High Power RF Sources / L. Ives ; G. Miram
Symmetric and Asymmetric Mode Interaction in High-Power Traveling Wave Amplifier / P. Wang ; Z. Xu ; C. Grabowski ; S. Banna
Development of a 10 MW, 91 GHz Gyroklystron for Accelerator Applications / R. L. Ives ; W. Lawson ; J. M. Neilson ; M. Read
X-Band Dielectric Loaded Traveling-wave Acceleration Structure / T. Wong
RTA Beam Dynamics Experiments: Limiting Cumulative Transverse Instability Growth in a Linear Periodic System / T. Houck ; S. Lidia ; G. Westenskow
CARM-Klystron Amplifier for Accelerator Applications / A. W. Fliflet
Multi-Moded Passive RF Pulse Compression Development at SLAC / C. D. Nantista ; S. G. Tantawi
Design and Fabrication of a 94 GHz Klystron / G. Scheitrum ; G. Caryotakis ; A. Haase ; L. Song ; B. Arfin ; Y. Cheng ; B. Shew ; B. James
Comparison of Discrete Klystron Produced RF to Two-Beam Produced RF for Large Accelerator Systems / R. Pitthan
Two-Channel Active High-Power X-Band Pulse Compressor / A. L. Vikharev ; A. M. Gorbachev ; O. A. Ivanov ; V. A. Isaev ; V. A. Koldanov ; S. V. Kuzikov ; A. G. Litvak ; M. I. Petelin ; O. A. Nezhevenko
Some Thoughts about Millimeter-Wave Drivers for Future Linear Colliders
10-MW, W-Band RF Source for Advanced Accelerator Research / V. P. Yakovlev ; A. A. Bogdashov ; V. L. Bratman ; A. V. Chirkov ; G. G. Denisov ; A. N. Kuftin ; S. V. Samsonov ; A. V. Savilov
Design of Flat-Field, High-Aspect Ratio RF Structures / A. V. Smirnov
34 GHz Pulsed Magnicon Project / M. A. LaPointe ; S. V. Schelkunoff ; E. V. Kozyrev ; G. I. Kuznetsov ; B. Z. Persov ; A. Fix
3-D Space Charge Simulations of High-Power Magnicon Amplifiers / O. V. Danilov
Designs of Three-cavity Frequency Quadrupling Coaxial Gyroklystrons / I. Yovchev ; V. L. Granatstein ; E. S. Gouveia
Optically Driven Emitter of Neutrinos for Testing of Neutrino Oscillations / A. V. Pakhomov ; Y. Takahashi
Multi-Stage, High-Gradient, Cyclotron Resonance Proton Accelerator Concept / R. Symons
W-Band Accelerator Study in KEK / X. Zhu
Principle of Alternating Gradient Acceleration / M. Xie
The Status of Ionization Cooling Tests for Muon Colliders and Neutrino Factories
Wake-Amplification by a Solid-State Active Medium / E. Colby ; R. H. Siemann
Resonant Absorption Instability: Acceleration and Radiation Amplification
Table Top Accelerator with Extremely Bright Beam
Muon Sources--[nu] Factory to [mu superscript [plus or minus] Colliders
An Ultra-High Gradient Plasma Wakefield Booster / R. Ruth
Author Index
Preface
Scientific Advisory and Organizing Committee
Tribute to Professor John Dawson
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼