Search Results - "hierarchy"

MANAJEMEN RISIKO KESELAMATAN DAN KESEHATAN KERJA DENGAN METODE HIRARC PADA PROYEK PT X TAHUN 2022 by Arafah Fadilah,

Link Metadata

EVALUASI PENERAPAN JSA DAN HIRADC PENGGUNAAN TOWER CRANE PADA PROYEK JALAN TOL CINERE-JAGORAWI SEKSI 3 PT PP PRESISI TBK TAHUN 2022 by Calviano Ramadhani Prakoso,

Link Metadata

KEBIJAKAN REGULASI PERGURUAN TINGGI VOKASI DALAM PERSPEKTIF POLITIK HUKUM : Studi Peraturan Menteri Pendidikan Dan Kebudayaan Nomor 139 Tahun 2014 Tentang Pedoman Statuta Dan Organ... by Gandhi Bhima Parmukti,

Link Metadata

ANALISIS PEMILIHAN SISTEM INFORMASI DI LINGKUNGAN KEPEGAWAIAN LEMBAGA SANDI NEGARA DENG AN DUKUNGAN AHP DAN ANALISIS BIAYAIKEUNTUNGAN (COST/BENEFIT) by Fatkhurohman, -

Link Metadata

Algorithms for Big Data DFG Priority Program 1736 /

Table of Contents: “…Big Data, Scalability, Algorithms, Applications, Graphs, Networks, Parallelism, Distributed, Memory Hierarchy, Algorithm Engineering, Network Analysis, Random Graphs, Graph Clustering, Data Streams, Cryptography, Energy Efficiency, Text Indices.…”
Link to Metadata

Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Table of Contents: “…Semantics -- Non-angelic Concurrent Game Semantics -- A Trace Semantics for System F Parametric Polymorphism -- Categorical Combinatorics for Non Deterministic Strategies on Simple Games -- A Syntactic View of Computational Adequacy -- Linearity -- A New Linear Logic for Deadlock-Free Session-Typed Processes -- A Double Category Theoretic Analysis of Graded Linear Exponential Comonads -- Depending on Session-Typed Processes -- FabULous Interoperability for ML and a Linear Language -- Concurrency -- Automata for True Concurrency Properties -- A Theory of Encodings and Expressiveness -- A Framework for Parameterized Monitorability -- Logics for Bisimulation and Divergence -- Lambda-Calculi and Types -- Call-by-need, Neededness and All That -- Fitch-Style Modal Lambda Calculi -- Realizability Interpretation and Normalization of Typed Call-by-Need -- Quotient Inductive-Inductive Types -- Category Theory and Quantum Control -- Guarded Traced Categories -- Proper Semirings and Proper Convex Functors -- From Symmetric Pattern-Matching to Quantum Control -- Quantitative Models -- The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes -- A Hierarchy of Scheduler Classes for Stochastic Automata -- Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings -- Comparator Automata in Quantitative Verification -- Logics and Equational Theories -- Modular Tableaux Calculi for Separation Theories -- Differential Calculus with Imprecise Input and its Logical Framework -- The Effects of Adding Reachability Predicates in Propositional Separation Logic -- The Equational Theory of the Natural Join and of Inner Union is Decidable -- Graphs and Automata -- Minimization of Graph Weighted Models over Circular Strings -- Games on Graphs with a Public Signal Monitoring -- WQO Dichotomy for 3-Graphs -- Verifying Higher-Order Functions with Tree Automata.…”
Link to Metadata

The Effects of Cross-Language Differences on Bilingual Production and/or Perception of Sentence-Level Intonation

DOAB: download the publication
DOAB: description of the publication

'Am I Less British?' Racism, belonging, and the children of refugees and immigrants in North London by Şimşek, Doğuş

DOAB: download the publication
DOAB: description of the publication

Chapter 8 Enemies Citizenship as a Trigger of Violence by Štiks, Igor

DOAB: download the publication
DOAB: description of the publication

The Troubled Origins of the Italian Catholic Labor Movement, 1878-1914 by Agócs, Sándor

DOAB: download the publication
DOAB: description of the publication

Plantation Crisis Ruptures of Dalit life in the Indian tea belt by Raj, Jayaseelan

DOAB: download the publication
DOAB: description of the publication

Advanced Technology of Waste Treatment

DOAB: download the publication
DOAB: description of the publication

O Manicômio Judiciário: saúde ou justiça? The Judiciary Mental Hospital: a question of health or of law? by Evelin Naked de Castro Sá

Connect to this object online.

Area deprivation and its association with health in a cross-sectional study: are the results biased by recent migration? by Piro Fredrik, Næss Øyvind, Claussen Bjørgulf

Connect to this object online.

Can cultural capital, cognitive ability, and economic capacity help rural older adults bridge the digital divide? Evidence from an empirical study by Yupeng Cui, Youshi He, Xinglong Xu, Lulin Zhou, Jonathan Aseye Nutakor

Connect to this object online.

The study of ontology model for soccer player's social media contents analysis by Joo-Hak Kim, Sun-Mi Cho, Ji-Yeon Kang

Connect to this object online.

Why is tobacco control progress in Indonesia stalled? - a qualitative analysis of interviews with tobacco control experts by Putu Ayu Swandewi Astuti, Mary Assunta, Becky Freeman

Connect to this object online.

The Cost of Waiting on an Orthopaedic Waiting List: a scoping review by Joanne Morris, Asterie Twizeyemariya, Karen Grimmer

Connect to this object online.

Appropriateness of Outpatient Antibiotic Use in Seniors across Two Canadian Provinces by Ariana Saatchi, Jennifer N. Reid, Marcus Povitz, Salimah Z. Shariff, Michael Silverman, Andrew M. Morris, Romina C. Reyes, David M. Patrick, Fawziah Marra

Connect to this object online.

Spatial and temporal analysis of China's healthcare resource allocation measurements based on provincial data: 2010-2021 by Hengna Ren, Chen Li, Yi Huang

Connect to this object online.