36 results
Search Results
2. How Do You Teach Content in Adult Education? An Annotated Bibliography. NCSALL Occasional Paper
- Author
-
National Center for the Study of Adult Learning and Literacy, Boston, MA., Zachry, Elizabeth M., and Comings, John P.
- Abstract
Adding to the resources for evidence-based practices, this occasional paper provides sources of research and professional wisdom that are useful to the design of evidence-based instruction. This annotated bibliography is divided into seven subsections that focus on reading, writing, math and numeracy, English as a second language, GED, adult learning theory, and technology. Each section presents adult education sources and then additional resources based on K-12 research, instruction, and professional development resources. (Contains 3 footnotes.)
- Published
- 2006
3. 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
4. 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
5. 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
6. 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
7. 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
8. 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
9. 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
10. 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
11. 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
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. 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
14. Algebras.
- Author
-
Axler, S., Ribet, K. A., and Grillet, Pierre Antoine
- Abstract
Algebras, the last of the major algebraic objects in this book, are rings with a compatible vector space or module structure. Interest in algebras began with Hamilton's construction of the quaternions [1843] and Benjamin Peirce's paper Linear Associative Algebras [1864]. Algebras are fundamental to algebraic geometry and to the study of group representations (see Chapters VII and IX). [ABSTRACT FROM AUTHOR]
- Published
- 2007
- Full Text
- View/download PDF
15. 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
16. 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
17. 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
18. 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
19. 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
20. 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
21. 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
22. 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
23. 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
24. 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
25. 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
26. 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
27. 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
28. 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
29. 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
30. 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
31. Categories.
- Author
-
Axler, S., Ribet, K. A., and Grillet, Pierre Antoine
- Abstract
A characteristic feature of abstract algebra is that it ignores what groups, rings, modules, etc., are made of, and studies only how their elements relate to each other (by means of operations, subgroups, etc.). [ABSTRACT FROM AUTHOR]
- Published
- 2007
- Full Text
- View/download PDF
32. Commutative Rings.
- Author
-
Axler, S., Ribet, K. A., and Grillet, Pierre Antoine
- Abstract
Commutative algebra, the study of commutative rings and related concepts, originated with Kummer's and Dedekind's study of the arithmetic properties of algebraic integers, and grew very quickly with the development of algebraic geometry, which consumes vast amounts of it. This chapter contains general properties of ring extensions, Noetherian rings, and prime ideals; takes a look at algebraic integers; and ends with a very minimal introduction to algebraic geometry. [ABSTRACT FROM AUTHOR]
- Published
- 2007
- Full Text
- View/download PDF
33. 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
34. 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
35. 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
36. 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.