scholarly journals Novice Programmers and the Problem Description Effect

2016 ◽  
Author(s):  
Dennis Bouvier ◽  
Ellie Lovellette ◽  
John Matta ◽  
Bedour Alshaigy ◽  
Brett A. Becker ◽  
...  
Keyword(s):  
Problem Description

DESKRIPSI PERMASALAHAN UPAYA PENGEMBANGAN PARIWISATA BERKELANJUTAN DI DANAU TOBA SUMATERA UTARA (PROBLEM DESCRIPTION OF SUSTAINABLE TOURISM DEVELOPMENT EFFORT ON TOBA LAKE NORTH SUMATERA)

Inovasi ◽  
2019 ◽  
Vol 16 (1) ◽  
pp. 11-20
Author(s):  
Porman Juanda Marpomari Mahulae
Keyword(s):  
Sustainable Tourism ◽  
Tourism Development ◽  
Development Effort ◽  
Sustainable Tourism Development ◽  
Problem Description ◽  
World Tourism Organization ◽  
United Nation World ◽  
Tourism Organization ◽  
United Nation

Penelitian ini adalah sebuah usaha yang dilakukan untuk mengurai masalah yang dihadapi para stakeholder dalam mewujudkan sebuah pengelolaan pariwisata yang berkelanjutan di kawasan Danau Toba. Indikator yang diukur dalam penelitian ini adalah indikator dasar dari 5 (lima) isu utama pengembangan periwisata berkelanjutan yang telah dikembangkan oleh United Nation World Tourism Organization (UNWTO). Penelitian ini adalah penelitian deskriptif dengan pendekatan kualitatif dan diperkuat dengan data-data yang bersifat kuantitatif. Berdasarkan hasil pengukuran indikator-indikator dasar tersebut dan pendalaman yang dilakukan dengan diskusi-diskusi yang dilakukan dengan para informan penelitian, diketahui bahwa sebenarnya penyelesaian persoalan dasar pengembangan pariwisata berkelanjutan di sebuah destinasi wisata masih menjadi tugas besar bagi para stakeholder kepariwisataan di kawasan tersebut. Berdasarkan jenis permasalahan yang ada, maka terdapat kebutuhan kebijakan pengembangan terkait: 1) peningkatkan perekonomian dengan adanya kegiatan pariwisata; 2) penjaminan kesejahteraan daerah dan masyarakat lokal dengan adanya kegiatan pariwisata; 3) pemenuhan kepuasan pengunjung; 4) pelibatan masyarakat lokal di dalam pengelolaan kepariwisataan; dan 5) penjaminan kelestarian lingkungan hidup.   Kata kunci: pengembangan, pariwisata berkelanjutan, Danau Toba

Expert Reviews: How Many Experts is Enough?

1995 ◽  
Vol 39 (4) ◽  
pp. 228-232 ◽  
Author(s):  
Joseph Dumas ◽  
James Sorce ◽  
Robert Virzi
Keyword(s):  
Interactive Voice Response ◽  
Basic Design ◽  
Conference Call ◽  
Elapsed Time ◽  
Response System ◽  
Usability Problem ◽  
Group Report ◽  
Problems And Solutions ◽  
Problem Description ◽  
The Individual

We asked five usability specialists to review the user interface to a phone-based, interactive voice response system. The experts were instructed to conduct their review independently in three one-hour sessions and to record each usability problem on a Problem Description Sheet along with the elapsed time from the beginning of the hour. Each expert then spent one hour reviewing their problem sheets and making a summary list of problems. Finally, the experts spent two hours together on a conference call discussing their impressions and coming to consensus on a prioritized list of problems and solutions. The results showed that when allocating expert time, it is more effective to have a greater number of experts spend fewer hours than to use fewer experts for more hours. The individual summaries included the majority of the severe problems, but left out many less severe problems and added new problems. The group report did not surface any new problems, but described the problems as being caused by more basic design flaws and proposed solutions that focused on the conceptual model on which the design was based.

scholarly journals Expanding Transformation: A Basis for Correctness Verification of Rewriting Rules

2007 ◽  
Vol 11 (5) ◽  
pp. 478-490 ◽  
Author(s):  
Ekawit Nantajeewarawat ◽  
◽  
Kiyoshi Akama ◽  
Hidekatsu Koike ◽  
◽  
...  
Keyword(s):  
Logic Programming ◽  
Functional Programming ◽  
Program Transformation ◽  
Basic Class ◽  
Problem Description ◽  
Programming Paradigms ◽  
Rewriting Rules

Unfolding transformation has long been used for computation and program transformation both in functional programming and logic programming paradigms. In this paper, we clarify that an unfolding step can be regarded as the composition of two simpler operations, i.e., expanding transformation and unification, and show that expanding transformation, rather than unfolding transformation, is a suitable basis for verifying the correctness of rewriting rules by pattern manipulation, which in turn provides a basis for systematically generating rewriting rules from a given problem description. We verify the correctness of expanding transformation and demonstrate the correctness of a basic class of rewriting rules, called general rewriting rules, based on expanding transformation. Applying expanding transformation and its correctness result, we demonstrate correctness verification of a larger class of rewriting rules, called expanding-based rewriting rules, by transformation of clause patterns.

scholarly journals Inkonsistensi Kaidah dalam Buku Seri Penyuluhan Bahasa Indonesia dengan KBBI dan PUEBI

2020 ◽  
Vol 1 (1) ◽  
pp. 87-99
Author(s):  
Rahmad Hidayat ◽  
Mochammad Asyhar
Keyword(s):  
Error Analysis ◽  
Data Card ◽  
Problem Identification ◽  
Book Series ◽  
Problem Description ◽  
The Difference ◽  
Bahasa Indonesia

Abstrak: Penelitian ini hadir dalam rangka menguak inkonsistensi dalam Buku Seri Penyuluhan Bahasa Indonesia yang dipublikasikan oleh Badan Bahasa di laman resminya. Buku yang menjadi objek penelitian ini adalah buku Seri Penyuluhan Bahasa Indonesia: Ejaan dan buku Seri Penyuluhan Bahasa Indonesai: Bentuk dan Pilihan Kata. Data yang ditinjau kritis dalam objek penelitian ini adalah data yang menyimpang dari kaidah terbaru yang berlaku.  Prosedur penelitian ini mengikuti dua prosedur analisis kontrastif yang di dalam pembahasannya juga membicarakan kesalahan berbahasa. Prosedur penelitiannya adalah pengidentifikasian masalah dan pendeskripsian masalah. Pengidentifikasian masalah dilakukan dengan Metode Simak dan Teknik Catat. Setiap ditemukan inkonsistensi, peneliti mencatat dan sekaligus mengidentifikasi bentuk inkonsistensi itu pada kartu data, termasuk dalam tahap ini adalah pengklasifikasian data. Pada tahapan pendeskripsian masalah, digunakan pembandingan antara penjelasan dan contoh yang ada di objek penelitian dengan kaidah yang tercantum di dalam KBBI dan PUEBI. Perbedaan itu kemudian dideskripsikan sehingga didapatkanlah uraian yang representatif mengenai inkonsistensi kaidah dalam objek penelitian. Simpulan penelitian menyatakan bahwa terdapat penjelasan dan data yang ada di dalam objek penelitian bertentangan dengan kaidah terbaru yang berlaku. Pertentangan atau inkonsistensi itu ditemukan dalam setiap bagian objek penelitian. Abstract: This research is present in order to uncover inconsistencies in the Indonesian Counseling Book Series published by Badan Bahasa on its official page. The books that are the object of this research are the Spelling Counseling Series, the Forms and Choice of Counseling Series, the Grammar Counseling Series, and the Sentence Counseling Series. The data that is critically reviewed in this research object is data that deviates from the latest applicable rules. The procedure of this research follows two language error analysis procedures. The research procedures namely problem identification and problem description. Identifying the problem is done using Simak Method and Catat Technique. Every time an inconsistency is found, the researcher notes and simultaneously identifies the form of the inconsistency on the data card. At the stage of describing the problem, a comparison is used between the explanation and examples in the object of research with the rules that applied in KBBI and PUEBI. The difference found then described in order to obtain a representative description of the inconsistencies in the object of research. The conclusion of the study stated that there are explanations and data contained in the object of research contrary to the latest rules that applied. These contradictions or inconsistencies are found in every part of the research object.

Problem A of 9th China trajectory optimization competition: Problem description and summary of the results

2018 ◽  
Vol 150 ◽  
pp. 178-181 ◽  
Author(s):  
Shuge Zhao ◽  
Rui Qi ◽  
Jingrui Zhang ◽  
Kaiheng Xiang ◽  
Chen Zhang ◽  
...  
Keyword(s):  
Trajectory Optimization ◽  
Problem Description

Parallelized Element-by-Element Solver for Structural Analysis of Flexible Pipes Using Finite Macroelements

2020 ◽  
Author(s):  
Fernando Geremias Toni ◽  
Clóvis de Arruda Martins
Keyword(s):  
Structural Analysis ◽  
Degrees Of Freedom ◽  
Large Scale ◽  
Memory Consumption ◽  
Large Matrix ◽  
Flexible Pipes ◽  
Problem Description ◽  
Global Stiffness Matrix ◽  
Simulation Time ◽  
Matrix Bandwidth

Abstract Due to the number of layers and their respective geometrical complexities, finite element analyzes of flexible pipes usually require large-scale schemes, with a high number of elements and degrees-of-freedom. If proper precautions are not taken, such as suitable algorithms and numerical methods, the computational costs of these analyzes may become unfeasible to the current computational standards. Finite macroelements are finite elements formulated for the solution of a specific problem considering and taking advantage of its particularities, such as geometry patterns, in order to obtain computational advantages, as reduced number of degrees-of-freedom and ease of problem description. The element-by-element method (EBE) also fits very well in this context, since it is characterized by the elimination of the global stiffness matrix and its memory consumption grows linearly with the number of elements, besides being highly parallelizable. Over the last decades, several works regarding the EBE method were published in the literature, but none of them directly applied to flexible pipes. Due to the contact elements between the layers, problems with flexible pipes are usually characterized by very large matrix-bandwidth, making the implementation of EBE method more challenging, so that its efficiency and scalability are not compromised. Therefore, this work presents a parallelized implementation of an element-by-element architecture for structural analysis of flexible pipes using finite macroelements, consisting of an extension of a previous work from the same authors. New synchronization algorithms were developed, with scalability improvements, the methodology was extended to other finite macroelements and comparisons were made with a well-stablished FEM software, with significant gains in simulation time and memory consumption.

scholarly journals Research Design Based on Fatwa Making Process: An Exploratory Study

2020 ◽  
Vol 9 (6) ◽  
pp. 241
Author(s):  
Shahir Akram Hassan ◽  
Wan Mohd Khairul Firdaus Wan Khairuldin
Keyword(s):  
Content Analysis ◽  
Research Design ◽  
Exploratory Study ◽  
Action Plan ◽  
Document Analysis ◽  
Related Research ◽  
Planning Framework ◽  
Research Designs ◽  
Problem Description ◽  
Legal Expert

The Fatwa making process is a process used by an Islamic mufti (A Muslim legal expert) to issue a non-binding opinion or fatwa (judicial pronouncement in Islam) on the point of Islamic sharia law when a question is raised by a mustafti (The person who asks a mufti for a fatwa), the person who has asked for a fatwa. The mufti will issue the fatwa through four fatwa-making stages, which are al-taswir (problem description), al-takyif (adaptation), al-hukm (legal explanation) and al-ifta' (fatwa determination). This process is intended to ensure the fatwa issued is accurate and appropriate. The research design is defined as a logical action plan, and it functions as a planning framework that involves all processes holistically to achieve the objectives of the study. This study explored the appropriateness of the fatwa making process in research design, the purposes, steps, and resources of the research design based on the fatwa-making process and why it is not used to conduct Islamic-related researches. The two main objectives of the study was to identify the fatwa-making process, and to analyse the research design based on the fatwa-making process. In order to achieve these objectives, the qualitative study adopted document analysis and content analysis methods. The research found that the fatwa-making process possessed detailed steps that resembled research design and was more appropriate in conducting Islamic-related research based on the purposes, actions, and resources of research designs based on the fatwa-making process.

Sign in / Sign up

Export Citation Format

Share Document