Search results for "programming."

showing 10 items of 3035 documents

Sampling methods for low-frequency electromagnetic imaging

2007

For the detection of hidden objects by low-frequency electromagnetic imaging the linear sampling method works remarkably well despite the fact that the rigorous mathematical justification is still incomplete. In this work, we give an explanation for this good performance by showing that in the low-frequency limit the measurement operator fulfils the assumptions for the fully justified variant of the linear sampling method, the so-called factorization method. We also show how the method has to be modified in the physically relevant case of electromagnetic imaging with divergence-free currents. We present numerical results to illustrate our findings, and to show that similar performance can b…

Applied MathematicsMathematical analysis510 MathematikLow frequencyComputer Science ApplicationsTheoretical Computer ScienceOperator (computer programming)510 MathematicsSignal ProcessingFactorization methodLimit (mathematics)AlgorithmMathematical PhysicsMathematics
researchProduct

The factorization method for real elliptic problems

2006

The Factorization Method localizes inclusions inside a body from mea- surements on its surface. Without a priori knowing the physical parameters inside the inclusions, the points belonging to them can be characterized using the range of an auxiliary operator. The method relies on a range characterization that relates the range of the auxiliary operator to the measurements and is only known for very particular applications. In this work we develop a general framework for the method by considering sym- metric and coercive operators between abstract Hilbert spaces. We show that the important range characterization holds if the difference between the inclusions and the background medium satisfi…

Applied MathematicsMathematical analysisHilbert space510 MathematikInverse problemLenstra elliptic curve factorizationSemi-elliptic operatorRange (mathematics)symbols.namesakeOperator (computer programming)510 MathematicsElliptic partial differential equationMetric (mathematics)symbolsAnalysisMathematics
researchProduct

External labeling and algorithms for hierarchic networks

1988

Algorithms for generating internal data structures for networks are given. Data bases for networks can be partitioned hierarchically. Nodes of lower class networks may also be in the interior of a higher class arc which will be split if it is included into the final network. Naming is based either on nodes or on arcs.

Arc (geometry)Class (computer programming)Computer scienceHierarchical network modelData structureAlgorithm
researchProduct

A comparison of two different formulations for Arc Routing Problems on Mixed graphs

2006

[EN] Arc routing problems on mixed graphs have been modelled in the literature either using just one variable per edge or associating to each edge two variables, each one representing its traversal in the corresponding direction. In this paper, and using the mixed general routing problem as an example, we compare theoretical and computationally both formulations as well as the lower bounds obtained from them using Linear Programming based methods. Extensive computational experiments, including some big and newly generated random instances, are presented.

Arc routingGeneral Computer ScienceLinear programmingMixed Chinese postman problemMixed graphMixed rural postman problemManagement Science and Operations ResearchRoute inspection problemTree traversalModeling and SimulationEnhanced Data Rates for GSM EvolutionRouting (electronic design automation)Mixed general routing problemMATEMATICA APLICADAAlgorithmArc routingMathematicsVariable (mathematics)
researchProduct

The Windy clustered prize-collecting arc-routing problem

2011

This paper introduces the windy clustered prize-collecting arc-routing problem. It is an arc-routing problem where each demand edge is associated with a profit that is collected once if the edge is serviced, independent of the number of times the edge is traversed. It is further required that if a demand edge is serviced, then all the demand edges of its component are also serviced. A mathematical programming formulation is given and some polyhedral results including several facet-defining and valid inequalities are presented. The separation problem for the different families of inequalities is studied. Numerical results from computational experiments are analyzed. © 2011 INFORMS.

Arc routingMathematical optimizationMathematical programmingTransportation68W AlgorithmsSeparation problemsCutting plane algorithmsArc routing problems:Informàtica::Informàtica teòrica [Àrees temàtiques de la UPC]Prize-collectingPolyhedral modellingNumerical resultsProfitability indexProfitabilityPolyhedral analysisComputational experimentMATEMATICA APLICADAArc routingCutting plane algorithmValid inequalityAlgorithmsCivil and Structural EngineeringSeparation problemMathematicsMathematicsofComputing_DISCRETEMATHEMATICS
researchProduct

Temple-complex post-dates tsunami deposits found in the ancient harbour basin of Ostia (Rome, Italy)

2015

Abstract Detailed geophysical and geoarchaeological investigations carried out in Ostia, ancient harbour of Rome, revealed two different generations of harbour basins and also proved the repeated impact of high-energy wave events on the study area. West of Ostia, at the southern bank of the Tiber, a lagoonal harbour existed from the 4th and 2nd cent. BC but was affected by strong siltation. At the same site, a river harbour was subsequently established from the 1st cent. AD onwards. Fluvial deposits of medieval age finally document Tiber river bank erosion affecting the abandoned site. Within the sedimentary record, distinct high-energy event deposits were found and seem to be related to ts…

ArcheologyGeographyGeoarchaeologyHarbourFluvialSedimentary rockStructural basinArchaeologycomputerPost datesSiltationBank erosioncomputer.programming_languageJournal of Archaeological Science
researchProduct

The ius liberorum of non-Roman citizens in Egypt. Some notes on an old Taubenschlag’s hypothesis

2019

Abstract Normally the ius liberorum is associated with Roman citizens, but in the lex Irnitana we have evidence of non-Roman members of the curial class of Baetica who took advantage of this privilege. In Roman Egypt, the constitution of the boulai in the nome capitals could have provided a similar context for the selection of local elites in which Romanized Egyptians obtained that privilege.

ArcheologyHistoryClass (computer programming)HistoryConstitutionNomemedia_common.quotation_subjectSelection (linguistics)Context (language use)Privilege (social inequality)GenealogyRomanizationmedia_commonArchiv für Papyrusforschung und verwandte Gebiete
researchProduct

The Purpose and Age of Underwater Walls in the Bay of Elaia of Western Turkey: A Multidisciplinary Approach

2014

Pergamum (modern: Bergama) was operating an important harbour used by military forces and merchants at the city of Elaia during Hellenistic and Roman Imperial times. Harbour-related facilities such as warehouses, breakwaters and wharfs document the importance of this harbour site not only for the Pergamenians. This paper focuses on the purpose and age of six submerged wall structures situated approximately 1 km south of the ancient closed harbour basin of Elaia. Geoelectric cross-sections and semi-aquatic coring near these walls failed to detect any solid basement under the walls which excludes their possible use as breakwaters or wharfs. Instead, the walls were most likely delineating and …

ArcheologyStructural basinArchaeologyCoringEvaporation pondBasementBreakwaterHarbourEarth and Planetary Sciences (miscellaneous)UnderwatercomputerBayGeologycomputer.programming_languageGeoarchaeology
researchProduct

From Historical Silk Fabrics to Their Interactive Virtual Representation and 3D Printing

2020

The documentation, dissemination, and enhancement of Cultural Heritage is of great relevance. To that end, technological tools and interactive solutions (e.g., 3D models) have become increasingly popular. Historical silk fabrics are nearly flat objects, very fragile and with complex internal geometries, related to different weaving techniques and types of yarns. These characteristics make it difficult to properly document them, at the yarn level, with current technologies. In this paper, we bring a new methodology to virtually represent such heritage and produce 3D printouts, also making it highly interactive through the tool Virtual Loom. Our work involves sustainability from different per…

Architectural engineeringComputer scienceGeography Planning and DevelopmentVirtual representationTJ807-83002 engineering and technologyManagement Monitoring Policy and Lawweaving techniquesTD194-1957. Clean energysilk fabricRenewable energy sourcesCreative industriesDocumentation11. Sustainability0601 history and archaeologyRelevance (information retrieval)GE1-350Settore L-ART/02 - Storia Dell'Arte Modernacomputer.programming_languageSettore L-ART/04 - Museologia E Critica Artistica E Del Restauro060102 archaeologyLOOMEnvironmental effects of industries and plantsRenewable Energy Sustainability and the Environmentweaving techniquesilk fabrics06 humanities and the artsYarn3D printingcultural heritage021001 nanoscience & nanotechnologyCultural heritageEnvironmental sciencesvirtual modellingvisual_artvisual_art.visual_art_medium0210 nano-technologycomputerSustainability
researchProduct

Agent-Oriented Captology for Anthropocentric Systems

2001

Abstract Considering that anthropo centric systems are an adequate domain for captological approaches, and that interface agents are most natural interactants for the humans involved, the paper presents a broad-spectrum generic architectural framework to support developing flexible interfaces for industrial applications, based on synergetic correlation between persuasive technologies and polymorphic agents. The design space for agent-oriented captology is defined and several of its main dimensions are elaborated upon. The main mechanisms used are dynamic priorities, "flexible cloning" and fuzzy temporal windows. Some agent-oriented test-bench applications instantiating the generic architect…

Architecture frameworkEngineeringCloning (programming)Interface (Java)business.industryHuman–computer interactionUser interfaceArchitectureCaptologybusinessFuzzy logicDomain (software engineering)IFAC Proceedings Volumes
researchProduct