Search results for "complexi"

showing 10 items of 1116 documents

Matrix-based complexity functions and recognizable picture languages

2008

MatriceSettore INF/01 - InformaticaPicture LanguageComplexity functionsAutomata
researchProduct

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

A methodology for the reduction of imprecision in the engineering process

1997

Abstract Engineering design is characterized by a high level of imprecision, vague parameters, and ill-defined relationships. In design, imprecision reduction must occur to arrive at a final product specification. Few design systems exist for adequately representing design imprecision, and formally reducing it to precise values. Fuzzy set theory has considerable potential for addressing the imprecision in design. However, it lacks a formal methodology for system development and operation. One repercussion of this is that imprecision reduction is, at present, implemented in a relatively ad-hoc manner. The main contribution of this paper is to introduce a methodology called precision converge…

Measure (data warehouse)Information Systems and ManagementGeneral Computer ScienceHierarchy (mathematics)Concurrent engineeringComputer scienceFuzzy setManagement Science and Operations ResearchIndustrial and Manufacturing EngineeringReliability engineeringReduction (complexity)Modeling and SimulationProduct (mathematics)Engineering design processAlgorithmEuropean Journal of Operational Research
researchProduct

Research on complement: old issues revisited and a novel sphere of influence

2003

Immunology in recent years has taken a somewhat surprising turn, expressed by a renewed interest in innate immunity. Especially intriguing is the regulatory role exerted by the innate components on the adaptive response, with Toll receptors and complement components being the most investigated. This function has been firmly established for complement protein CR2 (CD21) as part of the BCR co-receptor CD19/CD21/CD81. New findings are now providing a broader picture of complement and its tuning of the immune response; for example, complement proteins have been implicated in the control of T-cell-mediated responses. We will review some of these data here and summarize new discoveries in areas o…

Membrane GlycoproteinsInnate immune systemT-LymphocytesImmunologychemical and pharmacologic phenomenaComplement System ProteinsComplement C1 Inactivator ProteinsBiologyImmunity InnateComplement componentsComplement systemComplement (complexity)Membrane Cofactor ProteinImmune systemAntigens CDComplement Factor HImmunologyAnimalsHumansImmunology and AllergyKidney DiseasesSphere of influenceComplement C1 Inhibitor ProteinSerpinsTrends in Immunology
researchProduct

A fuzzy approach to the evaluation of image complexity

2009

The inherently multidimensional problem of evaluating the complexity of an image is of a certain relevance in both computer science and cognitive psychology. Computer scientists usually analyze spatial dimensions in order to deal with automatic vision problems, such as feature extraction. Psychologists seem more interested in the temporal dimension of complexity, as a means to explore attentional models. Is it possible to define, by merging both approaches, a more general index of visual complexity? The aim of this paper is the definition of objective measures of image complexity that fits with the so named perceived time. Towards the end we have defined a fuzzy mathematical model of visual…

Mental clockSettore INF/01 - InformaticaLogicbusiness.industryFuzzy setFeature extractionInformation processingComplexityFuzzy control systemFuzzy logicCorrelationComplexity indexFuzzy entropyInternal clockArtificial IntelligenceFuzzy setEntropy (information theory)Image analysiArtificial intelligencebusinessMathematicsFuzzy Sets and Systems
researchProduct

Aquapentachlororhenate(iv): a singular and promising building block for metal assembly

2015

The novel ReIV compound of formula PPh4[ReIVCl5(H2O)] (1) is the first example of a ReIV compound containing a coordinated water molecule which has been magnetostructurally studied.

MetalChemistryStereochemistryTheoryofComputation_ANALYSISOFALGORITHMSANDPROBLEMCOMPLEXITYGeneral Chemical EngineeringBlock (telecommunications)visual_artvisual_art.visual_art_mediumMoleculeGeneral ChemistryCombinatorial chemistryRSC Advances
researchProduct

ChemInform Abstract: Hf27Si6P10, a Novel Metal-Rich Compound with P2 Groups.

2010

The new ternary metal rich compound Hf27Si6P10 has been synthesized by reduction of HfP with Hf and Si; Hf27Si6P10 crystallizes in a new structure type, a characteristic and unexpected feature of which is the presence of P2 groups; the structural results are interpreted with the aid of high-level band structure calculations.

MetalReduction (complexity)CrystallographyChemistryFeature (computer vision)visual_artvisual_art.visual_art_mediumGeneral MedicineStructure typeTernary operationElectronic band structureChemInform
researchProduct

A two-step method for the purification of C1

1972

Verschiedene Parameter fur die Ausfallung der C1-enthaltenden Euglobulinfraktion aus Serum fur die Anlagerung von C1 an sensibilisierte Erythrocytenstromata und fur die anschliesende Abdissoziation des C1 vom Antigen-Antikorperkomplex wurden untersucht mit Hinblick auf optimale Ausbeute an funktionell aktivem C1. Die Untersuchungen fuhrten zu dem folgenden Praparationsweg fur C1.

Microbiology (medical)Component (UML)ImmunologyImmunology and AllergyGeneral MedicineBiologyMolecular biologyComplement (complexity)Medical Microbiology and Immunology
researchProduct

Multistage Dynamics of International Environmental Agreements: Free-riding from Membership and Compliance*

2009

Abstract In dealing with the multistage dynamics of international environmental agreements (IEAs), it is necessary to analyze the dynamics of global emission level associated with the corresponding abatement process. We model multilateral collaboration among countries as a two-level coalitional game of heterogeneous players with a stepwise emission reduction over a finite and discretized period of time. The formed coalition is assumed to hold a leader's position in the game, and the players that did not join the agreement (free-riders) are assumed to accept a position of the followers. To analyze fulfillment of the emission reduction targets, we construct a time-consistent abatement scheme,…

MicroeconomicsReduction (complexity)IncentiveProcess (engineering)Time consistencyWelfare economicsStability (learning theory)EconomicsPosition (finance)Compliance (psychology)Free ridingIFAC Proceedings Volumes
researchProduct

Deciding properties of integral relational automata

1994

This paper investigates automated model checking possibilities for CTL* formulae over infinite transition systems represented by relational automata (RA). The general model checking problem for CTL* formulae over RA is shown undecidable, the undecidability being observed already on the class of Restricted CTL formulae. The decidability result, however, is obtained for another substantial subset of the logic, called A-CTL*+, which includes all ”linear time” formulae.

Model checkingDiscrete mathematicsClass (set theory)TheoryofComputation_COMPUTATIONBYABSTRACTDEVICESComputer scienceComputer Science::Software EngineeringDecidabilityUndecidable problemComputer Science::Multiagent SystemsCTL*TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESRelational calculusTheoryofComputation_LOGICSANDMEANINGSOFPROGRAMSComputer Science::Logic in Computer ScienceAutomata theoryTime complexityComputer Science::Formal Languages and Automata Theory
researchProduct