Open Save New
FeedNavigator / National Library of Health Sciences
Computer Science
AddActa Automatica Sinica
AddAd hoc networks
AddAdvanced engineering informatics
AddAdvanced robotics
AddAnalog integrated circuits and signal processing
AddAnnals of telecommunications - Annales des télécommunications
AddAnnual reviews in control
AddApplied soft computing
AddAutomation and remote control
AddAutomation in construction
AddAutonomous robots
AddBioData Mining
AddBioinformatics (journal)
AddBiomedical Digital Libraries
AddBMC Bioinformatics
AddBMC Medical Informatics and Decision Making
AddBriefings in Bioinformatics
AddCentral European journal of operations research
AddCIN: Computers, Informatics, Nursing
AddCluster computing
AddCognitive systems research
AddComputational Intelligence
AddComputer animation and virtual worlds
AddComputer communications
AddComputer fraud and security
AddComputer languages, systems and structures
AddComputer Methods and Programs in Biomedicine
AddComputer networks
AddComputer speech and language
AddComputer vision and image understanding
AddComputerized Medical Imaging and Graphics
AddComputers in Biology and Medicine
AddComputing and visualization in science
AddCybernetics and systems analysis
AddCyberpsychology & behavior
AddDesign automation for embedded systems
AddDigital Creativity
AddDiscrete event dynamic systems
AddDynamical systems
AddElectronic Commerce Research
AddEngineering applications of artificial intelligence
AddEURASIP Journal on Advances in Signal Processing
AddEURASIP Journal on Bioinformatics and Systems Biology
AddEURASIP Journal on Embedded Systems
AddEURASIP Journal on Image and Video Processing
AddEURASIP Journal on wireless communications and networking
AddEuropean journal of control
AddExpert systems with applications
AddHuman-computer interaction
AddIEEE/ACM Transactions on Computational Biology and Bioinformatics
AddImage and vision computing
AddInformatics for Health and Social Care
AddInformatics In Primary Care
AddInformation & management
AddInformation and Communications Technology Law
AddInformation and computation
AddInformation and software technology
AddInformation systems and e-business management
AddInformation Systems Frontiers
AddInformation Systems Research
AddIntelligent service robotics
AddInternational Journal of Automation and computing
AddInternational journal of computer vision
AddInternational Journal of Control, Automation and Systems
AddInternational Journal of Critical Infrastructure Protection
AddInternational journal of general systems
AddInternational journal of human-computer studies
AddInternational journal of network management
AddInternational journal of wireless information networks
AddInternational journal on document analysis and recognition (IJDAR)
AddJournal of Biomedical Informatics
AddJournal of Chemical Information and Modeling
AddJournal of computational electronics
AddJournal of Computational Science
AddJournal of Computer Virology and Hacking Techniques
AddJournal of Computer-Aided Molecular Design
AddJournal of computer-mediated communication
AddJournal of Decision Systems
AddJournal of Field Robotics
AddJournal of Graphics Tools
AddJournal of Grid Computing
AddJournal of Information Technology Case and Application Research
AddJournal of intelligent & robotic systems
AddJournal of Intelligent Manufacturing
AddJournal of Internet commerce
AddJournal of Logic and Computation
AddJournal of management information systems
AddJournal of Medical Internet Research
AddJournal of network and computer applications
AddJournal of network and systems management
AddJournal of process control
AddJournal of Signal Processing Systems
AddJournal of systems architecture
AddJournal of Systems Science and Systems Engineering
AddJournal of the American Medical Informatics Association
AddJournal of Zhejiang University Science C
AddLecture Notes in Computer Science
AddLiterary and Linguistic Computing
AddMachine vision and applications
AddMedical & Biological Engineering & Computing
AddMicrosystem technologies
AddMobile Networks and Applications
AddMultidimensional systems and signal processing
AddNano communication networks
AddNatural computing
AddNetwork security
AddNetworks and spatial economics
AddNeural computing & applications
AddNew generation computing
AddNew review of information networking
AddOptical switching and networking
AddPattern Analysis and Applications, PAA
AddPattern recognition
AddPattern recognition letters
AddPersonal and Ubiquitous Computing
AddPervasive and mobile computing
AddPLoS Computational Biology
AddPLoS Computational Biology Related SciVees
AddQuantum information processing
AddRobotics and autonomous systems
AddSciTopics Computer Science
AddSignal processing
AddSignal processing. Image communication
AddSimulation Modelling Practice and Theory
AddSource Code for Biology and Medicine
AddStudies in Health Technology and Informatics
AddSustainable Computing: Informatics and Systems
AddSystems & control letters
AddSystems Research and Behavioral Science
AddTelecommunications policy
AddTelematics and informatics
AddThe Journal of Strategic Information Systems
AddUser Modeling and User-Adapted Interaction
AddWeb Semantics: Science, Services and Agents on the World Wide Web
AddWireless communications and mobile computing
AddWireless networks
AddWorld wide web

»My Articles

»Latest Feeds

»Popular Feeds
Search Feed Catalog by Name:
An algorithm-independent measure of progress for linear constraint propagationConstraints57 dayssaveRefWorksSFX Info
Short- and medium-term optimization of underground mine planning using constraint programmingConstraints72 dayssaveRefWorksSFX Info
Solution sampling with random table constraintsConstraints167 dayssaveRefWorksSFX Info
Boosting isomorphic model filtering with invariantsConstraints175 dayssaveRefWorksSFX Info
Propagation complete encodings of smooth DNNF theoriesConstraints188 dayssaveRefWorksSFX Info
Fast and parallel decomposition of constraint satisfaction problemsConstraints188 dayssaveRefWorksSFX Info
A collection of Constraint Programming models for the three-dimensional stable matching problem with cyclic preferencesConstraints190 dayssaveRefWorksSFX Info
How constraint programming can help chemists to generate Benzenoid structures and assess the local Aromaticity of BenzenoidsConstraints194 dayssaveRefWorksSFX Info
Generative magic and designing magic performances with constraint programmingConstraints200 dayssaveRefWorksSFX Info
When bounds consistency implies domain consistency for regular counting constraintsConstraints203 dayssaveRefWorksSFX Info
A constraint-based approach to learn temporal features on action models from multiple plansConstraints210 dayssaveRefWorksSFX Info
Learning the travelling salesperson problem requires rethinking generalizationConstraints224 dayssaveRefWorksSFX Info
Concise integer linear programming formulation for clique partitioning problemsConstraints229 dayssaveRefWorksSFX Info
Correct approximation of IEEE 754 floating-point arithmetic for program verificationConstraints289 dayssaveRefWorksSFX Info
Complete symmetry breaking constraints for the class of uniquely Hamiltonian graphsConstraints316 dayssaveRefWorksSFX Info
Global domain views for expressive and cross-domain constraint programmingConstraints331 dayssaveRefWorksSFX Info
Variable ordering for decision diagrams: A portfolio approachConstraints339 dayssaveRefWorksSFX Info
Does electrifying organic synthesis pay off? The energy efficiency of electro-organic conversionsConstraints491 dayssaveRefWorksSFX Info
Role of titanium carbide and alumina on the friction increment for Cu-based metallic brake pads under different initial braking speedsConstraints491 dayssaveRefWorksSFX Info
Penetration and lubrication evaluation of vegetable oil with nanographite particles for broaching processConstraints491 dayssaveRefWorksSFX Info
Fundamental study on chaotic transition of two-phase flow regime and free surface instability in gas deaeration processConstraints491 dayssaveRefWorksSFX Info
Correction to: Thermal hydraulic considerations of nuclear reactor systems: Past, present and future challengesConstraints491 dayssaveRefWorksSFX Info
An efficient three-dimensional foil structure model for bump-type gas foil bearings considering frictionConstraints491 dayssaveRefWorksSFX Info
A novel point source oxygen supply method for sleeping environment improvement at high altitudesConstraints491 dayssaveRefWorksSFX Info
Thermal comfort in winter incorporating solar radiation effects at high altitudes and performance of improved passive solar design—Case of LhasaConstraints491 dayssaveRefWorksSFX Info
The effects of portable cooling systems on thermal comfort and work performance in a hot environmentConstraints491 dayssaveRefWorksSFX Info
Does laser surface texturing really have a negative impact on the fatigue lifetime of mechanical components?Constraints491 dayssaveRefWorksSFX Info
Black phosphorus quantum dots: A new-type of water-based high-efficiency lubricant additiveConstraints491 dayssaveRefWorksSFX Info
Individual thermal comfort prediction using classification tree model based on physiological parameters and thermal history in winterConstraints491 dayssaveRefWorksSFX Info
Correction to: From indoor exposure to inhaled particle deposition: A multiphase journey of inhaled particlesConstraints491 dayssaveRefWorksSFX Info
An exploration of frictional and vibrational behaviors of textured deep groove ball bearing in the vicinity of requisite minimum loadConstraints491 dayssaveRefWorksSFX Info
Improvement of the lubrication properties of grease with Mn3O4/graphene (Mn3O4#G) nanocomposite additiveConstraints491 dayssaveRefWorksSFX Info
A low-to-high friction transition in gradient nano-grained Cu and Cu-Ag alloysConstraints491 dayssaveRefWorksSFX Info
Exploring the role of−NH2 functional groups of ethylenediamine in chemical mechanical polishing of GCr15 bearing steelConstraints491 dayssaveRefWorksSFX Info
Dynamic model and response characteristics of liquid desiccant air-conditioning system driven by heat pumpConstraints491 dayssaveRefWorksSFX Info
Analysis of microclimate characteristics in solar greenhouses under natural ventilationConstraints491 dayssaveRefWorksSFX Info
Erratum to: Study on dynamic variation of dew point temperature at attached air layer of radiant ceiling cooling panelsConstraints491 dayssaveRefWorksSFX Info
Cable tree wiring - benchmarking solvers on a real-world scheduling problem with a variety of precedence constraintsConstraints541 dayssaveRefWorksSFX Info
Correction to: The potential of quantum annealing for rapid solution structure identificationConstraints590 dayssaveRefWorksSFX Info
Learn to relax: Integrating 0-1 integer linear programming with pseudo-Boolean conflict-driven searchConstraints690 dayssaveRefWorksSFX Info
Introduction to the CPAIOR 2020 fast track issueConstraints731 dayssaveRefWorksSFX Info
The potential of quantum annealing for rapid solution structure identificationConstraints751 dayssaveRefWorksSFX Info
Power of pre-processing: production scheduling with variable energy pricing and power-saving statesConstraints753 dayssaveRefWorksSFX Info
Exact and flexible solution approach to a critical chain project management problemConstraints758 dayssaveRefWorksSFX Info
A new constraint programming model and solving for the cyclic hoist scheduling problemConstraints760 dayssaveRefWorksSFX Info
On certifying the UNSAT result of dynamic symmetry-handling-based SAT solversConstraints769 dayssaveRefWorksSFX Info
Learning optimal decision trees using constraint programmingConstraints770 dayssaveRefWorksSFX Info
Efficient multiple constraint acquisitionConstraints813 dayssaveRefWorksSFX Info
The flexible and real-time commute trip sharing problemsConstraints842 dayssaveRefWorksSFX Info
 XML / RSS feed