Search Results - "Structuralism"

Heuristics Hindering the Development of Understanding of Molecular Structures in University Level Chemistry Education: The Lewis Structure as an Example by Maarit Karonen, Mari Murtonen, Ilona Södervik, Marianna Manninen, Mikko Salomäki

Connect to this object online.

Structural Competency: Curriculum for Medical Students, Residents, and Interprofessional Teams on the Structural Factors That Produce Health Disparities by Joshua Neff, Seth M. Holmes, Kelly R. Knight, Shirley Strong, Ariana Thompson-Lastad, Cara McGuinness, Laura Duncan, Nimish Saxena, Michael J. Harvey, Alice Langford, Katiana L. Carey-Simms, Sara N. Minahan, Shannon Satterwhite, Caitlin Ruppel, Sonia Lee, Lillian Walkover, Jorge De Avila, Brett Lewis, Jenifer Matthews, Nicholas Nelson

Connect to this object online.

Agency theory, ownership structure and capital structure: an empirical investigation in the Indian automobile industry / Vibha Tripathi by Tripathi, Vibha

Link Metadata

Stealing the Club from Hercules On Imitation in Latin Poetry by Conte, Gian Biagio

Subjects: “…Structuralism…”
DOAB: download the publication
DOAB: description of the publication

Stealing the Club from Hercules On Imitation in Latin Poetry by Conte, Gian Biagio

Subjects: “…Structuralism…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings /

Table of Contents: “…Universal Graphs and Good for Small Games Automata: New Tools for Infinite Duration Games -- Resource-Tracking Concurrent Games -- Change Actions: Models of Generalised Differentiation -- Coalgebra Learning via Duality -- Tight Worst-Case Bounds for Polynomial Loop Programs -- A Complete Normal-Form Bisimilarity for State -- Identifiers in Registers - Describing Network Algorithms with Logic -- The Impatient May Use Limited Optimism to Minimize Regret -- Causality in Linear Logic: Full Completeness and Injectivity (Unit-Free Multiplicative-Additive Fragment) -- Rewriting Abstract Structures: Materialization Explained Categorically -- Two-Way Parikh Automata with a Visibly Pushdown Stack -- Kleene Algebra with Hypotheses -- Trees in Partial Higher Dimensional Automata -- The Bernays-Schoenfinkel-Ramsey Class of Separation Logic on Arbitrary Domains -- Continuous Reachability for Unordered Data Petri Nets is in PTime -- Optimal Satisfiability Checking for Arithmetic mu-Calculi -- Constructing Inductive-Inductive Types in Cubical Type Theory -- Causal Inference by String Diagram Surgery -- Higher-Order Distributions for Differential Linear Logic -- Languages Ordered by the Subword Order -- Strong Adequacy and Untyped Full-Abstraction for Probabilistic Coherence Spaces -- A Sound and Complete Logic for Algebraic Effects -- Equational Axiomatization of Algebras with Structure -- Towards a Structural Proof Theory of Probabilistic μ-Calculi -- Partial and Conditional Expectations in Markov Decision Processes with Integer Weights -- Equational Theories and Monads from Polynomial Cayley Representations -- A Dialectica-Like Interpretation of a Linear MSO on Infinite Words -- Deciding Equivalence of Separated Non-Nested Attribute Systems in Polynomial Time -- Justness: A Completeness Criterion for Capturing Liveness Properties -- Path category for Free - Open Morphisms from Coalgebras with Non-Deterministic Branching.…”
Link to Metadata

Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings /

Link to Metadata

Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings /

Table of Contents: “…Constructing a universe for the setoid model -- Nominal Equational Problems -- Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy -- Fixpoint Theory - Upside Down -- "Most of"' leads to undecidability: Failure of adding frequencies to LTL -- Combining Semilattices and Semimodules -- One-way Resynchronizability of Word Transducers -- Fair Refinement for Asynchronous Session Types -- Running Time Analysis of Broadcast Consensus Protocols -- Leafy automata for higher-order concurrency -- Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic -- Generalized Bounded Linear Logic and its Categorical Semantics -- Focused Proof-search in the Logic of Bunched Implications -- Interpolation and Amalgamation for Arrays with MaxDi -- Adjoint Reactive GUI Programming -- On the Expressiveness of Büchi Arithmetic -- Parametricity for Primitive Nested Types -- The Spirit of Node Replication -- Nondeterministic and co-Nondeterministic Implies Deterministic, for Data Languages -- CertifyingInexpressibility -- A General Semantic Construction of Dependent Re nement Type Systems, Categorically -- Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP -- Nondeterministic Syntactic Complexity -- A String Diagrammatic Axiomatisation of Finite-State Automata -- Work-sensitive Dynamic Complexity of Formal Languages -- Learning Pomset Automata -- The Structure of Sum-Over-Paths, its Consequences, and Completeness for Clifford -- A Quantified Coalgebraic van Benthem Theorem.…”
Link to Metadata

Graph Structures for Knowledge Representation and Reasoning 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers /

Table of Contents: “…Extended Workshop Papers -- Active Semantic Relations in Layered Enterprise Architecture Development -- A Belief Update System Using an Event Model for Location of People in a Smart Home -- A Natural Language Generation Technique for Automated Psychotherapy -- Creative Composition Problem: A Knowledge Graph Logical-based AI Construction and Optimization Solution -- Set Visualisations with Euler and Hasse Diagrams -- Usage Patterns Identification Using Graphs and Machine Learning -- Collaborative Design and Manufacture: Information Structures for Team Formation and Coordination -- Invited Additional Contributions -- Approximate Knowledge Graph Query Answering: From Ranking to Binary Classification -- Galois Connections for Patterns: An Algebra of Labelled Graphs.…”
Link to Metadata

Foundations of Software Science and Computation Structures 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings /

Subjects: “…Data structures (Computer science).…”
Link to Metadata

Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings /

Link to Metadata

Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018....

Link to Metadata

Adhesive Bonding of Aircraft Composite Structures Non-destructive Testing and Quality Assurance Concepts /

Subjects: “…Structural Materials.…”
Link to Metadata

Advances in Frontier Research on Engineering Structures

Table of Contents: “…Chapter 1. 1. Structural Engineering and Engineering Mechanics Simulation -- Chapter 2. 2. …”
Link to Metadata

Strand Corrosion in Prestressed Concrete Structures by Wang, Lei

Table of Contents: “…Introduction -- Effect of corrosion on mechanical behaviors of prestressing strands -- Corrosion-induced cracking of prestressed concrete -- Effect of corrosion-induced crack on the bond between strand and concrete -- Bond-slip model of corroded strand considering rotation effect -- Prestress loss and transfer length prediction in pretensioned concrete structures with corrosive cracking -- Secondary anchorage and prestress loss of fractured strand in PT beams -- Flexural behaviors of corroded posttensioned concrete beams -- Bearing capacity prediction of corroded PC beams incorporating grouting defects and bond degradation.…”
Link to Metadata

An Open Guide to Data Structures and Algorithms by Bible, Paul W., Moser, Lucas

Access online version

Vibration Control and Structure Health Monitoring

Subjects: “…structural health monitoring…”
DOAB: download the publication
DOAB: description of the publication

Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

DOAB: download the publication
DOAB: description of the publication

Fatigue and Fracture Mechanics of Marine Structures

Subjects: “…fatigue and fracture of welded joints in ships and offshore structures…”
DOAB: download the publication
DOAB: description of the publication

Mechanics and Analysis of Advanced Materials and Structures

DOAB: download the publication
DOAB: description of the publication