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

BIOINFORMATICS 2020 - 11th International Conference on Bioinformatics Models, Methods and Algorithms, Proceedings;Part of 13th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2020

BIOINFORMATICS 2020 - 11th International Conference on Bioin...

引用

8th International symposium on Highly-Efficient Accelerators and Reconfigurable Technologies, HEART 2017

ISBN: (纸本)9789897583988

the proceedings contain 41 papers. the topics discussed include: prediction of dynamical properties of biochemical pathways with graph neural networks;a novel method for the inverse QSAR/QSPR based on artificial neural networks and mixed integer linear programming with guaranteed admissibility;transferability of deep learning algorithms for malignancy detection in confocal laser endomicroscopy images from different anatomical locations of the upper gastrointestinal tract;an optimized method for 3D body scanning applications based on kinect fusion;a convolutional neural network for spot detection in microscopy images;inferring the synaptical weights of leaky integrate and fire asynchronous neural networks: modeled as timed automata;discovering trends in environmental time-series with supervised classification of metatranscriptomic reads and empirical mode decomposition;and how to realize device interoperability and information security in mhealth applications.

关键词：

来源：评论

学校读者我要写书评

暂无评论

OCaml-Java: OCaml on the JVM

OCaml-Java: OCaml on the JVM

引用

13th symposium on trends in functional programming, TFP 2012

作者： Clerc, Xavier

ISBN: (纸本)9783642404467

this article presents the OCaml-Java project whose goal is to allow compilation of OCaml sources into Java bytecodes. the ability to run OCaml code on a Java virtual machine provides the developer with means to leverage the strengths of the Java ecosystem lacking in the OCaml world. Most notably, this includes access to a great number of libraries, and foundations for shared-memory concurrent programming. In order to achieve this, the OCaml-Java project does three contributions: (i) an optimized compiler and runtime support to achieve acceptable performance, (ii) an extension of the classical OCaml typer to allow manipulation of Java elements from the OCaml world, and (iii) a library dedicated to concurrent programming. © 2013 Springer-Verlag.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

Proceedings - 11th Annual IEEE International High-Level Design Validation and Test Workshop, HLDVT'06

Proceedings - 11th Annual IEEE International High-Level Desi...

引用

11th Annual IEEE International High-Level Design Validation and Test Workshop, HLDVT'06

ISBN: (纸本)142440679X

the proceedings contain 28 papers. the topics discussed include: DVGen: increasing coverage by automatically combining test specifications;test directive generation for functional coverage closure using inductive logic programming;automated coverage directed test generation using a cell-based genetic algorithm;disjunctive transition relation decomposition for efficient reachability analysis;trends in test: challenges and techniques;formal verifications in modern chip designs;DFT and probabilistic testability analysis at RTL;easily testable implementation for bit parallel multipliers in GF (2m);assertion-based verification of behavioral descriptions with non-linear solver;efficient automata-based assertion-checker synthesis of PSL properties;and specification language for transaction level assertions.

关键词： Specification languages

来源：评论

学校读者我要写书评

暂无评论

Deriving Via or, How to Turn Hand-Written Instances into an Anti-pattern 11

Deriving Via or, How to Turn Hand-Written Instances into an ...

引用

Haskell Conference

作者： Blondal, Baldur Loh, Andres Scott, Ryan Well Typed LLP London England Indiana Univ Bloomington IN 47405 USA

ISBN: (纸本)9781450358354

Haskell's deriving construct is a cheap and cheerful way to quickly generate instances of type classes that follow common patterns. But at present, there is only a subset of such type class patterns that deriving supports, and if a particular class lies outside of this subset, then one cannot derive it at all, with no alternative except for laboriously declaring the instances by hand. To overcome this deficit, we introduce Deriving Via, an extension to deriving that enables programmers to compose instances from named programming patterns, thereby turning deriving into a high-level domain-specific language for defining instances. Deriving Via leverages newtypes-an already familiar tool of the Haskell trade-to declare recurring patterns in a way that both feels natural and allows a high degree of abstraction.

关键词： type classes instances deriving Haskell functional programming

来源：评论

学校读者我要写书评

暂无评论

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Lecture Notes in Computer Science (including subseries Lectu...

引用

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2011年 6546 LNCS卷 VI页

作者： Page, Rex Horváth, Zoltán Zsók, Viktória University of Oklahoma School of Computer Science 110 West Boyd Street Norman OK 73019 United States Eötvös Loránd University Faculty of Informatics Department of Programming Languages and Compilers Pazmany Peter setany 1/C 1117 Budpest Hungary

来源：评论

学校读者我要写书评

暂无评论

A model for I/O in equational languages with don’t care non-determinism 11th

A model for I/O in equational languages with don’t care non...

引用

Joint 11th Workshop on Abstract Data Types was held jointly with the 8th Workshop on Recent trends in Data Type Specification, COMPASS 1995

作者： Walters, H.R. Kamperman, J. F. th. CWI P.O. Box 94079 Amsterdam1090 GB Netherlands

ISBN: (纸本)3540616292

Existing models for I/O in side-effect free languages focus on functional languages, which are usually based on a largely deterministic reduction strategy, allowing for a strict sequentialization of I/O operations. In concurrent logic programming languages a model is used which allows for don't care non-determinism. We apply this model to equational languages, which are closely related to functional languages, but exhibit don't care non-determinism. the semantics are formulated as constrained narrowing, a relation that contains the rewrite relation, and is contained in the narrowing relation. We present constrained narrowing and some of its properties;a constructive method to transform conventional term rewriting systems (TRSs) to constrained narrowing systems (CNSs);and a discussion on requirements for an implementation. © Springer-Verlag Berlin Heidelberg 1996.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

11th IPPS/SPDP 1999 Workshops Held in Conjunction with the 13th International Parallel Processing symposium and 10th symposium on Parallel and Distributed Processing, 1999

引用

13th International Parallel Processing symposium, IPPS 1999 Held in Conjunction with the 10th symposium on Parallel and Distributed Processing, SPDP 1999

ISBN: (纸本)3540658319

the proceedings contain 137 papers. the special focus in this conference is on High-Level Parallel programming Models and Supportive Environments. the topics include: Efficient program partitioning based communication;a flexible base for transparent shared memory programming models on clusters of PCs;flexible collective operations for distributed object groups;a framework for performance evaluation of scalable computing;recursive individually distributed objects;a flexible combination of on-stack execution and work-stealing;an automatic distribution front-end for java;concurrent language support for interoperable applications;on the distributed implementation of aggregate data structures by program transformation;a transformational framework for skeletal programs;implementing a non-strict functional programming language on a threaded architecture;the biological basis of the immune system as a model for intelligent agents;a formal definition of the phenomenon of collective intelligence and its IQ measure;implementation of data flow logical operations via self-assembly of DNA;a parallel hybrid evolutionary metaheuristic for the period vehicle routing problem;distributed scheduling with decomposed optimization criterion;a parallel genetic algorithm for task mapping on parallel machines;evolution-based scheduling of fault-tolerant programs on multiple processors;a genetic-based fault-tolerant routing strategy for multiprocessor networks;regularity considerations in instance-based locality optimization;parallel ant colonies for combinatorial optimization problems;an analysis of synchronous and asynchronous parallel distributed genetic algorithms with structured and panmictic islands and GA-based parallel image registration on parallel clusters.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Models in Software Engineering 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Michel R. V. Chaudron

ISBN: (数字)9783642016486

ISBN: (纸本)9783642016479

this book constitutes a collection of the best papers selected from the 12 workshops and 3 tutorials held in conjunction with MODELS 2008, the 11th International Conference on Model Driven Engineering Languages and Systems, in Toulouse, France, September 28 - October 3, 2008. the contributions are organized within the volume according to the workshops at which they were presented: Model Based Architecting and Construction of Embedded Systems (ACES-MB); Challenges in Model Driven Software Engineering (CHAMDE); Empirical Studies of Model Driven Engineering (ESMDA); Models@runtime; Model Co-evolution and Consistency Management (MCCM); Model-Driven Web Engineering (MDWE); Modeling Security (MODSEC); Model-Based Design of Trustworthy Health Information Systems (MOthIS); Non-functional System Properties in Domain Specific Modeling Languages (NFPin DSML); OCL Tools: From Implementation to Evaluation and Comparison (OCL); Quality in Modeling (QIM); and Transforming and Weaving Ontologies and Model Driven Engineering (TWOMDE). Each section includes a summary of the workshop. the last three sections contain selected papers from the Doctoral symposium, the Educational symposium and the Research Project symposium, respectively.

关键词： Software Engineering/programming and Operating Systems programming Techniques Software Engineering programming Languages, Compilers, Interpreters Simulation and Modeling Management of Computing and Information Systems

来源：评论

学校读者我要写书评

暂无评论

Promising Developments in Cyber Physical System Tools for Background Monitoring of Reserve Landscape 11

Promising Developments in Cyber Physical System Tools for Ba...

引用

11th International Conference on Advanced Computer Information Technologies, ACIT 2021

作者： Nykolaychuk, Yaroslav Grynchychyn, Taras Pitukh, Ihor Petrashchuk, Yaroslav Nykolaychuk, Lyubov Hryha, Volodymyr West Ukrainian National University Department of Specialized Computer Systems Ternopil Ukraine Nadvirna Vocational College by National Transport University Department of Programming and Information Technologies Nadvirna Ukraine Gorgany Nature Reserve Nadvirna Ukraine Ivano-Frankivsk National Technical University of Oil and Gas Department of Social Communication and Law Ivano-Frankivsk Ukraine Vasyl Stefanyk Precarpathian National University Department of Computer Engineering and Electronics Ivano-Frankivsk Ukraine

Experience in designing and building cyber physical interactive distributed monitoring systems for industrial facilities and reserve landscapes is analyzed. Advantages of the existing interactive and dialogue computerized systems, replicated by many companies, are systematized and their functional limitations are determined. the legal and system requirements for the implementation of this class of information system components, which can be applied in strict Nature Reserve, are clarified. It is proposed to expand the functionality and increase the reliability of the ring-star system for background monitoring of nature reserves based on binary-manipulated optical signals. A sensor system for measuring the height of snow cover along the monitoring route is developed using a relay sensor network and quadcopters. © 2021 IEEE.

关键词： Cyber Physical System

来源：评论

学校读者我要写书评

暂无评论

11th Workshop on Abstract Data Types, 1995

11th Workshop on Abstract Data Types, 1995

引用

Joint 11th Workshop on Abstract Data Types was held jointly with the 8th Workshop on Recent trends in Data Type Specification, COMPASS 1995

ISBN: (纸本)3540616292

the proceedings contain 31 papers. the special focus in this conference is on Abstract Data Types, 1995. the topics include: Seven years of COMPASS;inductively defined relations;on the role of category theory in the area of algebraic specifications;a challenge for computing science;the larch shared language: some open problems;the lambda calculus as an abstract data type;unifying theories in different institutions;interchange format for inter-operability of tools and translation;experiments with partial evaluation domains for rewrite specifications;class-sort polymorphism in glider;deontic concepts in the algebraic specification of dynamic systems;reification - changing viewpoint but preserving truth;a category-based equational logic semantics to constraint programming 200;concurrent state transformations on abstract data types;categories of circuits;combining algebraic and set-theoretic specifications;minimal term rewriting systems;an interactive theorem and completeness prover for algebraic specifications with conditional equations;the non-ground case completeness;termination of curryfied rewrite systems;correctness and oracle;behavioural equivalence, bisimulation, and minimal realisation;using limits of parchments to systematically construct institutions of partial algebras;behavioural specifications in type theory;syntax, semantics, and theory;context institutions;object-oriented functional programming and type reconstruction;moving between logical systems;modular algebraic specifications and the orientation of equations into rewrite rules;a model for I/O in equational languages with don't care non-determinism and tool design for structuring mechanisms for algebraic specification languages with initial semantics.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：