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

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 twoframe 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 nonEuclidean 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 postanalysis...

SWIFT
 Referenced in 5 articles
[sw41136]
 comoving frame; equations of state of darkenergy evolve with scalefactor. The structure...

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