Search results for "Model theory"

showing 10 items of 681 documents

Structural, chemical topological, electrotopological and electronic structure hypotheses.

2003

The first important hypothesis in the prediction of properties of synthesized molecules is the structural hypothesis. In the study of drug-receptor interactions, the case where the three-dimensional structure of the receptor is known allows the application of molecular simulation and energy calculations to estimate the binding affinity for a proposed series of compounds. The chemical topological hypothesis permits the description of molecular structures without using concepts such as force or energy. These notions would not be as dominant as supposed since they should be able to be deduced from topology. Although topological descriptors are able to describe specific physicochemical properti…

Models MolecularQuantitative structure–activity relationshipProperty (philosophy)Similarity (geometry)Series (mathematics)Molecular StructureComputer scienceOrganic ChemistryStructure (category theory)Quantitative Structure-Activity RelationshipElectronsGeneral MedicineElectronic structureTopologyComputer Science ApplicationsInterpretation (model theory)Drug DiscoveryTopology (chemistry)Combinatorial chemistryhigh throughput screening
researchProduct

Nucleotide's bilinear indices: Novel bio-macromolecular descriptors for bioinformatics studies of nucleic acids. I. Prediction of paromomycin's affin…

2009

A new set of nucleotide-based bio-macromolecular descriptors are presented. This novel approach to bio-macromolecular design from a linear algebra point of view is relevant to nucleic acids quantitative structure-activity relationship (QSAR) studies. These bio-macromolecular indices are based on the calculus of bilinear maps on Re(n)[b(mk)(x (m),y (m)):Re(n) x Re(n)--Re] in canonical basis. Nucleic acid's bilinear indices are calculated from kth power of non-stochastic and stochastic nucleotide's graph-theoretic electronic-contact matrices, M(m)(k) and (s)M(m)(k), respectively. That is to say, the kth non-stochastic and stochastic nucleic acid's bilinear indices are calculated using M(m)(k)…

Models MolecularStatistics and ProbabilityPure mathematicsQuantitative structure–activity relationshipParomomycinMolecular Sequence DataDNA FootprintingQuantitative Structure-Activity RelationshipBilinear interpolationGeneral Biochemistry Genetics and Molecular BiologyInterpretation (model theory)DNA PackagingLinear regressionOrder (group theory)MathematicsStochastic ProcessesBase SequenceGeneral Immunology and MicrobiologyApplied MathematicsComputational BiologyGeneral MedicineModeling and SimulationDNA ViralLinear algebraStandard basisHIV-1Nucleic acidRNA ViralGeneral Agricultural and Biological SciencesAlgorithmJournal of Theoretical Biology
researchProduct

Archetypal analysis: contributions for estimating boundary cases in multivariate accommodation problem

2013

[EN] The use of archetypal analysis is proposed in order to determine a set of representative cases that entail a certain percentage of the population, in the accommodation problem. A well-known anthropometric database has been used in order to compare our methodology with the common used PCA-approach, showing the advantages of our methodology: the level of accommodation is reached unlike the PCA approach, no more adjustments are necessary, the user can decide the number of archetypes to consider or leave the selection by a criterion. Unlike PCA, the objective of the archetypal analysis is obtaining extreme individuals, so it is the appropriate statistical technique for solving this type of…

Multivariate statisticsrepresentative human model generationGeneral Computer ScienceComputer scienceBoundary (topology)Type (model theory)Anthropometry [Percentile]computer.software_genrearchetypepercentileSet (abstract data type)Archetypal analysisStatisticsArchetypeSelection (genetic algorithm)Archetypeanthropometryrepresentative casebusiness.industryGeneral EngineeringRepresentative humanPercentile: AnthropometryModel generationRepresentative caseData miningbusinesscomputerAccommodation
researchProduct

Nonzero |U_e3| from charged lepton corrections and the atmospheric neutrino mixing angle

2013

After the successful determination of the reactor neutrino mixing angle theta(13) not equal 0.16 not equal 0, a new feature suggested by the current neutrino oscillation data is a sizeable deviation of the atmospheric neutrino mixing angle theta(23) from pi/4. Using the fact that the neutrino mixing matrix U = (UeU nu)-U-dagger, where U-e and U-nu result from the diagonalisation of the charged lepton and neutrino mass matrices, and assuming that U-nu has a i) bimaximal (BM), H) tri-bimaximal (TBM) form, or else Hi) corresponds to the conservation of the lepton charge L' = L-e - L mu - L-tau (LC), we investigate quantitatively what are the minimal forms of U-e, in terms of angles and phases …

NEUTRINO MIXING CP VIOLATION CHOOZ ANGLE ATMOSPHERIC NEUTRINO MIXING ANGLE CHERGED LEPTON CORRECTIONSNuclear and High Energy PhysicsParticle physicsSolar neutrinoCHOOZ ANGLEPontecorvo–Maki–Nakagawa–Sakata matrixInverseFOS: Physical sciencesType (model theory)7. Clean energy01 natural sciencesHigh Energy Physics - Phenomenology (hep-ph)CHERGED LEPTON CORRECTIONS0103 physical sciencesNeutrino Physics010306 general physicsNeutrino oscillationPhysics010308 nuclear & particles physicsATMOSPHERIC NEUTRINO MIXING ANGLENEUTRINO MIXINGSettore FIS/02 - Fisica Teorica Modelli e Metodi MatematiciHigh Energy Physics - PhenomenologyCP violationCP violationCP VIOLATIONNeutrinoLepton
researchProduct

Parameters analysis of FitzHugh-Nagumo model for a reliable simulation

2014

International audience; Derived from the pioneer ionic Hodgkin-Huxley model and due to its simplicity and richness from a point view of nonlinear dynamics, the FitzHugh-Nagumo model has been one of the most successful neuron / cardiac cell model. It exists many variations of the original FHN model. Though these FHN type models help to enrich the dynamics of the FHN model. The parameters used in these models are often in biased conditions. The related results would be questionable. So, in this study, the aim is to find the parameter thresholds for one of the commonly used FHN model in order to pride a better simulation environment. The results showed at first that inappropriate time step and…

Neurons[ INFO.INFO-TS ] Computer Science [cs]/Signal and Image Processing[INFO.INFO-TS] Computer Science [cs]/Signal and Image ProcessingModels NeurologicalModels CardiovascularAction PotentialsOrder (ring theory)Relaxation (iterative method)[ SPI.SIGNAL ] Engineering Sciences [physics]/Signal and Image processingType (model theory)Time stepCardiac cellNonlinear systemTheoretical physicsLinear relationshipNonlinear Dynamics[INFO.INFO-TS]Computer Science [cs]/Signal and Image ProcessingHumansApplied mathematicsMyocytes CardiacFitzHugh–Nagumo model[SPI.SIGNAL]Engineering Sciences [physics]/Signal and Image processing[SPI.SIGNAL] Engineering Sciences [physics]/Signal and Image processingMathematics2014 36th Annual International Conference of the IEEE Engineering in Medicine and Biology Society
researchProduct

A new type of hydraulic cylinder system controlled by the new-type hydraulic transformer

2013

In order to enhance the efficiency of the hydraulic system, one new-type hydraulic transformer is presented in this paper. First, the basic structure and the principle of the new-type hydraulic transformer are explained. Then, the mathematical models including both the inner and outer loops are analyzed. Moreover, two kinds of control methods are discussed corresponding to the two loops, respectively. Furthermore, the proposed strategies are translated into the simulation languages, and the simulation is made in Simulink. Finally, the prototypes of new-type hydraulic transformer and the test rig are constructed to test the performance. Both the simulated and experimental results show that …

New-type hydraulic transformerEngineeringbusiness.industryMechanical EngineeringMechanical engineeringHydraulic transformerType (model theory)fuzzy PIDHydraulic cylinderenergy-saving research; fuzzy PID; New-type hydraulic transformer; Mechanical EngineeringHydraulic machinerybusinessFuzzy pidenergy-saving researchProceedings of the Institution of Mechanical Engineers, Part C: Journal of Mechanical Engineering Science
researchProduct

On two topological cardinal invariants of an order-theoretic flavour

2012

Noetherian type and Noetherian $\pi$-type are two cardinal functions which were introduced by Peregudov in 1997, capturing some properties studied earlier by the Russian School. Their behavior has been shown to be akin to that of the \emph{cellularity}, that is the supremum of the sizes of pairwise disjoint non-empty open sets in a topological space. Building on that analogy, we study the Noetherian $\pi$-type of $\kappa$-Suslin Lines, and we are able to determine it for every $\kappa$ up to the first singular cardinal. We then prove a consequence of Chang's Conjecture for $\aleph_\omega$ regarding the Noetherian type of countably supported box products which generalizes a result of Lajos S…

NoetherianHigher Suslin LinePixley–Roy hyperspacePrimary: 03E04 54A25 Secondary: 03E35 54D70LogicOpen setMathematics::General TopologyDisjoint setsTopological spaceType (model theory)TopologyChangʼs ConjectureChangʼs Conjecture for ℵωFOS: MathematicsBox productMathematicsMathematics - General TopologyConjectureMathematics::Commutative AlgebraGeneral Topology (math.GN)PCF theoryNoetherian typeMathematics - LogicInfimum and supremumMathematics::LogicOIF spaceLogic (math.LO)
researchProduct

Localization of hidden Chua's attractors

2011

Abstract The classical attractors of Lorenz, Rossler, Chua, Chen, and other widely-known attractors are those excited from unstable equilibria. From computational point of view this allows one to use numerical method, in which after transient process a trajectory, started from a point of unstable manifold in the neighborhood of equilibrium, reaches an attractor and identifies it. However there are attractors of another type: hidden attractors, a basin of attraction of which does not contain neighborhoods of equilibria . In the present Letter for localization of hidden attractors of Chuaʼs circuit it is suggested to use a special analytical–numerical algorithm.

Nonlinear Sciences::Chaotic DynamicsPhysicsta113Mathematics::Dynamical SystemsNumerical analysisAttractorTrajectoryGeneral Physics and AstronomyPoint (geometry)Statistical physicsType (model theory)Hidden oscillationManifoldPhysics Letters A
researchProduct

Optimal control for state constrained two-phase Stefan problems

1991

We give a new approach to state constrained control problems associated to non-degenerate nonlinear parabolic equations of Stefan type. We obtain uniform estimates for the violation of the constraints.

Nonlinear parabolic equationsMathematical analysisMathematics::Analysis of PDEsPhase (waves)State (functional analysis)Type (model theory)Optimal controlMathematics
researchProduct

Types of solutions and multiplicity results for two-point nonlinear boundary value problems

2005

Abstract Two-point boundary value problems for the second-order ordinary nonlinear differential equations are considered. If the respective nonlinear equation can be reduced to a quasi-linear one with a non-resonant linear part and both equations are equivalent in some domain D , and if solutions of the quasi-linear problem lie in D , then the original problem has a solution. We then say that the original problem allows for quasilinearization. We show that a quasi-linear problem has a solution of definite type which corresponds to the type of the linear part. If quasilinearization is possible for essentially different linear parts, then the original problem has multiple solutions.

Nonlinear systemApplied MathematicsMathematical analysisFree boundary problemPoint (geometry)Mixed boundary conditionBoundary value problemType (model theory)AnalysisElliptic boundary value problemDomain (mathematical analysis)MathematicsNonlinear Analysis: Theory, Methods & Applications
researchProduct