Search results for "CTD"

showing 10 items of 101 documents

Minimal forbidden words and factor automata

1998

International audience; Let L(M) be the (factorial) language avoiding a given antifactorial language M. We design an automaton accepting L(M) and built from the language M. The construction is eff ective if M is finite. If M is the set of minimal forbidden words of a single word v, the automaton turns out to be the factor automaton of v (the minimal automaton accepting the set of factors of v). We also give an algorithm that builds the trie of M from the factor automaton of a single word. It yields a non-trivial upper bound on the number of minimal forbidden words of a word.

TheoryofComputation_COMPUTATIONBYABSTRACTDEVICESfailure functionfactor code[INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]Büchi automatonComputerApplications_COMPUTERSINOTHERSYSTEMS[INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS]0102 computer and information sciencesavoiding a wordω-automaton01 natural sciencesfactorial languageReversible cellular automatonCombinatoricsDeterministic automatonanti-factorial languageNondeterministic finite automaton0101 mathematicsMathematicsfactor automatonPowerset constructionLevenshtein automaton010102 general mathematicsforbidden wordComputer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing)16. Peace & justiceNonlinear Sciences::Cellular Automata and Lattice GasesTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES010201 computation theory & mathematicsProbabilistic automatonPhysics::Accelerator PhysicsComputer Science::Programming LanguagesHigh Energy Physics::ExperimentComputer Science::Formal Languages and Automata Theory
researchProduct

Automaton (Semi)groups (Basic Concepts)

2018

In this paper, we give an introduction to basic concepts of automaton semigroups. While we must note that this paper does not contain new results, it is focused on extended introduction in the subject and detailed examples.

TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESTheoryofComputation_COMPUTATIONBYABSTRACTDEVICES20M35 68Q70 20B35 20C32Mathematics - Group Theory
researchProduct

Some decisional problems on rational relations

1997

Abstract In this paper we prove that the problem of deciding whether a deterministic rational relation is star-free is recursively solvable, although the same problem for any rational relation is undecidable. We also prove that a rational relation is star-free if and only if it is aperiodic and deterministic.

TheoryofComputation_MISCELLANEOUSDiscrete mathematicsTheoryofComputation_COMPUTATIONBYABSTRACTDEVICESGeneral Computer ScienceTheoretical Computer ScienceUndecidable problemTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESIf and only ifAperiodic graphComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATIONAstrophysics::Solar and Stellar AstrophysicsRational relationComputer Science::Formal Languages and Automata TheoryAstrophysics::Galaxy AstrophysicsComputer Science(all)MathematicsTheoretical Computer Science
researchProduct

Physical oceanography, sea-bed photographs and videos of benthos from the Weddell Sea taken with remote operated vehicle CHEROKEE during POLARSTERN c…

2010

The marine ecosystem on the eastern shelf of the Antarctic Peninsula was surveyed 5 and 12 years after the climate-induced collapse of the Larsen A and B ice shelves. An impoverished benthic fauna was discovered, that included deep-sea species presumed to be remnants from ice-covered conditions. The current structure of various ecosystem components appears to result from extremely different response rates to the change from an oligotrophic sub-ice-shelf ecosystem to a productive shelf ecosystem. Meiobenthic communities remained impoverished only inside the embayments. On local scales, macro- and mega-epibenthic diversity was generally low, with pioneer species and typical Antarctic megabent…

Underway cruise track measurementsBottom trawlPolarsternRemote operated vehicle SPRINT 103ANT-XXIII/8Remote operated vehicle CHEROKEEPriority Programme 1158 Antarctic Research with Comparable Investigations in Arctic Sea Ice Areas (SPP1158)Agassiz TrawlCensus of Antarctic Marine Life (CAML)CTD/RosetteEvolution and Biodiversity in the Antarctic (EBA)
researchProduct

Impact of many-body correlations on the dynamics of an ion-controlled bosonic Josephson junction

2016

We investigate an atomic ensemble of interacting bosons trapped in a symmetric double well potential in contact with a single tightly trapped ion which has been recently proposed [R. Gerritsma et al., Phys. Rev. Lett. 109, 080402 (2012)] as a source of entanglement between a Bose-Einstein condensate and an ion. Compared to the previous study, the present work aims at performing a detailed and accurate many-body analysis of such combined atomic quantum system by means of the ab-initio multi-configuration time-dependent Hartree method for bosons, which allows to take into account all correlations in the system. The analysis elucidates the importance of quantum correlations in the bosonic ense…

[PHYS]Physics [physics]Condensed Matter::Quantum GasesJosephson effectPhysicsQuantum PhysicsAb initioFOS: Physical sciencesQuantum entanglementHartree01 natural sciences010305 fluids & plasmasIonMCTDHQuantum Gases (cond-mat.quant-gas)Quantum mechanics0103 physical sciencesQuantum system[CHIM]Chemical SciencesQuantum Physics (quant-ph)Condensed Matter - Quantum Gases010306 general physicsQuantumBosonPhysical Review A. General Physics
researchProduct

Detection of

2019

Circulating tumor DNA (ctDNA) has emerged as a non-invasive “liquid biopsy” for early breast cancer diagnosis. We evaluated the suitability of ctDNA analysis in the diagnosis of early breast cancer after mammography findings, comparing PIK3CA and TP53 mutations between tumor biopsies and pre-biopsy circulating DNA. Matched plasma and frozen fresh tissue biopsies from patients with Breast Imaging-Reporting and Data System (BIRADS) 4c/5 mammography findings and subsequent diagnosis of primary breast cancer were analyzed using NGS TruSeq Custom Amplicon Low Input Panel (Illumina) and plasma SafeSEQ (Sysmex Inostics). The same plasma and tumor mutations were observed in eight of 29 patients (27…

breast cancerliquid biopsymolecular profilingcirculating tumor DNA (ctDNA)Articleearly-stage cancerJournal of clinical medicine
researchProduct

Safety and efficacy of cervical disc arthroplasty in preventing the adjacent segment disease: a meta-analysis of mid- to long-term outcomes in prospe…

2019

Objectives: Cervical disc arthroplasty (CDA) has become an alternative treatment for cervical radiculopathy and myelopathy. This technique preserves appropriate motion at both the index and adjacent disc levels and consequently may prevent adjacent segment degeneration (ASD). The authors performed a meta-analysis to compare the safety and efficacy of CDA to those of the gold standard, anterior cervical discectomy and fusion (ACDF). Both surgical and clinical parameters were employed to verify the hypothesis that CDA can reduce the risk of ASD. Methods: The meta-analysis comprised high-quality randomized controlled trials that compared CDA and ACDF treatments of cervical degenerative disc di…

cervical disc arthroplastymedicine.medical_specialtyVisual analogue scalemedicine.medical_treatmentAnterior cervical discectomy and fusionReview030204 cardiovascular system & hematologylaw.inventionDegenerative disc disease03 medical and health sciencesMyelopathy0302 clinical medicineRandomized controlled triallawmedicinePharmacology (medical)030212 general & internal medicineGeneral Pharmacology Toxicology and PharmaceuticsCDDDACDFNeck painChemical Health and Safetybusiness.industrycervical degenerative disc diseaseGeneral Medicinemedicine.diseaseArthroplastySurgerymeta-analysisCDAMeta-analysisrandomized controlled trialcervical total disc replacementCTDRmedicine.symptombusinessSafety Researchanterior cervical discectomy and fusionRCTTherapeutics and Clinical Risk Management
researchProduct

Association of circulating tumor DNA (ctDNA) mutations and circulating miRNAs variations, through liquid biopsy, in Non-Small Cell Lung Cancer (NSCLC…

lung cancerliquid biopsyNSCLC; lung cancer; liquid biopsy; miRNAs; ctDNActDNANSCLCmiRNA
researchProduct

The diagnostic accuracy of PIK3CA mutations by circulating tumor DNA in breast cancer: an individual patient data meta-analysis

2022

Background: The circulating tumor DNA (ctDNA) diagnostic accuracy for detecting phosphatidylinositol 4,5-bisphosphate 3-kinase catalytic subunit alpha ( PIK3CA) mutations in breast cancer (BC) is under discussion. We aimed to compare plasma and tissue PIK3CA alterations, encompassing factors that could affect the results. Methods: Two reviewers selected studies from different databases until December 2020. We considered BC patients with matched tumor tissue and plasma ctDNA. We performed meta-regression and subgroup analyses to explore sources of heterogeneity concerning tumor burden, diagnostic technique, sample size, sampling time, biological subtype, and hotspot mutation. Pooled sensitiv…

meta-analysisbreast cancerOncologydiagnostic accuracyPIK3CActDNA
researchProduct

Pediatric radiation doses from multi-detector CT exams: preliminary results from the first 2011 Italian national survey

2012

pediatric radiationCTDI_voldosemulti-detector CTsurveySettore MED/36 - Diagnostica Per Immagini E Radioterapia
researchProduct