scholarly journals A Web Based Foundations Of Mathematics Course: A New Approach To Prepare Freshmen Students For The Math Placement Exams

2020 ◽  
Author(s):  
Pamela Mack ◽  
Yacob Astatke
Keyword(s):  
Foundations Of Mathematics ◽  
Web Based ◽  
New Approach ◽  
Freshmen Students ◽  
Math Placement ◽  
Placement Exams ◽  
Mathematics Course

scholarly journals COMPUTER PROOFS PRACTICE AND HUMAN UNDERSTANDING: EPISTEMOLOGICAL ISSUES

2021 ◽  
pp. 5-19
Author(s):  
Lev D. Lamberov ◽  
Keyword(s):  
Type Theory ◽  
Point Of View ◽  
Foundations Of Mathematics ◽  
Traditional Concept ◽  
New Approach ◽  
Informal Mathematics ◽  
Computer Proofs ◽  
Number Of Publications ◽  
Univalent Foundations ◽  
Epistemological Point

In recent decades, some epistemological issues have become especially acute in mathematics. These issues are associated with long proofs of various important mathematical results, as well as with a large and constantly increasing number of publications in mathematics. It is assumed that (at least partially) these difficulties can be resolved by referring to computer proofs. However, computer proofs also turn out to be problematic from an epistemological point of view. With regard to both proofs in ordinary (informal) mathematics and computer proofs, the problem of their surveyability appears to be fundamental. Based on the traditional concept of proof, it must be surveyable, otherwise it will not achieve its main goal — the formation of conviction in the correctness of the mathematical result being proved. About 15 years ago, a new approach to the foundations of mathematics began to develop, combining constructivist, structuralist features and a number of advantages of the classical approach to mathematics. This approach is built on the basis of homotopy type theory and is called the univalent foundations of mathematics. Due to itspowerful notion of equality, this approach can significantly reduce the length of formalized proofs, which outlines a way to resolve the epistemological difficulties that have arisen

ECHO

2010 ◽  
pp. 539-555 ◽  
Author(s):  
Hadas Weinberger
Keyword(s):  
Learning Experience ◽  
Semantic Annotation ◽  
Methodological Approach ◽  
Context Aware ◽  
Web Based ◽  
New Approach ◽  
Approach To Learning ◽  
Web Technologies ◽  
Web Based Learning

In this chapter, we suggest Echo, a model for utilizing Web technologies for the design of Web-based context-aware learning. Web technologies are continuously evolving to enhance information retrieval, semantic annotation, social interactions, and interactive experiences. However, these technologies do not offer a methodological approach to learning. In this chapter, we offer a new approach to Web-based learning, which considers the role of the user in shaping the learning experience. The key feature in Echo is the analysis and modeling of content for the design of a Web-based learning experience in context. There are three elements in Echo: 1) a methodology to guide the learning process, 2) techniques to support content analysis and modeling activities, and 3) a three-layered framework of social-semantic software. Incorporating this framework facilitates knowledge organization and representation. We describe our model, the methodology, and the three-layered framework. We then present preliminary results from on-going empirical research that demonstrates the feasibility of Echo and its usefulness for the design of a context-aware learning experience. Finally, we discuss the usefulness of Echo and its contribution to further research in the field of Web technologies.

Direct Manipulation of Feature Models in Web-Based Collaborative Design

2004 ◽  
Author(s):  
Rafael Bidarra ◽  
Andre´ van Bunnik ◽  
Willem F. Bronsvoort
Keyword(s):  
Collaborative Design ◽  
Feature Model ◽  
Feature Models ◽  
Direct Manipulation ◽  
Model Data ◽  
Web Based ◽  
New Approach ◽  
Client Server ◽  
Collaborative Modeling ◽  
Interactive Feature

Providing advanced 3D interactive facilities to users of a client-server collaborative modeling system presents a great challenge when thin clients are involved, mainly due to their lack of both a full-fledged CAD model and adequate modeling and solving functionalities. This paper presents a new approach that provides a convenient representation of feature model data suitable for direct manipulation of feature models at such clients. In particular, feature handles are proposed to support interactive feature editing. This approach combines all advantages of a thin client approach with the sort of 3D direct manipulation facilities usually only found in powerful standalone CAD systems.

Geographical Information of Dynamic Carbon Footprints Management System in Orders and Trucks Assignment Problem

2012 ◽  
Vol 518-523 ◽  
pp. 5611-5615 ◽  
Author(s):  
Zih Ping Ho
Keyword(s):  
Assignment Problem ◽  
Management System ◽  
Arrival Time ◽  
Truck Drivers ◽  
Geographical Information ◽  
Future Research ◽  
Web Based ◽  
New Approach ◽  
Carbon Footprints ◽  
Web Structure

A dynamic carbon footprints management system is an important issue in future economics. This research applied geographical information to calculate carbon footprints. It also formulated an orders and trucks assignment problem with capacities of carbon footprints constraints, arrival time constraints and recycling missions constraints to maximize cargoes distribution profits. This study adapted the web based structures for programming, and proposed new approach. After validation, it would increase profits by 46% more than the experience of truck drivers, and profits by 61.5% of that of On Call (individual delivery). If a customer does not attend at a specified place and appointed time, the truck would go back and forward, then consume more gases. Through a web-structure dynamic carbon footprints management system, truck drivers leave ample time to complete their jobs. Future research suggests expanding this research to dynamic routes with consideration of traffic jams.

scholarly journals Structure-mining: screening structure models by automated fitting to the atomic pair distribution function over large numbers of models

2020 ◽  
Vol 76 (3) ◽  
pp. 395-409 ◽  
Author(s):  
Long Yang ◽  
Pavol Juhás ◽  
Maxwell W. Terban ◽  
Matthew G. Tucker ◽  
Simon J. L. Billinge
Keyword(s):  
Distribution Function ◽  
Pair Distribution Function ◽  
Complex Oxide ◽  
Web Based ◽  
New Approach ◽  
Atomic Pair Distribution Function ◽  
Large Numbers ◽  
Traditional Structure ◽  
Atomic Pair ◽  
Atomic Crystal

A new approach is presented to obtain candidate structures from atomic pair distribution function (PDF) data in a highly automated way. It fetches, from web-based structural databases, all the structures meeting the experimenter's search criteria and performs structure refinements on them without human intervention. It supports both X-ray and neutron PDFs. Tests on various material systems show the effectiveness and robustness of the algorithm in finding the correct atomic crystal structure. It works on crystalline and nanocrystalline materials including complex oxide nanoparticles and nanowires, low-symmetry and locally distorted structures, and complicated doped and magnetic materials. This approach could greatly reduce the traditional structure searching work and enable the possibility of high-throughput real-time auto-analysis PDF experiments in the future.

scholarly journals Inducing secondary metabolite production of Aspergillus sydowii through microbial co-culture with Bacillus subtilis

2021 ◽  
Author(s):  
Yu Sun ◽  
Wen-Cai Liu ◽  
Xuan Shi ◽  
Hai-Zhou Zheng ◽  
Zhi-Hui Zheng ◽  
...  
Keyword(s):  
Bacillus Subtilis ◽  
Gene Clusters ◽  
Metabolite Profile ◽  
Global Changes ◽  
Aspergillus Sydowii ◽  
Web Based ◽  
New Approach ◽  
Metabolite Profiles ◽  
Natural Ecology ◽  
Culture Strategy

Abstract Background: The co-culture strategy which mimics natural ecology by constructing an artificial microbial community is a useful tool to activate the biosynthetic gene clusters to generate new metabolites. However, the conventional method to study the co-culture is to isolate and purify compounds separated by HPLC, which is inefficient and time-consuming. Furthermore, the overall changes in the metabolite profile cannot be well characterized.Results: A new approach which integrates computational programs, MS-DIAL, MS-FINDER and web-based tools including GNPS and MetaboAnalyst, was developed to analyze and identify the metabolites of the co-culture of Aspergillus sydowii and Bacillus subtilis. A total of 25 newly biosynthesized metabolites were detected only in co-culture. The structures of the newly synthesized metabolites were elucidated, four of which were identified as novel compounds by the new approach. The accuracy of the new approach was confirmed by purification and NMR data analysis of 7 newly biosynthesized metabolites. The bioassay of newly synthesized metabolites showed that four of the compounds exhibited different degrees of PTP1b inhibitory activity, and compound N2 had the strongest inhibition activity with an IC50 value of 7.967 μM. Conclusions: Co-culture led to global changes of the metabolite profile and is an effective way to induce the biosynthesis of novel natural products. The new approach in this study is one of the effective and relatively accurate methods to characterize the changes of metabolite profiles and to identify novel compounds in co-culture systems.

scholarly journals Simulation and Exergy Analysis of a Refrigeration System Using an Open-Source Web-Based Interactive Tool—Comparison of the Conventional Approach and a Novel One for Avoidable Exergy Destruction Estimation

2021 ◽  
Vol 11 (23) ◽  
pp. 11535
Author(s):  
Volodymyr Voloshchuk ◽  
Paride Gullo ◽  
Eugene Nikiforovich ◽  
Nadia Buyak
Keyword(s):  
Energy Conversion ◽  
Open Source ◽  
Exergy Analysis ◽  
Exergy Destruction ◽  
Refrigeration System ◽  
Web Based ◽  
New Approach ◽  
Interactive Tool ◽  
Conversion System ◽  
Energy Conversion System

Avoidable endogenous/exogenous parts of the exergy destruction in the components of an energy conversion system can be computed by applying advanced exergy analysis. Their calculation is crucial for the correct assessment of the real thermodynamic enhancement achievable by the investigated energy conversion system. This work proposes a new approach to estimate the avoidable exergy destruction rates of system components, being more rigorous compared to the conventional method due to the elimination of the need for the implementation of theoretical assumptions associated with the idealization of processes. An open-source web-based interactive tool was implemented to contrast the results of the conventional advanced exergy analysis to those involving the new approach for avoidable exergy destruction estimation. The comparison was based on the same case study, i.e., a refrigeration system selected from the literature. It was observed that the developed tool can be properly employed for comparing the two approaches within exergy analyses, and the results obtained presented some differences for the compressor and the condenser. Compared to the new approach, the existing methodology of advanced exergy analysis suggests lower values of the avoidable part of exergy destruction, which can be reduced by improving the efficiency of the compressor and the condenser. Moreover, the avoidable parts of exergy destruction, which could be removed within these components by improving the efficiencies of the remaining components, were higher in the case of the application of the existing advanced exergetic analysis as compared with the findings obtained by the proposed approach. These differences were due to the impossibility of the existing advanced exergy analysis to implement complete thermodynamic “idealization” for the condenser and evaporator.

scholarly journals A New Approach for Semi-Automatic Building and Extending a Multilingual Terminology Thesaurus

2019 ◽  
Vol 28 (02) ◽  
pp. 1950008
Author(s):  
Aleš Horák ◽  
Vít Baisa ◽  
Adam Rambousek ◽  
Vít Suchomel
Keyword(s):  
Language Processing ◽  
Real Life ◽  
The Other ◽  
Automatic Extraction ◽  
Web Based ◽  
New Approach ◽  
Land Surveying ◽  
Processing Techniques ◽  
Current Terminology ◽  
New System

This paper describes a new system for semi-automatically building, extending and managing a terminological thesaurus — a multilingual terminology dictionary enriched with relationships between the terms themselves to form a thesaurus. The system allows to radically enhance the workow of current terminology expert groups, where most of the editing decisions still come from introspection. The presented system supplements the lexicographic process with natural language processing techniques, which are seamlessly integrated to the thesaurus editing environment. The system’s methodology and the resulting thesaurus are closely connected to new domain corpora in the six languages involved. They are used for term usage examples as well as for the automatic extraction of new candidate terms. The terminological thesaurus is now accessible via a web-based application, which (a) presents rich detailed information on each term, (b) visualizes term relations, and (c) displays real-life usage examples of the term in the domain-related documents and in the context-based similar terms. Furthermore, the specialized corpora are used to detect candidate translations of terms from the central language (Czech) to the other languages (English, French, German, Russian and Slovak) as well as to detect broader Czech terms, which help to place new terms in the actual thesaurus hierarchy. This project has been realized as a terminological thesaurus of land surveying, but the presented tools and methodology are reusable for other terminology domains.

Sign in / Sign up

Export Citation Format

Share Document