Search results for "Statement"

showing 10 items of 185 documents

Kwalifikacja pisma procesowego jako apelacji lub wniosku o doręczenie wyroku z uzasadnieniem. Glosa do uchwały Sądu Najwyższego - Izba Pracy i Ubezpi…

2022

The commented resolution of the Supreme Court concerns the classification of a pleading filed by an insured person, the content of which indicates that the person disagrees with a decision on the merits of the case, in the context of doubts as to whether the pleading constitutes an appeal or a request for the service of a judgment with a statement of reasons. The Supreme Court held that if this type of uncertainty arises, the court should take action to clarify the real intention of the party, i.e. summon the insured person, on pain of returning the pleading, to remedy the formal defect of failing to identify the type of pleading. This view has been justified with good arguments, in particu…

Social security casesappealwniosek o doręczenie wyroku z uzasadnieniemprocedural formalismSprawy z zakresu ubezpieczeń społecznychformalizm procesowyapelacjarequest for service of a judgment with a statement of reasonsOrzecznictwo Sądów Polskich
researchProduct

From “Table 29” to the actuarial balance sheet: is it really that big a leap?

2021

EU regulations since 2017 have required all Member States to disclose their accrued-to-date pension liabilities (ADL) using a standard actuarial cost method and some common assumptions. This applies to both Social Security (SS) schemes and unfunded defined benefit (DB) schemes covering civil servants. These pension liabilities have to be disclosed in a supplementary table referred to as Table 29. An actuarial balance sheet (ABS) can be defined as a financial statement that lists a pension system's obligations to contributors and pensioners at a particular date, together with the amounts of the assets (financial and in particular those from contributions) that underwrite those commitments. T…

Social securityPensionSolvencyInsolvencyActuarial scienceIncome statementTable (database)Balance sheetBusinessFinancial statement
researchProduct

Incompleteness in Conceptual Data Modelling

2013

Although conceptual data modelers can ”get creative” when designing entities and relationships to meet business requirements, they are highly constrained by the business rules which determine the details of how the entities and relationships combine. Typically, there is a delay in realising which business rules might be relevant and a further delay in obtaining an authoritative statement of these rules. We identify circumstances under which viable database designs can be constructed from conceptual data models which are incomplete in the sense that they lack this “infrastructural” detail normally obtained from the business rules. As such detail becomes available, our approach allows the con…

Statement (computer science)Business requirementsbusiness.industryComputer scienceBusiness ruleConceptual model (computer science)020207 software engineering02 engineering and technologyDatabase refactoringData modelingConceptual data modelingEntity–relationship model0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processingSoftware engineeringbusiness
researchProduct

On the space of all regular operators from C(K) into C(K)

1988

AbstractIt is known that Lr(E, C(K)), the space of all regular operators from E into C(K), is a Riesz space for all Riesz spaces E if and only if K is Stonian. We prove that this statement holds if E is replaced by C(K), where K is a compact space, the cardinal number of which satisfies a certain condition.

Statement (computer science)Discrete mathematicsMathematics::Functional AnalysisCompact spaceIf and only ifCardinal numberMathematics::Classical Analysis and ODEsRiesz spaceSpace (mathematics)MathematicsIndagationes Mathematicae (Proceedings)
researchProduct

El origen del error de inversión y las bases neuronales subyacentes

2018

Una línea de investigación importante en la enseñanza-aprendizaje de las matemáticas, más concretamente en la resolución algebraica de problemas verbales, es la centrada en identificar los procesos cognitivos que se ponen en juego desde que un sujeto identifica una relación matemática en un problema hasta que la expresan mediante una expresión algebraica. Un caso en el que un número importante de estudiantes reconocen el esquema conceptual, pero no son capaces de plasmar una expresión matemática correcta sería el conocido como error de inversión. Este error aparece en los problemas en los que se plantean proposiciones verbales de comparación aditiva y multiplicativa. El nombre del error pro…

Statement (computer science)Identification (information)Computer scienceMultiplicative functionCognitionGeneral MedicineAlgebraic numberAlgebraic expressionArithmeticRepresentation (mathematics)Conceptual schemaRevista de Educación de la Universidad de Granada
researchProduct

A Checklist for Assessing the Methodological Quality of Concurrent tES-fMRI Studies (ContES Checklist): A Consensus Study and Statement

2020

AbstractBackgroundLow intensity transcranial electrical stimulation (tES), including alternating or direct current stimulation (tACS or tDCS), applies weak electrical stimulation to modulate the activity of brain circuits. Integration of tES with concurrent functional magnetic resonance imaging (fMRI) allows for the mapping of neural activity during neuromodulation, supporting causal studies of both brain function and tES effects. Methodological aspects of tES-fMRI studies underpin the results, and reporting them in appropriate detail is required for reproducibility and interpretability. Despite the growing number of published reports, there are no consensus-based checklists for disclosing …

Statement (computer science)International networkmedia_common.quotation_subjectSteering committeeApplied psychologyChecklist030218 nuclear medicine & medical imaging03 medical and health sciences0302 clinical medicineQuality (business)PsychologyMethodological qualitycomputer030217 neurology & neurosurgeryDelphiBrain functionmedia_commoncomputer.programming_language
researchProduct

How can mental models theory account for content effects in conditional reasoning? A developmental perspective

1998

Abstract This article proposes a modification to Johnson-Laird's mental models theory applied to the interpretation of conditional statement of the form `if...then'. The model suggests that this interpretation is based on the construction of mental models supplied by establishing a correspondence between the semantic spaces associated with the antecedent and consequent of the statements. The construction of the models and the interpretation of the statements would depend on the nature of the semantic spaces involved, the interpretative context and the subject's knowledge and processing capacity. Three experiments show that the interpretation of conditional rules depends, for example, on whe…

Statement (computer science)Linguistics and LanguageCognitive NeuroscienceInterpretation (philosophy)Experimental and Cognitive PsychologyCognitionContext (language use)Language and LinguisticsAntecedent (grammar)Meaning (philosophy of language)Developmental and Educational PsychologyCognitive developmentMental representationPsychologySocial psychologyCognitive psychologyCognition
researchProduct

The Multivariate Individual Selection of Diagnostic Tests and the Reserved Diagnostic Statement: An Optimum Combination of Two New Methods for the Co…

1984

A combination of two new methods for the diagnostic procedure in computer-aided differential diagnosis is presented. It is constructed on the basis of new results of our own in the field of mathematical decision theory and is demonstrated by the differential diagnosis of congenital heart diseases by means of ECG features.

Statement (computer science)Multivariate statisticsbusiness.industryComputer scienceDecision theoryDiagnostic testMachine learningcomputer.software_genreReliability engineeringComputer-aidedArtificial intelligenceDifferential diagnosisbusinesscomputerSelection (genetic algorithm)
researchProduct

Actuaciones de alumnos instruidos en la resolución algebraica de problemas en la hoja de cálculo y su relación con la competencia en el método cartes…

2013

Presentamos resultados de una investigación en la que, entre otros objetivos, se pretendía determinar cómo influía la enseñanza de la resolución algebraica de problemas en la hoja de cálculo en la competencia en el método cartesiano. La comparación de los cuestionarios administrados antes y después de la enseñanza puso de manifiesto un aumento del uso polisémico de la equis cuando se resolvía con lápiz y papel, y una disminución del uso del lenguaje del álgebra en los problemas de edades. Mostramos que estos resultados pueden atribuirse a la aparición de estrategias de resolución en la hoja de cálculo en las que las situaciones descritas en el enunciado se modelizaban mediante relaciones fu…

Statement (computer science)Problem solvingAlgebraic problemFull de càlculResolució de problemesEducationAlgebraAlgebraÁlgebraHoja de cálculoResolución de problemasSpreadsheetÀlgebraAlgebra over a fieldPolysemyCompetence (human resources)Pencil (mathematics)Age problemsMathematics
researchProduct

Resource Quantification for the No-Programming Theorem

2018

The no-programming theorem prohibits the existence of a Universal Programmable Quantum Processor. This statement has several implications in relation to quantum computation, but also to other tasks of quantum information processing, making this construction a central notion in this context. Nonetheless, it is well known that even when the strict model is not implementable, it is possible to conceive of it in an approximate sense. Unfortunately, the minimal resources necessary for this aim are still not completely understood. Here, we investigate quantitative statements of the theorem, improving exponentially previous bounds on the resources required by such a hypothetical machine. The proof…

Statement (computer science)Quantum PhysicsTheoretical computer scienceComputer scienceBanach spaceGeneral Physics and AstronomyFOS: Physical sciencesContext (language use)Mathematical Physics (math-ph)Mathematical proof01 natural sciencesResource (project management)Simple (abstract algebra)0103 physical sciences010306 general physicsQuantum Physics (quant-ph)QuantumMathematical PhysicsQuantum computer
researchProduct