Search results for "Model theory"

showing 10 items of 681 documents

On coverings with special points and monodromy group a Weyl group of type B_d

2014

In this paper we study Hurwitz spaces parameterizing coverings with special points and with monodromy group a Weyl group of type Bd. We prove that such spaces are irreducible if k > 3d ? 3. Here, k denotes the number of local monodromies that are reflections relative to long roots.

Hurwitz spacespecial fibers branched coveringWeyl groupPure mathematicsGeneral Mathematicsmonodromybraid moves.Type (model theory)Algebrasymbols.namesakeMonodromysymbolsSettore MAT/03 - GeometriaMathematics
researchProduct

On the irreducibility of Hurwitz spaces of coverings with an arbitrary number of special points

2013

In this paper we study Hurwitz spaces of coverings of Y with an arbitrary number of special points and with monodromy group a Weyl group of type D_d, where Y is a smooth, complex projective curve. We give conditions for which these spaces are irreducible.

Hurwitz spaces Weyl groups special points monodromy braid movesProjective curvePure mathematicsWeyl groupHurwitz quaternionGeneral MathematicsType (model theory)Algebrasymbols.namesakeMonodromyHurwitz's automorphisms theoremsymbolsIrreducibilitySettore MAT/03 - GeometriaMathematics::Representation TheoryMathematicsFilomat
researchProduct

"Comment on ""Non-symmetric substituted ureas locked in an (E,Z) conformation: an unusual anion binding via supramolecular assembly"" by M. Olivari, …

2014

We propose another point of view on the type of hydrogen bonded complexes that were described in this journal (M. Olivari et al., New J. Chem., 2013, 37, 663). The main difference is the molecular geometry and breakage of the intramolecular hydrogen bond during association. The current comment is to highlight mentioned aspects and to point out that in some cases the interpretation may not be straightforward due to the simultaneous effects associated with complexation.

HydrogenHydrogen bondStereochemistryChemistrychemistry.chemical_elementGeneral ChemistryType (model theory)CatalysisSupramolecular assemblyInterpretation (model theory)Molecular geometryIntramolecular forceMaterials ChemistryAnion bindingta116New Journal of Chemistry
researchProduct

Error detecting in inductive inference

1995

Several well-known inductive inference strategies change the actual hypothesis only when they discover that it “provably misclassifies” an example seen so far. This notion is made mathematically precise and its general power is characterized. In spite of its strength it is shown that this approach is not of universal power. Consequently, then hypotheses are considered which “unprovably misclassify” examples and the properties of this approach are studied. Among others it turns out that this type is of the same power as monotonic identification. Then it is shown that universal power can be achieved only when an unbounded number of alternations of these dual types of hypotheses is allowed. Fi…

Identification (information)Computer scienceSpiteRecursive functionsMonotonic functionInductive reasoningType (model theory)AlgorithmDual (category theory)Power (physics)
researchProduct

Dual types of hypotheses in inductive inference

2006

Several well-known inductive inference strategies change the actual hypothesis only when they discover that it “provably misclassifies” an example seen so far. This notion is made mathematically precise and its general power is characterized. In spite of its strength it is shown that this approach is not of “universal” power. Consequently, then hypotheses are considered which “unprovably misclassify” examples and the properties of this approach are studied. Among others it turns out that this type is of the same power as monotonic identification. Finally, it is shown that “universal” power can be achieved only when an unbounded number of alternations of these dual types of hypotheses is all…

Identification (information)Theoretical computer scienceComputer scienceRecursive functionsSpiteMonotonic functionInductive reasoningType (model theory)Dual (category theory)Power (physics)
researchProduct

Topological considerations in composing teams of learning machines

1995

Classes of total recursive functions may be identifiable by a team of strategies, but not by a single strategy, in accordance with a certain identification type (EX, FIN, etc.). Qualitative aspects in composing teams are considered. For each W ∉ EX all recursive strategies can be split into several families so that any team identifying W contains strategies from all the families. For W ∉ FIN the possibility of such splitting depends upon W. The relation between these phenomena and “voting” properties for types EX, FIN, etc. is revealed.

Identification (information)Theoretical computer scienceFinRelation (database)Computer sciencebusiness.industryVotingmedia_common.quotation_subjectRecursive functionsArtificial intelligenceType (model theory)businessmedia_common
researchProduct

Denoising AVIRIS-NG Data for Generation of New Chlorophyll Indices

2021

The availability of Airborne Visible and Infrared Imaging Spectrometer-Next Generation (AVIRIS-NG) data has enormous possibilities for quantification of Leaf Chlorophyll Content (LCC). The present study used the AVIRIS-NG campaign site of Western India for generation and validation of new chlorophyll indices by denoising the AVIRIS-NG data. For validation, concurrent to AVIRIS-NG flight overpass, field samplings were performed. The acquired AVIRIS-NG was subjected to Spectral Angle Mapper (SAM) classifier for discriminating the crop types. Three smoothing techniques i.e., Fast-Fourier Transform (FFT), Mean and Savitzky-Golay filters were evaluated for their denoising capability. Raw and fil…

Image (category theory)010401 analytical chemistryFast Fourier transformEstimatorHyperspectral imagingType (model theory)01 natural sciencesArticlePearson product-moment correlation coefficient0104 chemical scienceschemistry.chemical_compoundsymbols.namesakechemistryChlorophyllsymbolsElectrical and Electronic EngineeringInstrumentationSmoothingMathematicsRemote sensingIEEE Sensors Journal
researchProduct

Intrinsic Hardy–Orlicz spaces of conformal mappings

2014

We define a new type of Hardy-Orlicz spaces of conformal mappings on the unit disk where in place of the value |f(x)| we consider the intrinsic path distance between f(x) and f(0) in the image domain. We show that if the Orlicz function is doubling then these two spaces are actually the same, and we give an example when the intrinsic Hardy-Orlicz space is strictly smaller.

Image domainPure mathematicsMathematics::Functional AnalysisMathematics - Complex VariablesmathematicsGeneral Mathematicsta111Mathematics::Classical Analysis and ODEsconforma mappingsConformal mapFunction (mathematics)Type (model theory)Space (mathematics)Path distanceUnit diskHardy–Orlicz spacesFOS: MathematicsComplex Variables (math.CV)30C35 (Primary) 30H10 (Secondary)Value (mathematics)MathematicsBulletin of the London Mathematical Society
researchProduct

Hemivariational Inequalities and Hysteresis

2001

Hemivariational inequalities introduced by P.D. Panagiotopoulos are generalizations of variational inequalities. This type of inequality problems arises, e.g. in variational formulation of mechanical problems whenever nonmonotone and multivalued relations or nonconvex energy functions are involved. Typical examples of such kind of phenomena are nonmonotone friction laws and adhesive contact laws. Mathematically these nonmonotone relations are described by means of generalized gradients (in sense of F.H. Clarke) of nonconvex potential functions. For applications and for their mathematical treatment we refer to [9],[10],[13]–[18].

InequalityHysteresis (economics)media_common.quotation_subjectVariational inequalityApplied mathematicsType (model theory)Mathematicsmedia_common
researchProduct

Switching Synchronization and Metastable States in 1D Memristive Networks

2019

One-dimensional (1D) memristive networks are the simplest type of memristive networks one can imagine. Yet, despite their morphological simplicity, such networks represent an important class of memory networks characterized by the strongest interaction among the network components. This chapter reviews several important dynamical features of 1D memristive networks composed of realistic threshold-type memristive systems. First of all, the accelerated and decelerated switching regimes of memristive systems are introduced and exemplified. Secondly, the phenomenon of switching synchronization is presented. Finally, it is shown that metastable transmission lines composed of metastable memristive…

Information transferComputer Science::Emerging TechnologiesElectric power transmissionComputer scienceLine (geometry)Information processingType (model theory)Space (mathematics)TopologySynchronizationElectronic circuit
researchProduct