Listing 1 - 4 of 4 |
Sort by
|
Choose an application
This volume of Advances in Soft Computing and Lecture Notes in Computer Science vols. 5551, 5552 and 5553, constitute the Proceedings of the 6th International Symposium of Neural Networks (ISNN 2009) held in Wuhan, China during May 26 - 29, 2009. ISNN is a prestigious annual symposium on neural networks with past events held in Dalian (2004), Chongqing (2005), Chengdu (2006), Nanjing (2007) and Beijing (2008). Over the past few years, ISNN has matured into a well-established series of international conference on neural networks and their applications to other fields. Following this tradition, ISNN 2009 provided an academic forum for the participants to disseminate their new research findings and discuss emerging areas of research. Also, it created a stimulating environment for the participants to interact and exchange information on future research challenges and opportunities of neural networks and their applications.
Computational intelligence -- Congresses. --- Neural computers -- Congresses. --- Neural networks (Computer science) -- Congresses. --- Civil & Environmental Engineering --- Engineering & Applied Sciences --- Civil Engineering --- Computer Science --- Applied Mathematics --- Neural networks (Computer science) --- Computational intelligence --- Computer science. --- Artificial intelligence. --- Applied mathematics. --- Engineering mathematics. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Appl.Mathematics/Computational Methods of Engineering. --- Engineering --- Engineering analysis --- Mathematical analysis --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Informatics --- Science --- Mathematics --- Artificial Intelligence. --- Mathematical and Computational Engineering.
Choose an application
This book constitutes the thoroughly refereed revised tutorial lectures of the International LerNet ALFA Summer School on Language Engineering and Rigorous Software Development, held in Piriapolis, Uruguay, in February/March 2008. The volume presents three courses on type theory: an introductory tutorial, a course on type-based termination, and a practical introduction to dependent types. A case study of a static analyzer based on abstract interpretation, a tutorial on combinator parsing, and a study of extended static checking using a point-free transform completes the volume. Together these contributions will be an invaluable tool for graduate students and researchers looking forward to keeping up to date with the latest developments in rigorous approaches to software development.
Computer software --Development --Congresses. --- Formal methods (Computer science) --Congresses. --- Programming languages (Electronic computers) --Congresses. --- Type theory --Congresses. --- Computer software --- Formal methods (Computer science) --- Programming languages (Electronic computers) --- Type theory --- Computer Science --- Engineering & Applied Sciences --- Development --- Information Technology --- Software Engineering --- Computer science. --- Computer programming. --- Software engineering. --- Programming languages (Electronic computers). --- Computer simulation. --- Management information systems. --- Computer Science. --- Software Engineering. --- Programming Languages, Compilers, Interpreters. --- Simulation and Modeling. --- Programming Techniques. --- Management of Computing and Information Systems. --- Computer-based information systems --- EIS (Information systems) --- Executive information systems --- MIS (Information systems) --- Sociotechnical systems --- Information resources management --- Management --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Electromechanical analogies --- Mathematical models --- Simulation methods --- Model-integrated computing --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computer software engineering --- Engineering --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Informatics --- Science --- Communication systems --- Programming --- Logic, Symbolic and mathematical --- Information Systems.
Choose an application
At the 19th Annual Conference on Parallel Computational Fluid Dynamics held in Antalya, Turkey, in May 2007, the most recent developments and implementations of large-scale and grid computing were presented. This book, comprised of the invited and selected papers of this conference, details those advances, which are of particular interest to CFD and CFD-related communities. It also offers the results related to applications of various scientific and engineering problems involving flows and flow-related topics. Intended for CFD researchers and graduate students, this book is a state-of-the-art presentation of the relevant methodology and implementation techniques of large-scale computing.
Fluid dynamics -- Data processing -- Congresses. --- Fluid dynamics -- Data processing. --- Parallel processing (Electronic computers) -- Congresses. --- Parallel processing (Electronic computers). --- Computer Science --- Applied Mathematics --- Engineering & Applied Sciences --- Computational fluid dynamics --- Parallel processing (Electronic computers) --- 519.63 --- 51-74 --- 681.3*G18 --- 681.3 *G18 Partial differential equations: difference methods; elliptic equations; finite element methods; hyperbolic equations; method of lines; parabolic equations (Numerical analysis) --- Partial differential equations: difference methods; elliptic equations; finite element methods; hyperbolic equations; method of lines; parabolic equations (Numerical analysis) --- 519.63 Numerical methods for solution of partial differential equations --- Numerical methods for solution of partial differential equations --- Mathematics in engineering science and technology --- CFD (Computational fluid dynamics) --- Fluid dynamics --- Computer simulation --- Data processing --- Mathematics. --- Computer mathematics. --- Physics. --- Fluids. --- Applied mathematics. --- Engineering mathematics. --- Computational Mathematics and Numerical Analysis. --- Computational Science and Engineering. --- Appl.Mathematics/Computational Methods of Engineering. --- Fluid- and Aerodynamics. --- Theoretical, Mathematical and Computational Physics. --- 681.3 *G18 --- Computer science --- Computer science. --- Mathematical and Computational Engineering. --- Engineering --- Engineering analysis --- Mathematical analysis --- Informatics --- Science --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Mathematics --- Mathematical physics. --- Physical mathematics --- Physics --- Hydraulics --- Mechanics --- Hydrostatics --- Permeability
Choose an application
This book constitutes the refereed proceedings of the third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, held in Langenargen, Germany, in September 2009. The 28 revised papers were selected from 46 submissions. The papers are organized in topical sections on modelling; transaction level modelling; scheduling and real-time systems; simulation, verification and test; platforms and processors; automotive systems; and wireless sensor networks. The volume also includes three case studies and two tutorials.
Automotive computers -- Congresses. --- Automotive computers. --- Embedded computer systems -- Congresses. --- Embedded computer systems. --- Embedded computer systems --- Automotive computers --- Electrical Engineering --- Electrical & Computer Engineering --- Engineering & Applied Sciences --- Automotive microcontrollers --- Computer science. --- Computer organization. --- Special purpose computers. --- Computer system failures. --- User interfaces (Computer systems). --- Artificial intelligence. --- Computer-aided engineering. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Computer-Aided Engineering (CAD, CAE) and Design. --- User Interfaces and Human Computer Interaction. --- Special Purpose and Application-Based Systems. --- System Performance and Evaluation. --- Computer Systems Organization and Communication Networks. --- CAE --- Engineering --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Interfaces, User (Computer systems) --- Human-machine systems --- Human-computer interaction --- Computer failures --- Computer malfunctions --- Computer systems --- Failure of computer systems --- System failures (Engineering) --- Fault-tolerant computing --- Special purpose computers --- Computers --- Organization, Computer --- Electronic digital computers --- Informatics --- Science --- Data processing --- Failures --- Automobiles --- Microcontrollers --- Electronic equipment --- Computer aided design. --- Software engineering. --- Computer system performance. --- Computer network architectures. --- Artificial Intelligence. --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Computer software engineering --- CAD (Computer-aided design) --- Computer-assisted design --- Computer-aided engineering --- Design --- Human-computer interaction. --- Computers, Special purpose. --- Computer engineering. --- Computer networks. --- Computer Engineering and Networks. --- Evaluation. --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Computer-human interaction --- Human factors in computing systems --- Interaction, Human-computer --- Human engineering --- User-centered system design --- User interfaces (Computer systems) --- Distributed processing --- Design and construction
Listing 1 - 4 of 4 |
Sort by
|