Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Computer Sciences (63663)
- Earth Sciences (59554)
- Environmental Sciences (52755)
- Engineering (41186)
- Life Sciences (39427)
-
- Physics (34278)
- Chemistry (33418)
- Geology (29996)
- Mathematics (27265)
- Social and Behavioral Sciences (21271)
- Soil Science (14403)
- Oceanography and Atmospheric Sciences and Meteorology (14162)
- Plant Sciences (13981)
- Computer Engineering (13620)
- Education (13308)
- Statistics and Probability (12933)
- Artificial Intelligence and Robotics (11679)
- Medicine and Health Sciences (11137)
- Agronomy and Crop Sciences (10834)
- Weed Science (10370)
- Arts and Humanities (9941)
- Agricultural Science (9895)
- Natural Resources and Conservation (9825)
- Plant Biology (9660)
- Sustainability (9454)
- Plant Pathology (9371)
- Electrical and Computer Engineering (9238)
- Astrophysics and Astronomy (8935)
- Natural Resources Management and Policy (8577)
- Institution
-
- University of Nebraska - Lincoln (25829)
- Western Michigan University (20684)
- University of Kentucky (14839)
- TÜBİTAK (10742)
- Singapore Management University (9441)
-
- Utah State University (7959)
- Old Dominion University (7372)
- Missouri University of Science and Technology (7311)
- Portland State University (4207)
- University of South Florida (4145)
- Wright State University (3961)
- University of Nevada, Las Vegas (3931)
- China Simulation Federation (3924)
- City University of New York (CUNY) (3756)
- Louisiana State University (3676)
- Brigham Young University (3451)
- University of Texas Rio Grande Valley (3205)
- University of Arkansas, Fayetteville (3144)
- Chulalongkorn University (3121)
- Air Force Institute of Technology (3083)
- Department of Primary Industries and Regional Development, Western Australia (2932)
- Purdue University (2910)
- Claremont Colleges (2865)
- California Polytechnic State University, San Luis Obispo (2725)
- University of Texas at El Paso (2636)
- University of South Carolina (2428)
- Montana Tech Library (2422)
- Chinese Chemical Society | Xiamen University (2395)
- Technological University Dublin (2384)
- Wayne State University (2316)
- Keyword
-
- Machine learning (2216)
- Western Australia (1958)
- Climate change (1692)
- Mathematics (1412)
- Deep learning (1193)
-
- Sustainability (1185)
- Chemistry (1131)
- Artificial intelligence (1121)
- Machine Learning (1100)
- Physics (1035)
- Groundwater (979)
- Geology (975)
- Water quality (905)
- Computer Science (827)
- United States (811)
- Simulation (789)
- Nebraska (774)
- Education (744)
- Remote sensing (719)
- Climate (709)
- Agriculture (704)
- Grains and field crops (698)
- Water (698)
- Security (688)
- Statistics (688)
- Optimization (667)
- Conservation (651)
- Environment (626)
- Humans (602)
- Algorithms (585)
- Publication Year
-
- 2026 (9198)
- 2025 (12266)
- 2024 (14128)
- 2023 (14126)
- 2022 (18218)
-
- 2021 (27762)
- 2020 (14812)
- 2019 (13033)
- 2018 (11790)
- 2017 (11108)
- 2016 (10866)
- 2015 (9580)
- 2014 (9807)
- 2013 (8932)
- 2012 (8521)
- 2011 (7779)
- 2010 (6952)
- 2009 (6360)
- 2008 (5863)
- 2007 (5721)
- 2006 (4894)
- 2005 (4751)
- 2004 (3862)
- 2003 (3335)
- 2002 (3026)
- 2001 (2628)
- 2000 (2585)
- 1999 (2343)
- 1998 (2338)
- 1997 (2184)
- Publication
-
- Legacy Scout Tickets from Pure Oil Company (11044)
- IGC Proceedings (1977-2023) (9261)
- Theses and Dissertations (8844)
- Research Collection School Of Computing and Information Systems (8595)
- Thin Sections (6677)
-
- Faculty Publications (4115)
- Journal of System Simulation (3924)
- Electronic Theses and Dissertations (3528)
- Nebraska Tractor Tests (3402)
- Turkish Journal of Electrical Engineering and Computer Sciences (3106)
- Turkish Journal of Chemistry (2730)
- Turkish Journal of Mathematics (2607)
- Journal of Electrochemistry (2395)
- Physics Faculty Publications (2179)
- Masters Theses (2077)
- Dissertations (2036)
- Physics Faculty Research & Creative Works (1959)
- Silver Bow Creek/Butte Area Superfund Site (1896)
- Chulalongkorn University Theses and Dissertations (Chula ETD) (1876)
- USF Tampa Graduate Theses and Dissertations (1834)
- Coal Geology & Exploration (1822)
- School of Natural Resources: Faculty Publications (1735)
- Department of Computer Science Technical Reports (1721)
- United States Department of Agriculture Wildlife Services: Staff Publications (1625)
- All Graduate Theses and Dissertations, Spring 1920 to Summer 2023 (1434)
- Publications and Research (1413)
- LSU Doctoral Dissertations (1402)
- Publications (1383)
- Turkish Journal of Physics (1382)
- Open Access Theses & Dissertations (1380)
- Publication Type
Articles 57151 - 57180 of 294560
Full-Text Articles in Physical Sciences and Mathematics
Interactive Construction Of Scientific Workflow Based On Process Mining, Jun Liu, Yang Gao, Tao Xu, Qing Zhao, Guihua Shan, Xuebin Chi
Interactive Construction Of Scientific Workflow Based On Process Mining, Jun Liu, Yang Gao, Tao Xu, Qing Zhao, Guihua Shan, Xuebin Chi
Journal of System Simulation
Abstract: When dealing with large-scale or complex workflows, the construction efficiency of traditional interactive workflow construction methods is very low. To solve this problem, a workflow construction method based on process mining is proposed. Heuristic methods are used to collect process fragments. The specially designed relation description language is used to record the process description of different levels and aspects in the workflow as text. The text is translated to generate process relational data, which will be output to the process discovery algorithm to generate a sound workflow network. An interactive workflow construction software has been developed and tested in …
Joint Shift Scheduling Method For Call Center With Mechanism Of Delay Information, Miao Yu, Manru Li, Yu Zhao
Joint Shift Scheduling Method For Call Center With Mechanism Of Delay Information, Miao Yu, Manru Li, Yu Zhao
Journal of System Simulation
Abstract: A joint shift scheduling method is studied for call center with delay information. According to the queue model of call center with delay information, the influence rule of the customer's patience and abandonment behavior is addressed, and a mechanism of delay information is proposed to estimate the waiting time of customers. Considering the influence of non-stationary arrival and other factors, the scheduling model of the call centers is established by the discrete Event-Scheduling approach. Based on the proposed evaluation method of delay information, the joint shift scheduling method by simulation optimization is designed to solve the scheduling problem …
Tapered Photonic Switching, Emanuele Galiffi, Shixiong Yin, Andrea Alù
Tapered Photonic Switching, Emanuele Galiffi, Shixiong Yin, Andrea Alù
Advanced Science Research Center
The advent of novel nonlinear materials has stirred unprecedented interest in exploring the use of temporal inhomogeneities to achieve novel forms of wave control, amidst the greater vision of engineering metamaterials across both space and time. When the properties of an unbounded medium are abruptly switched in time, propagating waves are efficiently converted to different frequencies, and partially coupled to their back-propagating phase-conjugate partners, through a process called time reversal. However, in realistic materials the switching time is necessarily finite, playing a central role in the resulting temporal scattering features. By identifying and leveraging the crucial role of electromagnetic momentum …
The Cartesian Analytical Solutions For The N-Dimensional Compressible Navier-Stokes Equations With Density-Dependent Viscosity, Engui Fan, Zhijun Qiao, Manwai Yuen
The Cartesian Analytical Solutions For The N-Dimensional Compressible Navier-Stokes Equations With Density-Dependent Viscosity, Engui Fan, Zhijun Qiao, Manwai Yuen
School of Mathematical & Statistical Sciences Faculty Publications
In this paper, we prove the existence of general Cartesian vector solutions u=b(t)+A(t)x for the N-dimensional compressible Navier-Stokes equations with density-dependent viscosity, based on the matrix and curve integration theory. Two exact solutions are obtained by solving the reduced systems.
Progress, Problems And Countermeasures Of Promoting Construction Of “Zero-Waste City” In China, Xiaoyan Meng, Yi Wang
Progress, Problems And Countermeasures Of Promoting Construction Of “Zero-Waste City” In China, Xiaoyan Meng, Yi Wang
Bulletin of Chinese Academy of Sciences (Chinese Version)
Developing "Zero-waste City" is a powerful starting point for deepening solid waste comprehensive management reform from the overall city level, and is an important measure to promote ecological civilization and build a beautiful China. In 2019, the State Council issued the Working Plan for the Pilot Construction of "Zero-waste City". In order to implement this plan, the Ministry of Ecology and Environment selected "11+5" cities and regions to carry out the first batch of pilot projects. On the basis of in-depth investigations, the progress of the pilot construction is summarized and the outstanding problems and challenges are analyzed. Studies have …
Multi-Stage Multi-Agv Path Planning With Walk Under Shelves For Robotic Mobile Fulfillment Systems, Teng Li, Peipei Ding, Jinfang Liu
Multi-Stage Multi-Agv Path Planning With Walk Under Shelves For Robotic Mobile Fulfillment Systems, Teng Li, Peipei Ding, Jinfang Liu
Journal of System Simulation
Abstract: Aiming at the problem of increasing travel time due to turning and obstacle avoidance in robotic mobile fulfillment systems(RMFS) with large-scale multi-AGV path planning, a path planning model with the shortest task completion time is established. A path planning model considering no-load AGV that can pass through the shelf is proposed, and the model is solved by an improving A* algorithm. The AGV operation stage is divided, an turning penalty value is introduced into the A* algorithm to reduce the turning times, and the obstacle avoidance priority with the obstacle avoidance waiting time is set. The simulation results show …
Design And Simulation Of Ts Fuzzy Based Cooperative Control Of Missile Formation, Yexin Zhang, Yu Cheng, Hongyan Yan, Xuwei Fan, Xu Zhang, Yi Tian
Design And Simulation Of Ts Fuzzy Based Cooperative Control Of Missile Formation, Yexin Zhang, Yu Cheng, Hongyan Yan, Xuwei Fan, Xu Zhang, Yi Tian
Journal of System Simulation
Abstract: Aiming at the requirement of cooperative operation of multi-missile formation, a cooperative control algorithm of multi-missile formation based on Takagi-Sugeno(TS) fuzzy control theory is proposed.The flight speed, trajectory angle and trajectory deflection angle of the missile are taken as parameters in the leader-follower mode missile formation flying system.The local asymptotically stable controller is designed by using the systemlocal linearization of multiple groups of equilibrium pointsduring the whole flight process.Through the expert experience method,the membership function and fuzzy rules for the system are designedwith TS fuzzy theory, and the whole multi-missile cooperative control system is completed and the stability …
Controls On Surface Distributions Of Dissolved Organic Carbon And Nitrogen In The Southeast Pacific Ocean, Mariana B. Bif, Annie Bourbonnais, Dennis A. Hansell, Julie Granger, Holly Westbrook, Mark A. Altabet
Controls On Surface Distributions Of Dissolved Organic Carbon And Nitrogen In The Southeast Pacific Ocean, Mariana B. Bif, Annie Bourbonnais, Dennis A. Hansell, Julie Granger, Holly Westbrook, Mark A. Altabet
Faculty Publications
Here we use data from three meridional survey cruises that took place in 1994, 2007/2008 and 2016/2017 in the southeast Pacific Ocean to investigate controls on surface distributions of dissolved organic carbon and nitrogen (DOC and DON, respectively). While DOC and DON production occur simultaneously in the euphotic layer of the gyre margins, budgets that account for horizontal transport, production and consumption are not balanced across the region. Our results show that while DOC concentrations increase inside the gyre, DON remains at similar levels in comparison to margins. There is little interannual variability in DOC and DON trends, except near …
Final Butte Reduction Works (Brw) Phase I Qapp, Pioneer Technical Services, Inc., Nikia Greene
Final Butte Reduction Works (Brw) Phase I Qapp, Pioneer Technical Services, Inc., Nikia Greene
Silver Bow Creek/Butte Area Superfund Site
No abstract provided.
Butte Priority Soils Operable Unit (Bpsou) Draft Final Insufficiently Reclaimed Sites - Field Sampling Plan (Fsp) Bres No. 37 – Josephine Shaft, Mike Mcanulty
Silver Bow Creek/Butte Area Superfund Site
No abstract provided.
Final Revised Butte Reduction Works (Brw) Phase I Quality Assurance Project Plan (Qapp), Pioneer Technical Services, Inc.
Final Revised Butte Reduction Works (Brw) Phase I Quality Assurance Project Plan (Qapp), Pioneer Technical Services, Inc.
Silver Bow Creek/Butte Area Superfund Site
No abstract provided.
Respiratory, Neurological And Other Health Outcomes Among Plastic Factory Workers In Gazipur, Bangladesh, Shobhan Das, Md. Masudur Rahman, Asmaul Husna, Margia Akter, Md. Matiur Rahaman, Md. Taohidul Islam, Md. Jamal Uddin, Atin Adhikari
Respiratory, Neurological And Other Health Outcomes Among Plastic Factory Workers In Gazipur, Bangladesh, Shobhan Das, Md. Masudur Rahman, Asmaul Husna, Margia Akter, Md. Matiur Rahaman, Md. Taohidul Islam, Md. Jamal Uddin, Atin Adhikari
Biostatistics, Epidemiology & Environmental Health Sciences: Faculty Publications
Background: Approximately three thousand plastic goods manufacturing factories (PGMF) are currently operating in Bangladesh involving numerous workers. Associated health problems of these workers are largely unknown. The key objectives of the current study were identifying plastic chemical exposures related health outcomes in these workers and comparing these outcomes before and after their joining in PGMFs. In addition, we aimed to investigate the relationships between work duration and the prevalence of health ailments among workers.
Method: A cross-sectional study was carried out among factory workers (n=405) at six PGMFs in Gazipur district in Bangladesh. A simple random sampling method had been …
Investigation On The Synthesis, Application And Structural Features Of Heteroaryl 1,2-Diketones, Robert J. Wehrle, Alexander Rosen, Thu Vu Nguyen, Kalyn Koons, Eric Jump, Mason Bullard, Natalie Wehrle, Adam Stockfish, Patrick M. Hare, Abdurrahman Atesin, Tülay A. Ateşin, Lili Ma
Investigation On The Synthesis, Application And Structural Features Of Heteroaryl 1,2-Diketones, Robert J. Wehrle, Alexander Rosen, Thu Vu Nguyen, Kalyn Koons, Eric Jump, Mason Bullard, Natalie Wehrle, Adam Stockfish, Patrick M. Hare, Abdurrahman Atesin, Tülay A. Ateşin, Lili Ma
School of Integrative Biological & Chemical Sciences (Formerly Dept. of Chemistry)
A set of unsymmetrical heteroaryl 1,2-diketones were synthesized by a heteroarylation/oxidation sequence with up to 65% isolated yields. Palladium catalyst XPhos Pd G4 and SeO2 were the key reagents used in this methodology, and microwave irradiation was utilized to facilitate an efficient and ecofriendly process. The application of heteroaryl 1,2-diketones is demonstrated through the synthesis of an unsymmetrical 2-phenyl-3-(pyridin-3-yl)quinoxaline (5a) from 1-phenyl-2-(pyridin-3-yl)ethane-1,2-dione (4a). The lowest energy conformations of 4a and 5a were located using Density Functional Theory (DFT) at the M06-2X/def2-TZVP level of theory. Two lowest energy conformations of 4a differ with respect to the position of the N atom …
Nashville-Basin Tornadoes: Using Storm Types To Elucidate The Local Climatology And Forecasting Challenges, Morgan Steckler, Kelsey Ellis
Nashville-Basin Tornadoes: Using Storm Types To Elucidate The Local Climatology And Forecasting Challenges, Morgan Steckler, Kelsey Ellis
Pursuit - The Journal of Undergraduate Research at The University of Tennessee
Early 3 March 2020 was a devastating night for many middle Tennessee residents. A strong EF-3 tornado tore through Nashville at 65 mph, and another EF-4 killed 18 in Baxter and Cookeville alone. Residents of the Southeastern United States are particularly vulnerable to tornadoes. This study aims to better understand local forecasting challenges by looking at the types of storms that produce tornadoes. Storm types, also known as convective modes, divide tornado-producing storms into categories by length, shape, multiplicity, and intensity. Distinguishing storms by these modes allows for a broader understanding of their occurrences and impacts. This study specifically evaluates …
Green, Quantized Federated Learning Over Wireless Networks: An Energy-Efficient Design, Minsu Kim, Walid Saad, Mohammad Mozaffari, Mérouane Debbah
Green, Quantized Federated Learning Over Wireless Networks: An Energy-Efficient Design, Minsu Kim, Walid Saad, Mohammad Mozaffari, Mérouane Debbah
Machine Learning Faculty Publications
The practical deployment of federated learning (FL) over wireless networks requires balancing energy efficiency and convergence time due to the limited available resources of devices. Prior art on FL often trains deep neural networks (DNNs) to achieve high accuracy and fast convergence using 32 bits of precision level. However, such scenarios will be impractical for resource-constrained devices since DNNs typically have high computational complexity and memory requirements. Thus, there is a need to reduce the precision level in DNNs to reduce the energy expenditure. In this paper, a green-quantized FL framework, which represents data with a finite precision level in …
Criminal Policy To Combat The Spread Of Electronic Rumours (Under Decree-Law No. 34 Of 2021 On Combating Rumours And Cyber Crimes), Ashraf Kandil
Criminal Policy To Combat The Spread Of Electronic Rumours (Under Decree-Law No. 34 Of 2021 On Combating Rumours And Cyber Crimes), Ashraf Kandil
Journal of Police and Legal Sciences
The UAE's role in combating electronic rumors and reducing its dissemination has been demonstrated by the legislative development of IT crime laws in the UAE. The most recent is the issuance of the Federal Decree-Law No. (34) of 2021 concerning the fight against rumors and cybercrime. Otherwise, the problem of the current study revolves around the flexibility of drafting the procedural texts in order to deal with the constant development of the forms and circumstances of spreading rumors, as well as to indicate their effectiveness in reducing their effects. Therefore, the current study aims to identify the criminal policy to …
Exchange Broadening Underlies The Enhancement Of Ide-Dependent Degradation Of Insulin By Anionic Membranes, Qiuchen Zheng, Bethany Lee, Micheal T. Kebede, Valerie A. Ivancic, Merc M. Kemeh, Henrique Lemos Brito, Donald E. Spratt, Noel D. Lazo
Exchange Broadening Underlies The Enhancement Of Ide-Dependent Degradation Of Insulin By Anionic Membranes, Qiuchen Zheng, Bethany Lee, Micheal T. Kebede, Valerie A. Ivancic, Merc M. Kemeh, Henrique Lemos Brito, Donald E. Spratt, Noel D. Lazo
Chemistry
Insulin-degrading enzyme (IDE) is an evolutionarily conserved ubiquitous zinc metalloprotease implicated in the efficient degradation of insulin monomer. However, IDE also degrades monomers of amyloidogenic peptides associated with disease, complicating the development of IDE inhibitors. In this work, we investigated the effects of the lipid composition of membranes on the IDE-dependent degradation of insulin. Kinetic analysis based on chromatography and insulin's helical circular dichroic signal showed that the presence of anionic lipids in membranes enhances IDE's activity toward insulin. Using NMR spectroscopy, we discovered that exchange broadening underlies the enhancement of IDE's activity. These findings, together with the adverse effects …
An Adaptive Multi-Level Quantization-Based Reinforcement Learning Model For Enhancing Uav Landing On Moving Targets, Najmaddin Abo Mosali, Syariful Syafiq Shamsudin, Salama A. Mostafa, Omar Alfandi, Rosli Omar, Najib Al-Fadhali, Mazin Abed Mohammed, R. Q. Malik, Mustafa Musa Jaber, Abdu Saif
An Adaptive Multi-Level Quantization-Based Reinforcement Learning Model For Enhancing Uav Landing On Moving Targets, Najmaddin Abo Mosali, Syariful Syafiq Shamsudin, Salama A. Mostafa, Omar Alfandi, Rosli Omar, Najib Al-Fadhali, Mazin Abed Mohammed, R. Q. Malik, Mustafa Musa Jaber, Abdu Saif
All Works
The autonomous landing of an unmanned aerial vehicle (UAV) on a moving platform is an essential functionality in various UAV-based applications. It can be added to a teleoperation UAV system or part of an autonomous UAV control system. Various robust and predictive control systems based on the traditional control theory are used for operating a UAV. Recently, some attempts were made to land a UAV on a moving target using reinforcement learning (RL). Vision is used as a typical way of sensing and detecting the moving target. Mainly, the related works have deployed a deep-neural network (DNN) for RL, which …
Comment Letter For The Butte Priority Soils Operable Unit (Bpsou) Draft Final Insufficiently Reclaimed Sites Colorado Dump – West Lot Remedial Action Work Plan (Rawp) (Dated July 13, 2022), Nikia Greene
Silver Bow Creek/Butte Area Superfund Site
No abstract provided.
Adversarial Pixel Restoration As A Pretext Task For Transferable Perturbations, Hashmat Shadab Malik, Shahina K. Kunhimon, Muzammal Nasser, Salman Khan, Fahad Shahbaz Khan
Adversarial Pixel Restoration As A Pretext Task For Transferable Perturbations, Hashmat Shadab Malik, Shahina K. Kunhimon, Muzammal Nasser, Salman Khan, Fahad Shahbaz Khan
Computer Vision Faculty Publications
Transferable adversarial attacks optimize adversaries from a pretrained surrogate model and known label space to fool the unknown black-box models. Therefore, these attacks are restricted by the availability of an effective surrogate model. In this work, we relax this assumption and propose Adversarial Pixel Restoration as a self-supervised alternative to train an effective surrogate model from scratch under the condition of no labels and few data samples. Our training approach is based on a min-max objective which reduces overfitting via an adversarial objective and thus optimizes for a more generalizable surrogate model. Our proposed attack is complimentary to our adversarial …
Robustar: Interactive Toolbox Supporting Precise Data Annotation For Robust Vision Learning, Chonghan Chen, Haohan Wang, Leyang Hu, Yuhao Zhang, Shuguang Lyu, Jingcheng Wu, Xinnuo Li, Linjing Sun, Eric Xing
Robustar: Interactive Toolbox Supporting Precise Data Annotation For Robust Vision Learning, Chonghan Chen, Haohan Wang, Leyang Hu, Yuhao Zhang, Shuguang Lyu, Jingcheng Wu, Xinnuo Li, Linjing Sun, Eric Xing
Machine Learning Faculty Publications
We introduce the initial release of our software Robustar, which aims to improve the robustness of vision classification machine learning models through a data-driven perspective. Building upon the recent understanding that the lack of machine learning model’s robustness is the tendency of the model’s learning of spurious features, we aim to solve this problem from its root at the data perspective by removing the spurious features from the data before training. In particular, we introduce a software that helps the users to better prepare the data for training image classification models by allowing the users to annotate the spurious features …
Internal Model Control (Imc)-Based Active And Reactive Power Control Of Brushless Double-Fed Induction Generator With Notch Filter, Ahsanullah Memon, Mohd Wazir Bin Mustafa, Zohaib Hussain Laghari, Touqeer Ahmed Jumani, Waqas Anjum, Shafi Ullah, Muhammad Naveed Aman
Internal Model Control (Imc)-Based Active And Reactive Power Control Of Brushless Double-Fed Induction Generator With Notch Filter, Ahsanullah Memon, Mohd Wazir Bin Mustafa, Zohaib Hussain Laghari, Touqeer Ahmed Jumani, Waqas Anjum, Shafi Ullah, Muhammad Naveed Aman
School of Computing: Faculty Publications
The increase in demand for electricity and, in particular, green energy has put renewable energy systems at the focal point of energy policy worldwide. The higher reliability of brushless doubly fed induction generators (BDFIGs) makes them suitable for offshore and remote wind energy generation (WEG) applications. Besides, controlling the active and reactive powers in an electrical power system is critical for optimal voltage regulation, reduced power losses, and enhanced utilization of installed equipment. However, the existing literature on BDFIG’s active and reactive power control highlights the poor dynamic response and high transients with harmonic generation during inductive load insertion. It …
Combining Solution Reuse And Bound Tightening For Efficient Analysis Of Evolving Systems, Clay Stevens, Hamid Bagheri
Combining Solution Reuse And Bound Tightening For Efficient Analysis Of Evolving Systems, Clay Stevens, Hamid Bagheri
School of Computing: Conference and Workshop Papers
Software engineers have long employed formal verification to ensure the safety and validity of their system designs. As the system changes—often via predictable, domain-specific operations—their models must also change, requiring system designers to repeatedly execute the same formal verification on similar system models. State-of-the-art formal verification techniques can be expensive at scale, the cost of which is multiplied by repeated analysis. This paper presents a novel analysis technique—implemented in a tool called SoRBoT—which can automatically determine domain-specific optimizations that can dramatically reduce the cost of repeatedly analyzing evolving systems. Different from all prior approaches, which focus on either tightening the …
The Disk Of Fu Orionis Viewed With Matisse/Vlti: First Interferometric Observations In L And M Bands, Foteini Lykou, P. Ábrahám, L. Chen, J. Varga, Á. Kóspál, A. Matter, M. Siwak, Zs. M. Szabo, Z. Zhu, H. B. Liu, B. Lopez, F. Allouche, J.-C. Augereau, P. Berio, P. Cruzalebes, C. Dominik, Th Henning, K.-H. Hofmann, M. Hogerheijde, W. J. Jaffe, E. Kokulina, S. Lagarde, A. Meilland, F. Millour, E. Pantin, R. Petrov, S. Robbe-Dubois, D. Schertl, M. Scheuck, R. Van Boekel, L. B. F. M. Waters, G. Weigelt, S. Wolf
The Disk Of Fu Orionis Viewed With Matisse/Vlti: First Interferometric Observations In L And M Bands, Foteini Lykou, P. Ábrahám, L. Chen, J. Varga, Á. Kóspál, A. Matter, M. Siwak, Zs. M. Szabo, Z. Zhu, H. B. Liu, B. Lopez, F. Allouche, J.-C. Augereau, P. Berio, P. Cruzalebes, C. Dominik, Th Henning, K.-H. Hofmann, M. Hogerheijde, W. J. Jaffe, E. Kokulina, S. Lagarde, A. Meilland, F. Millour, E. Pantin, R. Petrov, S. Robbe-Dubois, D. Schertl, M. Scheuck, R. Van Boekel, L. B. F. M. Waters, G. Weigelt, S. Wolf
Physics & Astronomy Faculty Research
Aims. We studied the accretion disk of the archetypal eruptive young star FU Orionis with the use of mid-infrared interferometry, which enabled us to resolve the innermost regions of the disk down to a spatial resolution of 3 milliarcseconds (mas) in the L band, that is, within 1 au of the protostar. Methods. We used the interferometric instrument MATISSE/VLTI to obtain observations of FU Ori’s disk in the L, M, and N bands with multiple baseline configurations. We also obtained contemporaneous photometry in the optical (UBVRIri ; SAAO and Konkoly Observatory) and near-infrared (JHKs; NOT). Our results were compared with …
On P-Competition Graphs Of Loopless Hamiltonian Digraphs Without Symmetric Arcs And Graph Operations, Kuniharu Yokomura, Morimasa Tsuchiya
On P-Competition Graphs Of Loopless Hamiltonian Digraphs Without Symmetric Arcs And Graph Operations, Kuniharu Yokomura, Morimasa Tsuchiya
Theory & Applications of Graphs
For a digraph D, the p-competition graph Cp(D) of D is the graph satisfying the following: V(Cp(D))=V(D), for x,y ∈ V(Cp(D)), xy ∈ E(Cp(D)) if and only if there exist distinct p vertices v1, v2, ..., vp ∈ V(D) such that x → vi, y → vi ∈ A(D) for each i=1,2, ..., p.
We show the H1 ∪ H2 is a p-competition graph of a loopless digraph without symmetric arcs for p ≥ 2 , where …
Harmonious Labelings Via Cosets And Subcosets, Jared L. Painter, Holleigh C. Landers, Walker M. Mattox
Harmonious Labelings Via Cosets And Subcosets, Jared L. Painter, Holleigh C. Landers, Walker M. Mattox
Theory & Applications of Graphs
In [Abueida, A. and Roblee, K., More harmonious labelings of families of disjoint unions of an odd cycle and certain trees, J. Combin. Math. Combin. Comput., 115 (2020), 61-68] it is shown that the disjoint union of an odd cycle and certain paths is harmonious, and that certain starlike trees are harmonious using properties of cosets for a particular subgroup of the integers modulo m, where m is the number of edges of the graph. We expand upon these results by first exploring the numerical properties when adding values from cosets and subcosets in the integers modulo m. …
On The Total Set Chromatic Number Of Graphs, Mark Anthony C. Tolentino, Gerone Russel J. Eugenio, Mari-Jo P. Ruiz
On The Total Set Chromatic Number Of Graphs, Mark Anthony C. Tolentino, Gerone Russel J. Eugenio, Mari-Jo P. Ruiz
Theory & Applications of Graphs
Given a vertex coloring c of a graph, the neighborhood color set of a vertex is defined to be the set of all of its neighbors’ colors. The coloring c is called a set coloring if any two adjacent vertices have different neighborhood color sets. The set chromatic number χs(G) of a graph G is the minimum number of colors required in a set coloring of G. In this work, we investigate a total analog of set colorings; that is, we study set colorings of the total graph of graphs. Given a graph G = (V, E) …
Geodesic Bipancyclicity Of The Cartesian Product Of Graphs, Amruta V. Shinde, Y.M. Borse
Geodesic Bipancyclicity Of The Cartesian Product Of Graphs, Amruta V. Shinde, Y.M. Borse
Theory & Applications of Graphs
A cycle containing a shortest path between two vertices u and v in a graph G is called a (u,v)-geodesic cycle. A connected graph G is geodesic 2-bipancyclic, if every pair of vertices u,v of it is contained in a (u,v)-geodesic cycle of length l for each even integer l satisfying 2d + 2 ≤ l ≤ |V(G)|, where d is the distance between u and v. In this paper, we prove that the Cartesian product of two geodesic hamiltonian graphs is a geodesic 2-bipancyclic graph. As a consequence, we show that for n …
Total Colouring Of New Classes Of Subcubic Graphs, Sethuraman G, Velankanni Anthonymuthu
Total Colouring Of New Classes Of Subcubic Graphs, Sethuraman G, Velankanni Anthonymuthu
Theory & Applications of Graphs
The total chromatic number of a graph G, denoted χ”(G), is the least number of colours needed to colour the vertices and the edges of G such that no incident or adjacent elements (vertices or edges) receive the same colour. The popular Total Colouring Conjecture (TCC) posed by Behzad states that, for every simple graph G, χ”(G) ≤ Δ(G)+2. In this paper, we prove that the total chromatic number for a family of subcubic graphs called cube connected paths and also for a class of subcubic graphs having the property that the vertices are covered by independent …
Probing The Extragalactic Mid-Infrared Background With Hawc, A. Albert, R. Alfaro, C. Alvarez, J. C. Arteaga-Velázquez, D. Avila Rojas, H. A.Ayala Solares, R. Babu, Et. Al.
Probing The Extragalactic Mid-Infrared Background With Hawc, A. Albert, R. Alfaro, C. Alvarez, J. C. Arteaga-Velázquez, D. Avila Rojas, H. A.Ayala Solares, R. Babu, Et. Al.
Michigan Tech Publications, Part 1
The extragalactic background light (EBL) contains all the radiation emitted by nuclear and accretion processes in stars and compact objects since the epoch of recombination. Measuring the EBL density directly is challenging, especially in the near-to-far-infrared wave band, mainly due to the zodiacal light foreground. Instead, gamma-ray astronomy offers the possibility to indirectly set limits on the EBL by studying the effects of gamma-ray absorption in the very high energy (VHE: >100 GeV) spectra of distant blazars. The High Altitude Water Cherenkov Gamma Ray Observatory (HAWC) is one of the few instruments sensitive to gamma rays with energies above 10 …