54 YEARS OF MICROBORING COMMUNITY HISTORY EXPLORED BY MACHINE LEARNING IN A MASSIVE CORAL FROM MAYOTTE (INDIAN OCEAN)

54 years of microboring community history explored by machine learning in a massive coral from Mayotte (Indian Ocean)

Coral reefs are increasingly in jeopardy due to global changes affecting both reef accretion and bioerosion processes.Bioerosion processes dynamics in dead reef carbonates under various environmental conditions are relatively well understood but only over a short-term limiting projections of coral reef evolution by 2100.It is thus essential to moni

read more

Formal verification of a deadlock detection algorithm

Facial Soap Deadlock detection is a challenging issue in the analysis and design of on-chip networks.We have designed an algorithm to detect deadlocks automatically in on-chip networks with wormhole switching.The algorithm has been specified and proven correct in ACL2.To enable a top-down proof methodology, some parts of the algorithm have been lef

read more