المؤلفون: Rina Oktaviyanthi, Ria Noviana Agus, Mark Lester B. Garcia, Kornkanok Lertdechapat

المصدر: Infinity, Vol 13, Iss 1, Pp 99-118 (2024)

مصطلحات موضوعية: cognitive load scale, formal definition of limit, item analysis, rasch model, unidimensionality, Education (General), L7-991, Mathematics, QA1-939

وصف الملف: electronic resource

Relation: http://e-journal.stkipsiliwangi.ac.id/index.php/infinity/article/view/4266; https://doaj.org/toc/2089-6867; https://doaj.org/toc/2460-9285

URL الوصول: https://doaj.org/article/8c431d4f9a6b403b90a0d43299d669d8

المؤلفون: Oktaviyanthi, Rina, Agus, Ria Noviana, Garcia, Mark Lester B., Lertdechapat, Kornkanok

المصدر: Infinity Journal; Vol. 13 No. 1 (2024): VOLUME 13, NUMBER 1, INFINITY; 99-118 ; Jurnal Infinity; Vol 13 No 1 (2024): VOLUME 13, NUMBER 1, INFINITY; 99-118 ; 2460-9285 ; 2089-6867 ; 10.22460/infinity.v13i1

مصطلحات موضوعية: Cognitive load scale, Formal definition of limit, Item analysis, Rasch model, Unidimensionality

وصف الملف: application/pdf

Relation: https://e-journal.stkipsiliwangi.ac.id/index.php/infinity/article/view/4266/1911; https://e-journal.stkipsiliwangi.ac.id/index.php/infinity/article/view/4266

الاتاحة: https://e-journal.stkipsiliwangi.ac.id/index.php/infinity/article/view/4266

المؤلفون: Carvalho, Sara, Wermuth, Cornelia, Costa, Rute

المساهمون: Centro de Linguística da UNL (CLUNL), Departamento de Linguística (DL), RUN

مصطلحات موضوعية: Terminology, Formal definition, Natural language definition, SNOMED CT

وصف الملف: application/pdf

Relation: 1613-0073; PURE: 66763691

الاتاحة: http://hdl.handle.net/10362/155529

المؤلفون: Johannes Pahlke, Ivo F. Sbalzarini

المصدر: IEEE Open Journal of the Computer Society, Vol 4, Pp 97-108 (2023)

مصطلحات موضوعية: Algorithmics, formal definition, mesh-free methods, particle methods, simulation algorithms, parallelization, Electronic computers. Computer science, QA75.5-76.95, Information technology, T58.5-58.64

وصف الملف: electronic resource

Relation: https://ieeexplore.ieee.org/document/10064090/; https://doaj.org/toc/2644-1268

URL الوصول: https://doaj.org/article/50c2add0269e4878b03e5d5ccdd785a1

المؤلفون: Carvalho, Sara, Wermuth, Cornelia, Costa, Rute

المساهمون: Centro de Linguística da UNL (CLUNL), Departamento de Linguística (DL)

مصطلحات موضوعية: Terminology, Formal definition, Natural language definition, SNOMED CT

Relation: info:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UIDB%2F03213%2F2020/PT; info:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UIDP%2F03213%2F2020/PT; PURE: 66763691; PURE UUID: 4a8c1bac-9a93-434a-8d73-42304a8361fa; http://hdl.handle.net/10362/155529

الاتاحة: http://hdl.handle.net/10362/155529

المؤلفون: Rina Oktaviyanthi, Ria Noviana Agus

المصدر: Al-Ishlah: Jurnal Pendidikan, Vol 13, Iss 1, Pp 449-461 (2021)

مصطلحات موضوعية: content analysis, development research, formal definition of limit, formal worksheet of limit, guided worksheet, Education (General), L7-991

وصف الملف: electronic resource

Relation: https://journal.staihubbulwathan.id/index.php/alishlah/article/view/483; https://doaj.org/toc/2087-9490; https://doaj.org/toc/2597-940X

URL الوصول: https://doaj.org/article/649335b3be554f1d94522b68b88df6be

المؤلفون: Ramos, Margarida

المساهمون: Centro de Linguística da UNL (CLUNL), RUN

مصطلحات موضوعية: Domain-ontology, Knowledge organization, Cork soppers, Formal definition, Intensional definition, Terminology, Computer Science(all), Arts and Humanities(all)

وصف الملف: application/octet-stream

Relation: PURE: 27267433

الاتاحة: http://hdl.handle.net/10362/112629

المؤلفون: Alvarez, Julian, Djaouti, Damien, Louchart, Sandy, Lebrun, Yoann, Zary, Nabil, Lepreux, Sophie, Kolski, Christophe

المساهمون: École supérieure du professorat et de l'éducation - Lille Nord de France (ESPE LNF), Université Lille Nord de France (COMUE), Laboratoire de Recherche Sociétés & Humanités (LARSH), Université Polytechnique Hauts-de-France (UPHF)-INSA Institut National des Sciences Appliquées Hauts-de-France (INSA Hauts-De-France), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA), Laboratoire Interdisciplinaire de Recherche en Didactique, Éducation et Formation (LIRDEF), Université Paul-Valéry - Montpellier 3 (UPVM)-Université de Montpellier (UM), The Glasgow School of Art, Laboratoire d'Automatique, de Mécanique et d'Informatique industrielles et Humaines - UMR 8201 (LAMIH), Centre National de la Recherche Scientifique (CNRS)-Université Polytechnique Hauts-de-France (UPHF)-INSA Institut National des Sciences Appliquées Hauts-de-France (INSA Hauts-De-France), Mohammed Bin Rashid University of Medicine and Health Sciences (MBRU)

المصدر: EISSN: 2475-1502 ; IEEE Transactions on Games ; https://hal.science/hal-03996276 ; IEEE Transactions on Games, 2022, 15 (3), pp.1-13. ⟨10.1109/TG.2022.3186919⟩ ; https://ieeexplore.ieee.org/document/9809837

مصطلحات موضوعية: Formal definition, health, health game, serious game, serious modding, serious re-purposing, serious toy, simulator, taxonomy, video game, Definición formal, Salud, Juego de salud, Juego serio, Modificación seria, Reutilización seria, Juguete serio, Simulador, Taxonomía, Videojuego, Jeux vidéo, Taxinomie, Simulateur, Jouet sérieux, Détournement, Instrumentalisation, Serious diverting, Jeu sérieux, Santé, Jeu orienté santé

الاتاحة: https://hal.science/hal-03996276
https://hal.science/hal-03996276v1/document
https://hal.science/hal-03996276v1/file/IEEE%20TG%20Alvarez%20et%20al%20V28.pdf
https://doi.org/10.1109/TG.2022.3186919

المؤلفون: Gunn, Kirsty

المصدر: Gunn , K 2022 , ' You give me fever : Health, happiness and the inherent vitality of the short story ' , Short Fiction in Theory and Practice , vol. 12 , no. 1 , pp. 125-130 . https://doi.org/10.1386/fict_00056_2

مصطلحات موضوعية: anthologies, formal definition, illness and fiction, Katherine Mansfield, short-story collections, short-story criticism, short-story publishing, Virginia Woolf, /dk/atira/pure/subjectarea/asjc/1200/1203, name=Language and Linguistics, /dk/atira/pure/subjectarea/asjc/1200/1208, name=Literature and Literary Theory, /dk/atira/pure/subjectarea/asjc/3300/3316, name=Cultural Studies, /dk/atira/pure/subjectarea/asjc/1200/1201, name=Arts and Humanities (miscellaneous)

وصف الملف: application/pdf

الاتاحة: https://discovery.dundee.ac.uk/en/publications/29fbc113-9a79-4cc4-a912-86b940f25093
https://doi.org/10.1386/fict_00056_2
https://discovery.dundee.ac.uk/ws/files/77479317/Heath_and_sh_s_CE_Final.pdf
http://www.scopus.com/inward/record.url?scp=85131539138&partnerID=8YFLogxK

المؤلفون: Alidra, Abdelghani, Beugnard, Antoine, Godfroy, Hubert, Kimmel, Pierre, Le Guernic, Gurvan

المساهمون: Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Département Informatique (IMT Atlantique - INFO), Capgemini Rennes, Capgemini, DGA Maîtrise de l'information (DGA.MI), Direction générale de l'Armement (DGA), Diversity-centric Software Engineering (DiverSe), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique)

المصدر: MODELS ’20 Companion ; https://inria.hal.science/hal-02924645 ; MODELS ’20 Companion, Oct 2020, Virtual Event, Canada. ⟨10.1145/3417990.3419224⟩

مصطلحات موضوعية: Modeling, Domain Specific, Modeling Requirements, Validation, Formal Definition, System Decomposition, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

جغرافية الموضوع: Virtual Event

Time: Virtual Event, Canada

الاتاحة: https://inria.hal.science/hal-02924645
https://inria.hal.science/hal-02924645v1/document
https://inria.hal.science/hal-02924645v1/file/MoDeVVA-20_Language_Agnostic_Modeling_Requirements.pdf
https://doi.org/10.1145/3417990.3419224

المؤلفون: Roche, Christophe

المساهمون: Laboratoire d'Informatique, Systèmes, Traitement de l'Information et de la Connaissance (LISTIC), Université Savoie Mont Blanc (USMB Université de Savoie Université de Chambéry )

المصدر: ISSN: 2299-7164.

مصطلحات موضوعية: definition of word, definition of thing, conceptual terminology, ontology, formal definition of concept, definition of term in natural language, pattern of definitions, [SCCO.LING]Cognitive science/Linguistics, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-DL]Computer Science [cs]/Digital Libraries [cs.DL], [INFO.INFO-GL]Computer Science [cs]/General Literature [cs.GL]

Relation: hal-03549751; https://hal.science/hal-03549751; https://hal.science/hal-03549751/document; https://hal.science/hal-03549751/file/Def%20Formelle%20LN%20Roche.pdf

الاتاحة: https://hal.science/hal-03549751
https://hal.science/hal-03549751/document
https://hal.science/hal-03549751/file/Def%20Formelle%20LN%20Roche.pdf
https://doi.org/10.34616/ajmp.2021.13

المؤلفون: Rina Oktaviyanthi, Tatang Herman, Jarnawi Afgani Dahlan

المصدر: Journal on Mathematics Education, Vol 9, Iss 2, Pp 195-212 (2018)

مصطلحات موضوعية: formal definition of limit, pre-service mathematics teacher, proving limit of function, proving limit strategy, Mathematics, QA1-939

وصف الملف: electronic resource

Relation: https://ejournal.unsri.ac.id/index.php/jme/article/view/5684; https://doaj.org/toc/2087-8885

URL الوصول: https://doaj.org/article/73b4ff45d4e5422d808cb92196e560de

المؤلفون: Mamona-Downs, Joanna

المصدر: Educational Studies in Mathematics, 2001 Jan 01. 48(2/3), 259-288.

URL الوصول: https://www.jstor.org/stable/3483028

المؤلفون: Franch Gutiérrez, Javier, López Cuesta, Lidia, Marco Gómez, Jordi

المساهمون: Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació, Universitat Politècnica de Catalunya. Departament de Ciències de la Computació, Universitat Politècnica de Catalunya. inSSIDE - integrated Software, Service, Information and Data Engineering

مصطلحات موضوعية: Àrees temàtiques de la UPC::Informàtica::Enginyeria del software, Formal methods (Computer science), Formal languages, Requirements engineering, iStar2.0, i* framework, Goal-oriented requirements engineering, Formal definition of languages, Satisfaction, Mètodes formals (Informàtica), Llenguatges formals, Enginyeria de requisits

وصف الملف: 7 p.; application/pdf

Relation: http://ceur-ws.org/Vol-2490/paper3.pdf; Franch, X.; López, L.; Marco, J. Algebraic definition of iStar2.0 models. A: International i* Workshop. "Proceedings of the 12th International i* Workshop: co-located with 38th International Conference on Conceptual Modeling (ER 2019): Salvador, Brazil, November 4th, 2019". CEUR-WS.org, 2019, p. 1-7.; http://hdl.handle.net/2117/172373

الاتاحة: http://hdl.handle.net/2117/172373

المؤلفون: Bouguerra, Rahma

المساهمون: Institut Supérieur de l'Enseignement et de la Formation Continue Tunis (ISEFC), Utrecht University, Uffe Thomas Jankvist, Marja van den Heuvel-Panhuizen, Michiel Veldhuis

المصدر: CERME 11 ; Eleventh Congress of the European Society for Research in Mathematics Education ; https://hal.archives-ouvertes.fr/hal-02422581 ; Eleventh Congress of the European Society for Research in Mathematics Education, Utrecht University, Feb 2019, Utrecht, Netherlands ; www.cerme11.org

مصطلحات موضوعية: Concept image, formal definition, language, articulation of knowledge, non-technological environment, [MATH]Mathematics [math], [SHS.EDU]Humanities and Social Sciences/Education

جغرافية الموضوع: Utrecht, Netherlands

Relation: hal-02422581; https://hal.archives-ouvertes.fr/hal-02422581; https://hal.archives-ouvertes.fr/hal-02422581/document; https://hal.archives-ouvertes.fr/hal-02422581/file/TWG14_08.pdf

الاتاحة: https://hal.archives-ouvertes.fr/hal-02422581
https://hal.archives-ouvertes.fr/hal-02422581/document
https://hal.archives-ouvertes.fr/hal-02422581/file/TWG14_08.pdf

المؤلفون: Feride ÖZYILDIRIM-GÜMÜŞ, Yeter ŞAHİNER

المصدر: International Electronic Journal of Elementary Education, Vol 9, Iss 3, Pp 511-522 (2017)

مصطلحات موضوعية: the question sheet containing two questions, was given to 76 pre-service teachers in a public university who was taking general mathematics course. Qualitative research method was used during data analysing. According to the answers given by them, five themes for the first and six themes for the second question were classified. In order to reach detailed results, semi- structured interviews were conducted with one pre-service teacher for each theme. Findings showed that they had difficulties in writing a formal definition assumed to be known and in using a given definition assumed to be not known of a mathematical concept. Keywords Writing and using mathematical definitions, Writing and using mathematical definitions, Theory and practice of education, LB5-3640

وصف الملف: electronic resource

Relation: http://iejee.com/index/makale/375/investigation-on-how-pre-service-elementary-mathematics-teachers-write-and-use-mathematical-definitions; https://doaj.org/toc/1307-9298

URL الوصول: https://doaj.org/article/be081da7cbcf4c98b17087491562ea8d

المؤلفون: Vlasenko N.A.

المصدر: LEGAL SCIENCE AND PRACTICE-BULLETIN OF NIZHNIY NOVGOROD ACADEMY OF THE MINISTRY IF THE INTERIOR OF RUSSIA

مصطلحات موضوعية: uncertainty, certainty, certainty of knowledge, the knowledge of abstraction, a formal definition of law, uncertainty in law, the effectiveness of law, case law rules and principles of law, the right specification, evaluation concepts

Relation: https://openrepository.ru/article?id=258589

الاتاحة: https://openrepository.ru/article?id=258589

المؤلفون: ROENNE, Peter, RYAN, Peter Y A, SMYTH, Benjamin

المصدر: urn:isbn:978-3-662-63957-3 ; Financial Cryptography and Data Security. FC 2021 International Workshops - CoDecFin, DeFi, VOTING, and WTSC, Revised Selected Papers (2021); 6th Workshop on Advances in Secure Electronic Voting, 05-03-2021 => 05-03-2021

مصطلحات موضوعية: Formal definition, Individual verifiability, Universal verifiability, Voting systems, Computer Science (all), Electronic Voting, Engineering, computing & technology, Computer science, Ingénierie, informatique & technologie, Sciences informatiques

Relation: https://link.springer.com/content/pdf/10.1007/978-3-662-63958-0_22; FNR12685695 - Socio-technical Verification Of Information Security And Trust In Voting Systems, 2018 (01/09/2019-31/08/2022) - Peter Y. A. Ryan; https://orbilu.uni.lu/handle/10993/57234; info:hdl:10993/57234; https://orbilu.uni.lu/bitstream/10993/57234/1/Cast_as_intended.pdf; wos:000713005000022

الاتاحة: https://orbilu.uni.lu/handle/10993/57234
https://orbilu.uni.lu/bitstream/10993/57234/1/Cast_as_intended.pdf
https://doi.org/10.1007/978-3-662-63958-0_22

المؤلفون: Feller, David, Wells, Joe B., Kamareddine, Fairouz, Carlier, Sebastien

المساهمون: ULTRA (Useful Logics, Types, Rewriting and their Automation) group, Heriot-Watt University Edinburgh (HWU), Useful Logics, Types, Rewriting and their Automation (ULTRA), France-IOI

المصدر: 13th international Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
https://hal.inria.fr/hal-01812800
13th international Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, Jul 2018, Oxford, United Kingdom

مصطلحات موضوعية: Abstract syntax, Notation, Formal definition, Set theory, ACM: F.: Theory of Computation, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.3: Formal Languages, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.2: Grammars and Other Rewriting Systems, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

جغرافية الموضوع: Oxford, United Kingdom

Relation: info:eu-repo/semantics/altIdentifier/arxiv/1806.08771; hal-01812800; https://hal.inria.fr/hal-01812800; https://hal.inria.fr/hal-01812800/document; https://hal.inria.fr/hal-01812800/file/driver.pdf; ARXIV: 1806.08771

الاتاحة: https://hal.inria.fr/hal-01812800
https://hal.inria.fr/hal-01812800/document
https://hal.inria.fr/hal-01812800/file/driver.pdf

المؤلفون: Carvalho, Sara, Wermuth, Cornelia, Costa, Rute

المساهمون: Centro de Linguística da UNL (CLUNL), Departamento de Linguística (DL)

مصطلحات موضوعية: Natural language definition, Formal definition, Terminology, SNOMED CT

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______1437::26d5fa4ece61579457fc4e163f31b2fc
https://hdl.handle.net/10362/155529