Search results for "LEVEL"

showing 10 items of 3465 documents

Learning with belief levels

2008

AbstractWe study learning of predicate logics formulas from “elementary facts,” i.e. from the values of the predicates in the given model. Several models of learning are considered, but most of our attention is paid to learning with belief levels. We propose an axiom system which describes what we consider to be a human scientist's natural behavior when trying to explore these elementary facts. It is proved that no such system can be complete. However we believe that our axiom system is “practically” complete. Theorems presented in the paper in some sense confirm our hypothesis.

CompletenessAxiom systemsbusiness.industryComputer Networks and CommunicationsApplied Mathematics010102 general mathematicsInductive inference02 engineering and technologyInductive reasoning01 natural sciencesBelief levelsPredicate (grammar)EpistemologyTheoretical Computer ScienceTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESComputational Theory and Mathematics020204 information systems0202 electrical engineering electronic engineering information engineeringLearningArtificial intelligence0101 mathematicsbusinessAction axiomAxiomMathematicsJournal of Computer and System Sciences
researchProduct

Social interactional behaviors and symbolic play competence as predictors of language development and their associations with maternal attention-dire…

1999

Abstract Children’s early social interactional behaviors and symbolic play competence were studied at 14 months in a sample of 111 mother-infant pairs. The categories of social interactional behaviors, joint visual attention, socially coordinated and object oriented interactions were assessed via observations of mother-infant joint play. An index of symbolic play was derived from the child’s solitary play, which was assessed independently. We examined both the interrelations of these two types of early language predictors, and their relation to children’s language skills and maternal attention-directing strategies. Measures of children’s language comprehension and production were obtained u…

ComprehensionLanguage developmentLanguage productionDevelopmental and Educational PsychologyVisual attentionLevel of functioningPsychologyCompetence (human resources)Social psychologyEarly languageSocial relationDevelopmental psychologyInfant Behavior and Development
researchProduct

Compromiso afectivo, liderazgo participativo e innovación del empleado: una investigación multinivel

2019

Research investigating the relationship between organizational affective commitment and employee innovation has yielded scarce and inconsistent findings. This study examined the role of participative leadership in a team as a boundary condition of the effectiveness of organizational affective commitment predicting employee innovation. Data were collected from 343 employees in 34 teams from different Italian companies. The results from hierarchical linear modelling analysis indicated that the relationship between organizational affective commitment and employee innovation was stronger when team-level participative leadership was high. Our findings provide meaningful insights regarding the co…

Compromiso Innovación Liderazgo Multinivel.Keywords Innovation Leadership Multilevel.
researchProduct

On a topology optimization problem governed by two-dimensional Helmholtz equation

2015

The paper deals with a class of shape/topology optimization problems governed by the Helmholtz equation in 2D. To guarantee the existence of minimizers, the relaxation is necessary. Two numerical methods for solving such problems are proposed and theoretically justified: a direct discretization of the relaxed formulation and a level set parametrization of shapes by means of radial basis functions. Numerical experiments are given.

Computational MathematicsControl and OptimizationLevel setLevel set methodDiscretizationHelmholtz equationApplied MathematicsNumerical analysisTopology optimizationMathematical analysisRelaxation (approximation)ParametrizationMathematicsComputational Optimization and Applications
researchProduct

On regularity up to the boundary of solutions to a system of degenerate nonlinear elliptic fourth-order equations

2008

Under some hypotheses on weighted functions, using the interior regularity results established in (Kovalevsky, A. and Nicolosi, F., 2005, Existence and regularity of solutions to a system of degenerate nonlinear fourth-order equations. Nonlinear Analysis, 61, 281–307) and estimating the oscillation of solutions near the boundary of Ω, we establish results on regularity up to the boundary of a solutions of the system (1.1).

Computational MathematicsNumerical AnalysisNonlinear systemFourth orderOscillationApplied MathematicsMathematical analysisDegenerate energy levelsBoundary (topology)AnalysisMathematicsComplex Variables and Elliptic Equations
researchProduct

Theoretical study of degenerate Boulton-Katritzky rearrangements. Semiempirical and ab initio procedures

1998

Abstract A theoretical study of degenerate Boulton–Katritzky rearrangements concerning the anions of the 3-formylamino-1,2,4-oxadiazole, 3-formylmethyl-isoxazole and 3-hydroxy-iminomethyl-1,2,5-oxadiazole has been carried out by using semiempirical MNDO and ab initio Hartree–Fock procedures. Different transition structures and reactive pathways were obtained in the two cases. Semiempirical treatment shows asymmetrical transition states and non-concerted processes via symmetrical intermediates. By contrast, ab initio procedures describe concerted and synchronous processes involving symmetrically-located transition states. Some comments and criticisms on the theoretical treatment of these typ…

Computational chemistryChemistryDegenerate energy levelsAb initioMNDOPhysical and Theoretical ChemistryCondensed Matter PhysicsBiochemistryTransition state
researchProduct

Efficiently using connectivity information between triangles in a mesh for real-time rendering

2004

Triangle meshes are the most popular standard model used to represent polygonal surfaces. Drawing these meshes as a set of independent triangles involves sending a vast amount of information to the graphics system. Taking advantage of the connectivity information between the triangles in a mesh dramatically diminishes the amount of information the graphics system must handle. Multiresolution Triangle Strips (MTS) represent a triangle mesh as a collection of multiresolution triangles strips. These strips are the basis of both the storage and the rendering stage. The coherence between the extraction of two levels of detail is used in the model in order to decrease the visualisation time.

Computer Networks and CommunicationsComputer scienceComputer Science::Computational GeometryReal-time renderingVisualizationRendering (computer graphics)Computer Science::GraphicsHardware and ArchitectureComputer graphics (images)Triangle meshPolygonPolygon meshGraphicsInteractive visualizationSoftwareLevel of detailComputingMethodologies_COMPUTERGRAPHICSFuture Generation Computer Systems
researchProduct

Improved resource allocation strategy in SU-CoMP network

2011

Coordinated multi-point transmission and reception (CoMP) for single user, named as SU-CoMP, is considered as an efficient approach to mitigate inter-cell interference in orthogonal frequency division multiple access (OFDMA) systems. Two prevalent approaches in SU-CoMP are coordinated scheduling (CS) and joint processing (JP). Although JP in SU-CoMP has been proved to achieve a great link performance improvement for the cell-edge user, efficient resource allocation (RA) on the system level is quite needed. However, so far limited work has been done considering JP, and most existing schemes achieved the improvement of cell-edge performance at cost of the cell-average performance degradation …

Computer Networks and CommunicationsComputer sciencebusiness.industryDistributed computingOrthogonal frequency-division multiple accessScheduling (computing)TelecomunicacióSignal ProcessingSystem levelPerformance improvementTelecommunicationsbusinessComunicació i tecnologiaInformation Systems
researchProduct

A novel secure aggregation scheme for wireless sensor networks using stateful public key cryptography

2015

International audience; Wireless sensor networks (WSNs) are nowadays considered as an important part of the Internet of Things (IoT). In these networks, data aggregation plays an essential role in energy preservation. However, WSNs are usually deployed in hostile and unattended environments (e.g. military applications) in which the confidentiality and integrity security services are widely desired. Recently, homomorphic encryptions have been applied to conceal sensitive information during aggregation such that algebraic operations are done directly on ciphertexts without decryption. The main benefit is that they offer the end-to-end data confidentiality and they do not require expensive com…

Computer Networks and Communicationsbusiness.industryComputer scienceWireless sensor networks WSNsSimple power analysisSecure data aggregationHomomorphic encryptionCryptographyEncryptionHomomorphic encryptionPublic-key cryptography[SPI]Engineering Sciences [physics]Key distribution in wireless sensor networksStateful firewallHardware and ArchitectureOverhead (computing)businessSecurity levelWireless sensor networkSoftwareComputer networkAd Hoc Networks
researchProduct

Introduction to the GiNaC Framework for Symbolic Computation within the C++ Programming Language

2002

AbstractThe traditional split into a low level language and a high level language in the design of computer algebra systems may become obsolete with the advent of more versatile computer languages. We describe GiNaC, a special-purpose system that deliberately denies the need for such a distinction. It is entirely written in C++and the user can interact with it directly in that language. It was designed to provide efficient handling of multivariate polynomials, algebras and special functions that are needed for loop calculations in theoretical quantum field theory. It also bears some potential to become a more general purpose symbolic package.

Computer Science - Symbolic ComputationI.1.3FOS: Computer and information sciencesFor loopTheoretical computer scienceAlgebra and Number TheoryFOS: Physical sciencesI.1.1; I.1.3Symbolic Computation (cs.SC)Computational Physics (physics.comp-ph)Symbolic computationI.1.1High Energy Physics - PhenomenologyComputational MathematicsHigh Energy Physics - Phenomenology (hep-ph)General purposeHigh-level programming languageSpecial functionsFourth-generation programming languagePhysics - Computational PhysicsC programming languageLow-level programming languageMathematicsJournal of Symbolic Computation
researchProduct