close
1.

図書
図書
1. ISSPIT 2003 : proceedings of the 3rd International Symposium on Signal Processing and Information Technology : 14-17 December, 2003, Maritim Rhein-Main Hotel, Darmstadt, Germany
co-sponsored by the IEEE Signal Processing Society and the IEEE Computer Society
出版情報: Piscataway, N.J. : IEEE, c2001, [i.e. 2003]  xxvi, 825 p. ; 30 cm
所蔵情報: loading…
2.

図書
図書
2. Proceedings, 11th Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems : HAPTICS 2003, 22-23 March 2003, Los Angeles, U.S.A. (: pbk)
sponsored by the IEEE Computer Society Technical Committee on Visualization and Graphics
出版情報: Los Alamitos, Ca. ; Tokyo : IEEE Computer Society, c2003  x, 440 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Device Design / Session I：
The WHaT: A Wireless Haptic Texture Sensor / D. K. Pai ; P. Rizun
Haptic Displays Based on Magnetorheological Fluids: Design, Realization and Psychophysical Validation / E. P. Scilingo ; N. Sgambelluri ; D. De Rossi ; A. Bicchi
Multi-Fingered Tactile Feedback from Virtual and Remote Environments / A. Kron ; G. Schmidt
Designing the Haptic Turntable for Musical Control / T. Beamish ; K. MacLean ; S. Fels
Development of a Non-Grounded Haptic Interface Using the Gyro Effect / H. Yano ; M. Yoshie ; H. Iwata
SmartTouch--Augmentation of Skin Sensation with Electrocutaneous Display / H. Kajimoto ; M. Inami ; N. Kawakami ; S. Tachi
Performance Analysis of a 2-Link Haptic Device with Electric Brakes / C. Cho ; M. Kim ; J.-B. Song
Device Evaluation and Performance / Session II：
Spatial Low Pass Filters for Pin Actuated Tactile Displays / J. M. Lee ; C. R. Wagner ; S. J. Lederman ; R. D. Howe
Motion Guidance Experiments with Scooter Cobot / E. S. Boy ; E. Burdet ; C. L. Teo ; J. E. Colgate
Human Motor Performance While Using a Single-DOF Visual-Haptic Interface / C. M. Hendrix ; W. K. Durfee
Guideline for Designing Haptic Master Hands Based on Dynamic Multi-Fingered Manipulability / M. Fujiwara ; Y. Yokokohji ; T. Yoshikawa
Preliminary Two Dimensional Haptic Thresholds and Task Performance Enhancements / G. S. Lee ; B. Hannaford
Simulating Side Slopes on Locomotion Interfaces Using Torso Forces / J. M. Hollerbach ; D. Checcacci ; H. Noma ; Y. Yanagida ; N. Tetsutani
Control and Modeling / Session III：
Path-Following Control for Dissipative Passive Haptic Displays / D. K. Swanson ; W. J. Book
Dynamic Local Models for Stable Multi-Contact Haptic Interaction with Deformable Objects / F. Barbagli ; K. Salisbury ; D. Prattichizzo
The Haptic Probe: Mechanized Haptic Exploration and Automated Modeling / V. Patoglu ; R. B. Gillespie
Recognition of Operator Motions for Real-Time Assistance Using Virtual Fixtures / M. Li ; A. M. Okamura
Toward Robust Passivity: A Passive Control Implementation Structure for Mechanical Teleoperators / D. Lee ; P. Y. Li
The Effect of Sensor/Actuator Asymmetries in Haptic Interfaces
Psychophysics / Session IV：
Relative Performance Using Haptic and/or Touch-Produced Auditory Cues in a Remote Absolute Texture Identification Task / S.J. Lederman ; A. Martin ; C. Tong ; R.L. Klatzky
Feedback Distortion for Rehabilitation: Gauging Perceived Physical Effort / M. Fagan ; Y. Matsuoka ; R. Klatzky
Validity of Haptic Cues and Its Effect on Priming Visual Spatial Attention / J. J. Young ; H. Z. Tan ; R. Gray
Material Discrimination and Thermal Perception / L. A. Jones ; M. Berris
How Well Can We Encode Spatial Layout from Sparse Kinesthetic Contact? / R. L. Klatzky
The Role of Multisensory Feedback in Haptic Surface Perception / G. L. Poling ; J. M. Weisenberger ; T. Kerwin
Rendering / Session V：
An Experimental Study of Perceived Instability During Haptic Texture Rendering: Effects of Collision Detection Algorithm / S. Choi
Levels of Detail in Reducing Cost of Haptic Rendering: A Preliminary User Study / J. Zhang ; S. Payandeh ; J. Dill
Haptic Editing of Decoration and Material Properties / L. Kim ; G. S. Sukhatme ; M. Desbrun
An Integral Equation Based Multiresolution Modeling Scheme for Multimodal Medical Simulations / J. Kim ; S. De ; M. A. Srinivasan
Six Degree-of-Freedom Haptic Rendering of Complex Polygonal Models / D. E. Johnson ; P. Willemsen
Fuzzy Vector Median Based Surface Smoothing in a Haptic Environment / Y. Shen ; K. E. Barner
Applications / Session VI：
Haptic Effects for Virtual Reality-Based Post-Stroke Rehabilitation / R. F. Boian ; J. E. Deutsch ; C. S. Lee ; G. C. Burdea ; J. Lewis
Haptic Aided Design: A Case Study
Electro-Rheological Fluidic Actuators for Haptic Vehicular Instrument Controls / J. Melli-Huber ; B. Weinberg ; A. Fisch ; J. Nikitczuk ; C. Mavroidis ; C. Wampler
Haptic Task Constraints for 3D Interaction / R. Komerska ; C. Ware
Implementation of a Haptic Interface for a Virtual Reality Simulator for Flexible Endoscopy / O. Korner ; R. Manner
Performance and Co-Presence in Heterogeneous Haptic Collaboration / M. McLaughlin ; G. Sukhatme ; W. Peng ; W. Zhu ; J. Parks
Poster and Demonstration Papers / Session VII：
Sensors Assisted Telemanipulation for Maximizing Manipulation Capabilities of Persons with Disabilities / W. Yu ; B. E. Fritz ; N. Pernalete ; M. Jurczyk ; R. V. Dubey
The Role of Torque in Haptic Perception of Object Location in Virtual Environments / S. Wang
Design of a Uniactuated Bimanual Haptic Interface / N. L. Bernstein ; D. A. Lawrence ; L. Y. Pao
Web-Based Haptic Applications for Blind People to Create Virtual Graphs / K. Kangas ; S. Brewster
Real-Time Rigid Body Simulation Based on Volumetric Penalty Method / S. Hasegawa ; N. Fujii ; Y. Koike ; M. Sato
An Actuator for the Tactile Vest--A Torso-Based Haptic Device / M. Nakamura ; L. Jones
A Framework for the Haptic Rendering of the Human Hand / P. Stergiopoulos ; G. Moreau ; M. Ammi ; P. Fuchs
Passive and Active Assistance for Human Performance of a Simulated Underactuated Dynamic Task / M. K. O'Malley ; A. Gupta
The Hapticon Editor: A Tool in Support of Haptic Communication Research / M. J. Enriquez ; K. E. MacLean
Role of Haptics in Teaching Structural Molecular Biology / G. Sankaranarayanan ; S. Weghorst ; M. Sanner ; A. Gillet ; A. Olson
Omni-Directional Treadmill System / Z. Wang ; K. Bauernfeind ; T. G. Sugar
Design and Analysis of a Novel Virtual Walking Machine / J. Yoon ; J. Ryu ; G. Burdea
Transparency and Stability Analysis of a Surgical Teleoperator System / H. Flemmer ; J. Wikander
A Haptic Based Virtual Grinding Tool / A. Balijepalli ; T. Kesavadas
Controller Design for a Wearable, Near-Field Haptic Display / R. W. Lindeman ; J. R. Cutler
Activation Cues and Force Scaling Methods for Virtual Fixtures / J. T. Nolin ; P. M. Stemniski
Haptic Interface for Hands-On Instruction in System Dynamics and Embedded Control / M. B. Hoffman ; J. Freudenberg
Haptic Feedback Using Local Models of Interaction / D. Constantinescu ; S. E. Salcudean ; E. A. Croft
Design of Data Glove and Arm Type Haptic Interface / C. Wusheng ; W. Tianmiao ; H. Lei
Simplified Authoring of 3D Haptic Content for the World Wide Web / M. O'Malley ; S. Hughes
Observations on and Modifications to the Rutgers Master to Support a Mixture of Passive Haptics and Active Haptic Feedback / C. W. Borst ; R. A. Volz
Author Index
Preface
Device Design / Session I：
The WHaT: A Wireless Haptic Texture Sensor / D. K. Pai ; P. Rizun
3.

図書
図書
3. Proceedings : 36th annual Simulation Symposium (ANSS-36 2003), Orlando, Florida, March 30-April 2, 2003
sponsored by the Society for Modeling and Simulation International
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2003  xii, 362 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the General Chair
Program Committee
Keynote Address
Modeling as Craft / Paul Fishwick ; Gainesville ; USA
Simulation-Based Performance Analysis I / Session 1：
A Simulation Study of the Proactive Server Roaming for Mitigating Denial of Service Attacks / C. Sangpachatanaruk ; S. M. Khattab ; T. F. Znati ; R. Melhem ; D. Mosse
Priorities Among Multiple Queues for Processor Co-Allocation in Multicluster Systems / A. I. D. Bucur ; D. H. J. Epema
Network Modeling and Simulation I / Session 2：
An Efficient Scheme for Chaining with Client-Centric Buffer Reservation for Multimedia Streaming / J. J. Schultz
Asymptotically Optimal Worksharing in HNOWs: How Long Is "Sufficiently Long"? / M. Adler ; Y. Gong ; A. L. Rosenberg
Location-Based Taxi Service in Wireless Communication Environment / A. P. Silva ; G. R. Mateus
Network Modeling and Simulation II / Session 3：
Performance Modeling and Simulation of Dynamic and Rapid Auto-Configuration Protocols for Ad-Hoc Wireless Networks / R. Vaidyanathan ; L. Kant ; A. McAuley ; M. Bereschinsky
Simulation Study of a Class of Autonomous Host-Centric Mobility Prediction Algorithms for Cellular and Ad Hoc Networks / I.-R. Chen ; N. Verma
A Preemptive On-Demand Distance Vector Routing Protocol for Mobile and Wireless Ad Hoc Networks / A. Boukerche ; L. Zhang
Approximate Connectivity Graph Generation in Mobile Ad Hoc Radio Networks / C. L. Barrett ; M. V. Marathe ; D. C. Engelhart ; A. Sivasubramaniam
Dynamic Reconfiguration of an Optical Interconnect / P. Krishnamurthy ; M. Franklin ; R. Chamberlain
Simulation-Based Performance Analysis II / Session 4：
Simulating Highly Dependable Applications in a Distributed Computing Environment / Y. Chen ; Z. He
Performance Analysis of Parallel Job Scheduling in Distributed Systems / H. D. Karatza ; R. C. Hilzer
A Supernet: Engineering Traffic Across Network Boundaries / S. Lincke-Salecker ; C. S. Hood
Network and Distributed Systems Modeling and Simulation / Session 5：
One-to-All Broadcasting Scheme for Hypercubes with Background Traffic / D. Kouvatsos ; I.-H. Mkwawa ; I. Awan
Security Issues in the ABELS System for Linking Distributed Simulations / G. A. Mills-Tettey ; L. F. Wilson
An ns-based Bluetooth Topology Construction Simulation Environment / C.-J. Hsu ; Y.-J. Joung
AI and Simulation-Based Techniques for the Assessment of Supply Chain Logistic Performance / A. Bruzzone ; A. Orsoni
Web-Based Modeling and Simulation--Multimedia Systems Simulation / Session 6：
Integrating Web Service and Grid Enabling Technologies to Provide Desktop Access to High-Performance Cluster-Based Components for Large-Scale Data Services / V. P. Holmes ; W. R. Johnson ; D. J. Miller
Enhancing Multimedia Caching Algorithm Performance Through New Definition Strategies / J. Fernandez ; J. Carretero ; F. Garcia ; J. M. Perez ; A. Calderon
A Simulation-Based Analysis of Scheduling Policies for Multimedia Servers / N. J. Sarhan ; C. R. Das
Parallel and Distributed Simulation / Session 7：
Design and Development of a Cluster Gateway for Cluster-Based HLA Distributed Virtual Simulation Environment / D. Chen ; B.-S. Lee ; W. Cai ; S. J. Turner
Evaluating Alternative Solutions for Cloning in Distributed Simulation / B. P. Gan ; N. Julka ; J. Wei
Improving Data Filtering Accuracy in Hierarchical Federations / L. Liu ; G. Li
Redesigning the WARPED Simulation Kernel for Analysis and Application Development / D. E. Martin ; P. A. Wilsey ; R. J. Hoekstra ; E. R. Keiter ; S. A. Hutchinson ; T. V. Russo ; L. J. Waters
Parallelizing Black Oil Reservoir Simulation Systems for SMP Machines / F. A. B. Silva ; E. P. Lopes ; E. P. L. Aude ; F. Mendes ; H. Serdeira ; J. Silveira
VLSI Circuit Simulation / Session 8：
Efficient Microprocessor Design Space Exploration Through Statistical Simulation / L. Eeckhout ; D. Stroobandt ; K. De Bosschere
Internode: Internal Node Logic Computational Model / A. Millan ; M. J. Bellido ; J. Juan ; D. Guerrero ; P. Ruiz-de-Clavijo ; E. Ostua
Modeling the Power Consumption of Audio Signal Processing Computations Using Customized Numerical Representations / E. Hemmeter ; R. Morley ; J. White
Advances in Simulation Methodology and Practices / Session 9：
Sojourn Times and Rare Events / N. T. Muller ; F. Brenner
Assessing and Improving Testing of Real-Time Software Using Simulation / J. Henry ; J. C. Stiff ; A. J. Shirar
Implementing Parallel Cell-DEVS / A. Troccoli ; G. Wainer
Adapting MASCOT Methodology to Software Performance Engineering Using Object-Oriented Simulation / O. Munar ; C. Juiz
Optimization of Cell Spaces Simulation for the Modeling of Fire Spreading / A. Muzy ; E. Innocenti ; J.-F. Santucci ; D. R. C. Hill
Network Modeling and Simulation III / Session 10：
Wireless Fading Vector Channel Model for Multi-Antenna System at Mobile Terminals / Y. Yuan
Tunable Fiber Bragg Gratings Modeling and Simulation / M. Mahmoud ; Z. Ghassemlooy
Dissemination Scenarios in Peer-to-Peer Networks / K. G. Zerfiridis
Simulation Languages, Tools, and Environments / Session 11：
An Event-Driven Approach to Crosstalk Noise Analysis / P. Bazargan-Sabet ; P. Renault
Multicast Routing Simulator over MPLS Networks / A. Boudani ; B. Cousin ; C. Jawhar ; M. Doughan
A Simulation Tool for Evaluating Shared Memory Systems / J. Tao ; M. Schulz ; W. Karl
XACDML--Extensible ACD Markup Language / J. N. Gil ; C. M. Hirata
Hyperpresence--An Application Environment for Control of Multi-User Agents in Mixed Reality Spaces / D. Tavares ; A. Burlamaqui ; A. Dias ; M. Monteiro ; V. Antunes ; G. Tho ; T. Tavares ; C. Lima ; L. Goncalves ; G. Lemos ; P. Alsina ; A. Medeiros
ANSS-37 2004 Call for Papers
Author Index
Message from the General Chair
Program Committee
Keynote Address
4.

図書
図書
4. Proceedings : IEEE INFOCOM 2003 : the conference on computer communications : twenty-second annual joint conference of the IEEE Computer and Communications Societies, 30 March-3 April 2003, Hyatt Regency San Francisco, San Francisco, California USA (: set : soft - v. 3 : soft.)
sponsored by IEEE Computer Society, IEEE Communications Society
出版情報: Piscataway, N.J. : IEEE Operations Center, c2003  3 v. ; 28 cm
所蔵情報: loading…
5.

図書
図書
5. Proceedings : IEEE Workshop on Software Technologies for Future Embedded Systems (WSTFES 2003), 15-16 May 2003, Hakodate, Hokkaido, Japan
editors, Tatsuo Nakajima, Moon Hae Kim ; Co-sponsored by IEEE Computer Society Technical Committee on Distributed Processing and Communications Research Laboratory, Japan
出版情報: Los Alamitos, Carif. ; Tokyo : IEEE Computer Society, c2003  vii, 105 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the Workshop Organizers
Embedded Systems / Session 1：
SCA-Based Component Framework for Software Defined Radio / S. Kim ; J. Masse ; S. Hong ; N. Chang
Hardware/Software Co-Configuration for Multiprocessor SoPC / H. Takada ; S. Honda ; R. Nishiyama ; H. Yuyama
Requirements for a Component Framework of Future Ubiquitous Computing / H. Ishikawa ; Y. Ogata ; K. Adachi ; T. Nakajima
A New Defining Approach for Software Requirement Specifications / T. Yamaura ; H. Miyazaki ; A. K. Onoma
Design and Implementation of Transactional Agents / M. Shiraishi ; T. Enokido ; M. Takizawa
A Power-Aware, Best-Effort Real-Time Task Scheduling Algorithm / J. Wang ; B. Ravindran ; T. Martin
Multimedia and Real-Time / Session 2：
Error Resilient Video Transmission over Wireless Networks / G. Ding ; H. Ghafoor ; B. Bhargava
Framework for Development of Multimedia Applications Based on the TMO Structuring Scheme / E. H. Jo ; M. H. Kim ; J.-G. Kim
QoS Management in Multimedia Networking for Telemedicine Applications / A. Bhargava ; M. F. Khan ; A. Ghafoor
Optimization Scheme for Streaming Service Using Coordination Agent in Multimedia Messaging Service Environment / J. Hong ; H. Sung ; J. Song ; S. Han
Ubiquitous Computing / Session 3：
Software Infrastructure for Sentient Materials / T. Shoji ; N. Nakamura ; K. Fujinami
DOLPHIN: An Autonomous Indoor Positioning System in Ubiquitous Computing Environment / Y. Fukuju ; M. Minami ; H. Morikawa ; T. Aoyama
uBlocks: Enabling Hand-Made Distributed Application among Ubiquitous Embedded Devices / M. Iwai ; J. Nakazawa ; H. Tokuda
An Embedded Software Architecture for Connected Multimedia Services in Ubiquitous Network Environment / J.-Y. Kwak ; D.-M. Sul ; S.-H. Ahn ; D.-H. Kim
Towards a Specification Scheme for Context-Aware Security Policies for Networked Appliances / T. Watanabe ; K. Yamada ; N. Nagatou
Distributed Real-Time Systems (1) / Session 4：
A New Architecture for Home Computing / K. Matsuura ; T. Hara ; A. Watanabe
Avoiding Timing Problems in Real-Time Software / P. Puschner ; R. Kirner
Formal Probabilistic Refinement Verification of Embedded Real-Time Systems / S. Yamane
Implementing Priority Inheritance Semaphore on uC/OS Real-Time Kernel / J.-H. Lee ; H.-N. Kim
Distributed Real-Time Systems (2) / Session 5：
TMO-Structured Cluster-Based Real-Time Management of Location Data on Massive Volume of Moving Items / Y. Nah ; T. Wang ; K. H. Kim ; Y. K. Yang
A Development of Remote Tracepoint Debugger for Run-Time Monitoring and Debugging of Timing Constraints in Qplus-P RTOS / K. Lee ; J.-S. Kim ; C. Lim
Flexible Group Protocol for Distributed Systems
Clock Synchronization in Wireless Distributed Embedded Applications / Y. S. Hong ; J. H. No
Author Index
Message from the Workshop Organizers
Embedded Systems / Session 1：
SCA-Based Component Framework for Software Defined Radio / S. Kim ; J. Masse ; S. Hong ; N. Chang
6.

図書
図書
6. Proceedings, 10th IEEE International Conference and Workshop on the Engineering of Computer based Systems, ECBS 2003, 7-10 April, 2003, Huntsville, Alabama
sponsored by IEEE Computer Society Technical Committee on Engineering of Computer based Systems
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2003  xi, 331 p. ; 28cm
所蔵情報: loading…
7.

図書
図書
7. Proceedings : 33rd IEEE International Symposium on Multiple-Valued Logic, 16-19 May, 2003, Meiji University, Tokyo, Japan
sponsored by IEEE Computer Society Technical Committee on Multiple-Valued Logic, Japanese Research Group on Multiple-Valued Logic, Meiji University
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2003  xiv, 398 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the Symposium Chair
Message from the Program Committee
Symposium Committee
Referees
Invited Address / Session 1：
Fuzzy Logic as a Basis for a Theory of Hierarchical Definability (THD) / L. Zadeh
Logic Design I / Session 2A：
Implementation of Multiple-Valued Functions Using Literal-Splitting Technique / E. Dubrova
Hyperoperations on {0, 1, 2} Based on Min, Max, and Universal Literal Operations / N. Takagi ; K. Nakashima
An Extension of Ternary Majority Function and Its Application to Evolvable System / Y. Yamamoto
A New Construction of the Irreducible Polynomial for Parallel Multiplier over GF(2[superscript m]) / J.-H. Hwang ; K.-J. Moon ; S.-Y. Park ; H.-S. Kim
Functional Expressions / Session 2B：
New Information on the Effectiveness of Different Reed-Muller Algebras on the Representation of Quaternary Functions / K. Adams ; J. McGregor
Polynomial Expansions over GF(3) Based on Fastest Transformation / B. Falkowski ; C. Fu
The Generation Circulation Method to Generalized Reed-Muller Coefficients over GF(3) / C. Lee ; G.-Y. Byun ; B.-S. Shin ; J.-H. Sim
Optimization of GF(4) Expressions Using the Extended Dual Polarity Property / D. Jankovic ; R. Stankovic ; C. Moraga
Fuzzy Logic / Session 3A：
Normal Forms for Fuzzy Logic Functions / I. Perfilieva
Towards Fuzzy Type Theory / V. Novak
Universes of Fuzzy Sets--A Short Survey / S. Gottwald
Fixed Points for Fuzzy Rule Bases and Fuzzy Chaining Syllogism / K. Soleimani ; M. Mashinchi ; H. Maleki
Automated Finding of the Willis Ring in MR Angiography Images Using Fuzzy Knowledge Base / S. Kobashi ; K. Kondo ; Y. Hata
LSI Design / Session 3B：
Counter Tree Diagrams for Design and Analysis of Fast Addition Algorithms / J. Sakiyama ; T. Aoki ; T. Higuchi
Bidirectional Data Transfer Based Asynchronous VLSI System Using Multiple-Valued Current Mode Logic / T. Hanyu ; T. Takahashi ; M. Kameyama
MVL Circuit Design and Characterization at the Transistor Level Using SUS-LOC / E. Kinvi-Boh ; M. Aline ; O. Sentieys ; E. Olson
A Technique for Logic Design of Voltage-Mode Pass Transistor Based Multi-valued Multiple-Output Logic Circuits / H. Babu ; Md. R. Islam ; A. Ali ; Md. M. Akon ; Md. A. Rahaman ; Md. F. Islam
Recursive Evaluation of the Generalized Reed-Muller Coefficients / G. Na ; S. Kim ; J. Choi ; H. Kim
Logic Design II / Session 4A：
Cascade Realizations of Two-Valued Input Multiple-Valued Output Functions Using Decomposition of Group Functions / T. Sasao
A Novel Technology Mapping Method for AND/XOR Expressions / S.-B. Ko ; J.-C. Lo
Iterative Symmetry Indices Decomposition for Ternary Logic Synthesis in Three-Dimensional Space / A. Al-Rabadi
Multi-output Galois Field Sum of Products Synthesis with New Quantum Cascades / M. Khan ; M. Perkowski ; P. Kerntopf
Relationship between UCHT and FFT / S. Xie ; S. Rahardja ; Z. Gu
Logics and Algebras / Session 4B：
Several Remarks on Non-Boolean Functions over Boolean Algebras / D. Simovici
Complete and Independent Sets of Axioms of Boolean Algebra / T. Ninomiya ; M. Mukaidono
Characterization of the Axiomatizable Prenex Fragments of First-Order Godel Logics / M. Baaz ; N. Preining ; R. Zach
New Logical and Complexity Results for Signed-SAT / C. Ansotegui ; F. Manya
From Intuitionistic Logic to Godel-Dummett Logic via Parallel Dialogue Games / C. Fermuller ; A. Ciabattoni
Biomorphic Analog Devices Based on Reaction-Diffusion Systems / T. Asai ; Y. AmemiyaSession 5：
LSI Circuits / Session 6A：
Multiple-Valued Dynamic Source-Coupled Logic / A. Mochizuki
A Field-Programmable Digital Filter Chip Using Multiple-Valued Current-Mode Logic / K. Degawa
A Study on the Design of Flash Analog to Quaternary Converter Using DLC Comparator / S. Han ; Y. Choi ; H. Seong
A Novel Multiple-Input Multiple-Valued Semi-floating-gate Latch / O. Mirmotahari ; Y. Berg
Decision Diagrams I / Session 6B：
On the Size of Multiple-Valued Decision Diagrams / D. Miller ; G. Dueck
Efficient Minimization of Multiple-Valued Decision Diagrams for Incompletely Specified Functions / D. Popel ; R. Drechsler
Compact Representations of Logic Functions Using Heterogeneous MDDs / S. Nagayama
Complexity of Decision Trees for Boolean Functions / R. Freivalds ; M. Miyakawa ; I. Rosenberg
Nano Technology / Session 7A：
Experimental and Simulation Studies of Single-Electron-Transistor-Based Multiple-Valued Logic / H. Inokawa ; Y. Takahashi
Complementary Self-Biased Scheme for the Robust Design of CMOS/SET Hybrid Multi-valued Logic / K.-W. Song ; S. Lee ; D. Kim ; K. Kim ; J. Kyung ; G. Baek ; C.-A. Lee ; J. Lee ; B.-G. Park
Proposal of Four-Valued MRAM Based on MTJ/RTD Structure / T. Uemura ; M. Yamamoto
Modeling and Simulation / Session 7B：
Modeling Multi-valued Circuits in SystemC / D. Grosse ; G. Fey
Dynamic Reliability Indices for Multi-state System / E. Zaitseva
CTL Model-Checking over Logics with Non-classical Negations / M. Chechik ; W. MacCaull
Clone Theory / Session 8A：
On the Centralizers of Monoids in Clone Theory / H. Machida
Generation of the Post Lattice by Irreducible Clones / G. Pogosyan
On Intervals of Partial Clones of Boolean Partial Functions / L. Haddad ; G. Simons
Spectral Techniques / Session 8B：
Family of Fast Transforms over GF(3) Logic
Spectral Transforms of Mixed-Radix MVL Functions / M. Thornton
Fast Algorithm for Computing Spectral Transforms of Boolean and Multiple-Valued Functions on Circuit Representation / R. Krenz ; A. Kuehlmann
Functions of Multiple-Valued Logic and the Complexity of Constraint Satisfaction: A Short Survey / A. Krokhin ; A. Bulatov ; P. JeavonsSession 9：
Applications / Session 10A：
Learning Subjective Probabilities from a Small Data Set / C. Huang
Using Games for Benchmarking and Representing the Complete Solution Space Using Symbolic Techniques / S. Kinder
From Continuous to Multiple-Valued Data
Decision Diagrams II / Session 10B：
Augmented Sifting of Multiple-Valued Decision Diagrams
On the Average Path Length in Decision Diagrams of Multiple-Valued Functions / J. Butler
Generalized Complex Spectral Decision Diagrams Using Unified Complex Hadamard Transform
Author Index
Message from the Symposium Chair
Message from the Program Committee
Symposium Committee
8.

図書
図書
8. Third IEEE Symposium on BioInformatics and Bioengineering : (BIBE 2003) : Bethesda, Maryland, 10-12 March, 2003 : proceedings
sponsored by IEEE Computer Society ; in cooperation with the Information Technology Research Institute Wright at State University and the IEEE Neural Networks Society
出版情報: Los Alamitos, California : IEEE Computer Society, c2003  xii, 442 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the General Chair
BIBE 2003 Program Committee
Protein Structures and Pathways / Bioinfo-1：
A Computational Pipeline for Protein Structure Prediction and Analysis at Genome Scale / M. Shah ; S. Passovets ; D. Kim ; K. Ellrott ; L. Wang ; I. Vokler ; P. LoCascio ; D. Xu ; Y. Xu
A Fast Algorithm for RNA Secondary Structure Prediction Including Pseudoknots / F. Tahi ; S. Engelen ; M. Regnier
Towards Automated Derivation of Biological Pathways Using High-Throughput Biological Data / Y. Chen ; T. Joshi
Prediction of Contact Maps Using Support Vector Machines / Y. Zhao ; G. Karypis
Biomedical Data Engineering / Bioeng-1：
Performance Comparison of Generalized PSSM in Signal Peptide Cleavage Site and Disulfide Bond Recognition / P. Clote
Analysis of Atlantic Salmon Skin Mucus: COPS--A Computer-Based System for Protein Pattern Analysis of 1D SDS-PAGE Gels / R. Eibrand ; P. Kennedy ; D. Cotter ; U. MacEvilly ; B. Wu
An Open Multiple Instance Learning Framework and Its Application in Drug Activity Prediction Problems / X. Huang ; S.-C. Chen ; M.-L. Shyu
Analysis of Spontaneous Activity in Cultured Brain Tissue Using the Discrete Wavelet Transform / J. D. Johnson ; D. Plenz ; J. Beggs ; W. Li ; M. Mieier ; N. Miltner ; K. Owen
Phylogenetic Tress / Bioinfo-2：
An Empirical Comparison of Tools for Phylogenetic Footprinting / M. Blanchette ; S. Kwong ; M. Tompa
An Investigation of Phylogenetic Likelihood Methods / T. L. Williams ; B. M. E. Moret
Nodal Distance Algorithm: Calculating a Phylogenetic Tree Comparison Metric / J. Bluis ; D.-G. Shin
A Collapsing Method for the Efficient Recovery of Optimal Edges in Phylogenetic Trees / M. Hu ; P. Kearney ; J. Badger
Medical Image Processing I / Bioeng-2：
Comparison of Bicubic and Bezier Polynomials for Surface Parameterization in Volumetric Images / F. Quek ; V. Kulkarni ; C. Kirbas
Evolving Bubbles for Prostate Surface Detection from TRUS Images / F. Shao ; L. V. Ling ; W. S. Ng
Structure-Trageting Fast Magnetic Resonance Imaging Angiography with Partial Collection of the Inverse Space (k-Space) Based on the Orientation of the Vessel in Real Space / D. Gui ; N. V. Tsekos
Respiratory Gating for MRI and MRS in Rodents (Short Paper) / J. R. Garbow ; J. P. Dugas ; M. S. Conradi
Bio-Databases I / Bioinfo-3：
A Novel Laboratory Version Management System for Tracking Complex Biological Experiments / W. M. Shui ; N. Lam ; R. K. Wong
Requirements of Phylogenetic Databases / L. Nakhleh ; D. Miranker ; F. Barbancon ; W. H. Piel ; M. Donoghue
Filtration of String Proximity Search via Transformation / S. A. Aghili ; D. Agrawal ; A. El Abbabi
GenoMosaic: On-Demand Multiple Genome Comparison and Comparative Annotation / C. Gibas ; D. Sturgill ; J. Weller
Biomedical Imaging, Signaling, and Computation / Bioeng-3：
Automatic Detection of Premature Ventricular Contraction Using Quantum Neural Networks / J. Zhou
Vessel Extraction in Medical Images by 3D Wave Propagation and Traceback / F. K. H. Quek
A New Approach to Detect Similar Proteins from 2D Gel Electrophoresis Images / N. Khan ; S. Rahman
A Robotic Device for Minimally Invasive Breast Interventions with Real-Time MRI Guidance / B. T. Larson ; A. G. Erdman
Sequences and Searching / Bioinfo-4：
An Algorithm to Reconstruct a Target DNA Sequence from Its Spectrum Connected at a Given Level / F.-X. Wu ; W.-J. Zhang ; A. J. Kusalik
A Model of Random Sequences for de novo Peptide Sequencing / K. D. Jarman ; W. R. Cannon ; K. H. Jarman ; A. Heredia-Langner
Performance Comparison of Algorithms for Finding Transcription Factor Binding Sites / S. Sinha
Medical Image Processing II / Bioeng-4：
Determining the Asymmetries of Skin Lesions with Fuzzy Borders / V. T. Y. Ng ; T. Lee ; B. Y. M. Fung
Unsupervised Iterative Segmentation and Recognition of Anatomic Structures in Medical Imagery Using Second-Order B-Spline Descriptors and Geometric Quasi-Invariants / T. A. El Doker
Vessel Extraction Techniques and Algorithms: A Survey
Prostate Gland and Extra-Capsular Tissue 3D Reconstruction and Measurement (Short Paper) / F. McKenzie ; R. Hussein ; J. Seevinck ; P. Schellhammer ; J. Diaz
Bio-Databases II / Bioinfo-5：
Empirical Evaluation of Ensemble Feature Subset Selection Methods for Learning from a High-Dimensional Database in Drug Design (Short Paper) / H. Mamitsuka
Streamlining Biological Data Analysis Using BioFlow (Short Paper) / Z. Guan ; H. M. Jamil
BioSeek: Exploiting Source-Capability Information for Integrated Access to Multiple Bioinformatics Data Sources (Short Paper) / L. Liu ; D. Buttler ; T. Critchlow ; W. Han ; H. Paques ; C. Pu ; D. Rocco
Biological Systems and Models / Bioeng-5：
A Computational Model of the Role of Deficit-Related Drives in Sequential Movement Learning in a T-Maze Environment (Abstract)
A Biological Mapping of a Learned Avoidance Behavior Model to the Basal Ganglia (Short Paper) / K. M. Biddell ; J. Li
Influence of the Thermal Treatment Applied to PAN Gel on Its Length Change and Generated Force (Short Paper) / H. Tamagawa ; F. Nogata ; T. Watanabe ; A. Abe ; S. Popovic
Panel
Bioinformatics and Biotechnology Research Issues
Gene Expressions / Bioinfo-6：
Analyzing the Escherichia coli Gene Expression Data by a Multilayer Adjusted Tree Organizing Map / N. Wei ; L. Gruenwald ; T. Conway
A Data Mining Method to Predict Transcriptional Regulatory Sites Based on Differentially Expressed Genes in Human Genome / H. Huang ; H. Chang ; T. Tsou ; B. Liu ; C.-Y. Kao ; J. Horng
Time Series Analysis of Gene Expression and Location Data / C.-H. Yeang ; T. Jaakkola
Regulating Gene Expression Using Optimal Control Theory / Y. Liu ; H. B. Sun ; H. Yokota
Clustering Algorithms and Molecular Structures / Bioinfo-7：
Enhanced Biclustering on Expression Data / J. Yang ; H. Wang ; W. Wang ; P. Yu
Hierarchical Clustering of Gene Expression Data / F. Luo ; K. Tang ; L. Khan
MotifMiner: A General Toolkit for Efficiently Identifying Common Substructures in Molecules / M. Coatney ; S. Parthasarathy
Augmenting SSEs with Structural Properties for Rapid Protein Structure Comparison / C.-H. Chionh ; Z. Huang ; K.-L. Tan ; Z. Yao
Bio-Databases III / Bioinfo-8：
Load Balancing: A Case Study of a Pharmaceutical Drug Candidate Database / Z. Ben Miled ; S. Li ; J. Martin ; C. Balagoplakrishna ; O. Bukhres ; R. J. Oppelt
Effective Indexing and Filtering for Similarity Search in Large Biosequence Databases / O. Ozturk ; H. Ferhatosmanoglu
Application of XML Schema and Active Rules System in Management and Integration of Heterogeneous Biological Data
An Assessment of a Metric Space Database Index to Support Sequence Homology / R. Mao ; W. Xu ; N. Singh ; D. P. Miranker
Clustering Algorithms / Bioinfo-9：
Detecting Experimental Noises in Protein-Protein Interactions with Iterative Sampling and Model-Based Clustering
DHC: A Density-Based Hierarchical Clustering Method for Time Series Gene Expression Data / D. Jiang ; J. Pei ; A. Zhang
Determination of the Minimum Sample Size in Microarray Experiments to Cluster Genes Using K-Means Clustering
A Repulsive Clustering Algorithm for Gene Expression Data (Short Paper) / C.-S. Cheng ; S.-S. Wang
Prediction, Simulation and Mining Models / Bioinfo-10：
Combining Few Neural Networks for Effective Secondary Structure Prediction / K. S. Guimaraes ; J. C. B. Melo ; G. D. C. Cavalcanti
Uses of Multiagents Systems for Simulation of MAPK Pathway (Short Paper) / G. Querrec ; V. Rodin ; J. F. Abgrall ; S. Kerdelo ; J. Tisseau
A Framework for Cancer-Related Genes Mining over the Internet / J. J. P. Tsai ; J. G. Chang ; S. H. Shih ; R. M. Chen ; H. W. Hsiao ; R. M. Hu ; S. N. Chen ; M. M. Lee ; F. M. Liu ; W. L. Chan
Predictive Model for Yeast Protein Functions Using Modular Neural Approach (Short Paper) / D. Hwang ; F. Fotouhi ; R. L. Filey, Jr. ; W. I. Grosky
Author Index
Message from the General Chair
BIBE 2003 Program Committee
Protein Structures and Pathways / Bioinfo-1：
9.

図書
図書
9. Proceedings, 25th International Conference on Software Engineering, ICSE 2003, 3-10 May 2003, Portland, Oregon USA
International Conference on Software Engineering ; Association for Computing Machinery ; IEEE Computer Society
出版情報: New York : Association for Computing Machinery , Los Alamitos : IEEE Computer Society, c2003  xxiv, 833 p. ; 28 cm
所蔵情報: loading…
10.

図書
図書
10. Conference Proceedings of the 2003 IEEE International Performance, Computing, and Communications Conference, Phoenix, Arizona, U.S.A., April 9-11, 2003 (: soft)
edited by Alan D. George ... [et al.] ; sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on the Internet, IEEE Communications Society,
出版情報: Piscataway, N.J. : IEEE Service Center, c2003  xiii, 556 p. ; 28 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼