Search results for "Parameterized complexity"

showing 10 items of 27 documents

Semiglobal practical integral input-to-state stability for a family of parameterized discrete-time interconnected systems with application to sampled…

2015

Abstract Semiglobal practical integral input-to-state stability (SP-iISS) for a feedback interconnection of two discrete-time subsystems is given. We construct a Lyapunov function from the sum of nonlinearly-weighted Lyapunov functions of individual subsystems. In particular, we consider two main cases. The former gives SP-iISS for the interconnected system when both subsystems are semiglobally practically integral input-to-state stable. The latter investigates SP-iISS for the overall system when one of subsystems is allowed to be semiglobally practically input-to-state stable. Moreover, SP-iISS for discrete-time cascades and a feedback interconnection including a semiglobally practically i…

Lyapunov functionController designInterconnectionParameterized complexityState (functional analysis)Stability (probability)Computer Science Applicationssymbols.namesakeDiscrete time and continuous timeControl and Systems EngineeringControl theoryData controlsymbolsAnalysisMathematicsNonlinear Analysis: Hybrid Systems
researchProduct

An LMI Approach to Exponential Stock Level Estimation for Large-Scale Logistics Networks

2013

This article aims to present a convex optimization approach for exponential stock level estimation problem of large-scale logistics networks. The model under consideration presents the dependency and interconnections between the dynamics of each single location. Using a Lyapunov function, new sufficient conditions for exponential estimation of the networks are driven in terms of linear matrix inequalities (LMIs). The explicit expression of the observer gain is parameterized based on the solvability conditions. A numerical example is included to illustrate the applicability of the proposed design method.

Lyapunov functionsymbols.namesakeMathematical optimizationActuarial scienceDependency (UML)Scale (ratio)Observer (quantum physics)Convex optimizationsymbolsParameterized complexityBusinessExpression (mathematics)Exponential function
researchProduct

Clustering-Based Protocol Classification via Dimensionality Reduction

2015

We propose a unique framework that is based upon diffusion processes and other methodologies for finding meaningful geometric descriptions in high-dimensional datasets. We will show that the eigenfunctions of the generated underlying Markov matrices can be used to construct diffusion processes that generate efficient representations of complex geometric structures for high-dimensional data analysis. This is done by non-linear transformations that identify geometric patterns in these huge datasets that find the connections among them while projecting them onto low dimensional spaces. Our methods automatically classify and recognize network protocols. The main core of the proposed methodology…

Mahalanobis distanceMarkov chainbusiness.industryComputer scienceDimensionality reductionParameterized complexityPattern recognitionArtificial intelligenceConstruct (python library)businessFlow networkCluster analysisCommunications protocol
researchProduct

Flexible modeling for anatomically-based cardiac conduction system construction.

2010

We present a method to automatically deploy the peripheral section of the cardiac conduction system in ventricles. The method encodes anatomical information thorough rules that ensure that Purkinje network structures generated are realistic and comparable to those observed in ex-vivo studies. The core methodology is based in non-deterministic production rules that are parameterized by means of statistical functions. Input parameters allow the construction of a great diversity of Purkinje structures that could be incorporated in fine element ventricular models to perform electrophysiology simulations. Resulting Purkinje trees show good geometrical approximations of Purkinje core network and …

Models AnatomicEngineeringPurkinje fibersbusiness.industryBiological clockModels CardiovascularCore networkParameterized complexityNetwork structureAction PotentialsPurkinje Fibersmedicine.anatomical_structureBiological ClocksmedicineElectronic engineeringAnimalsHumansComputer SimulationElectrical conduction system of the heartbusinessStatistical functionAlgorithmAnnual International Conference of the IEEE Engineering in Medicine and Biology Society. IEEE Engineering in Medicine and Biology Society. Annual International Conference
researchProduct

Probabilistic Fuzzy Approach to Evaluation of Logistics Service Effectiveness

2014

Received: 9 September 2014 Abstract Accepted: 11 October 2014 Logistics service providers offer a whole or partial logistics business service over a certain time period. Between such companies, the effectiveness of specific logistics services can vary. Logistics service providers seek the effective performance of logistics service. The purpose of this paper is to present a new approach for the evaluation of logistics service effectiveness, along with a specific computer system implementing the proposed approach – a sophisticated inference system, an extension of the Mamdani probabilistic fuzzy system. The paper presents specific knowledge concerning the relationships between effectiveness i…

Organizational Behavior and Human Resource ManagementOperations researchComputer scienceeffectivenessInferenceParameterized complexityManagement Science and Operations ResearchFuzzy logicIndustrial and Manufacturing EngineeringManagement of Technology and Innovationlcsh:Production management. Operations managementBusiness and International Managementprobability of fuzzy eventService (business)Probabilistic logicConditional probabilityFuzzy control systemService providerReliability engineeringlogistics service providerlogistics serviceprobabilistic fuzzy systemsfuzzy expert systemslogistics companylcsh:TS155-194fuzzy hybrid systemsManagement and Production Engineering Review
researchProduct

On the local and semilocal convergence of a parameterized multi-step Newton method

2020

Abstract This paper is devoted to a family of Newton-like methods with frozen derivatives used to approximate a locally unique solution of an equation. We perform a convergence study and an analysis of the efficiency. This analysis gives us the opportunity to select the most efficient method in the family without the necessity of their implementation. The method can be applied to many type of problems, including the discretization of ordinary differential equations, integral equations, integro-differential equations or partial differential equations. Moreover, multi-step iterative methods are computationally attractive.

Partial differential equationDiscretizationIterative methodApplied MathematicsParameterized complexity010103 numerical & computational mathematics01 natural sciencesIntegral equation010101 applied mathematicsComputational Mathematicssymbols.namesakeOrdinary differential equationConvergence (routing)symbolsApplied mathematics0101 mathematicsNewton's methodMathematics
researchProduct

The S01 − Λ(1405) and − Λ(1670) resonances in meson-baryon unitarized coupled channel chiral perturbation theory

2003

Abstract The s-wave meson-baryon system with strangeness S = −1 and isospin I = 0 is studied using the Bethe-Salpeter coupled channel formalism incorporating Chiral Symmetry. The needed two particle irreducible potential is taken from lowest order Chiral Perturbation Theory in a relativistic formalism. The K N, πΣ, νΛ , and KΞ two-body channels have been included. Off-shell behavior is parameterized in terms of low energy constants, which outnumber those assumed in previous works and provide a better fit to the data. The masses, widths and branching ratios of the Λ(1405) and Λ(1670) resonances are determined. In our model, we find no one but two resonances in the Λ(1405) region.

PhysicsBaryonNuclear and High Energy PhysicsParticle physicsChiral symmetryChiral perturbation theoryMesonIsospinQuantum mechanicsNuclear TheoryParameterized complexityStrangenessCommunication channelNuclear Physics A
researchProduct

Two Applications of Geometric Optimal Control to the Dynamics of Spin Particles

2014

The purpose of this article is to present the application of methods from geometric optimal control to two problems in the dynamics of spin particles. First, we consider the saturation problem for a single spin system and second, the control of a linear chain of spin particles with Ising couplings. For both problems the minimizers are parameterized using Pontryagin Maximum Principle and the optimal solution is found by a careful analysis of the corresponding equations.

PhysicsClassical mechanicsChain (algebraic topology)Bloch equationsDynamics (mechanics)Mathematical analysisParameterized complexityIsing modelSaturation (chemistry)Optimal controlSpin-½
researchProduct

Spin and charge orderings in the atomic limit of the U-V-J model

2011

In this paper we study a generalization of the 1D Hubbard model by considering density-density and Ising-type spin-spin nearest neighbor (NN) interactions, parameterized by $V$ and $J$, respectively. We present the T=0 phase diagram for both ferro ($J>0$) and anti-ferro ($J<0$) coupling obtained in the narrow-band limit by means of an extension to zero-temperature of the transfer-matrix method. Based on the values of the Hamiltonian parameters, we identify a number of phases that involve orderings of the double occupancy, NN density and spin correlations, being these latter very fragile.

PhysicsHistoryHubbard modelStrongly Correlated Electrons (cond-mat.str-el)Condensed Matter - SuperconductivityParameterized complexityFOS: Physical sciencesComputer Science ApplicationsEducationk-nearest neighbors algorithmSuperconductivity (cond-mat.supr-con)symbols.namesakeCondensed Matter - Strongly Correlated ElectronssymbolsCondensed Matter::Strongly Correlated ElectronsHamiltonian (quantum mechanics)Mathematical physicsPhase diagram
researchProduct

Semi-Empirical LET Descriptions of Heavy Ions Used in the European Component Irradiation Facilities

2010

Semi-empirical fitting based on classical Bohr theory has been applied to the experimental LET data in silicon of the RADEF heavy ion cocktail species. The parameterized LET descriptions to be used in the European Component Irradiation Facilities are introduced and compared with the commonly used estimations from SRIM-code. Also, a new user interface, ECIF Cocktail Calculator, based on this work, has been published under the RADEF webpages at http://www.jyu.fi/accelerator/radef/ECIFCalc.

PhysicsNuclear and High Energy PhysicsMaterials scienceSiliconProjectilechemistry.chemical_elementParameterized complexityBohr modelIonNuclear physicssymbols.namesakechemistryNuclear Energy and EngineeringComponent (UML)symbolsHeavy ionIrradiationAtomic physicsElectrical and Electronic EngineeringNuclear ExperimentEnergy exchangeIEEE Transactions on Nuclear Science
researchProduct