Search results for " libraries"

showing 10 items of 239 documents

About Graph Unions and Intersections

2020

Summary In this article the union and intersection of a set of graphs are formalized in the Mizar system [5], based on the formalization of graphs in [7].

Discrete mathematicsgraph theoryApplied Mathematics020207 software engineeringgraph intersection0102 computer and information sciences02 engineering and technology68v20Computer Science::Digital Libraries01 natural sciencesComputational Mathematicsgraph union010201 computation theory & mathematicsComputer Science::Mathematical SoftwareQA1-9390202 electrical engineering electronic engineering information engineering05c76Graph (abstract data type)MathematicsMathematicsofComputing_DISCRETEMATHEMATICSMathematicsFormalized Mathematics
researchProduct

Żagańska kolekcja listów i autografów w Rosyjskim Państwowym Archiwum Akt Dawnych w Moskwie

2021

The Russian State Archives of Historical Records in Moscow (Российский государственный архив древних актор) contains a group No. 1587, which the institutions resource list calls ‘Collection of Autographs Gathered by Princes Żagań.’ The article describes the history of the library of the dukes of Żagań in the 19th century, including the creation of a collection of manuscripts. This collection is of a particular importance as a testimony to the finał years of the Duchy of Courland and Semigalia and the extensive family ties of the princes of Żagań. The collection also includes autographs of important historical figures in Europę, sources concerning the Thirty Years War in Silesia, and relatio…

Duchy of ŻagańDuchy of Courland and Semigaliaarchives and libraries in RussiapolonicaPolish-Lithuanian Commonwealth
researchProduct

IPHAS-selected classical Be stars

2016

We present a semi-automatic procedure to obtain fundamental physical parameters and distances of classical Be (CBe) stars, based on the Barbier-Chalonge-Divan (BCD) spectrophotometric system. Our aim is to apply this procedure to a large sample of CBe stars detected by the IPHAS photometric survey, to determine their fundamental physical parameters and to explore their suitability as galactic structure tracers. In this paper we describe the methodology used and the validation of the procedure by comparing our results with those obtained from different independent astrophysical techniques for subsamples of stars in common with other studies. We also present a test case study of the galactic …

Early type starsAstrophysics and AstronomyPhysicsAstrophysics::Instrumentation and Methods for AstrophysicsStellar distanceAstrophysics::Cosmology and Extragalactic AstrophysicsComputer Science::Digital Librariesobservational astronomyStellar AstronomyEarly-type starsBe starsAstrophysics::Solar and Stellar AstrophysicsNatural SciencesAstrophysics::Galaxy Astrophysics
researchProduct

Laser Assisted Dirac Electron in a Magnetized Annulus

2021

We study the behaviour of a charge bound on a graphene annulus under the assumption that the particle can be treated as a massless Dirac electron. The eigenstates and relative energy are found in closed analytical form. Subsequently, we consider a large annulus with radius ρ∈[5000,10,000]a0 in the presence of a static magnetic field orthogonal to its plane and again the eigenstates and eigenenergies of the Dirac electron are found in both analytical and numerical form. The possibility of designing filiform currents by controlling the orbital angular momentum and the magnetic field is shown. The currents can be of interest in optoelectronic devices that are controlled by electromagnetic radi…

Electromagnetic fieldAngular momentumPhysics and Astronomy (miscellaneous)General Mathematics02 engineering and technologyElectronMassless Dirac electron01 natural sciencesElectromagnetic radiationComputer Science::Digital Libraries0103 physical sciencesComputer Science (miscellaneous)Annulus (firestop)010306 general physicsSpin-½Physicslcsh:Mathematicsanalytic solution of Dirac equationgraphene in external fieldgraphene in external fields021001 nanoscience & nanotechnologyMagnetostaticslcsh:QA1-939Magnetic fieldChemistry (miscellaneous)Quantum electrodynamics0210 nano-technologySymmetry
researchProduct

Novel Method for the Direct Measurement of the τ Lepton Dipole Moments

2019

A novel method for the direct measurement of the elusive magnetic and electric dipole moments of the tau lepton is presented. The experimental approach relies on the production of tau+ leptons from Ds+ -> tau+ nu_tau decays, originated in fixed-target collisions at the LHC. A sample of polarized tau+ leptons is kinematically selected and subsequently channeled in a bent crystal. The magnetic and electric dipole moments of the tau+ lepton are measured by determining the rotation of the spin-polarization vector induced by the intense electromagnetic field between crystal atomic planes. The experimental technique is discussed along with the expected sensitivities.

Electromagnetic fieldPhysicsLarge Hadron Collider010308 nuclear & particles physicsBent molecular geometryHigh Energy Physics::PhenomenologyFOS: Physical sciencesGeneral Physics and AstronomyRotation01 natural sciencesComputer Science::Digital LibrariesHigh Energy Physics - ExperimentCrystalHigh Energy Physics - Experiment (hep-ex)DipoleHigh Energy Physics - PhenomenologyHigh Energy Physics - Phenomenology (hep-ph)0103 physical sciencesProduction (computer science)High Energy Physics::ExperimentAtomic physics010306 general physicsLepton
researchProduct

Mislabel Detection of Finnish Publication Ranks

2019

The paper proposes to analyze a data set of Finnish ranks of academic publication channels with Extreme Learning Machine (ELM). The purpose is to introduce and test recently proposed ELM-based mislabel detection approach with a rich set of features characterizing a publication channel. We will compare the architecture, accuracy, and, especially, the set of detected mislabels of the ELM-based approach to the corresponding reference results on the reference paper.

FOS: Computer and information sciencesComputer Science - Machine LearningComputer sciencerankinglistatMachine Learning (stat.ML)computer.software_genreMachine Learning (cs.LG)Set (abstract data type)Statistics - Machine LearningDigital Libraries (cs.DL)julkaisukanavatvirheanalyysimislabel detectionExtreme learning machineExtreme Learning Machine (ELM)publication channelsComputer Science - Digital LibrariesData setkoneoppiminendataData miningrankingsarviointicomputertieteellinen julkaisutoimintaCommunication channel
researchProduct

Aggregation of the web performance of internal university units as a method of quantitative analysis of a university system: the case of Spain

2013

The aggregation of web performance data (page count and visibility) of internal university units could constitute a more precise indicator than the overall web performance of the universities and, therefore, be of use in the design of university web rankings. In order to test this hypothesis, a longitudinal analysis of the internal units of the Spanish university system was conducted over the course of 2010. For the 13,800 URLs identified, page count and visibility were calculated using the Yahoo! API. The internal values obtained were aggregated by university and compared with the values obtained from the analysis of the universities' general URLs. The results indicate that, although the c…

FOS: Computer and information sciencesURLCOMUNICACION AUDIOVISUAL Y PUBLICIDADBIBLIOTECONOMIA Y DOCUMENTACIONComputer Science - Digital LibrariesWebometricsDigital Libraries (cs.DL)Ranking
researchProduct

Using skeleton and Hough transform variant to correct skew in historical documents

2020

International audience; As a main part of several document analysis systems, Skew estimation represents one of the major research challenges, particularly in case of historical documents exploration. In this paper, we propose an original skew angle detection and correction technique. Morphological Skeleton is introduced to considerably diminish the amount of data by eliminating the redundant pixels and preserving only the central curves of the image components. Next, the proposed method uses Progressive Probabilistic Hough Transform (PPHT) to find image lines. At the end, a specific procedure is applied in order to measure the global skew angle of the document image from these identified li…

General Computer ScienceHorizontal and verticalMorphological skeletonComputer scienceSkew estimationComputingMethodologies_IMAGEPROCESSINGANDCOMPUTERVISIONDocument image analysis010103 numerical & computational mathematics02 engineering and technologySkeleton (category theory)01 natural sciencesMeasure (mathematics)Theoretical Computer ScienceHough transformlaw.inventionImage (mathematics)lawMorphological skeleton0202 electrical engineering electronic engineering information engineering[INFO.INFO-DL]Computer Science [cs]/Digital Libraries [cs.DL]0101 mathematicsNumerical AnalysisPixelbusiness.industryApplied MathematicsProgressive probabilistic Hough transformSkew[INFO.INFO-CV]Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV]Pattern recognitionSkew correction[INFO.INFO-TT]Computer Science [cs]/Document and Text ProcessingModeling and Simulation020201 artificial intelligence & image processingArtificial intelligencebusinessMathematics and Computers in Simulation
researchProduct

The Existence of Solutions for Local Dirichlet (r(u),s(u))-Problems

2022

In this paper, we consider local Dirichlet problems driven by the (r(u),s(u))-Laplacian operator in the principal part. We prove the existence of nontrivial weak solutions in the case where the variable exponents r,s are real continuous functions and we have dependence on the solution u. The main contributions of this article are obtained in respect of: (i) Carathéodory nonlinearity satisfying standard regularity and polynomial growth assumptions, where in this case, we use geometrical and compactness conditions to establish the existence of the solution to a regularized problem via variational methods and the critical point theory; and (ii) Sobolev nonlinearity, somehow related to the spac…

General Mathematicsregularized problem(<i>r</i>(<i>u</i>)<i>s</i>(u))-Laplacian operatorPalais-Smale conditionweak solutionComputer Science::Digital Libraries(<i>r</i>(<i>u</i>)<i>s</i>(u))-Laplacian operator; Palais-Smale condition; monotone operator; regularized problem; weak solutionSettore MAT/05 - Analisi Matematicamonotone operatorComputer Science (miscellaneous)QA1-939Computer Science::Programming Languages(r(u) s(u))-Laplacian operatorEngineering (miscellaneous)MathematicsMathematics
researchProduct

Squaric Acid Mediated Synthesis and Biological Activity of a Library of Linear and Hyperbranched Poly(Glycerol)-Protein Conjugates

2012

Polymer-protein conjugates generated from side chain functional synthetic polymers are attractive because they can be easily further modified with, for example, labeling groups or targeting ligands. The residue specific modification of proteins with side chain functional synthetic polymers using the traditional coupling strategies may be compromised due to the nonorthogonality of the side-chain and chain-end functional groups of the synthetic polymer, which may lead to side reactions. This study explores the feasibility of the squaric acid diethyl ester mediated coupling as an amine selective, hydroxyl tolerant, and hydrolysis insensitive route for the preparation of side-chain functional, …

GlycerolModels MolecularCovalent AttachmentPolymers and PlasticsPolymersBioengineeringSquaric acidImmunological PropertiesLigandsSmall Molecule LibrariesBiomaterialsHydrolysischemistry.chemical_compoundResidue (chemistry)Thiazolidine-2-ThioneMaterials ChemistrySide chainCopolymerOrganic chemistryBovine Serum-Albuminchemistry.chemical_classificationPoly(Ethylene Glycol)Molecular StructureCopolymersPolymer StructureSerum Albumin BovinePolymerPolyethylene-GlycolMolecular WeightPolyglycerolschemistryMuramidaseAmine gas treatingFunctional polymersCyclobutanesDerivatives
researchProduct