The estimation of pain intensity is critical for medical diagnosis and treatment of patients.With the development of image monitoring technology and artificial intelligence,automatic pain assessment based on facial ex...The estimation of pain intensity is critical for medical diagnosis and treatment of patients.With the development of image monitoring technology and artificial intelligence,automatic pain assessment based on facial expression and behavioral analysis shows a potential value in clinical applications.This paper reports a framework of convolutional neural network with global and local attention mechanism(GLA-CNN)for the effective detection of pain intensity at four-level thresholds using facial expression images.GLA-CNN includes two modules,namely global attention network(GANet)and local attention network(LANet).LANet is responsible for extracting representative local patch features of faces,while GANet extracts whole facial features to compensate for the ignored correlative features between patches.In the end,the global correlational and local subtle features are fused for the final estimation of pain intensity.Experiments under the UNBC-McMaster Shoulder Pain database demonstrate that GLA-CNN outperforms other state-of-the-art methods.Additionally,a visualization analysis is conducted to present the feature map of GLA-CNN,intuitively showing that it can extract not only local pain features but also global correlative facial ones.Our study demonstrates that pain assessment based on facial expression is a non-invasive and feasible method,and can be employed as an auxiliary pain assessment tool in clinical practice.展开更多
Two-dimensional(2D)crystals are attracting growing interest in various research fields such as engineering,physics,chemistry,pharmacy,and biology owing to their low dimensionality and dramatic change of properties com...Two-dimensional(2D)crystals are attracting growing interest in various research fields such as engineering,physics,chemistry,pharmacy,and biology owing to their low dimensionality and dramatic change of properties compared to the bulk counter parts.Among the various techniques used to manufacture 2D crystals,mechanical exfoliation has been essential to practical applications and fundamental research.However,mechanically exfoliated crystals on substrates contain relatively thick flakes that must be found and removed manually,limiting high-throughput manufacturing of atomic 2D crystals and van der Waals heterostructures.Here,we present a deep-learning-based method to segment and identify the thickness of atomic layer flakes from optical microscopy images.Through carefully designing a neural network based on U-Net,we found that our neural network based on Unet trained only with the data based on realistically small number of images successfully distinguish monolayer and bilayer MoS2 and graphene with a success rate of 70–80%,which is a practical value in the first screening process for choosing monolayer and bilayer flakes of all flakes on substrates without human eye.The remarkable results highlight the possibility that a large fraction of manual laboratory work can be replaced by AI-based systems,boosting productivity.展开更多
This year(2023) is the 90th birthday of the great Chinese mathematician Jing-run Chen. It is definitely significant to recall his important contribution to mathematics. Chen's work covers various parts of analytic...This year(2023) is the 90th birthday of the great Chinese mathematician Jing-run Chen. It is definitely significant to recall his important contribution to mathematics. Chen's work covers various parts of analytic number theory. Here we only present two major contributions from him.展开更多
Pursuing a generalization of group symmetries of modular categories to category symmetries in topological phases of matter, we study linear Hopf monads. The main goal is a generalization of extension and gauging group...Pursuing a generalization of group symmetries of modular categories to category symmetries in topological phases of matter, we study linear Hopf monads. The main goal is a generalization of extension and gauging group symmetries to category symmetries of modular categories, which include also categorical Hopf algebras as special cases. As an application, we propose an analogue of the classification of finite simple groups to modular categories, where we define simple modular categories as the prime ones without any nontrivial normal algebras.展开更多
Consistent differences in behavior between individuals, otherwise known as animal personalities, have become a staple in behavioral ecology due to their ability to explain a wide range of phenomena. Social organisms a...Consistent differences in behavior between individuals, otherwise known as animal personalities, have become a staple in behavioral ecology due to their ability to explain a wide range of phenomena. Social organisms are especially serviceable to animal personality techniques because they can be used to explore behavioral variation at both the individual and group level. Despite the suc- cess of personality research in social organisms generally, and social Hymenoptera in particular, social wasps (Vespidae) have received little to no attention in the personality literature. In the pre- sent study, we test Polistes metricus (Vespidae; Polistinae) paper wasp queens for the presence of repeatable variation in, and correlations ("behavioral syndromes") between, several commonly used personality metrics: boldness, aggressiveness, exploration, and activity. Our results indicate that P. metricus queens exhibit personalities for all measured traits and correlations between differ- ent behavioral measures. Given that paper wasps have served as a model organism for a wide range of phenomena such as kin selection, dominance hierarchies, mate choice, facial recognition, social parasitism, and chemical recognition, we hope that our results will motivate researchers to explore whether, or to what degree, queen personality is important in their research programs.展开更多
Limited main memory bandwidth is becoming a fundamental performance bottleneck in chipmultiprocessor (CMP) design. Yet directly increasing the peak memory bandwidth can incur high cost and power consumption. In this...Limited main memory bandwidth is becoming a fundamental performance bottleneck in chipmultiprocessor (CMP) design. Yet directly increasing the peak memory bandwidth can incur high cost and power consumption. In this paper, we address this problem by proposing a memory, a bandwidth-aware reconfigurable cache hierarchy, BACH, with hybrid memory technologies. Components of our BACH design include a hybrid cache hierarchy, a reconfiguration mechanism, and a statistical prediction engine. Our hybrid cache hierarchy chooses different memory technologies with various bandwidth characteristics, such as spin-transfer torque memory (STT-MRAM), resistive memory (ReRAM), and embedded DRAM (eDRAM), to configure each level so that the peak bandwidth of the overall cache hierarchy is optimized. Our reconfiguration mechanism can dynamically adjust the cache capacity of each level based on the predicted bandwidth demands of running workloads. The bandwidth prediction is performed by our prediction engine. We evaluate the system performance gain obtained by BACH design with a set of multithreaded and multiprogrammed workloads with and without the limitation of system power budget. Compared with traditional SRAM-based cache design, BACH improves the system throughput by 58% and 14% with multithreaded and multiprogrammed workloads respectively.展开更多
Developing efficient walking gaits for quadruped robots has intrigued investigators for years. Trot gait, as a fast locomotion gait, has been widely used in robot control. This paper follows the idea of the six determ...Developing efficient walking gaits for quadruped robots has intrigued investigators for years. Trot gait, as a fast locomotion gait, has been widely used in robot control. This paper follows the idea of the six determinants of gait and designs a trot gait for a parallel-leg quadruped robot, Baby Elephant. The walking period and step length are set as constants to maintain a relatively fast speed while changing different foot trajectories to test walking quality. Experiments show that kicking leg back improves body stability. Then, a steady and smooth trot gait is designed. Furthermore, inspired by Central Pattern Generators (CPG), a series CPG model is proposed to achieve robust and dynamic trot gait. It is generally believed that CPG is capable of producing rhythmic movements, such as swimming, walking, and flying, even when isolated from brain and sensory inputs. The proposed CPG model, inspired by the series concept, can automatically learn the previous well-designed trot gait and reproduce it, and has the ability to change its walking frequency online as well. Experiments are done in real world to verify this method.展开更多
GeoLink has leveraged linked data principles to create a dataset that allows users to seamlessly query and reason over some of the most prominent geoscience metadata repositories in the United States.The GeoLink datas...GeoLink has leveraged linked data principles to create a dataset that allows users to seamlessly query and reason over some of the most prominent geoscience metadata repositories in the United States.The GeoLink dataset includes such diverse information as port calls made by oceanographic cruises,physical sample meta-data,research project funding and staffing,and authorship of technical reports.The data has been published according to best practices for linked data and is publicly available via a SPARQL Protocol and RDF Query Language(SPARQL)end point that at present contains more than 45 million Resource Description Framework(RDF)triples together with a collection of ontologies and geo-visualization tools.This article describes the geoscience datasets,the modeling and publication process,and current uses of the dataset.The focus is on providing enough detail to enable researchers,application developers and others who wish to lever-age the GeoLink data in their own work to do so.展开更多
We prove a result on the distribution of the general divisor functions in arithmetic progressions to smooth moduli which exceed the square root of the length.
In this diverse and rich collection of essays, the authors challenge a common but misleading conception about Confucianism in China, that is, that Confucianism was inward-looking, ethnocentric, and static. The essays ...In this diverse and rich collection of essays, the authors challenge a common but misleading conception about Confucianism in China, that is, that Confucianism was inward-looking, ethnocentric, and static. The essays are inspired by Joseph R. Levenson's observation that,"When Confucianism was vital, it was cosmopolitan……展开更多
基金supported by the National Natural Science Foundation of China under Grant No.62276051the Natural Science Foundation of Sichuan Province under Grant No.2023NSFSC0640Medical Industry Information Integration Collaborative Innovation Project of Yangtze Delta Region Institute under Grant No.U0723002。
文摘The estimation of pain intensity is critical for medical diagnosis and treatment of patients.With the development of image monitoring technology and artificial intelligence,automatic pain assessment based on facial expression and behavioral analysis shows a potential value in clinical applications.This paper reports a framework of convolutional neural network with global and local attention mechanism(GLA-CNN)for the effective detection of pain intensity at four-level thresholds using facial expression images.GLA-CNN includes two modules,namely global attention network(GANet)and local attention network(LANet).LANet is responsible for extracting representative local patch features of faces,while GANet extracts whole facial features to compensate for the ignored correlative features between patches.In the end,the global correlational and local subtle features are fused for the final estimation of pain intensity.Experiments under the UNBC-McMaster Shoulder Pain database demonstrate that GLA-CNN outperforms other state-of-the-art methods.Additionally,a visualization analysis is conducted to present the feature map of GLA-CNN,intuitively showing that it can extract not only local pain features but also global correlative facial ones.Our study demonstrates that pain assessment based on facial expression is a non-invasive and feasible method,and can be employed as an auxiliary pain assessment tool in clinical practice.
基金This work was supported by the“Materials research by Information Integration”Initiative(MI2I)project and Core Research for Evolutional Science and Technology(CREST)(JSPS KAKENHI Grant Numbers JPMJCR1502 and JPMJCR17J2)from Japan Science and Technology Agency(JST)It was also supported by Grant-in-Aid for Scientific Research on Innovative Areas“Nano Informatics”(JSPS KAKENHI Grant Number JP25106005)+1 种基金Grant-in-Aid for Specially Promoted Research(JSPS KAKENHI Grant Number JP25000003)from JSPS.M.O.and Y.M.I.were supported by Advanced Leading Graduate Course for Photon Science(ALPS).Y.S.was supported by Elings Prize Fellowship.Y.N.was supported by Materials Education program for the future leaders in Research,Industry,and Technology(MERIT).M.O.and Y.N.were supported by the Japan Society for the Promotion of Science(JSPS)through a research fellowship for young scientists(Grant-in-Aid for JSPS Research Fellow,JSPS KAKENHI Grant Numbers JP17J09152 and JP17J08941,respectively)M.Y.was supported by JST PRESTO(Precursory Research for Embryonic Science and Technology)program JPMJPR165A.
文摘Two-dimensional(2D)crystals are attracting growing interest in various research fields such as engineering,physics,chemistry,pharmacy,and biology owing to their low dimensionality and dramatic change of properties compared to the bulk counter parts.Among the various techniques used to manufacture 2D crystals,mechanical exfoliation has been essential to practical applications and fundamental research.However,mechanically exfoliated crystals on substrates contain relatively thick flakes that must be found and removed manually,limiting high-throughput manufacturing of atomic 2D crystals and van der Waals heterostructures.Here,we present a deep-learning-based method to segment and identify the thickness of atomic layer flakes from optical microscopy images.Through carefully designing a neural network based on U-Net,we found that our neural network based on Unet trained only with the data based on realistically small number of images successfully distinguish monolayer and bilayer MoS2 and graphene with a success rate of 70–80%,which is a practical value in the first screening process for choosing monolayer and bilayer flakes of all flakes on substrates without human eye.The remarkable results highlight the possibility that a large fraction of manual laboratory work can be replaced by AI-based systems,boosting productivity.
文摘This year(2023) is the 90th birthday of the great Chinese mathematician Jing-run Chen. It is definitely significant to recall his important contribution to mathematics. Chen's work covers various parts of analytic number theory. Here we only present two major contributions from him.
基金supported by the Simons Foundationsupported by National Science Foundation of USA (Grants Nos. DMS-1411212 and FRG-1664351)
文摘Pursuing a generalization of group symmetries of modular categories to category symmetries in topological phases of matter, we study linear Hopf monads. The main goal is a generalization of extension and gauging group symmetries to category symmetries of modular categories, which include also categorical Hopf algebras as special cases. As an application, we propose an analogue of the classification of finite simple groups to modular categories, where we define simple modular categories as the prime ones without any nontrivial normal algebras.
基金This work was supported by an National Science Foundation Animal Behavior grant to J.N.P.(IOS 1352705 and 1455895), as well as G. Murray McKinley Research Fund and the Arthur and Barbara Pape Endowment Award research grants provided through the University of Pittsburgh's Pymatuning Laboratory of Ecology.
文摘Consistent differences in behavior between individuals, otherwise known as animal personalities, have become a staple in behavioral ecology due to their ability to explain a wide range of phenomena. Social organisms are especially serviceable to animal personality techniques because they can be used to explore behavioral variation at both the individual and group level. Despite the suc- cess of personality research in social organisms generally, and social Hymenoptera in particular, social wasps (Vespidae) have received little to no attention in the personality literature. In the pre- sent study, we test Polistes metricus (Vespidae; Polistinae) paper wasp queens for the presence of repeatable variation in, and correlations ("behavioral syndromes") between, several commonly used personality metrics: boldness, aggressiveness, exploration, and activity. Our results indicate that P. metricus queens exhibit personalities for all measured traits and correlations between differ- ent behavioral measures. Given that paper wasps have served as a model organism for a wide range of phenomena such as kin selection, dominance hierarchies, mate choice, facial recognition, social parasitism, and chemical recognition, we hope that our results will motivate researchers to explore whether, or to what degree, queen personality is important in their research programs.
文摘Limited main memory bandwidth is becoming a fundamental performance bottleneck in chipmultiprocessor (CMP) design. Yet directly increasing the peak memory bandwidth can incur high cost and power consumption. In this paper, we address this problem by proposing a memory, a bandwidth-aware reconfigurable cache hierarchy, BACH, with hybrid memory technologies. Components of our BACH design include a hybrid cache hierarchy, a reconfiguration mechanism, and a statistical prediction engine. Our hybrid cache hierarchy chooses different memory technologies with various bandwidth characteristics, such as spin-transfer torque memory (STT-MRAM), resistive memory (ReRAM), and embedded DRAM (eDRAM), to configure each level so that the peak bandwidth of the overall cache hierarchy is optimized. Our reconfiguration mechanism can dynamically adjust the cache capacity of each level based on the predicted bandwidth demands of running workloads. The bandwidth prediction is performed by our prediction engine. We evaluate the system performance gain obtained by BACH design with a set of multithreaded and multiprogrammed workloads with and without the limitation of system power budget. Compared with traditional SRAM-based cache design, BACH improves the system throughput by 58% and 14% with multithreaded and multiprogrammed workloads respectively.
基金This research was supported by the National Basic Research Program of China,China Postdoctoral Science Foundation
文摘Developing efficient walking gaits for quadruped robots has intrigued investigators for years. Trot gait, as a fast locomotion gait, has been widely used in robot control. This paper follows the idea of the six determinants of gait and designs a trot gait for a parallel-leg quadruped robot, Baby Elephant. The walking period and step length are set as constants to maintain a relatively fast speed while changing different foot trajectories to test walking quality. Experiments show that kicking leg back improves body stability. Then, a steady and smooth trot gait is designed. Furthermore, inspired by Central Pattern Generators (CPG), a series CPG model is proposed to achieve robust and dynamic trot gait. It is generally believed that CPG is capable of producing rhythmic movements, such as swimming, walking, and flying, even when isolated from brain and sensory inputs. The proposed CPG model, inspired by the series concept, can automatically learn the previous well-designed trot gait and reproduce it, and has the ability to change its walking frequency online as well. Experiments are done in real world to verify this method.
基金This work was supported by the National Science Foundation[1440202].
文摘GeoLink has leveraged linked data principles to create a dataset that allows users to seamlessly query and reason over some of the most prominent geoscience metadata repositories in the United States.The GeoLink dataset includes such diverse information as port calls made by oceanographic cruises,physical sample meta-data,research project funding and staffing,and authorship of technical reports.The data has been published according to best practices for linked data and is publicly available via a SPARQL Protocol and RDF Query Language(SPARQL)end point that at present contains more than 45 million Resource Description Framework(RDF)triples together with a collection of ontologies and geo-visualization tools.This article describes the geoscience datasets,the modeling and publication process,and current uses of the dataset.The focus is on providing enough detail to enable researchers,application developers and others who wish to lever-age the GeoLink data in their own work to do so.
文摘We prove a result on the distribution of the general divisor functions in arithmetic progressions to smooth moduli which exceed the square root of the length.
文摘In this diverse and rich collection of essays, the authors challenge a common but misleading conception about Confucianism in China, that is, that Confucianism was inward-looking, ethnocentric, and static. The essays are inspired by Joseph R. Levenson's observation that,"When Confucianism was vital, it was cosmopolitan……