18,245 research outputs found
Semigroups with if-then-else and halting programs
No full textThe "if–then–else" construction is one of the most elementary programming commands, and its abstract laws have been widely studied, starting with McCarthy. Possibly, the most obvious extension of this is to include the operation of composition of programs, which gives a semigroup of functions (total, partial, or possibly general binary relations) that can be recombined using if–then–else. We show that this particular extension admits no finite complete axiomatization and instead focus on the case where composition of functions with predicates is also allowed (and we argue there is good reason to take this approach). In the case of total functions — modeling halting programs — we give a complete axiomatization for the theory in terms of a finite system of equations. We obtain a similar result when an operation of equality test and/or fixed point test is included
Else Herz correspondence 1937-1941
No full textThis correspondence consists of letters sent to Else Herz in New York from her parents, relatives, and friends in Germany between 1937 and 1941. The majority comprises weekly letters from her parents, Carl Herz and Emma Herz née Hanf of Offenbach am Main. There are also a few letters from her aunt, Regine Henriette Amalie Herz, her brother Kurt Herz and his wife Ellen, and her friend Erich Herrscher.Else Herz (1904-1995) immigrated from Offenbach am Main, Germany to New York City in 1936. She was the daughter of Carl Leopold Herz (born 1874) and Emma Herz née Hanf (1861-1942). Emma died in Theresienstadt. Else Herz's brother Kurt G. Herz (1903-1992) was married to Ellen M. Herz née Wolff. Kurt and Ellen fled to England in the late 1930s and joined Else in New York in 1940. Else Herz's aunt was Regine Henriette Amalie Herz (1869-1944). She died in Theresienstadt. A family friend, Erich Herrscher (1903-1942), lived in Regensburg, Germany. He and his wife Alma née Abraham (1900-1942) were also murdered in the Holocaust.The letters were found in a shoe box in a thrift shop in New York City.Processeddigitize
Else Mentz Fleissner Collection 2009
No full textThe collection contains a photograph of Else Mentz Fleissner with her son Robert Fleissner; biographical notes and
bibliography of Else Mentz Fleissner, which are photocopied from the Festschrift prepared on the occasion of her retirement from Wells
College; and photocopy of a newspaper article about her children's novel The Magic Key.Else Mentz Fleissner was born on June 6, 1900, in Strasbourg. She received a PhD from the University of Freiburg in
1924 and immigrated to the United States in 1925 on a fellowship from Radcliffe College to study American literature. She was an
instructor of German at Hunter College in New York and at the University of Wisconsin-Madison, where she met her husband, Otto
Fleissner. She and Otto had two sons, Robert and Erwin. Beginning in 1927, she taught German Language and Literature at Wells College
and founded the Wells Summer School for German in 1964. She retired in 1965 and lived in Aurora and then in Ohio with her son Robert
until her death in 1987.Processed for digitizatio
NON-CODING NOTCH1 MUTATIONS IN CHRONIC LYMPHOCYTIC LEUKEMIA; THEIR CLINICAL IMPACT IN THE UK CLL4 TRIAL
No full textPoverty Research Rethought
Get PDFKapittel 1 i boken: "Poverty: a global review. Handbook on international poverty research
Los rasgos suprasegmentales en los nuevos descriptores del MCER: posibles impactos para la evaluación de la prosodia en ELSE
Get PDFFil: Pacagnini, Ana M. Universidad Nacional de Río Negro, Centro de Estudios de la Literatura, el Lenguaje, su Aprendizaje y su Enseñanza; ArgentinaTrabajo presentado en el X Coloquio CELU (en el marco del Panel sobre "Abordaje de la enseñanza del español desde la perspectiva del CELU")El objeto de la presente comunicación es abordar la problemática de la evaluación de la pronunciación en exámenes de dominio de ELSE, en particular en aquello que atañe a lo suprasegmental. En trabajos previos (Pacagnini 2013, 2014, 2017a y b), hemos observado el lugar marginal de la prosodia tanto en la enseñanza como en la evaluación de la pronunciación en ELSE, debido en parte a que se han priorizado los rasgos segmentales (y su relación con los grafemas) por sobre los suprasegmentales. Este desplazamiento de la prosodia se ha visto acentuado por el hecho de que los factores prosódicos suelen asociarse a la fluidez, mientras que los factores segmentales prevalecen como indicadores de nivel, según analizamos en Pacagnini (2017a y b). En relación con ello, el volumen complementario a la edición original del MCER (Consejo de Europa, 2018), además de presentar versiones actualizadas de las escalas de 2001 (que resuelven vacancias del documento original y proporcionan descriptores para nuevas áreas, particularmente la mediación, la interacción a través de Internet y la competencia plurilingüe y pluricultural), propone una nueva escala analítica para el área fonético-fonológica. Esto reviste especial interés para docentes y sobre todo para evaluadores, en tanto que aborda un área pendiente, al expandir los descriptores del lenguaje oral incorporando los aspectos prosódicos. Sin embargo, y a pesar de avanzar en la delimitación entre prosodia y fluidez (ya que todo lo referente a los rasgos suprasegmentales pasa al área fonológica), se hace hincapié casi exclusivamente en factores de índole prosódica, en detrimento de aspectos segmentales. Por ello, en este trabajo intentaremos presentar una serie de estrategias que permitan abordar el lugar de los rasgos segmentales y prosódicos como criterio de evaluación y asignación de nivel, considerando fundamentalmente el impacto que esto pueda tener para un examen como el CELU
Monoids with tests and the algebra of possibly non-halting programs
No full textWe study the algebraic theory of computable functions, which can be viewed as arising from possibly non-halting computer programs or algorithms, acting on some state space, equipped with operations of composition, if-then-else and while-do defined in terms of a Boolean algebra of conditions. It has previously been shown that there is no finite axiomatisation of algebras of partial functions under these operations alone, and this holds even if one restricts attention to transformations (representing halting programs) rather than partial functions, and omits while-do from the signature. In the halting case, there is a natural “fix”, which is to allow composition of halting programs with conditions, and then the resulting algebras admit a finite axiomatisation. In the current setting such compositions are not possible, but by extending the notion of if-then-else, we are able to give finite axiomatisations of the resulting algebras of (partial) functions, with while-do in the signature if the state space is assumed finite. The axiomatisations are extended to consider the partial predicate of equality. All algebras considered turn out to be enrichments of the notion of a (one-sided) restriction semigrou
Clinical Significance of TP53, BIRC3, ATM and MAPK-ERK genes in Chronic Lymphocytic Leukaemia: Data from the Randomised UK LRF CLL4 Trial
No full textLetter to Jan Else signed by Antigone Kotsiopulos and Ginny Webster
No full textThank you letter to Friends of the Gustafson Gallery member and department faculty member, Janet J. Else, signed by Department Head, Antigone Kotsiopulos, and Friends of the Gustafson Gallery President, Ginny (Virginia) Webster
- …
