Forensic investigation on the high failure rate of civil engineering solid mechanics course / Siong Wee Lee ... [et al.] by Lee, Siong Wee, Jamal, Mohammad Hazizi, Hasbullah, Mohd Amran, Mohamed Ibrahim, Mohd Johan, Mohammad, Shahrul Nizam, Haron, Hairol Anuar

Link Metadata

Guideline for Salinity Assessment, Mitigation and Adaptation Using Nuclear and Related Techniques by Zaman, Mohammad, Shahid, Shabbir A., Heng, Lee

Link to Metadata

Effect of flow rate and freezing on cyanocobalamin recovery using a commercial solid phase extraction cartridge by Lauren Lees, Alison M Bland, Giacomo R DiTullio, Michael G Janech, Peter A Lee

Connect to this object online.

Dictators and Autocrats Securing Power across Global Politics

Subjects: DOAB: download the publication
DOAB: description of the publication

Dictators and Autocrats Securing Power across Global Politics

Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication

Guideline for Salinity Assessment, Mitigation and Adaptation Using Nuclear and Related Techniques by Zaman, Mohammad

DOAB: download the publication
DOAB: description of the publication

Guideline for Salinity Assessment, Mitigation and Adaptation Using Nuclear and Related Techniques by Zaman, Mohammad

OAPEN Library: download the publication
OAPEN Library: description of the publication

Assessment of the current spatial-temporal variations of salinity on the surface waters of Kuala Perlis, Perlis / Aimie Rifhan Hashim ... [et al.] by Hashim, Aimie Rifhan, Kamaruddin, Sharir Aizat, Abd.Aziz, Khairul Naim, Tajam, Jamil, Buyong, Faeiza, Che Ismail, Che-Zulkifli, Lee Abdullah, Anisah, Azis, Tun Mohd Firdaus, Anscelly, Anastacia

Link Metadata

Assessment of the current spatial-temporal variations of total dissolved solids on the surface waters of Kuala Perlis, Perlis / Aimie Rifhan Hashim ... [et al.] by Hashim, Aimie Rifhan, Kamaruddin, Sharir Aizat, Abd. Aziz, Khairul Naim, Tajam, Jamil, Buyong, Faeiza, Che Ismail, Che-Zulkifli, Lee Abdullah, Anisah, Azis, Tun Mohd Firdaus, Anscelly, Anastacia

Link Metadata

Mortal Kombat Games of Death by Church, David

Subjects: “…Mortal Kombat, video game, fighting game, martial arts, fatality, violence, ratings, controversy, Easter eggs, Chinese cinema, wuxia, Orientalism, Midway, Netherrealm, transmedia, 16-bit, Street Fighter, Sega, Nintendo, kung fu, home console, adaptation, media effects, reception, ESRB, motion capture, pixilation, Ed Boon, John Tobias, Jean-Claude Van Damme, Tsui Hark, Bruce Lee, Shaolin Temple, arcades, death, Hong Kong, Joseph Lieberman, Herbert Kohl, Night Trap, Lethal Enforcers, Capcom…”
DOAB: download the publication
DOAB: description of the publication

Mortal Kombat Games of Death by Church, David

Subjects: “…Mortal Kombat, video game, fighting game, martial arts, fatality, violence, ratings, controversy, Easter eggs, Chinese cinema, wuxia, Orientalism, Midway, Netherrealm, transmedia, 16-bit, Street Fighter, Sega, Nintendo, kung fu, home console, adaptation, media effects, reception, ESRB, motion capture, pixilation, Ed Boon, John Tobias, Jean-Claude Van Damme, Tsui Hark, Bruce Lee, Shaolin Temple, arcades, death, Hong Kong, Joseph Lieberman, Herbert Kohl, Night Trap, Lethal Enforcers, Capcom…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Biofuel and Bioenergy Technology by Lee, Keat Teong

DOAB: download the publication
DOAB: description of the publication

Advanced Material and Device Applications with Germanium

DOAB: download the publication
DOAB: description of the publication

Chapter Introduction "WATCH ME WORK": REFLECTIONS ON SUZAN-LORI PARKS AND HER CANON by Kolin, Philip C.

DOAB: download the publication
DOAB: description of the publication

Chapter Introduction "WATCH ME WORK": REFLECTIONS ON SUZAN-LORI PARKS AND HER CANON by Kolin, Philip C.

OAPEN Library: download the publication
OAPEN Library: description of the publication

By-Products: Characterisation and Use as Food

Subjects: DOAB: download the publication
DOAB: description of the publication

Recent Advancement of Thermal Fluid Engineering in the Supercritical CO2 Power Cycle

DOAB: download the publication
DOAB: description of the publication

Neuroprotection: Rescue from Neuronal Death in the Brain

DOAB: download the publication
DOAB: description of the publication

Clinical Medicine for Healthcare and Sustainability

DOAB: download the publication
DOAB: description of the publication

Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I /

Table of Contents: “…Verifying Probabilistic Programs via Generating Functions -- Abstraction-Renement for Hierarchical Probabilistic Models -- Formal Methods for Neural Networks Shared Certificates for Neural Network Verification -- Example Guided Synthesis of Linear Approximations for Neural Network Verification -- Verifying Neural Networks Against Backdoor Attacks -- Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning -- Neural Network Robustness as a Verication Property: A Principled Case Study -- Software Verication and Model Checking The Lattice-Theoretic Essence of Property Directed Reachability Analysis -- A‑ne Loop Invariant Generation via Matrix Algebra -- Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes -- Proof-guided Underapproximation Widening for Bounded Model Checking -- SolCMC: Solidity Compiler's Model Checker -- Sharygina Hyperproperties and Security Software Verication of Hyperproperties Beyond k-Safety -- Abstraction Modulo Stability for Reverse Engineering -- A Modular and Highly Extensible API Fuzzer for SMT Solvers -- Automata and Logic FORQ-based Language Inclusion Formal Testing -- Sound Automation of Magic Wands -- Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition -- Complementing Büchi Automata with Ranker -- Deductive Verication and Decision Procedures Even Faster Conicts and Lazier Reductions for String Solvers -- Local Search For SMT on Linear Integer Arithmetic -- Reasoning about Data Trees using CHCs -- Veried Erasure Correction in Coq with MathComp and VST -- Appel End-to-end Mechanised Proof of an eBPF Virtual Machine for Microcontrollers -- A DSL and Verication Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols -- Machine Learning Specication-Guided Learning of Nash Equilibria with High Social Welfare -- Synthesizing Fair Decision Trees via Iterative Constraint Solving -- SMT-based Translation Validation for Machine Learning Compiler -- Lee Verifying Fairness in Quantum Machine Learning -- MoGym: Using Formal Models for Training and Verifying Decision-making Agents -- Synthesis and Concurrency Synthesis and Analysis of Petri Nets from Causal Specications -- Verifying generalised and structural soundness of workow netsvia relaxations -- Capture, Analyze, Diagnose: Realizability Checking of Requirements in FRET -- Information Flow Guided Synthesis -- Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation.…”
Link to Metadata