Search results for "oftware"

showing 10 items of 7396 documents

Forbidden Factors and Fragment Assembly

2001

In this paper methods and results related to the notion of minimal forbidden words are applied to the fragment assembly problem. The fragment assembly problem can be formulated, in its simplest form, as follows: reconstruct a word w from a given set I of substrings (fragments ) of a word w . We introduce an hypothesis involving the set of fragments I and the maximal length m(w) of the minimal forbidden factors of w . Such hypothesis allows us to reconstruct uniquely the word w from the set I in linear time. We prove also that, if w is a word randomly generated by a memoryless source with identical symbol probabilities, m(w) is logarithmic with respect to the size of w . This result shows th…

CombinatoricsSet (abstract data type)Fragment (logic)LogarithmDeterministic automatonSymbol (programming)General MathematicsTime complexitySoftwareWord (computer architecture)SubstringComputer Science ApplicationsMathematicsRAIRO - Theoretical Informatics and Applications
researchProduct

The best choice problem with an unknown number of objects

1993

The secretary problem with a known prior distribution of the number of candidates is considered. Ifp(i)=p(N=i),i ∈ [α, β] ∩ ℕ, whereα=inf{i ∈ℕ:p(i) > 0} andβ=sup{i ∈ℕ:p(i)≳0}, is the prior distribution of the numberN of candidates it will be shown that, if the optimal stopping rule is of the simple form, then the optimal stopping indexj=minΓ satisfies asymptotically (asβ → ∞) the equationj=exp $${{\left[ {\left( {\sum\limits_{i = max(\alpha ,j)}^\beta {p(i) \log (i)/i} } \right)} \right]} \mathord{\left/ {\vphantom {{\left[ {\left( {\sum\limits_{i = max(\alpha ,j)}^\beta {p(i) \log (i)/i} } \right)} \right]} {\left. {\left( {\sum\limits_{i = max(\alpha ,j)}^\beta {p(i)/i} } \right) - 1} \ri…

CombinatoricsStopping setGeneral MathematicsStopping ruleCalculusOptimal stopping ruleManagement Science and Operations ResearchChoice problemSoftwareMathematicsZOR Zeitschrift f�r Operations Research Methods and Models of Operations Research
researchProduct

On embedding Boolean as a subtype of integer

1990

CombinatoricsTheoretical computer scienceComputer scienceEmbeddingBoolean expressionConstraint satisfactionComputer Graphics and Computer-Aided DesignSoftwareInteger (computer science)ACM SIGPLAN Notices
researchProduct

ICT for Consumers or Human Beings

2011

The large scale deployment of mobile applications inevitably impacts upon our culture as a whole and affects more intimately our daily lives. Not all of these effects are desirable. In a market economy, ethical issues are not the most important drivers in the development of technology. In this chapter, the authors ask whether the mobile human-computer interaction community could take an active role in discussing ethical issues. In so doing as a community we could focus our attention on developing technology for ‘human beings’ rather than fine tuning our emerging gadgets.

CommerceEthical issuesbusiness.industryInformation and Communications TechnologySoftware deploymentScale (social sciences)Internet privacybusiness
researchProduct

TERMITE: AnRscript for fast reduction of laser ablation inductively coupled plasma mass spectrometry data and its application to trace element measur…

2017

RATIONALE High spatial resolution Laser Ablation Inductively Coupled Plasma Mass Spectrometry (LA-ICPMS) determination of trace element concentrations is of great interest for geological and environmental studies. Data reduction is a very important aspect of LA-ICP-MS, and several commercial programs for handling LA-ICPMS trace element data are available. Each of these software packages has its specific advantages and disadvantages. METHODS Here we present TERMITE, an R script for the reduction of LA-ICPMS data, which can reduce both spot and line scan measurements. Several parameters can be adjusted by the user, who does not necessarily need prior knowledge in R. Currently, ten reference m…

Commercial software010504 meteorology & atmospheric sciencesbusiness.industryChemistrySample (material)Organic ChemistryTrace elementAnalytical chemistry010502 geochemistry & geophysics01 natural sciencesAnalytical ChemistryReduction (complexity)Grubbs' test for outliersSoftwareCalibrationbusinessProcess engineeringSpectroscopy0105 earth and related environmental sciencesData reductionRapid Communications in Mass Spectrometry
researchProduct

Compensation of the impact of low-cost manufacturing techniques in the design of E-plane multiport waveguide junctions

2016

In this work, a full-wave tool for the accurate analysis and design of compensated E-plane multiport junctions is proposed. The implemented tool is capable of evaluating the undesired effects related to the use of low-cost manufacturing techniques, which are mostly due to the introduction of rounded corners in the cross section of the rectangular waveguides of the device. The obtained results show that, although stringent mechanical effects are imposed, it is possible to compensate for the impact of the cited low-cost manufacturing techniques by redesigning the matching elements considered in the original device. Several new designs concerning a great variety of E-plane components (such as …

Commercial softwareComputer scienceNumerical analysisBoundary (topology)020206 networking & telecommunications02 engineering and technologyCondensed Matter PhysicsFinite element methodlaw.inventionCompensation (engineering)Cross section (physics)020210 optoelectronics & photonicslaw0202 electrical engineering electronic engineering information engineeringElectronic engineeringGeneral Earth and Planetary SciencesOriginal DeviceElectrical and Electronic EngineeringWaveguideRadio Science
researchProduct

Implementación y uso clínico de la radioterapia adaptativa. Informe del grupo de trabajo de radioterapia adaptativa de la Sociedad Española de Física…

2021

La radioterapia adaptativa (Adaptive Radiation Therapy, ART) se puede definir como la modificación del plan de tratamiento administrado a un paciente durante el curso de la radioterapia para tener en cuenta los cambios en la anatomía.
 La aplicación de ART supone un cambio en el proceso radioterápico que implica el uso de numerosos recursos adicionales, no estando implementada de forma general. Así, aun tratándose de una idea introducida hace más de 20 años, todavía a fecha de hoy son objeto de estudio muchos de los aspectos que definen la ART: la decisión de proceder a la nueva planificación del tratamiento, el momento óptimo para adaptar el plan, el umbral dosimétrico o anatómico que…

Commercial softwareComputer sciencebusiness.industryProcess (engineering)Principal (computer security)Ocean EngineeringIdentification (information)SoftwareKey (cryptography)Safety Risk Reliability and QualitySoftware engineeringbusinessRadiation treatment planningAdaptation (computer science)Revista de Física Médica
researchProduct

SU-E-T-176: Commissiong and Initial Clinical Experience with Dosimetry Check, a Commercial Software for in Vivo Volumetric Dosimetry

2013

Purpose: The aim of this work is to study the differences of reference point doses between the commercial EPID based dosimetry software Dosimetry Check (DC) and TPS to establish an accuracy level of the system, to evaluate its use in clinical routine and to obtain results for the first patients. Methods: We used DC v.3.8 (Math Resolutions), two Varian Clinac iX accelerators equipped with EPID aS1000 and Eclipse v.10.0 with AAA algorithm. Several plans with and without air gap were generated over the phantoms: MP1 Water Tank and Solid Octavius 4D (PTW). 5 head and neck, 3 lung and 4 prostate cases were selected for clinical evaluation. We compared the calculated dose at the isocenter and in …

Commercial softwareComputer sciencebusiness.industryTotal doseIsocenterDosimetryGeneral MedicineNuclear medicinebusinessImaging phantomImage-guided radiation therapyMedical Physics
researchProduct

DAQs-based wattmeters for high accuracy measurements. Comparison with the Italian power primary standard

2013

Abstract This paper is focused on the use of data acquisition boards (DAQs) for the development of high accuracy PC-based instruments for the measurements of electrical power. The proposed systems are simple, portable and low cost because they are based on commercial data acquisition boards (DAQs) connected to a common personal computer. Data processing is carried out by a commercial software based on an interpolating windowed FFT. In the paper it is shown how the voltage can be sensed directly, thanks to the DAQ input range, thus avoiding expensive voltage dividers. The set up of the DAQs-based solutions is described and the evaluation of their metrological features is made by means of a c…

Commercial softwareData processingEngineeringbusiness.industryApplied MathematicsVoltage dividerPower measurement Data acquisition Wattmeters Power system measurement Sampled data system PC-based instrumentCondensed Matter PhysicsData acquisitionVoltmeterPrimary standardPersonal computerElectronic engineeringElectric powerElectrical and Electronic EngineeringbusinessSettore ING-INF/07 - Misure Elettriche E ElettronicheInstrumentationMeasurement
researchProduct

Rigorous Multimode Equivalent Network Representation of Multilayer Planar Circuits

2018

The objective of this paper is to extend the use of the Multimode Equivalent Network formulation, originally developed to analyze waveguide junctions, to the analysis of planar circuits that include arbitrary rectangular printed, zero thickness metallizations together with internal and external ports in the transverse plane. The theoretical derivations lead to an accurate and computationally efficient tool for the analysis of boxed, multilayer microwave printed circuits. In addition to theory, the tool developed is used here to analyze two practical examples: a dual-bandpass and a 4-pole bandpass boxed microstrip filters. Good agreement with respect to commercial software tools and measurem…

Commercial softwareMulti-mode optical fiberComputer science020206 networking & telecommunications02 engineering and technologyPlanar circuitsTopologyWaveguide (optics)MicrostripPrinted circuit boardPlanarBand-pass filterTeoría de la Señal y ComunicacionesMultimode Equivalent Network (MEN)Hardware_INTEGRATEDCIRCUITS0202 electrical engineering electronic engineering information engineeringElectromagnetismoElectronic circuit2018 IEEE MTT-S International Conference on Numerical Electromagnetic and Multiphysics Modeling and Optimization (NEMO)
researchProduct