Ditapis dengan
Sequences and Their Applications - SETA 2004
Invited Papers -- A Survey of Some Recent Results on Bent Functions -- A Survey of the Merit Factor Problem for Binary Sequences -- A Survey of Feedback with Carry Shift Registers -- Univariate and Multivariate Merit Factors -- Complexity of Sequences I -- Discrete Fourier Transform, Joint Linear Complexity and Generalized Joint Linear Complexity of Multisequences -- Expected Value of the Linea…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320487
- Deskripsi Fisik
- XII, 451 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Research in Computational Molecular Biology
Efficient Algorithms for Detecting Signaling Pathways in Protein Interaction Networks -- Efficient Algorithms for Detecting Signaling Pathways in Protein Interaction Networks -- Towards an Integrated Protein-Protein Interaction Network -- The Factor Graph Network Model for Biological Systems -- Pairwise Local Alignment of Protein Interaction Networks Guided by Models of Evolution -- Finding Nov…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319504
- Deskripsi Fisik
- XVII, 632 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Relaxation and Decomposition Methods for Mixed Integer Nonlinear Programming
Basic Concepts -- Problem Formulations -- Convex and Lagrangian Relaxations -- Decomposition Methods -- Semidefinite Relaxations -- Convex Underestimators -- Cuts, Lower Bounds and Box Reduction -- Local and Global Optimality Criteria -- Adaptive Discretization of Infinite Dimensional MINLPs -- Algorithms -- Overview of Global Optimization Methods -- Deformation Heuristics -- Rounding, Partitio…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783764373740
- Deskripsi Fisik
- XVI, 213 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Regulatory Genomics
Predicting Genetic Regulatory Response Using Classification: Yeast Stress Response -- Detecting Functional Modules of Transcription Factor Binding Sites in the Human Genome -- Fishing for Proteins in the Pacific Northwest -- PhyloGibbs: A Gibbs Sampler Incorporating Phylogenetic Information -- Application of Kernel Method to Reveal Subtypes of TF Binding Motifs -- Learning Regulatory Network Mo…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322801
- Deskripsi Fisik
- VIII, 116 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Recent Trends in Algebraic Development Techniques
Invited Technical Paper -- Behavior-Preserving Refinement Relations Between Dynamic Software Architectures -- Contributed Papers -- Modelling Mobility with Petri Hypernets -- Cryptomorphisms at Work -- Towards a Formal Specification of an Electronic Payment System in CSP-CASL -- Algebraic Semantics of Design Abstractions for Context-Awareness -- CCC – The Casl Consistency Checker -- Ontologie…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540319597
- Deskripsi Fisik
- VIII, 280 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Using Algebraic Geometry
Solving Polynomial Equations -- Resultants -- Computation in Local Rings -- Modules -- Free Resolutions -- Polytopes, Resultants, and Equations -- Polyhedral Regions and Polynomials -- Algebraic Coding Theory -- The Berlekamp-Massey-Sakata Decoding Algorithm.In recent years, the discovery of new algorithms for dealing with polynomial equations, coupled with their implementation on fast inexpens…
- Edisi
- 2nd ed. 2005.
- ISBN/ISSN
- 9780387271057
- Deskripsi Fisik
- XII, 575 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Tutorials on Emerging Methodologies and Applications in Operations Research
Heuristic Search for Network Design -- Polyhedral Combinatorics -- Constraint Languages for Combinatorial Optimization -- A Tutorial on Radiation Oncology and Optimization -- Parallel Algorithm Design for Branch and Bound -- Computer-Aided Design for Electrical and Computer engineering -- Nonlinear Programming and Engineering Applications -- Connecting MRP, MRP II and ERP — Supply Chain Produ…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780387228273
- Deskripsi Fisik
- XVIII, 342 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Symbolic Integration I
Algebraic Preliminaries -- Integration of Rational Functions -- Differential Fields -- The Order Function -- Integration of Transcendental Functions -- The Risch Differential Equation -- Parametric Problems -- The Coupled Differential System -- Structure Theorems -- Parallel Integration.This first volume in the series "Algorithms and Computation in Mathematics" is destined to become the standar…
- Edisi
- 2nd ed. 2005.
- ISBN/ISSN
- 9783540268420
- Deskripsi Fisik
- XV, 325 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Solving Polynomial Equations
to residues and resultants -- Solving equations via algebras -- Symbolic-numeric methods for solving polynomial equations and applications -- An algebraist’s view on border bases -- Tools for computing primary decompositions and applications to ideals associated to Bayesian networks -- Algorithms and their complexities -- Toric resultants and applications to geometric modelling -- to numerica…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540273578
- Deskripsi Fisik
- XIV, 426 p. 44 illus., 11 illus. in color.online resource.
- Judul Seri
- -
- No. Panggil
- -
A Modern Perspective on Type Theory
The Evolution of Type Theory until the 1940s -- Prehistory -- Type theory in Principia Mathematica -- Deramification -- Propositions as Types, Pure Type Systems, AUTOMATH -- Propositions as Types and Pure Type Systems -- The pre-PAT RTT and STT in PAT-style -- A Correspondence between RTT and the system Nuprl -- Automath -- Extensions of Pure Type Systems -- Pure Type Systems with definitions -…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9781402023354
- Deskripsi Fisik
- XIV, 360 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah