• CFTs4D

  • Referenced in 32 articles [sw23882]
  • covariant (conformal frame) formalism. We construct their main ingredients (tensor structures and differential operators...
  • FrameNet

  • Referenced in 5 articles [sw01965]
  • basis we take the frame structures of the Berkeley FrameNet II project, which ... structured dictionary to explain the meaning of words from a lexicographic perspective. Our main contribution ... transformation of the FrameNet II frames into the answer set programming paradigm of logic programming...
  • SEMIFEM

  • Referenced in 2 articles [sw19570]
  • presents the reliability analysis of the frame structures with semi-rigid connections. For this purpose ... indexes and probabilities of failure for the structure. The first order reliability method (FORM ... reliability analysis. Two sets of steel framed structures are analyzed; each of four and eight ... determined as the safest structures, while the portal frames are regarded as the most unsafe...
  • BMCA

  • Referenced in 1 article [sw07506]
  • model for creep buckling analysis of framed structures In this work, a one-dimensional beam ... model for buckling analysis of framed structures under large displacement creep regimes is presented ... small. The material of a framed structure is assumed to be homogenous and isotropic...
  • Smallfoot

  • Referenced in 53 articles [sw09787]
  • assertions describe the shapes of data structures rather than their detailed contents, and this allows ... aspects of separation logic, namely: avoidance of frame axioms (which say what a procedure does...
  • FEPACS1

  • Referenced in 1 article [sw01121]
  • nonlinear analysis of reinforced concrete framed structures. This paper presents a computer program FEPACS1 ... finite element analysis of reinforced concrete framed structures. A finite element formulation for reinforcement...
  • BEAM189

  • Referenced in 51 articles [sw07447]
  • inflatable beam theory to model the inflatable structures as a set of inflatable beam elements ... load-carrying characteristics of an inflatable support frame subjected to a compression force. The wrinkling ... ability analytical problems for large scale inflatable structures with complex configuration...
  • INACOF

  • Referenced in 1 article [sw01188]
  • inelastic analysis of reinforced concrete framed structures The paper presents a general-purpose computer program ... inelastic analysis of reinforced concrete frames based on the method of imposed rotations. The program ... capable of calculating the response of the structure to a given loading and also capable...
  • BuildingTcl

  • Referenced in 1 article [sw22750]
  • database for numerical simulation of building frames. Structural materials, sections, elements, models, analyses, loads...
  • DeMoN

  • Referenced in 1 article [sw42656]
  • Monocular Stereo. In this paper we formulate structure from motion as a learning problem ... relative differences. Compared to traditional two-frame structure from motion methods, results are more accurate...
  • Proviola

  • Referenced in 10 articles [sw00737]
  • frame to a third party.\parIn this paper we describe the movie data structure...
  • HIP

  • Referenced in 29 articles [sw09786]
  • inductive predicates used to model complex data structures. Specifications can contain both heap constraints ... fully automatic prover for separation logic with frame inferring capability...
  • rtweet

  • Referenced in 2 articles [sw16136]
  • objects to more user friendly structures, e.g., data frames or lists. Specific consideration is given...
  • PFCNN

  • Referenced in 2 articles [sw41515]
  • Neural Networks on 3D Surfaces Using Parallel Frames. Surface meshes are widely used shape representations ... their non-Euclidean structure. We use parallel frames on surface to define PFCNNs that enable ... that they locally form a flat Euclidean structure, thus enabling recovery of standard convolutions ... efficiently encoded and computed by parallel frame fields. In addition, the lack of canonical axis...
  • IPSEN

  • Referenced in 20 articles [sw02118]
  • IPSEN project is especially to understand, structure, and mechanize the process of developing integrated software ... realization framework consisting of a frame architecture with basic general components and tools for supporting...
  • LASSAP

  • Referenced in 3 articles [sw33234]
  • frame translations on queries and databanks; (iv) structured results allowing easy and powerful post-analysis...
  • SWIFT

  • Referenced in 5 articles [sw41136]
  • comoving frame; equations of state of dark-energy evolve with scale-factor. The structure...
  • PyFLOSIC

  • Referenced in 1 article [sw33445]
  • Python simulation of chemistry frame-work (PySCF) electronic structure and quantum chemistry code. Thanks...
  • PadFEM

  • Referenced in 2 articles [sw20521]
  • meshes. The modular structure based on the idea of programming frames allows an easy extension...
  • SACHS

  • Referenced in 3 articles [sw30464]
  • will look at the mathematical practice of framing, in which an object of interest ... viewed in terms of well-understood mathematical structures. The new perspective not only allows ... insights. We propose a model for framing in the context of theory graphs, and show...