What is the translation of " FORMALIZATION " in Indonesian?

• formalisasi

Examples of using Formalization in English and their translations into Indonesian

Formalization and Informal Logic.
Logika formal dan logika informal.

The main purpose of a trading system lies in the search of market behavior regularities and their formalization in the form of the aggregate of standard characteristics.
Tujuan utama dari sistem perdagangan terletak pada mencari keteraturan perilaku pasar dan formalisasi mereka dalam bentuk agregat karakteristik standar.

Formalization is a process occurring in three stages.
Kreativitas adalah suatu proses yang terjadi dalam tiga tahap.

Also, acquirement of skills to value and solve problems, needs, and requirements affecting the formalization of a product, determining its industrial quality and proper integration into the market.
Juga perolehan kemahiran untuk menilai dan menyelesaikan masalah, keperluan dan keperluan yang melibatkan perasmian produk, menentukan kualiti industri dan integrasi yang betul ke dalam pasaran.

More formalization of what should come more naturally is not going to help.
Memerangi apa yang datang secara alami tidak akan membantu situasi.

Also, acquirement of skills to value and solve problems, needs, and requirements affecting the formalization of a product, determining its industrial quality and proper integration into the market.
Juga perolehan keterampilan untuk menghargai dan memecahkan masalah, kebutuhan dan persyaratan yang mempengaruhi formalisasi produk, menentukan kualitas industri dan integrasi yang tepat ke pasar.

Formalization- the extent to which there will be rules and regulations to direct employees and managers.
Formal- Sejauh mana akan terdapat peran dan peraturan bagi karyawan dan manager secara langsung.

The training is built around a large spectrum of courses, which aim to give the knowledge for the modelization of economic and financial problems, for mathematical formalization and tools for the numerical solutions.
Pelatihan ini dibangun di sekitar spektrum besar kursus, yang bertujuan untuk memberikan pengetahuan untuk modelization masalah ekonomi dan keuangan, untuk formalisasi matematika dan alat untuk solusi numerik.

The final step in the negotiation process is formalization the agreement that has been worked out and developing and procedures that are necessary for implementation and monitoring.
Tahap akhir dalam negosiasi adalah memformalkan kesepakatan yang telah dibuat serta menyusun prosedur yang diperlukan untuk implementasi dan pengawasan pelaksanaan.

It was probably never used as a liturgical text because in the early days of the Church there was no final, written formalization of the liturgy, so this was an outline to be used by the celebrant.
Mungkin tidak pernah digunakan sebagai teks liturgi karena pada masa Gereja awal masih belum ada kata final dalam formalisasi tertulis sebuah liturgi, jadi tulisannya menjadi sebuah garis besar yang digunakan oleh para selebran.

The last step in the negotiation procedure is formalization the agreement which has been worked out and developing and procedures that are essential for implementation and monitoring.
Tahap akhir dalam negosiasi adalah memformalkan kesepakatan yang telah dibuat serta menyusun prosedur yang diperlukan untuk implementasi dan pengawasan pelaksanaan.

Philosophers staked out some of the fundamental ideas of AI, but the leap to a formal science requires a level of mathematical formalization in three fundamental areas: logic, computation and probability.
Banyak ahli filsafat yang menyumbangkan ide penting tentang AI, tetapi untk membuat langkah ilmu pengetahuan yang formal diperlukan level dari formalitas matematika dalam tiga area utama, yaitu perhitungan/ komputasi, logika, dan kemungkinan-kemungkinan.

The ideological basis and the formalization of the system are published by CPN Gold and registered by the US Patent Office as a“System and method for issuance of electronic currency substantiated by a reserve of assets”.
Dasar ideologis dan formalisasi sistem diterbitkan oleh CPN Gold dan terdaftar oleh US Patent Office sebagai" Sistem dan metode untuk penerbitan mata uang elektronik yang diperkuat oleh cadangan aset".

It involves such problems as the selection, independence and simplification of primitive terms and axioms, the formalization of definitions and proofs, the consistency and completeness of the constructed theory, and the final interpretation.
Metode ini meliputi problem seperti seleksi, independensi dan simplifikasi dari istilah aan aksioma primitif, formalisasi definisi dan bukti-bukti, konsistensi dan kekomplitan teori-teori yang disusun serta interpretasi final.

PhD students investigate the research fields of data analysis, signal and image analysis, simulation modelling, computational intelligence, physically-based behavior, development and analysis of general dynamic models, cryptography algorithms, systems formalization and high-level transformation of specifications, etc.
Mahasiswa PhD menyelidiki bidang penelitian analisis data, analisis sinyal dan gambar, pemodelan simulasi, kecerdasan komputasi, perilaku berbasis fisik, pengembangan dan analisis model dinamis umum, algoritma kriptografi, formalisasi sistem dan transformasi spesifikasi tingkat tinggi, dll.

He was highly influential in the development of theoretical computer science, providing a formalization of the concepts of algorithm and computation with the Turing machine, which can be considered a model of a general purpose computer.
Dia sangat berpengaruh dalam perkembangan ilmu komputer, memberikan formalisasi konsep algoritma dan perhitungan dengan mesin Turing, yang dapat dianggap sebagai model komputer dengan tujuan umum.

When managers develop or change an organization's structure, they are engaged in organizational design, a process that involves decisions about six key elements: work specialization, departmentalization, chain of command, span of control, centralization and decentralization, and formalization.
Ketika para manajer menyusun atau mengubah struktur sebuah organisasi, maka mereka terlibat dalam suatu kegiatan dalam desaint organisasi, yaitu suatu proses yang malibatkan keputusan-keputusan mengenai spesialisasi kerja, departemantalisasi, rantai komado, rentang kendali, sentaral dan desentralisasi, serta formalisasi.

One of our arguments is that, when talking about land-rights certification or formalization in Africa, you really have to approach it as a package of investments, and you have to account for this wealth effect.
Salah satu argumen kami adalah, ketika membicarakan tentang sertifikasi hak lahan atau formalisasi di Afrika, Anda harus benar-benar mendekatinya sebagai sebuah paket investasi, dan Anda harus mempertimbangkan dampak harta.

After the relational model was defined, there were many attempts to compare and contrast the different models, and this led to the emergence of more rigorous descriptions of the earlier models; though the procedural nature of the data manipulation interfaces for hierarchical and network databases limited the scope for formalization.
Setelah model relasional didefinisikan, ada banyak upaya untuk membandingkan dan kontras model yang berbeda, dan hal ini menyebabkan munculnya deskripsi lebih ketat dari model sebelumnya, meskipun sifat prosedural antarmuka manipulasi data untuk database hirarkis dan jaringan terbatas ruang untuk formalisasi.

Wiener is considered the father of cybernetics, a formalization of the notion of feedback, with implications for engineering, systems control, computer science, biology, neuroscience, philosophy, and the organization of society.
Wiener dianggap sebagai pencetus cybernetics, sebuah formalisasi gagasan umpan balik, dengan implikasi untuk rekayasa, pengendalian sistem, ilmu komputer, biologi, neuroscience, filsafat, dan organisasi masyarakat.

The most often occurring topics of the seminar are set theory and model theory in their philosophical connections, philosophy of mathematics in general, formalization of physical theories, such as special and general relativity within different logical frameworks.
Topik yang paling sering terjadi dari seminar ini adalah menetapkan teori dan teori model dalam hubungan filosofisnya, filsafat matematika secara umum, formalisasi teori-teori fisik, seperti relativitas khusus dan umum dalam kerangka kerja logis yang berbeda.

The sacred means that which is separated, and ritual and formalization, increasingly removed from the ongoing activities of daily life and in the control of such specialists as shamans and priests, are closely linked with hierarchy and institutionalized power.
Yang suci dimana hal ini terpisahkan, dan ritual serta formalitas, secara drastis terhapus dari aktifitas kehiduapan sehari-hari yang berlangsung dan dalam kontrol para spesialis seperti cenayang dan pendeta, adalah sangat dekat berhubungan dengan hirarki dan kekuasaan yang terinstitusionalisasi.

The coauthors highlighted processes that are particularly changing land relations of late, namely the formalization of land access, the cultivation of‘boom crops', the conversion of land for non-agricultural uses, and the formation of agrarian classes at the village level.
Penulis menyoroti proses-proses yang secara khusus mengubah hubungan tanah akhir-akhir ini, yaitu formalisasi akses lahan, penanaman hasil panen', konversi lahan untuk penggunaan non-pertanian, dan pembentukan kelas agraria di tingkat desa.

This type of graph coloring is the formalization of a problem that arises in many areas of the real world, such as the optimization of modern wireless networks with no predetermined structure using techniques for reducing losses in information packages and energy efficiency improvement," Blum says.
Tipe pewarnaan grafik ini merupakan formalisasi dari masalah yang sering kali muncul di dunia nyata, misalnya seperti pengoptimalan jaringan nirkabel modern tanpa struktur yang sudah ditentukan sebelumnya, menggunakan teknik untuk mereduksi hilangnya paket informasi serta peningkatan efisiensi energi, kata Blum.

Theory category- area of study in mathematics that examines in an abstract way the properties of certain mathematical concepts, by the formalization of them as collections of objects and arrows(also called morphisms, although this term also has one, not the category-theoretical specific sense), where these collections meet some basic conditions.
Teori kategori ialah satu bidang matematik yang mengkaji sifat konsep-konsep matematik dengan cara yang abstrak, dengan memformalkannya sebagai koleksi-koleksi objek dan anak panah( juga dipanggil morfisme, walaupun istilah ini memiliki maksud lain yang spesifik dan bukan kategori), di mana koleksi-koleksi ini memenuhi beberapa syarat asas.

Himma attributes the"Argument from Suspicious Improbabilities", a formalization of"the fine-tuning intuition" to George N. Schlesinger: To understand Schlesinger's argument, consider your reaction to two different events.
Himma mengatributkan" Argumen dari Ketidakmungkinan yang Mencurigakan", formalisasi" intuisi fine-tuning" untuk George N. Schlesinger: Untuk memahami argumen Schlesinger, pertimbangkan reaksi Anda terhadap dua peristiwa yang berbeda.

The MSc in Applied Mathematics aims at providing high-level competencies for the formalization and the consequent mathematical analysis of problems arising from applied sciences and technologies, with a special focus on the analysis of big data systems and complex systems.-.
The MSc dalam Matematika Terapan bertujuan untuk memberikan kompetensi tingkat tinggi untuk formalisasi dan analisis matematis konsekuen masalah yang timbul dari ilmu terapan dan teknologi, dengan fokus khusus pada analisis sistem data besar dan sistem yang kompleks.-.

The MSc in Applied Mathematics aims at providing high-level competencies for the formalization and the consequent mathematical analysis of problems arising from applied sciences and technologies, with a special focus on the analysis of big data systems and complex systems.
MSc dalam Matematik Gunaan bertujuan untuk menyediakan kompetensi peringkat tinggi untuk formalisasi dan analisa matematik yang berikutan masalah yang timbul daripada sains dan teknologi yang diterapkan, dengan tumpuan khas pada analisis sistem data besar dan sistem yang kompleks.