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

6th International Conference on Information, Intelligence, Systems and Applications (IISA)

作者： Moiseenko, Alexandr V. Brylina, Irina V. Kornienko, Alla A. Berestneva, Olga G. Kabanova, Natalia N. Natl Res Tomsk Polytech Univ 30 Lenin Av Tomsk 634050 Russia

ISBN: (纸本)9781467393119

There is a challenge of developing computer programming visual language in the sphere of interdisciplinary research - cybernetics and philosophy, in particular, philosophy of mathematics, philosophy of language and new area of the philosophical analysis - "philosophy of information". We consider the aspect "language - thinking" and the stages of developing interaction between a person and information environment by means of programs. We set up the problem concerning the necessity to find the ways of constructing software by nonprofessionals. We offer the efficient way to eliminate the distinction in the system "interface-software programming language" via using visual programming language as a tool for people to communicate with machine. We designate the prospects of using visual programming languages and difficulties in their creation and implementation. We conclude that developing cloud technologies opens up new opportunities to make cross-subject tools of creating and changing software functionality by people without professional qualifications in programming. It is noted that developing and using visual languages can have considerable impact on the development of nano-bio-info-cogno technologies (NBIC) as well as on the research in the field of cognitive management, artificial intelligence as modeling visual thinking and other research areas. We recommend further understanding how to use visual programming languages in social, philosophical and psychological aspects.

关键词： cloud computing philosophy of language programming language clip thinking visual language

来源：评论

学校读者我要写书评

暂无评论

A New Perspective on Multi-Agent Environment with SARL 1

A New Perspective on Multi-Agent Environment with SARL

引用

10th International Conference on Future Networks and Communications (FNC) / 12th International Conference on Mobile Systems and Pervasive Computing (MobiSPC)

作者： Rodriguez, Sebastian Galland, Stephane Gaud, Nicolas Univ Tecnol Nacl Fac Reg Tucuman GITIA Lab San Miguel De Tucuman Tucuman Argentina Univ Bourgogne Franche Comte IRTES UTBM Belfort France

The environment is now considered as a first class abstraction in multiagent systems. However, the boundary between real and simulated environment and the application logic is not so well defined. Depending on applications, the environment as a space shared between agents may integrate physical, communication or social dimensions where agents interact. In this paper, authors introduce an agent environment model supporting the intrasic distributed and hierarchical natures of the environment. It is defined using the fundamental concepts provided by metamodel related to the SARL programming language. (C) 2015 The Authors. Published by Elsevier B.V.

关键词： Multiagent systems Environment Interaction programming language

来源：评论

学校读者我要写书评

暂无评论

A Large Scale Study of programming languages and Code Quality in Github 22

A Large Scale Study of Programming Languages and Code Qualit...

引用

22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE)

作者： Ray, Baishakhi Posnett, Daryl Filkov, Vladimir Devanbu, Premkumar Univ Calif Davis Dept Comp Sci Davis CA 95616 USA

ISBN: (纸本)9781450330565

What is the effect of programming languages on software quality? This question has been a topic of much debate for a very long time. In this study, we gather a very large data set from GitHub (729 projects, 80 Million SLOC, 29,000 authors, 1.5 million commits, in 17 languages) in an attempt to shed some empirical light on this question. This reasonably large sample size allows us to use a mixed-methods approach, combining multiple regression modeling with visualization and text analytics, to study the effect of language features such as static v.s. dynamic typing, strong v.s. weak typing on software quality. By triangulating findings from different methods, and controlling for confounding effects such as team size, project size, and project history, we report that language design does have a significant, but modest effect on software quality. Most notably, it does appear that strong typing is modestly better than weak typing, and among functional languages, static typing is also somewhat better than dynamic typing. We also find that functional languages are somewhat better than procedural languages. It is worth noting that these modest effects arising from language design are overwhelmingly dominated by the process factors such as project size, team size, and commit size. However, we hasten to caution the reader that even these modest effects might quite possibly be due to other, intangible process factors, e.g., the preference of certain personality types for functional, static and strongly typed languages.

关键词： programming language type system bug fix code quality empirical research regression analysis software domain

来源：评论

学校读者我要写书评

暂无评论

Optimizing scriptable generator of terrain maps

Optimizing scriptable generator of terrain maps

引用

作者： Zábský, Matěj Charles University of Prague

The goal of this thesis is to develop a procedural terrain height map generator programmable using a Turing complete scripting language. The generator must allow rendering of partial maps by generating arbitrary rectangular region of the map described by any script. The thesis explains why this means the traditional script execution model wont work in this case and proposes a novel two stage model, which executes the scripts in two stages - a simulation stage and a rendering stage. Powered by TCPDF (***)

关键词： terrain height map erosion programming language interpreter

来源：评论

学校读者我要写书评

暂无评论

Design of Roof Cover Structures by Help of Numerical Models Defined in Formian

引用

Journal of Civil Engineering and Architecture 2015年第3期9卷 245-256页

作者： Janusz Rebielak Faculty of Architecture Cracow University of Technology Krakow 31-155 Poland

Numerical models defined by means of a suitably assumed set of parameters make it possible to select the optimal structural solution for the given or assumed conditions. The paper presents examples of applications of numerical models defined in the programming language Formian during the shaping processes of various types of spatial structural systems designed for roof covers. These types of numerical models can be relatively easily adapted to the requirements, which can be frequently changed during the investment process, what makes possible a considerable reducing of costs and time of design of the space structures having even the very complex shapes. The advantageous features of application of numerical models defined in Formian are presented in models determined for selected forms of the roof covers designed also by means of a simple type of a space frame. In the paper, there are some presented visualizations made on bases of these models defining mainly for structural systems developed recently by the author for certain types of the dome covers. The proposed structural systems are built by means of the successive spatial hoops or they are created as unique forms of the geodesic dome structures.

关键词： Numerical model programming language tension-strut structure roof structure dome cover.

来源：评论

学校读者我要写书评

暂无评论

A New Perspective on Multi-Agent Environment with SARL

引用

Procedia Computer Science 2015年 56卷 526-531页

作者： Sebastian Rodriguez Stéphane Galland Nicolas Gaud GITIA Laboratory Facultad Regional Tucumán Universidad Tecnológica Nacional San Miguel de Tucumán Argentina University Bourgogne Franche-Comté UTBM IRTES Belfort France

关键词： Multiagent systems Environment Interaction programming language

来源：评论

学校读者我要写书评

暂无评论

programming Smart Environments Using π-calculus

引用

Procedia Computer Science 2015年 46卷 884-891页

作者： V. Geetha Lekshmy Jasmine Bhaskar Department of Compute science Amrita University Amrita School of Engineering Amritapuri 690525 India

In the realm of Internet of Things (IoT), the complexity of designing ubiquitous and smart systems with dynamically evolving structure has grown to an extent where system modelling and verification has become a real hurdle. Though, a lot of innovations have taken place in this field, there are no good mechanisms for describing and modelling smart environments in a formal manner. π -calculus, proposed by Milner is a formal language which provides strong mathematical base that can be used for modelling and verifying system requirements. In this paper, we intend to offer a contribution towards understanding the usefulness of π-calculus as a language for programming a special kind of ubiquitous application: smart environments. Here we propose a model that includes a type checker for π-calculus and an application that executes π- calculus statements and generates the graphical representation of the smart environment represented by the π- calculus statement.

关键词： smart environments П-calculus programming language

来源：评论

学校读者我要写书评

暂无评论

Swift For Dummies 1

引用

丛书名： For Dummies

2015年

作者： Jesse Feiler

ISBN: (数字)9781119022244

ISBN: (纸本)1119022223;9781119022220

Get up and running with Swiftswiftly Brimming with expert advice and easy-to-follow instructions, Swift For Dummies shows new and existing programmers how to quickly port existing Objective-C applications into Swift and get into the swing of the new language like a pro. Designed from the ground up to be a simpler programming language, it's never been easier to get started creating apps for the iPhone or iPad, or applications for Mac OS X. Inside the book, you'll find out how to set up Xcode for a new Swift application, use operators, objects, and data types, and control program flow with conditional statements. You'll also get the scoop on creating new functions, statements, and declarations, learn useful patterns in an object-oriented environment, and take advantage of frameworks to speed your coding along. Plus, you'll find out how Swift does away with pointer variables and how to reference and dereference variables instead. Set up a playground development environment for Mac, iPhone, iPad, and wearable computers Move an existing Objective-C program to Swift Take advantage of framework components and subcomponents Create an app that uses location, mapping, and social media Whether you're an existing Objective-C programmer looking to port your code to Swift or you've never programmed for Apple in the past, this fun and friendly guide gets you up to speed swiftly.

关键词： Swift For Dummies Jesse Feiler Swift Objective-C programming language creating apps get started creating apps Apple programming creating apps for the iPhone creating apps for the iPad creating applications for Mac OS X Mac OS X how to port existing Objective-C applications into Swift Move an existing Objective-C program to Swift Objective-C programmer port your code to Swift how to set up Xcode for a new Swift application

来源：评论

学校读者我要写书评

暂无评论

The Use of Experimental Structures to Model Protein Dynamics

The Use of Experimental Structures to Model Protein Dynamics

引用

作者： Ataur R. Katebi Kannan Sankar Kejue Jia Robert L. Jernigan

The number of solved protein structures submitted in the Protein Data Bank (PDB) has increased dramatically in recent years. For some specific proteins, this number is very high—for example, there are over 550 solved structures for HIV-1 protease, one protein that is essential for the life cycle of human immunodeficiency virus (HIV) which causes acquired immunodeficiency syndrome (AIDS) in humans. The large number of structures for the same protein and its variants include a sample of different conformational states of the protein. A rich set of structures solved experimentally for the same protein has information buried within the dataset that can explain the functional dynamics and structural mechanism of the protein. To extract the dynamics information and functional mechanism from the experimental structures, this chapter focuses on two methods—Principal Component Analysis (PCA) and Elastic Network Models (ENM). PCA is a widely used statistical dimensionality reduction technique to classify and visualize high-dimensional data. On the other hand, ENMs are well-established simple biophysical method for modeling the functionally important global motions of proteins. This chapter covers the basics of these two. Moreover, an improved ENM version that utilizes the variations found within a given set of structures for a protein is described. As a practical example, we have extracted the functional dynamics and mechanism of HIV-1 protease dimeric structure by using a set of 329 PDB structures of this protein. We have described, step by step, how to select a set of protein structures, how to extract the needed information from the PDB files for PCA, how to extract the dynamics information using PCA, how to calculate ENM modes, how to measure the congruency between the dynamics computed from the principal components (PCs) and the ENM modes, and how to compute entropies using the PCs. We provide the computer programs or references to software tools to accomplish each step

关键词： Principal Component Analysis Structure Alignment programming language Python Human immunodeficiency virus 1 Protein dynamics Acquired immunodeficiency syndrome Protein data bank Elastic network model

来源：评论

学校读者我要写书评

暂无评论

Quantifying the Biological Impact of Active Substances Using Causal Network Models

Quantifying the Biological Impact of Active Substances Using...

引用

作者： Alain Sewer Florian Martin Walter K. Schlage Julia Hoeng Manuel C. Peitsch

In this chapter a five-step strategy is described that provides comparative evaluations of the effects of biologically active substances. These evaluations constitute an integral part of the determination of the risks for the human population to exposure to these substances. The strategy is based on the concept of biological impact quantification for which novel computational methodologies have been developed in the past few years; these methodologies are reviewed in this chapter. The effects of the active substances are then described in terms of networks containing the biological mechanisms involved in the response to the exposure. As a consequence, the biological impact assessment represents a systems-wide metric of network-based perturbed biological mechanisms. The implementation of the strategy involves the generation of transcriptomics data following the exposure experiment and their evaluation in the context of causal network models. After the five-step strategy for biological impact quantification has been described in some detail, its application in a concrete case of a mouse smoking-cessation experiment is presented. The results show how mechanistic insights into the potential toxic effects of exposure to active substances can benefit the safety assessment.

关键词： Transcriptomics DNA Extraction Microarray Hybridization Proteomics Principal Component Analysis Statistical Calculation Data analysis programming language Biological impact of exposure Causal biological network models Network perturbations Mechanistic fingerprinting

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：