• CFTs4D

  • Referenced in 29 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 52 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 46 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...
  • Proviola

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

  • Referenced in 27 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...
  • 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...
  • 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...
  • PRED-CLASS

  • Referenced in 5 articles [sw26873]
  • annotation of genomic open reading frames with no functional assignment or as a preliminary step ... fold recognition and ab initio structure prediction methods. Detailed results obtained for various data sets...
  • StSNP

  • Referenced in 3 articles [sw30039]
  • protein structures with linkage to metabolic pathways. SNPs located within the open reading frame ... information from multiple heterogeneous sources including sequence, structure data and pathway relations between proteins...
  • Objlog+

  • Referenced in 2 articles [sw06919]
  • representing every facet by means of a frame which contains its properties as well ... structure of this facet automatically at the moment one of its occurrences within a frame...
  • SECUSIM

  • Referenced in 3 articles [sw01404]
  • Entity Structure / Model Base) framework, DEVS (Discrete Event System Specification) formalism, and experimental frame. SECUSIM...