Ditemukan 203 dokumen yang sesuai dengan query
Hamonangan, Yoshua Yonatan, author
Misalkan T adalah gelanggang matriks segitiga formal dan T[z; θ, d] adalah gelanggang polinomial miring atas T. Dengan mempelajari homomorfisma khusus dan derivasi miring pada gelanggang matriks segitiga formal, dapat dibuktikan
bahwa gelanggang polinomial miring T[z; θ, d] memiliki representasi matriks segitiga formal.
......Let T be a formal triangular matrix ring and...
Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2015
S61417
UI - Skripsi (Membership) Universitas Indonesia Library
Shepherd, Elizabeth, author
Many organizations do not yet have a formal programme of records management, but increasingly they are recognizing the benefits of well managed records and the serious consequences of inadequate records systems. Establishing records management and maintaining an effective programme requires specialist expertise. This essential manual of practice provides a detailed...
landon: Facet Publishing, 2003
e20528733
eBooks Universitas Indonesia Library
Vinia Permata Kusuma, author
Selama lebih dari 10 tahun, setiap tahun selalu terjadi berbagai kecelakaan kapal di Indonesia. Berdasarkan data KNKT, setiap tahunnya terdapat kapal yang mengalami peristiwa kebakaran, tenggelam, dll. Beberapa dari peristiwa tersebut bahkan menimbulkan dampak seperti korban jiwa dan material. Salah satu yang dapat menjadi contoh kasus pada kejadian kebakaran KM...
Depok: Fakultas Teknik Universitas Indonesia, 2022
S-pdf
UI - Skripsi (Membership) Universitas Indonesia Library
Aniek Destyana, author
Pada periode 2019 dan 2020 terjadi dua fenomena restrukturisasi PT. Krakatau Steel dan Pandemi Covid-19. Restrukturisasi PT. Krakatau Steel pada tahun 2019 mengakibatkan 2.683 tenaga kerja dirumahkan. Pada tahun 2020, Pandemi Covid-19 terjadi dan mengakibatkan tingginya angka Pemutusan Hubungan Kerja (PHK) yang juga berimplikasi pada peningkatan angka Tingkat Pengangguran Terbuka...
Depok: Fakultas Ekonomi dan Bisnis Universitas Indonesia, 2022
T-pdf
UI - Tesis (Membership) Universitas Indonesia Library
La-Tanya Alisa Riskasari, author
Penelitian ini membahas mengenai pemahaman sosial mengenai isu kesetaraan gender di kalangan pekerja perempuan formal dengan kontribusi faktor lingkungan dan perilaku sebagai faktor pembentuk utama yang dibahas melalui disiplin Ilmu Kesejahteraan Sosial. Kesetaraan gender di sektor ketenagakerjaan ditandai dengan mulai meningkatnya angka pekerja perempuan formal yang semestinya dibarengi dengan pemahaman...
Depok: Fakultas Ilmu Sosial dan Ilmu Politik Universitas Indonesia, 2022
S-pdf
UI - Skripsi (Membership) Universitas Indonesia Library
Yuda Andika Darmawan, author
Studi ini menganalisis bagaimana pengalaman migrasi ke Jabodetabek (Jakarta, Bogor, Depok, Tangerang, dan Bekasi) dan kota metropolitan lainnya di Indonesia berpengaruh terhadap pendapatan, baik pekerja formal maupun informal. Penelitian ini menggunakan data dari Indonesia Family Life Survey (IFLS) tahun 2007 dan 2014 serta data BPS dan Simreg Bappenas. Dengan menggunakan...
Depok: Fakultas Ekonomi dan Bisnis Universitas Indonesia, 2022
T-pdf
UI - Tesis (Membership) Universitas Indonesia Library
This book constitutes the refereed proceedings of the 6th International Conference on Test and Proofs, TAP 2012, held in Prague, Czech Republic, in May/June 2012, as part of the TOOLS 2012 Federated Conferences. The 9 revised full papers presented together with 2 invited papers, 4 short papers and one tutorial...
Berlin: Springer-Verlag, 2012
e20409188
eBooks Universitas Indonesia Library
Kourie and Watson advocate an approach known as “correctness-by-construction,” a technique to derive algorithms that relies on formal theory, but that requires such theory to be deployed in a very systematic and pragmatic way. First they provide the key theoretical background (like first-order predicate logic or refinement laws) that...
Berlin: Springer-Verlag, 2012
e20409956
eBooks Universitas Indonesia Library
This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012. The 20 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 59 submissions. The papers cover the spectrum of integrated formal...
Berlin: Springer-Verlag, 2012
e20409160
eBooks Universitas Indonesia Library
Andi Muh Tommy Nganroputra, author
DKI Jakarta memiliki bonus demografi angkatan kerja yang tercermin dari peningkatan angka pencari kerja perkotaan. Pencari kerja memiliki kecenderungan tertentu pada sektor pekerjaan yang bersifat formal maupun informal. Namun, belum banyak penelitian yang membahas preferensi tersebut berdasarkan faktor demografi dan aksesibilitas. Faktor demografis dapat memberikan gambaran karakteristik pencari kerja dan...
Jakarta: Sekolah Kajian Stratejik dan Global Universitas Indonesia, 2023
T-pdf
UI - Tesis (Membership) Universitas Indonesia Library
