From Purple Prose to Machine-Checkable Proofs by Luther TychonievichFamilySearch
How much should software require that you tell it? In this session we'll discuss the conflict between genealogical rigor and user-friendly interfaces, talking about technical solutions for out-of-the-way rigor in data and user interface.
Dr. Luther A. Tychonievich, Ph.D.
Dept. Computer Science, University of Virginia
TSC Coordinator, Family History Information Standards Organisation
These slides: http://www.cs.virginia.edu/luther/RT2015.pdf
Me: ltychonievich@fhiso.org or luther@virginia.edu
This presentation was given by Luther Tychonievich at the 2015 RootsTech Innovator Summit held at the Salt Palace Convention Center in Salt Lake City, Utah, USA on February 11, 2015.
From Purple Prose to Machine-Checkable Proofs by Luther TychonievichFamilySearch
How much should software require that you tell it? In this session we'll discuss the conflict between genealogical rigor and user-friendly interfaces, talking about technical solutions for out-of-the-way rigor in data and user interface.
Dr. Luther A. Tychonievich, Ph.D.
Dept. Computer Science, University of Virginia
TSC Coordinator, Family History Information Standards Organisation
These slides: http://www.cs.virginia.edu/luther/RT2015.pdf
Me: ltychonievich@fhiso.org or luther@virginia.edu
This presentation was given by Luther Tychonievich at the 2015 RootsTech Innovator Summit held at the Salt Palace Convention Center in Salt Lake City, Utah, USA on February 11, 2015.
This short document from GlobalLogic promotes their company values of work, play and innovation in 3 short sentences. It concludes with their website address and copyright information.
PowerPoint 2007 introduces new features including improved text, graphics, and picture capabilities, SmartArt diagrams, themes and quick styles for easier formatting, and new layouts for slides. This presentation demonstrates these new capabilities through examples and is intended to provide ideas for creating presentations in PowerPoint 2007.
Apoio ao Fera - 3º Milênio - Jornal 12 mes de dezembro seriado 1 e 2Isaquel Silva
1) O documento resume informações sobre o Vestibular Seriado da Universidade de Pernambuco (UPE), incluindo como imprimir o cartão de local de prova, a concorrência dos principais cursos, o formato das provas da 1a e 2a fases, e como será calculada a nota final.
2) Direito em Santo Amaro é o curso mais concorrido, com 123,8 candidatos por vaga. As provas da 1a e 2a fases terão questões de múltipla escolha sobre diversas disciplinas.
3) A nota
Este documento muestra las notas de 5 estudiantes en 3 exámenes y su nota media final, donde 2 estudiantes aprobaron con una media de 6,0 y otros 2 suspendieron con medias de 3,7 y 4,0.
This document discusses formative and summative assessment for online and on-ground courses. It provides examples of formative assessment tools that can be used online such as exit slips, journals, and discussion boards. It also discusses how to assess student understanding, effort, and feedback online through surveys and open dialogue. The document emphasizes that assessment should focus on student learning and that instructional strategies are a means to improve student achievement.
A empresa anunciou um novo produto para competir no mercado de smartphones. O novo aparelho terá câmera de alta resolução e bateria de longa duração a um preço acessível. A expectativa é que o lançamento ajude a empresa a aumentar sua participação no mercado.
El narrador encuentra a un ratón atrapado en una red en la bodega del castillo. Intenta ayudarlo pero queda atrapado también. Un gato se acerca y comienzan a rodar colina abajo para escapar, terminando en un lago. Más tarde se hacen amigos y regresan al castillo, donde encuentran al gato persiguiendo a un perro. Deciden darles de comer a todos y jugar juntos, inventando nuevos juegos.
Este documento presenta las instrucciones para un juego de penales en el que el jugador debe seleccionar números del 1 al 9 para anotar goles y avanzar de nivel. Al seleccionar los números correctos el jugador gana, recibe felicitaciones y puede continuar al siguiente nivel, mientras que al fallar debe intentar de nuevo hasta lograr anotar.
Las TIC (tecnologías de la información y comunicación) se han vuelto omnipresentes en la sociedad moderna y se utilizan en sectores como la educación, la salud y el gobierno. Sirven para almacenar y compartir grandes cantidades de información de forma inmaterial e instantánea a pesar de la distancia. Aunque tienen beneficios como mejorar la educación y la salud, también conllevan desventajas como la pérdida de privacidad, el aislamiento y el fraude.
Tourism is increasingly indispensable in our spiritual life, especially discovery and experience tours. DANG LE TOURISM INVESTMENT CO. LTD – a member of Trung Nguyen Group would like to introduce to you Coffee Tour – a tour of Learning, Discovery and Experience. Coffee Tour will bring you to the wonderful space of forest, waterfalls, epics, featured regional culture. Especially you could fly to world of immense coffee plantations to enjoy special flavor of mountain city. With Coffee Tour, you can set foot on one of lands where river flows westward in the world, gaze with veneration at white foam of Draynur and Draysap - the most imposing waterfalls of Highland. Stay at Draynur, you co
C:\Documents And Settings\13877820\Escritorio\Tarea De Informatica RrhhFERNANDOJARA
Este documento presenta una tabla con los campos requeridos para el registro de datos personales y laborales del personal de una empresa. La tabla incluye campos como RUT, nombres, apellidos, fecha de nacimiento, dirección, cargo, fecha de ingreso, sueldo bruto, afiliaciones previsionales y detalles de cargas familiares.
This short document from GlobalLogic promotes their company values of work, play and innovation in 3 short sentences. It concludes with their website address and copyright information.
PowerPoint 2007 introduces new features including improved text, graphics, and picture capabilities, SmartArt diagrams, themes and quick styles for easier formatting, and new layouts for slides. This presentation demonstrates these new capabilities through examples and is intended to provide ideas for creating presentations in PowerPoint 2007.
Apoio ao Fera - 3º Milênio - Jornal 12 mes de dezembro seriado 1 e 2Isaquel Silva
1) O documento resume informações sobre o Vestibular Seriado da Universidade de Pernambuco (UPE), incluindo como imprimir o cartão de local de prova, a concorrência dos principais cursos, o formato das provas da 1a e 2a fases, e como será calculada a nota final.
2) Direito em Santo Amaro é o curso mais concorrido, com 123,8 candidatos por vaga. As provas da 1a e 2a fases terão questões de múltipla escolha sobre diversas disciplinas.
3) A nota
Este documento muestra las notas de 5 estudiantes en 3 exámenes y su nota media final, donde 2 estudiantes aprobaron con una media de 6,0 y otros 2 suspendieron con medias de 3,7 y 4,0.
This document discusses formative and summative assessment for online and on-ground courses. It provides examples of formative assessment tools that can be used online such as exit slips, journals, and discussion boards. It also discusses how to assess student understanding, effort, and feedback online through surveys and open dialogue. The document emphasizes that assessment should focus on student learning and that instructional strategies are a means to improve student achievement.
A empresa anunciou um novo produto para competir no mercado de smartphones. O novo aparelho terá câmera de alta resolução e bateria de longa duração a um preço acessível. A expectativa é que o lançamento ajude a empresa a aumentar sua participação no mercado.
El narrador encuentra a un ratón atrapado en una red en la bodega del castillo. Intenta ayudarlo pero queda atrapado también. Un gato se acerca y comienzan a rodar colina abajo para escapar, terminando en un lago. Más tarde se hacen amigos y regresan al castillo, donde encuentran al gato persiguiendo a un perro. Deciden darles de comer a todos y jugar juntos, inventando nuevos juegos.
Este documento presenta las instrucciones para un juego de penales en el que el jugador debe seleccionar números del 1 al 9 para anotar goles y avanzar de nivel. Al seleccionar los números correctos el jugador gana, recibe felicitaciones y puede continuar al siguiente nivel, mientras que al fallar debe intentar de nuevo hasta lograr anotar.
Las TIC (tecnologías de la información y comunicación) se han vuelto omnipresentes en la sociedad moderna y se utilizan en sectores como la educación, la salud y el gobierno. Sirven para almacenar y compartir grandes cantidades de información de forma inmaterial e instantánea a pesar de la distancia. Aunque tienen beneficios como mejorar la educación y la salud, también conllevan desventajas como la pérdida de privacidad, el aislamiento y el fraude.
Tourism is increasingly indispensable in our spiritual life, especially discovery and experience tours. DANG LE TOURISM INVESTMENT CO. LTD – a member of Trung Nguyen Group would like to introduce to you Coffee Tour – a tour of Learning, Discovery and Experience. Coffee Tour will bring you to the wonderful space of forest, waterfalls, epics, featured regional culture. Especially you could fly to world of immense coffee plantations to enjoy special flavor of mountain city. With Coffee Tour, you can set foot on one of lands where river flows westward in the world, gaze with veneration at white foam of Draynur and Draysap - the most imposing waterfalls of Highland. Stay at Draynur, you co
C:\Documents And Settings\13877820\Escritorio\Tarea De Informatica RrhhFERNANDOJARA
Este documento presenta una tabla con los campos requeridos para el registro de datos personales y laborales del personal de una empresa. La tabla incluye campos como RUT, nombres, apellidos, fecha de nacimiento, dirección, cargo, fecha de ingreso, sueldo bruto, afiliaciones previsionales y detalles de cargas familiares.