<--- Back to Details
First PageDocument Content
Construction / Mechanical engineering / Ordinary differential equations / Tuned mass damper / Damping / Response spectrum / Xi / Seismic retrofit / Seismic analysis / Civil engineering / Earthquake engineering / Structural engineering
Date: 2013-11-30 07:44:12
Construction
Mechanical engineering
Ordinary differential equations
Tuned mass damper
Damping
Response spectrum
Xi
Seismic retrofit
Seismic analysis
Civil engineering
Earthquake engineering
Structural engineering

Microsoft PowerPoint - Poster Chang-Yu Chen.ppt

Add to Reading List

Source URL: www.aees.org.au

Download Document from Source Website

File Size: 43,68 KB

Share Document on Facebook

Similar Documents

Formal methods / Software engineering / Computing / Logic in computer science / Non-interference / Exception handling / Formal verification / Refinement / Thread / Futures and promises / Covert channel / Application programming interface

Nickel: A Framework for Design and Verification of Information Flow Control Systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, Xi Wang University of Washington

DocID: 1xVUp - View Document

Telecommunications engineering / Radio resource management / Information and communications technology / Technology / Electrical engineering / Network performance / 5G / Internet of things / Technology forecasting / Throughput / Channel allocation schemes / Computer network

DYNAMIC SPECTRUM MANAGEMENT FOR 5G Advanced Dynamic Channel Access Strategy in Spectrum Sharing 5G Systems Siyu Lin, Linghe Kong (corresponding author), Qian Gao, Muhammad Khurram Khan, Zhangdui Zhong, Xi Jin, and Peng

DocID: 1xVvQ - View Document

Wireless networking / Computing / Information and communications technology / Computer networking / Technology / Network protocols / Data transmission / Internet of things / Vehicular ad hoc network / Wireless ad hoc network / Mobile ad hoc network / Network packet

Data Preference Matters: A New Perspective of Safety Data Dissemination in Vehicular Ad Hoc Networks Qiao Xiang1 , Xi Chen1, Linghe Kong1 , Lei Rao2 , Xue Liu1 1 School of Computer Science, McGill University, Canada, 2

DocID: 1xVdq - View Document

Aircraft instruments / Standards / Covert channel / Steganography / ARINC 653 / ARINC / Verification / Human behavior / Technology / User interface design / Design

Nickel A Framework for Design and Verification of Information Flow Control Systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, and Xi Wang

DocID: 1xV5v - View Document

Computer architecture / Computing / Formal methods / Logic in computer science / Kernel / Linux kernel / L4 microkernel family / Mach / Verification / X86-64 / Formal verification / Satisfiability modulo theories

Hyperkernel: Push-Button Verification of an OS Kernel Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, and Xi Wang University of Washington {lukenels,helgi,kaiyuanz,dgj16,bo

DocID: 1xUUc - View Document