English
Related papers

Related papers: Synthesizing Chemical Plant Operation Procedures u…

200 papers

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…

Artificial Intelligence · Computer Science 2025-10-30 Christopher J. Mungall , Adnan Malik , Daniel R. Korn , Justin T. Reese , Noel M. O'Boyle , Noel , Janna Hastings

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…

Artificial Intelligence · Computer Science 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…

Multiagent Systems · Computer Science 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…

Neural and Evolutionary Computing · Computer Science 2018-04-20 Mostafa Wahby , Mary Katherine Heinrich , Daniel Nicolas Hofstadler , Payam Zahadat , Sebastian Risi , Phil Ayres , Thomas Schmickl , Heiko Hamann

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…

Systems and Control · Computer Science 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…

Artificial Intelligence · Computer Science 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…

Computers and Society · Computer Science 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…

Chemical Physics · Physics 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…

Machine Learning · Computer Science 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…

Human-Computer Interaction · Computer Science 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…

Software Engineering · Computer Science 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…

Machine Learning · Computer Science 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…

Artificial Intelligence · Computer Science 2026-04-13 Edward Kim , Daniel He , Jorge Chao , Wiktor Rajca , Mohammed Amin , Nishant Malpani , Ruta Desai , Antti Oulasvirta , Bjoern Hartmann , Sanjit Seshia

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…

Logic in Computer Science · Computer Science 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…

Machine Learning · Computer Science 2020-09-28 Enrique Garcia-Ceja , Åsmund Hugo , Brice Morin , Per-Olav Hansen , Espen Martinsen , An Ngoc Lam , Øystein Haugen

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

Robotics · Computer Science 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…

Artificial Intelligence · Computer Science 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…

Artificial Intelligence · Computer Science 2026-01-13 Xufei Tian , Wenli Du , Shaoyi Yang , Han Hu , Hui Xin , Shifeng Qu , Ke Ye
‹ Prev 1 4 5 6 7 8 10 Next ›