Search results for "Crete"

showing 10 items of 2495 documents

Molecular shape analysis based upon the morse-smale complex and the connolly function

2003

Docking is the process by which two or several molecules form a complex. Docking involves the geometry of the molecular surfaces, as well as chemical and energetical considerations. In the mid-eighties, Connolly proposed a docking algorithm matching surface knobs with surface depressions. Knobs and depressions refer to the extrema of the Connolly function, which is defined as follows. Given a surface M bounding a three-dimensional domain X, and a sphere S centered at a point p of M, the Connolly function is equal to the solid angle of the portion of S containing within X.We recast the notions of knobs and depressions in the framework of Morse theory for functions defined over two-dimensiona…

Maxima and minimasymbols.namesakePure mathematicsEuler's formulasymbolsSolid angleDiscrete Morse theoryVector fieldPolygon meshGeometryTime complexityMorse theoryMathematicsProceedings of the nineteenth annual symposium on Computational geometry
researchProduct

The completely distributive lattice of machine invariant sets of infnite words

2007

Mealy machineDiscrete mathematicsAlgebra and Number TheoryApplied MathematicsDistributive latticeInvariant (mathematics)Completely distributive latticeBirkhoff's representation theoremCongruence lattice problemMathematicsDiscussiones Mathematicae - General Algebra and Applications
researchProduct

Some Algebraic Properties of Machine Poset of Infinite Words

2008

The complexity of infinite words is considered from the point of view of a transformation with a Mealy machine that is the simplest model of a finite automaton transducer. We are mostly interested in algebraic properties of the underlying partially ordered set. Results considered with the existence of supremum, infimum, antichains, chains and density aspects are investigated.

Mealy machineDiscrete mathematicsFinite-state machineGeneral MathematicsEssential supremum and essential infimumInfimum and supremumComputer Science ApplicationsTransformation (function)Chain (algebraic topology)Point (geometry)Partially ordered setComputer Science::Formal Languages and Automata TheorySoftwareMathematicsRAIRO - Theoretical Informatics and Applications
researchProduct

Stabilization of discrete-time systems with stochastic sampling

2012

This paper is concerned with the stabilization problem of discrete-time systems with stochastic sampling. It is assumed that there are a single-rate sampling in the plant input and two stochastic sampling rates in the controller input whose occurrence probabilities are given constants and satisfy a Bernoulli distribution. By Lyapunov function approach, a new sufficient condition is presented for the mean square asymptotic stability of the system. Based on this, the design procedure for stabilization controllers is proposed. Finally, an example is given to demonstrate the effectiveness of the proposed techniques.

Mean squareLyapunov functionsymbols.namesakeExponential stabilityDiscrete time and continuous timeRobustness (computer science)Bernoulli distributionStochastic processControl theorysymbolsSampling (statistics)Mathematics2012 7th IEEE Conference on Industrial Electronics and Applications (ICIEA)
researchProduct

Wittgenstein a la luz de Aristóteles

2008

This paper compares the way Aristotle explains how one body gets alive or the way one mind manages to understand, with the way Wittgenstein discusses some questions as how is it possible to get meaning from the sign, or to follow a rule. The paper’s goal is not to establish a real influence of Aristotle on Wittgenstein, but to explore some logical aspects of their explanation patterns, with the aim of clarifying several notions of Wittgenstein’s later philosophy. El artículo compara el modo como Aristóteles explica que un cuerpo llegue a vivir o que una mente llegue a entender, con el esquema explicativo que emplea Wittgenstein para dar cuenta de problemas como éstos: ¿qué hace posible que …

MeaningUnderstandingVidalcsh:Philosophy (General)Language’s gameComprensiónFilosofialcsh:Speculative philosophyUsoUniversal concretoConcrete universalLifeConeixement Teoria delSignificadoFilosofíalcsh:BD10-701Uselcsh:B1-5802Historia de la FilosofíaJuego de lenguaje
researchProduct

A low cost and easy re-configurable instrument for power quality survey

2004

In this document the development of a low cost and user friendly PC-based instrument for power quality measurement is proposed, according to IEC 61000-4-7 and standard IEC 61000-4-30. It is an easily re-configurable instrument able to measure harmonics, interharmonics and amplitude disturbances and supply unbalance. In order to verify its accuracy, the instrument has been tested according standard test procedures, by means of a built-up calibration test bench.

Measure (data warehouse)Total harmonic distortionEngineeringUser Friendlybusiness.industryElectromagnetic compatibilityDiscrete Fourier transformsReliability engineeringspectral leakageHarmonicsCalibrationElectronic engineeringPower qualityFrequency estimationbusinessVoltageProceedings of the 21st IEEE Instrumentation and Measurement Technology Conference (IEEE Cat. No.04CH37510)
researchProduct

A Digital Watermarking Algorithm Based on DCT: Application on Medical Image

2012

International audience; This work is a presentation of a new approach of robust watermarking applied in medical domain such as telemedicine hence the need to keep the visual aspect of medical images and other conservation of the various data substituted. For hiding information, the proposed method uses the Discrete Cosine Transform (DCT) space. To control identification and eventually the correction (if possible) of the data inserted, it should be noted that we used the series turbocode to recover the data inserted and after application of several attacks.

Medical image[INFO.INFO-TI] Computer Science [cs]/Image Processing [eess.IV]Telemedicine.[INFO.INFO-TI]Computer Science [cs]/Image Processing [eess.IV]SHA-1[ INFO.INFO-TI ] Computer Science [cs]/Image Processingserial turbocodeTelemedicineDiscrete Cosine Transform
researchProduct

A Watermarking of Medical Image : New Approach Based On "Multi-Layer" Method

2011

In order to contribute to security sharing and transmission of medical images, this paper propose a new approach for Watermarking image based on the techniques of Code Division Multiple Access (CDMA), Discrete Wavelet transform (DWT) and Error Correcting Code (ECC). The motivation of this approach is to improve the quantity of data integration with the conservation of the image visual quality. Therefore, this work permits to the user the capacity to correct the possible alterations if it exists. IRM and Echographic medical image are used to experiment this approach.

Medical image[INFO.INFO-TI] Computer Science [cs]/Image Processing [eess.IV][INFO.INFO-TI]Computer Science [cs]/Image Processing [eess.IV]Error Correcting CodeCode Division Multiple Access[ INFO.INFO-TI ] Computer Science [cs]/Image ProcessingComputingMethodologies_IMAGEPROCESSINGANDCOMPUTERVISIONWatermarkingDiscrete Wavelet transformMedical image.
researchProduct

ChemInform Abstract: Synthesis, Structure and Properties of [Cr2(PS4)4]6-; the First Discrete Transition Metal Cluster from Thiophosphate Flux Reacti…

2010

Metalchemistry.chemical_compoundDiscrete transitionChemistryChemical physicsvisual_artvisual_art.visual_art_mediumStructure (category theory)Cluster (physics)General MedicineFlux (metabolism)ThiophosphateChemInform
researchProduct

The Integrated Nested Laplace Approximation for fitting Dirichlet regression models

2022

This paper introduces a Laplace approximation to Bayesian inference in Dirichlet regression models, which can be used to analyze a set of variables on a simplex exhibiting skewness and heteroscedasticity, without having to transform the data.These data, which mainly consist of proportions or percentages of disjoint categories, are widely known as compositional data and are common in areas such as ecology, geology, and psychology. We provide both the theoretical foundations and a description of how Laplace approximation can be implemented in the case of Dirichlet regression.The paper also introduces the package dirinla in the R-language that extends the RINLA package, which can not deal dire…

Methodology (stat.ME)FOS: Computer and information sciencesStatistics and ProbabilityDiscrete Mathematics and CombinatoricsStatistics Probability and UncertaintyStatistics - ComputationComputation (stat.CO)Statistics - Methodology
researchProduct