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

Hormonal programming of rat social play behavior: Standardized techniques will aid synthesis and translation to human health

引用

NEUROSCIENCE AND BIObehavioral REVIEWS 2015年 55卷 184-197页

作者： Blake, Bevin E. McCoy, Krista A. E Carolina Univ Dept Biol Greenville NC 27858 USA

Early social behaviors like juvenile play are important for normal cognitive and social development. Deficits in these behaviors are associated with neurodevelopmental disorders, such as autism. Rat juvenile rough-and-tumble play is a useful behavioral biomarker of neurodevelopment, and is sensitive to chemical factors such as pre and neonatal hormones. Despite a rich body of literature characterizing hormonal programming of rodent juvenile play, the physiological mechanisms that regulate the organization of play behavior are not well characterized. Synthesizing results to understand the role of endocrine signaling in the development of play behavior remains difficult due to methodological inconsistency across studies. In this review, we synthesize what is known about hormonal mechanisms programming play, advocate standardized protocols for investigating rat play, and identify key areas where future research is needed. A synthetic understanding of the relationship between endocrine signaling and behavioral programming will improve our ability to understand the development and onset of neurodevelopmental disorders in humans and ultimately will help prevent these devastating conditions. (C) 2015 Elsevier Ltd. All rights reserved.

关键词： behavioral programming Hormone signaling Play behavior Neurodevelopment

来源：评论

学校读者我要写书评

暂无评论

Special issue on programming based on actors, agents and decentralized control

引用

SCIENCE OF COMPUTER programming 2015年第Part2期98卷 117-119页

作者： Ricci, Alessandro Agha, Gul Bordini, Rafael H. Marron, Assaf Univ Bologna I-40126 Bologna Italy Univ Illinois Champaign IL USA FACIN PUCRS Porto Alegre RS Brazil Weizmann Inst Sci Dept Comp Sci & Appl Math IL-76100 Rehovot Israel

The AGEREI workshop(1) has been organized with the ACM SPLASH conference since 2011. The workshop has brought together researchers in programming systems, languages, and applications based on actors, active/concurrent objects, agents, and more broadly, high-level programming paradigms which facilitate decentralized control. The goal of the workshop is to promote use of such paradigms to address the problem of developing software for complex, real-world applications. The AGERE workshop is a follow on to workshops on Object-based Concurrent programming which were organized twenty years earlier in conjunction with OOPSLA [1-3]. In the last two decades, concurrency and distribution have become part of everyday programming. In this context, the objective of AGEREI is to foster the development and adoption of high-level programming paradigms embracing concurrency at the core of the developed abstractions and constructs. This special issue collects extended and enhanced versions of selected papers from AGERE! 2011 and 2012 which underwent additional review cycles. (C) 2014 Elsevier B.V. All rights reserved.

关键词： Actors Agent-oriented programming Concurrent and distributed programming behavioral programming

来源：评论

学校读者我要写书评

暂无评论

The Effect of Concurrent programming Idioms on Verification A Position Paper 3

The Effect of Concurrent Programming Idioms on Verification ...

引用

3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)

作者： Harel, David Katz, Guy Marron, Assaf Weiss, Gera Weizmann Inst Sci Dept Comp Sci & Appl Math Rehovot Israel Ben Gurion Univ Negev Dept Comp Sci Beer Sheva Israel

ISBN: (纸本)9789897581366

In recent years formal verification techniques have become an important part of the development cycle of concurrent software. In order to tackle the state explosion problem and verify larger systems, a great deal of work has been put into improving the scalability of verification tools. In this work, we seek to draw attention to an alternative/complementary approach to improving scalability, which sometimes receives less notice: the effect the concurrent programming model itself has on one's ability to verify programs encoded within it. Recent work suggests that a suitable choice of model, tailored to the problem at hand, may render the produced software more amenable to verification techniques. We recapitulate some recent and new results demonstrating this effect in programming models for discrete, synchronous reactive systems, and outline some directions for future work. We hope that the paper will trigger additional research on this important topic.

关键词： Concurrency Verification Design for Verification behavioral programming

来源：评论

学校读者我要写书评

暂无评论

Scenario-Based programming for Mobile Applications

Scenario-Based Programming for Mobile Applications

引用

IEEE/ACM International Conference on Mobile Software Engineering and Systems (MOBILESoft)

作者： Berkman-Chardon, Anat Harel, David Goel, Yaarit Marelly, Rami Szekely, Smadar Weiss, Guy Technion Haifa Israel Weizmann Inst Sci Rehovot Israel

ISBN: (纸本)9781450341783

We introduce a novel method for creating mobile applications, integrating the Android SDK into PlayGo, a scenario based behavioral programming framework. The method allows creating mobile applications simply by using a visual GUI editor, and then incrementally "playing in" scenarios that construct the application's behavior. This allows the developer to focus on the behavior and interface rather than on the syntax and code.

关键词： behavioral programming PlayGo Modeling Mobile Development Android

来源：评论

学校读者我要写书评

暂无评论

What Petri Nets Oblige us to Say Comparing Approaches for Behavior Composition

引用

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 2023年第4期49卷 2303-2317页

作者： Elyasaf, Achiya Yaacov, Tom Weiss, Gera Ben Gurion Univ Negev Software & Informat Syst Engn Dept IL-84105 Beer Sheva Israel Ben Gurion Univ Negev Comp Sci Dept IL-26732 Beer Sheva Israel

We identify and demonstrate a weakness of Petri Nets (PN) in specifying composite behavior of reactive systems. Specifically, we show how, when specifying multiple requirements in one PN model, modelers are obliged to specify mechanisms for combining these requirements. This yields, in many cases, over-specification and incorrect models. We demonstrate how some execution paths are missed, and some are generated unintentionally. To support this claim, we analyze PN models from the literature, identify the combination mechanisms, and demonstrate their effect on the correctness of the model. To address this problem, we propose to model the system behavior using behavioral programming (BP), a software development and modeling paradigm designed for seamless integration of independent requirements. Specifically, we demonstrate how the semantics of BP, which define how to interweave scenarios into a single model, allow for avoiding the over-specification. Additionally, while BP maintains the same mathematical properties as PN, it provides means for changing the model dynamically, thus increasing the agility of the specification. We compare BP and PN in quantitative and qualitative measures by analyzing the models, their generated execution paths, and the specification process. Finally, while BP is supported by tools that allow for applying formal methods and reasoning techniques to the model, it lacks the legacy of PN tools and algorithms. To address this issue, we propose semantics and a tool for translating BP models to PN and vice versa.

关键词： behavioral sciences Synchronization programming Analytical models Benchmark testing Semantics Petri nets behavioral programming linguistic relativity

来源：评论

学校读者我要写书评

暂无评论

The quest for runware: on compositional, executable and intuitive models

引用

SOFTWARE AND SYSTEMS MODELING 2012年第4期11卷 599-608页

作者： Harel, David Marron, Assaf Weizmann Inst Sci Dept Comp Sci & Appl Math IL-76100 Rehovot Israel

We believe that future models of complex software and systems will combine the crucial traits of intuitiveness, compositionality, and executability. The importance of each of these to modeling is already well recognized, but our vision suggests a far more powerful synergy between them. First, models will be aligned with cognitive processes used by humans to think about system behavior and will be understood, and perhaps creatable, by almost anyone. Second, one will be able to build models incrementally, adding to, refining or sculpting away already-specified behaviors without changing most existing parts of the model. Third, there will be powerful ways to execute such intuitive and compositional models, in whole or in part, at any stage of the development. The presence of these three traits in a single artifact will blur the boundaries between natural-language requirements, formal models, and actual software, bringing in its wake a major advance in the way systems are built, and in their cost and quality. We propose the term runware to refer to this kind of higher level artifact.

关键词： Executable specifications Model-driven engineering behavioral programming Computational methods

来源：评论

学校读者我要写书评

暂无评论

Generalized Coverage Criteria for Combinatorial Sequence Testing

引用

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 2023年第8期49卷 4023-4034页

作者： Elyasaf, Achiya Farchi, Eitan Margalit, Oded Weiss, Gera Weiss, Yeshayahu Ben Gurion Univ Negev Software & Informat Syst Engn Dept IL-84105 Beer Sheva Israel IBM Haifa Res Lab IL-3498825 Haifa Israel Ben Gurion Univ Negev Comp Sci Dept IL-84105 Beer Sheva Israel

We present a new model-based approach for testing systems that use sequences of actions and assertions as test vectors. Our solution includes a method for quantifying testing quality, a tool for generating high-quality test suites based on the coverage criteria we propose, and a framework for assessing risks. For testing quality, we propose a method that specifies generalized coverage criteria over sequences of actions, which extends previous approaches. Our publicly available tool demonstrates how to extract effective test suites from test plans based on these criteria. We also present a Bayesian approach for measuring the probabilities of bugs or risks, and show how this quantification can help achieve an informed balance between exploitation and exploration in testing. Finally, we provide an empirical evaluation demonstrating the effectiveness of our tool in finding bugs, assessing risks, and achieving coverage.

关键词： Bayesian risk-Reduction behavioral programming combinatorial test design model-based testing sequence testing test coverage test generation test optimization

来源：评论

学校读者我要写书评

暂无评论

The effect of alternative feeding strategies for broiler breeder pullets: 2. Welfare and performance during lay

引用

POULTRY SCIENCE 2019年第12期98卷 6205-6216页

作者： Arrazola, A. Widowski, T. M. Guerin, M. T. Kiarie, E. G. Torrey, S. Univ Guelph Ontario Agr Coll Dept Anim Biosci Guelph ON N1G 2W1 Canada Univ Guelph Ontario Vet Coll Dept Populat Med Guelph ON N1G 2W1 Canada

Feeding broiler breeders to satiety has negative consequences on their health and reproduction. Alternative feeding strategies during rearing can improve welfare, although their implications during lay are not well understood. The objective was to examine the effect of rearing feeding treatments on the reproductive performance and feeding behavior of broiler breeders under simulated commercial conditions. At 3 wk of age, 1,680 Ross 308 pullets were allocated to 24 pens under 1 of 4 isocaloric treatments: 1) daily control diet;2) daily alternative diet (40% soybean hulls and 1 to 5% calcium propionate);3) 4/3 control diet (4 on-feed days, 3 non-consecutive off-feed days per week);and 4) graduated control diet. Feeding frequency of the graduated treatment varied with age and finished on a daily basis. At 23 wk of age, group sizes were adjusted to 40 hens, and 5 mature Yield Plus Males roosters were introduced to each pen. Pens were under the same daily feeding management and same diet during lay. The performance of broiler breeders (growth rate, body weight uniformity, and reproductive performance) was determined until 64 wk of age. At the end of lay, feeding motivation was examined with a feed intake test and a compensatory feeding test. Data were analyzed using linear mixed regression models, with pen nested in the models and age as a repeated measure. The laying rate of hens reared on the graduated treatment decreased slower compared to control hens, resulting in a higher cumulative egg production (178.2 +/- 3.8 eggs/hen) than control hens (165.2 +/- 3.8 eggs/hen, P < 0.01) by 64 wk of age. Hens reared on non-daily feeding treatments laid lighter eggs with relatively heavier yolks and had higher feed intake at the end of lay than hens fed daily during rearing (P = 0.02). In conclusion, rearing feeding treatments impacted the growth rate and body weight uniformity during lay, feeding motivation at the end of lay, and the laying rate and hatchability depending on hen

关键词： reproductive performance behavioral programming rearing feeding treatment alternative diet non-daily feeding

来源：评论

学校读者我要写书评

暂无评论

Guarded Deep Learning using Scenario-based Modeling 8

Guarded Deep Learning using Scenario-based Modeling

引用

8th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)

作者： Katz, Guy Hebrew Univ Jerusalem Jerusalem Israel

ISBN: (纸本)9789897584008

Deep neural networks (DNNs) are becoming prevalent, often outperforming manually-created systems. Unfortunately, DNN models are opaque to humans, and may behave in unexpected ways when deployed. One approach for allowing safer deployment of DNN models calls for augmenting them with hand-crafted override rules, which serve to override decisions made by the DNN model when certain criteria are met. Here, we propose to bring together DNNs and the well-studied scenario-based modeling paradigm, by expressing these override rules as simple and intuitive scenarios. This approach can lead to override rules that are comprehensible to humans, but are also sufficiently expressive and powerful to increase the overall safety of the model. We describe how to extend and apply scenario-based modeling to this new setting, and demonstrate our proposed technique on multiple DNN models.

关键词： Scenario-based Modeling behavioral programming Machine Learning Deep Neural Networks

来源：评论

学校读者我要写书评

暂无评论

Coordinating and Visualizing Independent Behaviors in Erlang

Coordinating and Visualizing Independent Behaviors in Erlang

引用

9th ACM SIGPLAN Erlang Workshop

作者： Wiener, Guy Weiss, Gera Marron, Assaf Ben Gurion Univ Negev IL-84105 Beer Sheva Israel

ISBN: (纸本)9781450302531

behavioral programming, introduced by the LSC language and extended by the BPJ Java library, enables development of behaviors as independent modules that are relatively oblivious of each other, yet are integrated at run-time yielding cohesive system behavior. In this paper we present a proof-of-concept for infrastructure and a design pattern that enable development of such behavioral programs in Erlang. Each behavior scenario, called a behavior thread, or b-thread, runs in its own Erlang process. Runs of programs are sequences of events that result from three kinds of b-thread actions: requesting that events be considered for triggering, waiting for triggered events, and blocking events that may be requested by other b-threads. A central mechanism handles these requests, and coordinates b-thread execution, yielding composite, integrated system behavior. We also introduce a visualization tool for Erlang programs written in the proposed design pattern. We believe that enabling the modular incremental development of behavioral programming in Erlang could further simplify the development and maintenance of applications consisting of concurrent independent behaviors.

关键词： Design Patterns behavioral programming Live Sequence Charts

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：