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 32461 - 32490 of 294391

Full-Text Articles in Physical Sciences and Mathematics

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 …


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 …


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 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 …


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 …


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 …


Microbial Production Of Feed Amino Acids Promotes Reduction And Replacement Of Soybean Meal, Jia Liu, Qi Sheng, Kaifang Liu, Liming Liu Jan 2024

Microbial Production Of Feed Amino Acids Promotes Reduction And Replacement Of Soybean Meal, Jia Liu, Qi Sheng, Kaifang Liu, Liming Liu

Bulletin of Chinese Academy of Sciences (Chinese Version)

With the promotion of soybean meal reduction and substitution as well as lower-protein diet technologies, China has become a leading global producer of feed amino acids. However, the amino acid industry faces significant challenges due to its relatively late start in independently developing industrial strains, resulting in relatively lagging key economic and technical parameters and a less robust intellectual property framework. The rapid progress of synthetic biology has provided promising avenues for the design and optimization of industrial amino acid-producing strains, offering new opportunities for the amino acid fermentation industry to enhance the global competitiveness. This study offers an in-depth …


Current Status And Prospect Of Industrial Filamentous Fungi In Biomanufacturing, Zhiqiang Du, Ping Men, Yu Zhou, Xuan Zhang, Xuenian Huang, Xuefeng Lyu Jan 2024

Current Status And Prospect Of Industrial Filamentous Fungi In Biomanufacturing, Zhiqiang Du, Ping Men, Yu Zhou, Xuan Zhang, Xuenian Huang, Xuefeng Lyu

Bulletin of Chinese Academy of Sciences (Chinese Version)

Filamentous fungi, a critical class of industrial microorganisms pivotal to the biomanufacturing industry, has extensive applications in various fields such as pharmaceuticals, food, agriculture, and chemical materials, which are playing a vital role in human life. Recently, innovations in synthetic biology have further driven the application of industrial filamentous fungi in biomanufacturing, highlighting their critical role in this field. This article presents a comprehensive review of the recent progress in the field, covering the latest developments in genetic modification techniques for industrial filamentous fungi, successful cases of rational strain improvement strategies aimed to enhance the quality and efficiency of current …


Analysis And Reflections On Key Platform Facilities Construction Of Global Biomanufacturing Industry, Xiaoyan Wu, Fang Chen, Yaoying Shan, Anjing Lu Jan 2024

Analysis And Reflections On Key Platform Facilities Construction Of Global Biomanufacturing Industry, Xiaoyan Wu, Fang Chen, Yaoying Shan, Anjing Lu

Bulletin of Chinese Academy of Sciences (Chinese Version)

Biomanufacturing, an emerging production method, is becoming a significant trend in global economic development and has garnered widespread international attention. Platform facilities are vital to the biomanufacturing industry’s development, serving as both the foundation for technological innovation and the bridge between research outcomes and practical applications. This study analyzes three key types of platform facilities and their operational mechanisms: technology innovation platforms (exemplified by the U.S. Agile BioFoundry), pilot-scale platforms (represented by European Bio Base Europe Pilot Plant), and industry incubation platforms (illustrated by the UK SynbiCITE). Drawing from these successful examples and examining China’s current platform infrastructure, this paper …


Research On Innovative Development Path And Policy Guarantee Of China’S Synthetic Biology Industry, Hongjun Geng, Chang Wang Jan 2024

Research On Innovative Development Path And Policy Guarantee Of China’S Synthetic Biology Industry, Hongjun Geng, Chang Wang

Bulletin of Chinese Academy of Sciences (Chinese Version)

Synthetic biology is hailed as the third revolution in life sciences after the discovery of the DNA double helix structure and genomic technology, and is the core driving force for the leapfrog development of next-generation biomanufacturing and the future bioeconomy, opening up an opportunity window for the reshaping of the global manufacturing map. How to strategically position the synthesis biology industry and seize the strategic high ground in the industry is a core topic of interest for global science and technology powers and manufacturing powers. Based on the identification of problems in the development of China’s synthesis biology industry, this …


Scientific Approach To Building A Highland Of Ecological Civilization In Xizang Of China, Xiaodan Wang, Jianxin Zhang, Da Wei, Hui Zhao, Jiangtao Hong, Yuling Liang, Yahui Qi, Zhengrong Yuan Jan 2024

Scientific Approach To Building A Highland Of Ecological Civilization In Xizang Of China, Xiaodan Wang, Jianxin Zhang, Da Wei, Hui Zhao, Jiangtao Hong, Yuling Liang, Yahui Qi, Zhengrong Yuan

Bulletin of Chinese Academy of Sciences (Chinese Version)

Xizang, which plays an important barrier role in maintaining national ecological security, is a unique region that ensures China’s sustainable development and leads the construction of national ecological civilization. The Seventh Central Conference on the Work of Xizang has set clear goals and specific requirements for building an ecological civilization highland on the Qinghai-Xizang Plateau, which were identified as a new mission and task of Xizang government for environmental protection and sustainable development in the new era. Based on the previous research achievements about national ecological security barrier, this work further carried out the systematic study of ecological civilization highland …


Internal Logic And Policy Recommendations Of Big Data To Support High-Quality Development Of Modern Agricultural Industry, Yingming Li, Zitong Wang, Mingyue Wang, Shiyi Liu Jan 2024

Internal Logic And Policy Recommendations Of Big Data To Support High-Quality Development Of Modern Agricultural Industry, Yingming Li, Zitong Wang, Mingyue Wang, Shiyi Liu

Bulletin of Chinese Academy of Sciences (Chinese Version)

Clarifying the internal logic of big data to support modern agricultural production is helpful to cultivate and develop new quality productive forces in agriculture. From the perspective of economics, this study proposes that the role of big data in modern agricultural production is mainly reflected in two levels. Firstly, it improves the total factor productivity of the traditional agricultural production function. Secondly, it changes the factor endowment structure of agricultural production and forms a new agricultural production function. Based on these, the realization form of big data to support modern agricultural production can be summarized as improving the efficiency of …


Development And Utilization Of Mineral Resources In The Arctic And China’S Strategic Countermeasures, Yina Su Jan 2024

Development And Utilization Of Mineral Resources In The Arctic And China’S Strategic Countermeasures, Yina Su

Bulletin of Chinese Academy of Sciences (Chinese Version)

There are abundant strategic mineral resources as oil, gas, iron ore, copper, and nickel in the Arctic region. If the Arctic routes can be opened in the future, they will become another important transportation channels connecting the Pacific and Atlantic Oceans, following the Panama Canal and the Suez Canal, which may reshape the world’s maritime trade and transportation pattern. With the development of science and technology, increase in mineral resources consumption and changes in the international environment, the strategic position of the Arctic region is increasingly elevated, and the United States, Russia and some other countries of the European Union …


Redesign And De Novo Design Of Circular Blue Bioindustry, Wei Zhang, Shufeng Zhang, Hantao Zhou, Minhan Dai Jan 2024

Redesign And De Novo Design Of Circular Blue Bioindustry, Wei Zhang, Shufeng Zhang, Hantao Zhou, Minhan Dai

Bulletin of Chinese Academy of Sciences (Chinese Version)

The future marine bioindustry, which features advanced green intelligent biomanufacturing and high-value marine bioproducts, is a strategically emerging marine industry. This study proposes a new industrial development model for the circular blue bioindustry, founded on simultaneously optimizing the sustainable utilization of marine bioresources and protecting the ecological environment. Through in-depth analysis of the current situation, challenges, and potential development opportunities of the global and Chinese marine bioindustries underpinning sustainable development, theoretical framework, approaches and implementation pathways have been established to redesign the existing marine bioindustry and de novo design of the emerging marine bioindustry. Future key development priorities are suggested …


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 …


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 …


Semi-Decentralized Inference In Heterogeneous Graph Neural Networks For Traffic Demand Forecasting: An Edge-Computing Approach, Mahmoud Nazzal, Abdallah Khreishah, Joyoung Lee, Shaahin Angizi, Ala Al-Fuqaha, Mohsen Guizani Jan 2024

Semi-Decentralized Inference In Heterogeneous Graph Neural Networks For Traffic Demand Forecasting: An Edge-Computing Approach, Mahmoud Nazzal, Abdallah Khreishah, Joyoung Lee, Shaahin Angizi, Ala Al-Fuqaha, Mohsen Guizani

Machine Learning Faculty Publications

Prediction of taxi service demand and supply is essential for improving customer experience and provider's profit. Recently, graph neural networks (GNNs), modeling city areas as nodes in a transportation graph, have been shown efficient for this application as they utilize both local node features and the graph structure in the prediction. Still, further improvement can be achieved by either simultaneously exploiting different types of nodes/edges in the graphs or enlarging the scale of the transportation graph. However, both alternatives are challenged by the scalability of GNNs. An immediate remedy to the scalability challenge is to decentralize the GNN operation. In …


The Santa Clara, 2024-01-19, Santa Clara University Jan 2024

The Santa Clara, 2024-01-19, Santa Clara University

The Santa Clara

No abstract provided.


Discord In Concordance Cosmology And Anomalously Massive Early Galaxies, Stacy S. Mcgaugh Jan 2024

Discord In Concordance Cosmology And Anomalously Massive Early Galaxies, Stacy S. Mcgaugh

Faculty Scholarship

Cosmological parameters are constrained by a wide variety of observations. We examine the concordance diagram for modern measurements of the Hubble constant, the shape parameter from the large-scale structure, the cluster baryon fraction, and the age of the universe, all from non-CMB data. There is good agreement for (Formula presented.) and (Formula presented.). This concordance value is indistinguishable from the WMAP3 cosmology but is not consistent with that of Planck: there is a tension in (Formula presented.) as well as (Formula presented.). These tensions have emerged as progressively higher multipoles have been incorporated into CMB fits. This temporal evolution is …


Gaussian Processes And Nested Sampling Applied To Kepler's Small Long-Period Exoplanet Candidates, Michael R.B. Matesic, Jason F. Rowe, John H. Livingston, Shishir Dholakia, Daniel Jontof-Hutter, Jack J. Lissauer Jan 2024

Gaussian Processes And Nested Sampling Applied To Kepler's Small Long-Period Exoplanet Candidates, Michael R.B. Matesic, Jason F. Rowe, John H. Livingston, Shishir Dholakia, Daniel Jontof-Hutter, Jack J. Lissauer

Pacific Faculty Work

There are more than 5000 confirmed and validated planets beyond the solar system to date, more than half of which were discovered by NASA’s Kepler mission. The catalog of Kepler’s exoplanet candidates has only been extensively analyzed under the assumption of white noise (i.i.d. Gaussian), which breaks down on timescales longer than a day due to correlated noise (point-to-point correlation) from stellar variability and instrumental effects. Statistical validation of candidate transit events becomes increasingly difficult when they are contaminated by this form of correlated noise, especially in the low-signal-to-noise (S/N) regimes occupied by Earth-Sun and Venus-Sun analogs. To diagnose small …


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 …


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. …


Synthesis And Characterization Of Bio Based Amphiphilic Molecules, Vandana Singh Jan 2024

Synthesis And Characterization Of Bio Based Amphiphilic Molecules, Vandana Singh

Theses and Dissertations

Among various molecular self-assemblies, low molecular weight gelators (LMWGs), that can form gels in organic solvents/water/oils, have gained much research attention due to their huge potential applications. Generally, gels are soft nanomaterials formed by the self-assembly of amphiphilic molecules into a three-dimensional fibrous network entrapping the solvent.

As these gels are formed by self-assembly via non-covalent interactions they are reversible and differ from macromolecular gels. To synthesize LMWGs, biomolecules such as fats, oils, fatty acids, lignocelluloses, sugars, amino acids, and peptides are commonly used as their inherent property favors self-assembly. In the current scenario, interest in synthesizing bio-based gelators has …


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.


Experimental Realization Of The Peregrine Soliton In Repulsive Two-Component Bose-Einstein Condensates, A. Romero-Ros, Garyfallia C. Katsimiga, Simeon I. Mistakidis, S. Mossman, G. Biondini, P. Schmelcher, P. Engels, P. G. Kevrekidis Jan 2024

Experimental Realization Of The Peregrine Soliton In Repulsive Two-Component Bose-Einstein Condensates, A. Romero-Ros, Garyfallia C. Katsimiga, Simeon I. Mistakidis, S. Mossman, G. Biondini, P. Schmelcher, P. Engels, P. G. Kevrekidis

Physics Faculty Research & Creative Works

We Experimentally Realize the Peregrine Soliton in a Highly Particle-Imbalanced Two-Component Repulsive Bose-Einstein Condensate in the Immiscible Regime. The Effective Focusing Dynamics and Resulting Modulational Instability of the Minority Component Provide the Opportunity to Dynamically Create a Peregrine Soliton with the Aid of an Attractive Potential Well That Seeds the Initial Dynamics. The Peregrine Soliton Formation Is Highly Reproducible, And Our Experiments Allow Us to Separately Monitor the Minority and Majority Components, And to Compare with the Single Component Dynamics in the Absence or Presence of the Well with Varying Depths. We Showcase the Centrality of Each of the Ingredients …


Weakened Pelagic-Benthic Coupling On An Arctic Outflow Shelf (Northeast Greenland) Suggested By Benthic Ecosystem Changes, Yasemin V. Bodur, Paul E. Renaud, Lidia Lins, Luana Da Costa Monteiro, William G. Ambrose, Janine Felden, Thomas Krumpen, Frank Wenzhöfer, Maria Włodarska-Kowalczuk, Ulrike Braeckman Jan 2024

Weakened Pelagic-Benthic Coupling On An Arctic Outflow Shelf (Northeast Greenland) Suggested By Benthic Ecosystem Changes, Yasemin V. Bodur, Paul E. Renaud, Lidia Lins, Luana Da Costa Monteiro, William G. Ambrose, Janine Felden, Thomas Krumpen, Frank Wenzhöfer, Maria Włodarska-Kowalczuk, Ulrike Braeckman

Marine Science

Arctic marine ecosystems are becoming more boreal due to climate change. Predictions of ecosystem change focus mainly on Arctic inflow or interior shelves, with few comprehensive studies on Arctic outflow regions. During September–October 2017, soft-bottom communities were sampled and benthic ecosystem processes were quantified at 12 stations on the Northeast Greenland shelf (outflow shelf) and compared to the last regional ecosystem study, conducted in 1992 and 1993. The benthic habitat was characterized in terms of sediment granulometry, pigment concentrations, and porewater chemistry (dissolved inorganic carbon, nutrients). Total abundance and biomass of macrobenthos and meiobenthos, bacterial abundance, porewater dissolved inorganic carbon …


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 …