Search Results - "apartment"

Perancangan Marina Central Place Di Jakarta Utara (Sebagai Lokasi Sentral Bisnis Dan Wisata Berbasis Mixed Use Area) by Winata , Ongky Harja

Connect to this object online

PEREMPUAN DAN ALKOHOL by Yulia Hadiyanti, -

Link Metadata

LAPORAN PERENCANAAN & PERANCANGAN APARTEMEN DI KABUPATEN KARAWANG by Maulydia Putri Perdana, -

Link Metadata

Case Studies in Systems Chemistry by Fleck, George

Table of Contents: “…Abstract -- Introduction -- Systems Chemistry: Putting it All Together -- Taking it Apart, versus Putting it Together: Implications for the Chemistry Curriculum -- Concepts of Systems Chemistry -- Carboxylic Acid Equilibria -- Chapter 1. …”
Access online version

Construct validity of the physical activity neighborhood environment scale-Oman by Gustavo De Siqueira, Ruth Mabry, Huda Al Siyabi, Ahmad Adeel, Sadmira Malaj, Adewale Oyeyemi, Adewale Oyeyemi, Adewale Oyeyemi

Connect to this object online.

Physical activity and sedentary behavior in 14-15 year old students with regard to location of school [Pohybová aktivita a sedavý způsob života 14-15letých studenů s ohledem... by Josef Mitáš, Jiří Nykodým, Karel Frömel

Connect to this object online.

Current Status and Challenges of Community-Based Elderly Care Centers in Chongqing, China: A Cross-Sectional Study by Yang Z, Jiang Y, Wang M, Zeng H

Connect to this object online.

PENGELOLAAN LIMBAH KONSTRUKSI PEKERJAAN BETON PADA PROYEK PEMBANGUNAN GEDUNG TINGGI by Ratnasari, Astri

Link Metadata

APLIKASI MAT FOUNDATION PADA TOWER E APARTEMEN GREEN BAY PLUIT by afifah, fany nur

Link Metadata

MENINGKATKAN LOYALITAS TAMU BISNIS MARBELLA SUITES BANDUNG MELALUI RELATIONSHIP MARKETING: Survei pada Tamu Bisnis yang Menginap di Marbella Suites Bandung by Ayu, Silpia

Link Metadata

ANALISIS PERILAKU BANGUNAN GEDUNG LANDMARK DENGAN PENGGUNAAN POSISI SHEARWALL YANG BERBEDA by Nursyamsi, Irfan Fajar

Link Metadata

Russia's Turn to the East Domestic Policymaking and Regional Cooperation /

Table of Contents: “…Afterword: 6,400 kilometres away - but not a policy world apart.…”
Link to Metadata

Solidarity in Europe Citizens' Responses in Times of Crisis /

Table of Contents: “…; Johannes Kiess, Christian Lahusen, Ulrike Zschache -- Pulling together or pulling apart? Solidarity in the post-crisis United Kingdom; Tom Montgomery, Simone Baglioni, Olga Biosca and Maria Grasso -- Solidarity practices in Poland and their social capital foundations; Anna Kurowska and Maria Theiss -- The social and political dimensions of solidarity in Italy; Nicola Maggini -- Volunteering for refugees and asylum seekers in Greece; Stefania Kalogeraki -- Civic and political solidarity practices in Switzerland; Eva Fernandez G. -- Trajectories of solidarities in France across fields of vulnerability; Manlio Cinalli and Maria Jimena Sanhueza -- European Solidarity: a comparative assessment and discussion; Christian Lahusen and Maria Grasso.…”
Link to Metadata

Narrating China's Governance Stories in Xi Jinping's Speeches / by People's Daily, Department of Commentary

Table of Contents: “…-Part 1 About the Interior -- On Incorrupt Government: "When the officials become corruptible and unfair, the regime is going into decline" -- On Characters and Morals: "To enter politics, a person should cultivate his moral character and enrich himself with virtues first" -- On Self-improvement: "If you want to enhance your ability, you must study; if you want to make the blade sharp, you must sharpen it"- On Governance: "Empty talk endangers the nation, practical work brings prosperity" -- Part 2 About Diplomacy -- On People-to-people Friendship: "The key to sound relations between states lies in amity between the people" -- On Intercourse Between Nations: "Of the things brought about by the rites, harmony is the most valuable" -- On Cultural Exchange: "It is the very nature of things to be unequal in quality" -- On Historical Affinity: "Distance cannot separate true friends who feel so close even when they are thousands of miles apart" -- On Xi Jinping's Personal Experience: Never forget why you started.…”
Link to Metadata

Mining Gold and Manufacturing Ignorance Occupational Lung Disease and the Buying and Selling of Labour in Southern Africa / by McCulloch, Jock, Miller, Pavla

Table of Contents: “…Orenstein: 1914 - -1960 -- Chapter 13: Technologies, care and repatriations: 1926-1966 -- Chapter 14: Things fall apart: independent research, asbestos litigation, and the gold miners' class action: 1983 - 2019 -- Chapter 15: Conclusion: records, bodies and contested justice.…”
Link to Metadata

Medication use as an outcome variable in environmental (noise) epidemiology by Lars Barregard, Stephen Stansfeld

Connect to this object online.

International Organizations in Global Social Governance

Table of Contents: “…International Organizations' Involvement in Youth (Un)Employment as a Global Policy Field, Ross Fergusson -- 3. Worlds apart? - The Meaning of Global Labour Standards Friederike Römer, Jakob Henninger and Le Thuy Dung -- 4. …”
Link to Metadata

Nordic Mediation Research

Table of Contents: “…Lin Adrian, Kaijus Ervasti and Anna Nylund, Introduction to Nordic Mediation Research -- Part I Systemic Aspects of Nordic Mediation: Anna Nylund, A Dispute Systems Design Perspective on Norwegian Child Custody Mediation -- Christian B N Gade, "Restorative Justice" - History of the Term's International and Danish Use -- Vaula Haavisto, Developing Family Mediation in Finland - The Change Process and Practical Outcomes -- Maritha Jacobsson, Lottie Wahlin and Eva Fromholz, Victim Offender Mediation in Sweden - an Activity Falling Apart? -- Part II The Mediator, Mediation Process and Outcome: Lin Adrian and Solfrid Mykland, Unwrapping Court-Connected Mediation Agreements -- Camilla Bernt, Custody Mediation in Norwegian Courts - A Conglomeration of Roles and Processes -- Ida Helene Asmussen, Mediation in Light of Modern Identity -- Katrine Barnekow Rasmussen, When is Restorative justice? …”
Link to Metadata

Leonardo e il Rinascimento nei Codici napoletani influenze e modelli per l'architettura e l'ingegneria by Maria Rascaglia

DOAB: download the publication
DOAB: description of the publication

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

Table of Contents: “…Synthesis -- HOLL: Program Synthesis for Higher Order Logic Locking -- The Complexity of LTL Rational Synthesis -- Synthesis of Compact Strategies for Coordination Programs -- ZDD Boolean Synthesis -- Verification -- Comparative Verification of the Digital Library of Mathematical -- Functions and Computer Algebra Systems -- Verifying Fortran Programs with CIVL -- NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems -- Efficient Neural Network Analysis with Sum-of-Infeasibilities -- Blockchain -- Formal Verification of the Ethereum 2.0 Beacon Chain -- Fast and Reliable Formal Verification of Smart Contracts with the Move Prover -- A Max-SMT Superoptimizer for EVM handling Memory and Storage -- Grammatical Inference -- A New Approach for Active Automata Learning Based on Apartness -- Learning Realtime One-Counter Automata -- Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic -- and Daniel NeiderLearning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes -- Verification Inference -- Inferring Interval-Valued Floating-Point Preconditions -- NeuReach: Learning Reachability Functions from Simulations -- Quantifier Alternations: Taming the Search Space Explosion -- LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions -- Short papers -- Kmclib: Automated Inference and Verification of Session Types from OCaml Programs -- Automated Translation of Natural Language Requirements to Runtime Monitors -- MaskD: A Tool for Measuring Masking Fault-Tolerance -- Better Counterexamples for Dafny -- Constraint Solving -- cvc5: A Versatile and Industrial-Strength SMT Solver -- Clausal Proofs for Pseudo-Boolean Reasoning -- Moving Definition Variables in Quantified Boolean Formulas -- A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic -- Model checking and verification -- Property Directed Reachability for Generalized Petri Nets -- Transition Power Abstractions for Deep Counterexample Detection -- Searching for Ribbon-Shaped Paths in Fair Transition Systems -- CoVeriTeam: On-Demand Composition of Cooperative Verification Systems.…”
Link to Metadata