Different theorem provers tend to produce proof objects in different formats and this is especially the case for modal logics, where Weight Gainers several deductive formalisms (and provers based on them) have been presented.This work falls within the general project of establishing a common specification language in order to certify proofs given i
There has been a growing interest in research on how to define and build indicators of resilience to address challenges associated with sea-level rise.Most of the proposed methods rely on lagging indicators constructed based on the historical performance of an infrastructure sub-system.These indicators are traditionally utilized to build curves tha
The article analyses search engines as tools of social communication and searches for scientific information, presents a list of the newest national and world search engines, databases, repositories.An assessment of the newest field of social communication, such as digital humanities.The purpose of the article is to evaluate modern search engines a
A thermal mixed lubrication model in plane contacts is developed and the local temperature rise is considered.The influence of temperature on lubricant film thickness, local pressure distribution, local temperature rise and the load sharing ratio of Chest micro convex peak are analyzed by computing on Sinusoidal rough surface and Gaussian rough sur
Background: The incidence of osteosarcoma Pec Fly Cable reached 16.8 cases annually at dr.Cipto Mangunkusumo Hospital in 1995-2008.Previous studies suggested that prolonged neoadjuvant chemotherapy followed by delayed surgery improves the clinical outcome.Prolonged neoadjuvant chemotherapy followed by delayed surgery commonly occurs in Indonesia, a