Search Results - Relational Network Theory

The social networks and paradoxes of the opt-out movement amid the Common Core State Standards implementation: The case of New York by Yinying Wang

Connect to this object online.

Factors influencing the non-disclosure of sustainability information on Malaysian district councils' websites within an institutional theory framework / Corina Joseph by Corina, Joseph

Link Metadata

Adaptive adjustment to the needs of families caring for children and adolescents with physical disabilities in north-eastern Tanzania: a grounded-theory study by Elia Asanterabi Swai, Haleluya Imanueli Moshi, Sia Emmanueli Msuya, Marie Lindkvist, Ann Sörlin, Klas Göran Sahlen

Connect to this object online.

Developing a Grounded Theory Model of Effective Factors and Consequences of Gender-Affirming for Transgender People and Those with Undifferentiated Gender in Iran by Morteza Omidian, Hossein Sajadian

Connect to this object online.

Algorithms for Big Data DFG Priority Program 1736

DOAB: download the publication
DOAB: description of the publication

Algorithms for Big Data DFG Priority Program 1736

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

Policy-Oriented Technology Assessment Across Europe Expanding Capacities /

Link to Metadata

The development of an online-based rural community of practice framework for addressing health issues among rural citizens: a grounded theory approach by Ryuichi Ohta, Toshihiro Yakabe, Chiaki Sano

Connect to this object online.

Connections and Capacity: An Exploration of Preservice Teachers' Sense of Belonging, Social Networks, and Self-Efficacy in Three Teacher Education Programs by Peter Bjorklund, Alan J. Daly, Rebecca Ambrose, Elizabeth A. van Es

Connect to this object online.

Implementation processes of social network interventions for physical activity and sedentary behavior among children and adolescents: a scoping review by Jose Petro-Petro, Carlos Mario Arango-Paternina, Fredy Alonso Patiño-Villada, Jhon Fredy Ramirez-Villada, Ross C. Brownson

Connect to this object online.

The Importance of Interdisciplinary Frameworks in Social Media Mining: An Exploratory Approach Between Computational Informatics and Social Network Analysis (SNA) by Danny Valdez, Megan S. Patterson, Tyler Prochnow

Connect to this object online.

History of early life adversity is associated with increased food addiction and sex‐specific alterations in reward network connectivity in obesity by V. Osadchiy, E. A. Mayer, R. Bhatt, J. S. Labus, L. Gao, L. A. Kilpatrick, C. Liu, K. Tillisch, B. Naliboff, L. Chang, A. Gupta

Connect to this object online.

The Influence of a School Social Network Intervention on Adolescent's Health Behaviors: A Gender-Specific Agent-Based Model by Shu Zhang, Tianyi Xiao, Jie He, Jie He

Connect to this object online.

Network Pharmacology-based Analysis on the Molecular Biological Mechanisms of Xin Hui Tong Formula in Coronary Heart Disease Treatment by Wu Hua-Ying, Zhang Chen, Wang Zhao-Hua, Zhang Shi-Ying, Li Jing, Li Feng, Huang Hui-Yong, Li Liang

Connect to this object online.

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

Examining social-cognitive theory constructs as mediators of behaviour change in the active team smartphone physical activity program: a mediation analysis by Amelia V. Romeo, Sarah M. Edney, Ronald C. Plotnikoff, Tim Olds, Corneel Vandelanotte, Jillian Ryan, Rachel Curtis, Carol A. Maher

Connect to this object online.

CyberParks - The Interface Between People, Places and Technology New Approaches and Perspectives

DOAB: download the publication
DOAB: description of the publication

CyberParks - The Interface Between People, Places and Technology New Approaches and Perspectives

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

Healthcare social network research and the ECHO model™: Exploring a community of practice to support cultural brokers and transfer cultural knowledge by Phil Nixon, Chiara Broccatelli, Perrin Moss, Sarah Baggio, Angela Young, Dana Newcomb

Connect to this object online.

Electronic Voting 8th International Joint Conference, E-Vote-ID 2023, Luxembourg City, Luxembourg, October 3-6, 2023, Proceedings

DOAB: download the publication
DOAB: description of the publication