Ditapis dengan
Proceedings of the 2nd International Conference on BioGeoSciences
On the Quantification of Habitability: Current Approaches -- The Dynamical Systems Approach to Modeling: the Universe as a Case Study.-Enlarging simple ecological models: subspecies, hidden symmetries and their implications -- Multi-agent question-answering system -- Seeding programming -- Schwarzschild Metric Disturbed by the Accelerated Expansion of the Universe -- Potential changes on anammo…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783030042332
- Deskripsi Fisik
- IX, 228 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
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
- -
Security and Privacy in the Age of Ubiquitous Computing
Regular Papers -- Accountable Anonymous E-Mail -- Protecting Consumer Data in Composite Web Services -- A Decision Matrix Approach -- Assignment of Security Clearances in an Organization -- Tool Supported Management of Information Security Culture -- ERPSEC - A Reference Framework to Enhance Security in ERP Systems -- A New Architecture for User Authentication and Key Exchange Using Password fo…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387256603
- Deskripsi Fisik
- XVI, 612 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
- -
Visualization, Explanation and Reasoning Styles in Mathematics
Mathematical Reasoning and Visualization -- Visualization in Logic and Mathematics -- From Symmetry Perception to Basic Geometry -- Naturalism, Pictures, and Platonic Intuitions -- Mathematical Activity -- Mathematical Explanation and Proof Styles -- Tertium Non Datur: On Reasoning Styles in Early Mathematics -- The Interplay Between Proof and Algorithm in 3rd Century China: The Operation as Pr…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9781402033353
- Deskripsi Fisik
- X, 300 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Variational Methods in Shape Optimization Problems
to Shape Optimization Theory and Some Classical Problems -- Optimization Problems over Classes of Convex Domains -- Optimal Control Problems: A General Scheme -- Shape Optimization Problems with Dirichlet Condition on the Free Boundary -- Existence of Classical Solutions -- Optimization Problems for Functions of Eigenvalues -- Shape Optimization Problems with Neumann Condition on the Free Bound…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780817644031
- Deskripsi Fisik
- VIII, 216 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Variational Analysis and Applications
1 -- The Work of G. Stampacchia in Variational Inequalities -- In Memory of Guido Stampacchia -- The Collaboration between Guido Stampacchia and Jacques-Louis Lions on Variational Inequalities -- In Memory of Guido Stampacchia -- Guido Stampacchia -- Memories of Guido Stampacchia -- In Memory of Guido Stampacchia -- Guido Stampacchia, My Father -- 2 -- Convergence and Stability of a Regularizat…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9780387242767
- Deskripsi Fisik
- XII, 1184 p. 40 illus.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