Sustainable Structures and Buildings

Subjects: Link to Metadata

Sliding Base Structures Analysis and Design / by Hu, Hong-Song

Table of Contents: “…Introduction to Sliding Base Structures -- Responses of Two-Degree-of-Freedom Sliding Base Systems -- Peak Superstructure Responses of Sliding Base Structures -- Peak Sliding Displacements of Sliding Base Structures. .…”
Link to Metadata

Collapsing Structures and Public Mismanagement by Seibel, Wolfgang

Link to Metadata

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: 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: 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

Simplex Society How to Humanize / by Stroeken, Koen

Subjects: Link to Metadata

Structural Health Monitoring Damage Detection Systems for Aerospace

Link to Metadata

Ship and Offshore Structure Design in Climate Change Perspective by Bitner-Gregersen, Elzbieta Maria, Eide, Lars Ingolf, Hørte, Torfinn, Skjong, Rolf

Table of Contents: “…Changes in the Average Values and Extremes -- 5.2 .Uncertainties -- 6.Potential Impact on Design of Marine Structures -- 6.1. Met-ocean Design Bases -- 6.2.Risk-based Approach -- 6.3.Illustration of Application -- 7.Conclusions and Recommendations.…”
Link to Metadata

Microfinance, EU Structural Funds and Capacity Building for Managing Authorities A Comparative Analysis of European Convergence Regions / by Porretta, Pasqualina, Pes, Giovanni

Link to Metadata

Partial Least Squares Structural Equation Modeling (PLS-SEM) Using R A Workbook / by Hair Jr., Joseph F., Hult, G. Tomas M., Ringle, Christian M., Sarstedt, Marko, Danks, Nicholas P., Ray, Soumya

Table of Contents: “…An Introduction to Structural Equation Modeling -- Introduction to R and RStudio -- Introduction to SEMinR -- Evaluation of Reflective Measurement Models -- Evaluation of Formative Measurement Models -- Evaluation of the Structural Model -- Mediation Analysis -- Moderation Analysis.…”
Link to Metadata

The Plaston Concept Plastic Deformation in Structural Materials /

Table of Contents: “…Design and development of high performance structural materials -- 12. Development of bulk nanostructured steels -- 13. …”
Link to Metadata

Molecules in Superfluid Helium Nanodroplets Spectroscopy, Structure, and Dynamics /

Table of Contents: “…Coulomb Explosion Imaging of Small Clusters of Helium (Maxim Kunitski) -- Mass Spectroscopy of Pure and Doped Droplets (Paul Scheier) -- Infra-red Spectroscopy (Gary Douberly) -- Electronic Spectroscopy (Alkwin Slenczka) -- Spectroscopy of Biomolecules (Gert von Helden and Eike Mucha) -- X-Ray Imaging of Droplets (Thomas Möller) -- Structure of Biomolecules in Droplets (Wei Kong) -- Alignment of Molecules in Helium Droplets (Henrik Stapelfeldt) -- . …”
Link to Metadata