Search results for "Computer Science Application"

showing 10 items of 3998 documents

Laser spectroscopy of the ground-state hyperfine structure in H-like and Li-like bismuth

2014

The LIBELLE experiment performed at the experimental storage ring (ESR) at the GSI Helmholtz Center in Darmstadt aims for the determination of the ground state hyperfine (HFS) transitions and lifetimes in hydrogen-like (209Bi82+) and lithium-like (209Bi80+) bismuth. The study of HFS transitions in highly charged ions enables precision tests of QED in extreme electric and magnetic fields otherwise not attainable in laboratory experiments. While the HFS transition in H-like bismuth was already observed in earlier experiments at the ESR, the LIBELLE experiment succeeded for the first time to measure the HFS transition in Li-like bismuth in a laser spectroscopy experiment.

Precision tests of QEDHistory02 Physical Scienceschemistry.chemical_elementCharged particle09 EngineeringComputer Science ApplicationsEducationBismuthIonMagnetic fieldCondensed Matter::Materials SciencechemistryPhysics::Atomic PhysicsAtomic physicsGround stateSpectroscopyNuclear ExperimentHyperfine structure
researchProduct

Monadic Second-Order Logic over Rectangular Pictures and Recognizability by Tiling Systems

1996

Abstract It is shown that a set of pictures (rectangular arrays of symbols) is recognized by a finite tiling system iff it is definable in existential monadic second-order logic. As a consequence, finite tiling systems constitute a notion of recognizability over two-dimensional inputs which at the same time generalizes finite-state recognizability over strings and also matches a natural logic. The proof is based on the Ehrenfeucht–Fraisse technique for first-order logic and an implementation of “threshold counting” within tiling systems.

Predicate logicMonadic second-order logicDiscrete mathematicsNatural logicIntermediate logicHigher-order logicMonadic predicate calculusComputer Science ApplicationsTheoretical Computer ScienceMathematics::LogicTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESComputational Theory and MathematicsComputer Science::Logic in Computer ScienceMany-valued logicDynamic logic (modal logic)Computer Science::Formal Languages and Automata TheoryInformation SystemsMathematicsInformation and Computation
researchProduct

CT Radiomic Features and Clinical Biomarkers for Predicting Coronary Artery Disease

2023

AbstractThis study was aimed to investigate the predictive value of the radiomics features extracted from pericoronaric adipose tissue — around the anterior interventricular artery (IVA) — to assess the condition of coronary arteries compared with the use of clinical characteristics alone (i.e., risk factors). Clinical and radiomic data of 118 patients were retrospectively analyzed. In total, 93 radiomics features were extracted for each ROI around the IVA, and 13 clinical features were used to build different machine learning models finalized to predict the impairment (or otherwise) of coronary arteries. Pericoronaric radiomic features improved prediction above the use of risk factors alon…

Predictive modelsSettore ING-INF/05 - Sistemi Di Elaborazione Delle InformazioniRadiomic featuresCognitive NeuroscienceClinical featuresModel explainabilityComputer Vision and Pattern RecognitionPericoronaric adipose fatCoronary artery diseaseMachine learning classifiersComputer Science ApplicationsCognitive Computation
researchProduct

Anti-Aging Physiological Roles of Aryl Hydrocarbon Receptor and Its Dietary Regulators

2021

The vast majority of the literature on the aryl hydrocarbon receptor is concerned with its functions in xenobiotic detoxification. However, in the course of evolution, this receptor had to have physiological (rather than toxicological) functions. Our aim was to review the aryl hydrocarbon receptor’s role in the physiological functions involved in aging. This study was performed by searching the MEDLINE and Google Academic databases. A total of 34 articles were selected that focused specifically on the aryl hydrocarbon receptor and aging, the aryl hydrocarbon receptor and physiological functions, and the combination of both. This receptor’s main physiological functions (mediated by the modul…

Premature agingAgingCellInflammationReviewphysiological functionCatalysisXenobioticslcsh:ChemistryInorganic Chemistrychemistry.chemical_compoundDetoxificationmedicineAnimalsHumansPhysical and Theoretical ChemistryReceptorlcsh:QH301-705.5Molecular BiologySpectroscopybiologyaryl hydrocarbon receptorChemistryOrganic ChemistryAging PrematureGeneral MedicineAryl hydrocarbon receptorComputer Science ApplicationsCell biologymedicine.anatomical_structurelcsh:Biology (General)lcsh:QD1-999Receptors Aryl Hydrocarbonbiology.proteinmedicine.symptomSignal transductionXenobioticSignal TransductionInternational Journal of Molecular Sciences
researchProduct

On the influence of curvature and torsion on turbulence in helically coiled pipes

2014

Turbulent flow and heat transfer in helically coiled pipes at Ret=400 was investigated by DNS using finite volume grids with up to 2.36×10^7 nodes. Two curvatures (0.1 and 0.3) and two torsions (0 and 0.3) were considered. The flow was fully developed hydrodynamically and thermally. The central discretization scheme was adopted for diffusion and advection terms, and the second order backward Euler scheme for time advancement. The grid spacing in wall units was ~3 radially, 7.5 circumferentially and 20 axially. The time step was equal to one viscous wall unit and simulations were typically protracted for 8000 time steps, the last 4000 of which were used to compute statistics. The results sho…

Pressure dropHistoryFinite volume methodDirect Numerical SimulationTurbulencehelically coiled pipeTorsion (mechanics)GeometrySecondary flowCurvatureNusselt numberComputer Science ApplicationsEducationTurbulencePhysics::Fluid DynamicsHeat transferSettore ING-IND/19 - Impianti NucleariMathematicsJournal of Physics: Conference Series
researchProduct

Metabolic flux understanding of Pichia pastoris grown on heterogenous culture media

2014

[EN] Within the emergent field of Systems Biology, mathematical models obtained from physical chemical laws (the so-called first principles-based models) of microbial systems are employed to discern the principles that govern cellular behaviour and achieve a predictive understanding of cellular functions. The reliance on this biochemical knowledge has the drawback that some of the assumptions (specific kinetics of the reaction system, unknown dynamics and values of the model parameters) may not be valid for all the metabolic possible states of the network. In this uncertainty context, the combined use of fundamental knowledge and data measured in the fermentation that describe the behaviour…

Principal Component AnalysisbiologyMathematical modelManufacturing processComputer scienceProcess Chemistry and TechnologySystems biologyMonte Carlo samplingESTADISTICA E INVESTIGACION OPERATIVACellular functionsMetabolic networkMetabolic networkMissing-data methods for Exploratory Data AnalysisContext (language use)biology.organism_classificationINGENIERIA DE SISTEMAS Y AUTOMATICAComputer Science ApplicationsAnalytical ChemistryPichia pastorisEconometricsBiochemical engineeringPossibilistic consistency analysisFlux (metabolism)SpectroscopySoftware
researchProduct

Spoken conversational context improves query auto-completion in web search

2021

Web searches often originate from conversations in which people engage before they perform a search. Therefore, conversations can be a valuable source of context with which to support the search process. We investigate whether spoken input from conversations can be used as a context to improve query auto-completion. We model the temporal dynamics of the spoken conversational context preceding queries and use these models to re-rank the query auto-completion suggestions. Data were collected from a controlled experiment and comprised conversations among 12 participant pairs conversing about movies or traveling. Search query logs during the conversations were recorded and temporally associated…

Process (engineering)Computer scienceContext (language use)02 engineering and technologycomputer.software_genreSpeech input020204 information systems0202 electrical engineering electronic engineering information engineeringQuery auto-completionControlled experimentControl (linguistics)Background speechContextualizationWeb search querySettore INF/01 - Informaticabusiness.industrySpeech inputGeneral Business Management and AccountingQACComputer Science ApplicationsDynamics (music)Voice020201 artificial intelligence & image processingArtificial intelligencebusinesscomputerNatural language processingInformation Systems
researchProduct

Modeling and 'smart' prototyping human-in-the-loop interactions for AmI environments

2021

[EN] Autonomous capabilities are required in AmI environments in order to adapt systems to new environmental conditions and situations. However, keeping the human in the loop and in control of such systems is still necessary because of the diversity of systems, domains, environments, context situations, and social and legal constraints, which makes full autonomy a utopia within the short or medium term. Human-system integration introduces an important number of challenges and problems that have to be solved. On the one hand, humans should interact with systems even in those situations where their attentional, cognitive, and physical resources are limited in order to perform the interaction.…

Process (engineering)Computer scienceMobile computingContext (language use)02 engineering and technologyManagement Science and Operations ResearchLibrary and Information SciencesSmart prototypingHuman-centered designSoftwareHuman–computer interaction020204 information systemsContext-aware interactionsInformàticaMachine learning0202 electrical engineering electronic engineering information engineeringHuman-in-the-loopSet (psychology)Point (typography)business.industry020207 software engineeringComputer Science ApplicationsHuman-system interactionsHuman in the loopConceptual frameworkHardware and ArchitecturebusinessLENGUAJES Y SISTEMAS INFORMATICOS
researchProduct

CheS-Mapper - Chemical Space Mapping and Visualization in 3D

2012

Abstract Analyzing chemical datasets is a challenging task for scientific researchers in the field of chemoinformatics. It is important, yet difficult to understand the relationship between the structure of chemical compounds, their physico-chemical properties, and biological or toxic effects. To that respect, visualization tools can help to better comprehend the underlying correlations. Our recently developed 3D molecular viewer CheS-Mapper (Chemical Space Mapper) divides large datasets into clusters of similar compounds and consequently arranges them in 3D space, such that their spatial proximity reflects their similarity. The user can indirectly determine similarity, by selecting which f…

Process (engineering)Computer sciencemedia_common.quotation_subjectLibrary and Information Sciencescomputer.software_genre01 natural scienceslcsh:Chemistry03 medical and health sciencesSimilarity (psychology)Physical and Theoretical ChemistryFunction (engineering)030304 developmental biologymedia_commonStructure (mathematical logic)0303 health scienceslcsh:T58.5-58.64lcsh:Information technology004 InformatikComputer Graphics and Computer-Aided DesignChemical spaceField (geography)0104 chemical sciencesVisualizationComputer Science Applications010404 medicinal & biomolecular chemistrylcsh:QD1-999CheminformaticsData miningcomputer004 Data processingSoftwareJournal of Cheminformatics
researchProduct

2019

Abstract Peer review is not only a quality screening mechanism for scholarly journals. It also connects authors and referees either directly or indirectly. This means that their positions in the network structure of the community could influence the process, while peer review could in turn influence subsequent networking and collaboration. This paper aims to map these complex network implications by looking at 2232 author/referee couples in an interdisciplinary journal that uses double blind peer review. By reconstructing temporal co-authorship networks, we found that referees tended to recommend more positively submissions by authors who were within three steps in their collaboration netwo…

Process (engineering)business.industrymedia_common.quotation_subjectInternet privacyNetwork structureLibrary and Information SciencesComplex networkComputer Science ApplicationsDouble blindInvisible handQuality (business)Psychologybusinessmedia_commonJournal of Informetrics
researchProduct