检索结果-内蒙古大学图书馆

Computational search for hypotheses concerning the endocannabinoid contribution to the extinction of fear conditioning

引用

FRONTIERS IN COMPUTATIONAL NEUROSCIENCE 2013年第2013期7卷 74-74页

作者： Anastasio, Thomas J. Univ Illinois Computat Neurobiol Lab Beckman Inst Dept Mol & Integrat Physiol Urbana IL 61801 USA

Fear conditioning, in which a cue is conditioned to elicit a fear response, and extinction, in which a previously conditioned cue no longer elicits a fear response, depend on neural plasticity occurring within the amygdala. Projection neurons in the basolateral amygdala (BLA) learn to respond to the cue during fear conditioning, and they mediate fear responding by transferring cue signals to the output stage of the amygdala. Some BLA projection neurons retain their cue responses after extinction. Recent work shows that activation of the endocannabinoid system is necessary for extinction, and it leads to long-term depression (LTD) of the GABAergic synapses that inhibitory interneurons make onto BLA projection neurons. Such GABAergic LTD would enhance the responses of the BLA projection neurons that mediate fear responding, so it would seem to oppose, rather than promote, extinction. To address this paradox, a computational analysis of two well known conceptual models of amygdaloid plasticity was undertaken. The analysis employed exhaustive state space search conducted within a declarative programming environment. The analysis reveals that GABAergic LTD actually increases the number of synaptic strength configurations that achieve extinction while preserving the cue responses of some BLA projection neurons in both models. The results suggest that GABAergic LTD helps the amygdala retain cue memory during extinction even as the amygdala learns to suppress the previously conditioned response. The analysis also reveals which features of both models are essential for their ability to achieve extinction with some cue memory preservation, and suggests experimental tests of those features.

关键词： extinction of fear conditioning endocannabinoids neural networks formal methods declarative programming state-space search

来源：评论

学校读者我要写书评

暂无评论

declarative Application Management in the Fog A Bacteria-Inspired Decentralised Approach

引用

JOURNAL OF GRID COMPUTING 2021年第4期19卷 45-45页

作者： Brogi, Antonio Forti, Stefano Guerrero, Carlos Lera, Isaac Univ Pisa Dept Comp Sci Pisa Italy Univ Balearic Isl Dept Math & Comp Sci Palma De Mallorca Spain

Orchestrating next-gen applications over heterogeneous resources along the Cloud-IoT continuum calls for new strategies and tools to enable scalable and application-specific managements. Inspired by the self-organisation capabilities of bacteria colonies, we propose a declarative, fully decentralised application management solution, targeting pervasive opportunistic Cloud-IoT infrastructures. We present a customisable declarative implementation of the approach and validate its scalability through simulation over motivating scenarios, also considering end-user's mobility and the possibility to enforce application-specific management policies for different (classes of) applications.

关键词： Fog computing User mobility declarative programming Bio-inspired solution Cloud-IoT continuum

来源：评论

学校读者我要写书评

暂无评论

Behavioral change in buying low carbon farm products in China: An application of the theory of planned behavior

引用

JOURNAL OF RENEWABLE AND SUSTAINABLE ENERGY 2016年第6期8卷 065902-065902页

作者： Zhang, Lu Tenkasi, Ramkrishnan V. Guo, Qing Zhang, Junbiao Huazhong Agr Univ Sch Econ & Management Wuhan 430070 Peoples R China Hubei Rural Dev Res Ctr Wuhan 430070 Peoples R China Benedictine Univ Coll Business Lisle IL 60532 USA Guangdong Univ Foreign Studies Sch Econ & Trade Guangzhou 510420 Guangdong Peoples R China Tech Univ Madrid Dept Ind Engn Madrid 28006 Spain

As global warming becomes increasingly pressing, many countries have begun to adopt carbon labeling on agri-products. Thus, it is prospective and significant to conduct a study on assessing the behavioral change in buying low carbon farm products in China, a country new to carbon labelling. Using a sample of the actual buying behavior of 873 subjects in China, we first examine the impact of Attitude, Perceived behavioral control, and Subjective (i.e., declarative and injunctive) norms on Actual behavior. Then, we investigate the mediating role of Behavioral intention in Actual behavior's relation with Attitude, Perceived behavioral control, and Subjective norms, respectively. Further, we explore the role of Subjective injunctive norms in the model based on the theory of planned behavior. declarative norms, Attitude, and Perceived behavioral control explain a significant proportion of variance in actual buying behavior of low carbon products. Intentions fully mediate the relationship between declarative norms and Actual behavior while partially mediating for Attitude and Perceived behavioral control. Injunctive norms moderate the relationship between declarative norms and Actual behavior while partially mediating the relationship between declarative norms and Attitude. Perceived behavioral control partially mediates the relationship between declarative and Injunctive norms. These results suggest potential revisions to the theory of planned behavior model and practical implications to facilitate behavioral change from diagnostic and interventional perspectives. Published by AIP Publishing.

关键词： GLOBAL warming CARBON dioxide PRODUCE trade declarative programming

来源：评论

学校读者我要写书评

暂无评论

Thermal management for gas lubricated, high-speed turbomachinery

引用

APPLIED THERMAL ENGINEERING 2023年 218卷

作者： Olmedo, L. E. Liu, W. Gjika, K. Schiffmann, J. Ecole Polytech Fed Lausanne STI IGM LAMD CH-2002 Neuchatel Switzerland KG Turbomachinery Paris France

High-speed turbomachinery is commonly designed to achieve high power densities. Limited space for active cooling results in a challenging thermal management. A thermal modeling approach leveraging modern declarative programming capabilities is presented, yielding an efficient dynamic model capable of real-time simulation while achieving accurate results. These properties enable the inclusion of thermal management strategies in an early stage of the design process. Further, the effect of varying thermal and transport properties of materials and fluids during transient conditions is included and is suggested to yield a high impact on thermal loads and heat evacuation capabilities. The often neglected fluid advection within the system is modeled by integrating a 1D fluid network from MatlabTM SimscapeTM to the thermal model, displaying a significant impact on the temperature estimation for critical parts. The accuracy of the presented model is verified against three gas-bearing supported high-speed turbomachinery experiments for stationary and transient operation.

关键词： Turbomachinery Dynamic modeling declarative programming 1D-networks Thermal management Gas lubricated bearings

来源：评论

学校读者我要写书评

暂无评论

JTL - the Java tools language

引用

ACM SIGPLAN NOTICES 2006年第10期41卷 89-108页

作者： Cohen, Tal Gil, Joseph Maman, Itay Technion Israel Inst Technol Dept Comp Sci IL-32000 Haifa Israel

We present an overview of JTL (the Java Tools Language, pronounced "Gee-tel"), a novel language for querying JAVA [ 8] programs. JTL was designed to serve the development of source code software tools for JAVA, and as a small language to aid programming language extensions to JAVA. Applications include definition of pointcuts for aspect-oriented programming, fixing type constraints for generic programming, specification of encapsulation policies, definition of micro-patterns, etc. We argue that the JTL expression of each of these is systematic, concise, intuitive and general. JTL relies on a simply-typed relational database for program representation, rather than an abstract syntax tree. The underlying semantics of the language is restricted to queries formulated in First Order Predicate Logic augmented with transitive closure (FOPL*). Special effort was taken to ensure terse, yet readable expression of logical conditions. The JTL pattern public abstract class, for example, matches all abstract classes which are publicly accessible, while class {public clone();} matches all classes in which method clone is public. To this end, JTL relies on a DATALOG-like syntax and semantics, enriched with quantifiers and pattern matching which all but entirely eliminate the need for recursive calls. JTL's query analyzer gives special attention to the fragility of the "closed world assumption" in examining JAVA software, and determines whether a query relies on such an assumption. The performance of the JTL interpreter is comparable to that of JQuery after it generated its database cache, and at least an order of magnitude faster when the cache has to be rebuilt.

关键词： design languages declarative programming reverse engineering

来源：评论

学校读者我要写书评

暂无评论

Osmotic management of distributed complex systems: A declarative decentralised approach

引用

JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS 2022年第10期34卷

作者： Forti, Stefano Lera, Isaac Guerrero, Carlos Brogi, Antonio Univ Pisa Dept Comp Sci Pisa Italy Univ Balearic Isl Dept Comp Sci Palma De Mallorca Spain

Osmotic computing encompasses emerging Cloud-Internet of Things (IoT) computing paradigms, by featuring the possibility for application services to adapt into different functionally equivalent flavours, depending on the contextually available resources and on specific requirements of running applications. This article proposes a fully decentralised declarative framework that enables both application and infrastructure operators to declare management policies for the service instances and the nodes they manage, respectively. Policies are composed of a simple and well-defined set of management operations, declared in Prolog, which trigger based on locally available contextual information on application requests and infrastructure resources. A prototype implementation of the framework is showcased and assessed via simulation over a lifelike Smart Campus use case with multiple applications, at increasing infrastructure sizes and number of mobile users. Experimental results show that the proposed management framework scales to large infrastructure sizes and suits the needs of multiflavoured Osmotic applications in dynamic deployment conditions, by improving the trade-off between their response times and suitable service usage.

关键词： decentralised management declarative programming fog computing osmotic computing

来源：评论

学校读者我要写书评

暂无评论

Correct and Complete (Positive) Strategy Annotations for OBJ

引用

Electronic Notes in Theoretical Computer Science 2004年 71卷 70-89页

作者： María Alpuente Santiago Escobar Salvador Lucas DSIC Universidad Politécnica de Valencia Spain

Strategy annotations are used in several rewriting-based programming languages to introduce replacement restrictions aimed at improving efficiency and/or reducing the risk of nontermination. Unfortunately, rewriting restrictions can have a negative impact on the ability to compute normal forms. In this paper, we first ascertain/clarify the conditions ensuring correctness and completeness (regarding normalization) of computing with strategy annotations. Then, we define a program transformation methodology for (correct and) complete evaluations which applies to OBJ-like languages.

关键词： declarative programming OBJ strategy annotations

来源：评论

学校读者我要写书评

暂无评论

Correctness and Completeness of Logic Programs

引用

ACM TRANSACTIONS ON COMPUTATIONAL LOGIC 2016年第3期17卷 18-18页

作者： Drabent, Wlodzimierz Polish Acad Sci Inst Comp Sci Ul Jana Kazimierza 5 PL-01248 Warsaw Poland Linkoping Univ S-58183 Linkoping Sweden

We discuss proving correctness and completeness of definite clause logic programs. We propose a method for proving completeness, while for proving correctness we employ a method that should be well known but is often neglected. Also, we show how to prove completeness and correctness in the presence of SLD-tree pruning, and point out that approximate specifications simplify specifications and proofs. We compare the proof methods to declarative diagnosis (algorithmic debugging), showing that approximate specifications eliminate a major drawback of the latter. We argue that our proof methods reflect natural declarative thinking about programs, and that they can be used, formally or informally, in everyday programming.

关键词： Logic programming declarative programming program completeness program correctness specifications declarative diagnosis/algorithmic debugging

来源：评论

学校读者我要写书评

暂无评论

Demandness in Rewriting and Narrowing

引用

Electronic Notes in Theoretical Computer Science 2002年 76卷 42-51页

作者： Sergio Antoy Salvador Lucas Computer Science Department Portland State University Portland OR 97207 U.S.A Universidad Politécnica de Valencia Spain

The traditional investigation of rewriting and narrowing strategies aims at establishing fundamental properties, such as soundness, completeness and/or optimality, of a strategy. In this work, we analyze and compare rewriting and narrowing strategies from the point of view of the information taken into account by a strategy to compute a step. The notion of demandness provides a suitable framework for presenting and comparing well-known strategies. We find the existence of an almost linear sequence of strategies that take into account more and more information. We show on examples that, as we progress on this sequence, a strategy becomes more focused and avoids some useless steps computed by strategies preceding it in this sequence. Our work, which is still in progress, clarifies the behavior of similar or related strategies and it promises to simplify the transfer of some results from one strategy to another. It also suggest that the notion of demandness is both atomic and fundamental to the study of strategies.

关键词： declarative programming narrowing rewriting strategies

来源：评论

学校读者我要写书评

暂无评论

Telemach*: A Functional Approach to Face Problem Solving in Knowledge- Based Signal Processing Systems

引用

IFAC Proceedings Volumes 1991年第3期24卷 995-1000页

作者： A. Edelmayer A. Soumelidis Systems and Controls Laboratory Computer and Automation Institute Hungarian Academy of Sciences H-1111 Budapest XI Kende u. 13-17 Hungary

This paper presents TELEMACH, a problem solving system which provides syntactically uniform access to heterogeneously implemented knowledge bases. The system is aimed to use in autonomous signal pocessing ap plications such as e.g. , in the fields of knowledge-based system identification and fault detection. The applied knowledge representation scheme is functional in the sense that elemantary knowledge base constituents of the system are specified by their behaviour without any reference to how they are to be implemented. A functional interface is applied to the knowledge base which implements operations on the representation. On the platform of a procedural semantics we introduce the notion of the problem solving supervisor which, - in contrast with the conventional approaches, - exerts control of the reasoning process in a more flexible manner. As to the methodology, our recent approach formalizes the autonomous signal processing system as a discrete event dynamical phenomenon. In this theoretical framework a special action ontology, especially oriented to the signal processing domain, is presented which is based on temporal relations and the concurrent program viewpoint. Daedalus, the integrated graphical knowledge base editor of TELEMACH makes the development of complex signal processing strategies possible. An object oriented design philosophy is used to realize the idea.

关键词： Blackboard systems Discrete event systems declarative programming Functional knowledge representation Knowledge-based systems Signal-symbol processing

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：