Search Results - If—~

Folhas voláteis, papéis manuscritos: o pelotão de saúde no jornal infantil Pétalas (Colégio Coração de Jesus - Florianópolis/SC, 1945-1952) - Volatile sheets, manuscript p... by Maria Teresa Santos Cunha, Brasil

Connect to this object online.

Masa ciała dzieci uczących się w podstawowych szkołach wiejskich a styl życia rodzin = The body weight of rural primary school pupils and the lifestyle of their families by Zdzisława Szadowska-Szlachetka, Magdalena Tarka, Barbara Ślusarska, Marta Łuczyk, Agata Pietraszek, Robert Łuczyk, Agnieszka Bartoszek, Marianna Charzyńska-Gula

Connect to this object online.

Efficacy and safety of visepegenatide, a long-acting weekly GLP-1 receptor agonist as monotherapy in type 2 diabetes mellitus: a randomised, double-blind, parallel, placebo-control... by Xiang Yan, Jianhua Ma, Yan Liu, Xuhong Wang, Sheli Li, Shuang Yan, Zhaohui Mo, Yikun Zhu, Jingna Lin, Jie Liu, Ying Jia, Li Liu, Ke Ding, Michael Xu, Zhiguang Zhou

Connect to this object online.

Nadwaga a gibkość młodzieży licealnej - raport z badań = Overweight and flexibility secondary school students - research report by Anna Srokowska, Andrzej Lewandowski, Tomasz Kowalik, Zuzanna Piekorz, Grzegorz Srokowski, Agnieszka Radzimińska, Walery Zukow

Connect to this object online.

Editorial by José Aranda da Silva

Connect to this object online.

Lo pedagógico en las ruralidades latinoamericanas entre la pandemia y la pospandemia by Eliud Torres Velázquez, María Mercedes Palumbo

Connect to this object online.

Proceedings of the International Conference on Social Modeling and Simulation, plus Econophysics Colloquium 2014

Table of Contents: “…-Chapter 3 Interaction and Distribution -- Geographic Dependency of Population Distribution- Spatiotemporal Analysis of Influenza Epidemics in Japan -- A Universal Lifetime Distribution for Multi-Species Systems -- Firm Age Distributions and the Decay Rate of Firm Activities -- Empirical Analysis of Firm-Dynamics on Japanese Inter-firm trade Network -- Direct participants' behavior through the lens of transactional analysis: the case of SPEI -- Chapter 4 Traffic and Pedestrian -- Pedestrian Dynamics in Jamology -- Qualitative Methods of Validating Evacuation Behaviors -- Collective dynamics of pedestrians with no fixed destination -- Traffic Simulation of Kobe-city -- MOSAIIC: city-level agent-based traffic simulation adapted to emergency situations -- GUI for Agent Based Modeling -- Chapter 5 Social Media -- Emotional Changes in Japanese Blog Space Resulting from the 3.11 Earthquake -- Modeling of ENJYO via process of consensus formation on SNS -- A network structure of emotional interactions in an electronic bulletin board -- Scale-free network topologies with clustering similar to online social networks -- Identifying Colors of Products and Associated Personalized Recommendation Engine in e-Fashion Business.…”
Link to Metadata

Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,...

Table of Contents: “…Language Design -- Consistent Subtyping for All -- HOBiT: Programming Lenses without using Lens Combinators -- Dualizing Generalized Algebraic Data Types by Matrix Transposition -- Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach -- Probabilistic Programming -- An Assertion-Based Program Logic for Probabilistic Programs -- Fine-grained Semantics for Probabilistic Programs -- How long, O Bayesian network, will I sample thee? -- Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus -- Types and Effects -- Failure is Not an Option: An Exceptional Type Theory -- Let Arguments Go First -- Behavioural equivalence via modalities for algebraic effects -- Explicit Effect Subtyping -- Concurrency -- A separation logic for a promising semantics -- Logical Reasoning for Disjoint Permissions -- Deadlock-Free Monitors -- Fragment Abstraction for Concurrent Shape Analysis -- Security -- Reasoning About a Machine with Local Capabilities - Provably Safe Stack and ReturnPointer Management -- Modular Product Programs -- Program Verification -- A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification -- Verified Learning Without Regret -- Program Verification by Coinduction -- Velisarios: Byzantine Fault Tolerant Protocols Powered by Coq -- Program Analysis and Automated Verification -- Evaluating Design Tradeoffs in Numeric Static Analysis for Java -- An Abstract Interpretation Framework for Input Data Usage -- Higher-Order Program Verification via HFL Model Checking -- Quantitative Analysis of Smart Contracts -- Session Types and Concurrency -- Session-Typed Concurrent Contracts -- A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems -- On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings -- Concurrent Kleene Algebra: Free Model and Completeness -- Concurrency and Distribution -- Correctness of a Concurrent Object Collector for Actor Languages -- Paxos Consensus, Deconstructed and Abstracted -- On Parallel Snapshot Isolation and Release/Acquire Consistency -- Eventual Consistency for CRDTs -- Compiler Verification -- A Verified Compiler from Isabelle/HOL to CakeML -- Compositional Verification of Compiler Optimisations on Relaxed Memory.…”
Link to Metadata

Agricultural Development in Asia and Africa Essays in Honor of Keijiro Otsuka /

Table of Contents: “…The Case of Tanzania -- A UFO? Assessment of System of Rice Intensification from the Agricultural Economics Perspective -- RePEAT: Looking Back on 20 Years of Achievements -- Fifty Years of Research on Land Tenure Policies and Land Markets: What are the Major Lessons? …”
Link to Metadata

Contradictions regarding teaching and writing (or writing to learn) in the disciplines: What we have learned in the USA by David R. Russell

Connect to this object online.

Review about Celia Lozano López de Medrano: Ideology, politics and economic reality in the Spanish industrial professional training (1857-1936) by Elías Ramírez Aísa

Connect to this object online.

臺灣閱讀教育治理之城鄉差異探究 Urban-Rural Differences in Governance of Reading Education in Taiwan by 謝卓君 Chuo-Chun Hsieh, 閔詩紜 Shih-Yun Ming

Connect to this object online.

Métodos e técnicas de ensino utilizados por docentes de enfermagem do ensino superior by Juliane Andrade Rocha, Kênia Silva Pererira, Fabiana Divina de Brito Amorim, Mônica Vanessa Miguel de Andrade, Claudia de Carvalho Dantas

Connect to this object online.

A Cross-Sectional Nationwide Study on Accessibility and Availability of Neonatal care Resources in Hospitals of China: Current Situation, Mortality and Regional Differences by Qiuping Li, MD, Xing Li, MD, Qian Zhang, MD, Yanping Zhang, MD, Ling Liu, MD, Xiuyong Cheng, MD, Bin Yi, MD, Jian Mao, MD, Chao Chen, MD, Shaoru He, MD, Li Liu, MD, Xiaoyu Zhou, MD, Xianmei Lu, MD, Zhenlang Lin, MD, Jun Zheng, MD, Xiao Chen, MD, Shiwen Xia, MD, Yangfang Li, MD, Shaojie Yue, MD, Chaoying Yan, MD, Xinzhu Lin, MD, Zhuying Wang, MD, Jun Tang, MD, Yang Wang, MD, Danni Zhong, MD, Li Ma, MD, Yanxiang Chen, MD, Mingxia Li, MD, Hua Mei, MD, Kezhan Liu, MD, Ling Yang, MD, Xiaorong Wang, MD, Hong Wu, MD, Yuan Shi, MD, Zhichun Feng, MD

Connect to this object online.

Problemas ambientais, sustentabilidade e a pesquisa em enfermagem by Milca Severino Pereira, Adenícia Custódia Silva e Souza

Connect to this object online.

Editorial Motricidades (v. 4, n. 2) by Fábio Ricardo Mizuno Lemos

Connect to this object online.

Úlceras por presión en el postoperatorio de intervenciones quirúrgicas de cadera o de rodilla A Pressure ulcers after hip or knee surgery by Juana Mª Díaz Martínez, Pilar López-Donaire, Pilar Molina-Mercado, Manuela Peláez-Panadero, Juan Carlos Torres-Aguilar, Pedro L. Pancorbo-Hidalgo

Connect to this object online.

Experiencing Society and the Lived Welfare State

Table of Contents: “…Social History of Experiences: A Theoretical-Methodological Approach; Heikki Kokko and Minna Harjula -- 3: The Challenges or Narrating the Welfare State in the Age of Social Media: A Narrative-Theoretical Approach; Maria Mäkelä -- Part II: Experiences from Welfare Systems -- 4: Stories of Initiates: The Lived Experience of Female Social Workers in the Implementation of the Welfare State in Chile, 1925-50; Maricela Gonzáles and Paula Caffarena -- 5: Previdência Social as an Experience of Society: A Case-Study of Civil Servants in the Portuguese New State, 1933-74; Ana Carina Azevedo -- 6: A Biographical Aaccount of the Social Welfare State in Late Colonial Singapore, 1945-65; Ho Chi Tim -- Part III: Agency and Experience "From Below" -- 7: Voices of the Poor: Negotiations of Social Rights in Denmark, 1849-91; Leonora Lottrup Rasmussen -- 8: Framing the Client's Agency: Generational Layers of Lived Social Work in Finland, 1940-2000; Minna Harjula -- 9: Between Gift and Entitlement: Experiencing Public Social Services and Charitable Food Aid in 2020s Finland; Anna Sofia Salonen -- Part IV: Space, Age and Class as Experience -- 10: Lived, Material and Planned Welfare: Mass-Produced Suburbanity in 1960s and 1970s Metropolitan Finland; Kirsi Saarikangas, Veera Moll, Matti O. …”
Link to Metadata

Algebra and Trigonometry 2e by Abramson, Jay

Table of Contents: “…Modeling with Linear Functionos -- 4.3. Fitting Linear Models to Data -- Chapter Review -- Exercises -- Chapter 5. …”
Access online version

The Cold War in the Classroom International Perspectives on Textbooks and Memory Practices /

Table of Contents: “…The Cold War in South African history textbooks; Linda Chisholm and David Fig -- Chapter 11. Dictatorship and the Cold War in official Chilean history textbooks; Teresa Oteiza and Claudia Castro -- PART II. …”
Link to Metadata