Search results for "dab"

showing 10 items of 1280 documents

TWO-DIMENSIONAL FINITE STATE RECOGNIZABILITY

1996

The purpose of this paper is to investigate about a new notion of finite state recognizability for two-dimensional (picture) languages. This notion takes as starting point the characterization of one-dimensional recognizable languages in terms of local languages and projections. Such notion can be extended in a natural way to the two-dimensional case. We first introduce a notion of local picture language and then we define,a recognizable picture language as a projection of a local picture language. The family of recognizable picture languages is denoted by REC. We study some combinatorial and language-theoretic properties of family REC. In particular we prove some closure properties with re…

Algebra and Number TheoryString (computer science)Abstract family of languagesComputer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing)Ontology languagePicture languageCone (formal languages)Theoretical Computer ScienceUndecidable problemAlgebraComputational Theory and MathematicsClosure (mathematics)Regular languageComputer Science::Programming LanguagesComputer Science::Formal Languages and Automata TheoryInformation SystemsMathematicsFundamenta Informaticae
researchProduct

Inductive synthesis of dot expressions

2005

We consider the problem of the synthesis of algorithms by sample computations. We introduce a formal language, namely, the so-called dot expressions, which is based on a formalization of the intuitive notion of ellipsis (‘...’). Whilst formally the dot expressions are simply a language describing sets of words, on the other hand, it can be considered as a programming language supporting quite a wide class of programs. Equivalence and asymptotical equivalence of dot expressions are defined and proved to be decidable. A formal example of a dot expression is defined in the way that, actually, it represents a sample computation of the program presented by the given dot expression. A system of s…

AlgebraComputationObject languageEuclidean geometryFormal languageInductive reasoningEquivalence (formal languages)AlgorithmExpression (mathematics)DecidabilityMathematics
researchProduct

Design of P-Chirogenic Aminophosphine-Phosphinite Ligands at Both Phosphorus Centers: Origin of Enantioselectivities in Pd-Catalyzed Allylic Reaction…

2020

International audience; We have recently patented an unprecedented stereospecific N→O phosphinyl migration process which transforms P-chirogenic aminophosphines into phosphinites. A fine design of aminophosphine phosphinite ligands (AMPP*) derived from ephedrine and bearing a P-chirogenic center either at the aminophosphine or phosphinite moiety, was performed. The synthesis of AMPP* ligands with P-chirogenic aminophosphine moiety was based on the well-established stereospecific reaction of oxazaphospholidine-borane with organolithium reagents, followed by trapping with a chlorophosphine and borane decomplexation. Concurrently, the preparation of AMPP* ligands with P-chirogenic phosphinite …

Allylic rearrangementPhosphinite010405 organic chemistry[CHIM.ORGA]Chemical Sciences/Organic chemistryOrganic ChemistryDABCOBorane010402 general chemistry01 natural sciencesMedicinal chemistry0104 chemical scienceschemistry.chemical_compoundStereospecificityNucleophilechemistryMoiety[CHIM]Chemical SciencesConformational isomerismThe Journal of organic chemistry
researchProduct

P-Chirogenic Phosphines Supported by Calix[4]arene: New Insight into Palladium-Catalyzed Asymmetric Allylic Substitution

2013

The first P-chirogenic mono- and diphosphine ligands supported on the upper rim of a calix[4]arene moiety were synthesized using the ephedrine methodology. The lithiated calix[4]arene mono- and dianions both react with the oxazaphospholidine–borane, prepared from ephedrine, to afford regio- and stereoselectively the corresponding calix[4]arenyl aminophosphine–boranes, by cleavage of the heterocyclic ring at the P–O bond position. Subsequent reactions with HCl and then organolithium reagent and finally decomplexation with DABCO lead to the corresponding calix[4]arenyl mono- or diphosphines. Both enantiomers of the calix[4]arenyl phosphines were obtained either by using (+)- or (−)-ephedrine …

Allylic rearrangementStereochemistryOrganic Chemistrychemistry.chemical_elementDABCOBoraneOrganolithium reagentMedicinal chemistryInorganic Chemistrychemistry.chemical_compoundchemistryDiphosphinesMoietyPhysical and Theoretical ChemistryEnantiomerPalladiumOrganometallics
researchProduct

Naftas un gāzes nozares ieguves darbības un veiksmīgu faktoru analīze apvienošanās un pārņemšanas

2018

Bakalaura darba tiek izpētīts naftas un dabasgāzes jomas Royal Dutch Shell un BG group kompanijas apvienošanas vai pārņemšanas darījuma pieredze, kas ir viens no attīstības stratēģijas veidiem, un dod iespēju uzņēmumiem ne tikai saglabāt savu tirgus pozīciju, bet arī attīstīties. Darba mērķis ir analizēt un novērtēt apvienošanās un pārņemšanas efektivitāti, un izstrādāt ieteikumus, lai uzlabotu darījumus šajā jomā. Pirmajā nodaļā ir aprakstīti apvienošanās un pārņemšanas ekonomiskā būtība, darījuma veidi, riski un principi. Otrajā nodaļā ir sniegts naftas un gāzes nozares raksturojums un tā saistība ar apvienošanas vai pārņemšanas procesu, ka arī pasaules pieredze šajā jomā. Trešajā nodaļā …

Apvienošana un PārņemšanaEkonomikaRoyal Dutch ShellNaftas un dabasgāzes tirgusDCFBG Group
researchProduct

Optical Evaluation of New Designs of Multifocal Diffractive Corneal Inlays

2019

[EN] Purpose. To assess the imaging properties of two different designs of a new concept of corneal inlays whose working principle is based on diffraction. Methods. The quality of the retinal images provided by Diffractive Corneal Inlays (DCIs) was evaluated theoretically in comparison with Small Aperture Corneal Inlay (SACI). ZEMAX OpticStudio software was employed for the simulations in an eye model with different pupil diameters (3.0 mm and 4.5 mm). The employed merit functions in the analysis were the Modulation Transfer Function (MTF), the area under the MTF (MTFa), and the Point Spread Function (PSF). Comparison was made with the SACI at different defocus conditions. Results. The bifo…

Article Subjectgenetic structuresbusiness.industryeye diseases03 medical and health sciencesOphthalmology0302 clinical medicinelcsh:Ophthalmologylcsh:RE1-994FISICA APLICADA030221 ophthalmology & optometryMedicine03.- Garantizar una vida saludable y promover el bienestar para todos y todas en todas las edadesbusinessHumanities030217 neurology & neurosurgeryResearch Article
researchProduct

Biodegradability Prediction of Fragrant Molecules by Molecular Topology

2016

Biodegradability is a key property in the development of safer fragrances. In this work we present a green methodology for its preliminary assessment. The structure of various fragrant molecules is characterized by computing a large set of topological indices. Those relevant to biodegradability are selected by means of a hybrid stepwise selection method to build a linear classifier. This model is compared with a more complex artificial neural network trained with the indices previously found. After validation, the models show promise for time and cost reduction in the development of new, safer fragrances. The methodology presented could easily be adapted to many quasi-big data problems in R…

Artificial neural network010405 organic chemistryRenewable Energy Sustainability and the EnvironmentComputer scienceStatistical learningGeneral Chemical EngineeringNanotechnologyLinear classifierGeneral Chemistry01 natural sciences0104 chemical sciencesCost reduction010404 medicinal & biomolecular chemistryDevelopment (topology)SAFEREnvironmental ChemistryBiodegradability predictionBiochemical engineeringMolecular topologyACS Sustainable Chemistry & Engineering
researchProduct

Integrating genomic binding site predictions using real-valued meta classifiers

2008

Currently the best algorithms for predicting transcription factor binding sites in DNA sequences are severely limited in accuracy. There is good reason to believe that predictions from different classes of algorithms could be used in conjunction to improve the quality of predictions. In this paper, we apply single layer networks, rules sets, support vector machines and the Adaboost algorithm to predictions from 12 key real valued algorithms. Furthermore, we use a ‘window’ of consecutive results as the input vector in order to contextualise the neighbouring results. We improve the classification result with the aid of under- and over-sampling techniques. We find that support vector machines …

Artificial neural networkComputer sciencebusiness.industryMachine learningcomputer.software_genreDNA binding siteSupport vector machineArtificial IntelligenceArtificial intelligenceAdaBoostPrecision and recallbusinessClassifier (UML)computerSoftwareNeural Computing and Applications
researchProduct

Regularized RBF Networks for Hyperspectral Data Classification

2004

In this paper, we analyze several regularized types of Radial Basis Function (RBF) Networks for crop classification using hyperspectral images. We compare the regularized RBF neural network with Support Vector Machines (SVM) using the RBF kernel, and AdaBoost Regularized (ABR) algorithm using RBF bases, in terms of accuracy and robustness. Several scenarios of increasing input space dimensionality are tested for six images containing six crop classes. Also, regularization, sparseness, and knowledge extraction are paid attention.

Artificial neural networkbusiness.industryComputer scienceMathematicsofComputing_NUMERICALANALYSISComputingMethodologies_IMAGEPROCESSINGANDCOMPUTERVISIONHyperspectral imagingPattern recognitionSupport vector machineComputingMethodologies_PATTERNRECOGNITIONComputer Science::Computational Engineering Finance and ScienceRobustness (computer science)Computer Science::Computer Vision and Pattern RecognitionRadial basis function kernelRadial basis functionArtificial intelligenceAdaBoostbusinessCurse of dimensionality
researchProduct

Classification of Satellite Images with Regularized AdaBoosting of RBF Neural Networks

2008

Artificial neural networkbusiness.industryPattern recognitionMachine learningcomputer.software_genreLinear discriminant analysisAdaboost algorithmSupport vector machineGeographySatelliteRadial basis functionArtificial intelligenceAdaBoostbusinesscomputer
researchProduct