Search Results - "Sound of..."

KEABSAHAN DOKUMEN ELEKTRONIK SEBAGAI ALAT BUKTI DALAM PUTUSAN PERCERAIAN DI PENGADILAN AGAMA JAKARTA TIMUR (Studi Analisis Putusan Nomor: 1528/Pdt.G/2017/PAJT by Fahmi Azis,

Link Metadata

ANALISIS PAPARAN KEBISINGAN AKIBAT SUARA KERETA API, JENIS KELAMIN DAN TINGKAT STRES TERHADAP TINGKAT TEKANAN DARAH SISWA KELAS XII SMAN 37 JAKARTA by Endang Rahayuningsih, -

Link Metadata

HUBUNGAN KEBISINGAN DENGAN TEKANAN DARAH PADA PEKERJA PRODUKSI DI PT KAHAR DUTA SARANA TAHUN 2019 by Anita Ticoalu, -

Link Metadata

Integrated, cross-sectoral psycho-oncology (isPO): a new form of care for newly diagnosed cancer patients in Germany by Michael Kusch, Hildegard Labouvie, Vera Schiewer, Natalie Talalaev, Jan C. Cwik, Sonja Bussmann, Lusine Vaganian, Alexander L. Gerlach, Antje Dresen, Natalia Cecon, Sandra Salm, Theresia Krieger, Holger Pfaff, Clarissa Lemmen, Lisa Derendorf, Stephanie Stock, Christina Samel, Anna Hagemeier, Martin Hellmich, Bernd Leicher, Gregor Hültenschmidt, Jessica Swoboda, Peter Haas, Anna Arning, Andrea Göttel, Kathrin Schwickerath, Ullrich Graeven, Stefanie Houwaart, Hedy Kerek-Bodden, Steffen Krebs, Christiana Muth, Christina Hecker, Marcel Reiser, Cornelia Mauch, Jennifer Benner, Gerdamarie Schmidt, Christiane Karlowsky, Gisela Vimalanandan, Lukas Matyschik, Lars Galonska, Annette Francke, Karin Osborne, Ursula Nestle, Markus Bäumer, Kordula Schmitz, Jürgen Wolf, Michael Hallek

Connect to this object online.

Efeito do ruído na voz de educadoras de instituições de educação infantil Efecto del ruido en la voz de las educadoras de instituciones de educación infantil The effect of no... by Marcia Simões-Zenari, Mariangela Lopes Bitar, Nair Katia Nemr

Connect to this object online.

PENGARUH LEMBAR KERJA KREATIF DAN KRITIS ILMIAH (LK3I) PADA PROJECT BASED LEARNING UNTUK MENINGKATKAN KEMAMPUAN KOGNITIF, KETERAMPILAN BERPIKIR KREATIF ILMIAH DAN KRITIS ILMIAH SIS... by Siska Kartika, -

Link Metadata

Teaching, Research and Academic Careers An Analysis of the Interrelations and Impacts /

Link to Metadata

Interdisciplinarity in the Scholarly Life Cycle Learning by Example in Humanities and Social Science Research /

Link to Metadata

Values - Politics - Religion: The European Values Study In-depth Analysis - Interdisciplinary Perspectives - Future Prospects /

Link to Metadata

Cultural Heritage in a Changing World

Table of Contents: “…An analysis of the changes currently taking place: the digital and the global dimension and local cultures -- Interdisciplinary collaborations in the creation of digital dance and performance: A critical examination -- Sound archives accessibility -- Technology and public access to cultural heritage: the Italian experience on IT for public historical archives -- Intellectual Property Rights and Photography: an Eternal Golden Braid -- Part II: Mediated and unmediated heritage -- A case study of an inclusive museum. …”
Link to 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

Slavery to Liberation The African American Experience by Farrington, Joshua, Powell, Norman W., Graham, Gwendolyn, Anyanwu, Ogechi E.

Access online version

Ar de Rock O Boom do Rock em Portugal no Início da Década de 1980 by Andrade, Ricardo

DOAB: download the publication
DOAB: description of the publication

Signposts to Silence. Metaphysical mysticism theoretical map and historical pilgrimages by Krüger, J.S

DOAB: download the publication
DOAB: description of the publication

A scholarly contribution to educational praxis

DOAB: download the publication
DOAB: description of the publication

Dissimilar Metal Welding by Astarita, Antonello

DOAB: download the publication
DOAB: description of the publication

Glasba, politika, afekt Novo življenje partizanskih pesmi v Sloveniji by Hofman, Ana

DOAB: download the publication
DOAB: description of the publication

Questioning the Entrepreneurial State Status-quo, Pitfalls, and the Need for Credible Innovation Policy

DOAB: download the publication
DOAB: description of the publication

Laser Additive Manufacturing: Design, Materials, Processes and Applications

DOAB: download the publication
DOAB: description of the publication

A Smartphone App to Assess Alcohol Consumption Behavior: Development, Compliance, and Reactivity by Poulton, Antoinette, Pan, Jason, Bruns Jr, Loren Richard, Sinnott, Richard O, Hester, Robert

Connect to this object online.