Search results for "binary"

showing 10 items of 833 documents

A Motzkin filter in the Tamari lattice

2015

The Tamari lattice of order n can be defined on the set T n of binary trees endowed with the partial order relation induced by the well-known rotation transformation. In this paper, we restrict our attention to the subset M n of Motzkin trees. This set appears as a filter of the Tamari lattice. We prove that its diameter is 2 n - 5 and that its radius is n - 2 . Enumeration results are given for join and meet irreducible elements, minimal elements and coverings. The set M n endowed with an order relation based on a restricted rotation is then isomorphic to a ranked join-semilattice recently defined in Baril and Pallo (2014). As a consequence, we deduce an upper bound for the rotation distan…

Discrete mathematicsMathematics::CombinatoricsBinary tree010102 general mathematicsLattice (group)0102 computer and information sciences[ MATH.MATH-CO ] Mathematics [math]/Combinatorics [math.CO]01 natural sciencesUpper and lower boundsTheoretical Computer ScienceCombinatoricsJoin and meet010201 computation theory & mathematics[MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO]Discrete Mathematics and CombinatoricsOrder (group theory)Ideal (order theory)0101 mathematicsFilter (mathematics)Tamari latticeComputingMilieux_MISCELLANEOUSMathematics
researchProduct

On the Measurement and Prediction of the Out-of-Plane Displacement Surrounding Cold-Expanded Holes

2010

Experimental measurements of the out-of-plane displacement surrounding cold-expanded holes in a 6082-T6 aluminum alloy were made with a 3D optical scanner using the technique of the encoded light-pattern projection in white light. The measured surface profiles have shown the thickness discontinuity along the hole edge due to the effect of the split in the sleeve. An analytical–numerical solution of the out-of-plane displacement is presented based on existing analytical models. Thus, the results given by the analytical model were then compared with the experimental data and with a finite element (FE) model that simulates the cold-expansion process. The location of the elastic–plastic boundar…

ScannerMaterials scienceOut of plane displacementbusiness.industryMechanical EngineeringAlloyAerospace Engineeringchemistry.chemical_elementMechanicsengineering.materialBinary encoded light stripe projectionFinite element methodOpticsDiscontinuity (geotechnical engineering)Finite elementchemistryDisplacement measurementMechanics of MaterialsAluminiumResidual stressSolid mechanicsSettore ING-IND/12 - Misure Meccaniche E TermicheengineeringCold-expansion of holebusinessExperimental Mechanics
researchProduct

Automatic mass spectra recognition for Ultra High Vacuum systems using multilabel classification

2021

Abstract In Ultra High-Vacuum (UHV) systems it is common to find a mixture of many gases originating from surface outgassing, leaks and permeation that contaminate vacuum chambers and cause issues to reach ultimate pressures. The identification of these contaminants is, in general, done manually by trained technicians from the analysis of mass spectra. This task is time consuming and can lead to misinterpretation or partial understanding of issues. The challenge resides in the rapid identification of these contaminants by using some automatic gas identification technique. This paper explores the automatic and simultaneous identification of 80 molecules, including some of the most commonly p…

0209 industrial biotechnologyComputer sciencebusiness.industryUltra-high vacuumGeneral EngineeringBinary numberPattern recognition02 engineering and technologyComputer Science ApplicationsOutgassingIdentification (information)020901 industrial engineering & automationArtificial IntelligenceTest set0202 electrical engineering electronic engineering information engineeringMass spectrum020201 artificial intelligence & image processingRelevance (information retrieval)Artificial intelligencebusinessHamming codeExpert Systems with Applications
researchProduct

Fast Algorithms for Pseudoarboricity

2015

The densest subgraph problem, which asks for a subgraph with the maximum edges-to-vertices ratio d∗, is solvable in polynomial time. We discuss algorithms for this problem and the computation of a graph orientation with the lowest maximum indegree, which is equal to ⌈d∗⌉. This value also equals the pseudoarboricity of the graph. We show that it can be computed in O(|E| √ log log d∗) time, and that better estimates can be given for graph classes where d∗ satisfies certain asymptotic bounds. These runtimes are achieved by accelerating a binary search with an approximation scheme, and a runtime analysis of Dinitz’s algorithm on flow networks where all arcs, except the source and sink arcs, hav…

Binary search algorithmComputation0102 computer and information sciences02 engineering and technologyOrientation (graph theory)01 natural sciencesFlow (mathematics)010201 computation theory & mathematicsLog-log plotTheoryofComputation_ANALYSISOFALGORITHMSANDPROBLEMCOMPLEXITY0202 electrical engineering electronic engineering information engineeringGraph (abstract data type)020201 artificial intelligence & image processingUnit (ring theory)AlgorithmTime complexityMathematicsofComputing_DISCRETEMATHEMATICSMathematics2016 Proceedings of the Eighteenth Workshop on Algorithm Engineering and Experiments (ALENEX)
researchProduct

Using 1-Ethyl-3-methylimidazolium Trifluoromethanesulfonate as an Entrainer for the Extractive Distillation of Ethanol + Water Mixtures

2009

Isobaric vapor−liquid equilibria (VLE) for the ethanol + water + [emim][triflate] ternary system have been obtained at 100 kPa using a recirculating still. The ethanol + water binary system was also obtained. Furthermore, data were simulated with the Mock’s electrolyte nonrandom two-liquid (NRTL) model, using the solvent−solvent interaction parameters obtained from VLE data of the ethanol + water system and taking the solvent−ionic liquid (IL) interaction parameters for the other binary systems from previous works. The agreement between experimental and calculated data is very good, showing the predictive capacity of the model. The addition of [emim][triflate] produces the disappearance of …

Ternary numeral systemGeneral Chemical EngineeringAnalytical chemistryGeneral ChemistryMole fractionchemistry.chemical_compoundchemistryAzeotropeIonic liquidNon-random two-liquid modelExtractive distillationOrganic chemistryBinary systemTrifluoromethanesulfonateJournal of Chemical & Engineering Data
researchProduct

Calculation of phase diagrams not requiring the derivatives of the Gibbs energy for multinary mixtures

1996

A method for the calculation of phase diagrams (tie lines and binodal, spinodal, critical points and their stability) based exclusively on the Gibbs energy of mixing with no need of its derivatives with respect to the composition variables is extended to multinary mixtures for any number of components. The mathematical description of the (K-1)-dimensional phase diagram of a K-component mixture is presented. The method is demonstrated for a quinternary blend of five polymers exhibiting a closed miscibility gap; all binary, ternary and quaternary subsystems are completely miscible. The phase separation in the quinternary system is caused by very favorable interactions in the ternary subsystem…

chemistry.chemical_classificationBinodalSpinodalPolymers and PlasticsSpinodal decompositionOrganic ChemistryBinary numberThermodynamicsPolymerCondensed Matter PhysicsGibbs free energyCondensed Matter::Soft Condensed MatterInorganic Chemistrysymbols.namesakechemistryMaterials ChemistrysymbolsTernary operationPhase diagramMacromolecular Theory and Simulations
researchProduct

Lensing of fast radio bursts: future constraints on primordial black hole density with an extended mass function and a new probe of exotic compact fe…

2018

The discovery of gravitational waves from binary black hole mergers has renewed interest in primordial black holes forming a part of the dark matter density of our Universe. Various tests have been proposed to test this hypothesis. One of the cleanest tests is the lensing of fast radio bursts. In this situation, the presence of a compact object near the line of sight produces two images of the radio burst. If the images are sufficiently separated in time, this technique can constrain the presence of primordial black holes. One can also try to detect the lensed image of the mini-bursts within the main burst. We show that this technique can produce the leading constraints over a wide range in…

Cosmology and Nongalactic Astrophysics (astro-ph.CO)media_common.quotation_subjectAstrophysics::High Energy Astrophysical PhenomenaDark matterFOS: Physical sciencesPrimordial black holeAstrophysicsAstrophysics::Cosmology and Extragalactic AstrophysicsCompact star01 natural sciencesHigh Energy Physics - ExperimentHigh Energy Physics - Experiment (hep-ex)General Relativity and Quantum CosmologyHigh Energy Physics - Phenomenology (hep-ph)Binary black hole0103 physical sciences010306 general physicsmedia_commonPhysicsMass distribution010308 nuclear & particles physicsGravitational waveUniverseStarsHigh Energy Physics - PhenomenologyAstrophysics - Cosmology and Nongalactic Astrophysics
researchProduct

Search for Multimessenger Sources of Gravitational Waves and High-energy Neutrinos with Advanced LIGO during Its First Observing Run, ANTARES, and Ic…

2019

[EN] Astrophysical sources of gravitational waves, such as binary neutron star and black hole mergers or core-collapse supernovae, can drive relativistic outflows, giving rise to non-thermal high-energy emission. High-energy neutrinos are signatures of such outflows. The detection of gravitational waves and high-energy neutrinos from common sources could help establish the connection between the dynamics of the progenitor and the properties of the out¿ow. We searched for associated emission of gravitational waves and high-energy neutrinos from astrophysical transients with minimal assumptions using data from Advanced LIGO from its first observing run O1, and data from the ANTARES and IceCub…

Astrofísicacollapse [supernova]neutron star: binaryEVENTS GW150914Gravitació010504 meteorology & atmospheric sciencesneutrino: energy: highAstronomyRAYBinary numberbinary [neutron star]Astrophysics7. Clean energy01 natural sciencesPhysical ChemistryAtomicIceCubeneutrinoParticle and Plasma PhysicsAstronomi astrofysik och kosmologiblack holeAstronomy Astrophysics and CosmologyLIGO010303 astronomy & astrophysicsgravitational waveELECTROMAGNETIC SIGNALSQCQBSettore FIS/01PhysicsHigh Energy Astrophysical Phenomena (astro-ph.HE)astro-ph.HE[PHYS]Physics [physics]Astrophysics::Instrumentation and Methods for Astrophysicsneutrinosgravitational waves; neutrinos520 Astronomie und zugeordnete Wissenschaftenddc:observatorySupernovagravitational wavesastrophysics: densityPhysical SciencesNeutrinoAstrophysics - High Energy Astrophysical Phenomenagravitational waves; neutrinos; Astronomy and Astrophysics; Space and Planetary ScienceAstronomical and Space SciencessignaturePhysical Chemistry (incl. Structural)supernova: collapseAstrophysics::High Energy Astrophysical PhenomenaFOS: Physical sciencesAstrophysics::Cosmology and Extragalactic AstrophysicsAstronomy & AstrophysicsGravitational wavesemission [gravitational radiation]Ones gravitacionalsCoincident0103 physical sciencesGravitational Waves Neutrinos LIGO Virgo Antares IceCubeNuclearddc:530Neutrinsenergy: high [neutrino]NeutrinosSTFCAstrophysiqueAstrophysics::Galaxy Astrophysics0105 earth and related environmental sciencesScience & TechnologyANTARESGravitational waveVirgoOrganic ChemistryAstronomyRCUKMolecularAstronomy and AstrophysicsAstronomieAstronomy and Astrophysic530 PhysikLIGOSciences de l'espaceBlack holemessengerNeutron starAntaresPhysics and AstronomySpace and Planetary ScienceFISICA APLICADA:Física::Astronomia i astrofísica [Àrees temàtiques de la UPC]gravitational radiation: emissiondensity [astrophysics]ddc:520[PHYS.ASTR]Physics [physics]/Astrophysics [astro-ph]EMISSION
researchProduct

Texture analysis of cardiac cine magnetic resonance imaging to detect nonviable segments in patients with chronic myocardial infarction.

2017

[EN] Purpose: To investigate the ability of texture analysis to differentiate between infarcted nonviable, viable, and remote segments on cardiac cine magnetic resonance imaging (MRI). Methods: This retrospective study included 50 patients suffering chronic myocardial infarction. The data were randomly split into training (30 patients) and testing (20 patients) sets. The left ventricular myocardium was segmented according to the 17-segment model in both cine and late gadolinium enhancement (LGE) MRI. Infarcted myocardium regions were identified on LGE in short-axis views. Nonviable segments were identified as those showing LGE 50%, and viable segments those showing 0 < LGE < 50% transmural …

MaleLocal binary patternsMyocardial InfarctionMagnetic Resonance Imaging Cine030204 cardiovascular system & hematology030218 nuclear medicine & medical imagingTECNOLOGIA ELECTRONICA03 medical and health sciencesMagnetic resonance imaging0302 clinical medicineDiagnosisMachine learningmedicineImage Processing Computer-AssistedLate gadolinium enhancementHumansIn patientcardiovascular diseasesAnalysis methodRetrospective StudiesChronic myocardial infarctionTissue SurvivalReceiver operating characteristicmedicine.diagnostic_testbusiness.industryMagnetic resonance imagingHeartGeneral MedicineMiddle AgedClassificationChronic Diseasecardiovascular systemLeft ventricular myocardiumFemaleNuclear medicinebusinessMedical physics
researchProduct

Fuzzy temporal random sets with an application to cell biology

2007

Total Internal Reflection Fluorescence Microscopy (TIRFM) greatly facilitates to imaging the first steps of endocytosis, a process whereby cells traffic cargo from the cell surface to endosomes. Using TIRFM, fluorescent-tagged endocytic proteins are observed as overlapped areas forming random clumps of different sizes, shapes and durations. A common procedure to segment these objects consists of thresholding the original gray-level images to produce binary sequences in which a pixel is covered or not by a given fluorescent-tagged protein. This binary logic is not appropriate because it leaves a free tuning parameter to be set by the user which can influence on the conclusions of the statist…

business.industryBinary imageFuzzy setPattern recognitionFunction (mathematics)Image segmentationFuzzy logicThresholdingSet (abstract data type)Computer visionArtificial intelligencebusinessIndependence (probability theory)Mathematics2007 IEEE International Fuzzy Systems Conference
researchProduct