composition rule
Recently Published Documents


TOTAL DOCUMENTS

31
(FIVE YEARS 5)

H-INDEX

7
(FIVE YEARS 0)

Author(s):  
Lennart Beringer

AbstractModularity - the partitioning of software into units of functionality that interact with each other via interfaces - has been the mainstay of software development for half a century. In case of the C language, the main mechanism for modularity is the compilation unit / header file abstraction. This paper complements programmatic modularity for C with modularity idioms for specification and verification in the context of Verifiable C, an expressive separation logic for CompCert . Technical innovations include (i) abstract predicate declarations – existential packages that combine Parkinson & Bierman’s abstract predicates with their client-visible reasoning principles; (ii) residual predicates, which help enforcing data abstraction in callback-rich code; and (iii) an application to pure (Smalltalk-style) objects that connects code verification to model-level reasoning about features such as subtyping, self, inheritance, and late binding. We introduce our techniques using concrete example modules that have all been verified using the Coq proof assistant and combine to fully linked verified programs using a novel, abstraction-respecting component composition rule for Verifiable C.


2020 ◽  
Vol 73 (9) ◽  
pp. 1481-1494
Author(s):  
Carla E Contreras-Saavedra ◽  
Klaus Willmes ◽  
Iring Koch ◽  
Stefanie Schuch ◽  
Elena Benini ◽  
...  

The aim of this study was to examine language switching in a two-digit number naming task. In contrast to single digits, two-digit numbers have a composition rule (i.e., morphological configuration) that may differ between languages. For example, the Arabic number 21 is read with an inverted composition rule in German (unit before decade) and a non-inverted composition rule in English (decade before unit). In the present experiment, one group of German native speakers and one group of Spanish native speakers had to name two-digit numbers in German, English, or Spanish. The results demonstrate a language-switch cost, revealing better performance in language repetition than in language-switch trials. This switch cost was further modulated by repeating or switching the composition rule, since the language repetition benefit (i.e., the switch cost) was reduced in trials with composition-rule switches compared with trials with composition-rule repetitions. This finding indicates that the language in which the number word has to be produced and its composition rule are not switched independently but rather may be integrated into one language schema.


2019 ◽  
pp. 26-32

El Aprendizaje de Relaciones Simétricas en los Niños José Carlos Rivera Benavides  Universidad Nacional Mayor de San Marcos, Lima, Perú Recibido el 29 de abril 2018. Aceptado el 21 de junio 2018 DOI: https://doi.org/10.33017/RevECIPeru2018.0019/ Resumen Este artículo contiene dos partes, una introductoria y la otra con el desarrollo de un programa educativo para niños de 5 a 7 años de edad. La teoría y hallazgos de la psicología genética demostraron que los niños entre los 5 a 7 años de edad poseen nociones intuitivas sobre el espacio, es decir, nociones de espacio basadas en los datos perceptivos de los objetos (datos de carácter visuotactilokinestésicos) y en las imágenes espaciales que surgen de la actividad manipulatoria-perceptiva del niño sobre los objetos que percibe permitiéndole agrupar los objetos en colecciones figurativas y no figurativas, las cuales los psicólogos genéticos Jean Piaget y Bärbel Inhelder han descrito en términos de simetrías simples: espejo, axial y de rotación. Este dominio intuitivo de las simetrías en el niño nos ha llevado a proponer un conjunto de actividades de aplicación de las reglas simétricas mencionadas para que los niños logren descubrir con la guía del maestro, las propiedades intra e interfigurales de las formas geométricas elementales para lo cual se han diseñado tres fases, seguidas de una cuarta en la que el niño resuelve problemas fractales simples mediante reglas de composición simétricas adquiridas en las tres primeras fases. En base al marco teórico adoptado y algunos antecedentes, se propone el programa Desarrollo de la Intuición Geométrica (DIG) organizada en dos módulos (I y II) con dos fases por módulo: primera y segunda fases en el módulo I y, tercer y cuarta en el módulo II. Descriptores: noción intuitiva del espacio, simetría simple, formas geométricas elementales, fractales simples, reglas de composiciones simétricas. Abstract  This article contains two parts, one introductory and the other with the development of an educational program for children from 5 to 7 years of age. The theory and findings of genetic psychology showed that children between 5 to 7 years of age possess intuitive notions about space, that is, notions of space based on the perceptual data of objects (visuotactilokinestesicos character data) and on the spatial images that arise from the manipulatory-perceptive activity of the child on the objects he perceives, allowing him to group objects in figurative and non-figurative collections, which genetic psychologists Jean Piaget and Bärbel Inhelder have described in terms of simple symmetries: mirror, axial and of rotation. This intuitive mastery of the symmetries in the child has led us to propose a set of activities to apply the mentioned symmetrical rules so that the children can discover with the guidance of the teacher, the intra- and inter-figurative properties of the elementary geometric forms for which three phases have been designed, followed by a fourth in which the child solves simple fractal problems through symmetric composition rules acquired in the first three phases. Based on the theoretical framework adopted and some background, we propose the Development of Geometric Intuition (DIG) program organized into two modules (I and II) with two phases per module: first and second phases in module I and third and fourth in module II. Keywords: intuitive notion of space, simple symmetry, elementary geometric shapes, simple fractals, symmetric composition rule.


2018 ◽  
pp. 24-30

El Aprendizaje de Relaciones Simétricas en los Niños José Carlos Rivera Benavides Universidad Nacional Mayor de San Marcos, Lima, Perú Recibido el 29 de abril 2018. Aceptado el 21 de junio 2018 DOI: https://doi.org/10.33017/RevECIPeru2018.0004/ Resumen Este artículo contiene dos partes, una introductoria y la otra con el desarrollo de un programa educativo para niños de 5 a 7 años de edad. La teoría y hallazgos de la psicología genética demostraron que los niños entre los 5 a 7 años de edad poseen nociones intuitivas sobre el espacio, es decir, nociones de espacio basadas en los datos perceptivos de los objetos (datos de carácter visuotactilokinestésicos) y en las imágenes espaciales que surgen de la actividad manipulatoria-perceptiva del niño sobre los objetos que percibe permitiéndole agrupar los objetos en colecciones figurativas y no figurativas, las cuales los psicólogos genéticos Jean Piaget y Bärbel Inhelder han descrito en términos de simetrías simples: espejo, axial y de rotación. Este dominio intuitivo de las simetrías en el niño nos ha llevado a proponer un conjunto de actividades de aplicación de las reglas simétricas mencionadas para que los niños logren descubrir con la guía del maestro, las propiedades intra e interfigurales de las formas geométricas elementales para lo cual se han diseñado tres fases, seguidas de una cuarta en la que el niño resuelve problemas fractales simples mediante reglas de composición simétricas adquiridas en las tres primeras fases. En base al marco teórico adoptado y algunos antecedentes, se propone el programa Desarrollo de la Intuición Geométrica (DIG) organizada en dos módulos (I y II) con dos fases por módulo: primera y segunda fases en el módulo I y, tercer y cuarta en el módulo II. Descriptores: noción intuitiva del espacio, simetría simple, formas geométricas elementales, fractales simples, reglas de composiciones simétricas. Abstract This article contains two parts, one introductory and the other with the development of an educational program for children from 5 to 7 years of age. The theory and findings of genetic psychology showed that children between 5 to 7 years of age possess intuitive notions about space, that is, notions of space based on the perceptual data of objects (visuotactilokinestesicos character data) and on the spatial images that arise from the manipulatory-perceptive activity of the child on the objects he perceives, allowing him to group objects in figurative and non-figurative collections, which genetic psychologists Jean Piaget and Bärbel Inhelder have described in terms of simple symmetries: mirror, axial and of rotation. This intuitive mastery of the symmetries in the child has led us to propose a set of activities to apply the mentioned symmetrical rules so that the children can discover with the guidance of the teacher, the intra- and inter-figurative properties of the elementary geometric forms for which three phases have been designed, followed by a fourth in which the child solves simple fractal problems through symmetric composition rules acquired in the first three phases. Based on the theoretical framework adopted and some background, we propose the Development of Geometric Intuition (DIG) program organized into two modules (I and II) with two phases per module: first and second phases in module I and third and fourth in module II. Keywords: intuitive notion of space, simple symmetry, elementary geometric shapes, simple fractals, symmetric composition rule.


2018 ◽  
pp. 24-30

El Aprendizaje de Relaciones Simétricas en los Niños José Carlos Rivera Benavides Universidad Nacional Mayor de San Marcos, Lima, Perú Recibido el 29 de abril 2018. Aceptado el 21 de junio 2018 Resumen Este artículo contiene dos partes, una introductoria y la otra con el desarrollo de un programa educativo para niños de 5 a 7 años de edad. La teoría y hallazgos de la psicología genética demostraron que los niños entre los 5 a 7 años de edad poseen nociones intuitivas sobre el espacio, es decir, nociones de espacio basadas en los datos perceptivos de los objetos (datos de carácter visuotactilokinestésicos) y en las imágenes espaciales que surgen de la actividad manipulatoria-perceptiva del niño sobre los objetos que percibe permitiéndole agrupar los objetos en colecciones figurativas y no figurativas, las cuales los psicólogos genéticos Jean Piaget y Bärbel Inhelder han descrito en términos de simetrías simples: espejo, axial y de rotación. Este dominio intuitivo de las simetrías en el niño nos ha llevado a proponer un conjunto de actividades de aplicación de las reglas simétricas mencionadas para que los niños logren descubrir con la guía del maestro, las propiedades intra e interfigurales de las formas geométricas elementales para lo cual se han diseñado tres fases, seguidas de una cuarta en la que el niño resuelve problemas fractales simples mediante reglas de composición simétricas adquiridas en las tres primeras fases. En base al marco teórico adoptado y algunos antecedentes, se propone el programa Desarrollo de la Intuición Geométrica (DIG) organizada en dos módulos (I y II) con dos fases por módulo: primera y segunda fases en el módulo I y, tercer y cuarta en el módulo II. Descriptores: noción intuitiva del espacio, simetría simple, formas geométricas elementales, fractales simples, reglas de composiciones simétricas. Abstract This article contains two parts, one introductory and the other with the development of an educational program for children from 5 to 7 years of age. The theory and findings of genetic psychology showed that children between 5 to 7 years of age possess intuitive notions about space, that is, notions of space based on the perceptual data of objects (visuotactilokinestesicos character data) and on the spatial images that arise from the manipulatory-perceptive activity of the child on the objects he perceives, allowing him to group objects in figurative and non-figurative collections, which genetic psychologists Jean Piaget and Bärbel Inhelder have described in terms of simple symmetries: mirror, axial and of rotation. This intuitive mastery of the symmetries in the child has led us to propose a set of activities to apply the mentioned symmetrical rules so that the children can discover with the guidance of the teacher, the intra- and inter-figurative properties of the elementary geometric forms for which three phases have been designed, followed by a fourth in which the child solves simple fractal problems through symmetric composition rules acquired in the first three phases. Based on the theoretical framework adopted and some background, we propose the Development of Geometric Intuition (DIG) program organized into two modules (I and II) with two phases per module: first and second phases in module I and third and fourth in module II. Keywords: intuitive notion of space, simple symmetry, elementary geometric shapes, simple fractals, symmetric composition rule.


2018 ◽  
Vol 29 (3-4) ◽  
pp. e1815
Author(s):  
Tingting Li ◽  
Liying Yang ◽  
Meili Wang ◽  
Yuling Fan ◽  
Feiyu Zhang ◽  
...  

CAUCHY ◽  
2015 ◽  
Vol 4 (1) ◽  
pp. 48
Author(s):  
Wildan Hakim ◽  
Turmudi Turmudi

Sugeno method is one method of fuzzy inference system on fuzzy logic for decision making. In-Zero Order Sugeno method in fuzzy logic consists of four stages: 1. fuzzification. 2. The application functionality implications, the implication function used is function MIN (minimum). 3. The composition rule using the function MAX (maximum). 4. Defuzzification weight average. Based on case 1, each student with non-formal education and informal education by 12 by 19 has a value of 20.7 and a variable linguistic personality is MEDIUM. Suggestions for further research can use other parameters in determining the level of personality of students with fuzzy logic


2014 ◽  
Vol 68 ◽  
pp. 1-8 ◽  
Author(s):  
César C. Scharlau ◽  
Mauricio C. de Oliveira ◽  
Alexandre Trofino ◽  
Tiago J.M. Dezuo

Sign in / Sign up

Export Citation Format

Share Document