Results 291 to 300 of about 607,371 (320)
Enhanced Landslide Monitoring in Complex Mountain Terrain Using Distributed Scatterer InSAR and Phase Optimization: A Case Study in Zhenxiong, China. [PDF]
Liang J +5 more
europepmc +1 more source
Antimicrobial Peptide Sublancin Skin Sensitization and Irritation Assessment in Guinea Pigs and Rabbits. [PDF]
Guo Y +5 more
europepmc +1 more source
Employing Multiple Nonuniform Discrete-Time Grids for Continuous Production Scheduling MILPs. [PDF]
Samadi A, Maravelias CT.
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Making maximal reliable action maximal*
Theoria, 1991Adding (R) \([\delta A]A\) and (WM) \([\delta B]A\to ([\delta A]C\to [\delta B]C)\) to PDL yields Segerberg's action logic of the `bringing about' operator. It was suggested then to substitute (WM) by the more general (M) \([\alpha]A\to ([\delta A]B\to [\alpha ]B)\). However, under certain circumstances the resulting system collapses into S4.
openaire +2 more sources
AI Communications, 2013
Similarly to Maximum Satisfiability (MaxSAT), Minimum Satisfiability (MinSAT) is an optimization extension of the Boolean Satisfiability (SAT) decision problem. In recent years, both problems have been studied in terms of exact and approximation algorithms.
Alexey Ignatiev +3 more
openaire +1 more source
Similarly to Maximum Satisfiability (MaxSAT), Minimum Satisfiability (MinSAT) is an optimization extension of the Boolean Satisfiability (SAT) decision problem. In recent years, both problems have been studied in terms of exact and approximation algorithms.
Alexey Ignatiev +3 more
openaire +1 more source
Maximal Homotopy Lie Subgroups of Maximal Rank
Canadian Journal of Mathematics, 1988Let G be a compact connected Lie group with H a connected subgroup of maximal rank. Suppose there exists a compact connected Lie subgroup K with H ⊂ K ⊂ G. Then there exists a smooth fiber bundle G/H → G/K with K/H as the fiber ...
openaire +1 more source

