
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 semirigid 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 onedimensional 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 ... loadcarrying 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 generalpurpose 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 postanalysis...

PyFLOSIC
 Referenced in 1 article
[sw33445]
 Python simulation of chemistry framework (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 wellunderstood mathematical structures. The new perspective not only allows ... insights. We propose a model for framing in the context of theory graphs, and show...

PREDCLASS
 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...