Search results for "binary"

showing 10 items of 833 documents

CLEASE: a versatile and user-friendly implementation of cluster expansion method

2018

Materials exhibiting a substitutional disorder such as multicomponent alloys and mixed metal oxides/oxyfluorides are of great importance in many scientific and technological sectors. Disordered materials constitute an overwhelmingly large configurational space, which makes it practically impossible to be explored manually using first-principles calculations such as density functional theory due to the high computational costs. Consequently, the use of methods such as cluster expansion (CE) is vital in enhancing our understanding of the disordered materials. CE dramatically reduces the computational cost by mapping the first-principles calculation results on to a Hamiltonian which is much fa…

Materials sciencetilastomenetelmätFOS: Physical sciencesBinary number02 engineering and technology114 Physical sciences01 natural sciencesComputational sciencesymbols.namesake0103 physical sciencesAlloysbattery materialGeneral Materials Sciencemetalliseoksetmateriaalitiede010306 general physicsMonte CarloCondensed Matter - Materials ScienceUser FriendlyMixed metalMaterials Science (cond-mat.mtrl-sci)disordered materials021001 nanoscience & nanotechnologyCondensed Matter Physicscluster expansionComplex materialsMonte Carlo -menetelmätRegularization (physics)symbolsDensity functional theory0210 nano-technologyHamiltonian (quantum mechanics)Cluster expansionJournal of Physics: Condensed Matter
researchProduct

Skeletizing 3D-Objects by Projections

2004

Skeletization is used to simplify an object and to give an idea of the global shape of an object. This paper concerns the continuous domain. While many methods already exist, they are mostly applied in 2D-space. We present a new method to skeletize the polygonal approximation of a 3D-object, based on projections and 2D-skeletization from binary trees.

Mathematical optimizationBinary treeDelaunay triangulationPolygonal chainSpace (commercial competition)Object (computer science)AlgorithmMathematicsDomain (software engineering)
researchProduct

Algorithms for Rational Discrete Least Squares Approximation Part I: Unconstrained Optimization

1976

In this paper a modification of L. Wittmeyer’s method ([1], [14]) for rational discrete least squares approximation is given which corrects for its failure to converge to a non-optimal point in general. The modification makes necessary very little additional computing effort only. It is analysed thoroughly with respect to its conditions for convergence and its numerical properties. A suitable implementation is shown to be benign in the sense of F. L. Bauer [2]. The algorithm has proven successful even in adverse situations.

Mathematical optimizationComputer scienceNon-linear least squaresDiscrete optimizationConvergence (routing)Point (geometry)Quadratic unconstrained binary optimizationUnconstrained optimizationTotal least squaresAlgorithmLeast squares
researchProduct

Team Theory and Person-by-Person Optimization with Binary Decisions

2012

In this paper, we extend the notion of person-by-person (pbp) optimization to binary decision spaces. The novelty of our approach is the adaptation to a dynamic team context of notions borrowed from the pseudo-boolean optimization field as completely local-global or unimodal functions and submodularity. We also generalize the concept of pbp optimization to the case where groups of $m$ decisions makers make joint decisions sequentially, which we refer to as $m$b$m$ optimization. The main contribution is a description of sufficient conditions, verifiable in polynomial time, under which a pbp or an $m$b$m$ optimization algorithm converges to the team-optimum. As a second contribution, we prese…

Mathematical optimizationControl and Optimizationcontrol optimizationBinary decision diagramApplied MathematicsTeam Theory; Person-by-Person Optimization; Pseudo-Boolean OptimizationApproximation algorithmState vectorTeam TheoryPerson-by-Person OptimizationSubmodular set functionVector optimizationPseudo-Boolean OptimizationComplete informationSettore MAT/09 - Ricerca OperativaGreedy algorithmTime complexityMathematicsSIAM Journal on Control and Optimization
researchProduct

Solving a continuous periodic review inventory-location allocation problem in vendor-buyer supply chain under uncertainty

2019

In this work, a mixed-integer binary non-linear two-echelon inventory problem is formulated for a vendor-buyer supply chain network in which lead times are constant and the demands of buyers follow a normal distribution. In this formulation, the problem is a combination of an (r, Q) and periodic review policies based on which an order of size Q is placed by a buyer in each fixed period once his/her on hand inventory reaches the reorder point r in that period. The constraints are the vendors’ warehouse spaces, production restrictions, and total budget. The aim is to find the optimal order quantities of the buyers placed for each vendor in each period alongside the optimal placement of the ve…

Mathematical optimizationGeneral Computer ScienceComputer scienceVendorSupply chain0211 other engineering and technologies02 engineering and technologyTaguchi methodstoimitusketjutgeneettiset algorithmitinventory-location allocation problemGenetic algorithmgenetic algorithm0202 electrical engineering electronic engineering information engineeringta113021103 operations researchFitness functionta111General EngineeringParticle swarm optimizationmixed-integer binary non-linear programmingReorder pointstochastic demandstwo-echelon supply chain020201 artificial intelligence & image processingLocation-allocationSupply chain networkComputers & Industrial Engineering
researchProduct

An Island Strategy for Memetic Discrete Tomography Reconstruction

2014

In this paper we present a parallel island model memetic algorithm for binary discrete tomography reconstruction that uses only four projections without any further a priori information. The underlying combination strategy consists in separated populations of agents that evolve by means of different processes. Agents progress towards a possible solution by using genetic operators, switch and a particular compactness operator. A guided migration scheme is applied to select suitable migrants by considering both their own and their sub-population fitness. That is, from time to time, we allow some individuals to transfer to different subpopulations. The benefits of this paradigm were tested in …

Mathematical optimizationInformation Systems and ManagementCorrectnessSettore INF/01 - InformaticaComputationMigration strategyBinary numberIterative reconstructionMemetic island modelNoisy projectionStability problemComputer Science ApplicationsTheoretical Computer ScienceOperator (computer programming)Artificial IntelligenceControl and Systems EngineeringImage reconstructionA priori and a posterioriMemetic algorithmAlgorithmDiscrete tomographySoftwareParallel discrete tomographyMathematics
researchProduct

An experimental study of the stability problem in discrete tomography

2003

This paper introduces the topic of discrete tomography, briefly showing its main applications, algorithms and new prospects of research. It focuses on the still open problem of stability, facing it from an experimental point of view. In particular an extensive simulation lets verify the robustness of a well known reconstruction technique for binary convex objects, calculating the probability of finding solutions compatible with a given set of noisy projections. © 2005 Elsevier Ltd. All rights reserved.

Mathematical optimizationSettore INF/01 - InformaticaOpen problemApplied MathematicsRegular polygonBinary numberConvex reconstructionDiscrete tomographyStability problemRobustness (computer science)Discrete Mathematics and CombinatoricsDiscrete tomographyDiscrete Mathematics and CombinatoricMathematics
researchProduct

A Memetic Algorithm for Binary Image Reconstruction

2008

This paper deals with a memetic algorithm for the reconstruction of binary images, by using their projections along four directions. The algorithm generates by network flows a set of initial images according to two of the input projections and lets them evolve toward a solution that can be optimal or close to the optimum. Switch and compactness operators improve the quality of the reconstructed images which belong to a given generation, while the selection of the best image addresses the evolution to an optimal output.

Mathematical optimizationSettore INF/01 - InformaticaQuadratic assignment problemBinary imageComputingMethodologies_IMAGEPROCESSINGANDCOMPUTERVISIONMemetic algorithmtomografy reconstructionFlow networkImage (mathematics)Set (abstract data type)Compact spaceMemetic algorithmAlgorithmSelection (genetic algorithm)Mathematics
researchProduct

A hybrid genetic algorithm with local search: I. Discrete variables: optimisation of complementary mobile phases

2001

Abstract A hybrid genetic algorithm was developed for a combinatorial optimisation problem. The assayed hybridation modifies the reproduction pattern of the genetic algorithm through the application of a local search method, which enhances each individual in each generation. The method is applied to the optimisation of the mobile phase composition in liquid chromatography, using two or more mobile phases of complementary behaviour. Each of these phases concerns the optimal separation of certain compounds in the analysed mixture, while the others can remain overlapped. This optimisation approach may be useful in situations where full resolution with a single mobile phase is unfeasible. The o…

Mathematical optimizationbusiness.industryProcess Chemistry and TechnologyComputationBinary numberResolution (logic)Computer Science ApplicationsAnalytical ChemistryEncoding (memory)Genetic algorithmMemetic algorithmCombinatorial searchLocal search (optimization)businessAlgorithmSpectroscopySoftwareMathematicsChemometrics and Intelligent Laboratory Systems
researchProduct

Integral binary Hamiltonian forms and their waterworlds

2018

We give a graphical theory of integral indefinite binary Hamiltonian forms $f$ analogous to the one by Conway for binary quadratic forms and the one of Bestvina-Savin for binary Hermitian forms. Given a maximal order $\mathcal O$ in a definite quaternion algebra over $\mathbb Q$, we define the waterworld of $f$, analogous to Conway's river and Bestvina-Savin's ocean, and use it to give a combinatorial description of the values of $f$ on $\mathcal O\times\mathcal O$. We use an appropriate normalisation of Busemann distances to the cusps (with an algebraic description given in an independent appendix), and the $\operatorname{SL}_2(\mathcal O)$-equivariant Ford-Voronoi cellulation of the real …

Mathematics - Differential GeometryPure mathematicsBinary number01 natural sciences[MATH.MATH-GR]Mathematics [math]/Group Theory [math.GR]waterworlddifferentiaaligeometriamaximal orderhyperbolic 5-space0103 physical sciences0101 mathematicsAlgebraic numberreduction theoryMathematicslukuteoriaMathematics - Number TheoryQuaternion algebra010102 general mathematicsHamilton-Bianchi groupryhmäteoriaOrder (ring theory)Mathematics::Geometric TopologyHermitian matrix[MATH.MATH-NT]Mathematics [math]/Number Theory [math.NT][MATH.MATH-DG]Mathematics [math]/Differential Geometry [math.DG]Binary quadratic form010307 mathematical physicsGeometry and Topologyrational quaternion algebraMathematics - Group Theorybinary Hamiltonian formHamiltonian (control theory)Conformal Geometry and Dynamics of the American Mathematical Society
researchProduct