Counterexample computation in compositional nonblocking verification by Malik, Robi, Ware, Simon

“…Counterexamples are an important feature of model checking that explains the cause of a detected problem, greatly helping users to understand and fix faults. In compositional verification, counterexamples are difficult to compute due to the large state space and the loss of information after abstraction. …”
Get full text
Get full text

21A.235 American Dream: Exploring Class in the U.S., Spring 2007 by Walley, Christine

“…Yet, social class remains a central fault line in the U.S. Subject explores the experiences and understandings of class among Americans positioned at different points along the U.S. social spectrum. …”
Get full text

Coevolving Cybersecurity Adversaries for Industrial Control Systems in Failure-Prone Environments by Wicks, Kathryn

“…In the sub-area that this thesis focuses on, power microgrids, such disturbances can come in the form of line-line faults, line-ground faults, lack of generation capacity to meet demand, and unintentional islanding, among many others. …”
Get full text

EasyPDP: an efficient parallel dynamic programming runtime system for computational biology by Tang, Shanjiang, Yu, Ce, Sun, Jizhou, Lee, Bu-Sung, Zhang, Tao, Xu, Zhen, Wu, Huabei

“…We evaluate the performance potential and fault tolerance feature of EasyPDP in multicore system. …”
Get full text
Get full text

Combining stratigraphy and tectonics to understand intermittent deposition on the outer rise offshore Sumatra, Indonesia by Tan, Li Ching

“…We identified normal faults and channels, defined 8 sedimentary packages and interpreted deposition to be intermittent. …”
Get full text

Geometry guided supervised representation learning for classification by Li, Yue

“…Experimental results on several benchmark datasets demonstrate the effectiveness of the proposed algorithm, and the empirical study also shows it is an efficient tool on machine fault diagnosis.…”
Get full text

Shareholder withdrawal in close corporations : an Anglo-German comparative analysis by Koh, Alan K.

“…Comparative analysis reveals how the two jurisdictions differ in treatment of ‘non-fault’ scenarios and their underlying visions of shareholder protection. …”
Get full text

Byzantine-resilient decentralized stochastic gradient descent by Guo, Shangwei, Zhang, Tianwei, Yu, Han, Xie, Xiaofei, Ma, Lei, Xiang, Tao, Liu, Yang

“…However, how to achieve Byzantine Fault Tolerance in decentralized learning systems is rarely explored, although this problem has been extensively studied in centralized systems. …”
Get full text

Intelligent condition monitoring system by Bong, Jacqueline Lin-Hui

“…These electrical machines must achieve an optimum level of availability to achieve business objectives. Fault detection and diagnosis of the electrical machine is important for the health and safe operation of electrical machines to prevent unexpected breakdowns. …”
Get full text

Synthesis and testing of asynchronous circuits - micropipeline by Khaing, Kathy.

“…The proposed checker using doubleinput double-output D flip-flop (DIDODFF) allows stuck-at fault detection in the functional block or control structure of the micropipeline as well as the checker itself. …”
Get full text

Rupture kinematics of the 2005 Mw 8.6 Nias-Simeulue earthquake from the joint inversion of seismic and geodetic data by Konca, A. Ozgun, Hjorleifsdottir, Vala, Song, Alex Teh-Ru, Avouac, Jean-Philippe, Ji, Chen, Sieh, Kerry, Helmberger, Don V., Briggs, Richard W., Meltzner, Aron J.

“…Based on the excitation of the normal mode data and geodetic data we put relatively tight constraints on the seismic moment and the fault dip, where the dip is determined to be 8° to 10° with corresponding moments of 1.24 × 10^22 to 1.00 × 10^22 N m, respectively. …”
Get full text
Get full text

A hybrid-excited switched reluctance motor for aerospace application by Yeo, Benedict Yang Kang

“…Next, I will focus on the characteristics and design principles of a switched reluctance motor and compare its performance and fault tolerant capabilities with a permanent magnet synchronous motor to weigh the advantages and disadvantages of either machine. …”
Get full text

Network architecture for large-scale CVE by Jiang, Bo Hong

“…Thus each Acting Server can maintain the static and dynamic data efficiently, handle more simultaneous access to the same virtual environment, and make the system more robust and fault tolerant. It provides a solution to scalability of CVE system that supports audio/video real time communication.…”
Get full text

Prospects for larger or more frequent earthquakes in the Los Angeles metropolitan region by Sieh, Kerry, Suppe, John, Dolan, James F., Rockwell, Thomas K., Yeats, Robert S., Huftile, Gary J., Gath, Eldon M., Shaw, John H.

“…The average time between Mw 7.2 to 7.6 earthquakes from a combination of six fault systems within the metropolitan area was estimated to be about 140 years.…”
Get full text
Get full text

Deformation and slip along the Sunda megathrust in the Great 2005 Nias-Simeulue earthquake by Sieh, Kerry, Galetzka, John, Simons, Mark, Hananto, Nugroho, Suprihanto, Imam, Prayudi, Dudi, Avouac, Jean-Philippe, Prawirodirdjo, Linette, Bock, Yehuda, Hsu, Ya-Ju, Briggs, Richard W., Meltzner, Aron J., Natawidjaja, Danny H., Suwargadi, Bambang W.

“…Surface deformation reflects more than 11 meters of fault slip under the islands and a pronounced lessening of slip trenchward. …”
Get full text
Get full text

Demonstrating experimentally the encoding and dynamics of an error-correctable logical qubit on a hyperfine-coupled nuclear spin qudit by Lim, S, Vaganov, M, Liu, J, Ardavan, A

“…Our results confirm the potential of these proposals for practical, implementable, fault tolerant quantum memories.…”

Towards practical data-driven predictive maintenance: a robust and generalizable deep learning approach by Mohamed Ragab Mohamad Adam

“…The focus of this thesis is on two main tasks of predictive maintenance: fault diagnosis and fault prognosis (i.e., Remaining Useful Life Estimation (RUL)) tasks. …”
Get full text

Optimising resources in management of maintenance : a study using electrical (building) services. by Chian, Thian Shian.

“…Based on this enhanced framework, a workshop was conducted to structure and represent the knowledge of maintenance (electrical) faults. A three-months field trial followed and its data subsequently analyzed. …”
Get full text

Folding waveform based number systems for signal processing in communications by Pham, Duc Minh.

“…RNS has been considered in implementation of high speed DSP algorithms because of its inherited parallelism, modularity, fault tolerance as well as localized carry propagation properties. …”
Get full text

Design and testing of a solid-state power controller control and protection card for aerospace application by Singh, Davinder

“…This will create an environment with a high density of electrical loads which will require constant monitoring for electrical fault signals and rapid isolation. Advancements in power electronics and digital control systems have led to the exploration of Solid-State Power Controller(SSPC) as a replacement for the electromechanical protection devices. …”
Get full text