Search results for "RESOLUTION"

showing 10 items of 1928 documents

Stakeholders’ Attitudes about the Transplantations of the Mediterranean Seagrass Posidonia oceanica as a Habitat Restoration Measure after Anthropoge…

2021

Anthropogenic impacts on Posidonia oceanica meadows have led to a decline of this ecosystem throughout the Mediterranean. Transplantations have often been prescribed as a compensation measure to mitigate the impacts caused by coastal maritime works. Here a Q methodology approach was used to investigate the stakeholders’ attitudes in four case studies of P. oceanica transplants realized in Italian waters. Twenty-two respondents were asked to score 37 statements, and the resultant Q-sorting was analyzed via an inverse PCA using the KADE software. Four discourses, corresponding to the significant axes in the factorial analysis were identified: science and conservation (F1), oriented at a rigor…

Compensation measures Conflict resolution Environmental governance Environmental impact Stakeholders’ perceptionSettore BIO/07Geography Planning and DevelopmentFour discoursesTJ807-830Management Monitoring Policy and LawTD194-195environmental impactRenewable energy sourcesGE1-350Environmental impact assessmentstakeholders’ perceptionconflict resolutionRestoration ecologycompensation measuresEnvironmental effects of industries and plantsbiologyRenewable Energy Sustainability and the Environmentbusiness.industryEnvironmental resource managementenvironmental governancecompensation measures; stakeholders’ perception; environmental impact; environmental governance; conflict resolutionbiology.organism_classificationEnvironmental sciencesSeagrassGeographyEnvironmental governancePosidonia oceanicaEnvironmentalismMediationbusinessSustainability
researchProduct

Some techniques for improving the resolution of finite difference component-wise WENO schemes for polydisperse sedimentation models

2014

Polydisperse sedimentation models can be described by a system of conservation laws for the concentration of each species of solids. Some of these models, as the Masliyah-Locket-Bassoon model, can be proven to be hyperbolic, but its full characteristic structure cannot be computed in closed form. Component-wise finite difference WENO schemes may be used in these cases, but these schemes suffer from an excessive diffusion and may present spurious oscillations near shocks. In this work we propose to use a flux-splitting that prescribes less numerical viscosity for component-wise finite difference WENO schemes. We compare this technique with others to alleviate the diffusion and oscillatory be…

Computational MathematicsNumerical AnalysisConservation lawWork (thermodynamics)ViscositySedimentation (water treatment)Component (thermodynamics)Applied MathematicsMathematical analysisFinite differenceDiffusion (business)Resolution (algebra)MathematicsApplied Numerical Mathematics
researchProduct

An advanced variant of an interpolatory graphical display algorithm

2004

In this paper an advanced interpolatory graphical display algorithm based on cardinal B-spline functions is provided. It is well-known that B-spline functions are a flexible tool to design various scale rapresentations of a signal. The proposed method allows to display without recursion a function at any desiderable resolution so that only initial data and opportune vectors weight are involved. In this way the structure of the algorithm is independent across the scale and a computational efficiency is reached. In this paper mono and bi-dimensional vectors weight generated by means of centered cubic cardinal B-spline functions have been supplied. (© 2004 WILEY-VCH Verlag GmbH & Co. KGaA, Wei…

Computational complexity theoryScale (ratio)Computer scienceSIGNAL (programming language)Structure (category theory)Recursion (computer science)Ocean EngineeringGraphical displayFunction (mathematics)Resolution (logic)Algorithm
researchProduct

Towards High Resolution Computational Models of the Cardiac Conduction System: A Pipeline for Characterization of Purkinje-Ventricular-Junctions

2011

The cardiac conduction system (CCS) has been in the spot light of the clinical and modeling community in recent years because of its fundament role in physiology and pathophysiology of the heart. Experimental research has focused mainly on investigating the electrical properties of the Purkinje-ventricular-junctions (PVJs). The structure of the PVJs has only been described through schematic drawings but not thoroughly studied. In this work confocal microscopy was used with the aim of three-dimensional characterization of PVJs. Adult rabbit hearts were labeled with fluorescent dyes, imaged with confocal microscopy and Purkinje fibers differentiated from other cardiac tissue by their lack of …

Computational modelMaterials sciencePurkinje fibersCardiac electrophysiologyPipeline (computing)Resolution (electron density)Anatomylaw.inventionmedicine.anatomical_structureConfocal microscopylawRegion growingmedicineElectrical conduction system of the heartBiomedical engineering
researchProduct

On the stability of spline-collocation methods of multivalue type

1987

In this paper the general classV of spline-collocation methods for first order systems of ordinary differential equations is investigated. The methods can in part be regarded as so-called multivalue methods. This type contains the generalized singly-implicit methods treated by Butcher.

Computer Networks and CommunicationsDifferential equationApplied MathematicsMathematical analysisStability (learning theory)Type (model theory)Computational MathematicsSpline collocationCollocation methodOrdinary differential equationApplied mathematicsFundamental Resolution EquationMultiValueSoftwareMathematicsBIT
researchProduct

A low power and high resolution data logger for submarine seismic monitoring

2010

The design, implementation and characterization of a digital waveform recorder for ocean bottom seismic monitoring is here reported. The system is capable of synchronously acquiring, and logging on a flash memory bank, four high resolution signals. Thanks to a very careful design of the system architecture and by using robust digital signal processing techniques, two main conflicting issues have been addressed: a high dynamic range, better than 120 dB, usually obtained with high energy demanding converters, and a power consumption as low as 250 mW, hence allowing to easily increase the time of a continuous submarine monitoring session up to 3 months.

Computer Networks and Communicationsbusiness.industryComputer scienceSubmarineDigital filteringSettore ING-INF/01 - ElettronicaArtificial IntelligenceHardware and ArchitectureData loggerLow powerHigh resolution data acquisitionWaveformbusinessEmbedded systemSoftwareDigital signal processingComputer hardwareSeismic recording
researchProduct

Modular Strategies for Recursive Game Graphs

2006

AbstractMany problems in formal verification and program analysis can be formalized as computing winning strategies for two-player games on graphs. In this paper, we focus on solving games in recursive game graphs which can model the control flow in sequential programs with recursive procedure calls. While such games can be viewed as the pushdown games studied in the literature, the natural notion of winning in our framework requires the strategies to be modular with only local memory; that is, resolution of choices within a module does not depend on the context in which the module is invoked, but only on the history within the current invocation of the module. While reachability in (global…

Computer Science::Computer Science and Game TheoryTheoretical computer scienceGeneral Computer ScienceCombinatorial game theoryContext (language use)02 engineering and technology0102 computer and information sciences01 natural sciencesTheoretical Computer ScienceProgram analysisReachability0202 electrical engineering electronic engineering information engineering0101 mathematicsMathematicsbusiness.industry010102 general mathematics020207 software engineeringPushdown systemsResolution (logic)Modular designCall graphUndecidable problemModel-checkingGames in verification010201 computation theory & mathematicsbusinessComputer Science(all)
researchProduct

Integer Weighted Regression Tsetlin Machines

2020

The Regression Tsetlin Machine (RTM) addresses the lack of interpretability impeding state-of-the-art nonlinear regression models. It does this by using conjunctive clauses in propositional logic to capture the underlying non-linear frequent patterns in the data. These, in turn, are combined into a continuous output through summation, akin to a linear regression function, however, with non-linear components and binary weights. However, the resolution of the RTM output is proportional to the number of clauses employed. This means that computation cost increases with resolution. To address this problem, we here introduce integer weighted RTM clauses. Our integer weighted clause is a compact r…

Computer scienceComputationBinary numberResolution (logic)Representation (mathematics)Nonlinear regressionUnit-weighted regressionAlgorithmComputer Science::Formal Languages and Automata TheoryInteger (computer science)Interpretability
researchProduct

Experiencing with electronic image stabilization and PRNU through scene content image registration

2021

Abstract This paper explores content-based image registration as a means of dealing with and understanding better Electronic Image Stabilization (EIS) in the context of Photo Response Non-Uniformity (PRNU) alignment. A novel and robust solution to extrapolate the transformation relating the different image output formats for a given device model is proposed. This general approach can be adapted to specifically extract the scale factor (and, when appropriate, the translation) so as to align native resolution images to video frames, with or without EIS on, and proceed to compare PRNU patterns. Comparative evaluations show that the proposed approach outperforms those based on brute-force and p…

Computer scienceElectronic image stabilizationImage registrationContext (language use)Camera and video source identification02 engineering and technology01 natural sciencesMultimedia forensicsArtificial Intelligence0103 physical sciences0202 electrical engineering electronic engineering information engineeringComputer vision010306 general physicsImage registrationSettore ING-INF/05 - Sistemi Di Elaborazione Delle InformazioniNative resolutionImage registration Electronic Image Stabilization PRNU Camera and video source identification Multimedia forensicsSettore INF/01 - Informaticabusiness.industryPRNUTracking systemScale factorImage stabilizationIdentification (information)Transformation (function)Signal Processing020201 artificial intelligence & image processingComputer Vision and Pattern RecognitionArtificial intelligencebusinessSoftware
researchProduct

On the application of the generalized means to construct multiresolution schemes satisfying certain inequalities proving stability

2021

Multiresolution representations of data are known to be powerful tools in data analysis and processing, and they are particularly interesting for data compression. In order to obtain a proper definition of the edges, a good option is to use nonlinear reconstructions. These nonlinear reconstruction are the heart of the prediction processes which appear in the definition of the nonlinear subdivision and multiresolution schemes. We define and study some nonlinear reconstructions based on the use of nonlinear means, more in concrete the so-called Generalized means. These means have two interesting properties that will allow us to get associated reconstruction operators adapted to the presence o…

Computer scienceGeneral Mathematicslcsh:MathematicsStability (learning theory)010103 numerical & computational mathematicsConstruct (python library)Classification of discontinuitiesstability analysislcsh:QA1-93901 natural sciences010101 applied mathematicsNonlinear systemTensor productmultiresolutionScheme (mathematics)Computer Science (miscellaneous)Applied mathematicsnonlinearmeansGeneralized mean0101 mathematicssubdivision schemeEngineering (miscellaneous)data compressionData compression
researchProduct