Results 11 to 20 of about 1,796,462 (350)

PRIMA: general and precise neural network certification via scalable convex hull approximations [PDF]

Proc. ACM Program. Lang., 2021
Formal verification of neural networks is critical for their safe adoption in real-world applications. However, designing a precise and scalable verifier which can handle different activation functions, realistic network architectures and relevant ...
Mark Niklas Müller, Gleb Makarchuk, Gagandeep Singh   +2 more
semanticscholar   +1 more source

Prospective evaluation of the tolerability and efficacy of niraparib dosing based on baseline body weight and platelet count: Results from the PRIMA/ENGOT‐OV26/GOG‐3012 trial

Cancer, 2023
The PRIMA/ENGOT‐OV26/GOG‐3012 (NCT02655016) trial was amended to prospectively evaluate the safety and efficacy of an individualized starting dose (ISD) regimen of niraparib for first‐line maintenance therapy in patients with newly diagnosed advanced ...
M. Mirza, A. González-Martín, W. Graybill, D. O’Malley, L. Gaba, O. W. Stephanie Yap, E. Guerra, P. Rose, J. Baurain, S. Ghamande, H. Denys, E. Prendergast, C. Pisano, P. Follana, K. Baumann, P. Calvert, J. Korach, Yong Li, I. Malinowska, D. Gupta, B. Monk   +20 more
semanticscholar   +1 more source

Analisis Tata Letak Fasilitas Toko Prima Freshmart SV IPB Melalui Metode Activity Relationship Chart (ARC) Dan Total Closeness Rating (TCR)

Jurnal Teknologi dan Manajemen Industri Terapan, 2023
PT. Prima Freshmartfood International merupakan sebuah perusahaan yang bergerak dalam bidang distribusi dan ritel Produk makanan. Prima Freshmart adalah toko ritel yang menjual ayam segar, ayam beku, daging ayam parting, telur omega, sembako dan frozen ...
B. Aulia, Najla Nurfida, Tania Dwi Febrianti, J. Sri, Omega Naomi, Fathan Sakha Pratama, Khoirul Aziz Husyairi, Tina Nur Ainun   +7 more
semanticscholar   +1 more source

Hexokinase 2 in Cancer: A Prima Donna Playing Multiple Characters

International Journal of Molecular Sciences, 2021
Hexokinases are a family of ubiquitous exose-phosphorylating enzymes that prime glucose for intracellular utilization. Hexokinase 2 (HK2) is the most active isozyme of the family, mainly expressed in insulin-sensitive tissues.
F. Ciscato, L. Ferrone, I. Masgras, Claudio Laquatra, A. Rasola   +4 more
semanticscholar   +1 more source

Graf Nilpoten Dari Gelanggang Bilangan Bulat Modulo Berorde Pangkat Prima

JMPM: Jurnal Matematika dan Pendidikan Matematika, 2023
Graf nilpoten dari gelanggang bilangan bulat modulo merupakan salah satu representasi graf pada struktur aljabar. Penelitian ini bertujuan mencari bentuk dan sifat graf nilpoten dari gelanggang bilangan prima modulo yang kemudian digeneralisasi menjadi ...
Deny Putra Malik, I. A. W. Wardhana, Putu Kartika Dewi, R. Widiastuti, F. Maulana, Abdul Gazir Syarifudin, Z. Awanis   +6 more
semanticscholar   +1 more source

PRIMA-1 inhibits Y220C p53 amyloid aggregation and synergizes with cisplatin in hepatocellular carcinoma

Frontiers in Molecular Biosciences, 2023
Hepatocellular carcinoma (HCC) is the third leading cause of cancer-related deaths worldwide. Although many therapeutic options are available, several factors, including the presence of p53 mutations, impact tumor development and therapeutic resistance ...
M. M. Paz, Giulia D. S. Ferretti, M. M. C. Martins-Dinis, Beatriz I. S. Ferreira, Amanda Faier-Pereira, Thibaut Barnoud, O. Moreira, Jerson L Silva, Y. Cordeiro, L. Rangel   +9 more
semanticscholar   +1 more source

Pengaruh Kompetensi , Pelatihan Kerja dan Kepuasan Kerja Terhadap Kinerja Pegawai Pada PT Mitra Global Prima Di Kota Cimahi

JEMSI (Jurnal Ekonomi, Manajemen, dan Akuntansi), 2023
Tujuan penelitian ini adalah untuk mengetahui pengaruh secara parsial dan simultan Kompetensi, Pelatihan Kerja dan Kepuasan Kerja terhadap Kinerja Pegawai pada PT Mitra Global Prima Kota Cimahi.
Pengaruh Kompetensi, Pelatihan Kerja, Dan Kepuasan, Kerja Terhadap, Kinerja Pegawai, PT Pada, Mitra Global, Prima Di, Kota Cimahi, Ridlwan Muttaqin Manajemen   +9 more
semanticscholar   +1 more source

Peningkatan motivasi, kepemimpinan, kompetensi, petugas aviation security untuk menciptakan keamanan dan pelayanan prima pada bandar udara

Aviasi : Jurnal Ilmiah Kedirgantaraan, 2023
Tujuan artikel ini ada memberikan suatu pembuktian secara kualitatif berkaitan dengan variabel yang ada dalam penelitian ini dari sumber-sumber yang berasal dari artikel ilmiah yang ditemukan melalui jurnal terindek nasional maupun internasional ataupun ...
S. Supardi, Prima Widiyanto, Kamsariaty Kamsariaty, Nuraeni Nuraeni, W. Febrian, Ryan Firdiansyah Suryawan, Primadi Candra Susanto   +6 more
semanticscholar   +1 more source

Pixel size limit of the PRIMA implants: from humans to rodents and back

bioRxiv, 2022
Objective. Retinal prostheses aim at restoring sight in patients with retinal degeneration by electrically stimulating the inner retinal neurons.
Bing-Yi Wang, Z. Chen, Mohajeet B. Bhuckory, Anna Kochnev Goldstein, D. Palanker   +4 more
semanticscholar   +1 more source

Pelatihan Pembuatan Media Pembelajaran Elektronik untuk Guru SMK Lingua Prima

Bubungan Tinggi: Jurnal Pengabdian Masyarakat, 2022
Pengabdian Kepada Masyarakat (PKM) ini dilakukan di SMK Lingua Prima Indralaya dengan tema "Pelatihan Pembuatan Media Pembelajaran Elektronik untuk Guru SMK Lingua Prima".
Nopriyanti Nopriyanti, Elfahmi Dwi Kurniawan, Darlius Darlius, Harlin Harlin   +3 more
semanticscholar   +1 more source