Search results for "Digital"

showing 10 items of 3267 documents

Quantum Finite Automata and Logics

2006

The connection between measure once quantum finite automata (MO-QFA) and logic is studied in this paper. The language class recognized by MO-QFA is compared to languages described by the first order logics and modular logics. And the equivalence between languages accepted by MO-QFA and languages described by formulas using Lindstrom quantifier is shown.

Discrete mathematicsLindström quantifierNested wordAbstract family of languagesComputer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing)Computer Science::Computational ComplexityComputer Science::Digital LibrariesAlgebraTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESMonoidal t-norm logicComputer Science::Programming LanguagesQuantum finite automataEquivalence (formal languages)T-norm fuzzy logicsComputer Science::Formal Languages and Automata TheoryAND gateMathematics
researchProduct

Introduction: Periodic Signals and Filters

2018

In this chapter we briefly outline some well-known facts about Discrete-time periodic signals, their transforms and periodic digital filters and filter banks. For details we refer to the classical textbook A. V. Oppenheim and R. W. Schafer (Discrete-Time Signal Processing, Prentice Hall, New York, 2010, [3]) and Volume I of our book (Averbuch, Neittaanmaki and Zheludev, Spline and Spline Wavelet Methods with Applications to Signal and Image Processing, Periodic Splines, vol. 1 (Springer, Berlin, 2014)) [1] Throughout the volume, unless other indicated, \(N=2^{j}, \;j\in \mathbb {N}\).

Discrete mathematicsSpline (mathematics)Signal processingSpline waveletImage processingDigital filterMathematics
researchProduct

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

The effect of wavelet and discrete cosine transform compression of digital radiographs on the detection of subtle proximal caries. ROC analysis.

2007

The study compared diagnostic performances of 2 different image compression methods: JPEG (discrete cosine transform; Joint Photographic Experts Group compression standard) versus JPEG2000 (discrete wavelet transform), both at a compression ratio of 12:1, from the original uncompressed TIFF radiograph with respect to the detection of non-cavitated carious lesions. Therefore, 100 approximal surfaces of 50 tooth pairs were evaluated on the radiographs by 10 experienced observers using a 5-point confidence scale. Observations were carried out on a standardized viewing monitor under subdued light conditions. The proportion of diseased surfaces was balanced to approximately 50% to avoid bias. Tr…

Discrete wavelet transformDental CariesSensitivity and SpecificityDiagnosis DifferentialWaveletComputer Science::MultimediaDiscrete cosine transformHumansDental EnamelGeneral DentistryLossless JPEGTransform codingMathematicsObserver VariationMicroscopybusiness.industryPattern recognitioncomputer.file_formatMicrotomyRadiography Dental DigitalData CompressionJPEGROC CurveJPEG 2000DentinArtificial intelligencebusinesscomputerAlgorithmsImage compressionCaries research
researchProduct

Digital signal processing for rail monitoring by means of ultrasonic guided waves

2007

Recent train accidents have reaffirmed the need for developing rail defect detection systems that are more effective than those used today. One of the recent developments in rail inspection is the use of ultrasonic guided waves (UGWs) and non-contact probing techniques to target transverse-type defects. Besides the obvious advantages of non-contact probing, that include robustness and a potential for large inspection speed, such a system can theoretically detect transverse defects under horizontal shelling or head checks. This paper demonstrates the effectiveness of digital signal processing to enhance the damage detection sensitivity of the non-contact system. The method proposed here comb…

Discrete wavelet transformSignal processingEngineeringGuided wave testingbusiness.industryMechanical EngineeringMetals and AlloysWaveletRail inspection Discrete Wavelet Transform Damage Index Laser Ultrasonics Air-coupled Ultrasonic Sensors.Mechanics of MaterialsRobustness (computer science)Rail inspectionMaterials ChemistryElectronic engineeringUltrasonic sensorSettore ICAR/08 - Scienza Delle CostruzionibusinessTelecommunicationsDigital signal processingInsight - Non-Destructive Testing and Condition Monitoring
researchProduct

Iconografia e rappresentazione digitale

2017

Questo studio riguarda una ricerca svolta a partire dal 2016 sul tema della valorizzazione della rappresentazione architettonica attraverso una metodologia di lettura del patrimonio che ha messo in evidenza le possibilità offerte dalla modellazione digitale nell'interpretazione dell’iconografia storica, con l’obiettivo di acquisire una maggiore consapevolezza del territorio e del fatto architettonico. Nello specifico la ricerca ha riguardato lo studio dell’iconografia relativa alle cattedrali di Palermo, Monreale e Cefalù che rientrano nell'itinerario Arabo-Normanno dichiarato dall'UNESCO “Patrimonio Mondiale dell’Umanità”. Verrà qui trattato il caso studio di Cefalù con l’obiettivo di most…

Disegno iconografia modellazione digitale itinerario Arabo-Normanno Palermo Monreale CefalùDisegno iconografia modellazione digitale itinerario arabo-normanno Palermo Monreale CefalùDisegnoiconografiamodellazione digitaleMonreale CefalùSettore ICAR/17 - Disegnoitinerario arabo-normannoPalermo
researchProduct

Un carnet de voyage digitale nella città di Akragas.

2017

L’articolo intende affrontare uno studio iconografico sulle rappresentazioni più emblematiche della città di Agrigento nelle quali i viaggiatori del Grand Tour tentarono di catturare l’essenza di quei luoghi un tempo massima sacralità del culto pagano, successivamente divenuti meta di approfondimento culturale che ispirarono l’immaginazione di disegnatori e letterati giunti in Sicilia, già a partire dal XVII secolo, per completare gli studi universitari e annotare le proprie esperienze suggellandole in quelle che Platone definiva “le forme più alte e più vere di conoscenza: le idee” per poi raccontarle attraverso itinerari grafici.

Disegno modello digitale Grand Tour itinerario grafico.Settore ICAR/17 - Disegno
researchProduct

Biografia - Oscar Niemeyer

2018

La scheda biografica ripercorre i momenti più significativi dell'attività professionale dell'architetto brasiliano Oscar Niemeyer che durante i suoi settant'anni di carriera si occupò di opere a carattere espositivo e museale, di edifici multifunzionali, di architettura sacra, di interventi paesaggistici e urbani su vasta scala e della realizzazione di case uni-familiari lavorando in Algeria, in Brasile, in Francia e in Italia.

Disegno progetto Oscar Niemeyer modellazione digitaleSettore ICAR/17 - Disegno
researchProduct

Elogio della macchina 'lenta'. Indagini digitali su Piero Bottoni

2011

Il testo evidenzia come il modello digitale sia da intendersi come "pinto di partenza" per l'analisi grafica dell'architettura e non esito finale; ad esso, infatti, si associano altri grafici, spesso non desunti dal modello, utili alla comprensione/traduzione dell'architettura. La costruzione del modello è l'esito ermeneutico e critico del disegno tendente sostanzialmente all'analisi della forma, il vero oggetto della imitazione.

DisegnoBottoniDigitaleSettore ICAR/17 - Disegno
researchProduct

Filtros Digitales (2009/2010)

2009

En esta asignatura se describen las técnicas básicas de diseño de filtros selectivos en frecuencia (FIR e IIR), las estructuras más habituales para su implementación así como las consideraciones que se deben seguir para su implementación en sistemas con aritmética finita. Finamente se introduce el problema de la modificación de la frecuencia de muestreo con un ejemplo de aplicación de los filtros digitales.

Diseño de filtros digitalesIngenieria y ArquitecturaFiltro FIRFiltro IIREfectos de precision finitaOCWFiltros digitalesUNESCO::FÍSICA::Electrónica
researchProduct