Unmanned deep-sea and planetary vehicles operate in highly uncertain environments. Autonomous agents often are not adopted in these domains due to the risk of mission failure, and loss of vehicles. Prior work on contingent plan execution addresses this issue by placing bounds on uncertain variables and by providing consistency guarantees for a ‘worst-case’ analysis, which tends to be too conser...

Antigenic variants of Mycoplasma gallisepticum major surface lipoprotein, pMGA, are encoded by a large gene family. In this study sequence analyses of the PCR-amplified pMGA genes showed two types of sequences similar to the pMGA1.2 gene in M. gallisepticum strains. They differed in the sequence encoding a proline-rich region (PRR) at the N-terminus of the pMGA protein. The type A genes had seq...

Good faith is fundamentals in every contract, without which a contract will find it difficult to achieve its goals. In 2019, through made before notary the hall of Kampar Regent Office, Kooperasi Nenek Eno Senamanenek and PT. Perkebunan Nusantara IV start new beginning after long period dispute over community’s customary land. The good fulfillment between KNES PTPN V would affect legal relation...

Petri nets [13, 12] are a widely used model for the study and analysis of concurrent systems. Many different formalisms have been proposed which extend Petri nets with clocks and real-time constraints, leading to various definitions of Timed Petri nets (TPNs) (see [10, 6] for surveys). In parallel, there have been several works on extending the model of timed automata [4] with prices (weights) ...

Information technology has been developed by many companies to achieve supply chain performance, E-farming is an application register own sugarcane land/cane people and monitor the progress of plant work based on web mobile (android) supported GIS satellite technology. The research used a quantitative method using survey methods through distributing questionnaires e-farming actors/users at PTPN...