T his study examines the relationship between Foreign Direct Investment (FDI) and employment in the Indonesia construction service sector. The method used in this study is Panel VECM Granger. The data used are the data of FDI inflow and employment in the construction sector in some provinces, namely North Sumatra, Riau, Jakarta, West Java, East Java, and...

Efficient manipulation of Boolean functions is the foundation of many formal verification tasks. Several code libraries and development environments exist in the public domain which perform these tasks using ordered binary decision diagrams as the central data structure. This paper describes a re-implementation of one of these libraries, David Long’s bddlib, in Sun Microsystems’ Java computer l...

Monitoring of CPU consumption is a very basic requirement in many areas of software. It is especially valuable in the frame of Internet applications, in support of specific aspects such as security, reliability, and adaptability. This paper is set in the context of J-RAF2, a Javabased framework exploiting bytecode rewriting techniques in order to guarantee the portability of CPU-managed applica...

An (nk)-configuration is a set of n points and n lines in the projective plane such that the point – line incidence graph is k-regular. The configuration is geometric, topological, or combinatorial depending on whether lines are considered to be straight lines, pseudolines or just combinatorial lines. We provide an algorithm for generating all combinatorial (nk)-configurations that admit a topo...

In March 2020, the Covid-19 virus spread in Central Java and hit tourism Java, where is province with most tourist attractions on island of Java. This study aims to determine impact visits, both foreign tourists domestic during pandemic see policies issued by Government that protect tourism. The research method used this descriptive quantitative independent variable dependent number visits tour...