44 results
Search Results
2. Proceedings of International Conference on Social and Education Sciences (IConSES) (Denver, Colorado, October 7-10, 2019). Volume 1
- Author
-
International Society for Technology, Education and Science (ISTES) Organization, Shelley, Mack, and Akerson, Valarie
- Abstract
"Proceedings of International Conference on Social and Education Sciences" includes full papers presented at the International Conference on Social and Education Sciences (IConSES), which took place on October 7-10, 2019, in Denver, Colorado. The aim of the conference is to offer opportunities to share ideas, discuss theoretical and practical issues, and to connect with the leaders in the fields of education and social sciences. The IConSES invites submissions that address the theory, research, or applications in all disciplines of education and social sciences. The IConSES is organized for: faculty members in all disciplines of education and social sciences, graduate students, K-12 administrators, teachers, principals, and all interested in education and social sciences. [Individual papers are indexed in ERIC.]
- Published
- 2019
3. Mathematical and physical papers, 1903-1913, by Benjamin Osgood Peirce.
- Author
-
Peirce, B. O. (Benjamin Osgood), 1854-1914, Northeastern University, Snell Library (archive.org), and Peirce, B. O. (Benjamin Osgood), 1854-1914
- Subjects
Mathematics ,Physics - Published
- 1926
4. The scientific papers; edited by W.D. Niven.
- Author
-
Maxwell, James Clerk, 1831-1879, Niven, Sir William Davidson, 1842, Gerstein - University of Toronto (archive.org), Maxwell, James Clerk, 1831-1879, and Niven, Sir William Davidson, 1842
- Subjects
Mathematics ,Physics - Published
- 1890
5. Picture Books That Teach Concepts in Science, Math, and Social Studies to Beginning Readers.
- Author
-
Donoghue, Mildred R.
- Abstract
In today's schools, the additional time demanded by administrators and parents for literacy instruction of school beginners has almost eliminated content area instruction in science and social studies and has reduced instruction in math. This paper shows how to present such instruction in content areas to emergent readers without sacrificing literature through a selection of books recommended in "Best Books for Children." Each book title in the paper relates to content standards recently and professionally established for the lower grades by national organizations and/or a state department of education. Each of the 13 titles may be read aloud to the class and followed by the developmentally appropriate activity described in the paper. Also included are synopses of the books as well as the individual concepts in science, social studies, or math found in those books. (NKA)
- Published
- 2001
6. Higher Goals in Mathematics Education
- Author
-
Kolar-Begovic, Zdenka, Kolar-Šuper, Ružica, and Ðurdevic Babic, Ivana
- Abstract
This monograph offers an overview of the current research work carried out in Croatia and the surrounding countries, and specifically an interesting insight in teaching and learning issues in these countries. The authors discuss the need of the general population for becoming good problem-solvers in society of today, which is characterised by rapid technological changes and economic development. They argue that modern teaching methods are therefore needed. From the contributions in this monograph, it appears that awareness of future teachers' beliefs and knowledge is present in the tertiary education. The studies investigate various aspects of pre-service and in-service teachers' characteristics, like beliefs, knowledge, digital competencies or using ICT in teaching. But the contributions also portray another picture: mathematics education is becoming accepted as a field of scientific research in this region. Although mathematics education research is a young scientific field, it has been recognised that changes in the curriculum and teaching practice should draw upon findings from well-established mathematics education studies. Therefore, in order to enhance mathematics teaching and learning in Croatia and the surrounding countries, there should exist continuous collaboration between communities of mathematics researchers and teacher practitioners, since one of many problems is how to make research results more usable in the classroom. This book contains the results of the research on teaching mathematics and examples of good practice provided by the scholars from the neighbouring countries Croatia, Bosnia and Herzegovina, Hungary, Romania, Slovenia and Sweden. The following chapters are presented in this monograph: (1) Understanding of mathematically gifted students' approaches to problem solving (Tatjana Hodnik Cadež, Vida Manfreda Kolar), (2) Contemporary methods of teaching mathematics--the discovering algorithm method. Algorithm for fraction division (Maja Cindric, Irena Mišurac), (3) Word problems in mathematics teaching (Edith Debrenti), (4) Graphical representations in teaching GCF and LCM (Karmelita Pjanic, Edin Lidan), (5) Mathematics + Computer Science = True (Anders Hast), (6) Discovering patterns of student behaviour in e-learning environment (Marijana Zekic-Sušac, Ivana Ðurdevic Babic), (7) Classification trees in detecting students' motivation for maths from their ICT and Facebook use (Ivana Ðurdevic Babic, Anita Marjanovic), (8) Using Moodle in teaching mathematics in Croatian education system (Josipa Matotek), (9) Future teachers' perception on the application of ICT in the process of assessment and feedback (Karolina Dobi Barišic), (10) Pass rates in mathematical courses: relationship with the state matura exams scores and high school grades (Dušan Mundar, Zlatko Erjavec), (11) Approaches to teaching mathematics in lower primary education (Sead Rešic, Ivana Kovacevic), (12) Issues in contemporary teaching of mathematics and teacher competencies (Zoran Horvat), (13) Teaching Mathematics in early education: current issues in classrooms (Ksenija Romstein, Stanislava Irovic, Mira Vego), (14) Preservice mathematics teachers' problem solving processes when working on two nonroutine geometry problems (Doris Dumicic Danilovic, Sanja Rukavina), (15) Tendencies in identifying geometric shapes observed in photos of real objects--case of students of primary education (Karmelita Pjanic, Sanela Nesimovic), (16) Visual mathematics and geometry, the "final" step: projective geometry through linear algebra (Emil Molnàr, Istvàn Prok and Jeno Szirmai), (17) Is any angle a right angle? (Vladimir Volenec), (18) An interesting analogy of Kimberling-Yff's problem (Zdenka Kolar-Begovic, Ružica Kolar- Šuper, Vladimir Volenec), (19) Pre-service teachers and statistics: an empirical study about attitudes and reasoning (Ljerka Jukic Matic, Ana Mirkovic Moguš, Marija Kristek), (20) Beliefs about mathematics and mathematics teaching of students in mathematics education programme at the Department of Mathematics, University of Zagreb (Aleksandra Cižmešija, Željka Milin Šipuš), (21) Self-reported creativity of primary school teachers and students of teacher studies in diverse domains, and implications of creativity relationships to teaching mathematics in the primary school (Željko Racki, Ana Katalenic, Željko Gregorovic), (22) How Croatian mathematics teachers organize their teaching in lower secondary classrooms: differences according to the initial education (Ljerka Jukic Matic, Dubravka Glasnovic Gracin), and (23) Structures of Croatian Mathematics Textbooks (Goran Trupcevic, Anda Valent). An index is included. Individual chapters contain references, tables, figures, and footnotes. The papers are written in English, and at the end of each paper is a summary on the original language of the author. [The following entities sponsored this work: Osijek--Baranja County, Osijek--City Government, Osijek Mathematical Society, Ministry of Science, Education and Sports of the Republic of Croatia, Tvornica reklama d.o.o., Osijek.]
- Published
- 2015
7. Culminating Experience Action Research Projects, Volume 17, Fall 2010
- Author
-
University of Tennessee at Chattanooga, College of Health, Education and Professional Studies, McAllister, Deborah A., Cutcher, Cortney L., McAllister, Deborah A., Cutcher, Cortney L., and University of Tennessee at Chattanooga, College of Health, Education and Professional Studies
- Abstract
As a part of the teacher licensure program at the graduate level at The University of Tennessee at Chattanooga (UTC), the M.Ed. Licensure candidate is required to complete an action research project during a 3-semester-hour course that coincides with the 9-semester-hour student teaching experience. This course, Education 5900 Culminating Experience, requires the student to implement an action research plan designed through (a) the Education 5000 Introduction to Inquiry course or the Education 5010 Methods of Educational Research course, (b) one of the two learning assessments required during student teaching, or (c) a newly-designed project not used as one of the learning assessments. With funding through a UTC Teaching, Learning, and Technology Faculty Fellows award, the Education 5900 course is conducted through the use of an online, course management system (Blackboard), allowing for asynchronous discussion and use of the digital drop box feature for submitting required papers. The action research projects from, fall semester 2010, are presented below. Papers include: (1) Student Perceptions of Layered Curriculum[R] vs. Traditional Coursework on Class Grades for 11th-12th Grade Economics and Government Students (Heidi Beckham); (2) What Motivates Young Readers to Read? (Sarah Bolton); (3) Just Story Time? An Evaluation of the Effects of Reading Aloud to Secondary-aged Students (Keeton Christian); (4) Using a Behavioral Management Reward System to Decrease the Behavioral Problems in a High School Setting (Amber Collins); (5) Ready for Middle School Math? (Dorothy L. Finch); (6) Improving Vocabulary Acquisition and Grammar Comprehension in The Second Language through Five Minutes of In-class Reading Time (Veronica V. Herrera); (7) Technology and Mathematics: Classroom Companions for the Future (April J. Huddleston); (8) Perceptions of Fourth-Grade Math Students on Computer-Based Homework (Amanda I. H. Legge); (9) Do Students Retain More Information through Real Life Images or through Clip Art Cartoon Images? (Courtney Sloane Phillips); (10) The Visual Aspect of Vocabulary: Increasing Comprehension and Retention (Nicole Pinkerton); (11) Increasing Grammar Accuracy in the TPRS Classroom (Erin Segroves); (12) Effective Differentiated Instructional Strategies of Middle Grades' Mathematics Instructors (Elizabeth W. Stewart); (13) Vocational Education: Is It Meeting the Needs of the Community? (Stephen Tompkins); (14) The Effect of Daily Quizzes on Student Scores and Class Participation: A Study on High School Economic Students (Elizabeth Warren); and (15) Math-ercise...Could It Fatten Up Scores? (Wendi Worley). (Individual papers contain references, figures, and appendices.) [For "Culminating Experience Action Research Projects, Volume 16, Spring 2010," see ED518906. Abstract modified to meet ERIC guidelines.]
- Published
- 2011
8. Theoretical Perspectives for Developmental Education.
- Author
-
Minnesota Univ., Minneapolis. Center for Research on Developmental Education and Urban Literacy., Lundell, Dana Britt, Higbee, Jeanne L., Lundell, Dana Britt, Higbee, Jeanne L., and Minnesota Univ., Minneapolis. Center for Research on Developmental Education and Urban Literacy.
- Abstract
This monograph from the University of Minnesota General College (GC) discusses theoretical perspectives on developmental education from both new and established standpoints. GC voluntarily eliminated its degree programs in order to focus on preparing under-prepared students for transfer to the university system. GC's curricular model includes a multi-disciplinary range of base curriculum courses integrating both skills and academic content. This model, which does not focus on traditional skills-based models for developmental education, provides students with a range of perspectives and academic training for continuing work directly in their majors. In this monograph, GC faculty and staff offer perspectives on the theoretical foundations of developmental education. Papers are divided into the following categories: (1) New and Revisited Theories for Developmental Education, with articles by Carl J. Chung, Jeanne L. Higbee, Patrick Bruch, and Dana Britt Lundell and Terence Collins; (2) Culture and Constructivism, with articles by Heidi Lesley Brajas, Mark H. Pedelty and Walter R. Jacobs, Rashne Jehangir, and David L. Ghere; (3) Literacy and Composition, with articles by Amy M. Lee, Thomas Reynolds, and Ditlev S. Larsen; and (4) Theories for Math and Science, with articles by Randy Moore, Allen B. Johnson, Thomas Brothen and Cathrine A. Wambach, and D. Patrick Kinney. Each paper contains references. (NB)
- Published
- 2001
9. Mathematics in the Real World: How People in Different Professions Use Mathematics.
- Author
-
Rule, Audrey C. and Rule, Audrey C.
- Abstract
This paper reports on a class assignment written by preservice teachers on the use of mathematics in different professions. The professions included licensed practical nurse, auto mechanic, research and development product manager for industrial cleaning products, dental office assistant, snack bar employee at a beach club, beauty salon owner and operator, apple orchard and fruit stand owner, secretary at a university alumni hall, bus person at a restaurant, video store clerk, professional mover, convenience store assistant manager, pizza restaurant server, meteorologist, and land surveyor. (YDS)
- Published
- 2002
10. Developing Basic Skills Programs in Secondary Schools.
- Author
-
Association for Supervision and Curriculum Development, Alexandria, VA., Wallace, Daisy G., Wallace, Daisy G., and Association for Supervision and Curriculum Development, Alexandria, VA.
- Abstract
Thirteen authors present twelve articles concerning the development of basic skills programs in secondary schools. These articles focus on the following topic areas: practices and strategies for teaching basic skills in secondary classrooms; language as a factor in basic skills learning; development of skills in oral communication, reading, writing, and mathematics; creation of an interdisciplinary team approach to basic skills instruction; selection of mutually reinforcing instructional materials; characteristics of tests and testing procedures used for demonstrating student achievement; the principal's role in effective development of basic skills programs; the impact of administrators' leadership styles and managerial abilities; and the significance of leadership in school administration generally. (PGD)
- Published
- 1982
11. Studies in Mathematics, Volume XIX. Reviews of Recent Research in Mathematics Education.
- Author
-
Stanford Univ., CA. School Mathematics Study Group., Wilson, James W., Carry, L. Ray, Wilson, James W., Carry, L. Ray, and Stanford Univ., CA. School Mathematics Study Group.
- Abstract
This volume was organized at the request of the SMSG Panel on Research for their use in identifying needed research in mathematics education. The five papers provide a review of research in each of their areas up through early 1969. Papers included are: (1) Attitudes Toward Mathematics, by Lewis R. Aiken, Jr.; (2) Classroom Teaching of Mathematics, by James T. Fey; (3) Piagetian Studies and Mathematics Learning, by D. B. Harrison; (4) Computers in Mathematics Instruction, by Larry L. Hatfield; and (5) Problem-Solving and Creative Behavior in Mathematics, by Jeremy Kilpatrick. Extensive references follow each of the papers. (RH)
- Published
- 1969
12. Science at the Ethical Frontier: Best Sci-Tech Books of 1993.
- Author
-
Sapp, Gregg and Sapp, Gregg
- Abstract
Provides an annotated bibliography of the 39 best science and technology books from 1993 in the areas of animal life, astronomy, biography, chemistry, earth science, environmental sciences, evolution, mathematics, medical sciences, natural history, paleontology, philosophy of science, physics, psychology, general science, and technology. Ethical issues addressed by the publications are noted. (LRW)
- Published
- 1994
13. Resources for Students with Disabilities Considering Careers in Science, Engineering and Mathematics.
- Author
-
Illinois Univ., Champaign., Strom, Bruce, and Herl, Joe
- Abstract
This paper lists 100 print and non-print resources for students with disabilities who are considering careers in science, engineering, and mathematics. Print resources include books, newsletters, directories, journals, guides, fact sheets, technical reports, teaching guides, and student workbooks. Non-print resources listed are primarily videotape recordings. The resources are dated from 1984 through 1996. Addresses are provided for some of the items listed. Items are listed under the following subject headings: careers, choosing a college, adapting to college, adaptive technology, laboratory access, journals, research, legal issues, psychological and social adjustment, resources for teachers and other professionals, resources from other organizations, and High School/High Tech. (DB)
- Published
- 1996
14. Assistive Technology: Meeting the Needs of Adults with Learning Disabilities.
- Author
-
Academy for Educational Development, Washington, DC., National Adult Literacy and Learning Disabilities Center, Washington, DC., and Riviere, Adrienne
- Abstract
This monograph briefly describes a sampling of tools and technologies that can be used by adults with learning disabilities to improve their functional capabilities in employment, educational, or personal settings. Stressed is the importance of evaluating each technology in terms of the individual's unique profile, the function to be performed, and the particular context in which the technology will be applied. The assistive technologies are grouped according to the following functional areas: (1) organizational skills, memory, managing personal information, time management, and staying on task, through use of such devices as beepers/buzzers, tape recorders, and index cards; (2) auditory/listening management through use of pressure-sensitive paper for classroom note-taking, a laptop computer for notetaking, and books on disc; (3) visual processing through use of tape recordings, large print materials, and computers with voice output capabilities; (4) math assistance through use of color coding of columns, hand-held talking calculators, and special-feature calculators; (5) reading assistance through use of optical character recognition systems with speech synthesis, books on tape, and online services; and (6) written language assistance through use of spell checkers, grammar checking and proofreading programs, and speech-to-text programs. Also briefly covered is use of technology to foster independence, the multimedia approach, use of telecommunications for distance learning, and sources of various services and resources. (DB)
- Published
- 1996
15. Educational Goals and Political Plans.
- Author
-
Moynihan, Daniel Patrick
- Abstract
Discusses stated federal goals for education and poverty reduction from the 1960s to President Bush's 1990 State of the Union message and the continued failure to meet these goals. Observes that educational innovations of the past quarter century have done little to stimulate achievement. (DM)
- Published
- 1991
16. Trends and Research Questions in Psychological Research on Learning and Schooling.
- Author
-
Glaser, Robert
- Abstract
A corrective interactive network between behavioral scientists and educators is developing in the research community. Examples of research generated by this network and projections for research in the 1980s are presented in this article. (RLV)
- Published
- 1979
17. Programming for the Gifted--General/Arts and Humanities/Math and Science. A Selective Bibliography. Exceptional Child Bibliography Series No. 609.
- Author
-
ERIC Clearinghouse on Handicapped and Gifted Children, Reston, VA.
- Abstract
The annotated bibliography on Programming for the Gifted--General/Arts and Humanities/Math and Science contains approximately 125 abstracts and associated indexing information for documents or journal articles published from 1965 to 1975 and selected from the computer files of the Council for Exceptional Children's Information Services and the Education Resources Information Center (ERIC). It is explained that titles were chosen in response to user requests and analysis of current trends in the field. Abstracts include bibliographic data (identification or order number, publication date, author, title, source or publisher, and availability); descriptors indicating the subject matter covered; and a summary of the document's contents. Also provided are instructions for using the bibliography, a list of journals from which articles were abstracted, and an order form for ordering microfiche or paper copies of the documents through the ERIC Document Reproduction Service. (JM)
- Published
- 1976
18. Experimental Education Unit: Staff Publications; 1973-1974.
- Author
-
Washington Univ., Seattle. Child Development and Mental Retardation Center.
- Abstract
The bibliography contains approximately 170 listings (all published in 1973-74) of books, professional articles, films, slides, and videotapes as well as working papers and unpublished manuscripts by staff members of the Experimental Education Unit of the Child Development and Mental Retardation Center at the University of Washington. Listings are alphabetical by author and provide titles, publishers, and pagination. References cover topics such as behavior analysis and modification; classroom management techniques; techniques for teaching reading, mathematics, language, and speech skills; motor, cognitive, and perceptual development; the effects of teacher behavior on pupil performance; individualized instruction; precision teaching; Head Start; Learning disabilities; and mongolism. (LH)
- Published
- 1974
19. Madison's Alternative for Zero Exclusion: A Book of Readings. Volume V.
- Author
-
Madison Public Schools, WI. Dept. of Specialized Educational Services., Brown, Lou, Brown, Lou, and Madison Public Schools, WI. Dept. of Specialized Educational Services.
- Abstract
Presented are 11 technical papers, position statements and instructional programs on the severely handicapped. Included are the following titles: "A Public School Program for Severely and Profoundly Handicapped Students: Zero Exclusion,""Components of Instructional Programs for Severely Handicapped Students,""Procedures of Task Analysis as Related to Developing Instructional Programs for the Severely Handicapped,""Evaluation of the Severely Retarded and Multiply-Handicapped: An Alternative,""Community Transportation: Teaching Severely Handicapped Students to Ride a Public Bus System,""Teaching Orthopedically Handicapped Adolescents to Secure Selected Products and Services from Their Community Through Functional Use of the Yellow Pages and Telephone,""A Comparison of Two Procedures for Teaching Severely Handicapped Students to Differentially Respond to Individual Components of Language Cues,""Skill Sequences and Programming for the Severely Handicapped: Use of a Math Skill Sequence in the Instruction and Evaluation of Severely Handicapped Students,""Skill Sequences and Curriculum Development: Application of a Rudimentary Developmental Math Skill Sequence in the Instruction and Evaluation of Severely Handicapped Students,""Teaching Trainable Level Multiply Handicapped Students to Use Picture Cues, Context Cues, and Initial Consonant Sounds to Determine the Labels of Unknown Words," and "Teaching Social Interaction Skills to Severely Handicapped Students." (LS)
- Published
- 1975
20. An Assessment of Teacher Perceptions of K-12 Social Studies Objectives.
- Author
-
Florida Technological Univ., Orlando., Clark, Wentworth, Dziuban, Charles, Clark, Wentworth, Dziuban, Charles, and Florida Technological Univ., Orlando.
- Abstract
The paper describes a study of the comparative effectiveness of certain courses in achieving specified educational objectives. Social studies, language arts, vocational/technical, math, science, and fine arts courses were compared as to their effectiveness in achieving "social education." By means of a group concensus of elementary and secondary teachers, common objectives of social education were identified, such as "builds character and good citizenship." The objectives were then arranged in an attitude scale on which teachers could register the degree to which they believed any particular course accomplished those objectives. In the study, 115 teachers responded to the scale six times, once each for the six content areas listed above. The results were compared among the six curricular areas to determine a composite teacher perception of which area was most effective in meeting the objectives of social education. Social studies objectives seemed representative of general education objectives. Objectives for individual curriculum areas did not seem to change from elementary to secondary grades. The strongest relationship existed between science and mathematics objectives. Social studies was ranked among the top third of most useful curriculum areas. (Author/AV)
- Published
- 1978
21. Pathfinders: An Intellectual Guide to Libraries.
- Author
-
Castleton State Coll., VT., Jung, Claudia Ruediger, Jung, Claudia Ruediger, and Castleton State Coll., VT.
- Abstract
Intended as an example for other college libraries, this collection of 38 pathfinders and bibliographies was developed by the reference staff of the Calvin Coolidge Library at Castleton State College, Vermont. Designed to present the types of literature available in particular subject fields and those works readily available in the Coolidge Library, typical pathfinders include a cover page explaining the use of the card catalog and periodicals, and sections on research guides and bibliographies; dictionaries, encyclopedias, and handbooks; and indexes and abstracts. Each entry provides the author, title, call number, and a brief description of the reference tool. The pathfinders are as follows: (1) American History; (2) Art and Architecture; (3) Biology; (4) Business; (5) Business and Industry; (6) Careers; (7) Census Materials; (8) Chemistry; (9) Classical Literature; (10) Computer Science; (11) Criminal Justice; (12) Drunk Driving and the Drinking Age; (13) Economics; (14) Education; (15) English and American Literature; (16) English Composition; (17) European History; (18) French and Spanish Language and Literature; (19) Geography; (20) Geology; (21) Government Documents; (22) Indexes; (23) Investing in U.S. Stocks; (24) Law; (25) Marketing; (26) Mathematics; (27) Medical Aspects of Drug Abuse; (28) Mass Communications; (29) Nuclear Weapons and Disarmament; (30) Nursing; (31) Physical Education; (32) Political Science; (33) Psychology; (34) Research Papers; (35) Social Work; (36) Sociology; (37) Theater; and (38) World Literature. A sample cover page is provided. (KM)
- Published
- 1987
22. The Teaching of Elementary Problem Solving in Engineering and Related Fields.
- Author
-
American Society for Engineering Education, Washington, DC. and Lubkin, James L.
- Abstract
This monograph presents 13 papers dealing with various aspects of elementary problem solving. They are: (1) "Training for Effective Problem Solving" (Gary A. Davis); (2) "Patterns of Problem Solving--A Campus-Wide Course at UCLA" (Moshe F. Rubinstein, L. Robin Keller, Edward A. Kazmarek); (3) "A Taxonomy of Problem-Solving Activities and Its Implications for Teaching" (H. L. Plants, R. K. Dean, J. T. Sears, W. S. Venable); (4) "What Is the Problem in Teaching Problem Solving" (Donald R. Woods, Cameron M. Crowe, Terrence W. Hoffman, Joseph D. Wright); (5) "Structure and Process in Problem Solving" (Maynard Fuller, Geza Kardos); (6) "Solving Physics Problems" (J. L. Aubel); (7) "Engineering Student Problem Solving" (Lois B. Greenfield); (8) "A Backward-Reasoning Model of Problem Solving" (D. L. Marples); (9) "Learning Skills as an Overplay in Elementary Calculus" (Jeffrey M. Brown); (10) "Learning Skills" (P. J. Black, Joan Bliss, Barbara Hodgson, Jon Ogborn, P. J. Unsworth); (11) "Learner and Instructional Variables Affecting Problem Solving" (Jerry K. Stonewater); (12) "The Representation and Solutions of Problems in Applied Mathematics: An Artificial Approach" (George F. Luger, Alan Bundy, Martha Palmer); and (13) "Problem Solving in Physics or Engineering: Human Information Processing and Some Teaching Suggestions" (F. Reif). (JN)
- Published
- 1980
23. Online and Distance Learning during Lockdown Times. COVID-19 Stories (Volume 2)
- Author
-
Edirisingha, Palitha and Edirisingha, Palitha
- Subjects
Philosophy ,teaching profession ,COVID-19 school closure ,online learning ,K-12 education ,public education ,distance education ,rural education ,educational technology ,learning barriers obstacles ,quality ,distance learning ,COVID-19 pandemic ,questionnaire ,professors and students ,emergency remote teaching ,COVID-19 ,special education ,teachers ,elementary school ,pedagogy ,sport science ,transdisciplinary ,childhood learning ,technologies ,relationship ,civil education approach ,education ,emergency ,low-resource settings ,engagement ,student perception ,survey ,Moore framework ,mathematics education ,online teaching ,parent attitudes ,primary education ,productive struggle ,remote learning ,teacher attitudes ,teaching and learning in emergencies ,science teachers ,qualitative research ,higher education ,evaluation ,parental involvement ,home-school relationships ,Twitter ,social media ,coronavirus disease ,EFL learners ,student course engagement questionnaire ,Madrasti ,platform ,stakeholders ,Facebook ,content analysis ,educational change ,school ,adaptation ,complex systems ,academic self-perceptions ,workload ,technical support ,course satisfaction ,digital technology ,home-learning ,Thirdspace ,primary teachers ,Scotland ,COVID-19 lockdown ,instructor readiness ,e-learning readiness ,pandemic ,e-learning ,students' e-learning preparedness ,e-learning competency ,Rasch analysis ,web-based learning ,flipped classroom ,architecture-engineering and construction (AEC) ,blended learning ,lifelong learning ,meaningful learning ,COVID-19 instructional response ,instructional planning ,preservice teachers ,STEM integration ,in-service teachers ,undergraduate research ,flexible teaching ,COVID-19 lockdown education ,structure in education ,online education ,secondary education ,teacher knowledge ,mathematics ,online teaching materials ,distanced learning ,technology-mediated learning ,technology-mediated teaching ,engineering education ,entrepreneurship education ,face-to-face learning ,perceptions ,children's learning ,accounting education ,internship ,n/a - Abstract
Summary: This book is a reprint of papers in the Special Issue published in Education Sciences under the title "Online and Distance Learning during Lockdown Times: COVID-19 Stories". It includes papers covering Higher Education (post-secondary) sector representing international experience of teaching and learning from the start of the first episode of lockdown due to the Covid-19 pandemic.
24. Advanced Problems in Mathematics - New Revised Edition : Preparing for University
- Author
-
Siklos, Stephen
- Subjects
Mathematics ,Mathematics / Geometry ,Mathematics / Mathematical Analysis - Abstract
This new and expanded edition is intended to help candidates prepare for entrance examinations in mathematics and scientific subjects, including STEP (Sixth Term Examination Paper). STEP is an examination used by Cambridge Colleges for conditional offers in mathematics. They are also used by some other UK universities and many mathematics departments recommend that their applicants practice on the past papers even if they do not take the examination. Advanced Problems in Mathematics bridges the gap between school and university mathematics, and prepares students for an undergraduate mathematics course. The questions analysed in this book are all based on past STEP questions and each question is followed by a comment and a full solution. The comments direct the reader’s attention to key points and put the question in its true mathematical context. The solutions point students to the methodology required to address advanced mathematical problems critically and independently. This book is a must read for any student wishing to apply to scientific subjects at university level and for anyone interested in advanced mathematics. "This new and expanded edition is intended to help candidates prepare for entrance examinations in mathematics and scientific subjects, including STEP (Sixth Term Examination Paper). STEP is an examination used by Cambridge Colleges for conditional offers in mathematics. They are also used by some other UK universities and many mathematics departments recommend that their applicants practice on the past papers even if they do not take the examination. Advanced Problems in Mathematics bridges the gap between school and university mathematics, and prepares students for an undergraduate mathematics course. The questions analysed in this book are all based on past STEP questions and each question is followed by a comment and a full solution. The comments direct the reader’s attention to key points and put the question in its true mathematical context. The solutions point students to the methodology required to address advanced mathematical problems critically and independently. This book is a must read for any student wishing to apply to scientific subjects at university level and for anyone interested in advanced mathematics.
- Published
- 2019
25. Computer Aided Verification
- Author
-
Shoham, Sharon and Vizel, Yakir
- Subjects
architecting ,architecture verification and validation ,artificial intelligence ,computer programming ,computer science ,computer systems ,databases ,distributed computer systems ,embedded systems ,engineering ,formal languages ,formal logic ,linguistics ,mathematics ,model checking ,software architecture ,software design ,software engineering ,software quality ,theoretical computer science ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence ,bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications ,bic Book Industry Communication::U Computing & information technology::UY Computer science - Abstract
This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following topical sections: Part I: Invited papers; formal methods for probabilistic programs; formal methods for neural networks; software Verification and model checking; hyperproperties and security; formal methods for hardware, cyber-physical, and hybrid systems. Part II: Probabilistic techniques; automata and logic; deductive verification and decision procedures; machine learning; synthesis and concurrency. This is an open access book.
- Published
- 2022
- Full Text
- View/download PDF
26. Die mathematischen Tagebücher von Helmut Hasse 1923 - 1935 - with an introduction in English
- Author
-
Hasse, Helmut, Lemmermeyer, Franz, and Roquette, Peter
- Subjects
Mathematics ,Literary Collections / Diaries & Journals ,Mathematics / History & Philosophy - Abstract
This book contains the full text of the mathematical notebooks of Helmut Hasse (1898-1979), who was one of the leading mathematicians of the 20th century. The originals have been preserved in the Handschriftenabteilung at the Göttingen University Library. There are a total of seven volumes which contain 98 entries all together; these span the time period from July 1923 to February 1935. Each of the entries is preceded by a short comment. An extensive bibliography is provided. Compared to the other documents and papers from Hasse Nachlass at Göttingen, these papers are quite different. They detail Hasse‘s mathematical background, interests and his way of approaching problems. Many of the entries are inspired by Hasse‘s discussions with other mathematicians (for example, Emil Artin is often mentioned). One of the notable highlights in the entries is the first documentation of Artin‘s conjecture on primitive roots (1927), which Hasse noted down after a discussion with Artin. Another example is the first proof of the Riemann hypothesis for an extended class of function fi elds of high genus, namely those of the generalised Fermat fields with a finite field of constants (1932), after corresponding with Harold Davenport.
- Published
- 2012
27. Tools and Algorithms for the Construction and Analysis of Systems
- Author
-
Groote, Jan Friso and Larsen, Kim Guldstrand
- Subjects
Theory of Computation ,Computer Systems Organization and Communication Networks ,Control Structures and Microprogramming ,Software Engineering ,Computer Engineering and Networks ,architecture verification and validation ,automata theory ,computer systems ,distributed computer systems ,embedded systems ,formal logic ,mathematics ,model checking ,model-checking ,parallel processing systems ,SAT and SMT solving ,software architecture ,static and dynamic program analysis ,theorem-proving ,verification and validation ,Computer science ,Mathematical theory of computation ,Computer networking & communications ,Algorithms & data structures ,bic Book Industry Communication::U Computing & information technology::UY Computer science ,bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering - Abstract
This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers.
- Published
- 2021
- Full Text
- View/download PDF
28. Curriculum and Instruction for Minority Groups: An Annotated Bibliography of Doctoral Dissertations. ERIC/CUE Doctoral Research Series No. 12.
- Author
-
ERIC Clearinghouse on Urban Education, New York, NY. and Jablonsky, Adelaide
- Abstract
Seventy-nine documents comprise this ERIC-CUE comprehensive annotated bibliography. Documents were assembled through a computer search using the Datrix System of University Microfilms and through a manual search of the Dissertation Abstracts International dating from 1965 through 1973. The topics covered include Social Studies; Black Studies; Mathematics; Science; Vocational Education; Music; Art, Drama; Health, Physical Education, and Recreation; Foreign Languages; Tutoring and Individualized Instruction; and Other Curriculums. Documents within each topic are presented in order of year of completion and are cross-referenced in a subject index. Author and institutional indexes are also provided. (AM)
- Published
- 1975
29. Advances in Energy System Optimization
- Author
-
Bertsch, Valentin, Ardone, Armin, Suriyah, Michael, Fichtner, Wolf, Leibfried, Thomas, and Heuveline, Vincent
- Subjects
Mathematics ,Operations research ,Management science ,System theory ,Mathematical models ,thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and information: general::GPF Information theory::GPFC Cybernetics and systems theory ,thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJT Operational research ,thema EDItEUR::P Mathematics and Science::PB Mathematics::PBW Applied mathematics::PBWH Mathematical modelling - Abstract
The papers presented in this open access book address diverse challenges in decarbonizing energy systems, ranging from operational to investment planning problems, from market economics to technical and environmental considerations, from distribution grids to transmission grids, and from theoretical considerations to data provision concerns and applied case studies. While most papers have a clear methodological focus, they address policy-relevant questions at the same time. The target audience therefore includes academics and experts in industry as well as policy makers, who are interested in state-of-the-art quantitative modelling of policy relevant problems in energy systems. The 2nd International Symposium on Energy System Optimization (ISESO 2018) was held at the Karlsruhe Institute of Technology (KIT) under the symposium theme “Bridging the Gap Between Mathematical Modelling and Policy Support” on October 10th and 11th 2018. ISESO 2018 was organized by the KIT, the Heidelberg Institute for Theoretical Studies (HITS), the Heidelberg University, the German Aerospace Center and the University of Stuttgart.
- Published
- 2020
- Full Text
- View/download PDF
30. Fundamental Approaches to Software Engineering
- Author
-
Wehrheim, Heike and Cabot, Jordi
- Subjects
Software Engineering ,Special Purpose and Application-Based Systems ,Control Structures and Microprogramming ,Computer System Implementation ,Information Systems and Communication Service ,Artificial Intelligence ,open access ,software engineering ,requirements engineering ,model-based design ,software analysis ,testing ,software architectures ,security ,model transformations ,software evolution ,software product lines ,architecting ,artificial intelligence ,computer programming ,computer systems ,embedded systems ,mathematics ,software architecture ,software design ,Expert systems / knowledge-based systems ,Algorithms & data structures ,Systems analysis & design ,Computer networking & communications ,Artificial intelligence ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMB Algorithms & data structures ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYD Systems analysis & design ,bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence - Abstract
This open access book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 23 full papers, 1 tool paper and 6 testing competition papers presented in this volume were carefully reviewed and selected from 81 submissions. The papers cover topics such as requirements engineering, software architectures, specification, software quality, validation, verification of functional and non-functional properties, model-driven development and model transformation, software processes, security and software evolution.
- Published
- 2020
- Full Text
- View/download PDF
31. Foundations of Software Science and Computation Structures
- Author
-
Goubault-Larrecq, Jean and König, Barbara
- Subjects
Mathematical Logic and Foundations ,Discrete Mathematics in Computer Science ,Programming Languages, Compilers, Interpreters ,Programming Techniques ,Logic in AI ,Computer Systems Organization and Communication Networks ,categorical models and logics ,language theory, automata, and games ,modal, spatial, and temporal logics ,type theory and proof theory ,concurrency theory and process calculi ,rewriting theory ,semantics of programming languages ,program analysis, correctness, transformation, and verification ,logics of programming ,software specification and refinement ,emerging models of computation ,logical aspects of computational complexity ,models of software security ,logical foundations of data bases ,mathematics ,artificial intellegence ,formal logic ,linguistics ,Mathematical foundations ,Mathematical logic ,Discrete mathematics ,Maths for computer scientists ,Programming & scripting languages: general ,Compilers & interpreters ,Computer programming / software engineering ,Artificial intelligence ,Computer networking & communications ,bic Book Industry Communication::P Mathematics & science::PB Mathematics::PBC Mathematical foundations ,bic Book Industry Communication::P Mathematics & science::PB Mathematics::PBD Discrete mathematics ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMX Programming & scripting languages: general ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence ,bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications - Abstract
This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 31 regular papers presented in this volume were carefully reviewed and selected from 98 submissions. The papers cover topics such as categorical models and logics; language theory, automata, and games; modal, spatial, and temporal logics; type theory and proof theory; concurrency theory and process calculi; rewriting theory; semantics of programming languages; program analysis, correctness, transformation, and verification; logics of programming; software specification and refinement; models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems; emerging models of computation; logical aspects of computational complexity; models of software security; and logical foundations of data bases.
- Published
- 2020
- Full Text
- View/download PDF
32. Tools and Algorithms for the Construction and Analysis of Systems
- Author
-
Biere, Armin and Parker, David
- Subjects
Software Engineering/Programming and Operating Systems ,Special Purpose and Application-Based Systems ,Computer System Implementation ,Control Structures and Microprogramming ,Mathematics of Computing ,open access ,specification and verification techniques ,software and hardware verification ,SAT and SMT solving ,theorem proving ,model checking ,static and dynamic program analysis ,testing ,system construction and transformation techniques ,tool environments and tool architectures ,abstraction techniques for modeling and verification ,compositional and refinement-based methodologies ,mathematics ,software engineering ,software design ,architecting ,software architecture ,embedded systems ,automata theory ,linguistics ,Software Engineering ,Operating systems ,Expert systems / knowledge-based systems ,Systems analysis & design ,Algorithms & data structures ,Mathematical theory of computation ,Maths for computer scientists ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYD Systems analysis & design ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMB Algorithms & data structures ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYA Mathematical theory of computation - Abstract
This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.
- Published
- 2020
- Full Text
- View/download PDF
33. Advanced Problems in Mathematics
- Author
-
Siklos, Stephen
- Subjects
Mathematics ,Elementary Problems ,make sense of the world ,mathematics beyond the classroom ,Mental Skills ,Arithmetic ,Word Problems ,Algebra ,Geometry ,Infinity ,thema EDItEUR::P Mathematics and Science::PB Mathematics ,thema EDItEUR::P Mathematics and Science::PB Mathematics::PBK Calculus and mathematical analysis ,thema EDItEUR::P Mathematics and Science::PB Mathematics::PBM Geometry ,thema EDItEUR::P Mathematics and Science::PB Mathematics::PBT Probability and statistics ,thema EDItEUR::Y Children’s, Teenage and Educational::YP Educational material::YPM Educational: Mathematics, science and technology, general::YPMF Educational: Mathematics and numeracy - Abstract
"This new and expanded edition is intended to help candidates prepare for entrance examinations in mathematics and scientific subjects, including STEP (Sixth Term Examination Paper). STEP is an examination used by Cambridge Colleges for conditional offers in mathematics. They are also used by some other UK universities and many mathematics departments recommend that their applicants practice on the past papers even if they do not take the examination. Advanced Problems in Mathematics bridges the gap between school and university mathematics, and prepares students for an undergraduate mathematics course. The questions analysed in this book are all based on past STEP questions and each question is followed by a comment and a full solution. The comments direct the reader’s attention to key points and put the question in its true mathematical context. The solutions point students to the methodology required to address advanced mathematical problems critically and independently. This book is a must read for any student wishing to apply to scientific subjects at university level and for anyone interested in advanced mathematics. "This new and expanded edition is intended to help candidates prepare for entrance examinations in mathematics and scientific subjects, including STEP (Sixth Term Examination Paper). STEP is an examination used by Cambridge Colleges for conditional offers in mathematics. They are also used by some other UK universities and many mathematics departments recommend that their applicants practice on the past papers even if they do not take the examination. Advanced Problems in Mathematics bridges the gap between school and university mathematics, and prepares students for an undergraduate mathematics course. The questions analysed in this book are all based on past STEP questions and each question is followed by a comment and a full solution. The comments direct the reader’s attention to key points and put the question in its true mathematical context. The solutions point students to the methodology required to address advanced mathematical problems critically and independently. This book is a must read for any student wishing to apply to scientific subjects at university level and for anyone interested in advanced mathematics.
- Published
- 2019
- Full Text
- View/download PDF
34. Erhard Weigel (1625-1699) und seine Schüler - Beiträge des 7. Erhard-Weigel-Kolloquiums 2014
- Author
-
Habermann, Katharina and Herbst, Klaus-Dieter
- Subjects
Mathematics - Abstract
Erhard Weigel (1625-1699) was a German mathematician, astronomer, educator, philosopher, and inventor. He was professor of mathematics at Jena University and is considered a key figure in the development of the mathematical sciences of the 17th Century. In particular, he is known to be the teacher of the young Gottfried Wilhelm Leibniz (1646-1716) and other notable students. These proceedings record papers presented at an international colloquium held at the Göttingen State and University Library in collaboration with the Erhard Weigel Society based in Jena on December 5-6, 2014. The colloquium was concerned with Erhard Weigel and some of his many students as well as discussed his contribution to the history of science as an excellent educator. Moreover, the colloquium dealt with the flow of impact of his methods and ideas into the scientific community, whose members played a significant role in the scientific revolution of the 17th Century. Finally, a list of known students who attended Weigel's lectures is given.
- Published
- 2016
35. Precalculus: An Investigation of Functions
- Author
-
Lippman, David and Rasmussen, Melanie
- Subjects
Mathematics - Abstract
Precalculus: An Investigation of Functions is a free, open textbook covering a two-quarter pre-calculus sequence including trigonometry. The first portion of the book is an investigation of functions, exploring the graphical behavior of, interpretation of, and solutions to problems involving linear, polynomial, rational, exponential and logarithmic functions. An emphasis is placed on modeling and interpretation, as well as the important characteristics needed in calculus.The second portion of the book introduces trigonometry. Trig is introduced through an integrated circle/triangle approach. Identities are introduced in the first chapter, and revisited throughout. Likewise, solving is introduced in the second chapter and revisited more extensively in the third chapter. As with the first part of the book, an emphasis is placed on motivating the concepts and on modeling and interpretation.In addition to the paper homework sets, algorithmetically generated online homework is available as part of a complete course shell package, which also includes a sample syllabus, teacher notes with lecture examples, sample quizzes and exams, printable classwork sheets and handouts, and chapter review problems. If you teach in Washington State, you can find the course shell in the WAMAP.org template course list. For those located elsewhere, you can access the course shell at MyOpenMath.com. A self-study version of the online course exercises is also available on MyOpenMath.com for students wanting to learn the material on their own, or who need a refresher.
- Published
- 2015
36. Progress in Commutative Algebra 1 : Combinatorics and Homology
- Author
-
Klingler, Lee, Vassilev, Janet C., Francisco, Christopher, and Sather-Wagstaff, Sean
- Subjects
Mathematics - Abstract
This is the first of two volumes of a state-of-the-art survey article collection which originates from three commutative algebra sessions at the 2009 Fall Southeastern American Mathematical Society Meeting at Florida Atlantic University. The articles reach into diverse areas of commutative algebra and build a bridge between Noetherian and non-Noetherian commutative algebra. These volumes present current trends in two of the most active areas of commutative algebra: non-noetherian rings (factorization, ideal theory, integrality), and noetherian rings (the local theory, graded situation, and interactions with combinatorics and geometry). This volume contains combinatorial and homological surveys. The combinatorial papers document some of the increasing focus in commutative algebra recently on the interaction between algebra and combinatorics.
- Published
- 2012
37. Logic and the Foundations of Game and Decision Theory (LOFT 7) (Volume 3.0)
- Author
-
Van Der Hoek, Wiebe
- Subjects
Business & Economics ,Mathematics ,Philosophy - Abstract
This volume collects together revised papers originally presented at the 7th Conference on Logic and the Foundations of Game and Decision Theory (LOFT 2006). LOFT is a key venue for presenting research at the intersection of logic, economics and computer science, and the present collection gives a lively and wide-ranging view of an exciting and rapidly growing area.
- Published
- 2008
38. Programming Languages and Systems
- Author
-
Müller, Peter
- Subjects
Programming Languages, Compilers, Interpreters ,Computer Systems Organization and Communication Networks ,Control Structures and Microprogramming ,Information Systems and Communication Service ,Natural Language Processing (NLP) ,Theory of Computation ,artificial intelligence ,computer networks ,computer programming ,computer security ,distributed computer systems ,embedded systems ,formal languages ,formal logic ,linguistics ,mathematics ,model checking ,object-oriented programming ,parallel processing systems ,program compilers ,semantics ,software architecture ,software design ,software engineering ,software quality ,verification and validation ,Programming & scripting languages: general ,Compilers & interpreters ,Computer networking & communications ,Algorithms & data structures ,Natural language & machine translation ,Computer science ,Mathematical theory of computation ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMX Programming & scripting languages: general ,bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications ,bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMB Algorithms & data structures ,bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence::UYQL Natural language & machine translation ,bic Book Industry Communication::U Computing & information technology::UY Computer science - Abstract
This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which was planned to take place in Dublin, Ireland, in April 2020, as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The actual ETAPS 2020 meeting was postponed due to the Corona pandemic. The papers deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
- Published
- 2020
- Full Text
- View/download PDF
39. Fields and Galois Theory.
- Author
-
Epstein, Charles L., Krantz, Steven G., and Knapp, Anthony W.
- Abstract
This chapter develops some general theory for field extensions and then goes on to study Galois groups and their uses. More than half the chapter illustrates by example the power and usefulness of the theory of Galois groups. Prerequisite material from Chapter VIII consists of Sections 1-6 for Sections 1-13 of the present chapter, and it consists of all of Chapter VIII for Sections 14-17 of the present chapter. Sections 1-2 introduce field extensions. These are inclusions of a base field in a larger field. The fundamental construction is of a simple extension, algebraic or transcendental, and the next construction is of a splitting field. An algebraic simple extension is made by adjoining a root of an irreducible polynomial over the base field, and a splitting field is made by adjoining all the roots of such a polynomial. For both constructions, there are existence and uniqueness theorems. Section 3 classifies finite fields. For each integer q that is a power of some prime number, there exists one and only one finite field of order q, up to isomorphism. One finite field is an extension of another, apart from isomorphisms, if and only if the order of the first field is a power of the order of the second field. Section 4 concerns algebraic closure. Any field has an algebraic extension in which each nonconstant polynomial over the extension field has a root. Such a field exists and is unique up to isomorphism. Section 5 applies the theory of Sections 1-2 to the problem of constructibility with straightedge and compass. First the problem is translated into the language of field theory. Then it is shown that three desired constructions from antiquity are impossible: "doubling a cube," trisecting an arbitrary constructible angle, and "squaring a circle." The full proof of the impossibility of squaring a circle uses the fact that π is transcendental over the rationals, and the proof of this property of π is deferred to Section 14. Section 5 concludes with a statement of the theorem of Gauss identifying integers n such that a regular n-gon is constructible and with some preliminary steps toward its proof. Sections 6-8 introduce Galois groups and develop their theory. The theory applies to a field extension with three properties—that it is finite-dimensional, separable, and normal. Such an extension is called a "finite Galois extension." The Fundamental Theorem of Galois Theory says in this case that the intermediate extensions are in one-one correspondence with subgroups of the Galois group, and it gives formulas relating the corresponding intermediate fields and Galois subgroups. Sections 9-11 give three standard initial applications of Galois groups. The first is to proving the theorem of Gauss about constructibility of regular n-gons, the second is to deriving the Fundamental Theorem of Algebra from the Intermediate Value Theorem, and the third is to proving the necessity of the condition of Abel and Galois for solvability of polynomial equations by radicals-that the Galois group of the splitting field of the polynomial have a composition series with abelian quotients. Sections 12-13 begin to derive quantitative information, rather than qualitative information, from Galois groups. Section 12 shows how an appropriate Galois group points to the specific steps in the construction of a regular n-gon when the construction is possible. Section 13 introduces a tool known as Lagrange resolvents, a precursor of modern harmonic analysis. Lagrange resolvents are used first to show that Galois extensions in characteristic 0 with cyclic Galois group of prime order p are simple extensions obtained by adjoining a pauth root, provided all the pauth roots of 1 lie in the base field. Lagrange resolvents and this theorem about cyclic Galois groups combine to yield a derivation of Cardan's formula for solving general cubic equations.… [ABSTRACT FROM AUTHOR]
- Published
- 2007
- Full Text
- View/download PDF
40. Methods of Algebraic Geometry.
- Author
-
Epstein, Charles L., Krantz, Steven G., and Knapp, Anthony W.
- Abstract
Copyright of Advanced Algebra is the property of Springer eBooks and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
- Published
- 2007
- Full Text
- View/download PDF
41. Background for Algebraic Geometry.
- Author
-
Epstein, Charles L., Krantz, Steven G., and Knapp, Anthony W.
- Abstract
Copyright of Advanced Algebra is the property of Springer eBooks and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
- Published
- 2007
- Full Text
- View/download PDF
42. Measure Theory for Euclidean Space.
- Author
-
Epstein, Charles L., Krantz, Steven G., and Knapp, Anthony W.
- Abstract
This chapter mines some of the powerful consequences of the basic measure theory in Chapter V. Sections 1-3 establish properties of Lebesgue measure and other Borel measures on Euclidean space and on open subsets of Euclidean space. The main general property is the regularity of all such measures—that the measure of any Borel set can be approximated by the measure of compact sets from within and open sets from without. Lebesgue measure in all of Euclidean space has an additional property, translation invariance, which allows for the notion of the convolution of two functions. Convolution gives a kind of moving average of the translates of one function weighted by the other function. Convolution with the dilates of a fixed integrable function provides a handy kind of approximate identity. Section 4 gives the final form of the comparison of the Riemann and Lebesgue integrals, a preliminary form having been given in Chapter III. Section 5 gives the final form of the change-of-variables theorem for integration, starting from the preliminary form of the theorem in Chapter III and taking advantage of the ease with which limits can be handled by the Lebesgue integral. Sard's Theorem allows one to disregard sets of lower dimension in establishing such changes of variables, thereby giving results in their expected form rather than in a form dictated by technicalities. Section 6 concerns the Hardy-Littlewood Maximal Theorem in N dimensions. In dimension 1, this theorem implies that the derivative of a 1 -dimensional Lebesgue integral with respect to Lebesgue measure recovers the integrand almost everywhere. The theorem in the general case implies that certain averages of a function over small sets about a point tend to the function almost everywhere. But the theorem can be regarded as saying also that a particular approximate identity formed by dilations applies to problems of almost-every where convergence, as well as to problems of norm convergence and uniform convergence. A corollary of the theorem is that many approximate identities formed by dilations yield almost-everywhere convergence theorems. Section 7 redevelops the beginnings of the subject of Fourier series using the Lebesgue integral, the theory having been developed with the Riemann integral in Section I.10. With the Lebesgue integral and its accompanying tools, Fourier series are meaningful for more functions than before, Dini's test applies even to a wider class of Riemann integrable functions than before, and Fejér's Theorem and Parseval's Theorem become easier and more general than before. A completely new result with the Lebesgue integral is the Riesz-Fischer Theorem, which characterizes the trigonometric series that are Fourier series of square-integrable functions. Sections 8-10 deal with Stieltjes measures, which are Borel measures on the line, and their application to Fourier series. Such measures are characterized in terms of a class of monotone functions on the line, and they lead to a handy generalization of the integration-by-parts formula. This formula allows one to bound the size of the Fourier coefficients of functions of bounded variation, which are differences of monotone functions. In combination with earlier results, this bound yields the Dirichlet-Jordan Theorem, which says that the Fourier series of a function of bounded variation converges pointwise everywhere, the convergence being uniform on any compact set on which the function is continuous. Section 10 is a short section on computation of integrals. [ABSTRACT FROM AUTHOR]
- Published
- 2005
- Full Text
- View/download PDF
43. New Perspectives on Games and Interaction
- Author
-
Apt, Krzysztof and van Rooij, Robert
- Subjects
philosophy ,economics ,economie ,filosofie ,mathematics ,wiskunde ,bic Book Industry Communication::H Humanities::HP Philosophy ,bic Book Industry Communication::K Economics, finance, business & management ,bic Book Industry Communication::P Mathematics & science::PB Mathematics - Abstract
This volume is a collection of papers presented at the 2007 colloquium on new perspectives on games and interaction at the Royal Dutch Academy of Sciences in Amsterdam. The purpose of the colloquium was to clarify the uses of the concepts of game theory, and to identify promising new directions. This important collection testifies to the growing importance of game theory as a tool to capture the concepts of strategy, interaction, argumentation, communication, cooperation and competition. Also, it provides evidence for the richness of game theory and for its impressive and growing application., New Perspective on Games and Interaction is gebaseerd op het gelijknamige congres dat begin 2007 plaatsvond in het KNAW. Centraal stond het gebruik van speltheorie in de disciplines logica, informatica, taalkunde en economie. Deze disciplines hebben zich voornamelijk geïsoleerd van elkaar ontwikkeld. Het doel van het congres was de onderzoekers uit deze disciplines samen te brengen en interdisciplinaire relaties aan te moedigen. New Perspective on Games and Interaction is een getuigenis van het groeiende belang van speltheorie als middel om strategieën, interactie, argumentatie, communicatie, samenwerking en concurrentie te ontwikkelen.
- Published
- 2008
- Full Text
- View/download PDF
44. Progress in Commutative Algebra 1
- Author
-
Sather-Wagstaff, Sean, Francisco, Christopher, Klingler, Lee, and Vassilev, Janet C.
- Subjects
Mathematics ,bic Book Industry Communication::P Mathematics & science::PB Mathematics::PBF Algebra - Abstract
This is the first of two volumes of a state-of-the-art survey article collection which originates from three commutative algebra sessions at the 2009 Fall Southeastern American Mathematical Society Meeting at Florida Atlantic University. The articles reach into diverse areas of commutative algebra and build a bridge between Noetherian and non-Noetherian commutative algebra. These volumes present current trends in two of the most active areas of commutative algebra: non-noetherian rings (factorization, ideal theory, integrality), and noetherian rings (the local theory, graded situation, and interactions with combinatorics and geometry). This volume contains combinatorial and homological surveys. The combinatorial papers document some of the increasing focus in commutative algebra recently on the interaction between algebra and combinatorics.
- Published
- 2012
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.