Search results for "Discrete Mathematics"

showing 10 items of 1728 documents

A Dido problem for domains in ?2 with a given inradius

1990

We find which are the simply connected domains in ℝ2 satisfying the Dido condition for a straight shoreline, with a given area A and a fixed inradius ϱ, which minimize the length of the free boundary. There are three different cases according to the values of A and ϱ.

DIDODiscrete mathematicsCombinatoricsDifferential geometryHyperbolic geometrySimply connected spaceBoundary (topology)Geometry and TopologyAlgebraic geometryIncircle and excircles of a triangleProjective geometryMathematicsGeometriae Dedicata
researchProduct

FRIPON: a worldwide network to track incoming meteoroids

2020

Context. Until recently, camera networks designed for monitoring fireballs worldwide were not fully automated, implying that in case of a meteorite fall, the recovery campaign was rarely immediate. This was an important limiting factor as the most fragile - hence precious - meteorites must be recovered rapidly to avoid their alteration. Aims. The Fireball Recovery and InterPlanetary Observation Network (FRIPON) scientific project was designed to overcome this limitation. This network comprises a fully automated camera and radio network deployed over a significant fraction of western Europe and a small fraction of Canada. As of today, it consists of 150 cameras and 25 European radio receiver…

DYNAMICS[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR]MeteorsComputer scienceRadio receiver[INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]Surveys010502 geochemistry & geophysicsTrack (rail transport)01 natural sciencesMeteorites meteors meteoroidslaw.inventionPlanets and planetary system[INFO.INFO-TS]Computer Science [cs]/Signal and Image ProcessingMethods: observationallaw[INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO]meteoroids010303 astronomy & astrophysicsComputingMilieux_MISCELLANEOUSObservational methodsEarth and Planetary Astrophysics (astro-ph.EP)meteoroids -surveys -methods: observational -interplanetary medium[SDU.ASTR]Sciences of the Universe [physics]/Astrophysics [astro-ph]ORIGIN[INFO.INFO-AO]Computer Science [cs]/Computer Arithmeticmeteorites meteors meteoroids – surveys – methods: observational – interplanetary mediumMeteoroidsRECOVERYORBITMeteoriteFully automatedInterplanetary medium; Meteorites meteors meteoroids; Methods: observational; Surveys[INFO.INFO-TI]Computer Science [cs]/Image Processing [eess.IV][INFO.INFO-DC]Computer Science [cs]/Distributed Parallel and Cluster Computing [cs.DC]Astrophysics - Instrumentation and Methods for Astrophysics[SPI.SIGNAL]Engineering Sciences [physics]/Signal and Image processingFLUXReal-time computingfripon[INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]FOS: Physical sciencesContext (language use)CAMERA[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE][SPI.AUTO]Engineering Sciences [physics]/Automatic[SDU.STU.PL]Sciences of the Universe [physics]/Earth Sciences/Planetology0103 physical sciencesFIREBALL NETWORKobservational [Methods]meteorsInstrumentation and Methods for Astrophysics (astro-ph.IM)0105 earth and related environmental sciencesMeteoroidINNISFREE METEORITE[INFO.INFO-CV]Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV]Astronomy and AstrophysicsMETEORITE FALLMeteorites meteors meteoroidCamera networkSpace and Planetary Science[SDU]Sciences of the Universe [physics]Interplanetary spaceflightmeteroids trackingmeteoroids - surveys - methods: observationalSYSTEMInterplanetary mediumAstrophysics - Earth and Planetary AstrophysicsMeteorites
researchProduct

New results for finding common neighborhoods in massive graphs in the data stream model

2008

AbstractWe consider the problem of finding pairs of vertices that share large common neighborhoods in massive graphs. We give lower bounds for randomized, two-sided error algorithms that solve this problem in the data-stream model of computation. Our results correct and improve those of Buchsbaum, Giancarlo, and Westbrook [On finding common neighborhoods in massive graphs, Theoretical Computer Science, 299 (1–3) 707–718 (2004)]

Data streamDiscrete mathematicsGeneral Computer ScienceExtremal graph theorySpace lower boundsModel of computationCommunication complexityGraph theoryUpper and lower boundsTheoretical Computer ScienceExtremal graph theoryCombinatoricsGraph algorithms for data streamsAlgorithms Theoretical Computer SciencedGraph algorithmsCommunication complexityComputer Science(all)MathematicsTheoretical Computer Science
researchProduct

Quasi-Newton approach to nonnegative image restorations

2000

Abstract Image restoration, or deblurring, is the process of attempting to correct for degradation in a recorded image. Typically the blurring system is assumed to be linear and spatially invariant, and fast Fourier transform (FFT) based schemes result in efficient computational image restoration methods. However, real images have properties that cannot always be handled by linear methods. In particular, an image consists of positive light intensities, and thus a nonnegativity constraint should be enforced. This constraint and other ways of incorporating a priori information have been suggested in various applications, and can lead to substantial improvements in the reconstructions. Neverth…

DeblurringMathematical optimizationNumerical AnalysisAlgebra and Number TheoryPrinciple of maximum entropyFast Fourier transformCirculant matrixBlock Toeplitz matrixConjugate gradient methodReal imageQuasi-Newton methodImage restorationConjugate gradient methodRegularizationA priori and a posterioriQuasi-Newton methodDiscrete Mathematics and CombinatoricsGeometry and TopologyImage restorationMathematicsLinear Algebra and its Applications
researchProduct

Block-Deterministic Regular Languages

2001

We introduce the notions of blocked, block-marked and blockdeterministic regular expressions. We characterize block-deterministic regular expressions with deterministic Glushkov block automata. The results can be viewed as a generalization of the characterization of one-unambiguous regular expressions with deterministic Glushkov automata. In addition, when a language L has a block-deterministic expression E, we can construct a deterministic finite-state automaton for L that has size linear in the size of E.

Deterministic pushdown automatonDiscrete mathematicsDeterministic finite automatonNested wordDeterministic automatonDeterministic context-free grammarQuantum finite automataTwo-way deterministic finite automatonNondeterministic finite automatonComputer Science::Formal Languages and Automata TheoryMathematics
researchProduct

Shape optimization for monge-ampére equations via domain derivative

2011

In this note we prove that, if $\Omega$ is a smooth, strictly convex, open set in $R^n$ $(n \ge 2)$ with given measure, the $L^1$ norm of the convex solution to the Dirichlet problem $\det D^2 u=1$ in $\Omega$, $u=0$ on $\partial\Omega$, is minimum whenever $\Omega$ is an ellipsoid.

Dirichlet problemMathematical optimizationPure mathematicsFictitious domain methodDomain derivativeApplied MathematicsOpen setRegular polygonMonge–Ampère equationMonge-Ampère equationSettore MAT/05 - Analisi MatematicaGeneralizations of the derivativeNorm (mathematics)Discrete Mathematics and CombinatoricsAffine isoperimetric inequalitiesConvex functionAnalysisMathematics
researchProduct

Leveraging Specific Contexts and Outcomes to Generalize in Combinatorial Settings

2018

International audience; Generalization is a fundamental aspect of mathematics, and it is a practice with which undergraduate students should engage and gain fluency. It is important for students in combinatorial settings to be able to generalize, but combinatorics lends itself to engagement with specific examples, concrete outcomes, and particular contexts. In this paper, we seek to inform the nature of generalization in combinatorial settings by demonstrating ways in which students leverage specific, concrete settings to engage in generalizing activity in combinatorics. We provide two data examples that highlight ways in which concrete and specific ideas can be leveraged to help students d…

Discrete MathematicsCombinatorics[SHS.EDU]Humanities and Social Sciences/Education[MATH.MATH-HO]Mathematics [math]/History and Overview [math.HO][SHS.EDU] Humanities and Social Sciences/Education[MATH.MATH-HO] Mathematics [math]/History and Overview [math.HO]ComputingMilieux_COMPUTERSANDEDUCATIONGeneralizationExamples
researchProduct

Fully representable and*-semisimple topological partial*-algebras

2012

We continue our study of topological partial *-algebras, focusing our attention to *-semisimple partial *-algebras, that is, those that possess a {multiplication core} and sufficiently many *-representations. We discuss the respective roles of invariant positive sesquilinear (ips) forms and representable continuous linear functionals and focus on the case where the two notions are completely interchangeable (fully representable partial *-algebras) with the scope of characterizing a *-semisimple partial *-algebra. Finally we describe various notions of bounded elements in such a partial *-algebra, in particular, those defined in terms of a positive cone (order bounded elements). The outcome …

Discrete mathematics*-semisimple partial *-algebrasPure mathematicsbounded elements.*-semisimple partial *-algebraGeneral MathematicsMathematics - Rings and AlgebrasTopology08A55 46K05 46K10 47L60bounded elements}topological partial *-algebrasRings and Algebras (math.RA)Settore MAT/05 - Analisi MatematicaBounded functionFOS: MathematicsInvariant (mathematics)topological partial *-algebraMathematicsStudia Mathematica
researchProduct

On the Ball-Marsden-Slemrod obstruction for bilinear control systems

2019

International audience; In this paper we present an extension to the case of $L^1$-controls of a famous result by Ball--Marsden--Slemrod on the obstruction to the controllability of bilinear control systems in infinite dimensional spaces.

Discrete mathematics010102 general mathematics01 natural sciences010101 applied mathematicsControllabilityAlgebraBilinear controlOptimization and Control (math.OC)Settore MAT/05FOS: MathematicsBall (mathematics)[MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]0101 mathematicsMathematics - Optimization and ControlMathematics::Symplectic GeometryMathematics
researchProduct

On Strong Convergence of Halpern’s Method for Quasi-Nonexpansive Mappings in Hilbert Spaces

2016

In this paper, we introduce a Halpern’s type method to approximate common fixed points of a nonexpansive mapping T and a strongly quasi-nonexpansive mappings S, defined in a Hilbert space, such that I − S is demiclosed at 0. The result shows as the same algorithm converges to different points, depending on the assumptions of the coefficients. Moreover, a numerical example of our iterative scheme is given.

Discrete mathematics010102 general mathematicsHilbert spaceApproximation algorithmFixed pointType (model theory)variational inequality01 natural sciences010101 applied mathematicssymbols.namesakefixed pointModeling and SimulationScheme (mathematics)Variational inequalityConvergence (routing)symbolsQA1-9390101 mathematicsAnalysisapproximation algorithmMathematicsMathematicsMathematical Modelling and Analysis
researchProduct