Výsledky vyhledávání - "André Du Bois"

Akademický článek

The Design of a Verified Derivative-Based Parsing Tool for Regular Expressions

Autor: Elton Cardoso, Maycon Amaro, Samuel Feitosa, Leonardo Reis, André Du Bois, Rodrigo Ribeiro

Publikováno v: CLEI Electronic Journal, Vol 24, Iss 3 (2021)

We describe the formalization of Brzozowski and Antimirov derivative based algorithms for regular expression parsing, in the dependently typed language Agda. The formalization produces a proof that either an input string matches a given regular expre

Externí odkaz: https://doaj.org/article/04d5634c021c4b1eb9cc0d2fae89fec6

Zobrazit plný text záznamu

Jogo de RPG para o Desenvolvimento de Habilidades do Pensamento Computacional no Ensino Fundamental: Jogo Digital e Formação de Professores

Autor: Bruno Cabreira Gonçalves, João Eduardo Seffrin Soares, Placida Oliveira, Jonnhy Marques, Simone André da Costa Cavalheiro, Luciana Foss, André Du Bois, Renata Reiser, Clause Piana, Ana Rita Mazzini

Publikováno v: Revista Brasileira de Informática na Educação. 30:262-291

O Pensamento Computacional (PC) tem sido considerado como uma alternativa para o desenvolvimento de habilidades consideradas fundamentais para os profissionais do século XXI. No Brasil, a importância do PC pode ser observada pela sua inserção nas

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::84111ea0bebc7d13d3e775ed31eb704b
https://doi.org/10.5753/rbie.2022.2400

Zobrazit plný text záznamu

The crystal structure and thermal expansion of the CCl4 adduct of Dianin's compound

Autor: André du Bois, Mary Anne White, Walter Abriel, Marek Zakrzewski

Publikováno v: Canadian Journal of Chemistry. 68:1352-1356

The crystal structure of the title compound has been determined by single crystal X-ray diffraction data collected at 293 K, and refined to a final Rw of 0.057. The crystals are rhombohedral, space group [Formula: see text], with a = 27.134(8) Å, c

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::f4d346bac1185262051bc50ba3283d5a
https://doi.org/10.1139/v90-207

Zobrazit plný text záznamu

Zur Stereochemie des freien Elektronenpaares in AX6E-Systemen, IX+ Statisch verzerrtes Anion in [(CH3)2HN(C6H4)NH(CH3)2]TeCl6 / On the Stereochemistry of the Lone-Pair Electrons in AX6E-Systems, IX+ Statically Distorted Anion in [(CH3)2HN(C6H4)NH(CH3)2]TeCl6

Autor: André du Bois, Walter Abriel

Publikováno v: Zeitschrift für Naturforschung B. 45:573-578

Using 293 K diffractometer intensity data, the crystal structure of [(CH3)2HN(C6H4)NH(CH3)2]TeCl6 has been determined by single crystal X-ray technique and refined to a final Rw of 0.022. The yellow crystals are orthorhombic, space group Pna 21, with

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::1a9d5bab7ffcfed89da63a66f321dc5f
https://doi.org/10.1515/znb-1990-0501

Zobrazit plný text záznamu

Die Kristallstrukturen von Verbindungen des Typs A2TeX6 (A = K, NH4, Rb, Cs; X = Cl, Br, I) / The Crystal Structures of Compounds A2TeX6 (A = K, NH4, Rb, Cs; X = Cl, Br, I)

Autor: Walter Abriel, André du Bois

Publikováno v: Zeitschrift für Naturforschung B. 44:1187-1194

With the determination of the crystal structure of (NH4)2TeI6 the list of the descriptions of A2TeX6 structures is further completed. At 293 K three structure types are observed with an antifluorite packing of cations and anions: The cubic K2PtCl6 ty

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::4e36aac2dd5dd39242d714295fbab2ee
https://doi.org/10.1515/znb-1989-1007

Zobrazit plný text záznamu

Zur Stereochemie des freien Elektronenpaares in AX6E-Systemen, VIII. Statisch verzerrte Anionen in [H3N(CH2)3NH3]3(BiX6)2(H2O)2 mit X = Cl, Br/ On the Stereochemistry of the Lone-Pair Electrons in AX6E-Systems, VIII Statically Distorted Anion in [H3N(CH2)3NH3]3(BiX6)2(H2O)2 with X = Cl, Br

Autor: André du Bois, Walter Abriel

Publikováno v: Zeitschrift für Naturforschung B. 43:1003-1009

Using 293 K diffractometer intensity data, the crystal structures of [H3N(CH2)3NH3]3(BiX6)2(H2O)2 with X - Cl, Br have been determined by single crystal X-ray technique and refined to a final Rw of 0.027 and 0.043, respectively. The structures are is

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::c1054712d184b717e0b5b031c81f51fc
https://doi.org/10.1515/znb-1988-0815

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání