Search results for "proving"

showing 4 items of 24 documents

Theoretical and Empirical Description of Phases in the Proving Processes of Undergraduates

2018

International audience; In the presented study we adopt a process-oriented perspective on proving in order to gain further insights into relevant actions and typical obstacles in undergraduates' approaches to proving. The primary aim is to theoretically and empirically describe different phases, understood as bunches of intentionally closely related actions of proving. Therefore, we suggest a theoretical model of the proving process and confirm empirically that it can be used as an analytical tool for proving approaches. Based on this model, several proving processes have been analysed. In this paper we present first findings regarding the contribution of each phase to proof construction as…

proving process[SHS.EDU]Humanities and Social Sciences/Education[MATH.MATH-HO]Mathematics [math]/History and Overview [math.HO][SHS.EDU] Humanities and Social Sciences/Education[MATH.MATH-HO] Mathematics [math]/History and Overview [math.HO]proving cycle THEORETICAL BACKGROUNDproof constructionphasesproving cycle
researchProduct

Julkisen palvelun tehostamisen uudet opit : esittelyssä lean-ajattelu

2019

public servicestehostaminenlean-ajattelulean manufacturingimproving efficiencyjulkiset palvelut
researchProduct

Le società in house nel quadro della nozione europea e nazionale di impresa di gruppo

2020

L’articolo si propone di ricostruire in chiave sistematica il concetto di “società in house” nell’ambito del quadro della nozione europea e nazionale di impresa di gruppo. Ricondurre la relazione in house ad un rapporto di gruppo tra due o più imprese dovrebbe comportare, in prima battuta, l’applicazione della cd. single economic entity doctrine e delle sue ricadute in ambito concorrenziale, fra le quali acquista particolare rilievo la potenziale imputazione delle sanzioni antitrust all’ente pubblico capogruppo per le infrazioni compiute dalle società eterodirette. Nell’ordinamento giuridico nazionale, inoltre, la sostanziale convergenza tra il tipo di controllo alla base dell’in house prov…

single economic entity doctrinein-house proving companiegroup of companieSettore IUS/04 - Diritto Commerciale
researchProduct

Continuum: A spatiotemporal data model to represent and qualify filiation relationships

2013

International audience; This work introduces an ontology-based spatio-temporal data model to represent entities evolving in space and time. A dynamic phenomenon generates a complex relationship network between the entities involved in the process. At the abstract level, the relationships can be identity or topological filiations. The existence of an identity filiation depends on whether the object changes its identity or not. On the other hand, topological filiations are based exclusively on the spatial component, like in the case of growth, reduction, merging or splitting. When combining identity and topological filiations, six filiation relationships are obtained, forming a second abstrac…

spatial dynamicsTheoretical computer sciencefiliationintegrity constraintsSpatio-temporal modelingspatio-temporal evolutionComputer scienceOntology (information science)Object (computer science)computer.software_genreSemantic data modelConsistency (database systems)[ INFO.INFO-HC ] Computer Science [cs]/Human-Computer Interaction [cs.HC]Data modelData integrityI.2.4 [ARTIFICIAL INTELLIGENCE]: Knowledge Representation Formalisms and Methods - Semantic networks. I.2.3 [ARTIFICIAL INTELLIGENCE]: Deduction and Theorem Proving - Inference engines.Identity (object-oriented programming)semanticreasoningData mining[INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC][INFO.INFO-HC] Computer Science [cs]/Human-Computer Interaction [cs.HC]computerSemantic Web
researchProduct