Search results for: Java
Commenced in January 2007
Frequency: Monthly
Edition: International
Paper Count: 256

Search results for: Java

256 Tracy: A Java Library to Render a 3D Graphical Human Model

Authors: Sina Saadati, Mohammadreza Razzazi

Abstract:

Since Java is an object-oriented language, It can be used to solve a wide range of problems. One of the considerable usages of this language can be found in Agent-based modeling and simulation. Despite the significant power of Java, There is not an easy method to render a 3-dimensional human model. In this article, we are about to develop a library which helps modelers present a 3D human model and control it with Java. The library runs two server programs. The first one is a web page server that can connect to any browser and present an HTML code. The second server connects to the browser and controls the movement of the model. So, the modeler will be able to develop a simulation and display a good-looking human model without any knowledge of any graphical tools.

Keywords: agent-based modeling and simulation, human model, graphics, Java, distributed systems

Procedia PDF Downloads 70
255 Auditor with the Javanese Characters: Revealing the Relationship towards Its Client

Authors: Krisna Damayanti

Abstract:

Negative issue about the relationship between auditors and clients often heard. It arises in view of the rise of a variety of phenomena resulting from the audit practice of greed and do not appreciate the independence of the audit profession and professional code of ethics. It is a logical consequence of the practice of capitalism in accounting. The purpose of this paper would like to uncover the existing auditing practices in Indonesia, especially Java, which is associated with a strong influence of Javanese culture with reluctant/"shy", politely, "legowo", "ngemong" friendly, "not mentholo", "tepo seliro", "ngajeni", "acquiescent". The method used by interpretive approach that emphasizes the role of language, interpret and understand and see social reality as something other than a label, name or concept. Auditing practices in each country has a culture that will affect the standard set by those regulatory standards although there has been an adaptation of IAS. In Indonesia the majority of parties dominated by Javanesse racial regulators, so Java culture is embedded in every audit practices thus conditions in Java requires auditors to behave like that, sometimes interfere with standard Java code of conduct that must be executed by an auditor. Auditors who live in Java have the characters of Javanese culture that is hard to avoid in the audit practice. However, in practice, the auditor still are relevant in their profession.

Keywords: auditors, java, character, profession, code of ethics, client

Procedia PDF Downloads 402
254 Tool for Fast Detection of Java Code Snippets

Authors: Tomáš Bublík, Miroslav Virius

Abstract:

This paper presents general results on the Java source code snippet detection problem. We propose the tool which uses graph and sub graph isomorphism detection. A number of solutions for all of these tasks have been proposed in the literature. However, although that all these solutions are really fast, they compare just the constant static trees. Our solution offers to enter an input sample dynamically with the Scripthon language while preserving an acceptable speed. We used several optimizations to achieve very low number of comparisons during the matching algorithm.

Keywords: AST, Java, tree matching, scripthon source code recognition

Procedia PDF Downloads 390
253 Influence Activities in Destination, Destination Marketing, and Loyalty through Environmental Preservation toward Satisfaction at the Tourist Destinations in East Java, Indonesia

Authors: Christina Esti Susanti

Abstract:

This study aimed to determine the effect Activities in marketing, Destination Marketing, and Environmental preservation loyalty through satisfaction at tourist destination in East Java, Indonesia. In this study population used is Surabaya citizens who had visited tourist destination in East Java, Indonesia. Characteristics of a sample of respondents in this study are: a minimum age of 17 years, and ever came in tourist destination in East Java, Indonesia with each destination more than 1 visits. Total sample 316 respondents. Data analysis tools which is used in this study is a structural equation modeling. Based on the analysis, the results of this study can be concluded that the hypothesis 1, 2, 5, and 6 are proposed in this study was rejected because not significant. The hypotheses are: (1) Activities in destination have influence which is positive effect on satisfaction in the tourist destination in East Java, Indonesia, (2) Destination marketing have influence which is positive effect on satisfaction in the tourist destination in East Java, Indonesia, (3) Activities in destination have influence which is positive effect towards loyalty through satisfaction in a tourist destination in East Java, Indonesia. (4) Destination marketing have influence which is positive effect on loyalty through satisfaction in a tourist destination in East Java, Indonesia. While the hypothesis 3, 4, and 7, is received. The hypotheses are: (1) Environmental preservation have influence which is positive effect and significant on satisfaction in the tourist destination in East Java, Indonesia. (2) Satisfaction have influence which is positive effect and significant on loyalty to the tourist destination in East Java, Indonesia. (3) Environmental preservation have influence which is positive effect and significant on loyalty through satisfaction in a tourist destination in East Java, Indonesia. Practical advice submitted to the management of tourist destinations, especially in the 10 areas where research was conducted for more attention to the condition of the physical environment to be around tourist spots / attractions, namely: the condition of roads, water supply conditions, the condition of drainage / sanitation, and the condition waste more seriously. Based on the proposal, the manager of a tourist destination seems to be working closely with the local municipal sanitation departments, local water companies local city and town local public works departments to jointly manage a tourist destination considering regional tourism is one of the region's assets and become one sources of local revenue (PAD) is vital.

Keywords: activities in marketing, destination amarketing, environmental preservation, satisfaction, loyalty

Procedia PDF Downloads 512
252 Towards Expanding the Use of the Online Judge UnitJudge for Java Programming Exercises and Web Development Practices in Computer Science Education

Authors: Iván García-Magariño, Javier Bravo-Agapito, Marta López-Fernández

Abstract:

Online judges have proven their utility in partial auto-evaluation of programming short exercises in the last decades. UnitJudge online judge has the advantage of facilitating the evaluation of separate units to provide more segregate and meaningful feedback to students in complex exercises and practices. This paper discusses the use of UnitUdge in advanced Java object-oriented programming exercises and web development practices. This later usage has been proposed by means of the Selenium Java library and classes to provide the web address. Consequently, UnitJudge is an online judge system that can be applied in several subjects, and therefore, many other students would take advantage of self-testing their exercises. This paper presents the experiments with a Java programming exercise for learning Java object-oriented classes with a generic type. Considering 10 students who voluntarily used UnitJudge, 80% successfully learned this concept, passing the judge exercise with correct results.

Keywords: online judges, programming skills, computer science education, auto-evaluation

Procedia PDF Downloads 35
251 Value Chain Identification of Beekeeping Business in Indonesia: Case Study of Four Beekeeping Business in West Java

Authors: Dwi Purnomo, Anas Bunyamin, Fajar Susilo, Akbar Anugrah

Abstract:

Beekeeping became a rural economic buffer, especially for people who lived by forest side to diversify their food or sell the honey and bee colony. Aside from the high price of honey and it’s derivative products, there is another revenue stream along beekeeping value chain that could be optimized by the people. There are five of nine honey bee species in the world, exist in Indonesia, such as Apis Cerana, Apis Dorsata, Apis Andreniformis, Apis Koschevnikovi, and Apis Nigrocincta. Indonesian farmer generally developed Apis Cerana and two other honey bees species, like Apis Mellifera and Trigona. This study tried to identify, how beekeeping business practices, challenges and opportunities in four beekeeping business in West Java through the value chain along the business. Data carried out by literature review, interview and focus group discussion with key actors in beekeeping business. There are six revenue stream in beekeeping business in West Java, such as brood hunter, beehives maker, agroforestry, agro-tourism, honey and derivatives products and bee acupuncture. This assesses conclude any criteria that should grasp for developing and sustaining beekeeping business in West Java.

Keywords: beekeeping business, business developing, value chain, West Java

Procedia PDF Downloads 165
250 The Arts of Walisanga's Mosques in Java: Structure/Architecture Studies and Its Meaning in Anthropological Perspective

Authors: Slamet Subiyantoro, Mulyanto

Abstract:

Revealing the structure and symbolism meaning of the walisanga’s mosque arts in Java is very important to explain the philosophy of religious foundation which is a manifestation of the norms/ value system and behavior of the Javanese Islam society that support the culture. This research's aims are also to find the structure pattern of walisanga’s mosque and its symbolic meaning in the context of Javanese Islam society. In order to obtain the research objectives, the research were done in several walisanga’s mosques in Java using anthropological approach which is focused on its interpretation and semiotic analysis. The data were collected through interviews with key informants who well informed about the shape and symbolism of walisanga’s mosques in Java. The observation technique is done through visiting walisanga’s mosques to see directly about its structure/ architecture. In completing the information of comprehensive result of the research, it is also used documents and archives as well as any other source which is analyzed to deepen the discussion in answering the problems research. The flow of analysis is done using an interactive model through stages of data collection, data reduction, data presentation and verification. The analysis is done continuously in a cycle system to draw valid conclusions. The research result indicates that the structure/architecture of walisanga’s mosque in Java is structured/built up vertically as well as horizontally. Its structure/architecture is correlated to each other which is having a sacred meaning that is a process represents the mystical belief such as sangkan paraning dumadi and manuggaling kawula gusti.

Keywords: Walisanga’s mosques, Java, structure and architecture, meaning

Procedia PDF Downloads 321
249 Clustering Ethno-Informatics of Naming Village in Java Island Using Data Mining

Authors: Atje Setiawan Abdullah, Budi Nurani Ruchjana, I. Gede Nyoman Mindra Jaya, Eddy Hermawan

Abstract:

Ethnoscience is used to see the culture with a scientific perspective, which may help to understand how people develop various forms of knowledge and belief, initially focusing on the ecology and history of the contributions that have been there. One of the areas studied in ethnoscience is etno-informatics, is the application of informatics in the culture. In this study the science of informatics used is data mining, a process to automatically extract knowledge from large databases, to obtain interesting patterns in order to obtain a knowledge. While the application of culture described by naming database village on the island of Java were obtained from Geographic Indonesia Information Agency (BIG), 2014. The purpose of this study is; first, to classify the naming of the village on the island of Java based on the structure of the word naming the village, including the prefix of the word, syllable contained, and complete word. Second to classify the meaning of naming the village based on specific categories, as well as its role in the community behavioral characteristics. Third, how to visualize the naming of the village to a map location, to see the similarity of naming villages in each province. In this research we have developed two theorems, i.e theorems area as a result of research studies have collected intersection naming villages in each province on the island of Java, and the composition of the wedge theorem sets the provinces in Java is used to view the peculiarities of a location study. The methodology in this study base on the method of Knowledge Discovery in Database (KDD) on data mining, the process includes preprocessing, data mining and post processing. The results showed that the Java community prioritizes merit in running his life, always working hard to achieve a more prosperous life, and love as well as water and environmental sustainment. Naming villages in each location adjacent province has a high degree of similarity, and influence each other. Cultural similarities in the province of Central Java, East Java and West Java-Banten have a high similarity, whereas in Jakarta-Yogyakarta has a low similarity. This research resulted in the cultural character of communities within the meaning of the naming of the village on the island of Java, this character is expected to serve as a guide in the behavior of people's daily life on the island of Java.

Keywords: ethnoscience, ethno-informatics, data mining, clustering, Java island culture

Procedia PDF Downloads 246
248 Automated Java Testing: JUnit versus AspectJ

Authors: Manish Jain, Dinesh Gopalani

Abstract:

Growing dependency of mankind on software technology increases the need for thorough testing of the software applications and automated testing techniques that support testing activities. We have outlined our testing strategy for performing various types of automated testing of Java applications using AspectJ which has become the de-facto standard for Aspect Oriented Programming (AOP). Likewise JUnit, a unit testing framework is the most popular Java testing tool. In this paper, we have evaluated our proposed AOP approach for automated testing and JUnit on various parameters. First we have provided the similarity between the two approaches and then we have done a detailed comparison of the two testing techniques on factors like lines of testing code, learning curve, testing of private members etc. We established that our AOP testing approach using AspectJ has got several advantages and is thus particularly more effective than JUnit.

Keywords: aspect oriented programming, AspectJ, aspects, JU-nit, software testing

Procedia PDF Downloads 286
247 Character Education Model for Early Childhood Based Javanese Culture

Authors: Rafika Bayu Kusumandari, Istyarini, Ispen Safrel

Abstract:

Character education will be more meaningful if carried out since early childhood. This is because early childhood education is the foundation of the formation of character. This study intends to find a model of character education in early childhood based on Javanese culture. In keeping with the focus of the study, long-term goals to be achieved through this research is to find once described the development of a model of character education in early childhood Javanese culture based in Semarang are then applied across early childhood education institutions in Semarang City. The specific objective of the study is: Describe the character models and management education in early childhood Java-based culture in Semarang City. The benefits of this research are; Provide an overview of the model and describe the management of character education in early childhood Java-based culture in Semarang City. Referring to the objectives of the research program was designed with a "Research and Development", meaning that a program of research followed by development programs for improvement or refinement. To produce a prototype model of character education in early childhood Java-based culture in the city, taken systematic measures in the form of the action, reflection, evaluation and innovation by applying qualitative research methods, descriptive, development, experimentation, and evaluation. This study aims to gain in-depth description of the model of character education in early childhood Java-based culture in the city of Semarang. The reason for the use of the use of qualitative methods researcher's knowledge, no study results and empirical research specifically about the model of character education in early childhood Java-based culture in the city of Semarang. On the implementation of character education early childhood adapted to the characteristics of each school and the emphasis of each agency arrangements for early childhood education, culture-based Java. Javanese culture should be introduced early in order not to erode the cultural lost outside the entrance as the era of globalization. In addition, Java is promoting a culture of courtesy and manners are very appropriate for the character formation of children of early age.

Keywords: education character, Javanese culture, childhood, character

Procedia PDF Downloads 353
246 Unravelling Domestic Electricity Demand by Domestic Renewable Energy Supply: A Case Study in Yogyakarta and Central Java, Indonesia

Authors: Diyono Harun

Abstract:

Indonesia aims to reduce carbon emissions from energy generation by reaching 23% and 31% of the national energy supply from renewable energy sources (RES) in 2025 and 2030. The potential for RES in Indonesia is enormous, but not all province has the same potential for RES. Yogyakarta, one of the most travel-destinated provinces in Indonesia, has less potential than its neighbour, Central Java. Consequently, Yogyakarta must meet its electricity demand by importing electricity from Central Java if this province only wants to use electricity from RES. Thus, achieving the objective is balancing the electricity supply between an importer (Yogyakarta) and an exporter province (Central Java). This research aims to explore the RES potential and the current capacity of RES for electricity generation in both provinces. The results show that the present capacity of RES meets the annual domestic electricity demand in both provinces only with an extension of the RES potential. The renewable energy mixes in this research also can lower CO2 emissions compared to gas-fired power plants. This research eventually provides insights into exploring and using the domestic RES potentials between two areas with different RES capacities.

Keywords: energy mix, renewable energy sources, domestic electricity, electricity generation

Procedia PDF Downloads 48
245 Maintaining the Formal Type of West Java's Heritage Language with Sundanese Language Lesson in Senior High School

Authors: Dinda N. Lestari

Abstract:

Sundanese language is one of heritage language in Indonesia that must be maintained especially the formal type of it because teenagers nowadays do not speak Sundanese language formally in their daily lives. To maintain it, Cultural and Education Ministry of Indonesia has input Sundanese language lesson at senior high school in West Java area. The aim of this study was to observe whether the existence of Sundanese language lesson in senior high school in the big town of Karawang, West Java - Indonesia give the contribution to the formal type of Sundanese language maintenance or not. For gathering the data, the researcher interviewed the senior high school students who have learned Sundanese language to observe their acquisition of it. As a result of the interview, the data was presented in qualitative research by using the interviewing method. Then, the finding indicated that the existence of Sundanese language in Senior High School also the educational program which is related to it, for instance, Kemis Nyunda seemed to do not effective enough in maintaining the formal type of Sundanese language. Therefore, West Java government must revise the learning strategy of it, including the role of the Sundanese language teacher.

Keywords: heritage language, language maintenance and shift, senior high school, Sundanese language, Sundanese language lesson

Procedia PDF Downloads 112
244 Establishment of Aquaculture Cooperative for Sustainable Local People Economic Welfare in Jatiluhur, West Java, Indonesia

Authors: Aisyah Nurfitria, Alifa Rahmadia Putri, Andini Lestari, Kartika Sukmatullahi Hasanah, Mutiara Mayang Oktavia

Abstract:

The research aims to describe and analyze the background and condition of Jatiluhur Dam, West Java, Indonesia. The Jatiluhur Dam as known as the biggest dam in West Java has huge fisheries resource, which is supposed to assure the local people appropriateness of living. Unfortunately based on this field research, the local people are living a life in under poverty line. This study focuses on increasing local people economic welfare through “Aquaculture Cooperative” implementation. Empower and diversify income of local people is the purpose of this study. In the same way, this study also focuses on the sustainable local people’s livelihoods. In order to obtain the sustainability of them, recovering the fisheries of Jatiluhur Dam is the part of “Aquaculture Cooperative” program. Method that is used in this research is a qualitative approach by literature review and in-depth interview through direct observation as data collecting techniques. Factors such as social and economic condition are also considered in order to know how “Aquaculture Cooperative” able to accepted by local people.

Keywords: aquaculture cooperative, economic welfare, Jatiluhur fisheries, West Java

Procedia PDF Downloads 412
243 Geo-spatial Analysis: The Impact of Drought and Productivity to the Poverty in East Java, Indonesia

Authors: Yessi Rahmawati, Andiga Kusuma Nur Ichsan, Fitria Nur Anggraeni

Abstract:

Climate change is one of the focus studies that many researchers focus on in the present world, either in the emerging countries or developed countries which is one of the main pillars on Sustainable Development Goals (SDGs). There is on-going discussion that climate change can affect natural disaster, namely drought, storm, flood, and many others; and also the impact on human life. East Java is the best performances and has economic potential that should be utilized. Despite the economic performance and high agriculture productivity, East Java has the highest number of people under the poverty line. The present study is to measuring the contribution of drought and productivity of agriculture to the poverty in East Java, Indonesia, using spatial econometrics analysis. The authors collect data from 2008 – 2015 from Indonesia’s Ministry of Agriculture, Natural Disaster Management Agency (BNPB), and Official Statistic (BPS). First, the result shows the existence of spatial autocorrelation between drought and poverty. Second, the present research confirms that there is strong relationship between drought and poverty. the majority of farmer in East Java are still relies on the rainfall and traditional irrigation system. When the drought strikes, mostly the farmer will lose their income; make them become more vulnerable household, and trap them into poverty line. The present research will give empirical studies regarding drought and poverty in the academics world.

Keywords: SDGs, drought, poverty, Indonesia, spatial econometrics, spatial autocorrelation

Procedia PDF Downloads 108
242 Tool for Determining the Similarity between Two Web Applications

Authors: Doru Anastasiu Popescu, Raducanu Dragos Ionut

Abstract:

In this paper the presentation of a tool which measures the similarity between two websites is made. The websites are compound only from webpages created with HTML. The tool uses three ways of calculating the similarity between two websites based on certain results already published. The first way compares all the webpages within a website, the second way compares a webpage with all the pages within the second website and the third way compares two webpages. Java programming language and technologies such as spring, Jsoup, log4j were used for the implementation of the tool.

Keywords: Java, Jsoup, HTM, spring

Procedia PDF Downloads 343
241 JaCoText: A Pretrained Model for Java Code-Text Generation

Authors: Jessica Lopez Espejel, Mahaman Sanoussi Yahaya Alassan, Walid Dahhane, El Hassane Ettifouri

Abstract:

Pretrained transformer-based models have shown high performance in natural language generation tasks. However, a new wave of interest has surged: automatic programming language code generation. This task consists of translating natural language instructions to a source code. Despite the fact that well-known pre-trained models on language generation have achieved good performance in learning programming languages, effort is still needed in automatic code generation. In this paper, we introduce JaCoText, a model based on Transformer neural network. It aims to generate java source code from natural language text. JaCoText leverages the advantages of both natural language and code generation models. More specifically, we study some findings from state of the art and use them to (1) initialize our model from powerful pre-trained models, (2) explore additional pretraining on our java dataset, (3) lead experiments combining the unimodal and bimodal data in training, and (4) scale the input and output length during the fine-tuning of the model. Conducted experiments on CONCODE dataset show that JaCoText achieves new state-of-the-art results.

Keywords: java code generation, natural language processing, sequence-to-sequence models, transformer neural networks

Procedia PDF Downloads 227
240 Automatic API Regression Analyzer and Executor

Authors: Praveena Sridhar, Nihar Devathi, Parikshit Chakraborty

Abstract:

As the software product changes versions across releases, there are changes to the API’s and features and the upgrades become necessary. Hence, it becomes imperative to get the impact of upgrading the dependent components. This tool finds out API changes across two versions and their impact on other API’s followed by execution of the automated regression suites relevant to updates and their impacted areas. This tool has 4 layer architecture, each layer with its own unique pre-assigned capability which it does and sends the required information to next layer. This are the 4 layers. 1) Comparator: Compares the two versions of API. 2) Analyzer: Analyses the API doc and gives the modified class and its dependencies along with implemented interface details. 3) Impact Filter: Find the impact of the modified class on the other API methods. 4) Auto Executer: Based on the output given by Impact Filter, Executor will run the API regression Suite. Tool reads the java doc and extracts the required information of classes, interfaces and enumerations. The extracted information is saved into a data structure which shows the class details and its dependencies along with interfaces and enumerations that are listed in the java doc.

Keywords: automation impact regression, java doc, executor, analyzer, layers

Procedia PDF Downloads 451
239 Running the Athena Vortex Lattice Code in JAVA through the Java Native Interface

Authors: Paul Okonkwo, Howard Smith

Abstract:

This paper describes a methodology to integrate the Athena Vortex Lattice Aerodynamic Software for automated operation in a multivariate optimisation of the Blended Wing Body Aircraft. The Athena Vortex Lattice code developed at the Massachusetts Institute of Technology allows for the aerodynamic analysis of aircraft using the vortex lattice method. Ordinarily, the Athena Vortex Lattice operation requires a text file containing the aircraft geometry to be loaded into the AVL solver in order to determine the aerodynamic forces and moments. However, automated operation will be required to enable integration into a multidisciplinary optimisation framework. Automated AVL operation within the JAVA design environment will nonetheless require a modification and recompilation of AVL source code into an executable file capable of running on windows and other platforms without the –X11 libraries. This paper describes the procedure for the integrating the FORTRAN written AVL software for automated operation within the multivariate design synthesis optimisation framework for the conceptual design of the BWB aircraft.

Keywords: aerodynamics, automation, optimisation, AVL, JNI

Procedia PDF Downloads 527
238 Application of Nonparametric Geographically Weighted Regression to Evaluate the Unemployment Rate in East Java

Authors: Sifriyani Sifriyani, I Nyoman Budiantara, Sri Haryatmi, Gunardi Gunardi

Abstract:

East Java Province has a first rank as a province that has the most counties and cities in Indonesia and has the largest population. In 2015, the population reached 38.847.561 million, this figure showed a very high population growth. High population growth is feared to lead to increase the levels of unemployment. In this study, the researchers mapped and modeled the unemployment rate with 6 variables that were supposed to influence. Modeling was done by nonparametric geographically weighted regression methods with truncated spline approach. This method was chosen because spline method is a flexible method, these models tend to look for its own estimation. In this modeling, there were point knots, the point that showed the changes of data. The selection of the optimum point knots was done by selecting the most minimun value of Generalized Cross Validation (GCV). Based on the research, 6 variables were declared to affect the level of unemployment in eastern Java. They were the percentage of population that is educated above high school, the rate of economic growth, the population density, the investment ratio of total labor force, the regional minimum wage and the ratio of the number of big industry and medium scale industry from the work force. The nonparametric geographically weighted regression models with truncated spline approach had a coefficient of determination 98.95% and the value of MSE equal to 0.0047.

Keywords: East Java, nonparametric geographically weighted regression, spatial, spline approach, unemployed rate

Procedia PDF Downloads 278
237 Islamisation and Actor Networking in Halal Tourism: A Case Study in Central Java, Indonesia

Authors: Hariyadi, Rili Windiasih

Abstract:

Halal tourism is a recent global phenomenon that emerged out of the needs of Muslim tourists. However, works on halal tourism rarely discuss the connection of it to the rising religiosity in Indonesia since halal tourism has been mostly studied in the sphere of tourism, business, and management studies. A few works on the increase of Islamic expressions in Indonesia do mention the recent booming of non-mandatory pilgrimage to Mecca and the emergence of sharia compliant accommodation, yet they do not go into details on the issue. To our best knowledge, there is a lack of more critical, cultural political studies on halal tourism in which the paper attempts to fill in. The paper is a result of fieldwork research in Central Java, Indonesia. The study focuses on sacred sites for pilgrimage and sharia-compliant hotels. It combines in-depth interviews and participatory observation methods to gather the data. It is important for us to take a look at the network of halal tourism actors (businessperson, local government, clerics, etc.) in Central Java, how they conceive halal tourism, and how their networking shape halal tourism discourses, policies, and practices. Despite having numerous Islamic pilgrimage places and being designated by the Ministry of Tourism as one of 12 Muslim friendly tourist destinations, the province is not yet widely recognised as the main destination for halal tourism as it is known as the place for more secular, nationalist groups rather than for more Islamic oriented ones. However, in some of its municipalities, there is increasingly more attention to develop halal tourism. In this study, we found out that the development of halal tourism in Central Java connected to dynamics of Islamisation and ideological competition as well as the influence of the more pragmatist businesspersons in a 'nationalist province' in Indonesia.

Keywords: actor networking, halal tourism, Islamisation, Indonesia

Procedia PDF Downloads 131
236 Petra: Simplified, Scalable Verification Using an Object-Oriented, Compositional Process Calculus

Authors: Aran Hakki, Corina Cirstea, Julian Rathke

Abstract:

Formal methods are yet to be utilized in mainstream software development due to issues in scaling and implementation costs. This work is about developing a scalable, simplified, pragmatic, formal software development method with strong correctness properties and guarantees that are easy prove. The method aims to be easy to learn, use and apply without extensive training and experience in formal methods. Petra is proposed as an object-oriented, process calculus with composable data types and sequential/parallel processes. Petra has a simple denotational semantics, which includes a definition of Correct by Construction. The aim is for Petra is to be standard which can be implemented to execute on various mainstream programming platforms such as Java. Work towards an implementation of Petra as a Java EDSL (Embedded Domain Specific Language) is also discussed.

Keywords: compositionality, formal method, software verification, Java, denotational semantics, rewriting systems, rewriting semantics, parallel processing, object-oriented programming, OOP, programming language, correct by construction

Procedia PDF Downloads 104
235 Increasing the Use of LNG on the Java Island (Bali Province) through the Development of Small-Scale LNG Projects

Authors: Herman Susilo, Rahmat Budiman

Abstract:

Bali province is one of the most famous tourist destinations in Indonesia. As a central tourist destination, Bali is very concerned about the use of clean energy. Since Bali is an area that does not have natural resources, so all of its energy sources are imported from java island and other islands. As an example, currently, Pertagas is developing the use of LNG for the needs of the retail industry. Right now, LNG is transported from the LNG plant facility in Bontang (Kalimantan Province) using ISO Tanks which are transported by cargo ships and then transported by trucks to the island of Bali. After that, LNG from ISO Tank is breakbulk into LNG Cylinders for distribution to retail customers. The existing distribution scheme is very long and costly since the source of LNG is come from another island (Kalimantan) and is relatively far away. To solve this problem, we plan to build the mini-LNG plant on Java Island since there are lots of gas sources available. There are some small gas reserves (flared or stranded gas) that are not yet monetized and are less valuable (cheaper) because the volume is very small. After liquifying the gas from the gas field, the LNG is transported by the truck using ISO Tank. After that, LNG from ISO Tank is breakbulk into LNG Cylinders for distribution to retail customers. From this new LNG distribution scheme, there are 4-5 USD/MMBTU saving compared to the existing distribution scheme. It is hoped that with these cost savings, the number of retail LNG sales can increase rapidly.

Keywords: LNG, LNG retail, mini LNG, small scale LNG

Procedia PDF Downloads 62
234 Variety and the Distribution of the Java Language Lexicon “Sleeping” in Jombang District East Java: Study of Geographic Dialectology

Authors: Krismonika Khoirunnisa

Abstract:

This research article aims to describe the variation of the Javanese lexicon "Sleep " and its distribution in the Jombang area, East Java. The objectives of this study were (1) to classify the variation of the "Sleep" lexicon in the Jombang area and (2) to design the fish rips for the variation of the "Sleep" lexicon according to their distribution. This type of research is a qualitative descriptive study using the method of leading proficiency, namely conducting interviews with speakers without directly meeting the speakers (interviews via WhatsApp and email as the media). This research article uses techniques record as support and tools for mapping and classifying data, collecting data in this study conducted at four points, namely the Kaliwungu village (Jombang City), Banjardowo village (District of Jombang), Mayangan Village (Subdistrict Jogoroto), and Karobelah village (Subdistrict Mojoagung) as a target investigators to conduct the interview. This study uses the dialectology theory as a basis for analyzing the data obtained. The results of this study found that the Javanese language variation "Sleep" has many different linguals, meanings, and forms even though they are in the same area (Jombang).

Keywords: geographical dialectology, lexicon variations, jombangan dialect, sssavanese language

Procedia PDF Downloads 183
233 The Influence of Contextual Factors on Long-Term Contraceptive Use in East Java

Authors: Ni'mal Baroya, Andrei Ramani, Irma Prasetyowati

Abstract:

The access to reproduction health services, including with safe and effective contraception were human rights regardless of social stratum and residence. In addition to individual factors, family and contextual factors were also believed to be the cause in the use of contraceptive methods. This study aimed to assess the determinants of long-term contraceptive methods (LTCM) by considering all the factors at either the individual level or contextual level. Thereby, this study could provide basic information for program development of prevalence enhancement of MKJP in East Java. The research, which used cross-sectional design, utilized Riskesdas 2013 data, particularly in East Java Province for further analysis about multilevel modeling of MKJP application. The sample of this study consisted of 20.601 married women who were not in pregnant that were drawn by using probability sampling following the sampling technique of Riskesdas 2013. Variables in this study were including the independent variables at the individual level that consisted of education, age, occupation, access to family planning services (KB), economic status and residence. As independent variables in district level were the Human Development Index (HDI, henceforth as IPM) in each districts of East Java Province, the ratio of field officers, the ratio of midwives, the ratio of community health centers and the ratio of doctors. As for the dependent variable was the use of Long-Term Contraceptive Method (LTCM or MKJP). The data were analyzed by using chi-square test and Pearson product moment correlation. The multivariable analysis was using multilevel logistic regression with 95% of Confidence Interval (CI) at the significance level of p < 0.05 and 80% of strength test. The results showed a low CPR LTCM was concentrated in districts in Madura Island and the north coast. The women which were 25 to 35 or more than 35 years old, at least high school education, working, and middle-class social status were more likely to use LTCM or MKJP. The IPM and low PLKB ratio had implications for poor CPR LTCM / MKJP.

Keywords: multilevel, long-term contraceptive methods, east java, contextual factor

Procedia PDF Downloads 207
232 Parallel Querying of Distributed Ontologies with Shared Vocabulary

Authors: Sharjeel Aslam, Vassil Vassilev, Karim Ouazzane

Abstract:

Ontologies and various semantic repositories became a convenient approach for implementing model-driven architectures of distributed systems on the Web. SPARQL is the standard query language for querying such. However, although SPARQL is well-established standard for querying semantic repositories in RDF and OWL format and there are commonly used APIs which supports it, like Jena for Java, its parallel option is not incorporated in them. This article presents a complete framework consisting of an object algebra for parallel RDF and an index-based implementation of the parallel query engine capable of dealing with the distributed RDF ontologies which share common vocabulary. It has been implemented in Java, and for validation of the algorithms has been applied to the problem of organizing virtual exhibitions on the Web.

Keywords: distributed ontologies, parallel querying, semantic indexing, shared vocabulary, SPARQL

Procedia PDF Downloads 157
231 The Quality of Economic Growth Regency and Cities in West Java Province: Inclusive Economic Growth

Authors: Fryanto Anugrah Rhamdhani Rhamdhani, Hana Riana Permatasari

Abstract:

The aim of this study analyzes the inclusive of economic growth and analyzes the inclusive of economic growth determinant in regency and city (West Java Province). The background this study Economic Growth can do not afford to reduce poverty, Disparity and expand The Workforce. Referring Central Bureau Of Statistic West Java Province report in 2015 recorded only 5 regions able reduce poverty, 3 regions able reduce Gini Ratio and 7 regions able Workforce Absorption, meanwhile, 11 regions was improved Economic Growth. The Inclusive of Economic Growth definition based on various literature means the quality Economic Growth able reduce Poverty, Gini Ratio, and Workforce absorption. This study adopted the measurement Inclusive Economic of Growth Klassen and analyzes factor in Term Reducing Poverty, Gini Ratio, and the workforce Absorption. Data used panels data composite time series and cross-section including 25 regency and cities regions from Central Bureau Of Statistic West Java Province during 2014-2015. As a result, the measurement inclusive economic of growth Klassen 2014-2015 from 25 regency and cities shows all region does not inclusive reducing Poverty, only 2 regions able reduce Gini Ratio and 3 regions able increase Workforce absorption. Different from the result the measurement Inclusive Economic of Growth for workforce absorption, several regions shows a negative coefficient indicates Economic Growth decline Workforce absorption. The outcome of this study analyzes factor of Inclusive economic of Growth, so that give recommendations for government achieve inclusive economic of growth toward Sustainable Economic. Can be Concluded above low-quality Economic Growth, that due to all region does not inclusive Economic of Growth.

Keywords: inclusive economic growth, Gini ratio, poverty, workforce

Procedia PDF Downloads 219
230 Farmer-Participatory Variety Trials for Tomato and Chili Pepper in East Java

Authors: Hanik Anggraeni, Evy Latifah, Putu Bagus, Joko Mariyono

Abstract:

This study is to test the adaptation capacity of several selected lines and varieties of chili and tomato in farmers’ lands. Five improved lines and varieties of tomato and chili were selected based on the best performance in previous trials. Two participating farmers managed the trials. Agronomic aspects were used as performance indicators. The results show that several improved lines of tomato and chili performed better than others. However, the performance was dependent on the altitude and season. Lines performed better and high altitude could not do the same in low altitude, and vice versa. This is the same case as different season. Farmers were expected to select the best lines according to the locations.

Keywords: variety trials, tomato and chili, participatory farmers, East Java

Procedia PDF Downloads 198
229 Implementation of Algorithm K-Means for Grouping District/City in Central Java Based on Macro Economic Indicators

Authors: Nur Aziza Luxfiati

Abstract:

Clustering is partitioning data sets into sub-sets or groups in such a way that elements certain properties have shared property settings with a high level of similarity within one group and a low level of similarity between groups. . The K-Means algorithm is one of thealgorithmsclustering as a grouping tool that is most widely used in scientific and industrial applications because the basic idea of the kalgorithm is-means very simple. In this research, applying the technique of clustering using the k-means algorithm as a method of solving the problem of national development imbalances between regions in Central Java Province based on macroeconomic indicators. The data sample used is secondary data obtained from the Central Java Provincial Statistics Agency regarding macroeconomic indicator data which is part of the publication of the 2019 National Socio-Economic Survey (Susenas) data. score and determine the number of clusters (k) using the elbow method. After the clustering process is carried out, the validation is tested using themethodsBetween-Class Variation (BCV) and Within-Class Variation (WCV). The results showed that detection outlier using z-score normalization showed no outliers. In addition, the results of the clustering test obtained a ratio value that was not high, namely 0.011%. There are two district/city clusters in Central Java Province which have economic similarities based on the variables used, namely the first cluster with a high economic level consisting of 13 districts/cities and theclustersecondwith a low economic level consisting of 22 districts/cities. And in the cluster second, namely, between low economies, the authors grouped districts/cities based on similarities to macroeconomic indicators such as 20 districts of Gross Regional Domestic Product, with a Poverty Depth Index of 19 districts, with 5 districts in Human Development, and as many as Open Unemployment Rate. 10 districts.

Keywords: clustering, K-Means algorithm, macroeconomic indicators, inequality, national development

Procedia PDF Downloads 122
228 Identification Social Impact of Tourism for Society in Batu, East Java, Indonesia Which Is Included the Transition of Their Main Job Caused by Tourism Development

Authors: Muhammad Denny Abdillah, Mochammad Rasyid Poedjijanto

Abstract:

Batu, East Java, Indonesia is located in highland about 680-1,200 meters above ocean surface and has temperature 15-19 degree Celsius. With this condition, so the main profession of people around is a farmer. But, along with era’s developing, now Batu is started to improve their development in tourism sector and show up them as an icon of tourism in Indonesia. Such as: playground, museum, and paralayang’s summit. That is made Batu in nowadays well known as the one of recommended city to visit. The change of the development from farming sector to tourism sector make people around prefer doing job in trade than engage in farming. That’s make authors want to observe about this social phenomenon which is happening in Batu, whereas from the beginning the primary profession is a farmer, now changed to be a trader around the tourism place.

Keywords: development, profession, tourism, Batu

Procedia PDF Downloads 387
227 The Research of Sidoarjo Batik in East Java

Authors: Indarti, Li-Hsun Peng

Abstract:

Batik is one of the most prominent expressions of cultural identity in Indonesia. On October 2009, UNESCO designated Indonesian batik as “a masterpiece of oral and intangible heritage of humanity”. The center of batik Indonesia is in middle of Java where there is center of Javanese royalty in the 17th century (known as classic batik). The development of batik spread to wide range of area in Indonesia, including in Sidoarjo city, East Java - Indonesia. Sidoarjo batik actually has long been around long time and is known as batik using bright colors, very different from classic batik. The aims of this study is to determine the kinds of ornament of Sidoarjo batik currently as one of the locally-based creative industry and to figure out how the attempt to sustainability of Sidoarjo batik from owner and government. The research is conducted in Jetis Village in Sidoarjo city known as village of batik. There is some batik business and batik maker in there. The research method used in-depth interview to search information about ornament of Sidoarjo batik and to analyze the attempt of business owner and government to sustainability of Sidoarjo Batik. In-depth interviews to batik business owners are used to determine the kinds of ornament of Sidoarjo Batik currently and how their attempt to maintain the existence of Sidoarjo Batik. In-depth interviews are also conducted to government to figure out how the support the sustainability of Sidoarjo batik. The result or research will introduce local products of Sidoarjo community to global market and increase knowledge about traditional textile design in one part of the world.

Keywords: Sidoarjo Batik, Traditional Textile, Ornament, Creative Design.

Procedia PDF Downloads 311