中文
相关论文

相关论文: Synthesizing Chemical Plant Operation Procedures u…

200 篇论文

Accurately classifying chemical structures is essential for cheminformatics and bioinformatics, including tasks such as identifying bioactive compounds of interest, screening molecules for toxicity to humans, finding non-organic compounds…

Chemical AI is chemically synthesized artificial intelligence that has the ability of learning in addition to information processing. A research project on chemical AI, called the Molecular Cybernetics Project, was launched in Japan in 2021…

人工智能 · 计算机科学 2023-12-27 Shun-ichi Azuma , Dai Takakura , Ryo Ariizumi , Toru Asai

Production plants today are becoming more and more complicated through more automation and networking. It is becoming more difficult for humans to participate, due to higher speed and decreasing reaction time of these plants. Tendencies to…

多智能体系统 · 计算机科学 2020-04-02 Bastian Deutschmann , Javad Ghofrani , Dirk Reichelt

Bio-hybrid systems---close couplings of natural organisms with technology---are high potential and still underexplored. In existing work, robots have mostly influenced group behaviors of animals. We explore the possibilities of mixing…

We introduce the notion of online reactive planning with sensing actions for systems with temporal logic constraints in partially observable and dynamic environments. With incomplete information on the dynamic environment, reactive…

系统与控制 · 计算机科学 2014-10-02 Jie Fu , Ufuk Topcu

Machine-learning techniques are emerging as a valuable tool in experimental physics, and among them, reinforcement learning offers the potential to control high-dimensional, multistage processes in the presence of fluctuating environments.…

Rapid electrification and decarbonization are increasing the complexity of distribution grid (DG) operation and planning, necessitating advanced computational analyses to ensure reliability and resilience. These analyses depend on disparate…

人工智能 · 计算机科学 2025-10-22 Emmanuel O. Badmus , Peng Sang , Dimitrios Stamoulis , Amritanshu Pandey

We examine the problem of weaknesses in frameworks of conceptual modeling for handling certain aspects of the system being modeled. We propose the use of a flow-based modeling methodology at the conceptual level. Specifically, and without…

计算机与社会 · 计算机科学 2017-09-13 Sabah Al-Fedaghi , Abdulaziz AlQallaf

The sustainable production of many bulk chemicals relies on heterogeneous catalysis. The rational design or improvement of the required catalysts critically depends on insights into the underlying mechanisms at the atomic scale. In recent…

化学物理 · 物理学 2024-11-04 Amir Omranpour , Jan Elsner , K. Nikolas Lausch , Jörg Behler

Synthetic control is a causal inference tool used to estimate the treatment effects of an intervention by creating synthetic counterfactual data. This approach combines measurements from other similar observations (i.e., donor pool ) to…

机器学习 · 计算机科学 2023-03-27 Saeyoung Rho , Rachel Cummings , Vishal Misra

The success of smart environments largely depends on their smartness of understanding the environments' ongoing situations. Accordingly, this task is an essence to smart environment central processors. Obtaining knowledge from the…

人机交互 · 计算机科学 2019-06-25 Hossein Rajaby Faghihi , Mohammad Amin Fazli , Jafar Habibi

Formal methods apply algorithms based on mathematical principles to enhance the reliability of systems. It would only be natural to try to progress from verification, model checking or testing a system against its formal specification into…

软件工程 · 计算机科学 2014-02-28 Gal Katz , Doron Peled

Using a deep generative machine learning approach, we synthesise human activity participations and scheduling; i.e. the choices of what activities to participate in and when. Activity schedules are a core component of many applied…

机器学习 · 计算机科学 2025-10-03 Fred Shone , Tim Hillel

Teaching systems physical tasks is a long standing goal in HCI, yet most prior work has focused on non collaborative physical activities. Collaborative tasks introduce added complexity, requiring systems to infer users assumptions about…

We present a tractable method for synthesizing arbitrarily large concurrent programs, for a shared memory model with common hardware-available primitives such as atomic registers, compare-and-swap, load-linked/store conditional, etc. The…

计算机科学中的逻辑 · 计算机科学 2008-01-14 Paul C. Attie

Nowadays, the continuous improvement and automation of industrial processes has become a key factor in many fields, and in the chemical industry, it is no exception. This translates into a more efficient use of resources, reduced production…

Selecting efficient multi-step synthetic routes is a central challenge in organic synthesis, particularly in medicinal and process chemistry, where route choice directly impacts feasibility, cost, and development efficiency. Data-driven…

Chemical laboratory automation has long been constrained by rigid workflows and poor adaptability to the long-tail distribution of experimental tasks. While most automated platforms perform well on a narrow set of standardized procedures,…

机器人学 · 计算机科学 2026-03-26 Xiangyi Wei , Fei Wang , Haotian Zhang , Xin An , Haitian Zhu , Lianrui Hu , Yang Li , Changbo Wang , Xiao He

Machine learning has been successful in building control policies to drive a complex system to desired states in various applications (e.g. games, robotics, etc.). To be specific, a number of parameters of policy can be automatically…

人工智能 · 计算机科学 2025-03-28 Yongshuai Liu , Taeyeong Choi , Xin Liu

Process simulation is a critical cornerstone of chemical engineering design. Current automated chemical design methodologies focus mainly on various representations of process flow diagrams. However, transforming these diagrams into…

人工智能 · 计算机科学 2026-01-13 Xufei Tian , Wenli Du , Shaoyi Yang , Han Hu , Hui Xin , Shifeng Qu , Ke Ye