CURRENT STATE OF THE SEISMIC BROADBAND NETWORK OF INDONESIA: IS IT POSSIBLE FOR THE EARLY WARNING SYSTEM FROM A SUBAERIAL SOURCE-INDUCED TSUNAMI?

Current state of the seismic broadband network of Indonesia: Is it possible for the early warning system from a subaerial source-induced tsunami?

Lesson learned from the Anak Krakatau volcanic eruption followed by the tsunami on accel lifetime horse supplement 22 December 2018 has generated a huge gap in the readiness of the Indonesian early warning system to detect such an event.Consequently, the official was found it difficult to broadcast the right warning within a considerable time to th

read more


Certification of Prefixed Tableau Proofs for Modal Logic

Different theorem provers tend to produce proof objects in different formats and this is especially the case for modal logics, where several deductive formalisms (and provers based on them) have been presented.This work falls within the general butterfly cupcake liners project of establishing a common specification language in order to certify proo

read more

Differential Patterns of Microbiota Recovery in Symbiotic and Aposymbiotic Corals following Antibiotic Disturbance

ABSTRACT Microbial relationships are critical to coral health, and changes in microbiomes are often exhibited following environmental disturbance.However, the dynamics of coral-microbial composition and external factors that govern coral microbiome assembly and response to disturbance remain largely uncharacterized.Here, we investigated how antibio

read more

The Practice of Classified Protection Framework Based on Island Use Types and Ways for Uninhabited Islands in Zhoushan City

Uninhabited islands have an important role in supporting the socio-economic and ecological development in Zhoushan City.To promote the refined sony c management and sustainability for uninhabited islands, this paper analyzed the underlying problems of the utilization and conservation in Zhoushan City, and proposed the principles of categorized prot

read more