21 |
Semantic-Directed Clumping of Disjunctive Abstract States *
|
|
|
|
In: POPL 2017 - 44th ACM SIGPLAN Symposium on Principles of Programming Languages ; https://hal.inria.fr/hal-01648679 ; POPL 2017 - 44th ACM SIGPLAN Symposium on Principles of Programming Languages, Jan 2017, Paris, France. pp.32-45, ⟨10.1145/3009837.3009881⟩ (2017)
|
|
BASE
|
|
Show details
|
|
22 |
Copredication in homotopy type theory
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-01628150 ; 2017 (2017)
|
|
BASE
|
|
Show details
|
|
23 |
Mobile user authentication system (MUAS) for e-commerce applications.
|
|
|
|
BASE
|
|
Show details
|
|
24 |
The mat sat on the cat : investigating structure in the evaluation of order in machine translation
|
|
McCaffery, Martin. - : University of St Andrews, 2017. : The University of St Andrews, 2017
|
|
BASE
|
|
Show details
|
|
25 |
Computational analysis of tongue image for health diagnosis
|
|
Zhang, Meng. - : University of Missouri--Columbia, 2017
|
|
In: Submited to University of Missouri--Columbia Graduate School. (2017)
|
|
BASE
|
|
Show details
|
|
26 |
Speech-to-text technology and education : pre-service teachers' collaborative professional development as case study
|
|
Wilcox, Kevin. - : Nipissing University, Faculty of Education, 2017
|
|
BASE
|
|
Show details
|
|
27 |
Speech-to-text technology and education : pre-service teachers' collaborative professional development as case study
|
|
|
|
BASE
|
|
Show details
|
|
28 |
Applications of Text Analytics in the Intelligence Community
|
|
|
|
BASE
|
|
Show details
|
|
30 |
Использование компьютерных программ, основанных на лингвистическом анализе ложной информации (обзор зарубежного исследования)
|
|
ХОЛЕВЧУК А.Г.. - : Общество с ограниченной ответственностью «Коллоквиум», 2015
|
|
BASE
|
|
Show details
|
|
31 |
Интерактивная компьютерная программа по развитию описательной связной речи для детей и взрослых с речевой патологией
|
|
ИВАНОВА НАТАЛИЯ НИКОЛАЕВНА. - : Федеральное государственное бюджетное образовательное учреждение высшего образования «Удмуртский государственный университет», 2015
|
|
BASE
|
|
Show details
|
|
32 |
Non-linear Second order Abstract Categorial Grammars and deletion
|
|
|
|
In: NLCS 2015: Natural Language and Computer Science ; https://hal.archives-ouvertes.fr/hal-01251127 ; NLCS 2015: Natural Language and Computer Science, Makoto Kanazawa, 2015, Kyoto, Japan (2015)
|
|
BASE
|
|
Show details
|
|
33 |
The Impact of the Use of Dynamic Software as a Teaching Tool in Geometry
|
|
|
|
Abstract:
The first objective of this study was to investigate the effects of the use of Geometer's Sketchpad (GSP) on students' achievement on traditional assessments in Geometry. The second objective of the study was to determine the impact of technology on students' attitudes towards geometry. This research was conducted in four geometry classes at a secondary school in Connecticut. Eighty-six students participated in this study. The control group was composed of one honors level class with 23 students and one academic level class with 19 students and was taught geometric constructions through the use of traditional tools, including a pair of compasses, straightedge, pencil, and paper. The experimental group was composed of one honors level class with 23 students and one academic level class with 21 students and was taught geometric constructions through the use of GSP. Each group performed constructions of the same geometric figures and were asked to make conjectures based on their findings. All students in the study were required to complete the same assessment and the same questionnaire describing their experience. This exploratory study did not find enough significant evidence to show that all high school students achieve at a higher rate through the use of GSP. There was some evidence that suggests that males' achievement might be higher through the use of GSP and further research should be done to investigate this conjecture. Across the board, students showed an increase in enjoyment and felt that their results were more accurate through the use of technology. Students also felt that their conjectures are easier to verify through technology rather than through the use of hand tools. These preliminary findings will be able to focus the attention of teachers what aspects they will have to consider if they want to implement dynamic geometry software in their classrooms. This exploratory study yielded preliminary data and could be used in the design of a full scale study. ; "Submitted in Partial Fulfillment of the Requirements for the Degree of Master of Science in Mathematics."; Thesis advisor: Robin Kalder.; M.S.,Central Connecticut State University,,2015.; Includes bibliographical references (leaves 28-30).
|
|
Keyword:
Geometry--Study and teaching--Computer programs
|
|
URL: http://content.library.ccsu.edu/cdm/ref/collection/ccsutheses/id/2187
|
|
BASE
|
|
Hide details
|
|
34 |
Program Design: The Learner Path
|
|
|
|
In: Research Briefs and Case Studies (2015)
|
|
BASE
|
|
Show details
|
|
35 |
Program Design: Volunteering in a Digital Literacy Program
|
|
|
|
In: Research Briefs and Case Studies (2015)
|
|
BASE
|
|
Show details
|
|
36 |
Program Design: Tutor-Facilitated Digital Literacy Acquisition
|
|
|
|
In: Research Briefs and Case Studies (2015)
|
|
BASE
|
|
Show details
|
|
37 |
Program Design: Learning Digital Skills in a Corrections Setting
|
|
|
|
In: Research Briefs and Case Studies (2015)
|
|
BASE
|
|
Show details
|
|
38 |
Program Design: Learning Digital Skills in a Time-limited Program
|
|
|
|
In: Research Briefs and Case Studies (2015)
|
|
BASE
|
|
Show details
|
|
40 |
Exploring Social Meaning in Online Bilingual Text through Social Network Analysis
|
|
|
|
In: DTIC (2015)
|
|
BASE
|
|
Show details
|
|
|
|