How to solve Hoare’s problem when precondition contains meta symbols?

This is the proram for which I have to prove correctness using Hoare’s Axioms:

{X = |x|}  if(x<=0)     x:=-x;  else     skip;  {X=x} 

This is my solution so far by applying Haore’s conditional transformation:

(x<=0 => wp(x:=-x; X=x)) ^ (~(x<=0) => wp(skip, X=x))  (x<=0 => X=-x) ^ (~(x<=0) => X=x) 

Now the thing I am confused about is how can I prove X = |x|?

Automate Adding Meta Tag to Content Piece Creation

Hello Drupal Community!

I’m currently maintaining a lot of different sites containing the same information pages (example: profile pages with the same content but on different sites/base url) and I’d like to consolidate this into a single URL housing all the profile pages. However, the first phase of this ask was to develop a way to automate a rel=canonical metadata tag on creation of a content piece (no matter where the piece is created). What would be the best way to meet this requirement? Is there a hook I can use?

I moved my blog – how long does after does the meta description update?

Hello

Yesterday I moved my blog from wordpress.com to wordpress.org

in wordpress.org i added a meta description which i could NOT in wordpress.com. what appeared as
the wordpress.com meta description was just the first 2 sentences in my article

my questions is how long after can I expect the new meta description to appear in the google search
result??

And one more questions – when i move my blog I also changed my domain. how long after does the
new domain appear in the google results?

Tensorflow meta graph import KeyError

When running command:

tfconfig = tf.ConfigProto() tfconfig.gpu_options.allow_growth = True model_args = NAME_TO_MODEL[model_name]  graph = tf.Graph() sess = tf.Session(graph=graph, config=tfconfig)  with sess.graph.as_default():     # image_input_ = tf.placeholder(tf.float32, shape=(None, 300, 300, 3), name='image_input')      # create model graph input map     # graph_map = {model_args['input_tensor']:patched_input_}     graph_name = 'detection/'     #ckpt = tf.train.get_checkpoint_state(model['path'])     with sess:         print('lala')         pdb.set_trace()          detection_graph = tf.train.import_meta_graph(model_args['path'] + '/model.ckpt' + '.meta', import_scope='detection',                             clear_devices=True)  # ,input_map=graph_map)` 

with (Pdb) tf.version ‘1.6.0’, it shows the following error.

2019-05-14 11:33:33.234998: I tensorflow/core/platform/cpu_feature_guard.cc:140] Your CPU supports instructions that this TensorFlow binary was not compiled to use: SSE4.1 SSE4.2 AVX AVX2 FMA 2019-05-14 11:33:33.516485: I tensorflow/stream_executor/cuda/cuda_gpu_executor.cc:898] successful NUMA node read from SysFS had negative value (-1), but there must be at least one NUMA node, so returning NUMA node zero 2019-05-14 11:33:33.518401: I tensorflow/core/common_runtime/gpu/gpu_device.cc:1212] Found device 0 with properties: name: Tesla P40 major: 6 minor: 1 memoryClockRate(GHz): 1.531 pciBusID: 0000:00:07.0 totalMemory: 22.38GiB freeMemory: 22.22GiB 2019-05-14 11:33:33.518488: I tensorflow/core/common_runtime/gpu/gpu_device.cc:1312] Adding visible gpu devices: 0 2019-05-14 11:33:34.062238: I tensorflow/core/common_runtime/gpu/gpu_device.cc:993] Creating TensorFlow device (/job:localhost/replica:0/task:0/device:GPU:0 with 21561 MB memory) -> physical GPU (device: 0, name: Tesla P40, pci bus id: 0000:00:07.0, compute capability: 6.1) lala Traceback (most recent call last): File "rcnn_mobilenet.py", line 139, in <module> main(parse_arguments(sys.argv[1:])) File "rcnn_mobilenet.py", line 106, in main clear_devices=False) # ,input_map=graph_map) File "/home/anaconda2_new/envs/faceswap-GAN/lib/python3.6/site-packages/tensorflow/python/training/saver.py", line 1909,in import_meta_graph **kwargs) File "/home/anaconda2_new/envs/faceswap-GAN/lib/python3.6/site-packages/tensorflow/python/framework/meta_graph.py", line737, in import_scoped_meta_graph producer_op_list=producer_op_list) File "/home/anaconda2_new/envs/faceswap-GAN/lib/python3.6/site-packages/tensorflow/python/util/deprecation.py", line 432, in new_func return func(*args, **kwargs) File "/home/anaconda2_new/envs/faceswap-GAN/lib/python3.6/site-packages/tensorflow/python/framework/importer.py", line 431, in import_graph_def _RemoveDefaultAttrs(op_dict, producer_op_list, graph_def) File "/home/anaconda2_new/envs/faceswap-GAN/lib/python3.6/site-packages/tensorflow/python/framework/importer.py", line 211, in _RemoveDefaultAttrs op_def = op_dict[node.op] KeyError: 'NonMaxSuppressionV3'

Is this run environment error? Or what setting I missed? Thank you.

Meta tags don’t work correctly in Yii2.0

I’ve troubling about my site’s routing. All of my SEO meta elements are implemented via Metadata’s section of my CMS. One of the most important entry, named by Page routing, does work correctly. I’m going to create Meta tags for a specific page. Once I put the desired link as input in the entry “page routing” to implement those Meta tags, it does not work. For example, consider the following hierarchy to show the exact issue.

Home -> Course -> Course 1 -> topic 1 , topic 2 , … ->

When I choose, say topic 1, and want to create Metas for it, the final Tags are implemented are the ones for Course section! In other words, the internal links of the Course section of my site do not accept Tags.

I’m new to programming and couldn’t find who solve this problem.

some section of my Layout is as follows:

<link rel="canonical" href="https://physexams.com/<?=Yii::$  app- >controller->id."/". Yii::$  app->controller->action->id?>" />  <link rel="publisher" href="<?=$  metadata->publisher?>" />  <title><?= Html::encode($  metadata->title) ?></title>  <meta charset="<?= Yii::$  app->charset ?>">  <meta name="description" content="<?=$  metadata->meta_description?>"/>  

and part of Controller and its action is:

class CoursesController extends Controller {      /**      * @inheritdoc      */     public function actions()     {         return [             'error' => [                 'class' => 'yii\web\ErrorAction',             ],             'captcha' => [                 'class' => 'yii\captcha\CaptchaAction',                 'fixedVerifyCode' => YII_ENV_TEST ? 'testme' : null,             ],         ];     }      /**      * Displays homepage.      *      * @return mixed      */     public function actionIndex( $  id = 0   )     {         $  coursesP = [] ;         if ( $  id != 0 )         {             $  coursesP = Courses::find()->where(['id'=> $  id , 'itsok' => "yes"])->with('lessons')->one();              if ( empty($  coursesP) )             {                 $  this->redirect(Url::to(['courses']));             }else {                  $  courses = Lessons::find()->where(['course_id' => $  coursesP->id, 'itsok' => "yes"])->all();             }         }         else {              $  courses = Courses::find()->where(['itsok' => "yes"])->with('lessons')->all();          }          return $  this->render('index' , [             'courses' => $  courses ,             'id' => $  id ,             'parent' => $  coursesP         ]);     }     public function actionInternal( $  id  = 0 )     {            if ( $  id == NULL)         {             return $  this->redirect(Url::to(['courses/index']));         }          $  lesson = Lessons::find()->where(['itsok' => 'yes' , 'id' => $  id])->with(['course' , 'lessonElements'])->one();         $  otherLessons = Lessons::find()->where(['course_id' => $  lesson->course_id  , 'itsok' => 'yes'])->all();          if ( empty( $  lesson->id) )         {             return $  this->redirect(Url::to(['courses/index']));         }          return $  this->render('internal' , [             'lesson' => $  lesson ,              'otherLessons' => $  otherLessons          ]);     }  } 

The UrlManager config file is

<?php  $  params = array_merge(     require(__DIR__ . '/../../common/config/params.php'),     require(__DIR__ . '/../../common/config/params-local.php'),     require(__DIR__ . '/params.php'),     require(__DIR__ . '/params-local.php') );   use \yii\web\Request; $  baseUrl = str_replace('/frontend/web', '', (new Request)->getBaseUrl());    return [     'id' => 'app-frontend',     'basePath' => dirname(__DIR__),     'bootstrap' => ['log', 'thumbnail'],     'controllerNamespace' => 'frontend\controllers',     //'defaultRoute' => '/site/index',      'components' => [         'request' => [             'baseUrl' => $  baseUrl,         ],         'urlManager' => [             'baseUrl' => $  baseUrl,             'class' => 'yii\web\UrlManager',              'enablePrettyUrl' => true,             'showScriptName' => false,             'enableStrictParsing' => false,             'rules' => [                 'home' => 'site/index' ,                 '/' => 'site/index',                  'frontend/web' => 'site/index',                 'index' => 'site/index',                 'site' => 'site/index',                 'site/login' => 'site/login' ,                 'site/contact' => 'site/contact' ,                 'site/about' => 'site/about' ,                 'site/faq' => 'site/faq' ,                 'profile/logout' => 'profile/logout',                 'profile' => 'profile/index',                 'lesson/<lesson:\w+>/<id:\d+>' => 'courses/internal',                 'lesson' => 'courses/internal',                  'course/<cat:\w+>/<id:\d+>' => 'courses/index',                 'courses' => 'courses/index',                  'exam/<cat:\w+>/<id:\d+>' => 'exam/internal',                 'exam' => 'exam/index',                  'ticket' => 'ticket/index',                    'flashcard/<cat:\w+>/<id:\d+>' => 'blog/internal',                 'blog/<cat:\w+>/<id:\d+>' => 'blog/cat',                 'blog' => 'blog/index',                  '<controller:\w+>/<action:\w+>/<id:\d+>' => '<controller>/<action>',               ],             ],         'user' => [             'identityClass' => 'common\models\User',             'enableAutoLogin' => true,         ],         'log' => [             'traceLevel' => YII_DEBUG ? 3 : 0,             'targets' => [                 [                     'class' => 'yii\log\FileTarget',                     'levels' => ['error', 'warning'],                 ],             ],         ],         'errorHandler' => [             'errorAction' => 'site/error',         ],          'thumbnail' => [             'class' => 'himiklab\thumbnail\EasyThumbnail',             'cacheAlias' => 'assets/gallery_thumbnails',         ],         'assetManager' => [             'class' => 'yii\web\AssetManager',             'bundles' => [                         'yii\web\JqueryAsset' => [                             'js' => [                                 'jquery.min.js'                             ]                         ],                          'yii\bootstrap\BootstrapAsset' => [                             'css' => [                                'css/bootstrap.min.css',                             ]                         ],              ],         ],     ],     'params' => $  params, ];  

I want the Routing element works for every link which I put exactly in the Metadata section of my CMS