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

Proceedings of the 15th acm sigplan international conference on functional programming

作者： Michael J.C. Gordon University of Cambridge Cambridge United Kingdom

My talk will celebrate Robin Milner's contribution to functional programming via a combination of reminiscences about the early days of ML and speculations about its future.

ISBN: (纸本)9781605587943

My talk will celebrate Robin Milner's contribution to functional programming via a combination of reminiscences about the early days of ML and speculations about its future.

关键词： proof assistants ml object language lcf metalanguage polymorphism types functional programming

来源：评论

学校读者我要写书评

暂无评论

13th international conference on Parallel Computing Technologies, PaCT 2015

引用

13th international conference on Parallel Computing Technologies, PaCT 2015

ISBN: (纸本)9783319219080

the proceedings contain 58 papers. the special focus in this conference is on Parallel Models, Algorithms, programming Methods and Special Processors programming Techniques. the topics include: Software system for maximal parallelization of algorithms on the base of the conception of q-determinant;highly parallel multigrid solvers for multicore and manycore processors;on parallel computational technologies of augmented domain decomposition methods;a modular-positional computation technique for multiple-precision floating-point arithmetic;creation of data mining algorithms as functional expression for parallel and distributed execution;dynamic parallelization strategies for multifrontal sparse cholesky factorization;control flow usage to improve performance of fragmented programs execution;towards application energy measurement and modelling tool support;the mathematical model and the problem of optimal partitioning of shared memory for work-stealing deques.;dynamic load balancing based on rectilinear partitioning in particle-in-cell plasma simulation;a behavioral analysis of cellular automata;contradiction between parallelization efficiency and stochasticity in cellular automata models of reaction-diffusion phenomena;a parallel genetic algorithm to adjust a cardiac model based on cellular automaton and mass-spring systems;the influence of cellular automaton topology on the opinion formation;cellular automata model of electrons and holes annihilation in an inhomogeneous semiconductor;constructions used in associative parallel algorithms for directed graphs;oscillatory network based on kuramoto model for image segmentation;using monte carlo method for searching partitionings of hard variants of boolean satisfiability problem and agent-based approach to monitoring and control of distributed computing environment.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Editorial: Special issue dedicated to ICFP 2010

引用

Journal of functional programming 2012年第4-5期22卷 379-381页

作者： UMUT A. ACAR JAMES CHENEY STEPHANIE WEIRICH Programming Languages and Systems Group Max Planck Institute for Software Systems Germany (e-mail: umut@***) Laboratory for Foundations of Computer Science University of Edinburgh Edinburgh UK (e-mail: jcheney@inf.ed.ac.uk) School of Engineering and Applied Science University of Pennsylvania Philadelphia PA 19104 USA (e-mail: sweirich@cis.upenn.edu)

the 15th acm sigplan international conference on functional programming (ICFP) took place on September 27–29, 2010 in Baltimore, Maryland. After the conference, the programme committee, chaired by Stephanie Weirich, selected several outstanding papers and invited their authors to submit to this special issue of Journal of functional programming. Umut A. Acar and James Cheney acted as editors for these submissions. this issue includes the seven accepted papers, each of which provides substantial new material beyond the original conference version. the selected papers reflect a consensus by the program committee that ICFP 2010 had a number of strong papers that link core functional programming ideas with other areas, such as multicore, embedded systems, and data compression.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Code Clones in Feature-Oriented Software Product Lines

引用

acm sigplan NOTICES 2011年第2期46卷 103-112页

作者： Schulze, Sandro Apel, Sven Kaestner, Christian Univ Magdeburg D-39106 Magdeburg Germany Univ Passau Passau Germany Univ Marburg D-35032 Marburg Germany

Some limitations of object-oriented mechanisms are known to cause code clones (e. g., extension using inheritance). Novel programming paradigms such as feature-oriented programming (FOP) aim at alleviating these limitations. However, it is an open issue whether FOP is really able to avoid code clones or whether it even facilitates (FOP-related) clones. To address this issue, we conduct an empirical analysis on ten feature-oriented software product lines with respect to code cloning. We found that there is a considerable number of clones in feature-oriented software product lines and that a large fraction of these clones is FOP-related (i.e., caused by limitations of feature-oriented mechanisms). Based on our results, we initiate a discussion on the reasons for FOP-related clones and on how to cope with them. We show by means of examples how such clones can be removed by applying refactorings.

关键词： Design languages measurements Code clones software product lines feature-oriented programming refactoring

来源：评论

学校读者我要写书评

暂无评论

Proceedings - international conference on Software Engineering

Proceedings - International Conference on Software Engineeri...

引用

13th IEEE/acm international conference on Global Software Engineering, ICGSE 2018, collocated with the international conference on Software Engineering, ICSE 2018

ISBN: (纸本)9781450357173

the proceedings contain 24 papers. the topics discussed include: transitioning from plan-driven to lean in a global software engineering organization: a practice-centric view;effective distributed pair programming;validation of outsourcing teamswork on agile projects of Samsung R&D Institute Brazil;control based management to self organizing agile teams: a case study;is stack overflow in Portuguese attractive for Brazilian users?;East meets West: global software engineering course in Japan and Germany;effective collaboration across the globe through digital dash boards and machine learning;software engineering tools environment for outsourcing teams collaboration;a process for distributed software evolution;global software engineering experience through international capstone project exchanges;managing software products in a global context;employee retention and turnover in global software development: comparing in-house offshoring and offshore outsourcing;on developers' personality in large-scale distributed projects: the case of the apache ecosystem;virtual by design: how a work environment can support agile distributed software development;scaling agile across the global organization: an early stage industrial safe self-assessment;a preliminary structure of software security assurance model;scaling agile software development to large and globally distributed large-scale organizations;and toward a theory of communication in distributed software development teams: a research proposal.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Quantitative pharmacophore models with inductive logic programming

引用

MACHINE LEARNING 2006年第1-3期64卷 65-90页

作者： Srinivasan, Ashwin Page, David Camacho, Rui King, Ross Indian Inst Technol IBM India Res Lab New Delhi India Univ Madison Dept Biostat Madison WI USA LIACC CIUP P-4150 Oporto Portugal Univ Wales Dept Comp Sci Aberystwyth Dyfed Wales

three-dimensional models, or pharmacophores, describing Euclidean constraints on the location on small molecules of functional groups (like hydrophobic groups, hydrogen acceptors and donors, etc.), are often used in drug design to describe the medicinal activity of potential drugs (or 'ligands'). this medicinal activity is produced by interaction of the functional groups on the ligand with a binding site on a target protein. In identifying structure-activity relations of this kind there are three principal issues: (1) It is often difficult to "align" the ligands in order to identify common structural properties that may be responsible for activity;(2) Ligands in solution can adopt different shapes (or 'conformations') arising from torsional rotations about bonds. the 3-D molecular substructure is typically sought on one or more low-energy conformers;and (3) Pharmacophore models must, ideally, predict medicinal activity on some quantitative scale. It has been shown that the logical representation adopted by Inductive Logic programming (ILP) naturally resolves many of the difficulties associated with the alignment and multi-conformation issues. However, the predictions of models constructed by ILP have hitherto only been nominal, predicting medicinal activity to be present or absent. In this paper, we investigate the construction of two kinds of quantitative pharmacophoric models with ILP: (a) Models that predict the probability that a ligand is "active";and (b) Models that predict the actual medicinal activity of a ligand. Quantitative predictions are obtained by the utilising the following statistical procedures as background knowledge: logistic regression and naive Bayes, for probability prediction;linear and kernel regression, for activity prediction. the multi-conformation issue and, more generally, the relational representation used by ILP results in some special difficulties in the use of any statistical procedure. We present the principal issues and some solut

关键词： pharmacophore models ILP statistical relational learning

来源：评论

学校读者我要写书评

暂无评论

MDE approach for the generation and verification of SCA model

MDE approach for the generation and verification of SCA mode...

引用

13th international conference on Information Integration and Web-Based Applications and Services, iiWAS2011

作者： Louhichi, Soumaya Graiet, Mohamed Kmimech, Mourad Bhiri, Mohamed Tahar Gaaloul, Walid Cariou, Eric MIRACL ISIMS BP 1030 Sfax 3018 Tunisia Computer Science Departement Télécom SudParis 9 rue Charles Fourier 91011 Évry Cedex France Université de Pau et des Pays de l'Adour Avenue de l'Université 64013 Pau Cedex France

ISBN: (纸本)9781450307840

Service Component Architecture specification (SCA) is an emerging and promising technology for the development, deployment and integration of Internet applications. this technology supports the management of dynamic availability and treats the heterogeneity between the components of distributed applications. However, this technology is not able to solve all problems. Currently, software systems are evolving. this factor makes development, verification and maintenance of systems more complex than before. One solution to remedy this was the use of the Model Driven Engineering (MDE) approach in the development and verification process. the purpose of this paper is to apply an approach MDE to obtain SCA models and to verify the properties of these models. To reach our purpose, we applied two transformations: the first one to obtain SCA models using UML 2.0 metamodel and the second transformation to ensure the verification of the properties of these models using event-B metamodel. To achieve this, we study the UML 2.0 component metamodel, the SCA metamodel and the event-B metamodel. We have defined transformation rules in ATL language. © 2011 acm.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

OP: A Novel programming Model for Integrated Design and Prototyping of Mixed Objects

引用

13th IFIP TC 13 international conference on Human-Computer Interaction (INTERACT)

作者： Coutrix, Celine Nigay, Laurence Univ Joseph Fourier Grenoble 1 CNRS LIG UMR 5217 F-38041 Grenoble France

ISBN: (纸本)9783642237652;9783642237645

In the context of mixed systems that seek to smoothly merge physical and digital worlds, designing and prototyping interaction involves physical and digital aspects of mixed objects. However, even though mixed objects are recurrent in the literature, none of the existing prototyping tools explicitly supports this object level. Moreover, designers have to use distinct tools, on the one hand, tools for designing ideas and on the other hand tools for prototyping them: this makes the design process difficult. To help alleviate these two problems, we present OP (Object Prototyping), a toolkit that provides a new programming model focusing on mixed objects and allows us to seamlessly go back and forth from conceptual ideas to functional physical prototypes, making the iterative design process smooth and integrated. Indeed, OP is explicitly based on an existing conceptual design model, namely the Mixed Interaction Model that has been shown to be useful for exploring the design space of mixed objects. Our user studies show that, despite its threshold, designers and developers using OP can rapidly prototype functional physical objects as part of a design process deeply intertwining conceptual design with prototyping activities.

关键词： Prototyping Toolkit Mixed Systems Mixed Objects Augmented Reality Physical User Interfaces Tangible User Interfaces Design

来源：评论

学校读者我要写书评

暂无评论

Non-wellfounded trees in homotopy type theory 13

Non-wellfounded trees in homotopy type theory

引用

13th international conference on Typed Lambda Calculi and Applications, TLCA 2015

作者： Ahrens, Benedikt Capriotti, Paolo Spadotti, Régis Institut de Recherche en Informatique de Toulouse Université Paul Sabatier Toulouse France Functional Programming Laboratory School of Computer Science University of Nottingham United Kingdom

ISBN: (纸本)9783939897873

We prove a conjecture about the constructibility of coinductive types - in the principled form of indexed M-types - in Homotopy Type theory. the conjecture says that in the presence of inductive types, coinductive types are derivable. Indeed, in this work, we construct coinductive types in a subsystem of Homotopy Type theory;this subsystem is given by Intensional Martin- Löf type theory with natural numbers and Voevodsky's Univalence Axiom. Our results are mechanized in the computer proof assistant Agda. © Benedikt Ahrens, Paolo Capriotti, and Régis Spadotti;.

关键词： Formal languages

来源：评论

学校读者我要写书评

暂无评论

Infrastructuring participatory development in information technology 14

Infrastructuring participatory development in information te...

引用

13th Participatory Design conference, PDC 2014

作者： De Angeli, Antonella Bordin, Silvia Blanco, María Menéndez University of Trento Via Sommarive 9 Trento38123 Italy

ISBN: (纸本)9781450327404

In this paper we present our experience in building a socio-technical infrastructure for supporting social innovation in Information Technology. We start by describing a case study on the design and use of a smartphone application for the canteen services of a local university;based on this, we propose what we call the hourglass approach to support participatory design and development in Information Technology. the hourglass is defined by the intersection of two co-evolving dimensions of infrastructuring: the social and the technical ones. Different subsets of the community, characterized by the increasing involvement of self-selected volunteers, position themselves along the two axes and have different roles in the design and use of the generated artefact. We conclude by discussing how this approach can help addressing some of the current challenges (i.e. scale, milieu and responsibilities) of social innovation in Information Technology. Copyright 2014 acm.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：