Search Results - Palasa~

KRIYA KAYU TUGAS AKHIR SISWA SMKN 14 BANDUNG TAHUN 2008 (SUATU KAJIAN TERHADAP PROSES DAN PRODUK) by Yunita Yusuf, -

Link Metadata

PENTINGNYA MENGETAHUI SERTA MENCEGAH TERJADINYABULLYING by Faiza Irwandi, , Andini, , Arkan Mochtar, , Naufal Empy, , Ahsan Kamil,

Link Metadata

PENTINGNYA MENGETAHUI SERTA MENCEGAH TERJADINYABULLYING by Ahsanul Kamil, , Andini, , Faiza Ghefira Irwandi, , Muhammad Arkansyah Mochtar, , Muhammad Naufal Empy,

Link Metadata

PERTIMBANGAN MAHKAMAH AGUNG RI ATAS PERMOHONAN ACTIO PAULIANA KURATOR TERKAIT SITA PIDANA HARTA PAILIT DALAM SITA UMUM KEPAILITAN by Hasbullah Alimuddin Hakim,

Link Metadata

PEMBUKTIAN KETERANGAN SAKSI ANAK DALAM PERADILAN PIDANA (Studi Kasus Putusan Nomor 68/PID.B/2015/PN. BLK dan Nomor 14/PID.SUS/2016/PN.KLB) by Rachima Satria Ristanti, -

Link Metadata

EFEKTIFITAS PEMBERIAN PENGHARGAAN KEPADA MASYARAKAT DALAM UPAYA PENCEGAHAN DAN PEMBERANTASAN TINDAK PIDANA KORUPSI by Jehan Roselynn Darwin, -

Link Metadata

Ionospheric Multi-Spacecraft Analysis Tools Approaches for Deriving Ionospheric Parameters /

Table of Contents: “…Chapter 7: Science data products for AMPERE -- Chapter 8: ESA Field Aligned Currents - Methodology Inter-Comparison Exercise -- Chapter 9: Spherical Cap Harmonic Analysis techniques for mapping high-latitude ionospheric plasma flow - Application to the Swarm satellite mission -- Chapter 10: Recent Progress on Inverse and Data Assimilation Procedure for High-Latitude Ionospheric Electrodynamics -- Chapter 11: Estimating currents and electric fields at low-latitudes from satellite magnetic measurements -- Chapter 12. …”
Link to Metadata

Diffusionics Diffusion Process Controlled by Diffusion Metamaterials / by Yang, Fu-Bao, Huang, Ji-Ping

Table of Contents: “…Diffusion metamaterials for plasma transport.…”
Link to Metadata

Historische Gärten Österreichs / Bd. 3 Garten und Parkanlagen von der Renaissance bis um 1930 by Berger, Eva

DOAB: download the publication
DOAB: description of the publication

The roles of notch signaling pathway in regulating macrophage functions by Chayanit Buranaruk

Get full text

Education, Equity and Inclusion Teaching and Learning for a Sustainable North /

Table of Contents: “…Adaptation isn't just for the tundra: Rethinking teaching and schooling in Alaska's Arctic -- Chapter 3. The role of evaluative thinking in generating, evaluating and scaling innovations in learning: A case study of the Greenland education system -- Chapter 4. …”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…-A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems -- Model Checking -- Bounded Model Checking for Asynchronous Hyperproperties -- Model Checking Linear Dynamical Systems under Floating-point Rounding -- Efficient Loop Conditions for Bounded Model Checking Hyperproperties -- Reconciling Preemption Bounding with DPOR -- Optimal Stateless Model Checking for Causal Consistency -- Symbolic Model Checking for TLA+ Made Faster -- AutoHyper: Explicit-State Model Checking for HyperLTL -- Machine Learning/Neural Networks -- Feature Necessity & Relevancy in ML Classifier Explanations -- Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks -- OccRob: Effcient SMT-Based Occlusion Robustness Verification of Deep Neural Networks -- Neural Network-Guided Synthesis of Recursive List Functions -- Automata -- Modular Mix-and-Match Complementation of Buechi automata -- Validating Streaming JSON Documents With Learned VPAs -- Antichains Algorithms for the Inclusion Problem Between ω -VPL -- Stack-Aware Hyperproperties -- Proofs -- Propositional Proof Skeletons -- Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers -- Carcara: An effcient proof checker and elaborator for SMT proofs in the Alethe format -- Constraint Solving/Blockchain -- The Packing Chromatic Number of the Infinite Square Grid is 15 -- Active Learning for SAT Solver Benchmarking -- ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving -- Inferring Needless Write Memory Accesses on Ethereum Bytecode -- Markov Chains/Stochastic Control -- A Practitioner's Guide to MDP Model Checking Algorithms -- Correct Approximation of Stationary Distributions -- Robust Almost-Sure Reachability in Multi-Environment MDPs -- Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning -- Verification -- A Formal CHERI-C Semantics for Verification -- Automated Verification for Real-Time Systems via Implicit Clocks and an Extended Antimirov Algorithm -- Parameterized Verification under TSO with Data Types -- Verifying Learning-Based Robotic Navigation Systems: A Case Study -- Make flows small again: revisiting the flow framework -- ALASCA: Reasoning in Quantified Linear Arithmetic -- A Matrix-Based Approach to Parity Games -- A GPU Tree Database for Many-Core Explicit State Space Exploration.…”
Link to Metadata

Voices of Indonesian Manufacturing Workers in Rotating Shift Systems by Henny Permatasari, Junaiti Sahar, Muchtarrudin Mansyur, Astrid Widayati Hardjono

Connect to this object online.

Causal inference multiple imputation investigation of the impact of cannabinoids and other substances on ethnic differentials in US testicular cancer incidence by Albert Stuart Reece, Gary Kenneth Hulse

Connect to this object online.

HUBUNGAN ANTARA BERAT BADAN LAHIR BAYI DENGAN WAKTU TERJADINYA LACTOGENESIS II PADA IBU POSTPARTUM by Ria Gustirini

Connect to this object online.

Racial/Ethnic Disparity in Association Between Fetal Alcohol Syndrome and Alcohol Intake During Pregnancy: Multisite Retrospective Cohort Study by Sarah Soyeon Oh, Bada Kang, Jewel Park, SangMin Kim, Eun-Cheol Park, Seung Hee Lee, Ichiro Kawachi

Connect to this object online.

Penalaran Kreatif Siswa SMP dalam Menyelesaikan Masalah Sistem Persamaan Linier Dua Variabel (SPLDV) by Wildan Hakim, I Made Sulandra, Erry Hidayanto

Connect to this object online.

FAKTOR AKSESIBILITAS PELAYANAN KESEHATAN TERHADAP PEMERIKSAAN IVA DI PUSKESMAS BENCULUK KABUPATEN BANYUWANGI by Arisca Arisca, Pudji Lestari, Nila Kurniasari

Connect to this object online.

Genetic diversity of Echinococcus multilocularis and Echinococcus granulosus sensu lato in Kyrgyzstan: The A2 haplotype of E. multilocularis is the predominant variant infecting hu... by Cristian A Alvarez Rojas, Philipp A Kronenberg, Sezdbek Aitbaev, Rakhatbek A Omorov, Kubanychbek K Abdykerimov, Giulia Paternoster, Beat Müllhaupt, Paul Torgerson, Peter Deplazes

Connect to this object online.

Islamic Religious Education Study Program at UIN Syarif Hidayatullah and UIN Sunan Gunung Djati by Jejen Musfah, Rusydy Zakaria

Connect to this object online.