Search results for "CONSTRUCTION"

showing 10 items of 2670 documents

Rapid construction of algebraic axioms from samples

1991

Abstract An axiom is called reliable if it is confirmed in several places in a given sample of algebra. A very effective algorithm for enumerating such axioms is described.

General Computer ScienceTheorySample (material)Theoretical Computer ScienceSeparation axiomAlgebraAxiom of extensionalityMathematics::LogicConstruction of the real numbersTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESTheoryofComputation_LOGICSANDMEANINGSOFPROGRAMSComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATIONCalculusReverse mathematicsAlgebraic numberAxiomComputer Science(all)MathematicsTheoretical Computer Science
researchProduct

An efficient method for fully automatic 3D digitization of unknown objects

2013

Our goal is to develop a complete and automatic scanning strategy with minimum prior information about the object shape. We aim to establish a methodology for the automation of the 3D digitization process. The paper presents a novel approach to determine the Next Best View (NBV) for an efficient reconstruction of highly accurate 3D models. Our method is based on the classification of the acquired surfaces into Well Visible and Barely Visible combined with a best view selection algorithm based on mean shift, which avoids unreachable positions. Our approach is applicable to all kinds of range sensors. To prove the efficiency and the robustness of our method, test objects are first scanned man…

General Computer Sciencebusiness.industryComputer science3D reconstructionGeneral Engineering[INFO.INFO-CV]Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV]020207 software engineeringRanging02 engineering and technology[ INFO.INFO-CV ] Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV]Automation[INFO.INFO-CV] Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV]Robustness (computer science)Fully automatic0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processingComputer visionMean-shiftArtificial intelligencebusinessSelection algorithmDigitization
researchProduct

Weak separation condition, Assouad dimension, and Furstenberg homogeneity

2015

We consider dimensional properties of limit sets of Moran constructions satisfying the finite clustering property. Just to name a few, such limit sets include self-conformal sets satisfying the weak separation condition and certain sub-self-affine sets. In addition to dimension results for the limit set, we manage to express the Assouad dimension of any closed subset of a self-conformal set by means of the Hausdorff dimension. As an interesting consequence of this, we show that a Furstenberg homogeneous self-similar set in the real line satisfies the weak separation condition. We also exhibit a self-similar set which satisfies the open set condition but fails to be Furstenberg homogeneous.

General MathematicsHomogeneity (statistics)ta111Open setPrimary 28A80 Secondary 37C45 28D05 28A50Moran constructioniterated function systemSet (abstract data type)CombinatoricsDimension (vector space)dimensionMathematics - Classical Analysis and ODEsweak separation conditionClassical Analysis and ODEs (math.CA)FOS: MathematicsLimit (mathematics)Limit setCluster analysisReal lineMathematics
researchProduct

NUMERICAL ALGORITHMS

2013

For many systems of differential equations modeling problems in science and engineering, there are natural splittings of the right hand side into two parts, one non-stiff or mildly stiff, and the other one stiff. For such systems implicit-explicit (IMEX) integration combines an explicit scheme for the non-stiff part with an implicit scheme for the stiff part. In a recent series of papers two of the authors (Sandu and Zhang) have developed IMEX GLMs, a family of implicit-explicit schemes based on general linear methods. It has been shown that, due to their high stage order, IMEX GLMs require no additional coupling order conditions, and are not marred by order reduction. This work develops a …

General linear methodsMathematical optimizationIMEX methods; general linear methods; error analysis; order conditions; stability analysisIMEX methodsDifferential equationSCHEMESorder conditionsMathematics AppliedExtrapolationStability (learning theory)QUADRATIC STABILITYstability analysisPARABOLIC EQUATIONSSYSTEMSNORDSIECK METHODSFOS: MathematicsApplied mathematicsMathematics - Numerical AnalysisRUNGE-KUTTA METHODSMULTISTEP METHODSerror analysisMathematicsCONSTRUCTIONSeries (mathematics)Applied MathematicsNumerical analysisComputer Science - Numerical AnalysisStability analysisORDEROrder conditionsNumerical Analysis (math.NA)Computer Science::Numerical AnalysisRunge–Kutta methodsGeneral linear methodsError analysisORDINARY DIFFERENTIAL-EQUATIONSOrdinary differential equationgeneral linear methodsMathematics
researchProduct

The use of gerunds and infinitives in perceptive constructions

2016

In this article I compare the use of gerunds with perceptive verbs in Spanish and in Gardenese, a Rhaeto-Romance variety spoken in Northern Italy: perceptive gerunds are used as secondary predicates in Spanish, but as defective TP-complements in Gardenese. Following Rizzi’s (2014) account of parametric variation, I propose that the differences are due to the interplay of three parameters: a [+progressive] feature on Gardenese perception verbs, the pure lexical status of perception verbs in Gardenese and a [+Agreement] feature on Spanish gerunds. The discussion of the parameters involved leads to more general considerations, as a new proposal for the structure of perceptive ECMs in Romance, …

Generative syntax Romance linguistics secondary predication ECM-constructions overt non-finite subjectsECM-constructionsRomance linguisticssecondary predicationovert non-finite subjectsGenerative syntax Romance linguistics secondary predication ECM-constructions overt non-finite subjectsGenerative syntaxSettore L-LIN/01 - Glottologia E Linguistica
researchProduct

Design of the CGAL 3D Spherical Kernel and application to arrangements of circles on a sphere

2009

AbstractThis paper presents a cgal kernel for algorithms manipulating 3D spheres, circles, and circular arcs. The paper makes three contributions. First, the mathematics underlying two non-trivial predicates are presented. Second, the design of the kernel concept is developed, and the connexion between the mathematics and this design is established. In particular, we show how two different frameworks can be combined: one for the general setting, and one dedicated to the case where all the objects handled lie on a reference sphere. Finally, an assessment about the efficacy of the 3D Spherical Kernel is made through the calculation of the exact arrangement of circles on a sphere. On average w…

Generic programmingControl and OptimizationSpheresCurved objectsGeneric programmingConstructionsComputer Science ApplicationsComputational MathematicsGeometric kernelsComputational Theory and MathematicsRobustness (computer science)cgalSPHERESGeometry and TopologyRobustnessAlgorithmPredicatesMathematicsComputational Geometry
researchProduct

Standard vs random dictator games: On the effects of role uncertainty and framing on generosity

2021

This project was conducted while Ernesto Mesa-Vázquez was visiting Universidad Loyola Andalucia. He wants to particularly thank Pablo Brañas-Garza and Diego Jorrat for continued guidance and assessment with the experimental design. Álvaro Núñez-Bermúdez and the faculty members of the Economics and Business Sciences department at the University of Seville were very helpful in providing assistance for running the experiment. The paper has benefited from comments and suggestions provided by Maria Paz Espinosa, Giuseppe Attanassi, José Enrique Vila, Iván Arribas, Marco Faillo, Cristina Borra and participants at the Loyola Behavioral Lab and the Early Career Researchers in Experimental Economics…

GenerosityJocs de rolsEconomics and EconometricsRole uncertaintyPsicologia socialmedia_common.quotation_subjectFraming effectSociologiaFraming effectsFraming (construction)Dictator gamesDictatorComportament col·lectiuDictator gamePsychologyGenerositySocial psychologyFinanceFraming effectmedia_common
researchProduct

An Innovative Structural Dynamic Identification Procedure Combining Time Domain OMA Technique and GA

2022

In this paper an innovative and simple Operational Modal Analysis (OMA) method for structural dynamic identification is proposed. It combines the recently introduced Time Domain–Analytical Signal Method (TD–ASM) with the Genetic Algorithm (GA). Specifically, TD–ASM is firstly employed to estimate a subspace of candidate modal parameters, and then the GA is used to identify the structural parameters minimizing the fitness value returned by an appropriately introduced objective function. Notably, this method can be used to estimate structural parameters even for high damping ratios, and it also allows one to identify the Power Spectral Density (PSD) of the structural excitat…

Genetic AlgorithmPower Spectral Densitystructural dynamic identificationStructural Health MonitoringArchitecturecorrelation functionBuilding and Constructioncorrelation function; Power Spectral Density; Structural Health Monitoring; Hilbert transform; Genetic Algorithm; structural dynamic identification; Operational Modal AnalysisSettore ICAR/08 - Scienza Delle CostruzioniHilbert transformOperational Modal AnalysiCivil and Structural EngineeringBuildings; Volume 12; Issue 7; Pages: 963
researchProduct

Sustainable Infrastructure Projects: Systemic versus Traditional Delivery Models

2021

Sustainability involves multiple environmental, technical, social and economic factors, and such complex analysis requires systemic solutions. Delivery models are key to achieving system benefits and enhancing sustainable development in infrastructure investments. They define the phases of a project, incentive structures, risk sharing and the relationships among the actors in it. They are usually developed early in the project and determine the project dynamics and outcomes. We compared traditional delivery models with systemic ones. We identified and illustrated elements that differ between them through two cases. The contribution is an increased understanding of how systemic infrastructur…

Geography Planning and Development0211 other engineering and technologiesTJ807-83002 engineering and technologyManagement Monitoring Policy and LawTD194-195Renewable energy sources021105 building & construction0502 economics and businessRisk sharingGE1-350business ecosystemdelivery modelSustainable developmentFlexibility (engineering)Environmental effects of industries and plantssystem benefitRenewable Energy Sustainability and the Environment05 social sciencesEnvironmental economicsBusiness ecosystemsustainabilityEnvironmental sciencesVDP::Teknologi: 500flexibilityIncentiveSustainabilityKey (cryptography)Businessinfrastructure project050203 business & managementSustainability
researchProduct

Reliability Analysis of a Controlled Stage-Constructed and Reinforced Embankment on Soft Ground Using 2D and 3D Models

2020

Geosynthetic reinforcement has become a very practical technique to improve geotechnical structure safety. In spite of improved soil behavior, structures are affected by uncertainties related to soil and reinforcement material properties. This paper aims to present a reliability analysis in order to take statistical information (uncertainties) into account in a safety analysis of reinforced embankments. The analysis was used in a case study on a controlled stage-constructed embankment on soft ground in order to investigate its probabilistic stability. Modeling was performed by commercial geotechnical software usage (GeoStudio and RocScience packs, SIGMA/W+SLOPE/W and SLIDE³, respectively) a…

Geography Planning and Development0211 other engineering and technologiessoft ground020101 civil engineering02 engineering and technologyStability (probability)0201 civil engineeringESTRUTURASlcsh:HT165.5-169.9Probabilistic analysis of algorithmsReliability (statistics)Mathematicsembankment021110 strategic defence & security studiesreliabilitybusiness.industryBuilding and ConstructionStructural engineeringgeosyntheticslcsh:City planningsensitivityFirst-order reliability methodUrban StudiesVoid ratiolcsh:TA1-2040GeosyntheticsbusinessMaterial propertieslcsh:Engineering (General). Civil engineering (General)Random variableFrontiers in Built Environment
researchProduct