The following pages link to DBLP publication ID (P1635):
Displaying 50 items.
- Virtual elements for linear elasticity problems (Q2840379) (← links)
- Acyclic vertex coloring of graphs of maximum degree six (Q2840537) (← links)
- Robust planning for an open-pit mining problem under ore-grade uncertainty (Q2840676) (← links)
- A variable neighbourhood search approach to the cutwidth minimization problem (Q2840754) (← links)
- Mapping of visual receptive fields by tomographic reconstruction (Q2840859) (← links)
- Nearly extensive sequential memory lifetime achieved by coupled nonlinear neurons (Q2840864) (← links)
- An extension of the receiver operating characteristic curve and AUC-optimal classification (Q2840869) (← links)
- Adaptive metric learning vector quantization for ordinal classification (Q2840870) (← links)
- Adaptive classification on brain-computer interfaces using reinforcement signals (Q2840874) (← links)
- The basal ganglia optimize decision making over general perceptual hypotheses (Q2840875) (← links)
- Information-geometric measures for estimation of connection weight under correlated inputs (Q2840890) (← links)
- Design strategies for weight matrices of echo state networks (Q2840892) (← links)
- A common network architecture efficiently implements a variety of sparsity-based inference problems (Q2840897) (← links)
- Linear coordinate-descent message passing for quadratic optimization (Q2840898) (← links)
- Two-layer mathematical modeling of gene expression: incorporating DNA-level information and system dynamics (Q2841003) (← links)
- Compact normalisation trace via lazy rewriting (Q2841224) (← links)
- Interpreting abstract interpretations in membership equational logic (Q2841246) (← links)
- Efficient algorithms for the maximum subarray problem by distance matrix multiplication (Q2841268) (← links)
- Energy-efficient scheduling under delay constraints for wireless networks (Q2841484) (← links)
- Mixed Volume and Distance Geometry Techniques for Counting Euclidean Embeddings of Rigid Graphs (Q2841696) (← links)
- An Overview on Protein Structure Determination by NMR: Historical and Future Perspectives of the use of Distance Geometry Methods (Q2841717) (← links)
- Learning with Support Vector Machines (Q2841735) (← links)
- Active Learning (Q2841737) (← links)
- Reachability for finite-state process algebras using Horn clauses (Q2842001) (← links)
- Modular Semantics for Transition System Specifications with Negative Premises (Q2842096) (← links)
- A General Proof System for Modalities in Concurrent Constraint Programming (Q2842123) (← links)
- Neighborhood-Preserving Mapping between Trees (Q2842180) (← links)
- The Greedy Gray Code Algorithm (Q2842188) (← links)
- On the computation of fully proportional representation (Q2842192) (← links)
- Graph drawing in Ti\(k\)Z (Q2842202) (← links)
- Covariance matrices under Bell-like detections (Q2842277) (← links)
- Modular synthesis of timed circuits using partial orders on LPNs (Q2842584) (← links)
- Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification: a comparative description (Q2842591) (← links)
- Safety versus Security in the Quality Calculus (Q2842642) (← links)
- On Independence Domination (Q2842784) (← links)
- Optimising Problem Formulation for Cylindrical Algebraic Decomposition (Q2843003) (← links)
- Mathematical Practice, Crowdsourcing, and Social Machines (Q2843008) (← links)
- Escaping the Trap of Too Precise Topic Queries (Q2843028) (← links)
- Using MathML to Represent Units of Measurement for Improved Ontology Alignment (Q2843030) (← links)
- LaTeXML 2012 - A Year of LaTeXML (Q2843034) (← links)
- The Web Geometry Laboratory Project (Q2843041) (← links)
- Approximate Transient Analysis of Queuing Networks by Quasi Product Forms (Q2843052) (← links)
- Quantum Strategies Are Better Than Classical in Almost Any XOR Game (Q2843231) (← links)
- Parameterized Approximation via Fidelity Preserving Transformations (Q2843261) (← links)
- Interpolant Strength Revisited (Q2843336) (← links)
- Incompressible type limit analysis of a hydrodynamic model for charge-carrier transport (Q2843439) (← links)
- Active networks that maximize the amount of information transmission (Q2843504) (← links)
- Period adding in piecewise linear maps with two discontinuities (Q2843559) (← links)
- Irreversible bifurcation phenomenon in power-grid connected converter systems (Q2843596) (← links)
- Topological versus dynamical robustness in a lexical network (Q2843638) (← links)
