The following pages link to Laurent Simon (Q630953):
Displaying 30 items.
- Effects of epidermal turnover on the dynamics of percutaneous drug absorption (Q630956) (← links)
- Transport mechanisms in oral transmucosal drug delivery: implications for pain management (Q630971) (← links)
- Flux tracking in drug delivery (Q651662) (← links)
- Analysis of heat-aided membrane-controlled drug release from a process control perspective (Q882431) (← links)
- Prediction of \textit{in-vivo} iontophoretic drug release data from \textit{in-vitro} experiments-insights from modeling (Q899342) (← links)
- Timely drug delivery from controlled-release devices: dynamic analysis and novel design con\-cepts (Q1010248) (← links)
- On the effusion time of drugs from the open pore of a spherical vesicle (Q1619409) (← links)
- On the community structure of bounded model checking SAT problems (Q1680243) (← links)
- Optimizing with minimum satisfiability (Q1761303) (← links)
- Analysis of the absorption kinetics following dermal exposure to large doses of volatile organic compounds (Q2085122) (← links)
- Controlled drug release from a spheroidal matrix (Q2156623) (← links)
- Two-dimensional transport analysis of transdermal drug absorption with a non-perfect sink boundary condition at the skin-capillary interface (Q2637586) (← links)
- SAT heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers (Q2661338) (← links)
- (Q2723442) (← links)
- (Q2741519) (← links)
- Extreme Cases in SAT Problems (Q2818004) (← links)
- Lazy Clause Exchange Policy for Parallel SAT Solvers (Q3192066) (← links)
- Impact of Community Structure on SAT Solver Performance (Q3192075) (← links)
- Using Community Structure to Detect Relevant Learnt Clauses (Q3453229) (← links)
- (Q3624002) (← links)
- Convex Regularizations for the Simultaneous Recording of Room Impulse Responses (Q4579129) (← links)
- Community Structure in Industrial SAT Instances (Q5235475) (← links)
- Theory and Applications of Satisfiability Testing (Q5325882) (← links)
- Theory and Applications of Satisfiability Testing (Q5325883) (← links)
- Improving Glucose for Incremental SAT Solving with Assumptions: Application to MUS Extraction (Q5326472) (← links)
- Distributed Consistency-Based Diagnosis (Q5505547) (← links)
- Theory and Applications of Satisfiability Testing (Q5714765) (← links)
- Theory and Applications of Satisfiability Testing (Q5714770) (← links)
- SOFSEM 2006: Theory and Practice of Computer Science (Q5897976) (← links)
- Reasoning with propositional logic: from SAT solvers to knowledge compilation (Q6602252) (← links)
