Search results for " description"

showing 10 items of 192 documents

A Proposal to estimate the roaming–dog Total in an urban area through a PPSWOR spatial sampling with sample size greater than two

2018

Settore SECS-S/05 - Statistica SocialeDogs roaming in urban areas constitute an issue for public order hygiene and health. Proper planning of actions for health and security control and allocation of financial funds require the knowledge of the roaming–dog–population size in a given urban area. Unfortunately a reliable statistical procedure aimed to measure such population is not available yet in literature. This paper presents a simple reproducible survey sampling procedure to estimate the number of roaming dogs in an urban area through the description of a real study carried out on a restricted area of the city of Palermo in southern Italy. A sample of areas is drawn by means of a drawn–by–drawn spatial sampling with probabilities proportional to size and without replacement (PPSWOR). As inclusion probabilities are not available in closed form they are estimated by Monte Carlo approach which is of simple implementation and permits design–based variance estimation even when first–order inclusion probabilities are unknown.
researchProduct

A New Model for Sigma-Delta Modulator Oriented to Digitally Controlled DC/DC Converter

2007

Recent research activities have shown the feasibility and advantages of using digital controller ICs specifically developed for high-frequency switching converters, highlighting a challenging future trend in Switched-mode power supplies (SMPS) applications. Up to a few years ago, the application of digital control for SMPS was impractical due to the high cost and low performance of DSP and microcontroller systems, even if the advantages that digital controllers offer were well known, such as immunity to analog component variations and ability to implement sophisticated control schemes and system diagnostics. Digital controller ICs potentially offer other advantages from the integrated desig…

Sigma-delta modulatorEngineeringAdaptive controlbusiness.industryBuck converterHardware description languageDelta-sigma modulationSettore ING-INF/01 - Elettronicadigital controlDC/DC converterHardware and ArchitectureMechanics of MaterialsModeling and SimulationVHDLElectronic engineeringDigital controlElectrical and Electronic EngineeringbusinessField-programmable gate arraycomputerSoftwareDigital signal processingcomputer.programming_languageInternational Journal of Modelling and Simulation
researchProduct

Natural language access to software applications

1998

This paper reports on the ESPRIT project MELISSA (Methods and Tools for Natural-Language Interfacing with Standard Software Applications)1. MELISSA aims at developing the technology and tools enabling end users to interface with computer applications, using natural-language (NL), and to obtain a precompetitive product validated in selected enduser applications. This paper gives an overview of the approach to solving (NL) interfacing problem and outlines some of the methods and software components developed in the project.

SoftwareNatural language user interfaceInterfacingbusiness.industryComputer scienceEnd userComputer ApplicationsHuman–computer interactionInterface (computing)Component-based software engineeringInterface description languageSoftware engineeringbusinessProceedings of the 36th annual meeting on Association for Computational Linguistics -
researchProduct

Euryhaline Brachionus strains (Rotifera) from tropical habitats: morphology and allozyme patterns

2006

The euryhaline rotifer Brachionus is a complex of sibling species. Although many investigations have been carried out in the past, the relationships among the Spanish species, the tropical SS strains and the clusters previously described, remained unknown. In this study, allozyme data for five populations from the tropics and two from Spanish lagoons — one of them B. ibericus and the other B. rotundiformis — were combined with data from the previous studies. Cluster analysis based on genetic distance allowed the 74 strains to be divided into two major groups. One group was associated with B. plicatilis-like strains, and the other group was associated with B. rotundiformis and B. ibericus. T…

Species descriptionGenetic distanceDendrogramZoologyRotiferEuryhalineBiologyBrachionusCladebiology.organism_classificationHydrobiology
researchProduct

Newton algorithm for Hamiltonian characterization in quantum control

2014

We propose a Newton algorithm to characterize the Hamiltonian of a quantum system interacting with a given laser field. The algorithm is based on the assumption that the evolution operator of the system is perfectly known at a fixed time. The computational scheme uses the Crank-Nicholson approximation to explicitly determine the derivatives of the propagator with respect to the Hamiltonians of the system. In order to globalize this algorithm, we use a continuation method that improves its convergence properties. This technique is applied to a two-level quantum system and to a molecular one with a double-well potential. The numerical tests show that accurate estimates of the unknown paramete…

Statistics and Probability[ MATH.MATH-OC ] Mathematics [math]/Optimization and Control [math.OC][ PHYS.QPHY ] Physics [physics]/Quantum Physics [quant-ph]Non uniquenessFOS: Physical sciencesGeneral Physics and AstronomyQuantum controlsymbols.namesake[PHYS.QPHY]Physics [physics]/Quantum Physics [quant-ph]Fixed time[ CHIM.OTHE ] Chemical Sciences/OtherQuantum systemNumerical testsMathematical PhysicsMathematicsQuantum PhysicsPropagatorStatistical and Nonlinear PhysicsNMRContinuation methodModeling and Simulationsymbolsinverse problemidentification02.30.Yy Control theory02.30.Tb Operator theory42.50.Ct Quantum description of interaction of light and matter; related experiments02.60.Cb Numerical simulation; solution of equations03.65.Ge Solutions of wave equations: bound states02.30.Mv Approximations and expansions[MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]Quantum Physics (quant-ph)Hamiltonian (quantum mechanics)[CHIM.OTHE]Chemical Sciences/OtherAlgorithmcontrol
researchProduct

Two-dimensional filters for structured text

1997

The paper introduces a method for defining filters for structured text. In the method, the text structure is originally defined by a grammar consisting of a set of productions. To describe the information interests, a two-dimensional template is first created interactively from the grammar to show the structure of a set of textual elements, at a chosen level of detail. The template depicts the hierarchical structure of the elements and indicates also optionality, alternatives, and iteration in the structure. Then, the template is filled by constraints and annotations. The constraints allow giving conditions to the content of parts, to the position of parts in an ordered set of parts, and to…

Structure (mathematical logic)Document Structure DescriptionTheoretical computer scienceProperty (programming)Computer sciencebusiness.industryLevel of detail (writing)Library and Information SciencesManagement Science and Operations ResearchComputer Science ApplicationsSet (abstract data type)Formal grammarStructured textMedia TechnologybusinessInformation SystemsGraphical user interfaceInformation Processing & Management
researchProduct

Process Drama Based Information Management for Assessment and Classification in Learning

2013

In this chapter we present a formal description of information management for assessment and classification in learning. The description is supported by a structure related to drama process for learning. Our logic follows the idea of invoking uncertainties using underlying categories, and the language of processes in ‘drama process’ is taken to be BPMN (Business Process Modelling Notation).

Structure (mathematical logic)Information managementProcess modelingManagement sciencebusiness.industryComputer scienceProcess (engineering)computer.software_genreBusiness Process Model and NotationProcess dramaArtificial intelligencebusinesscomputerFormal descriptionNatural language processingDrama
researchProduct

Analysis of the influence of processor hidden registers on the accuracy of fault injection techniques

2004

Modern processors tend to increase the number of registers, being part of them not accessible by the instruction set. Traditionally, the effect of faults in these hidden registers has not been considered during system validation using fault injection. In this paper, a study of the importance of faults in hidden registers is performed. Firstly, we have analysed the sensitivity of hidden registers to faults in combinational logic. In a second phase, we have analysed the impact of the faults occurred in hidden registers on system behaviour. A broad set of permanent and transient faults have been injected into the models of two typical commercial microcontrollers, using a VHDL-based fault injec…

Stuck-at faultInstruction setCombinational logicComputer scienceFault coverageVHDLHardware description languageHardware_PERFORMANCEANDRELIABILITYParallel computingFault injectionFault modelcomputercomputer.programming_languageProceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940)
researchProduct

Toward a density functional description of liquid pH2.

2010

A finite-temperature density functional approach to describe the properties of parahydrogen in the liquid-vapor coexistence region is presented. The first proposed functional is zero-range, where the density-gradient term is adjusted so as to reproduce the surface tension of the liquid-vapor interface at low temperature. The second functional is finite-range and, while it is fitted to reproduce bulk pH2 properties only, it is shown to yield surface properties in good agreement with experiments. These functionals are used to study the surface thickness of the liquid-vapor interface, the wetting transition of parahydrogen on a planar Rb model surface, and homogeneous cavitation in bulk liquid…

Surface (mathematics)Chemical Physics (physics.chem-ph)Statistical Mechanics (cond-mat.stat-mech)Yield surfaceChemistryThermodynamicsFOS: Physical sciencesFísicaCondensed Matter - Soft Condensed MatterSpin isomers of hydrogenFunctional descriptionSurface tensionPhysics::Fluid DynamicsPlanarWetting transitionPhysics - Chemical PhysicsCavitationPhysics::Atomic and Molecular ClustersSoft Condensed Matter (cond-mat.soft)Physical and Theoretical ChemistryCondensed Matter - Statistical MechanicsThe journal of physical chemistry. A
researchProduct

Modeling and simulation of a digital control design approach for power supply systems

2006

Electronic designers need to model and simulate system features as close as possible to its effective behaviour. Moreover, today, electronics systems are often composed of mixed analog and digital components. The increasing complexity has led to the use of different simulation softwares, each one specific for a particular level of abstraction: mathematical, circuital, behavioural, etc. In order to simulate the entire system these softwares should work together: co-simulation is necessary for digitally controlled power electronics systems. In this paper, the modeling of a digitally controlled switching power supply system using MATLAB/Simulink, ALDEC Active-HDL and Powersys PSIM is presented…

Switched-mode power supplyComputer sciencedesign approachHardware description languagemodelingControl engineeringsimulationdigital controlModeling and simulationpower supplyPower electronicsVHDLElectronic engineeringDigital controlco-simulationElectronicsMATLABcomputercomputer.programming_language2006 IEEE Workshops on Computers in Power Electronics
researchProduct