Transactions on Computational Science III

Transactions on Computational Science III

The Transactions on Computational Science journal is part of the Springer series Lecture Notes in Computer Science, and is devoted to the gamut of computational science issues, from theoretical aspects to application-dependent studies and ...

Author: C. J. Kenneth Tan

Publisher: Springer

ISBN: 9783642002120

Category: Computers

Page: 185

View: 522

The Transactions on Computational Science journal is part of the Springer series Lecture Notes in Computer Science, and is devoted to the gamut of computational science issues, from theoretical aspects to application-dependent studies and the va- dation of emerging technologies. The current issue is devoted to computer systems research and the application of such research, which naturally complement each other. The issue is comprised of Part 1: Computational Visualization and Optimization, and Part 2: Computational Methods for Model Design and Analysis. Part 1 – Computational Visualization and Optimization – is devoted to state-of-the-art research carried out in this area with the use of novel computational methods. It is c- prised of five papers, each addressing a specific computational problem in the areas of shared virtual spaces, dynamic visualization, multimodal user interfaces, computational geometry, and parallel simulation, respectively. Part 2 – Computational Methods for Model Design and Analysis – continues the topic with an in-depth look at selected computational science research in the areas of data representation and analysis. The four papers comprising this part cover such areas as efficient reversible logic design, missing data analysis, stochastic computation and neural network representation for eccentric sphere models. Each paper describes a detailed experiment or a case study of the methodology presented to amplify the impact of the contribution.
Categories: Computers

Transactions on Computational Science XIX

Transactions on Computational Science XIX

The 12 papers in the volume constitute revised and extended versions of a selection of contributions presented at GRAPHICON 2012, the 22nd International Conference on Computer Graphics and Vision, held in Moscow, Russia, in October 2012.

Author: Marina L. Gavrilova

Publisher: Springer

ISBN: 9783642397592

Category: Computers

Page: 169

View: 769

The 19th issue of the Transactions on Computational Science journal, edited by Anton Konushin, is devoted to the topic of computer graphics. The 12 papers in the volume constitute revised and extended versions of a selection of contributions presented at GRAPHICON 2012, the 22nd International Conference on Computer Graphics and Vision, held in Moscow, Russia, in October 2012. The selected papers span the areas of scientific visualization, ray tracing, image processing, virtual reality, and stereo vision.
Categories: Computers

Transactions on Computational Science XXXV

Transactions on Computational Science XXXV

The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other ...

Author: Marina L. Gavrilova

Publisher: Springer Nature

ISBN: 9783662610923

Category: Computers

Page: 153

View: 837

The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines. The journal focuses on original high-quality research in the realm of computational science in parallel and distributed environments, encompassing the facilitating theoretical foundations and the applications of large-scale computations and massive data processing. It addresses researchers and practitioners in areas ranging from aerospace to biochemistry, from electronics to geosciences, from mathematics to software architecture, presenting verifiable computational methods, findings, and solutions, and enabling industrial users to apply techniques of leading-edge, large-scale, high performance computational methods. This, the 35th issue of the Transactions on Computational Science, focusses on signal processing and security in distributed systems. The topics covered include classification of visual attention levels using microsaccades; analysis of textual content using Eyegaze; automatic car-accident detection and passenger counting; face recognition; secure data fusion in IoT; business compliance using goal models; and microfluidic executions.
Categories: Computers

Transactions on Computational Systems Biology III

Transactions on Computational Systems Biology III

The LNCS journal Transactions on Computational Systems Biology is devoted to inter- and multidisciplinary research in the fields of computer science and life sciences and supports a paradigmatic shift in the techniques from computer and ...

Author: Corrado Priami

Publisher: Springer

ISBN: 9783540314462

Category: Computers

Page: 169

View: 939

The LNCS journal Transactions on Computational Systems Biology is devoted to inter- and multidisciplinary research in the fields of computer science and life sciences and supports a paradigmatic shift in the techniques from computer and information science to cope with the new challenges arising from the systems-oriented point of view of biological phenomena. This, the third Transactions on Computational Systems Biology volume, edited by Emanuela Merelli, Pedro Pablo Gonzalez and Andrea Omicini, is devoted to considerably extended versions of selected papers presented at the International Workshop on Network Tools and Applications in Biology (NETTAB 2004), held at the University of Camerino, in Camerino, Italy, in September 2004. Dedicated especially to models and metaphors from biology to bioinformatics tools, the 10 papers selected for the special issue cover a wide range of bioinformatics research such as data visualisation, protein/RNA structure prediction, motif finding, modelling and simulation of protein interaction, genetic linkage analysis, and notations and models for systems biology.
Categories: Computers

Transactions on Computational Science XV

Transactions on Computational Science XV

The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other ...

Author: Cong-Vinh Phan

Publisher: Springer Science & Business Media

ISBN: 9783642285240

Category: Computers

Page: 217

View: 918

The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines. The journal focuses on original high-quality research in the realm of computational science in parallel and distributed environments, encompassing the facilitating theoretical foundations and the applications of large-scale computations and massive data processing. It addresses researchers and practitioners in areas ranging from aerospace to biochemistry, from electronics to geosciences, from mathematics to software architecture, presenting verifiable computational methods, findings, and solutions and enabling industrial users to apply techniques of leading-edge, large-scale, high performance computational methods. The 15th issue of the Transactions on Computational Science journal, edited by Cong-Vinh Phan, contains six invited papers on autonomic computing, with a special focus on formal engineering methods for nature-inspired computing systems. The papers give an in-depth overview of the area and a comprehensive evaluation of various methodologies for autonomic computing.
Categories: Computers

Transactions on Computational Science XXXVIII

Transactions on Computational Science XXXVIII

The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other ...

Author: Marina L. Gavrilova

Publisher: Springer

ISBN: 3662631695

Category: Computers

Page: 145

View: 153

The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines. The journal focuses on original high-quality research in the realm of computational science in parallel and distributed environments, encompassing the facilitating theoretical foundations and the applications of large-scale computations and massive data processing. It addresses researchers and practitioners in areas ranging from aerospace to biochemistry, from electronics to geosciences, from mathematics to software architecture, presenting verifiable computational methods, findings, and solutions, and enabling industrial users to apply techniques of leading-edge, large-scale, high performance computational methods. This, the 38th issue of the Transactions on Computational Science, is devoted to research on modelling, optimization, and graphs, with applications in 3D and sketch modelling, engineering design, evolutionary computing, and networks.
Categories: Computers

Transactions on Computational Systems Biology XII

Transactions on Computational Systems Biology XII

Two papers focus on new modeling languages, and these are followed by an article presenting a case study demonstrating the value of the qualitative network approach.

Author:

Publisher: Springer Science & Business Media

ISBN: 9783642117114

Category: Computers

Page: 263

View: 768

LNCS 5945
Categories: Computers

The Bulletin of Symbolic Logic

The Bulletin of Symbolic Logic

[ 2 ] HENK BARENDREGT , The impact of the lambda calculus in logic and
computer science , this BULLETIN , vol . 3 ( 1997 ) ... [ 13 ] — , Ordinary
interactive small - step algorithms , III , ACM Transactions on Computational
Logic , vol . 8 ( 2007 ) ...

Author:

Publisher:

ISBN: UOM:39015079802636

Category: Logic, Symbolic and mathematical

Page:

View: 643

Categories: Logic, Symbolic and mathematical

Laboratory for Computer Science Progress Report

Laboratory for Computer Science Progress Report

3 . 3 . Design has been completed of a controller chip implementing the limitless
coherence protocol for Alewife using LSI ... Our research on shared - memory
caching systems that support split memory transactions uncovered the window of
 ...

Author: Massachusetts Institute of Technology. Laboratory for Computer Science

Publisher:

ISBN: UCAL:B4590057

Category: Artificial intelligence

Page:

View: 285

Categories: Artificial intelligence

Proceedings of the Winter School on Theoretical Computer Science

Proceedings of the Winter School on Theoretical Computer Science

in transaction Ti means that operation LOCK v cannot be performed in T; , j ż i,
until the operation UNLOCK v has been ... L Theorem 3. 2 DSR (t ) for T = {T1, T2}
is realizable by _locking if and only if DSR (t) can be defined by a forbidden area
.

Author: Ralph-Johan Back

Publisher:

ISBN: 9519951458

Category:

Page: 327

View: 839

Categories:

Directory of Published Proceedings

Directory of Published Proceedings

Vol.2: Applications & impacts (lFlP transactions A: computer science &
technology: lSSN 0926-5473, Vol. A-52) Ed: K. Brunnstein & E. Raubold $177.00
1994 lSBN 0-444-81987-8 764p. Vol.3: Linkage & developing countries (lFlP
transactions ...

Author: International Documentation and Information Centre

Publisher:

ISBN: UOM:39015074110670

Category: Science

Page:

View: 133

Categories: Science

ACM Transactions on Computer Systems

ACM Transactions on Computer Systems

Lecture Notes in Computer Science , vol . 773 . Springer - Verlag ... Security
without identification : Transaction systems to make Big Brother obsolete .
Commun . ACM 28 , 10 ... 3 , Fault Tolerance – Principles and Practice . 2nd ed .
Springer ...

Author:

Publisher:

ISBN: UOM:39015040305578

Category: Computer architecture

Page:

View: 733

Categories: Computer architecture

Foundations of software technology and theoretical computer science

Foundations of software technology and theoretical computer science

... on Foundations of Computer Science, pp. 358-370, 1987. 2. Chandy, K.M. and
Lamport, L., "Distributed snapshots: Determining global states of distributed
systems," ACM Transactions on Computer Systems, vol. 3, no. 1, pp. 63-75, 1985.
3.

Author: Kesav V. Nori

Publisher: Springer

ISBN: 3540534873

Category: Computers

Page: 420

View: 714

This volume gives the proceedings of the Tenth Conference on Foundations of Software Technology and Theoretical Computer Science. These conferences are organized and run by the computer science research community in India, and their purpose is to provide a forum for professional interaction between members of this research community and their counterparts in different parts of the world. The volume includes four invited papers on: - reasoning about linear constraints using parametric queries, - the parallel evaluation of classes of circuits, - a theory of commonsense visual reasoning, - natural language processing, complexity theory and logic. The 26 submitted papers are organized into sections on logic, automata and formal languages, theory of programming, parallel algorithms, geometric algorithms, concurrency, distributed computing, and semantics.
Categories: Computers

Computational Methods and Experiments in Materials Characterization III

Computational Methods and Experiments in Materials Characterization III

This book publishes papers presented at the Third International Conference on Computational Methods and Experiments in Material Characterisation.Topics covered include: Composites; Ceramics; Alloys; Cements and Cement Based Materials; ...

Author: C. A. Brebbia

Publisher: WIT Press

ISBN: 9781845640804

Category: Technology & Engineering

Page: 444

View: 157

Until recently, engineering materials could be characterized successfully using relatively simple testing procedures. As materials technology advances, interest is growing in materials possessing complex meso-, micro- and nano-structures, which to a large extent determine their physical properties and behaviour. The purposes of materials modelling are many: optimization, investigation of failure, simulation of production processes, to name but a few. Modelling and characterisation are closely intertwined, increasingly so as the complexity of the material increases. Characterisation, in essence, is the connection between the abstract material model and the real-world behaviour of the material in question. Characterisation of complex materials therefore may require a combination of experimental techniques and computation. This book publishes papers presented at the Third International Conference on Computational Methods and Experiments in Material Characterisation.Topics covered include: Composites; Ceramics; Alloys; Cements and Cement Based Materials; Biomaterials; Thin Films and Coatings; Advanced Materials; Imaging Analysis; Thermal Analysis; New Methods; Surface Chemistry, Nano Indentation; Continuum Methods; Particle Models; Damage Mechanics; Innovative Techniques; Stochastic Methods.
Categories: Technology & Engineering

Computational Science and Its Applications

Computational Science and Its Applications

We assume for the read quorum , if two transactions attempt to read a common
data object , read operations do not change the values of the data object . 3 . 2 . 2
Write Operations on Fixed Network For the fixed network , a site Ccij . k ) initiates
 ...

Author:

Publisher:

ISBN: UOM:39015058743538

Category: Computational complexity

Page:

View: 255

Categories: Computational complexity

Principles of Data Science

Principles of Data Science

This book provides readers with a thorough understanding of various research areas within the field of data science.

Author: Hamid R. Arabnia

Publisher: Springer Nature

ISBN: 9783030439811

Category: Technology & Engineering

Page: 278

View: 137

This book provides readers with a thorough understanding of various research areas within the field of data science. The book introduces readers to various techniques for data acquisition, extraction, and cleaning, data summarizing and modeling, data analysis and communication techniques, data science tools, deep learning, and various data science applications. Researchers can extract and conclude various future ideas and topics that could result in potential publications or thesis. Furthermore, this book contributes to Data Scientists’ preparation and to enhancing their knowledge of the field. The book provides a rich collection of manuscripts in highly regarded data science topics, edited by professors with long experience in the field of data science. Introduces various techniques, methods, and algorithms adopted by Data Science experts Provides a detailed explanation of data science perceptions, reinforced by practical examples Presents a road map of future trends suitable for innovative data science research and practice
Categories: Technology & Engineering

Computer Science Logic

Computer Science Logic

2 . Burrows M . , Abadi M . , Needham R . , A Logic of Authentication , ACM
Transactions on Computer Systems , 8 ( 1 ) , ( 1990 ) 18 - 36 . 3 . Cervesato , I . ,
Durgin , N . A . , Lincoln , P . D . , Mitchell , J . C . , and Scedrov , A . , A
metanotation for ...

Author:

Publisher:

ISBN: UOM:39015049127825

Category: Computer science

Page:

View: 671

Categories: Computer science

ACM Transactions on Computer human Interaction

ACM Transactions on Computer human Interaction

212 - 869 - 7440 Fax : 212 - 869 - 0481 http : / / www . acm . org ACM
Transactions on Computer - Human Interaction ... Marti Hearst Starr Roxanne
Hiltz Ken Hinckley James D . Hollan Robert J . K . Jacob Department of Computer
Science ...

Author:

Publisher:

ISBN: UOM:39015065056148

Category: Computer software

Page:

View: 307

Categories: Computer software