Search Results - "broadcasting"

REALISASI HEDGING TERSANGKA TINDAK PIDANA KORUPSI DALAM PENYIARAN BERITA DI MEDIA ONLINE by Utami, Arista Mega

Link Metadata

PELATIHAN KETERAMPILAN VOKASIONAL SHIATSU BAGI PENYANDANG DISABILITAS TUNANETRA PASCA SEKOLAH DI PSBN WYATA GUNA KOTA BANDUNG by Saiful, -

Link Metadata

PENERAPAN METODE SIMULASI BERBASIS ANDRAGOGI DALAM MENINGKATKAN KOMPETENSI DIGITAL MARKETING : studi pada pelatihan whatsapp blaster bagi relawan wakaf di AQL Islamic Center by Mursyida Nurfadhilla, -

Link Metadata

PENANAMAN NILAI-NILAI ISLAM MELALUI PROGRAM STUDI TUR UNTUK MENUMBUHKAN KARAKTER ISLAMI DI SMAIT AS-SYIFA JALANCAGAK SUBANG by Reyza Farhatani, -

Link Metadata

Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Table of Contents: “…Constructing a universe for the setoid model -- Nominal Equational Problems -- Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy -- Fixpoint Theory - Upside Down -- "Most of"' leads to undecidability: Failure of adding frequencies to LTL -- Combining Semilattices and Semimodules -- One-way Resynchronizability of Word Transducers -- Fair Refinement for Asynchronous Session Types -- Running Time Analysis of Broadcast Consensus Protocols -- Leafy automata for higher-order concurrency -- Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic -- Generalized Bounded Linear Logic and its Categorical Semantics -- Focused Proof-search in the Logic of Bunched Implications -- Interpolation and Amalgamation for Arrays with MaxDi -- Adjoint Reactive GUI Programming -- On the Expressiveness of Büchi Arithmetic -- Parametricity for Primitive Nested Types -- The Spirit of Node Replication -- Nondeterministic and co-Nondeterministic Implies Deterministic, for Data Languages -- CertifyingInexpressibility -- A General Semantic Construction of Dependent Re nement Type Systems, Categorically -- Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP -- Nondeterministic Syntactic Complexity -- A String Diagrammatic Axiomatisation of Finite-State Automata -- Work-sensitive Dynamic Complexity of Formal Languages -- Learning Pomset Automata -- The Structure of Sum-Over-Paths, its Consequences, and Completeness for Clifford -- A Quantified Coalgebraic van Benthem Theorem.…”
Link to Metadata

The Pandemic of Argumentation

Table of Contents: “…Visual Argumentation and Law: Broadcasting and Justifying the Norms During the Pandemic -- Chapter 15. …”
Link to Metadata

EFEKTIVITAS PENERAPAN PENILAIAN KINERJA DENGAN MODEL PORTOFOLIO PADA MATA PELAJARAN PEREKAYASAAN SISTEM RADIO DAN TELEVISI DI KELAS XI TEKNIK AUDIO VIDEO 3 by Permana, Muhamad Iqbal Rizki

Link Metadata

PENGGUNAAN METONIMIA DALAM WACANA POLITIK DI LINIMASA TEMPO.CO by Nengsih, _

Link Metadata

STRATEGI KESANTUNAN PEMBAWA ACARA GELAR WICARA GEMARI DI TVRI by Cahyani, Desi Sri

Link Metadata

PEMBINAAN POTENSI KEPEMIMPINAN SISWA MELALUI LAYANAN EKSTRAKURIKULER by Wijayanti Reka, Burhanuddin Burhanuddin, Asep Sunandar

Connect to this object online.

MODERNISASI PONDOK PESANTREN by Rosyadi, Imron Khoer

Link Metadata

Efektivitas Media Film dalam Peningkatan Keterampilan Berbicara Bahasa Jerman by Candrakirana, Nindya

Link Metadata

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

Table of Contents: “…Concurrent and Distributed Systems -- Computing the concurrency threshold of sound free-choice workflow nets -- Fine-Grained Complexity of Safety Verification -- Parameterized verification of synchronization in constrained reconfigurable broadcast networks -- EMME: a formal tool for the ECMAScript Memory Model Evaluation -- SAT and SMT II -- What a Difference a Variable Makes -- Abstraction Refinement for Emptiness Checking of Alternating Data Automata -- Revisiting Enumerative Instantiation -- An Non-linear Arithmetic Procedure for Control-Command Software Verification -- Security and Reactive Systems -- Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection -- Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts -- RVHyper: A Runtime Verification Tool for Temporal Hyperproperties -- The Refinement Calculus of Reactive Systems Toolset -- Static and Dynamic Program Analysis -- TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation -- Optimal Dynamic Partial Order Reduction with Observers -- Structurally Defined Conditional Data-flow Static Analysis -- Geometric Nontermination Arguments -- Hybrid and Stochastic Systems -- Efficient dynamic error reduction for hybrid systems reachability analysis -- AMT2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic -- Multi-Cost Bounded Reachability in MDPs -- A Statistical Model Checker for Nondeterminism and Rare Events -- Temporal logic and mu-calculus -- Permutation Games for the Weakly Aconjunctive mu-Calculus -- Symmetry Reduction for the Local Mu-Calculus -- Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models -- 7th Competition on Software Verification (SV-COMP) -- 2LS: Memory Safety and Non-Termination (Competition contribution) -- Yogar-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement (Competition Contribution) -- CPA-BAM-Slicing: Block-Abstraction Memorization and Slicing with Region-BasedDependency Analysis (Competition Contribution) -- InterpChecker: Reducing State Space via Interpolations (Competition Contribution) -- Map2Check using LLVM and KLEE (Competition Contribution) -- Symbiotic 5: Boosted Instrumentation (Competition Contribution) -- Ultimate Automizer and the Search for Perfect Interpolants (Competition Contribution) -- Ultimate Taipan with Dynamic Block Encoding (Competition Contribution) -- VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution).…”
Link to Metadata

تأثير بروتوكول تحليل العناوين ARP في شبكات الإثرنت by هيثم الرضوان, مسعود علي

Connect to this object online.

ANALISIS KUALITAS SIARAN TELEVISI EDUKASI PADA PROGRAM ACARA ASYIK BELAJAR BIOLOGI DALAM MATA PELAJARAN IPA TERPADU by Jamil, Albi Gumelar

Link Metadata

Under the Radar Tracking Western Radio Listeners in the Soviet Union by Parta, R. Eugene

DOAB: download the publication
DOAB: description of the publication

Under the Radar Tracking Western Radio Listeners in the Soviet Union by Parta, R. Eugene

DOAB: download the publication
DOAB: description of the publication

Under the Radar Tracking Western Radio Listeners in the Soviet Union by Parta, R. Eugene

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

Modes of COVID-19 Information and Vaccine Hesitancy Among a Nationally Representative Sample of Asian Americans: The Moderating Role of Exposure to Cyberbullying by Adrian M. Bacong, PhD, MPH, Aggie J. Yellow Horse, PhD, Eunhye Lee, MA, Lan N. Ðoàn, PhD, Anne Saw, PhD

Connect to this object online.

PENGARUH KOMPETENSI JURU BAHASA ISYARAT PADA SIARAN BERITA CNN INDONESIA DI TRANS TV TERHADAP PEMENUHAN KEBUTUHAN KHALAYAK PENYANDANG TUNARUNGU (Survey Pada Komunitas Gerkatin Jaka... by Sri Hastuti,

Link Metadata