Search Results - Relational Network Theory

From Matrices to Knowledge: Using Semantic Networks to Annotate the Connectome by Sebastian J. Kopetzky, Markus Butz-Ostendorf

Connect to this object online.

Neuronal Stochastic Variability: Influences on Spiking Dynamics and Network Activity by Benjamin Lindner

DOAB: download the publication
DOAB: description of the publication

Network Patterns of Herbal Combinations in Traditional Chinese Clinical Prescriptions by Ning Wang, Ninglin Du, Yonghong Peng, Kuo Yang, Zixin Shu, Kai Chang, Di Wu, Di Wu, Jian Yu, Caiyan Jia, Yana Zhou, Xiaodong Li, Baoyan Liu, Zhuye Gao, Zhuye Gao, Runshun Zhang, Runshun Zhang, Xuezhong Zhou

Connect to this object online.

Industrielle Datenanalyse Entwicklung einer Datenanalyse-Plattform für die wertschaffende, kompetenzorientierte Kollaboration in dynamischen Wertschöpfungsnetzwerken /

Link to Metadata

Programming Languages and Systems 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022,...

Link to Metadata

Changes in a sensorimotor network, occipital network, and psychomotor speed within three months after focal surgical injury in pediatric patients with intracranial space-occupying... by Xue-Yi Guan, Wen-Jian Zheng, Kai-Yu Fan, Xu Han, Xiang Li, Zi-Han Yan, Zheng Lu, Jian Gong

Connect to this object online.

How to set the agenda for hepatitis C: a theory-driven policy analysis by Julia Kind, Bettina Maeschli, Philip Bruggmann

Connect to this object online.

Assessing Smart Glasses-based Foodservice Training: An Embodied Learning Theory Approach by Jeffrey Clark, Philip G. Crandall, Robert Pellegrino, Jessica Shabatura

Connect to this object online.

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

The influence of corporate governance on relational capital disclosure among high growth technology companies / Norman Mohd Saleh and Saiful Bakhtiar Masduki by Mohd Saleh, Norman, Masduki, Saiful Bakhtiar

Link Metadata

Between Social and Semantic Networks: A Case Study on Classroom Complexity by Ernani Rodrigues, Maurício Pietrocola

Connect to this object online.

Classrooms as Communities of Practice: Designing and Facilitating Learning in a Networked Environment by Naim Kapucu, Seda Erkoç

Connect to this object online.

Why students use social networks for education: Extension of UTAUT2 by Ala'a Abu Gharrah, Ali Aljaafreh

Connect to this object online.

Inclusion processes for persons with intellectual disability through multiple negotiation networks by Natascia Curto, Cecilia Maria Marchisio

Connect to this object online.

Algorithms for Big Data DFG Priority Program 1736 /

Link to Metadata

Industrial Robotics Theory, Modelling and Control

DOAB: download the publication
DOAB: description of the publication

Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Link to Metadata

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

Link to Metadata

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

Link to Metadata

Female Managers' Experiences of Work-family Enrichment Realization: A Grounded Theory Study by Sara Makipour, Abdollah Shafiabady, Mohammad Reza Falsafinejad, Anahita Khodabakhshi-koolaee

Connect to this object online.