1,171 results on '"Nightingale, Peter"'
Search Results
2. Towards a Model of Puzznic
3. Challenges in Modelling and Solving Plotting with PDDL
4. Learning to Select SAT Encodings for Pseudo-Boolean and Linear Integer Constraints
5. A Framework for Generating Informative Benchmark Instances
6. Automatic Tabulation in Constraint Models
7. Savile Row Manual
8. Towards Reformulating Essence Specifications for Robustness
9. Approximating problems in abstract argumentation with graph convolutional networks
10. SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints
11. A Review of Literature on Parallel Constraint Solving
12. Conjure: Automatic Generation of Constraint Models from Problem Specifications
13. Prevalence of abnormal liver tests and liver fibrosis among rural adults in low and middle-income country: A cross-sectional study
14. SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints
15. Effective Encodings of Constraint Programming Models to SMT
16. Mitral Regurgitation Following Acute Myocardial Infarction Treated by Percutaneous Coronary Intervention—Prevalence, Risk factors, and Predictors of Outcome
17. Essence' Description
18. Basiliximab With Delayed Tacrolimus Improves Short-Term Renal Outcomes Post-Liver Transplantation—a Real-World Experience
19. Generalized Support and Formal Development of Constraint Propagators
20. Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints
21. S-crucial and bicrucial permutations with respect to squares
22. Short and Long Supports for Constraint Propagation
23. Subclinical atherosclerosis in systemic sclerosis and rheumatoid arthritis: a comparative matched-cohort study
24. Evaluating the learning curve for laparoscopic liver resection: a comparative study between standard and learning curve CUSUM
25. Metamorphic Testing of Constraint Solvers
26. Automatic Discovery and Exploitation of Promising Subproblems for Tabulation
27. Predicting Postoperative Lung Function Following Lung Cancer Resection: A Systematic Review and Meta-analysis
28. Qualitative Modelling via Constraint Programming: Past, Present and Future
29. Machine learning for constraint solver design -- A case study for the alldifferent constraint
30. Learning to select SAT encodings for pseudo-Boolean and linear integer constraints
31. Conjure: Automatic Generation of Constraint Models from Problem Specifications (Extended Abstract)
32. Learning When to Use Automatic Tabulation in Constraint Model Reformulation
33. SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints (Extended Abstract)
34. Cumulative radiation exposure from medical imaging and associated lifetime cancer risk in children with osteogenesis imperfecta
35. Prospective comparative evaluation study of Laser Doppler Imaging and thermal imaging in the assessment of burn depth
36. Increasing frailty is associated with higher prevalence and reduced recognition of delirium in older hospitalised inpatients: results of a multi-centre study
37. Consistency and the Quantified Constraint Satisfaction Problem
38. Exploiting Short Supports for Improved Encoding of Arbitrary Constraints into SAT
39. Automatically improving constraint models in Savile Row
40. Cardiovascular risk knowledge in patients of South Asian origin living with rheumatoid arthritis: data from India and the UK
41. Randomized Sirolimus-based Early Calcineurin Inhibitor Reduction in Liver Transplantation: Impact on Renal Function
42. Chronic Obstructive Pulmonary Disease and the Risk of Esophagitis, Barrett’s Esophagus, and Esophageal Adenocarcinoma: A Primary Care Case-Control Study
43. Automatically Improving SAT Encoding of Constraint Problems Through Common Subexpression Elimination in Savile Row
44. Transparent Film Intravenous Line Dressing Incorporating a Chlorhexidine Gluconate Gel Pad: A Clinical Staff Evaluation
45. Clinical evaluation of a chlorhexidine intravascular catheter gel dressing on short-term central venous catheters
46. Automatically Improving Constraint Models in Savile Row through Associative-Commutative Common Subexpression Elimination
47. Discriminating Instance Generation for Automated Constraint Model Selection
48. Anaesthetics for Junior Doctors and Allied Professionals
49. Advance care planning in the community
50. Intravenous pulse methylprednisolone for induction of remission in severe ANCA associated Vasculitis: a multi-center retrospective cohort study
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.