Search Results - Metroid~

PENGARUH ANALISIS FAKTOR FUNDAMENTAL TERHADAP RETURN SAHAM: Studi Empiris Pada Kelompok Industri Barang Konsumsi dan Keuangan yang Terdaftar di BEI Periode 2002-2009 by Perwito, -

Link Metadata

HUBUNGAN ROTASI JABATAN DENGAN SEMANGAT KERJA PEGAWAI PADA SUB BAGIAN KEPEGAWAIAN DAN UMUM SEKRETARIAT DINAS PENDIDIKAN PROVINSI JAWA BARAT by Dessy Windy Hapsari, -

Link Metadata

ANALISIS PENERAPAN PROFIL PELAJAR PANCASILA DALAM PENGUATAN KARAKTER MANDIRI SISWA KELAS IV SD DI SEKOLAH KAK SETO: Penelitian Deskriptif Kualitatif di Kelas IV Sekolah Dasar Kak S... by Feronika Manalu, -

Link Metadata

PEMBERDAYAAN PEREMPUAN BERBASIS COMMUNITY CIVIC SEBAGAI UPAYA MENGEMBANGKAN KESEJAHTERAAN KELUARGA: Studi Kasus Terhadap Program Sekoper Cinta di Desa Wangunjaya by Ema Suryanti, -

Link Metadata

PENGEMBANGAN PENDIDIKAN KEWARGANEGARAAN BERBASIS MULTIKULTURAL DALAM MEMUPUK NASIONALISME SISWA :Studi Kasus di SMA Santo Aloysius Bandung by Anggraeni, Leni

Link Metadata

PEMANFAATAN Coix lacryma-jobi DAN Medinilla speciosa SEBAGAI FILM SENSOR SMART PACKAGING UNTUK MENDETEKSI KESEGARAN FILLET IKAN NILA by Mentari Putri Aprilia, -

Link Metadata

PENGARUH PEMBERIAN REBUSAN AIR DAUN SIRIH TERHADAP PENURUNAN TEKANAN DARAH TINGGI PADA LANSIA PENDERITA HIPERTENSI DI DESA TANJUNGMEDAR by Endah Permata Sapira, _

Link Metadata

KEPUTUSAN INVESTOR MUSLIM DALAM BERINVESTASI SAHAM SYARIAH DENGAN RELIGIOSITY SEBAGAI VARIABEL MODERATOR by Yogi Al Rasyid, -

Link Metadata

PENYESUAIAN ELEMEN KURIKULUM KIMIA PADA SMK KOMPETENSI KEAHLIAN TEKNIK PENDINGINAN DAN TATA UDARA by Yogma Syanidan Sugiyono, -

Link Metadata

PENYESUAIAN ELEMEN KURIUKULUM KIMIA PADA SMK KOMPETENSI KEAHLIAN TEKNIK DAN BISNIS SEPEDA MOTOR by Verra Gusniawati, -

Link Metadata

PENINGKATAN LITERASI DIGITAL DAN PENGUASAAN KONSEP PERUBAHAN LINGKUNGAN PESERTA DIDIK SMA MELALUI CITIZEN SCIENCE PROJECT MENGGUNAKAN BLENDED LEARNING by Ridho Ilafi Sukma, -

Link Metadata

TINGKAT ANTUSIASME SISWA SMPN SE-KOTA BANDUNG DIKAITKAN DENGAN HASIL BELAJAR PJOK SELAMA MASA PANDEMI COVID-19 by Amar Fadhilah Rosyid, -

Link Metadata

Industry 4.0 for SMEs Challenges, Opportunities and Requirements /

Table of Contents: “…Smart SME 4.0 Implementation Toolkit; Apichat Sopadang, Nilubon Chonsawat and Sakgasem Ramingwong -- Part V. Case Studies and Methodical Tools for Implementing Industry 4.0 in SMEs -- 11. …”
Link to Metadata

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I /

Table of Contents: “…Automata and Timed Systems -- Symbolic Register Automata -- Abstraction Refinement Algorithms for Timed Automata -- Fast Algorithms for Handling Diagonal Constraints in Timed Automata -- Safety and co-safety comparator automata for discounted-sum inclusion -- Clock Bound Repair for Timed Systems -- Verifying Asynchronous Interactions via Communicating Session Automata -- Security and Hyperproperties -- Verifying Hyperliveness -- Quantitative Mitigation of Timing Side Channels -- Property Directed Self Composition -- Security-Aware Synthesis Using Delayed-Action Games -- Automated Hypersafety Verification -- Automated Synthesis of Secure Platform Mappings -- Synthesis -- Synthesizing Approximate Implementations for Unrealizable Specifications -- Quantified Invariants via Syntax-Guided Synthesis -- Efficient Synthesis with Probabilistic Constraints -- Membership-based Synthesis of Linear Hybrid Automata -- Overfitting in Synthesis: Theory and Practice -- Proving Unrealizability for Syntax-Guided Synthesis -- Model Checking -- BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings -- When Human Intuition Fails: Using Formal Methods to Find an Error in the "Proof" of a Multi-Agent Protocol -- Extending NUXMV with Timed Transition Systems and Timed Temporal Properties -- Cerberus-BMC: a Principled Reference Semantics and Exploration Tool for Concurrent and Sequential C -- Cyber-physical Systems and Machine Learning -- Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification -- StreamLAB: Stream-based Monitoring of Cyber-Physical Systems -- VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems -- The Marabou Framework for Verification and Analysis of Deep Neural Networks -- Probabilistic Systems, Runtime Techniques -- Probabilistic Bisimulation for Parameterized Systems -- Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks -- PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games -- Symbolic Monitoring against Specifications Parametric in Time and Data -- STAMINA: STochastic Approximate Model-checker for INfinite-state Analysis -- Dynamical, Hybrid, and Reactive Systems -- Local and Compositional Reasoning For Optimized Reactive Systems -- Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach -- Flexible Computational Pipelines for Robust Abstraction-based Control Synthesis -- Temporal Stream Logic: Synthesis beyond the Bools -- Run-Time Optimization for Learned Controllers through Quantitative Games -- Taming Delays in Dynamical Systems: Unbounded Verification of Delay Differential Equations.…”
Link to Metadata

Computational Thinking Education

Table of Contents: “…-- 3 MIT App Inventor: Objectives, Design, and Development -- Part II Student Competency and Assessment -- 4 Measuring Secondary School Students' Competence in Computational Thinking in ICILS 2018: Challenges, Concepts and Potential Implications for School Systems around the World -- 5 Computational Thinking Processes and their Congruence with Problem-Solving and Information-Processing -- 6 Combining Assessment Tools for a Comprehensive Evaluation of Computational Thinking Interventions -- 7 Introducing and Assessing Computational Thinking in the Secondary Science Classroom -- 8 Components and Methods of Evaluating Computational Thinking for Fostering Creative Problem-Solvers in Senior Primary School Education -- Part III Computational Thinking and Programming Education in K-12 -- 9 Learning Composite and Prime Numbers through Developing an App: An Example of Computational Thinking Development through Primary Mathematics Learning -- 10 Teaching Computational Thinking using Mathematics Gamification in Computer Science Game Tournaments -- 11 Mathematics Learning: Perceptions towards the Design of a Website based on a Fun Computational Thinking-based Knowledge Management Framework -- Part IV Computational Thinking in K-12 STEM Education and Non-formal Learning -- 12 Defining and Assessing Students' Computational Thinking in a Learning by Modeling Environment -- 13 Roles, Collaboration, and the Development of Computational Thinking in a Robotics Learning Environment -- 14 Video Games: A Potential Vehicle for Teaching Computational Thinking -- 15 Transforming the Quality of Workforce in the Textile and Apparel Industry through Computational Thinking Education -- Part V Teacher and Mentor Development in K-12 Education -- 16 Teaching Computational Thinking with Electronic Textiles: Modeling Iterative Practices and Supporting Personal Projects in Exploring Computer Science -- 17 A Study of Readiness of Implementing Computational Thinking in Compulsory Education in Taiwan -- 18 Self-development through Service-oriented Stress-Adaptation-Growth (SOSAG) Process in the Engagement of Computational Thinking Co-teaching Education -- Part VI Computational Thinking in Educational Policy and Implementation -- 19 Educational Policy and Implementation of Computational Thinking and Programming: Case Study of Singapore -- 20 Teaching-Learning of Computational Thinking in K-12 Schools in India.…”
Link to Metadata

The use of new technologies in Cohort studies by Carlos Antonio Bruno da Silva, Querubina Bringel Olinda

Connect to this object online.

How sport teaches values? The specific ability of intense bodily commitment to enhance norm adherence by Tess Kate Schweizer, Maxime Mauduy, Juan M. Falomir-Pichastor, Nicolas Margas

Connect to this object online.

Urinary Stents Current State and Future Perspectives /

Table of Contents: “…Potential for use to prevent infections -- Ch 27: Urinary tract infections and encrustation in urinary stents -- Ch 28: Learning from our mistakes:Applying Vascular Stent Technologies to the Urinary Tract -- Ch 29: Biodegradable urinary stents -- Ch 30: New double-J stent design for preventing/reducing irritative bladder symptoms & flank pain -- Ch 31: Drug eluting devices in the urinary tract -- Ch 32: Methods and Materials for drug eluting urinary stents design and fabrication -- Ch 33: Preventing biofilm formation and encrustation on urinary implants: (bio)coatings and tissue engineering -- Ch 34: Preventing biofilm formation and encrustation on urinary implants: (bio)molecular and physical research approaches -- Ch 35: Ten steps to strategic planning for the urinary stents of the future.…”
Link to Metadata

Critical Issues in Head and Neck Oncology Key Concepts from the Eighth THNO Meeting /

Table of Contents: “…The gut microbiota and anticancer immunotherapy, Laurence Zitvogel -- The bidirectional communication between tumor cells and other components of the tumor microenvironment, Phil Sloan -- Resistance mechanisms in immune checkpoint inhibitors and radiotherapy and how to overcome this, Kirsten Lauber -- DNA repair mechanisms as a new target in head and neck cancer, Kevin Harrington -- How to standardize molecular profiling programs for routine patient care, Ingeborg Tinhofer -- Novel immune oncology targets beyond PD-1/PD-L1 in head and neck cancer, Christophe Le Tourneau -- Analytic methods to understand head and neck cancer evolution to guide therapeutic approaches, Ben O'Leary -- Clinical cases, Jean Pascal Machiels -- Updates from the European Head & Neck Society (EHNS), Wojciech Golusinski (President of EHNS) Section 2: Primary disease Piero Nicolai -- Sensitivity and specificity of extranodal extension in SCCHN: unlocking the strongest prognostic factor in head and neck cancer, Brian O'Sullivan -- From photon to proton: what's in it for head and neck cancer patients?…”
Link to Metadata

Persistent Organic Pollutants in Human Milk

Table of Contents: “…Part I Introduction -- Chapter 1 Human milk surveys on persistent organic pollutants from a historical perspective -- Chapter 2 Overview of WHO- and UNEP-coordinated human milk studies and their link to the Stockholm Convention on persistent organic pollutants -- Chapter 3 The Stockholm Convention, Global Monitoring Plan and its implementation in regional and global monitoring reports -- Part II Analytical methods and quality control -- Chapter 4 Analysis and quality control of WHO- and UNEP-coordinated human milk studies 2000-2019: polychlorinated biphenyls, polychlorinated dibenzo-p-dioxins and polychlorinated dibenzofurans -- Chapter 5 Analysis and quality control of WHO- and UNEP-coordinated human milk studies 2000-2019: organochlorine pesticides and industrial chemicals -- Chapter 6 Analysis and quality control of WHO- and UNEP-coordinated human milk studies 2000-2019: polybrominated diphenylethers, hexabromocyclododecanes, chlorinated paraffins and polychlorinated naphthalenes -- Part III WHO/UNEP-coordinated exposure studies 2000-2019: results of chlorinated and brominated POPs and discussion -- Chapter 7 WHO- and UNEP-coordinated human milk studies 2000-2019: findings of polychlorinated biphenyls, polychlorinated dibenzo-p-dioxins and polychlorinated dibenzofurans -- Chapter 8 WHO- and UNEP-coordinated human milk studies 2000-2019: findings of organochlorine pesticides and industrial chemicals -- Chapter 9 WHO- and UNEP-coordinated human milk studies 2000-2019: findings of polybrominated substances (PBDE, HBCDD, PBB 153, PBDD/PBDF) -- Chapter 10 WHO- and UNEP-coordinated human milk studies 2000-2019: findings of chlorinated paraffins -- Chapter 11 WHO- and UNEP-coordinated human milk studies 2000-2019: findings of polychlorinated naphthalenes -- Part IV Assessments -- Chapter 12 Time trends in human milk derived from WHO- and UNEP-coordinated exposure studies; Chapter 1: polychlorinated biphenyls, polychlorinated dibenzo-p-dioxins and polychlorinated dibenzofurans -- Chapter 13 Time trends in human milk derived from WHO- and UNEP-coordinated exposure studies; Chapter 2: DDT, beta-HCH and HCB -- Chapter 14 Time trends in human milk derived from WHO- and UNEP-coordinated exposure studies; Chapter 3: perfluoroalkyl substances (PFAS) -- Chapter 15 Risk-benefit analysis for the breastfed infant based on the WHO- and UNEP human milk surveys for dioxin-like compounds -- Part V Summary, conclusions and outlook -- Chapter 16 Overall conclusions and key messages of the WHO/UNEP-coordinated human milk studies on persistent organic pollutants -- Chapter 17 Outlook (towards future studies on human milk).…”
Link to Metadata