Search results for " Software"

showing 10 items of 1178 documents

General Concepts in Metaheuristic Search

2017

Metaheuristics have become a very popular family of solution methods for optimization problems because they are capable of finding “acceptable” solutions in a “reasonable” amount of time. Most optimization problems in practice are too complex to be approached by exact methods that can guarantee finding global optimal solutions. The time required to find and verify globally optimal solutions is impractical in most applications. An entire computational theory, which we will not discussed here, has been developed around problem complexity. It suffices to say that it is now known that the great majority of the optimization problems found in practice fall within a category that makes them “compu…

Mathematical optimizationOptimization problemComputer scienceTheory of computationSearch-based software engineeringGuided Local SearchMetaheuristicTabu searchParallel metaheuristicScheduling (computing)
researchProduct

A Projected Algebraic Multigrid Method for Linear Complementarity Problems

2011

We present an algebraic version of an iterative multigrid method for obstacle problems, called projected algebraic multigrid (PAMG) here. We show that classical AMG algorithms can easily be extended to deal with this kind of problem. This paves the way for efficient multigrid solution of obstacle problems with partial differential equations arising, for example, in financial engineering.

Mathematical optimizationPartial differential equationIterative methodMathematicsofComputing_NUMERICALANALYSISComputer Science::Numerical AnalysisLinear complementarity problemMathematics::Numerical AnalysisFinancial engineeringMultigrid methodObstacleComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATIONObstacle problemComputer Science::Mathematical SoftwareApplied mathematicsAlgebraic numberMathematicsSSRN Electronic Journal
researchProduct

Context-Independent Scatter and Tabu Search for Permutation Problems

2005

In this paper, we develop a general-purpose heuristic for permutations problems. The procedure is based on the scatter-search and tabu-search methodologies and treats the objective-function evaluation as a black box, making the search algorithm context-independent. Therefore, our main contribution consists of the development and testing of a procedure that uses no knowledge from the problem context to search for the optimal solution. We perform computational experiments with four well-known permutation problems to study the efficiency and effectiveness of the proposed method. These experiments include a comparison with two commercially available software packages that are also based on met…

Mathematical optimizationTheoretical computer scienceComputer sciencebusiness.industrySearch-based software engineeringGeneral EngineeringBest-first searchTabu searchBeam searchLocal search (optimization)Guided Local SearchbusinessHill climbingMetaheuristicINFORMS Journal on Computing
researchProduct

Using the witness method to detect rigid subsystems of geometric constraints in CAD

2010

International audience; This paper deals with the resolution of geometric constraint systems encountered in CAD-CAM. The main results are that the witness method can be used to detect that a constraint system is over-constrained and that the computation of the maximal rigid subsystems of a system leads to a powerful decomposition method. In a first step, we recall the theoretical framework of the witness method in geometric constraint solving and extend this method to generate a witness. We show then that it can be used to incrementally detect over-constrainedness. We give an algorithm to efficiently identify all maximal rigid parts of a geometric constraint system. We introduce the algorit…

Mathematical optimization[ INFO.INFO-MO ] Computer Science [cs]/Modeling and Simulationrigidity theorygeometric constraints solvingComputation020207 software engineeringCADJacobian matrix02 engineering and technologyW-decompositionwitness configuration16. Peace & justiceWitness[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulationsymbols.namesakeJacobian matrix and determinant0202 electrical engineering electronic engineering information engineeringsymbols020201 artificial intelligence & image processingRigidity theoryAlgorithmAlgorithmsMathematics
researchProduct

Conformal equivalence of visual metrics in pseudoconvex domains

2017

We refine estimates introduced by Balogh and Bonk, to show that the boundary extensions of isometries between smooth strongly pseudoconvex domains in $\C^n$ are conformal with respect to the sub-Riemannian metric induced by the Levi form. As a corollary we obtain an alternative proof of a result of Fefferman on smooth extensions of biholomorphic mappings between pseudoconvex domains. The proofs are inspired by Mostow's proof of his rigidity theorem and are based on the asymptotic hyperbolic character of the Kobayashi or Bergman metrics and on the Bonk-Schramm hyperbolic fillings.

Mathematics - Differential GeometryComputer Science::Machine LearningPure mathematicsGeneral Mathematics32T15 32Q45 32H40 53C23 53C17Rigidity (psychology)Conformal mapMathematical proofComputer Science::Digital Libraries01 natural sciencesdifferentiaaligeometriaStatistics::Machine LearningCorollaryMathematics - Metric Geometry0103 physical sciencesFOS: MathematicsMathematics::Metric GeometryComplex Variables (math.CV)0101 mathematicsEquivalence (formal languages)kompleksifunktiotMathematicsMathematics - Complex VariablesMathematics::Complex Variables010102 general mathematicsMetric Geometry (math.MG)16. Peace & justiceDifferential Geometry (math.DG)Bounded functionComputer Science::Mathematical Software010307 mathematical physicsMathematische Annalen
researchProduct

Due Diligence Matrix for Main User Groups of Financial Analysis

2014

Abstract Today the financial analysis indicators of an enterprise are topical for both internal and external users of an enterprise. Unfortunately, often to analyze the financial status of an enterprise and to identify the potential of an enterprise, it is not enough to have customary financial analysis indicators. In this paper, the data of the research that was conducted by the end of the year 2013 has been used. 1935 respondents took part in the survey – representatives of the leading business sectors in Latvia and representatives of the large and medium-sized enterprises. In the research, the authors have applied quantitative and qualitative methods of economics such as the mathematical…

Matrixbusiness.industryMatrix (music)Enterprise valuefinancial analysis.AccountingDue diligenceUser groupBusiness sectorFinancial analysisEconomicsGeneral Materials ScienceMarketingbusinessdue diligenceQualitative researchEnterprise softwareProcedia - Social and Behavioral Sciences
researchProduct

Towards farm-level health management of offshore wind farms for maintenance improvements

2015

This paper studies a conceptual architecture for health management of offshore wind farms. To this aim, various necessary enablers of a health management sys- tem are presented to improve reliability and availability while optimizing maintenance costs. The main focus lies on improving existing condition monitoring systems based on concepts of condition-based maintenance and relia- bility centered maintenance. A brief review of the rel- evant state-of-the-art is presented and gaps to be filled towards realization of such health management system are discussed.

Media managementEngineeringHealth management systemOperations researchbusiness.industryMaintenance020209 energyMechanical EngineeringCondition monitoringComputer Science Applications1707 Computer Vision and Pattern Recognition02 engineering and technologyConceptual architectureOffshore wind farmIndustrial and Manufacturing EngineeringComputer Science ApplicationsOffshore wind powerRisk analysis (engineering)Farm levelHealth management; Maintenance; Offshore wind farm; Control and Systems Engineering; Software; Mechanical Engineering; Computer Science Applications1707 Computer Vision and Pattern Recognition; Industrial and Manufacturing EngineeringHealth managementControl and Systems Engineering0202 electrical engineering electronic engineering information engineeringbusinessReliability (statistics)Software
researchProduct

An Empirical Study on Female Participation in Software Project Courses

2019

Gender issues in software engineering education are gaining research attention due to the desire to promote female participation in the field. The objective of this work is to enhance the understanding of female students' participation in software engineering projects to support gender-aware course optimization. Since 2015, we have investigated the participation of female students in terms of software engineering activities and team dynamics in a software project course that involves a real customer. We found that female students are more active with project management and requirement engineering, while they remain under-represented in highly complex or specific tasks, i.e. architecture wor…

Medical educationComputingMilieux_THECOMPUTINGPROFESSIONRequirements engineeringbusiness.industrySignificant difference020207 software engineering02 engineering and technologyEmpirical researchSoftwareWork (electrical)User experience design020204 information systemsComputingMilieux_COMPUTERSANDEDUCATION0202 electrical engineering electronic engineering information engineeringArchitectureProject managementbusinessPsychology2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)
researchProduct

Design, Implementation and Students' Emotional Assessment of a Software for the Learning of Rational Numbers through Music Metaphors in Chilean Prima…

2019

Using sound and music as a metaphor to approach curricular mathematical contents in Primary Education seems an interesting field that deserves some research. Both music and sound can synergically act as scaffolding for learning, intervening as part of situated knowledge, and they could offer a new perspective for learning mathematics at schools, giving pupils opportunities to develop their own mental representations. Also, the incorporation of an affective/emotional analysis, as criteria for evaluation, seems pertinent and complementary to other criteria in the production of multimedia material with educational purposes both in formal and non-formal domains of education. These are the inten…

Metaphormedia_common.quotation_subject05 social sciencesPrimary educationExploratory researchcomputer.software_genre050105 experimental psychologySession (web analytics)EducationTest (assessment)SituatedMathematics education0501 psychology and cognitive sciencesSocial exclusioncomputer050104 developmental & child psychologymedia_commonEducational softwareMúsica Ensenyament
researchProduct

Influence of temperature on the calibration curves in IRMA for neuron specific enolase and its physicochemical interpretation

2009

Abstract Background immunoradiometric assay (IRMA) is one of the principal methods used for the analytical determination of neuron specific enolase (NSE) concentration. We studied the influence of temperature on the calibration curves obtained by this method, and a physicochemical justification based on two theoretical models is proposed. Material and methods we used a commercially available RIA kit for NSE and a gamma counter. Data was analysed using Statistical software. Results and discussion activity bound to the antibody increases with temperature, producing results that are consistent with two modifications to the four parameter and Langmuir equations. Conclusions the two models used …

Microbiology (medical)Immunoradiometric assayLangmuirCalibration curvebusiness.industryImmunologyEnolaseTheoretical modelsInterpretation (model theory)Immunology and AllergyMedicineBiological systembusinessStatistical softwareGamma counterRevista Española de Medicina Nuclear (English Edition)
researchProduct