Objective:To investigate gender difference in the effects of daytime sleep on item and source memories,which are dissociable elements of declarative memory,and the effects of sleep on recollection and familiarity,whic...Objective:To investigate gender difference in the effects of daytime sleep on item and source memories,which are dissociable elements of declarative memory,and the effects of sleep on recollection and familiarity,which are two processes underlying recognition. Methods:Participants saw a series of pictures with either blue or red background,and were then given a pretest for item and source memories. Then males and females respectively were randomly assigned either to a wake or a sleep condition. In the wake condition,participants remained awake until the posttest;in the sleep condition,participants slept for 1 h until awakened and asked to remain awake until the posttest. Results:Daytime sleep contributed to retention of source memory rather than item memory in females,whereas males undergoing daytime sleep had a trend towards increased familiarity. For females,however,neither recollection nor familiarity appeared to be influenced by daytime sleep. Conclusion:The mechanism underlying gender difference may be linked with different memory traces resulting from different encoding strategies,as well as with different electrophysiological changes during daytime sleep.展开更多
This paper presents adaptive hybrid protocols based on the declarative network and mainly discusses the principle and realization of the Bayesian-estimation based adaptive hybrid protocol in the declarative network, w...This paper presents adaptive hybrid protocols based on the declarative network and mainly discusses the principle and realization of the Bayesian-estimation based adaptive hybrid protocol in the declarative network, which is well adapted to the Mobile Ad hoc NETwork (MANET). The adaptive hybrid protocol is designed for ad hoc networks which have characteristics like self-organizing, no trusted party, flexibility, etc. The nodes that run the hybrid protocol can automatically select one routing protocol that is suitable for different network environment. The Bayesian-estimation based adaptive strategy, that improves the adaptability and stability of the protocol, succeeds in the Rapidnet, a declarative network engine. The result in the Rapidnet proves that the hybrid protocol and the adaptive strategy are feasible. The experiment on the ns-3 simulator, an emerging discrete-event network simulator, validates that this protocol performs well and reduces communication overheads.展开更多
Statistics of this Paper derive from a business correspondence translation,Sing Sing Lounge,participated by English ma jors of one higher-educational institution.Facilitated with means of quantitative approach,this Pa...Statistics of this Paper derive from a business correspondence translation,Sing Sing Lounge,participated by English ma jors of one higher-educational institution.Facilitated with means of quantitative approach,this Paper,introducing an applicable procedure to analyze translation by students from one Class,is devoted to discover subjects used in declarative sentences of their translations.展开更多
Declarative Programming Languages (DPLs) apply a process model of Horn claun es such as PARLOG[8] or a reduction model of A-calculus such as SML[7] and are) in principle, well suited to multiprocessor implemelltation....Declarative Programming Languages (DPLs) apply a process model of Horn claun es such as PARLOG[8] or a reduction model of A-calculus such as SML[7] and are) in principle, well suited to multiprocessor implemelltation. However, the performance of a parallel declarative program can be impaired by a mismatch between the parallelism available in an application and the parallelism available in the architecture. A particularly attractive solution is to automatically match the parallelism of the program to the parallelism of the target hardware as a compilation step. In this paper) we present an optimizillg compilation technique called granularity analysis which identi fies and removes excess parallelism that would degrade performance. The main steps are: an analysis of the flow of data to form an attributed call graph between function (or predicate) arguments; and an asymptotic estimation of granularity of a function (or predicate) to generate approximate grain size. Compiled procedure calls can be annotated with grain size and a task scheduler can make scheduling decisions with the classilication scheme of grains to control parallelism at runtime. The resulting granularity analysis scheme is suitable for exploiting adaptive parallelism of declarative programming languages on multiprocessors.展开更多
We give two generalizations of Tarski’s fixpoint theorem in the setting of residuated lattices and use them to establish van Emdem-Kowalski’s least fixpoint semantics for residuated lattice-valued logic programs.
Object-oriented modeling with declarative equation based languages often unconsciously leads to structural inconsistencies. Component-based debugging is a new structural analysis approach that addresses this problem b...Object-oriented modeling with declarative equation based languages often unconsciously leads to structural inconsistencies. Component-based debugging is a new structural analysis approach that addresses this problem by analyzing the structure of each component in a model to separately locate faulty components. The analysis procedure is performed recursively based on the depth-first rule. It first generates fictitious equations for a component to establish a debugging environment, and then detects structural defects by using graph theoretical approaches to analyzing the structure of the system of equations resulting from the component. The proposed method can automatically locate components that cause the structural inconsistencies, and show the user detailed error messages. This information can be a great help in finding and localizing structural inconsistencies, and in some cases pinpoints them immediately.展开更多
This paper presents a declarative semantics of compositional inheritancein an object-oriented logic programming' framework wit h explicit exceptions,based on the iterated least Aspoint semantics to normal logic pr...This paper presents a declarative semantics of compositional inheritancein an object-oriented logic programming' framework wit h explicit exceptions,based on the iterated least Aspoint semantics to normal logic programs. Tak-ing logic objects with exceptions as a ldnd of nonmonotonic theory, the nonmonotonicity of inheritance is achieved, which is of importance for modelingincomplete knowledge and requirement specffications in both artificial intelli-gence and softwa-re engineering.展开更多
In this paper,we focus on the compiling implementation of parallel logic language PARLOG and functional language ML on distributed memory multiprocessors.Under the graph rewriting framework, a Heterogeneous Parallel G...In this paper,we focus on the compiling implementation of parallel logic language PARLOG and functional language ML on distributed memory multiprocessors.Under the graph rewriting framework, a Heterogeneous Parallel Graph Rewriting Execution Model(HPGREM)is presented firstly.Then based on HPGREM,a parallel abstract machine PAM/TGR is described.Furthermore,several optimizing compilation schemes for executing declarative programs on transputer array are proposed. The performance statistics on a transputer array demonstrate the effectiveness of our model,parallel ab- stract machine,optimizing compilation strategies and compiler.展开更多
A brief review of the importance of simulation-based engineering and science(including social sciences)is followed by a historic perspective of model-based simulation.Section 2 is on declarative modeling of component ...A brief review of the importance of simulation-based engineering and science(including social sciences)is followed by a historic perspective of model-based simulation.Section 2 is on declarative modeling of component systems as well as its advantages for self-documentation and for computer-aided checks and coupling.As an example for declarative modeling,General System Theory(GEST)implementor is given.In Sec.3,basic concepts for coupling of component models,and rules for computer-assisted coupling specification are explained.Section 4 is devoted to possible computerized checks in couplings of declarative models such as:(1)automatic unit checking to avoid meaning-less input/output matching at the time of coupling specification,(2)automatic threshold checking to provide warnings and/or to avoid disasters,and(3)automatic unit conversion for convenience of using library models.Section 5 is about several layers of nested couplings for modeling systems of systems.In Sec.6,two types of variable couplings are discussed:(1)couplings with variable connections(to allow input/output relations of models to depend on time or state conditions)and(2)coupling with variable component models(to allow component(or coupled)models to be switched based on time or state conditions).Section 7 is on the use of multimodels as component models in couplings.Section 8 is on types of inputs and their use in couplings as well as on exter-nal inputs to simulation studies.In Sec.9,conclusions and future work for complex systems are outlined.Especially,the values of simulation systems engineering as well as understanding and avoidance of misunderstanding in cognitive and emotive simulations are stressed.Appendix A is a list of almost 50 types of couplings and Appendix B lists over 50 terms related with couplings in modeling and simulation.To show the richness of“input”concept which is important in specification of input/output relations of component models,Appendix C lists almost 150 types of inputs.Information shared in this article may be useful in developing advanced modeling and simulation software,tools and environments.展开更多
As we enter the year 2026,the international system continues to receive shocks from Donald Trump,arguably the 21st century’s most disruptive US leader.His return to the White House in 2025 coincided with the 80th ann...As we enter the year 2026,the international system continues to receive shocks from Donald Trump,arguably the 21st century’s most disruptive US leader.His return to the White House in 2025 coincided with the 80th anniversary of the defeat of fascism and the establishment of the United Nations,the multilateral platform that carried the world’s hope for peace,restraint and collective security.The coincidence was unsettling.A world order designed to limit power now confronts a moment in which power is exercised openly,transactionally and unapologetically.展开更多
On July 2^(nd),2025,32 scientists representing 15 countries gathered at Tartu,Estonia to make on-site endorsements for the Global ONCE(Ocean Negative Carbon Emissions)Program at the 12th INTECOL Wetlands Conference.Th...On July 2^(nd),2025,32 scientists representing 15 countries gathered at Tartu,Estonia to make on-site endorsements for the Global ONCE(Ocean Negative Carbon Emissions)Program at the 12th INTECOL Wetlands Conference.This marks a significant milestone for ONCE in establishing a systematic framework for coastal wetland carbon sequestration research and global collaboration(Figs.1,2).Coastal wetlands are critical transition zones linking terrestrial and marine ecosystems,yet they face severe degradation from anthropogenic land-based activities and sea level rise that propagate impacts to the ocean.As a UN Ocean Decade Program,the Global ONCE Program champions interdisciplinary and cross-regional collaboration to enhance carbon sequestration in the ocean and coastal wetlands through science and innovation.Aligned with the Tartu Declaration on Wetlands that includes resolutions to promote the rights of global wetlands(especially peatlands)and advance the discipline of wetland science based on facts,this initiative addresses key knowledge gaps in land-ocean interactions.The goal is to harness the full potential of coastal wetlands and ocean systems for climate mitigation,thereby laying a scientific foundation for international policy formulation and implementation.展开更多
Declaration of Competing Interest statements is updated in the published version of the following articles that appeared in issues of Resources Chemicals and Materials.The appropriate updated Declaration of Competing ...Declaration of Competing Interest statements is updated in the published version of the following articles that appeared in issues of Resources Chemicals and Materials.The appropriate updated Declaration of Competing Interest state-ments,provided by the Authors,are included below.展开更多
The Declaration of Competing Interest statements were not included in the published version of the following articles that appeared in previous issues of Water Science and Engineering.The appropriate Declaration Compe...The Declaration of Competing Interest statements were not included in the published version of the following articles that appeared in previous issues of Water Science and Engineering.The appropriate Declaration Competing Interest statements,provided by authors,are included below.展开更多
The Declaration of Competing Interest statements were not included in the published version of the following articles that appeared in previous issues of Water Science and Engineering.The appropriate Declaration Compe...The Declaration of Competing Interest statements were not included in the published version of the following articles that appeared in previous issues of Water Science and Engineering.The appropriate Declaration Competing Interest statements,provided by authors,are included below.展开更多
The Declaration of Competing Interest statements were not included in the published version of the following articles that appeared in previous issues of Water Science and Engineering.The appropriate Declaration Compe...The Declaration of Competing Interest statements were not included in the published version of the following articles that appeared in previous issues of Water Science and Engineering.The appropriate Declaration Competing Interest statements,provided by authors,are included below.展开更多
The Declaration of Competing Interest statements were not included in the published version of the following articles that appeared in previous issues of Water Science and Engineering.The appropriate Declaration of Co...The Declaration of Competing Interest statements were not included in the published version of the following articles that appeared in previous issues of Water Science and Engineering.The appropriate Declaration of Competing Interest statements,provided by authors,are included below.展开更多
The Declaration of Competing Interest statements were not included in the published version of the following articles that appeared in previous issues of Water Science and Engineering.The appropriate Declaration of Co...The Declaration of Competing Interest statements were not included in the published version of the following articles that appeared in previous issues of Water Science and Engineering.The appropriate Declaration of Competing Interest statements,provided by authors,are included below.展开更多
Declaration of Competing Interest statements were not included in the published version of the following articles that appeared in previous issues of Journal of Automation and Intelligence.The appropriate Declaration ...Declaration of Competing Interest statements were not included in the published version of the following articles that appeared in previous issues of Journal of Automation and Intelligence.The appropriate Declaration of Competing Interest statements,provided by the Authors,are included below.1.“A survey on computationally efficient neural architecture search”[Journal of Automation and Intelligence,1(2022)100002].10.1016/j.jai.2022.100002。展开更多
Declaration of Competing Interest statements were not included in the published version of the following articles that appeared in previous issues of Journal of Dermatologic Science and Cosmetic Technology.The appropr...Declaration of Competing Interest statements were not included in the published version of the following articles that appeared in previous issues of Journal of Dermatologic Science and Cosmetic Technology.The appropriate Declaration/Competing Interest statements,provided by the Authors,are included below.展开更多
Protecting human rights is a noble ideal enshrined in the Universal Declaration of Human Rights.For an extended period,the United States has positioned itself as a"defender"of this cause,politicizing,weaponi...Protecting human rights is a noble ideal enshrined in the Universal Declaration of Human Rights.For an extended period,the United States has positioned itself as a"defender"of this cause,politicizing,weaponizing,and instrumentalizing human rights issues to criticize and discredit other countries.展开更多
基金supported partially by the National Basic Research Program (973) of China (No. 2006CB303101)the National Natural Science Foundation of China (No. 90820305)
文摘Objective:To investigate gender difference in the effects of daytime sleep on item and source memories,which are dissociable elements of declarative memory,and the effects of sleep on recollection and familiarity,which are two processes underlying recognition. Methods:Participants saw a series of pictures with either blue or red background,and were then given a pretest for item and source memories. Then males and females respectively were randomly assigned either to a wake or a sleep condition. In the wake condition,participants remained awake until the posttest;in the sleep condition,participants slept for 1 h until awakened and asked to remain awake until the posttest. Results:Daytime sleep contributed to retention of source memory rather than item memory in females,whereas males undergoing daytime sleep had a trend towards increased familiarity. For females,however,neither recollection nor familiarity appeared to be influenced by daytime sleep. Conclusion:The mechanism underlying gender difference may be linked with different memory traces resulting from different encoding strategies,as well as with different electrophysiological changes during daytime sleep.
基金Supported by National Key Technology R&D Program of the Ministry of Science and Technology (2012BAB15B01)
文摘This paper presents adaptive hybrid protocols based on the declarative network and mainly discusses the principle and realization of the Bayesian-estimation based adaptive hybrid protocol in the declarative network, which is well adapted to the Mobile Ad hoc NETwork (MANET). The adaptive hybrid protocol is designed for ad hoc networks which have characteristics like self-organizing, no trusted party, flexibility, etc. The nodes that run the hybrid protocol can automatically select one routing protocol that is suitable for different network environment. The Bayesian-estimation based adaptive strategy, that improves the adaptability and stability of the protocol, succeeds in the Rapidnet, a declarative network engine. The result in the Rapidnet proves that the hybrid protocol and the adaptive strategy are feasible. The experiment on the ns-3 simulator, an emerging discrete-event network simulator, validates that this protocol performs well and reduces communication overheads.
文摘Statistics of this Paper derive from a business correspondence translation,Sing Sing Lounge,participated by English ma jors of one higher-educational institution.Facilitated with means of quantitative approach,this Paper,introducing an applicable procedure to analyze translation by students from one Class,is devoted to discover subjects used in declarative sentences of their translations.
文摘Declarative Programming Languages (DPLs) apply a process model of Horn claun es such as PARLOG[8] or a reduction model of A-calculus such as SML[7] and are) in principle, well suited to multiprocessor implemelltation. However, the performance of a parallel declarative program can be impaired by a mismatch between the parallelism available in an application and the parallelism available in the architecture. A particularly attractive solution is to automatically match the parallelism of the program to the parallelism of the target hardware as a compilation step. In this paper) we present an optimizillg compilation technique called granularity analysis which identi fies and removes excess parallelism that would degrade performance. The main steps are: an analysis of the flow of data to form an attributed call graph between function (or predicate) arguments; and an asymptotic estimation of granularity of a function (or predicate) to generate approximate grain size. Compiled procedure calls can be annotated with grain size and a task scheduler can make scheduling decisions with the classilication scheme of grains to control parallelism at runtime. The resulting granularity analysis scheme is suitable for exploiting adaptive parallelism of declarative programming languages on multiprocessors.
文摘We give two generalizations of Tarski’s fixpoint theorem in the setting of residuated lattices and use them to establish van Emdem-Kowalski’s least fixpoint semantics for residuated lattice-valued logic programs.
基金Supported by the National Natural Science Foundation of China （Grant No. 60574053）, the National High-Tech Development 863 Program of China （Grant No. 2003AA001031）, and the National Basic Research 973 Program of China （Grant No. 2003CB716207）.
文摘Object-oriented modeling with declarative equation based languages often unconsciously leads to structural inconsistencies. Component-based debugging is a new structural analysis approach that addresses this problem by analyzing the structure of each component in a model to separately locate faulty components. The analysis procedure is performed recursively based on the depth-first rule. It first generates fictitious equations for a component to establish a debugging environment, and then detects structural defects by using graph theoretical approaches to analyzing the structure of the system of equations resulting from the component. The proposed method can automatically locate components that cause the structural inconsistencies, and show the user detailed error messages. This information can be a great help in finding and localizing structural inconsistencies, and in some cases pinpoints them immediately.
文摘This paper presents a declarative semantics of compositional inheritancein an object-oriented logic programming' framework wit h explicit exceptions,based on the iterated least Aspoint semantics to normal logic programs. Tak-ing logic objects with exceptions as a ldnd of nonmonotonic theory, the nonmonotonicity of inheritance is achieved, which is of importance for modelingincomplete knowledge and requirement specffications in both artificial intelli-gence and softwa-re engineering.
基金This work was partially supported by the National 863 High Technical Grant 863-306-101the National Doctoral Subject Foundation Grant 0249136.
文摘In this paper,we focus on the compiling implementation of parallel logic language PARLOG and functional language ML on distributed memory multiprocessors.Under the graph rewriting framework, a Heterogeneous Parallel Graph Rewriting Execution Model(HPGREM)is presented firstly.Then based on HPGREM,a parallel abstract machine PAM/TGR is described.Furthermore,several optimizing compilation schemes for executing declarative programs on transputer array are proposed. The performance statistics on a transputer array demonstrate the effectiveness of our model,parallel ab- stract machine,optimizing compilation strategies and compiler.
文摘A brief review of the importance of simulation-based engineering and science(including social sciences)is followed by a historic perspective of model-based simulation.Section 2 is on declarative modeling of component systems as well as its advantages for self-documentation and for computer-aided checks and coupling.As an example for declarative modeling,General System Theory(GEST)implementor is given.In Sec.3,basic concepts for coupling of component models,and rules for computer-assisted coupling specification are explained.Section 4 is devoted to possible computerized checks in couplings of declarative models such as:(1)automatic unit checking to avoid meaning-less input/output matching at the time of coupling specification,(2)automatic threshold checking to provide warnings and/or to avoid disasters,and(3)automatic unit conversion for convenience of using library models.Section 5 is about several layers of nested couplings for modeling systems of systems.In Sec.6,two types of variable couplings are discussed:(1)couplings with variable connections(to allow input/output relations of models to depend on time or state conditions)and(2)coupling with variable component models(to allow component(or coupled)models to be switched based on time or state conditions).Section 7 is on the use of multimodels as component models in couplings.Section 8 is on types of inputs and their use in couplings as well as on exter-nal inputs to simulation studies.In Sec.9,conclusions and future work for complex systems are outlined.Especially,the values of simulation systems engineering as well as understanding and avoidance of misunderstanding in cognitive and emotive simulations are stressed.Appendix A is a list of almost 50 types of couplings and Appendix B lists over 50 terms related with couplings in modeling and simulation.To show the richness of“input”concept which is important in specification of input/output relations of component models,Appendix C lists almost 150 types of inputs.Information shared in this article may be useful in developing advanced modeling and simulation software,tools and environments.
文摘As we enter the year 2026,the international system continues to receive shocks from Donald Trump,arguably the 21st century’s most disruptive US leader.His return to the White House in 2025 coincided with the 80th anniversary of the defeat of fascism and the establishment of the United Nations,the multilateral platform that carried the world’s hope for peace,restraint and collective security.The coincidence was unsettling.A world order designed to limit power now confronts a moment in which power is exercised openly,transactionally and unapologetically.
文摘On July 2^(nd),2025,32 scientists representing 15 countries gathered at Tartu,Estonia to make on-site endorsements for the Global ONCE(Ocean Negative Carbon Emissions)Program at the 12th INTECOL Wetlands Conference.This marks a significant milestone for ONCE in establishing a systematic framework for coastal wetland carbon sequestration research and global collaboration(Figs.1,2).Coastal wetlands are critical transition zones linking terrestrial and marine ecosystems,yet they face severe degradation from anthropogenic land-based activities and sea level rise that propagate impacts to the ocean.As a UN Ocean Decade Program,the Global ONCE Program champions interdisciplinary and cross-regional collaboration to enhance carbon sequestration in the ocean and coastal wetlands through science and innovation.Aligned with the Tartu Declaration on Wetlands that includes resolutions to promote the rights of global wetlands(especially peatlands)and advance the discipline of wetland science based on facts,this initiative addresses key knowledge gaps in land-ocean interactions.The goal is to harness the full potential of coastal wetlands and ocean systems for climate mitigation,thereby laying a scientific foundation for international policy formulation and implementation.
文摘Declaration of Competing Interest statements is updated in the published version of the following articles that appeared in issues of Resources Chemicals and Materials.The appropriate updated Declaration of Competing Interest state-ments,provided by the Authors,are included below.
文摘The Declaration of Competing Interest statements were not included in the published version of the following articles that appeared in previous issues of Water Science and Engineering.The appropriate Declaration Competing Interest statements,provided by authors,are included below.
文摘The Declaration of Competing Interest statements were not included in the published version of the following articles that appeared in previous issues of Water Science and Engineering.The appropriate Declaration Competing Interest statements,provided by authors,are included below.
文摘The Declaration of Competing Interest statements were not included in the published version of the following articles that appeared in previous issues of Water Science and Engineering.The appropriate Declaration Competing Interest statements,provided by authors,are included below.
文摘The Declaration of Competing Interest statements were not included in the published version of the following articles that appeared in previous issues of Water Science and Engineering.The appropriate Declaration of Competing Interest statements,provided by authors,are included below.
文摘The Declaration of Competing Interest statements were not included in the published version of the following articles that appeared in previous issues of Water Science and Engineering.The appropriate Declaration of Competing Interest statements,provided by authors,are included below.
文摘Declaration of Competing Interest statements were not included in the published version of the following articles that appeared in previous issues of Journal of Automation and Intelligence.The appropriate Declaration of Competing Interest statements,provided by the Authors,are included below.1.“A survey on computationally efficient neural architecture search”[Journal of Automation and Intelligence,1(2022)100002].10.1016/j.jai.2022.100002。
文摘Declaration of Competing Interest statements were not included in the published version of the following articles that appeared in previous issues of Journal of Dermatologic Science and Cosmetic Technology.The appropriate Declaration/Competing Interest statements,provided by the Authors,are included below.
文摘Protecting human rights is a noble ideal enshrined in the Universal Declaration of Human Rights.For an extended period,the United States has positioned itself as a"defender"of this cause,politicizing,weaponizing,and instrumentalizing human rights issues to criticize and discredit other countries.
