Open Access. Powered by Scholars. Published by Universities.®

Physical Sciences and Mathematics Commons

Open Access. Powered by Scholars. Published by Universities.®

Discipline
Institution
Keyword
Publication Year
Publication
Publication Type
File Type

Articles 2671 - 2700 of 296645

Full-Text Articles in Physical Sciences and Mathematics

Heterogeneous Multi-Ant Colony Algorithm Combining Competitive Interaction Strategy And Eliminatingreconstructing Mechanism, Chen Feng, Xiaoming You, Sheng Liu Jan 2024

Heterogeneous Multi-Ant Colony Algorithm Combining Competitive Interaction Strategy And Eliminatingreconstructing Mechanism, Chen Feng, Xiaoming You, Sheng Liu

Journal of System Simulation

Abstract: The traditional ant colony algorithm has many problems in convergence and diversity when solving the traveling salesman problem (TSP). Therefore, this paper proposes a heterogeneous multi-ant colony algorithm that combines the competitive interaction strategy and the eliminating-reconstructing mechanism (CEACO) to overcome these shortcomings. Firstly, the algorithm uses a competitive interaction strategy, which adjusts the interaction period adaptively according to the Hamming distance of different groups in different periods. Competition coefficients are adopted to differentiate matching interaction objects for interaction. The matched objects interact with each other through the optimal solution and pheromone matrix. This mechanism achieves a balance between …


Multi-Model Soft Sensor Modeling Under Help-Training Strategy, Luosuyang He, Weili Xiong Jan 2024

Multi-Model Soft Sensor Modeling Under Help-Training Strategy, Luosuyang He, Weili Xiong

Journal of System Simulation

Abstract: Due to the strong nonlinearity, multi-stage coupling, and the small number of labeled samples in complex industrial processes, it is difficult for traditional global soft sensor models to accurately describe the whole process. Therefore, a multi-model soft sensor modeling method under the helptraining strategy is proposed. This method uses a fuzzy C-means (FMC) clustering algorithm to mine similar samples in the sample set and build several sub-models. By introducing the help-training strategy, a collaborative training framework based on main and auxiliary learners is formed, and a confidence evaluation mechanism is designed to eliminate error samples and expand the modeling …


Spatio-Temporal Association Rule Mining Of Traffic Congestion In A Large-Scale Road Network Based On Trajectory Data, Qifan Zhou, Haixu Liu, Zhipeng Dong, Yin Xu Jan 2024

Spatio-Temporal Association Rule Mining Of Traffic Congestion In A Large-Scale Road Network Based On Trajectory Data, Qifan Zhou, Haixu Liu, Zhipeng Dong, Yin Xu

Journal of System Simulation

Abstract: A K neighbor-RElim (KNR) algorithm and a sequential KNbr-RElim (SKNR) algorithm are proposed to mine traffic congestion association rules and congestion propagation spatio-temporal association rules by vehicle trajectory data in a large-scale road network. The KNR algorithm extends the spatial topology constraint based on the RElim algorithm. The KNR can be used to mine the road links prone to congestion from the large-scale trajectory dataset in a large-scale road network and quantify the strength of association for congested road links. The SKNR algorithm expands the time dimension in the form of sliding window and can be applied for mining …


Result Validation Method Of Simulation Models Based On Piecewise Feature Extraction, Yucheng Luo, Ming'en Zhang, Fei Liu, Yingbo Lu, Feng Ye Jan 2024

Result Validation Method Of Simulation Models Based On Piecewise Feature Extraction, Yucheng Luo, Ming'en Zhang, Fei Liu, Yingbo Lu, Feng Ye

Journal of System Simulation

Abstract: Verification, validation, and accreditation (VV&A) is a key means to ensure the credibility of simulation models, and model validation is the core link. In view of the unavailability of reference data, various sources of reference data, and strong subjectivity of expert validation in the result validation of the missile flight simulation model, a result validation method for the missile flight simulation model based on piecewise feature extraction of time series was proposed. Specifically, a comprehensive piecewise linear method for time series was first proposed. The method consisted of a linear piecewise algorithm based on the second-order derivative for extracting …


Ai For Technology: Applied Practices And Future Perspectives Of Technological Intelligence In High Tech Areas, Yunji Chen, Qi Guo Jan 2024

Ai For Technology: Applied Practices And Future Perspectives Of Technological Intelligence In High Tech Areas, Yunji Chen, Qi Guo

Bulletin of Chinese Academy of Sciences (Chinese Version)

As the core of the fifth research paradigm, AI for Science has been widely used in multiple research fields of natural sciences and high technologies. In contrast to that the application of AI in natural sciences mainly focuses on discovering new theories, principles, and laws, the application of AI in high technologies mainly focuses on creating new plans, tools, and products, in order to resolve concrete problems in related fields. This study first summarizes the typical characteristics and scientific problems of the application of AI in high technologies, i.e., AI for Technology, and then introduces a successful case study of …


Large Model-Driven, Human-Computer Collaborative Robotic Ai-Chemist Cloud Facility, Yuanyuan Chong, Shuo Feng, Song Wang, Jun Jiang Jan 2024

Large Model-Driven, Human-Computer Collaborative Robotic Ai-Chemist Cloud Facility, Yuanyuan Chong, Shuo Feng, Song Wang, Jun Jiang

Bulletin of Chinese Academy of Sciences (Chinese Version)

At present, chemical science is facing unprecedented opportunities and challenges due to the technological changes brought by artificial intelligence. In order to promote the paradigm shift in chemical research, this study proposes the construction plan of the robotic AI-chemist cloud facility. This system realizes a new paradigm of scientific research by collecting multi-channel data to build a database, developing large scientific models enhanced by chemical knowledge, constructing clusters of robotic facilities, and building an intelligent management decision system, which will dramatically improve the efficiency of scientific research and solve scientific problems in terminal applications. This infrastructure is expected to change …


Intelligent Airport Crowd Management Technology Based On Digital Twin, Jinghui Zhong, Yutian Lin, Wenqiang Li, Wentong Cai Jan 2024

Intelligent Airport Crowd Management Technology Based On Digital Twin, Jinghui Zhong, Yutian Lin, Wenqiang Li, Wentong Cai

Journal of System Simulation

Abstract: Given the need for intelligent emergency control and management of airport crowds, a smart control scheme for airport crowds based on digital twin is proposed. The scheme constructs an integrated crowd control system framework with four dimensions, including digital layer, modeling layer, functional layer, and application layer. It discusses and demonstrates the application effect of five important application modules. By using a data-driven crowd simulation model and intelligent optimization algorithm, the proposed scheme realizes the dynamic prediction and control optimization of the airport crowd status. The scheme can effectively improve the efficiency and intelligence level of airport crowd control …


Optimization On Cold Chain Distribution Routes Considering Carbon Emissions Based On Improved Ant Colony Algorithm, Huifang Bao, Jie Fang, Jinsi Zhang, Chuansheng Wang Jan 2024

Optimization On Cold Chain Distribution Routes Considering Carbon Emissions Based On Improved Ant Colony Algorithm, Huifang Bao, Jie Fang, Jinsi Zhang, Chuansheng Wang

Journal of System Simulation

Abstract: As the comprehensive distribution cost is not considered comprehensively in the current cold chain distribution route optimization, this paper builds a path optimization model to minimize the comprehensive distribution cost. The model combines with the characteristics of fresh distribution, and comprehensively considers the transportation cost, carbon emission, refrigeration, cargo damage and time window constraints during cold chain transportation. Then, an improved ant colony algorithm is designed to solve this model. At the initial stage, the genetic algorithm is adopted to generate the initial pheromone, and then the ant colony algorithm is applied to conduct the subsequent optimization search. The …


Ai4r: The Fifth Scientific Research Paradigm, Guojie Li Jan 2024

Ai4r: The Fifth Scientific Research Paradigm, Guojie Li

Bulletin of Chinese Academy of Sciences (Chinese Version)

This article refers to “AI for Research(AI4R)” as the fifth research paradigm and summarizes its characteristics, including: (1) the fully integration of artificial intelligence into various scientific and technology researches; (2) machine intelligence has become an integral part of scientific research; (3) effectively handles the combinatorial explosion problem with high computational complexity; (4) probability and statistical models play a greater role in scientific research; (5) realize the integration of four existing research paradigms, cross disciplinary cooperation has become the mainstream research method; (6) scientific research relies more on large research platforms characterized by large models. This article points out that …


Chatgpt Is A Liar And Other Lessons Learned From Information Literacy Instructors, Melissa S. Del Castillo, Hope Y. Kelly Jan 2024

Chatgpt Is A Liar And Other Lessons Learned From Information Literacy Instructors, Melissa S. Del Castillo, Hope Y. Kelly

Works of the FIU Libraries

Wondering where generative artificial intelligence (AI) fits in information literacy instruction? This session will share findings from a recent survey of library professionals on how they are already teaching about and using AI powered ChatGPT in information literacy instruction and where they see potential opportunities and areas of concern. Survey analysis will include information about attitudes, current and anticipated use, and descriptions of teaching methods that leverage the technology. As we navigate the survey results, attendees will have the opportunity to share their own perspectives on the same questions via live polling. We will then turn to attendees to share …


Buzzard To Cardinal: Improved Mock Catalogs For Large Galaxy Surveys, Chun-Hao To, Joseph Derose, Risa H. Wechsler, Eli Rykoff, Hao-Yi Wu, Susmita Adhikari, Elisabeth Krause, Eduardo Rozo, David H. Weinberg Jan 2024

Buzzard To Cardinal: Improved Mock Catalogs For Large Galaxy Surveys, Chun-Hao To, Joseph Derose, Risa H. Wechsler, Eli Rykoff, Hao-Yi Wu, Susmita Adhikari, Elisabeth Krause, Eduardo Rozo, David H. Weinberg

Physics Faculty Publications and Presentations

We present the Cardinal mock galaxy catalogs, a new version of the Buzzard simulation that has been updated to support ongoing and future cosmological surveys, including the Dark Energy Survey (DES), DESI, and LSST. These catalogs are based on a one-quarter sky simulation populated with galaxies out to a redshift of z = 2.35 to a depth of mr = 27. Compared to the Buzzard mocks, the Cardinal mocks include an updated subhalo abundance matching model that considers orphan galaxies and includes mass-dependent scatter between galaxy luminosity and halo properties. This model can simultaneously fit galaxy clustering and group–galaxy …


Effect Of Passivation And Surface Treatment Of A Laser Powder Bed Fusion Biomedical Titanium Alloy On Corrosion Resistance And Protein Adsorption, Saman Nikpour, Jeffrey Henderson, Sina Matin, Heng-Yong Nie, Jonas Hedberg, Vahid Dehnavi, Yara Hosein, David Holdsworth, Mark Biesinger, Yolanda Hedberg Jan 2024

Effect Of Passivation And Surface Treatment Of A Laser Powder Bed Fusion Biomedical Titanium Alloy On Corrosion Resistance And Protein Adsorption, Saman Nikpour, Jeffrey Henderson, Sina Matin, Heng-Yong Nie, Jonas Hedberg, Vahid Dehnavi, Yara Hosein, David Holdsworth, Mark Biesinger, Yolanda Hedberg

Chemistry Publications

The biomedical titanium alloy Ti6Al4V has excellent corrosion resistance and biocompatibility and is, therefore, widely used in orthopedic and orthodontic implants. Biomedical implants are increasingly fabricated by additive manufacturing, such as laser powder bed fusion (LPBF). These manufacturing protocols often include sandblasting, surface finish, and passivation. This study aims to investigate the effect of different surface finishes and the commonly used ASTM F86-13 nitric acid passivation for LPBF Ti6Al4V on its corrosion resistance, metal release, and surface changes in benign (bovine serum albumin in a pH 7.4 buffer) and harsh (hydrochloric acid at pH 1.5) solutions using various electrochemical and …


Ai Helps To Establish A New Paradigm For Scientific Research, Weinan E Jan 2024

Ai Helps To Establish A New Paradigm For Scientific Research, Weinan E

Bulletin of Chinese Academy of Sciences (Chinese Version)

The main purpose of scientific research is to discover fundamental principles and solve practical problems. Although tremendous progress has been made on both fronts, the lack of effective tools and efficient organizational structure still stands as the main bottleneck for scientific progress. The rapid development of artificial intelligence (AI) offers a new possibility. In recent years, deep learning has had an impressive performance, both in helping to solve fundamental scientific problems and in improving the effectiveness of scientific research tools. A new set of infrastructure is emerging, leading us to a new paradigm, the“Android paradigm”, for doing scientific research.


Ai For Science: Ai Enabled Scientific Facility Transforms Fundamental Research, Xiaokang Yang, Yanyan Xu, Lu Chen, Yunbo Wang, Yue Gao, Jidong Tian, Kai Yu, Yaohui Jin, Hong Mei Jan 2024

Ai For Science: Ai Enabled Scientific Facility Transforms Fundamental Research, Xiaokang Yang, Yanyan Xu, Lu Chen, Yunbo Wang, Yue Gao, Jidong Tian, Kai Yu, Yaohui Jin, Hong Mei

Bulletin of Chinese Academy of Sciences (Chinese Version)

In recent years, artificial intelligence (AI) has achieved numerous disruptive breakthroughs in frontier scientific and technological fields, such as AlphaFold2 for protein structure prediction, intelligent control of nuclear fusion, and drug design for COVID-19. These achievements indicate that AI for Science is becoming a new paradigm in research. To achieve fundamental scientific innovation and major technological breakthroughs in the era of intelligence, two core issues should be addressed: 1) how to harness the generality and creativity of the new-generation of AI, especially generative AI and large language models (LLMs), to promote the formation of new paradigms; 2) how to empower …


Strategic Research On Information Technology Promoting National Governance Modernization—Review On The S70th Xiangshan Science Conferences, Chao Zhang, Weiyu Duan, Kaihua Chen, Xiaoguang Yang, Yuntao Long Jan 2024

Strategic Research On Information Technology Promoting National Governance Modernization—Review On The S70th Xiangshan Science Conferences, Chao Zhang, Weiyu Duan, Kaihua Chen, Xiaoguang Yang, Yuntao Long

Bulletin of Chinese Academy of Sciences (Chinese Version)

This study systematically summarizes the reports and speeches of the S70th Xiangshan Science Conferences on the theme of “Strategic Research on Information Technology Promoting the National Governance Modernization” and summarizes the consensus of the conference in the following three aspects. (1) Important progress and achievements have been made in the four typical areas, i.e., smart justice, internet governance, data governance, and emergency management. (2) Using information technology to promote the modernization of national governance is confronted with unprecedented opportunities and challenges. And (3) it is necessary to take a series of effective measures to promote information technology to facilitate the …


Spatial Analyses On Pre-Earthquake Ionospheric Anomalies And Magnetic Storms Observed By China Seismo-Electromagnetic Satellite In August 2018, Jann-Yeng Tiger Liu, Xuhui Shen, Fu-Yuan Chang, Yuh-Ing Chen, Yang-Yi Sun, Chieh‑Hung Chen, Sergey Pulinets, Katsumi Hattori, Dimitar Ouzounov, Valerio Tramutoli, Michel Parrot, Wei-Sheng Chen, Cheng-Yan Liu, Fei Zhang, Dapeng Liu, Xue-Min Zhang, Rui Yan, Qiao Wang Jan 2024

Spatial Analyses On Pre-Earthquake Ionospheric Anomalies And Magnetic Storms Observed By China Seismo-Electromagnetic Satellite In August 2018, Jann-Yeng Tiger Liu, Xuhui Shen, Fu-Yuan Chang, Yuh-Ing Chen, Yang-Yi Sun, Chieh‑Hung Chen, Sergey Pulinets, Katsumi Hattori, Dimitar Ouzounov, Valerio Tramutoli, Michel Parrot, Wei-Sheng Chen, Cheng-Yan Liu, Fei Zhang, Dapeng Liu, Xue-Min Zhang, Rui Yan, Qiao Wang

Mathematics, Physics, and Computer Science Faculty Articles and Research

The China Seismo-Electromagnetic Satellite (CSES), with a sun-synchronous orbit at 507 km altitude, was launched on 2 February 2018 to investigate pre-earthquake ionospheric anomalies (PEIAs) and ionospheric space weather. The CSES probes manifest longitudinal features of four-peak plasma density and three plasma depletions in the equatorial/low-latitudes as well as mid-latitude troughs. CSES plasma and the total electron content (TEC) of the global ionosphere map (GIM) are used to study PEIAs associated with a destructive M7.0 earthquake and its followed M6.5 and M6.3/M6.9 earthquakes in Lombok, Indonesia, on 5, 17, and 19 August 2018, respectively, as well as to examine ionospheric …


Computing System For Simulation Intelligence, Guangming Tan, Weile Jia, Zhan Wang, Guojun Yuan, En Shao, Ninghui Sun Jan 2024

Computing System For Simulation Intelligence, Guangming Tan, Weile Jia, Zhan Wang, Guojun Yuan, En Shao, Ninghui Sun

Bulletin of Chinese Academy of Sciences (Chinese Version)

This study refers computer simulation in scientific research to as scientific simulation. Based on its narrow and broad definitions, this study divides scientific simulation into three stages: numerical computation, simulation intelligence, and science brain. Now, scientific simulation is entering the era of simulation intelligence, i. e., driven by scientific big data and artificial intelligence technology, scientific simulation is shifting from traditional numerical simulation to simulation integrated with artificial intelligence. In order to understand what the right computing system for simulation intelligence is, the design guidelines, basic methods, and key technical problems are discussed.


Digital Scientists And Parallel Sciences: The Origin And Goal Of Ai For Science And Science For Ai, Feiyue Wang, Yutong Wang Jan 2024

Digital Scientists And Parallel Sciences: The Origin And Goal Of Ai For Science And Science For Ai, Feiyue Wang, Yutong Wang

Bulletin of Chinese Academy of Sciences (Chinese Version)

Based on recent development in foundation model, parallel intelligence, decentralized science (DeSci), and other artificial intelligence (AI) technologies, from AI for Science (AI4S) to Science for AI (S4AI), this study discusses parallel sciences and digital scientists, and their impact and significance in paradigm shift for research and development as well as Industry 5.0 and intelligent industry, which demonstrate that paradigm shift is emerging and accelerating, and we must be prepared.


A New Paradigm Of Life Science Research Driven By Artificial Intelligence, Xin Li, Hanchao Yu Jan 2024

A New Paradigm Of Life Science Research Driven By Artificial Intelligence, Xin Li, Hanchao Yu

Bulletin of Chinese Academy of Sciences (Chinese Version)

The rapid development of biotechnology and information technology has brought life sciences into a new era of data explosion. The traditional life science research paradigm struggles to reveal the fundamental rules of complex biological systems from rapidly growing biological big data. As artificial intelligence continues to achieve disruptive breakthroughs in life science, a new paradigm driven by AI is emerging. This study delves into typical examples of life science research driven by AI, proposes the concept and key elements of the new life science research paradigm, elaborates on the cutting-edge of life science research under this new paradigm, and discusses …


Building New Paradigm Of Digital Intelligence Security For New Development Pattern, Xiaoguang Yang, Yang Wu, Xingwei Zhang, Xiaolong Zheng Jan 2024

Building New Paradigm Of Digital Intelligence Security For New Development Pattern, Xiaoguang Yang, Yang Wu, Xingwei Zhang, Xiaolong Zheng

Bulletin of Chinese Academy of Sciences (Chinese Version)

After the 20th National Congress of the Communist Party of China, China has entered a new era of development. Simultaneously, the rapid advancement and extensive application of artificial intelligent technologies have activated a new wave of economic potential and brought about new security challenges to socioeconomic development. This study firstly analyzes the characteristics of the new development pattern in global contexts, and examines the risks and challenges of digital intelligence security (DIS) under the new pattern, encompassing technological security and personal security at the micro-level, as well as economic security, social security, and cultural security at the macro-level. Based on …


Exploring The Reactivity Of Metal-Ligand Cooperative Complexes With Dioxazolones, Terminal Alkynes, And 2-Ethynylbenzyl Alcohol, Megan A. Hoffer Miss Jan 2024

Exploring The Reactivity Of Metal-Ligand Cooperative Complexes With Dioxazolones, Terminal Alkynes, And 2-Ethynylbenzyl Alcohol, Megan A. Hoffer Miss

Electronic Thesis and Dissertation Repository

N-Acyl ketenimines were attempted to be synthesized catalytically by [Ru(Cp)(PPh2NPh2)(NCMe)]PF6 with phenylacetylene and 3-phenethynyl-1,2,4-dioxazol-5-one. Trapping agents were employed to identify the major product of the reaction, as many products were formed. [Ru(Cp)(PPh2NPh2)(NCMe)]PF6 reacts with 3-phenethynyl-1,2,4-dioxazol-5-one generating an isocyanate via the Curtius rearrangement, confirmed by a forced Curtius rearrangement with 3-phenethynyl-1,2,4-dioxazol-5-one and 1,2,4-triazole. Rates of vinylidene formation using [Ru(Cp)(PPh2NPh2)(NCMe)]PF6 and various terminal alkynes of different sterics and electronics were evaluated using a Hammett analysis for and simple rate comparisons. …


Genome-Wide Profiling Of Novel Conserved Zea Mays Micrornas Along With Their Key Biological, Molecular And Cellular Targets And Validation Using An Rt-Pcr Platform, Abdul Baqi, Sami Ullah, Muhammad Ayub, Muhammad Zafar Saleem, Ghulam Mustafa Khan, Asad Ullah Jan 2024

Genome-Wide Profiling Of Novel Conserved Zea Mays Micrornas Along With Their Key Biological, Molecular And Cellular Targets And Validation Using An Rt-Pcr Platform, Abdul Baqi, Sami Ullah, Muhammad Ayub, Muhammad Zafar Saleem, Ghulam Mustafa Khan, Asad Ullah

Karbala International Journal of Modern Science

MicroRNAs (miRNAs), which are typically non-coding RNAs that start off as endogenous molecules and regulate post-transcriptional levels of gene expression by mRNA degradation or translational repression. They are 18–26 nucleotides long, evolutionarily conserved and essential for predicting novel miRNAs in a variety of plants. Maize (Zea mays) is a significant food and forage crop in the globe today. In the present study, many maize miRNAs have been found to be associated with both plant development and responses to stress. In this study, 66 unique conserved maize miRNAs from 65 different miRNA families were predicted using several genomics-based methods …


The Role Of Cu (0-0.03) And Zn (0.02) Substitution On The Structural, Optical And Magnetic Properties Of Mgo Nanoparticles, S. Naseem Shah, Atif Dawar, Yasmeen Bibi, Abid Ali, M. Asif Siddiqui Jan 2024

The Role Of Cu (0-0.03) And Zn (0.02) Substitution On The Structural, Optical And Magnetic Properties Of Mgo Nanoparticles, S. Naseem Shah, Atif Dawar, Yasmeen Bibi, Abid Ali, M. Asif Siddiqui

Karbala International Journal of Modern Science

The co-precipitation method was employed to prepared Cu (0-0.03) and Zn (0.02) dual doped MgO nanoparticles. The secondary phases of CuO and Cu2O were observed along with the cubical phase of MgO. The doping induced effect was noticed for the crystallite size variations (14.39-19.89 nm). The morphological transformation from spherical to rice-like shape were observed. The estimated values of optical bandgap (4.66-4.45 eV) were well correlated with the crystallite size and dopant concentrations. The ferromagnetic ordering was observed at room temperature and the enchantment in the coercivity (142.27 Oe) with Zn (0.02) doping was noticed. Such type of …


A Quintic B-Spline Technique For A System Of Lane-Emden Equations Arising In Theoretical Physical Applications, Osama Ala’Yed, Ahmad Qazza, Rania Saadeh, Osama Alkhazaleh Jan 2024

A Quintic B-Spline Technique For A System Of Lane-Emden Equations Arising In Theoretical Physical Applications, Osama Ala’Yed, Ahmad Qazza, Rania Saadeh, Osama Alkhazaleh

College of Humanities and Sciences Faculty Papers

In the present study, we introduce a collocation approach utilizing quintic B-spline functions as bases for solving systems of Lane Emden equations which have various applications in theoretical physics and astrophysics. The method derives a solution for the provided system by converting it into a set of algebraic equations with unknown coefficients, which can be easily solved to determine these coefficients. Examining the convergence theory of the proposed method reveals that it yields a fourth-order convergent approximation. It is confirmed that the outcomes are consistent with the theoretical investigation. Tables and graphs illustrate the proficiency and consistency of the proposed …


The Shifting Landscape Of Adolescent Wellness In Boarding Schools: Can Time Spent Off Screens And Outdoors Improve Adolescent Wellbeing?, Kristen H. Peterson Jan 2024

The Shifting Landscape Of Adolescent Wellness In Boarding Schools: Can Time Spent Off Screens And Outdoors Improve Adolescent Wellbeing?, Kristen H. Peterson

Dartmouth College Master’s Theses

For nearly twenty years I have worked directly with adolescents as an independent school educator. Whether in the classroom, on the field, or in the dorm, I have observed and supported students through their middle and high school experiences. During this time, I have witnessed an alarming shift in adolescent physical, emotional, and social wellbeing. Concurrently, I have observed a dramatic increase in the amount of time students spend using screen-based devices, and a decrease in their time spent outdoors.

Using research to ground my anecdotal accounts in empirical understanding, my thesis examines whether or not screen use might help …


Beyond Standard Model: Structure Factors Of Models Of Different Quarks And Neutrinos As Spinning Structures Made Of Basic Fractional Charges +- E/3, Polievkt Perov Jan 2024

Beyond Standard Model: Structure Factors Of Models Of Different Quarks And Neutrinos As Spinning Structures Made Of Basic Fractional Charges +- E/3, Polievkt Perov

College of Arts & Sciences Faculty Works

We consider a possible line of “elementary” particles as composite spinning structures made of just two basic elementary particles of charges + e/3 and -e/3. In considered structures, up to 3 basic charges can be on the axis of rotation and other charges can be in a revolving motion about the axis. In addition to the simplest structures of quarks, an electron and a neutral particle containing mostly one or no charges on the axis of rotation, suggested initially in [4], we analyze possible spatial structures of spinning composite particles having 2 or 3 charges on the axis of rotation. …


Special Issue On Public Policy: Front Matter Jan 2024

Special Issue On Public Policy: Front Matter

CODEE Journal

The Front Matter contains the Editor-in-Chief's Foreword, a Dedicatory by Associate Editor Douglas Meade, a Preface by the Special Editors Bev West and Samer Habre, and the Table of Contents.


Hyperstructures In Chemical Hyperstructures Of Redox Reactions With Three And Four Oxidation States, Fakhry Asad Agusfrianto, Sonea Andromeda, Mariam Hariri Jan 2024

Hyperstructures In Chemical Hyperstructures Of Redox Reactions With Three And Four Oxidation States, Fakhry Asad Agusfrianto, Sonea Andromeda, Mariam Hariri

All Works

Hyperstructures find numerous applications across various disciplines. One notable application is in chemistry, particularly in the context of chemical reactions. In 2014, Davvaz introduced the concept of bi-hyperstructures, but their application specifically in chemical reactions, has yet to be thoroughly explored in previous studies. Thus, the primary aim of this paper is to examine and analyze the different types of bi-hyperstructures present within chemical hyperstructures. The scope of this study focuses on two types of chemical hyperstructures: redox reactions and reactions in electrochemical cells. Within these chemical hyperstructures, we investigate the possibility of bi-hyperstructures among bi-semihypergroups, bi-hypergroups, bi-H_v-semigroups, and bi-H_v-groups. …


Locally Tight Programs, Jorge Fandinno, Vladimir Lifschitz, Nathan Temple Jan 2024

Locally Tight Programs, Jorge Fandinno, Vladimir Lifschitz, Nathan Temple

Computer Science Faculty Publications

Program completion is a translation from the language of logic programs into the language of first-order theories. Its original definition has been extended to programs that include integer arithmetic, accept input, and distinguish between output predicates and auxiliary predicates. For tight programs, that generalization of completion is known to match the stable model semantics, which is the basis of answer set programming. We show that the tightness condition in this theorem can be replaced by a less restrictive “local tightness” requirement. From this fact we conclude that the proof assistant ANTHEM-P2P can be used to verify equivalence between locally tight …


Locally Tight Programs, Jorge Fandinno, Vladimir Lifschitz, Nathan Temple Jan 2024

Locally Tight Programs, Jorge Fandinno, Vladimir Lifschitz, Nathan Temple

Computer Science Faculty Publications

Program completion is a translation from the language of logic programs into the language of first-order theories. Its original definition has been extended to programs that include integer arithmetic, accept input, and distinguish between output predicates and auxiliary predicates. For tight programs, that generalization of completion is known to match the stable model semantics, which is the basis of answer set programming. We show that the tightness condition in this theorem can be replaced by a less restrictive “local tightness” requirement. From this fact we conclude that the proof assistant ANTHEM-P2P can be used to verify equivalence between locally tight …