Works matching DE "CONSTRAINT satisfaction"

Results: 1783

Efficient CoM Motion Planning for Quadruped Robots' Quasi-Static Walking.

Published in:

Actuators, 2025, v. 14, n. 5, p. 202, doi. 10.3390/act14050202

By:

Nikolić, Milutin;
Mitić, Vladimir;
Savić, Srđan;
Zhang, Tianwei

Publication type:

Article

Neural Networks in solving Minesweeper.

Published in:

TASK Quarterly, 2023, v. 27, n. 4, p. 1, doi. 10.34808/FTWJ-Q764

By:

Lubarski, K.;
Samujło, B.;
Wszeborowski, K.

Publication type:

Article

Sequential learning and the interaction between biological and linguistic adaptation in language evolution.

Published in:

Interaction Studies, 2009, v. 10, n. 1, p. 5, doi. 10.1075/is.10.1.02rea

By:

Reali, Florencia;
Christiansen, Morten H.

Publication type:

Article

Lipschitzness is all you need to tame off-policy generative adversarial imitation learning.

Published in:

Machine Learning, 2022, v. 111, n. 4, p. 1431, doi. 10.1007/s10994-022-06144-5

By:

Blondé, Lionel;
Strasser, Pablo;
Kalousis, Alexandros

Publication type:

Article

Constraint-based clustering selection.

Published in:

Machine Learning, 2017, v. 106, n. 9-10, p. 1497, doi. 10.1007/s10994-017-5643-7

By:

Craenendonck, Toon;
Blockeel, Hendrik

Publication type:

Article

A formal proof and simple explanation of the QuickXplain algorithm.

Published in:

Artificial Intelligence Review, 2022, v. 55, n. 8, p. 6185, doi. 10.1007/s10462-022-10149-w

By:

Rodler, Patrick

Publication type:

Article

A preconditioned MinRes solver for time-periodic parabolic optimal control problems.

Published in:

Numerical Linear Algebra with Applications, 2013, v. 20, n. 5, p. 761, doi. 10.1002/nla.1842

By:

Kollmann, Markus;
Kolmbauer, Michael

Publication type:

Article

Numerical solutions of AXB = C for centrosymmetric matrix X under a specified submatrix constraint.

Published in:

Numerical Linear Algebra with Applications, 2011, v. 18, n. 5, p. 857, doi. 10.1002/nla.771

By:

Li, Jiao-fen;
Hu, Xi-yan;
Zhang, Lei

Publication type:

Article

Assessing SMT and CLP approaches for workflow nets verification.

Published in:

International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 4, p. 467, doi. 10.1007/s10009-018-0486-5

By:

Bride, Hadrien;
Kouchnarenko, Olga;
Peureux, Fabien;
Voiron, Guillaume

Publication type:

Article

Runtime verification of autopilot systems using a fragment of MTL-∫.

Published in:

International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 4, p. 379, doi. 10.1007/s10009-017-0470-5

By:

de Matos Pedro, André;
Pinto, Jorge Sousa;
Pereira, David;
Pinho, Luís Miguel

Publication type:

Article

Efficient model-checking of weighted CTL with upper-bound constraints.

Published in:

International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 4, p. 409, doi. 10.1007/s10009-014-0359-5

By:

Jensen, Jonas;
Larsen, Kim;
Srba, Jiří;
Oestergaard, Lars

Publication type:

Article

Incremental test case generation using bounded model checking: an application to automatic rating.

Published in:

International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 3, p. 339, doi. 10.1007/s10009-014-0317-2

By:

Anielak, Grzegorz;
Jakacki, Grzegorz;
Lasota, Sławomir

Publication type:

Article

Constraint-based BMC: a backjumping strategy.

Published in:

International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 1, p. 103, doi. 10.1007/s10009-012-0258-6

By:

Collavizza, Hélène;
Le Vinh, Nguyen;
Ponsini, Olivier;
Rueher, Michel;
Rollet, Antoine

Publication type:

Article

CCDL: the composable components description language.

Published in:

International Journal on Software Tools for Technology Transfer, 2007, v. 9, n. 2, p. 155, doi. 10.1007/s10009-006-0017-7

By:

Şora, Ioana;
Verbaeten, Pierre;
Berbers, Yolande

Publication type:

Article

Naturalistic arm movements during obstacle avoidance in 3D and the identification of movement primitives.

Published in:

Experimental Brain Research, 2012, v. 222, n. 3, p. 185, doi. 10.1007/s00221-012-3205-6

By:

Grimme, Britta;
Lipinski, John;
Schöner, Gregor

Publication type:

Article

Calibration and fast evaluation algorithms for homogeneous orthotropic polynomial yield functions.

Published in:

Computational Mechanics, 2024, v. 73, n. 6, p. 1219, doi. 10.1007/s00466-023-02408-6

By:

Soare, Stefan C.;
Diehl, Martin

Publication type:

Article

Elements of dynamic programming in local improvement constructions for heuristic solutions of routing problems with constraints.

Published in:

Automation & Remote Control, 2017, v. 78, n. 4, p. 666, doi. 10.1134/S0005117917040087

By:

Petunin, A.;
Chentsov, A.;
Chentsov, P.

Publication type:

Article

Routing under constraints: Problem of visit to megalopolises.

Published in:

Automation & Remote Control, 2016, v. 77, n. 11, p. 1957, doi. 10.1134/S0005117916110060

By:

Chentsov, A.;
Chentsov, P.

Publication type:

Article

Stochastic optimization model of locomotive assignment to freight trains.

Published in:

Automation & Remote Control, 2016, v. 77, n. 11, p. 1944, doi. 10.1134/S0005117916110059

By:

Ivanov, S.;
Kibzun, A.;
Osokin, A.

Publication type:

Article

Robust filtering for a class of nonlinear stochastic systems with probability constraints.

Published in:

Automation & Remote Control, 2016, v. 77, n. 1, p. 37, doi. 10.1134/S0005117916010033

By:

Ma, Lifeng;
Wang, Zidong;
Lam, Hak-Keung;
Alsaadi, Fuad;
Liu, Xiaohui

Publication type:

Article

A posteriori minimax estimation with likelihood constraints.

Published in:

Automation & Remote Control, 2012, v. 73, n. 9, p. 1481, doi. 10.1134/S0005117912090044

By:

Borisov, A.

Publication type:

Article

On studying monotonicity in the parameter of optimal solutions for one class of the parametric optimization problems.

Published in:

Automation & Remote Control, 2012, v. 73, n. 8, p. 1350, doi. 10.1134/S0005117912080085

By:

Levitin, E.;
Livshits, V.

Publication type:

Article

Optimization of the law of moving object evasion from detection under constraints.

Published in:

Automation & Remote Control, 2012, v. 73, n. 6, p. 992, doi. 10.1134/S0005117912060057

By:

Galyaev, A.;
Maslov, E.

Publication type:

Article

Constraint elimination method for the committee problem.

Published in:

Automation & Remote Control, 2012, v. 73, n. 2, p. 355, doi. 10.1134/S0005117912020130

By:

Kobylkin, K.

Publication type:

Article

Distribution of assignments among participants under conditions of constraints.

Published in:

Automation & Remote Control, 2011, v. 72, n. 8, p. 1690, doi. 10.1134/S0005117911080078

By:

Chentsov, P.

Publication type:

Article

Mean-Square Trend.

Published in:

Automation & Remote Control, 2003, v. 64, n. 7, p. 1145, doi. 10.1023/A:1024742403793

By:

Bakirov, N. K.;
Mustafaev, A. A.-V.

Publication type:

Article

Singularities in differential-algebraic systems with unilateral constraints.

Published in:

ZAMM -- Journal of Applied Mathematics & Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik, 1998, v. 78, p. 857, doi. 10.1002/zamm.19980781504

By:

Arnold, M.

Publication type:

Article

SEQCHIP: a powerful method to integrate sequence and genotype data for the detection of rare variant associations.

Published in:

Bioinformatics, 2012, v. 28, n. 13, p. 1745, doi. 10.1093/bioinformatics/bts263

By:

Liu, Dajiang J.;
Leal, Suzanne M.

Publication type:

Article

Truncated branch and bound achieves efficient constraint-based genetic design.

Published in:

Bioinformatics, 2012, v. 28, n. 12, p. 1619, doi. 10.1093/bioinformatics/bts255

By:

Egen, Dennis;
Lun, Desmond S.

Publication type:

Article

KABOOM! A new suffix array based algorithm for clustering expression data.

Published in:

Bioinformatics, 2011, v. 27, n. 24, p. 3348, doi. 10.1093/bioinformatics/btr560

By:

Hazelhurst, Scott;
Lipták, Zsuzsanna

Publication type:

Article

SurreyFBA: a command line tool and graphics user interface for constraint-based modeling of genome-scale metabolic reaction networks.

Published in:

Bioinformatics, 2011, v. 27, n. 3, p. 433, doi. 10.1093/bioinformatics/btq679

By:

Gevorgyan, Albert;
Bushell, Michael E.;
Avignone-Rossa, Claudio;
Kierzek, Andrzej M.

Publication type:

Article

Improved performance on high-dimensional survival data by application of Survival-SVM.

Published in:

Bioinformatics, 2011, v. 27, n. 1, p. 87, doi. 10.1093/bioinformatics/btq617

By:

Van Belle, V.;
Pelckmans, K.;
Van Huffel, S.;
Suykens, J. A. K.

Publication type:

Article

基于QFD与绿色特征的机床产品性能优化决策研究.

Published in:

Machine Tool & Hydraulics, 2023, v. 51, n. 1, p. 76, doi. 10.3969/j.issn.1001-3881.2023.01.014

By:

王鹏家;
彭宝营;
李方振;
吴伟;
刘永贤

Publication type:

Article

A CLASS OF MIXED VARIATIONAL-HEMIVARIATIONAL INEQUALITIES WITH HISTORY-DEPENDENT OPERATORS AND TIME-DEPENDENT CONSTRAINT SETS.

Published in:

Journal of Nonlinear & Variational Analysis, 2025, v. 9, n. 3, p. 309, doi. 10.23952/jnva.9.2025.3.01

By:

CHANG WANG;
YI-BIN XIAO;
DONG-LING CAI

Publication type:

Article

ON THE CONVERGENCE RATE OF DUAL ASCENT METHODS FOR LINEARLY CONSTRAINED CONVEX MINIMIZATION.

Published in:

Mathematics of Operations Research, 1993, v. 18, n. 4, p. 846, doi. 10.1287/moor.18.4.846

By:

Zhi-Quan Luo;
Paul Tseng

Publication type:

Article

Irony and Sarcasm.

Published in:

2023

By:

Xuan Li

Publication type:

Book Review

Seeing Motion Otherwise: Architectural Design and the Differently Sensing and Mobile.

Published in:

Space & Culture, 2012, v. 15, n. 3, p. 239, doi. 10.1177/1206331212445961

By:

Fitzsimons, J. Kent

Publication type:

Article

A NULL CONTROLLABILITY PROBLEM WITH A FINITE NUMBER OF CONSTRAINTS ON THE NORMAL DERIVATIVE FOR THE SEMILINEAR HEAT EQUATION.

Published in:

Electronic Journal of Qualitative Theory of Differential Equations, 2012, n. 75-99, p. 1, doi. 10.14232/ejqtde.2012.1.95

By:

LOUIS-ROSE, CAROLE

Publication type:

Article

Implicit Is Not Enough: Explicitly Enforcing Anatomical Priors inside Landmark Localization Models.

Published in:

Bioengineering (Basel), 2024, v. 11, n. 9, p. 932, doi. 10.3390/bioengineering11090932

By:

Joham, Simon Johannes;
Hadzic, Arnela;
Urschler, Martin

Publication type:

Article

Determination of the Optimal Location for Developments to Minimize Detention Requirements.

Published in:

Water Resources Management, 2013, v. 27, n. 15, p. 5089, doi. 10.1007/s11269-013-0453-6

By:

Chill, Jonathon;
Mays, Larry W.

Publication type:

Article

Optimal Short-term Reservoir Operation with Integrated Long-term Goals.

Published in:

Water Resources Management, 2012, v. 26, n. 10, p. 2833, doi. 10.1007/s11269-012-0051-z

By:

Sreekanth, J.;
Datta, Bithin;
Mohapatra, Pranab

Publication type:

Article

Constraint-based discriminative dimension selection for high-dimensional stream clustering.

Published in:

International Journal of Advances in Intelligent Informatics, 2018, v. 4, n. 3, p. 167, doi. 10.26555/ijain.v4i3.271

By:

Waiyamai, Kitsana;
Kangkachit, Thanapat

Publication type:

Article

Review implementation of linguistic approach in schema matching.

Published in:

International Journal of Advances in Intelligent Informatics, 2017, v. 3, n. 1, p. 1, doi. 10.26555/ijain.v3i1.75

By:

Martono, Galih Hendro;
S. N., Azhari

Publication type:

Article

A Hybrid Method based on Statistical Features and Packet Content Analysis to Identify Major Network Tunneling Protocols.

Published in:

Journal of Computing & Security, 2016, v. 3, n. 2, p. 95

By:

Kazemi, Keihan;
Fanian, Ali

Publication type:

Article

Improving Semi-supervised Constrained k-Means Clustering Method Using User Feedback.

Published in:

Journal of Computing & Security, 2014, v. 1, n. 4, p. 273

By:

Fatehi, Kavan;
Bozorgi, Arastoo;
Zahedi, Mohammad Sadegh;
Asgarian, Ehsan

Publication type:

Article

Accelerating Sequential Quadratic Programming for Inequality-Constrained Optimization near Critical Lagrange Multipliers.

Published in:

Advances in Systems Science & Applications, 2022, v. 22, n. 2, p. 73

By:

Izmailov, Alexey F.;
Rodin, Ivan S.

Publication type:

Article

Graph Methods for Improving the Invalid Solution of the Locomotive Assignment Problem under Time Constraints.

Published in:

Advances in Systems Science & Applications, 2022, v. 22, n. 2, p. 46

By:

Zhilyakova, Liudmila;
Koreshkov, Vasily

Publication type:

Article

Multi-constrained optimization in ball-end machining of carbon fiber-reinforced epoxy composites by PSO.

Published in:

Cogent Engineering, 2015, v. 2, n. 1, p. 1, doi. 10.1080/23311916.2014.993157

By:

Shahrajabian, Hamzeh;
Farahnakian, Masoud

Publication type:

Article

Efficient constraint reduction in multistage stochastic programming problems with endogenous uncertainty.

Published in:

Optimization Methods & Software, 2016, v. 31, n. 2, p. 359, doi. 10.1080/10556788.2015.1088850

By:

Hooshmand, F.;
MirHassani, S.A.

Publication type:

Article

A constraint shifting homotopy method for finding a minimal efficient solution of nonconvex multiobjective programming.

Published in:

Optimization Methods & Software, 2015, v. 30, n. 3, p. 634, doi. 10.1080/10556788.2014.959520

By:

Zhu, Zhichuan;
Xiong, Huijuan

Publication type:

Article