Search results for " algorithm"

showing 10 items of 2538 documents

Active Learning of Recursive Functions by Ultrametric Algorithms

2014

We study active learning of classes of recursive functions by asking value queries about the target function f, where f is from the target class. That is, the query is a natural number x, and the answer to the query is f(x). The complexity measure in this paper is the worst-case number of queries asked. We prove that for some classes of recursive functions ultrametric active learning algorithms can achieve the learning goal by asking significantly fewer queries than deterministic, probabilistic, and even nondeterministic active learning algorithms. This is the first ever example of a problem where ultrametric algorithms have advantages over nondeterministic algorithms.

Nondeterministic algorithmTheoretical computer scienceActive learning (machine learning)Probabilistic logicNatural numberFunction (mathematics)Inductive reasoningUltrametric spaceAlgorithmMathematicsRandomized algorithm
researchProduct

Supercontinuum optimization for dual-soliton based light sources using genetic algorithms in a grid platform

2014

We present a numerical strategy to design fiber based dual pulse light sources exhibiting two predefined spectral peaks in the anomalous group velocity dispersion regime. The frequency conversion is based on the soliton fission and soliton self-frequency shift occurring during super- continuum generation. The optimization process is carried out by a genetic algorithm that provides the optimum input pulse parameters: wavelength, temporal width and peak power. This algorithm is implemented in a Grid platform in order to take advantage of distributed computing. These results are useful for optical coherence tomography applications where bell-shaped pulses located in the second near-infrared wi…

Nonlinear opticsLightFOS: Physical sciencesSoliton (optics)Pulse propagation and temporal solitonsOpticsIllumination designOptical coherence tomographyGenetic algorithmmedicineCIENCIAS DE LA COMPUTACION E INTELIGENCIA ARTIFICIALFiber Optic TechnologyScattering RadiationComputer SimulationElectrodesPhysicsPhotonsmedicine.diagnostic_testOptical coherence tomographybusiness.industryNonlinear opticsEquipment DesignAtomic and Molecular Physics and OpticsSupercontinuumPulse (physics)Power (physics)WavelengthComputer-Aided DesignbusinessAlgorithmsOptics (physics.optics)Physics - Optics
researchProduct

Path Integral Methods for the Probabilistic Analysis of Nonlinear Systems Under a White-Noise Process

2020

Abstract In this paper, the widely known path integral method, derived from the application of the Chapman–Kolmogorov equation, is described in details and discussed with reference to the main results available in literature in several decades of contributions. The most simple application of the method is related to the solution of Fokker–Planck type equations. In this paper, the solution in the presence of normal, α-stable, and Poissonian white noises is first discussed. Then, application to barrier problems, such as first passage problems and vibroimpact problems is described. Further, the extension of the path integral method to problems involving multi-degrees-of-freedom systems is anal…

Nonlinear systemComputer scienceMechanical Engineering0103 physical sciencesPath integral formulationApplied mathematicsProbabilistic analysis of algorithmsWhite noiseSafety Risk Reliability and Quality010301 acoustics01 natural sciencesSafety Research010305 fluids & plasmasASCE-ASME J Risk and Uncert in Engrg Sys Part B Mech Engrg
researchProduct

Optimal signal selection of wide area damping controller considering time delay in multi-machine power system

2015

This paper presents a validation of selection process for selecting the most effective stabilizing signal to improve damping of inter area oscillations in a multi-machine power system by different signal selection methods. This paper also deals with wide area damping controller scheme compensating time latency of feedback signal in order to damp low frequency inter area oscillations in large power system. Pade approximation to time delay is used with controller synthesis. Eigenvector based coherent machine identification method has been adapted in this research for coherent area identification in multi-machine power system. The selected control signal is tested on the 4 machine 11 bus syste…

Nonlinear systemElectric power systemEngineeringControl theorybusiness.industryAutomatic frequency controlLatency (audio)Electronic engineeringProcess (computing)businessSignalSelection (genetic algorithm)2015 IEEE PES Asia-Pacific Power and Energy Engineering Conference (APPEEC)
researchProduct

Integration of an LP Solver into Interval Constraint Propagation

2011

This paper describes the integration of an LP solver into iSAT, a Satisfiability Modulo Theories solver that can solve Boolean combinations of linear and nonlinear constraints. iSAT is a tight integration of the well-known DPLL algorithm and interval constraint propagation allowing it to reason about linear and nonlinear constraints. As interval arithmetic is known to be less efficient on solving linear programs, we will demonstrate how the integration of an LP solver can improve the overall solving performance of iSAT.

Nonlinear systemSatisfiability modulo theoriesDPLL algorithmLocal consistencyBoolean combinationInterval (mathematics)SolverAlgorithmMathematicsInterval arithmetic
researchProduct

A Sliding Window-Based Method to Detect Selective Constraints in Protein-Coding Genes and Its Application to RNA Viruses

2002

Here we present a new sliding window-based method specially designed to detect selective constraints in specific regions of a multiple protein-coding sequence alignment. In contrast to previous window-based procedures, our method is based on a nonarbitrary statistical approach to find the appropriate codon-window size to test deviations of synonymous (d(S)) and nonsynonymous (d(N)) nucleotide substitutions from the expectation. The probabilities of d(N) and d(S) are obtained from simulated data and used to detect significant deviations of d(N) and d(S) in a specific window region of the real sequence alignment. The nonsynonymous-to-synonymous rate ratio (w = d(N)/d(S)) was used to highlight…

Nonsynonymous substitutionGenes ViralSequence alignmentBiologyGenes envEvolution MolecularViral ProteinsSliding window protocolGeneticsRNA VirusesSelection GeneticMolecular BiologyGenePhylogenyEcology Evolution Behavior and SystematicsSelection (genetic algorithm)GeneticsBase SequenceReproducibility of ResultsContrast (statistics)RNAWindow (computing)Genes gagFoot-and-Mouth Disease VirusDNA ViralHIV-1Capsid ProteinsSequence AlignmentAlgorithmJournal of Molecular Evolution
researchProduct

Generalizations of the periodicity Theorem of Fine and Wilf

2005

We provide three generalizations to the two-dimensional case of the well known periodicity theorem by Fine and Wilf [4] for strings (the one-dimensional case). The first and the second generalizations can be further extended to hold in the more general setting of Cayley graphs of groups. Weak forms of two of our results have been developed for the design of efficient algorithms for two-dimensional pattern matching [2, 3, 6].

Normal subgroupDiscrete mathematicsCombinatoricsVertex-transitive graphCayley graphEfficient algorithmPattern matchingMathematics
researchProduct

Propagation pattern analysis during atrial fibrillation based on sparse modeling.

2012

In this study, sparse modeling is introduced for the estimation of propagation patterns in intracardiac atrial fibrillation (AF) signals. The estimation is based on the partial directed coherence function, derived from fitting a multivariate autoregressive model to the observed signal using least-squares (LS) estimation. The propagation pattern analysis incorporates prior information on sparse coupling as well as the distance between the recording sites. Two optimization methods are employed for estimation of the model parameters, namely, the adaptive group least absolute selection and shrinkage operator (aLASSO), and a novel method named the distance-adaptive group LASSO (dLASSO). Using si…

Normalization (statistics)Computer scienceAtrial fibrillation (AF)Biomedical EngineeringSignalPattern Recognition AutomatedElectrocardiographyelectrogramgroup least absolute selection and shrinkage operator (LASSO)Operator (computer programming)StatisticsAtrial FibrillationHumansComputer SimulationSelection (genetic algorithm)ShrinkageSignal processingNoise (signal processing)partial directed coherence (PDC)Models CardiovascularSignal Processing Computer-Assistedpropagation pattern analysiFrequency domainSettore ING-INF/06 - Bioingegneria Elettronica E InformaticaPattern recognition (psychology)AlgorithmAlgorithmsIEEE transactions on bio-medical engineering
researchProduct

Notice of Violation of IEEE Publication Principles<BR>An adaptive routing mechanism for P2P resource discovery

2005

The key to the usability of large-scale decentralize peer-to-peer (P2P) systems, and one of the most challenge design aspects, is efficient mechanism for distributed resource discovery. Unstructured P2P networks are very attractive because they do not suffer the limitations of centralized systems an the drawbacks of highly structured approaches. However the search algorithms are usually based on simple flooding scheme generating large loads on the network participants. In this paper to address this major limitation, we present the design an evaluation of an innovative searching protocol in unstructured P2P networks. The approach aims at dynamically adapting the network topology to peers' in…

NoticeExploitbusiness.industryComputer scienceDistributed computingUsabilityNetwork topologycomputer.software_genreFlooding (computer networking)Grid computingSearch algorithmbusinessSelection algorithmcomputerComputer networkCCGrid 2005. IEEE International Symposium on Cluster Computing and the Grid, 2005.
researchProduct

Spatial Reconstruction Algorithm of DT Layer in Cryogenic Targets Using Optical Techniques

2007

The measurements of the solid DT layer, in terms of thickness and roughness, in the LMJ geometry (i.e. in a hohlraum) are not trivial. The DT layer measurements will be done using a Matsukov-Cassegrain telescope placed 39 cm away from the target. This telescope will be used to acquire shadowgraphy images on equators, and interferometric measurements on pole areas using optical coherence tomography (OCT). Optical coherence tomography allows determining the DT layer thickness on a few points, in the polar regions of the target. By scanning around the poles, several points can be acquired in order to calculate the roughness and the local shape of the DT layer at the pole. Both techniques were …

Nuclear and High Energy Physics020209 energy02 engineering and technologySurface finishShadowgraphy01 natural sciences010305 fluids & plasmaslaw.inventionTelescopeOpticsOptical coherence tomographyHohlraumlaw0103 physical sciences0202 electrical engineering electronic engineering information engineeringmedicineGeneral Materials ScienceCivil and Structural EngineeringPhysicsmedicine.diagnostic_testbusiness.industryMechanical EngineeringReconstruction algorithmInterferometryNuclear Energy and EngineeringbusinessLayer (electronics)Fusion Science and Technology
researchProduct