Computation Theory and Mathematics
FOR 2008 4 digit Code
Overview
Subject area for

Conference Papers Refereed

Conference Proceedings

Journal Articles

3D IMAGING AND SIMULATION OF ELASTIC PROPERTIES OF POROUS MATERIALS

A BDI agent system for the cow herding domain

A C0 Linear Finite Element Method for Biharmonic Problems

A FRAMEWORK FOR ADAPTIVE SORTING

A MODIFIED PRONY ALGORITHM FOR EXPONENTIAL FUNCTION FITTING

A MODIFIED PRONY ALGORITHM FOR FITTING FUNCTIONS DEFINED BY DIFFERENCEEQUATIONS

A New Approach to the Giant Component Problem

A bijection between classes of fully packed loops and plane partitions

A combinatorial derivation of the PASEP stationary state

A computationally efficient method for bootstrapping systems of demand equations: A comparison to traditional techniques

A conjectured formula for fully packed loop configurations in a triangle

A discrepancy bound for deterministic acceptancerejection samplers beyond in dimension 1

A dualactiveset algorithm for positive semidefinite quadratic programming

A heuristic algorithm for finding costeffective solutions to realworld school bus routing problems

A new and practical influence measure for subsets of covariance matrix sample principal components with applications to high dimensional datasets

A new integrable convergence acceleration algorithm for computing BrezinskiDurbinRedivoZaglia's sequence transformation via pfaffians

A new kind of Diophantine equations

A note on the compression theorem for convex surfaces

A polynomial time algorithm for rectilinear Steiner trees with terminals constrained to curves

A polynomially solvable case of the pooling problem

A sequential coloring algorithm for finite sets

A simple solution to the kcore problem

A treebased Mergesort

A useful substructural logic

ACcESS: Australia's contribution to the iSERVO Institute's development

AN ALL PAIRS SHORTESTPATH ALGORITHM WITH EXPECTED TIME O(N2LOGN)

Algorithms for solving Lagrangian multistage decision problems

Alignmentfree inference of hierarchical and reticulate phylogenomic relationships

Alternative stabilities of a prolinerich antibacterial peptide in vitro and in vivo

An algorithm for affine approximation of binary decision diagrams

An infinite family of cubic nonnormal Cayley graphs on nonabelian simple groups

An outer approximate subdifferential method for piecewise affine optimization

Analysis of cDNA microarray images.

Analysis of inhibitor binding in influenza virus neuraminidase

Approximate fixedrank closures of covering problems

Area distribution and scaling function for punctured polygons

Around the RazumovStroganov conjecture: Proof of a multiparameter sum rule

Backbone dynamics measurements on leukemia inhibitory factor, a rigid fourhelical bundle cytokine

Bayesian inference for the hazard term structure with functional predictors using Bayesian predictive information criteria

Best linear estimation via minimization of relative mean squared error

Best practices in bioinformatics training for life scientists

Bicoloured Dyck paths and the contact polynomial for n nonintersecting paths in a halfplane lattice

Bioinformatics Training Network (BTN): a community resource for bioinformatics trainers

Bioinformatics training: A review of challenges, actions and support requirements

Bioinformatics training: Selecting an appropriate learning content management systemcan example from the European Bioinformatics Institute

Bisecting sparse random graphs

Bisecting sparse random graphs

Bond graph modelling

Bond graphs in model matching control

Bounding the gap between the McCormick relaxation and the convex hull for bilinear functions

Building uniformly random subtrees

CYCLOTOMIC DIFFERENCE SETS IN FINITE FIELDS

Characterization of a comparative model of the extracellular domain of the Epidermal Growth Factor receptor

Cleaved antitrypsin polymers at atomic resolution

Cliquebased facets for the precedence constrained knapsack problem

Comparing 2D vector field visualization methods: A user study

Component structure of the configuration model: Barely supercritical case

Concentration for locally acting permutations

Conditional invariants and interpolation theorems for graphs

Conformational analysis of HAMLET, the folding variant of human αlactalbumin associated with apoptosis

Connectivity of workflow nets: the foundations of stepwise verification

Control of manpower systems by recruitment

Critical points for the Steiner ratio

Cubic graphical regular representations of PSL2 (q)

DEA/assurance region sbdc efficiency and unique projections

DISJOINT HAMILTONIAN CYCLES IN FAN 2KTYPE GRAPHS

Decomposability of finitely generated torsionfree nilpotent groups

Degree‐five Steiner points cannot reduce network costs for planar sets

Dimsym and LIE: Symmetry determination packages

Discovering the suitability of optimisation algorithms by learning from evolved instances

Discrete event simulation case study: Diagnostic path for stroke patients in a stroke unit

Domain selection for the varying coefficient model via local polynomial regression

Domination number and neighbourhood conditions

Dynamic algorithm selection for pareto optimal set approximation

Dynamics of the SPRY domaincontaining SOCS box protein 2: Flexibility of key functional loops

Enhanced direct and indirect genetic algorithm approaches for a mall layout and tenant selection problem

Enhanced protein fold recognition using secondary structure information from NMR

Enumeration of Almost‐Convex Polygons on the Square Lattice

Establishing a distributed national research infrastructure providing bioinformatics support to life science researchers in Australia

Evaluation of Tweedie exponential dispersion model densities by Fourier inversion

Exploring the role of graph spectra in graph coloring algorithm performance

Finite difference schemes for multilayer diffusion

Generating Applicable Synthetic Instances for Branch Problems

Generation of ligandreceptor alliances by "SEA" modulemediated cleavage of membraneassociated mucin proteins

Gradient Recovery for the CrouzeixRaviart Element

Guest editors' foreword

HESSIAN RECOVERY FOR FINITE ELEMENT METHODS

Harpertype lower bounds and the bandwidths of the compositions of graphs

HiTrees and Their Layout

Inconsistent models of arithmetic part II: The general case

Indexing and Querying Semistructured Data Views of Relational Database

Indicators of solvability for lattice models

Influenza virus neuraminidase: Structure, antibodies, and inhibitors

Interpolation theorems for graphs, hypergraphs and matroids

Interquantile shrinkage and variable selection in quantile regression

Law of Large Numbers for the SIR Epidemic on a Random Graph with Given Degrees

LittlewoodRichardson coefficients and integrable tilings

MATROID TREE GRAPHS AND INTERPOLATION THEOREMS

MEANVALUE ANALYSIS FOR A CLASS OF PETRI NETS AND BATCHMOVEMENT QUEUINGNETWORKS WITH PRODUCTFORM EQUILIBRIUM DISTRIBUTIONS

MODELING HANDOVERS IN CELLULAR MOBILE NETWORKS WITH DYNAMIC CHANNEL ALLOCATION

Mathematical models for motion of the rear ends of vehicles

Matrix Bidding in Combinatorial Auctions

Matrix integrals and the counting of tangles and links

Maximal profit dimensioning and tariffing of loss networks with crossconnects

Minimum networks in uniform orientation metrics

Mining and visualising ordinal data with nonparametric continuous BBNs

Mix: A selfapplicable partial evaluator for experiments in compiler generation

Modeling conformational changes in cyclosporin A

Modelling and analysis of a software system with improvements in the testing phase

Modelling and simulating retail management practices: a first approach

Modularising the specification of a small database system in extended ML

Multiclass classification and gene selection with a stochastic algorithm

Mutagenic analysis of conserved arginine residues in and around the novel sulfate binding pocket of the human Theta class glutathione transferase T22

New multicommodity flow formulations for the pooling problem

Nextgeneration sequencing: A challenge tomeet the increasing demand for training workshops in Australia

Noncovalent scFv multimers of tumortargeting antiLewis(y) hu3S193 humanized antibody

Nonlinear Accumulating Priority Queues with Equivalent Linear Proxies

On inductive inference of cyclic structures

On the doubly refined enumeration of alternating sign matrices and totally symmetric selfcomplementary plane partitions

On the optimization of Gegenbauer operational matrix of integration

Optimal arrangement of data in a tree directory

Optimal arrangement of data in a tree directory (vol 113, pg 243, 2001)

Oxidized and synchrotron cleaved structures of the disulfide redox center in the Nterminal domain of Salmonella typhimurium AhpF

PERFECT CODES IN CAYLEY GRAPHS

PODDEIM reduction of computational EMG models

Partitioned algorithms for maximum likelihood and other nonlinear estimation

Perfect codes in circulant graphs

Plate tectonics and convection in the Earth's mantle: Toward a numerical simulation

Polynomial Preserving Recovery for High Frequency Wave Propagation

Probing the nature of interactions in SH2 binding interfaces  Evidence from electrospray ionization mass spectrometry

Proof of the RazumovStroganov conjecture for some infinite families of link patterns

Proximity Benders: a decomposition heuristic for stochastic programs

Public key encryption resilient to leakage and tampering attacks

Quasireversibility and networks of queues with nonstandard batch movements

REFERENTIAL TRANSPARENCY, DEFINITENESS AND UNFOLDABILITY

ROLE OF THE CTERMINUS IN THE ACTIVITY, CONFORMATION, AND STABILITY OF INTERLEUKIN6

Radio number of trees

Recursive cubes of rings as models for interconnection networks

Redoxrelated conformational changes in Rhodobacter capsulatus cytochrome c(2)

Regulation and crystallization of phosphorylated and dephosphorylated forms of truncated dimeric phenylalanine hydroxylase

Representing change: a system model of organizational inertia and capabilities as dynamic accumulation processes

Role of the 620 disulfide bridge in the structure and activity of epidermal growth factor

SOLVING A CLASS OF MULTIPLICATIVE PROGRAMMINGPROBLEMS VIA CPROGRAMMING

Semiparametric extended Poisson process models for count data

Simulations of Shor's algorithm using matrix product states

Simultaneous Solution of Lagrangean Dual Problems Interleaved with Preprocessing for the Weight Constrained Shortest Path Problem

Software reliability modeling with removed errors and compoundeddecreasedrate

Steiner trees for terminals constrained to curves

Strong stochastic bounds for the stationary distribution of a class of multicomponent performability models

Superconvergent TwoGrid Methods for Elliptic Eigenvalue Problems

Supervised, semisupervised and unsupervised inference of gene regulatory networks

THE SIMPLEXMETHOD AS A GLOBAL OPTIMIZER  A CPROGRAMMING PERSPECTIVE

THE STEINER MINIMAL NETWORK FOR CONVEX CONFIGURATIONS

THE STEINER RATIO CONJECTURE FOR COCIRCULAR POINTS

The Greedy Independent Set in a Random Graph with Given Degrees

The MTA1 subunit of the nucleosome remodeling and deacetylase complex can recruit two copies of RBBP4/7

The Plurality of Social Relations. κPartite Representations of Interdependent Social Forms

The Second Largest Component in the Supercritical 2D Hamming Graph

The covering radii of the 2transitive unitary, Suzuki, and Ree groups

The covering radius of PGL(2)(q)

The isoperimetric number of the incidence graph of PG(n, q)

The phase transition in the clusterscaled model of a random graph

The trivial object and the nonuiviality of a semantically closed theory with descriptions

The vertexisoperimetric number of the incidence and nonincidence graphs of unitals

Three‐dimensional structure of the complex of 4‐guanidino‐Neu5Ac2en and influenza virus neuraminidase

Tighter bounds of the First Fit algorithm for the binpacking problem

Towards the development of a simulator for investigating the impact of people management practices on retail performance

Transient product from distributions in queueing networks

Tsoro and Hungarian approaches: A hybrid algorithm for an assignment problem

Two algorithms for fitting constrained marginal models

Upper bounds for fdomination number of graphs

Using genetic algorithms to solve inverse problems

Validation of a microsimulation of the Port of Dover

Virtual screening of molecular databases using a Support Vector Machine

Water mediated proteinDNA interactions: The relationship of thermodynamics to structural detail

Journal Articles Refereed

A 15colouring of 3space omitting distance one

A Cellular Genetic Algorithm with Disturbances: Optimisation Using Dynamic Spatial Interactions

A Combinatorial Derivation of the PASEP Stationary State

A Gallaitype equality for the total domination number of a graph

A Linear Programmingdriven Genetic Algorithm for MetaScheduling on Utility Grids

A New Construction of Central Relative (p^a,p^a,p^a,1)  Difference Sets

A Novel Approach to Phylogenetic Trees: dDimensional Geometric Steiner Trees

A brief overview of amyloids and Alzheimer's disease

A categorization approach to automated ontological function annotation

A characterization of λd,1minimal trees and other attainable classes

A class of arctransitive Cayley graphs as models for interconnection networks

A class of full (d,1)colorable trees

A class of quaternary noncyclic Hadamard matrices

A data clustering approach to discriminating impersonating devices in WiFi networks

A distancelabelling problem for hypercubes

A family of symmetric graphs with complete quotients

A flowdependent quadratic Steiner tree problem in the Euclidean plane

A formal analysis of interestbased negotiation

A framework for optimization under limited information

A highresolution solution structure of a trypanosomatid FYVE domain

A hitchhiker's guide to expressed sequence tag (EST) analysis

A lagrangian relaxation and ACO hybrid for resource constrained project scheduling with discounted cash flows

A latent variable model for estimating disease transmission rate from data on household outbreaks

A lineartime algorithm for the orbit problem over cyclic groups

A new approach for structure analysis of twodimensional membrane protein crystals using Xray powder diffraction data

A new periodicity lemma

A nonuniform birthday problem with applications to discrete logarithms

A note on shortest path problems with forbidden paths

A numerical investigation of the accuracy of parametric bootstrap for discrete data

A numerical method for annuitypurchasing decision making to minimize the probability of financial ruin for regimeswitching wealth models

A polynomial algorithm for a constrained traveling salesman problem

A robust Pspline approach to closed population capture–recapture models with time dependence and heterogeneity

A semantic web ontology for small molecules and their biological targets

A spatiotemporal compression based approach for efficient big data processing on Cloud

A statistical approach to the interpretation of molecular dynamics simulations of calmodulin equilibrium dynamics.

A study of 3arc graphs

Abelianbypolycyclic groups of homological type FP3

An Algorithm for Affine Approximation of Binary Decision Diagrams

An EM algorithm for the model fitting of Markovian binary trees

An Efficient Semiimplicit Solver for Direct Numerical Simulation of Compressible Flows at All Speeds

An I/OEfficient Algorithm for Computing Vertex Separators on MultiDimensional Grid Graphs and Its Applications

An Optimal Sensor Architecture for WiFi Intrusion Detection

An alternative objective function for fitting regression trees to functional response variables

An exact algorithm for the bottleneck 2connected kSteiner network problem in Lp planes

An improved interpolation scheme for finite volume simulations on unstructured meshes

An induced natural selection heuristic for finding optimal Bayesian experimental designs

An inequality between the diameter and the inverse dual degree of a tree

An iterative algorithm for parametrization of shortest length linear shift registers over finite chain rings

Analysis of the anisotropic spatial variability and threedimensional computer simulation of agricultural soil bulk density in an alluvial plain of north China

Analyzing vortex breakdown flow structures by assignment of colors to tensor invariants

Application of the Rasch model in categorical pedigree analysis using MCEM: I Binary data

Approximating Minimum Steiner Point Trees in Minkowski Planes

Approximations and lower bounds for the length of minimal Euclidean Steiner Trees

Area distribution and scaling function for punctured polygons

Bayesian panel data analysis for exploring the impact of subprime financial crisis on the US stock market

Bayesian point null hypothesis testing via the posterior likelihood ratio

Bayesian skew selection for multivariate models

Behavioral models for list decoding

Bicoloured Dyck paths and the contact polynomial forn nonintersecting paths in a halfplane lattice

Bioinformatics, multiscale modeling and the IUPS Physiome Project

Bond graph based control and substructuring

Cache Conscious Data Structures for Boolean Satisfiability Solvers

Cacheconscious Sorting of Large Sets of Strings with Dynamic Tries

Cacheefficient string sorting using copying

Calorimetric and structural studies of the nitric oxide carrier Snitrosoglutathione bound to human glutathione transferase P11

Classification of a family of symmetric graphs with complete 2arctransitivequotients

Clustering with Qualitative Information

Coherent state exchange in multiprover quantum interactive proof systems

CommViz: Visualization of semantic patterns in large social communication networks

Common edges in rooted trees and polygonal triangulations

Comparing two videobased techniques for driver fatigue detection: classification versus optical flow approach

Complex networks and evolutionary games

Computing Highly Accurate or Exact Pvalues using Importance Sampling

Computing highly accurate confidence limits from discrete data using importance sampling

Computing minimum 2edgeconnected Steiner networks in the Euclidean plane

Conserved mainchain peptide distortions: a proposed role for Ile203 in catalysis by dihydrodipicolinate synthase.

Construction of lowhitzone frequency hopping sequences with optimal partial Hamming correlation by interleaving techniques

Cores of Imprimitive Symmetric Graphs of Order a Product of Two Distinct Primes

Corrigendum to "Shifting: Oneinclusion mistake bounds and sample compression"

Counting feasible solutions of the traveling salesman problem with pickups and deliveries is #Pcomplete

Coxeter groups act on CAT(0) cube complexes

CrossSelling Investment Products with a WinWin Perspective in Portfolio Optimization

Cryptographic protocols with everyday objects

Crystal structure of human insulinregulated aminopeptidase with specificity for cyclic peptides

Crystal structure of the Leishmania major MIX protein: A scaffold protein that mediates proteinprotein interactions

Curvatureconstrained directionalcost paths in the plane

Datadriven boundary estimation in deconvolution problems

Decentralised workflow scheduling in volunteer computing systems

Decycling numbers of random regular graphs

Degenerate random environments

Developmental Motifs Reveal Complex Structure in Cell Lineages

Diameter and connectivity of 3arc graphs

Dijkstra's algorithm revisited: the dynamic programming connexion

Discrete Mathematics: Preface

Distance domination and amplifier placement problems

Distancetwo labellings of Hamming graphs

Drift conditions for matrixanalytic models

Dynamic Control of a Queue with Adjustable Service Rate

Dynamic programming: an overview

Dynamics of Ca2+ saturated calmodulin D129N mutant studied by multiple molecular dynamics simulations

Efficient and Exact Tests of the Risk Ratio in a Correlated 2 x 2 Table with Structural Zero

Energyaware simulation with DVFS

Entangled games are hard to approximate

Enumeration of areaweighted Dyck paths with restricted height

Enumerations in statistical and combinatorics

Equivalence, Indicators, Quasiindicators and Optimal Steiner Topologies on Four Points in Space

Estimating the number of hosts corresponding to an intrusion alert while preserving privacy

Estimation of blocking probabilities in cellular networks with dynamic channel assignment

Estimation of survival and capture probabilities in open population capturerecapture models when covariates are subject to measurement error

Exploration of Networks Using Overview+Detail with Constraintbased Cooperative Layout

Extensions of characters of discrete torsionfree nilpotent groups

Extracting reaction networks from databasesopening Pandora's box

Face diagrams

Factor estimation using MCMCbased Kalman filter methods

Failure Management for Reliable Cloud Computing: A Taxonomy, Model and Future Directions

Fast Kernel Smoothing by a LowRank Approximation of the Kernel Toeplitz Matrix

Finite locally quasiprimitive graphs

Finite symmetric graphs with 2arc transitive quotients II

Finitely presented extensions by free groups

Fitting quotients of finitely presented abelianbynilpotent groups

Flexibility of Steiner Trees in uniform orientation metrics

Forbidden subpaths for Steiner minimum networks in uniform orientation metrics

Formal Theory of Noisy Sensor Network Localization

Forwarding and optical indices of 4regular circulant networks

Frequent problems in calculating integrals and optimizing obejctive functions: a case study in density deconvolution.

GarQ: An efficient scheduling data structure for advance reservations of grid resources

Global invexity and duality in mathematical programming

Glutathione transferase P11 as an arsenic drugsequestering enzyme

Gossiping and routing in undirected TripleLoop networks

Gradientconstrained discounted Steiner trees I: optimal tree configurations

Gradientconstrained discounted Steiner trees II: optimally locating a discounted Steiner point

Gradientconstrained minimum networks (II). Labelled or locally minimal Steiner points

Gradientconstrained minimum networks. I. fundamentals

Gridscape II: An extensible grid monitoring portal architecture and its integration with Google Maps

Group distance magic and antimagic graphs

Hadwiger's Conjecture for the Complements of Kneser Graphs

Hadwiger’s conjecture for 3arc graphs

Hamiltonicity of 3Arc Graphs

Hamiltonicity of random graphs produced by 2processes

Hereditarily sgroups

HighQuality UltraCompact Grid Layout of Grouped Networks

Highprecision biological event extraction: Effects of system and data

Hybridisation effect on operating costs and optimal sizing of components for hybrid electric vehicles

Hyper sensitivity analysis of portfolio optimization problems

Identification of very small open reading frames in the genomes of Holmes Jungle virus, Ord River virus, and Wongabel virus of the genus Hapavirus, family Rhabdoviridae

Imprimitive symmetric graphs, 3arc graphs and 1designs

Improved preprocessing, labelling and scaling algorithms for the weight constrained shortest path problem

Influence of the Hsite residue 108 on human glutathione transferase P11 ligand binding: structurethermodynamic relationships and thermal stability.

Information Free Quantum Bus for Generating Stabiliser States

Integration of simulation and optimization for evacuation planning

Intrasteric control of AMPK via the γ1 subunit AMP allosteric regulatory site

KALwEN: a new practical and interoperable key management scheme for body sensor networks

Kinship verification from facial images and videos: human versus machine

Labeling outerplanar graphs with maximum degree three

Labelling Cayley graphs on abelian groups

Large forbidden trade volumes and edge packings of random graphs

Linear Arboricity and Linear kArboricity of Regular Graphs

Linear and cyclic distancethree labellings of trees

Local bandwidth selectors for deconvolution kernel density estimation

Locally minimal uniformly oriented shortest networks

Locally restricted colorings of graphs

Logical Queries over Views: Decidability and Expressiveness

Loops, matchings and alternatingsign matrices

Mathematical pluralism

Maximizing the net present value of a Steiner tree

Minislotbased transmission scheme for local customer internetworking in PONs

Minimal CurvatureConstrained Paths In The Plane With A Constraint On Arcs With Opposite Orientations

Minimal curvatureconstrained networks

Minimizing BeamOn time in cancer radiation treatment using multileaf collimators

Minimum Bottleneck Spanning Trees with Degree Bounds

Minimum cardinality nonanticipativity constraint sets for multistage stochastic programming

Minimum cost flowdependent communication networks

Minimum distance estimators of population size from snowball samples using conditional estimation and scaling of exponential random graph models

Modeling of water and nitrogen utilization of layered soil profiles under a wheatmaize cropping system

Models and branchandcut algorithms for the Steiner tree problem with revenues, budget and hop constraints

Monitoring of an aeroponic greenhouse with a sensor network

Multiplier bootstrap methods for conditional distributions

NPcompleteness of minimal width unordered tree layout

Network Security Framework

Network optimization for the design of underground mines

Networkcentric performance analysis of runtime application migration in mobile cloud computing

New pruning rules for the Steiner tree problem and 2connected Steiner network problem

Nextgeneration sequencing: A challenge tomeet the increasing demand for training workshops in Australia

Nohole 2distant colouring for Cayley graphs on finitely generated abelian groups

Noncupping, Measure and Computably Enumerable Splittings

Nonparametric regression using linear combinations of basis functions

Numerical Analysis for Progressive Collapse Potential of a Typical Framed Concrete Building

ObjectBased Image Content Characterisation for SemanticLevel Image Similarity Calculation

On RefinementClosed Security Properties and Nondeterministic Compositions

On isomorphisms of minimal Cayley graphs and digraphs

On sourceterm parameter estimation for linear advectiondiffusion equations with uncertain coefficients

On the augmented Lagrangian dual for integer programming

On the expressive power of behavioral profiles

On the limits of refinementtesting for modelchecking CSP

On the number of benzenoid hydrocarbons

On time series model selection involving many candidate ARMA models

OnLine Scheduling of Empty Containers

Online Machine Scheduling with Family Setups

Optimal curvature and gradientconstrained directional cost paths in 3space

Optimal radio labellings of complete mary trees

Optimum Steiner Ratio for GradientConstrained Networks Connecting Three Points in 3Space, Part I

Optimum Steiner Ratio for GradientConstrained Networks Connecting Three Points in 3Space, Part II: The GradientConstraint m Satisfies 1 ≤ m ≤ √3

Parameter uncertainty, sensitivity analysis, and prediction error in a waterbalance hydrological model

Parsimonious and powerful composite likelihood testing for group difference and genotypephenotype association

Path inequalities for the vehicle routing problem with time windows

Polyhedral results and exact algorithms for the asymmetric travelling salesman problem with replenishment arcs

Portfolio and Investment Risk Analysis on Global Grids

Portfolio approaches for constraint optimization problems

Practical bandwidth selection in deconvolution kernel density estimation

Predictive modelling of gene expression from transcriptional regulatory elements

Preventing serpin aggregation: The molecular mechanism of citrate action upon antitrypsin unfolding

Propositional Dynamic Logic for Reasoning about FirstClass Agent Interaction Protocols

Quaternary structure of WzzB and WzzE polysaccharide copolymerases

Radio number of trees

Redesigning the String Hash Table, Burst Trie, and BST to Exploit Cache

Reference Abstract Domains and Applications to String Analysis

Reflections on some groups of BH Neumann

Removing Propagation Redundant Constraints in Redundant Modeling

Response improvement in complex experiments by coinformation composite likelihood optimization

Robust heart rate variability analysis by generalized entropy minimization

Rotational circulant graphs

Rotationally optimal spanning and steiner trees in uniform orientation metrics

Routing permutations and involutions on optical ring networks: complexity results and solution to an open problem

SLAbased admission control for a SoftwareasaService provider in Cloud computing environments

SWARM: Cultivating EvidenceBased Reasoning

Scheduling Unit Time Arc Shutdowns to Maximize Network Flow Over Time: Complexity Results

Scheduling arc maintenance jobs in a network to maximize total flow over time

Scipion web tools: Easy to use cryoEM image processing over the web

Setwise and filtered Gibbs samplers for teletraffic analysis

Shifting: Oneinclusion mistake bounds and sample compression

Simple heuristics for the assembly line worker assignment and balancing problem

Simulating Quantum Correlations with Finite Communication

Simulation modelling in mental health: A systematic review

Simultaneous inference in structured additive conditional copula regression models: a unifying Bayesian approach

Solving Partial Order Constraints for LPO Termination

Some new selfavoiding walk and polygon models

Some properties of optimal multifunctions in parametric multiobjective optimization with setvalued maps

Spatial embedding as an enabling constraint: Introduction to a special issue of complexity on the topic of "Spatial Organization"

Spectral properties of unitary Cayley graphs of finite commutative rings

Steiner tree problem with profits

Steiner trees for fixed orientation metrics

Structural characterization of the Nterminal autoregulatory sequence of phenylalanine hydroxylase

Structure and function of LGR5: An enigmatic Gprotein coupled receptor marking stem cells

Structure of amylasebinding protein A of Streptococcus gordonii: A potential receptor for human salivary amylase enzyme

Structure of the lysine specific protease Kgp from Porphyromonas gingivalis, a target for improved oral health

Supervised, semisupervised and unsupervised inference of gene regulatory networks

Supplier Competition with Option Contracts for Discrete Blocks of Capacity

Survivable minimum bottleneck networks

The Cterminal domain of biotin protein ligase from E. coli is required for catalytic activity

The Gilbert arborescence problem

The bottleneck 2connected kSteiner network problem for k≤2

The cogrowth series for BS(N, N) is Dfinite

The corridor method: a dynamic programming inspired metaheuristic

The garbage can model of organizational choice: An agentbased reconstruction

The geometry of nondistributive logics

The geometry of the Newton method on noncompact lie groups

The island confinement method for reducing search space in local search methods

The molecular details of cytokine signaling via the JAK/STAT pathway

The query complexity of estimating weighted averages

The uniform orientation steiner tree problem is NPhard

The versatility of the alpha beta Tcell antigen receptor

Threearc graphs: Characterization and domination

Total perfect codes in Cayley graphs

Towards fullyresolved PIV measurements in high Reynolds number turbulent boundary layers with DSLR cameras

Translational packing of arbitrary polytopes

Trees for E

Tricolore 3designs in Type III codes

Understanding the Relationship between Interactive Optimisation and Visual Analytics in the Context of Prostate Brachytherapy

Unique games with entangled provers are easy

Unitary graphs

Untanglings: a novel approach to analyzing concurrent systems

Using Random Sampling to Build Approximate Tries for Efficient String Sorting

Using capturerecapture data and hybrid Monte Carlo sampling to estimate an animal population affected by an environmental catastrophe

Variance component models for longitudinal count data with baseline information: epilepsy data revisited

Variational algorithms for biclustering models

Virtual Reference Environments: a simple way to make research reproducible

Virtual Screening Against CarbohydrateBinding Proteins: Evaluation and Application to Bacterial Burkholderia ambifaria Lectin

Virtual properties of cyclically pinched onerelator groups

Weaving computational grids: how analogous are they with electrical grids?

Journal Articles Unrefereed

Journal Articles Unrefereed Letters Or Notes

Minor Reports And Working Papers

Other Refereed Contribution To Refereed Journals

Research Book Chapters
Broader term
Other
Narrower term