Sunday Comics: I SAW IT FIRST!
by Zack ZwiezenHello! It’s time for Kotaku’s Sunday Comics, your weekly roundup of the best webcomics.
Corpse Run by Alex Di Stasi. Published Nov. 7. Read more of Corpse Run.
Awkward Zombie by Katie Tiedrich. Published Nov. 4. Read more of Awkward Zombie.
Clueless Hero by Luis Lee and Ana Gaby Perez. Published Nov. 4. Read more of Clueless Hero.
Double XP by M.S. Corley and Josh Crandall. Published Nov. 8. Read more of Double XP.
(No new comic this week.)
Life in Aggro by Fei Hsiao and Cecilia Vasquez. Originally published Sep. 8, 2018. Read more of Life in Aggro.
Nerf NOW!! by Josué Pereira. Published Nov. 8. Read more of Nerf NOW!!
Penny Arcade by Jerry Holkins and Mike Krahulik. Published Nov. 8. Read more of Penny Arcade.


| Home | Trees | Index | Help |
|
|---|
| Package openid :: Package store :: Module sqlstore :: Class SQLStore |
|
object
--+ |OpenIDStore
--+ | SQLStore
MySQLStore
,
PostgreSQLStore
,
SQLiteStore
This is the parent class for the SQL stores, which contains the logic common to all of the SQL stores.
The table names used are determined by the class variables
, settings_table
, and associations_table
. To change the name of
the tables used, pass new table names into the constructor.nonces_table
To create the tables with the proper schema, see the
method.createTables
This class shouldn't be used directly. Use one of its subclasses instead, as those contain the code necessary to use a specific database.
All methods other than__init__
and createTables
should be considered
implementation details.
| Method Summary | |
|---|---|
This creates a new SQLStore instance. | |
This method creates the database tables necessary for this store to work. | |
__getattr__(self,
attr)
| |
Convert a blob as returned by the SQL engine into a str object. | |
Convert a str object into the necessary object for storing in the database as a blob. | |
| int |
Remove expired associations from the store. |
| int |
Remove expired nonces from the store. |
Get the most recent association that has been set for this server URL and handle. | |
Remove the association for the given server URL and handle, returning whether the association existed at all. | |
Set the association for the server URL. | |
txn_cleanupAssociations(self)
| |
txn_cleanupNonces(self)
| |
This method creates the database tables necessary for this store to work. | |
Get the most recent association that has been set for this server URL and handle. | |
Remove the association for the given server URL and handle, returning whether the association existed at all. | |
Set the association for the server URL. | |
Return whether this nonce is present, and if it is, then remove it from the set. | |
Return whether this nonce is present, and if it is, then remove it from the set. | |
Inherited from OpenIDStore :
cleanup
Inherited from object :
__delattr__ ,
__getattribute__ ,
__hash__ ,
__new__ ,
__reduce__ ,
__reduce_ex__ ,
__repr__ ,
__setattr__ ,
__str__
|
| Class Variable Summary | |
|---|---|
str |
associations_table : This is the default name of the table to keep associations in |
str |
nonces_table : This is the default name of the table to keep nonces in. |
str |
settings_table : This is the default name of the table to keep this store's settings
in. |
| Method Details |
|---|
__init__(self,
conn,
settings_table=None,
associations_table=None,
nonces_table=None)
This creates a new SQLStore instance. It requires an established
database connection be given to it, and it allows overriding the
default table names.
|
createTables(self, *args, **kwargs)This method creates the database tables necessary for this store to work. It should not be called if the tables already exist. |
blobDecode(self, blob)Convert a blob as returned by the SQL engine into a str object. str -> str |
blobEncode(self, s)Convert a str object into the necessary object for storing in the database as a blob. |
cleanupAssociations(self, *args, **kwargs)Remove expired associations from the store. This method is not called in the normal operation of the library. It provides a way for store admins to keep their storage from filling up with expired data.
|
cleanupNonces(self, *args, **kwargs)Remove expired nonces from the store. Discards any nonce from storage that is old enough that its
timestamp would not pass
|
getAssociation(self, *args, **kwargs)Get the most recent association that has been set for this server URL and handle. str -> NoneType or Association |
removeAssociation(self, *args, **kwargs)Remove the association for the given server URL and handle, returning whether the association existed at all. (str, str) -> bool |
storeAssociation(self, *args, **kwargs)Set the association for the server URL. Association -> NoneType |
txn_createTables(self)This method creates the database tables necessary for this store to work. It should not be called if the tables already exist. |
txn_getAssociation(self, server_url, handle=None)Get the most recent association that has been set for this server URL and handle. str -> NoneType or Association |
txn_removeAssociation(self, server_url, handle)Remove the association for the given server URL and handle, returning whether the association existed at all. (str, str) -> bool |
txn_storeAssociation(self, server_url, association)Set the association for the server URL. Association -> NoneType |
txn_useNonce(self, server_url, timestamp, salt)Return whether this nonce is present, and if it is, then remove it from the set. str -> bool |
useNonce(self, *args, **kwargs)Return whether this nonce is present, and if it is, then remove it from the set. str -> bool
|
| Class Variable Details |
|---|
associations_tableThis is the default name of the table to keep associations in
|
nonces_tableThis is the default name of the table to keep nonces in.
|
settings_tableThis is the default name of the table to keep this store's settings in.
|
| Home | Trees | Index | Help |
|
|---|
| Generated by Epydoc 2.1 on Fri Dec 14 16:10:53 2007 | http://epydoc.sf.net |


| DOSE: |
15 mg |
smoked |
DMT |
(powder / crystals) |
| |
2 hits |
smoked |
Cannabis |
(plant material) |
Let me preface this account by saying I have had many previous experiences with psychedelics, which I believe properly prepared me for my first DMT trip.
This experience occurred this past weekend at the Gathering of the Vibes music festival in Bridgeport, CT. My friend and I were fortunate enough to find a dealer in the campsite who not only had some very kind dope, but also DMT. We purchased a ½ gram. Over the course of the last few months I’d been avidly reading about DMT experiences, and was very curious and excited to try it for myself. My plan was to trip on mushrooms that evening and try the DMT early the following day. That night, while shrooming, I made a conscious effort to continuously direct strong, positive thoughts towards myself and my place in the universe. I was hoping to cultivate a strong, positive experience with the DMT the next day, as I had read of people having very difficult experiences with the drug.
The next day my friend and I found a spot on the beach, directly across from the “Green Vibes” stage where one musical act was ending and other beginning to tune up. I sat back in a lawn chair, facing Long Island Sound, and proceeded to prepare my pipe. I was somewhat concerned because I’d read many people’s accounts of the proper way to smoke DMT (water pipes, vaporizers, butane lighters, etc) and I had none of those things.  Still, I could not help but be aware at this point of a strong sense of purpose around what I was about to attempt. It was palpable, this feeling that I was supposed to be right here right now. Using the tip of a pen cap, I measured (very approximately) 10-15 milligrams of the brownish-yellow power onto the weed in my piece. Then I covered it with another small bud.
Since I had no idea what to expect, I gave my friend simple instructions:
1.Take the piece from me when I finish
2.If I appear to be in any kind of distress, say nothing. Just hold my hand.
The wind coming off the water was strong, and so I pulled a towel over my head and lit up. I lit the bowl slowly, drawing a deep breath and holding the smoke in my lungs for about 20-30 seconds. Upon exhalation, I tasted pot and nothing else. I waited about two minutes, and while I was definitely stoned I knew I hadn’t gotten a good enough hit of the DMT. I asked my friend to sprinkle in some more, and thankfully he instead suggested I try one more hit first. I hit it again, and this time I instantly became aware of a sharp, acrid flavor filling my lungs and nostrils. Believing I’d hit gold, I took in as much smoke as possible and held it for a full thirty seconds before exhaling. I slumped back in my lawn chair and took note of the clear, cloud tickled sky.
About 5 seconds after laying back I became aware of a kind of “film” drawing down over my vision. I recall thinking at that time: It looks like several large parameciums have landed on my eyeballs. They undulated and slid with ease, slippery living pools of near-invisible protoplasm, speckled and busy indeed.
I watched the clouds and sky from behind this odd, primordial curtain, and then became aware of a warm numbness cascading down my cheeks and throat. My heart was beating rapidly, and I knew I was on my way. There was no fear at this time, yet there was the idea of fear. Fear floated over to the right side of my consciousness, and I sensed its selfish desire to assert itself. Instead I turned my attention away and to the sounds of the band still tuning up on stage. I knew that once some music began the fear would not have the resources to stick around me, and I would be on my way towards something wonderful.
The band seemed to take forever to launch into a song. I was aware that the noise of the front man going on and on about “how good it is to be here on this beautiful Friday, etc. etc.” had taken on a deep, vibrating quality. It was as if the sound was being picked up and amplified not in my ear drums, but in the very center of my body, and traveling outward from within. My heart beat faster, and the thought that this band may never play a song allowed the fear to draw in closer and begin to take hold.
It was at this time that the music finally exploded out into the air, and I experienced BLASTOFF. The numbness that had begun on my face quickly cascaded down the rest of me, and I was separated entirely from my physical form. I closed my eyes, but the sky with its glorious clouds remained, but then began to shift and split as a series of brightly colored spiral fractals spun down from beyond the sky. The lines of this fractal were thin, and clearly something small within them, too tiny to see, was moving. The cloud/sky space between the fractal lines suddenly darkened and began to pulse with a sickly purple, bruised color. I understood that this was the FEAR that was still traveling right along with me. The only part of my body that remained was my heart, which I became sure would soon explode.
Then there was a voice. I use the word “voice” in the loosest sense, for what I really experienced was the “knowing” of another given to me. I heard it audibly, but felt it just as clearly and simultaneously saw the message as it unfurled on a bright white banner that drew itself across the sick, purple-fear expanse, its edges attaching each one of the pretty fractal spirals. Written on the banner, clear as day, was the message:
YOU HAVE TAKEN A POWERFUL PSYCHEDELIC.
This message, experienced visually, audibly, and within my consciousness, was undoubtedly female. There was no tone to lend it a friendly or unfriendly disposition; it was simply supplying me with information.
I continued to soar forward. Another banner/voice/feeling delivered by this female voice shot across my conscious. It said:
WE WANT TO SEE YOU, BUT YOU HAVE TO SLOW DOWN YOUR BREATHING FIRST. TAKE DEEP BREATHS.
Upon receiving this advice, I was aware of a new presence of mind within me. While I was primarily in a state of heightened wonder and no small degree of panic, what rose up within me was a kind of no-nonsense, cold rationality that initiated within me a deep, rhythmic breathing exercise I’d practiced often in meditation.  I picked up speed, and was very, very faintly aware that far below where my body sat, a strong ocean wind was blowing against my face.
Suddenly I became aware of shapes that were attempting to break through the multicolored surface of the fractal spirals.  It spun and smiled wide at me, its eyes two mere slits of hilarity, before fully popping out of the surface and beginning to dance along with the music. Then I spotted another, then another. Soon the spiral fractal completed its formation of an endless tunnel, made up completely of these green, dancing men. I was familiar with the accounts of machine elves. These looked more like the Doozers from Fraggle Rock, which some of you might remember. They danced in unison, and began to speak to me.
“Hooray! You made it!”
“We’re so glad you’re here!”
“We’ve been waiting for you to find us again!”
“Hooray!”
I simply marveled at this, and was distantly aware that back on earth my body was laughing. Every so often a sickly purple head would pop out of the fractal, and suddenly there would be an angry little man, with a frown made of pure electricity. He would stare at me and say something profoundly distressing, like:
“Now you’re dying!”
“You’re going insane forever!”
“Your best friend hates you!”
However, before any real fear could gather itself, one or more of the happy green men would surround the purple guy, and kick and/or karate chop him off the fractal and into a dark center that was slowly revealing itself at the center of everything. As they did this they would say things like:
“Don’t listen to him, he’s just confused.”
“He’ll come back understanding better the next time.”
“You’re doing great! Hooray!'
Suddenly I became aware of a tremendous insight into what I was experiencing. This insight was presented to me, again, through several medium at once: I was being told it by the green men, I was seeing the truth of it in the pattern materialized before me, as though the mere existence of this image ensured it was true, as well as being struck by a strong familiarity from the experience as a whole. The insight was this:
This was the force of the universe, of creation, of everything. It is continuously moving, working itself into higher and higher consciousness. The images before me were just that, images, created by my mind to give form to what is essentially formless. The green men illustrated this last point by suddenly looking at me and saying: “We can be whatever you want. We can be chipmunks!” and they became chipmunks. “We can be fire hydrants!” and they all became fire hydrants. “It doesn’t matter, Hooray!!!” and then returned to little green men.
I understood that this dancing, this moving, was really them working towards the higher consciousness; and that back on earth this gleeful dancing manifested in the acts of kindness, love and generosity of people towards each other. I understood that our physical reality (including the notions of time and space) was merely a reflection caused by the vibrating energy of this process, and was not “real” in any sense of the word. The true nature of everything was vibration, and it emanated and danced around a singular point of nothingness. This nothingness, I came to understand, was all there ever was or ever will be. However, the notion of “nothing” naturally implies the idea of “something”—and that is what we are. The implication of possibility generated by the truth of utter nothingness.
As if to demonstrate this point, I was shown snapshots of events from throughout my life, from infant years to events from that very day. The picture of the event (say, for example, the birth of my daughter, or me falling off the slide in 3rd grade) would fill my field of vision. Then it would freeze, like a snapshot, and grown smaller and smaller until the spiral fractal tunnel returned and the snapshot was being held in the hands by one of the green men, who would then toss it back into the nothingness.
“See? It’s just a picture! Hooray!”
“This is all that’s real!”
“Us!”
“You!”
The concepts of “us” and “me” and the very concept of separation as a whole suddenly manifested itself as a giant billboard, and that too was snap-shotted and tossed away into the nothing.
“This is all it is! Everything is one! You are it! Everyone is!”
“THIS IS IT!!!”
This insight was celebrated by a massive “Hooray!!!!” by the green men. Then went on to say things like:
“It’s so simple!”
“Yeah!  It’s everything!
Then they all simultaneously donned black graduation caps and gowns, removed a certificate of graduation from behind them, stamped it, signed and held it up to me while giving me a big “thumbs up”.
“Okay, back to work! Let’s go! Hooray!!!”
The spiral tunnel gradually began to slow and grow thinner. From behind this vision I began to make out the frail outlines of clouds and sky. The music continued to jam on, and my fingers began to tap the arms of the lawn chair. I was returning to my body. With my eyes now open, I could still see the little green men who continued to dance in circles behind the sky. Faintly they cried:
“Come back again soon!”
“We’re always here!”
“We’d love you see you!”
“Good job today! Hooray!”
I sat up and looked at my friend, who promptly said:
“15 minutes! You were there for 15 minutes.”
The very notion of time was still absurd to me, as I still felt primarily within the reality of the spiral truth, as opposed to the physical realm. This euphoric feeling of belonging and beauty remained with me throughout the weekend, though the exact nature and profound sense of truth and familiarity of the experience has begun to fade away. I have, however, continued to have faint closed eye visuals as late as last night (2 days later). This account is the best I could surmise and approximate the experience.
I can’t wait to go back there again, and see some more!
Experience Reports are the writings and opinions of the individual authors who submit them.
Some of the activities described are dangerous and/or illegal and none are recommended by Erowid.


--- layout: archive title: Zulip Chat Archive permalink: /stream/113488-general/topic/Type.html ---
When I write
variable α : Type
variable x:α
def f: α → α → Prop:= λ x y, x=y
#check f (x:α )
I get messages: type mismatch at application f x term x has type α :Type but is expected to have Type Type: Type 1
What mean is it? please can you explain it.
Add set_option pp.universes true
before your #check
statement, that should be informative. Also, please encode your code snippets between ticks ( `
) so that the font helps seeing what is code and what isn't
f
has two arguments, alpha
and x
. You gave x
but not alpha
So it thinks that (x : alpha)
is the first argument to f
, which is the Type
oh lol alpha is explicit
Good catch
variable α : Type variable x:α def f: α → α → Prop:= λ x y, x=y #check f -- Π (α : Type), α → α → Prop variable {β : Type} variable y : β def g : β → β → Prop := λ x y, x = y #check g -- ?M_1 → ?M_1 → Prop #check g (y : β) -- β → Prop
I add ( set_option pp.universes true) but it not run. I do not understand why we need it. In fact, I need ( f(x: alpha) to definition next object. example
( def g (e: α × α): ℕ := if f e.1 e.2 then 2 else 0 )
If you use {
}
then beta is implicit
You used nothing, which is the same as (
)
, for alpha, so it's explicit
so then you have to give it.
#check f α x -- α → Prop
And my suspicion that universes were the root of the trouble did not pan out so you can discard my advice
Thank you I fix it.
I have the following code
variables {α : Type} definition f : α → list α→ ℕ | a [] := 0 | a (b :: l) := if a = b then (f a l)+1 else f a l
and I received messages
failed to synthesize type class instance for α : Type, f : α → list α→ ℕ, a b: α, l: list α ⊢ decidable (a=b)
If I used type char
then it run. Please can you explain it and how to use type α
in such cases
The if a = b then t else f
is notation for ite (a = b) t f
, where:
def ite (c : Prop) [h : decidable c] {α : Sort u} (t e : α) : α
So, Lean is looking for an instance decidable (a = b)
. You can tell Lean to wait for an instance to appear until you actually use f
by putting [decidable_eq α]
before the colon (:
).
Note how decidable_eq
reduces:
#reduce decidable_eq -- λ (α : Sort u_1), Π (a b : α), decidable (a = b)
Thank you for that, Sean
variables {α : Type} [decidable_eq α] definition f : α → list α→ ℕ | a [] := 0 | a (b :: l) := if a = b then (f a l)+1 else f a l
It is Ok
Yes, that also works.
If you put variables [decidable_eq α]
while learning, it's fine. But note that if you write other definitions or theorems using α
after that, they will all have [decidable_eq α]
in their type signatures, whether you want it that way or not.
How to repair it
That's one of those things that can trip you up when you're writing larger collections of Lean code.
You can use section
or namespace
to make the variables
local to a region.

Thank you for that. I used it.
You should first check the types:
#check @list.head #check @list.last
list.head : Π {α : Type u_1} [_inst_1 : inhabited α], list α → α list.last : Π {α : Type u_1} (l : list α), l ≠ list.nil → α
Yes I used it
import data.list open list
So, in order to use last
, you will need to prove l ≠ list.nil
.
I'm not sure what you want to do, but you could have that condition as a parameter to f
.
definition head_eq_last (l : list α) (h : l ≠ list.nil) : Prop := head l = last l h
In fact I want definition f such that head of l equal tail of l. In general, I want used type have condition
should the empty list satisfy the definition?
the empty list is not satisfy definition
Then you can write
definition head_eq_last (l : list α) : Prop := ∃ (h : l ≠ list.nil), head l = last l h
I try it but I received messages
failed to synthesize type class instance for α: Type, l: list α, h : l ≠ list.nil ⊢inhibited α
That's a consequence of the type of head
. Easy to fix:
def head_eq_last [inhabited α] (l : list α) : Prop := ∃ (h : l ≠ list.nil), head l = last l h
Thank you for that, I understood
Any time you see this message pattern:
failed to synthesize type class instance for ... ⊢ C
Lean is looking for either an existing instance C
or a parameter such as [C]
.
So, when you used char
, it used the existing instance decidable_eq char
.
when I restrict type α
to type fintype α
, I have problem. My code is
variables {α : Type} def preimage (f:α → ℕ ) (u:ℕ ):set α := λ x, f x=u def card_image (f:(fintype α) → ℕ) (u:ℕ ):ℕ := fintype.card (preimage g u)
and I received messages
failed to synthesize type class instance for α : Type, f : fintype α → ℕ, u : ℕ ⊢ fintype ↥(preimage f u)
I understand that Lean find fintype ↥(preimage f u)
. What mean is ↥
? can we show that preimage f u
have type fintype
? How I fix it
This code should work. In the function card_image
, the type of f
should probably be α → ℕ
. fintype α
is more or less just the statement that α
is finite. I also made decidable_eq
an argument to the function as this is necessary to compute the fintype
instance. You could also use the linelocal attribute [instance] classical.prop_decidable
to achieve the same thing without decidable_eq
.
import data.fintype variables {α : Type} def preimage (f : α → ℕ) (u : ℕ) : set α := λ x, f x=u instance [fintype α] [decidable_eq α] (f : α → ℕ) (u : ℕ) : fintype (preimage f u) := by unfold preimage; apply_instance def card_image [fintype α] [decidable_eq α] (f : α → ℕ) (u : ℕ) : ℕ := fintype.card (preimage f u)
Thank @Chris Hughes for that. :thumbs_up:
What mean is messages
maximum class-instance resolution depth has been reached (the limit can be increased by setting option 'class.instance_max_depth') (the class-instance resolution trace can be visualized by setting option 'trace.class_instances')
That means that you need an instance for a certain type class. Lean is trying to find one for you but gives up. It might be because none exists or because the one that would work is, in a sense, unattainable by Lean. Do you know what type class you're trying to find an instance for?
my type class is fintype
. I have code 50 line. when I break it to two file then it run. But I run one file. it give messages
Can you great a gist
on github and show me where you break it into two files?
https://gist.github.com/truonghoangle/b9fa69e939bcb6c20fcf96affc0fd965
I break it after end direct_graph
Great! When you break it, what import do you give the new file?
I use only import data.fintype
try copying all the imports. You probably use instances from the other modules
You can remove one at a time until it breaks
Ok it is run. Thank you for that
{% endraw %}Last updated: Apr 24 2020 at 19:02 UTC


1.0.0
This method is responsible for delete categories from firebase category colecction. Creation Date: 08/17/2020
Karla Burgos Gayrey<EMAIL_ADDRESS>This method is responsible for searching the category information from firebase. Creation Date: 08/17/2020
JSON with the data obtained from the query.
This method is responsible for add categories to firebase category colecction. Creation Date: 08/17/2020
This method is responsible for update categories to firebase category colecction. Creation Date: 08/17/2020
Generated using TypeDoc
1.0.0
This method is responsible for delete categories from firebase category colecction.
Creation Date: 08/17/2020
Karla Burgos Gayrey kbburgos@espol.edu.ec


The Department of Mechanical Engineering is one of the three major department established right from the beginning of the college. The department has well experienced faculties and well equipped state-of-the-art laboratories that cater to the needs of the students
  Society of Mechanical Engineers (SME) is a membership organisation that enables collaboration, knowledge sharing, career enrichment and skill development across all engineering disciplines. SME conducts IGNITION – a national level technical symposium where students from all over the country participate in various events which helps them to enrich their knowledge with advanced engineering.


Welcome to My Favorite Things
My Best Friends
Peter Mburu
Nicholas Tanui
Daniel Malakwen
My Favorite Foods
Githeri
Machakura
Irio
I love coding in a quite place about things I like such as games.


| 1 | /* | |
| 2 | * Licensed to the Apache Software Foundation (ASF) under one | |
| 3 | * or more contributor license agreements. See the NOTICE file | |
| 4 | * distributed with this work for additional information | |
| 5 | * regarding copyright ownership. The ASF licenses this file | |
| 6 | * to you under the Apache License, Version 2.0 (the | |
| 7 | * "License"); you may not use this file except in compliance | |
| 8 | * with the License. You may obtain a copy of the License at | |
| 9 | * | |
| 10 | * http://www.apache.org/licenses/LICENSE-2.0 | |
| 11 | * | |
| 12 | * Unless required by applicable law or agreed to in writing, | |
| 13 | * software distributed under the License is distributed on an | |
| 14 | * "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY | |
| 15 | * KIND, either express or implied. See the License for the | |
| 16 | * specific language governing permissions and limitations | |
| 17 | * under the License. | |
| 18 | */ | |
| 19 | package org.apache.myfaces.shared.resource; | |
| 20 | ||
| 21 | import jakarta.faces.application.ResourceHandler; | |
| 22 | import jakarta.faces.context.FacesContext; | |
| 23 | ||
| 24 | /** | |
| 25 | * A utility class to isolate a ResourceHandler implementation from its | |
| 26 | * underlying implementation | |
| 27 | */ | |
| 28 | public abstract class ResourceHandlerSupport | |
| 29 | { | |
| 30 | ||
| 31 | /** | |
| 32 | * Calculate the resource base path. | |
| 33 | * | |
| 34 | * It should extract a string like: | |
| 35 | * | |
| 36 | * ResourceHandler.RESOURCE_IDENTIFIER + '/' + getResourceName() | |
| 37 | * | |
| 38 | * For example: | |
| 39 | * | |
| 40 | * /jakarta.faces.resource/image.jpg | |
| 41 | * | |
| 42 | * This is used on ResourceHandler.handleResourceRequest() | |
| 43 | * | |
| 44 | */ | |
| 45 | public abstract String calculateResourceBasePath(FacesContext facesContext); | |
| 46 | ||
| 47 | /** | |
| 48 | * Return an array of resource loaders used to find resources. | |
| 49 | * The order of ResourceLoaders define its precedence. | |
| 50 | * | |
| 51 | * @return | |
| 52 | */ | |
| 53 | public abstract ResourceLoader[] getResourceLoaders(); | |
| 54 | ||
| 55 | /** | |
| 56 | * Return an array of resource loaders used to find resources | |
| 57 | * associated with a contract. The order of ContractResourceLoaders | |
| 58 | * define its precedence. | |
| 59 | * | |
| 60 | * @since 2.2 | |
| 61 | * @return | |
| 62 | */ | |
| 63 | public abstract ContractResourceLoader[] getContractResourceLoaders(); | |
| 64 | ||
| 65 | /** | |
| 66 | * Return an array of resource loaders used to find resources | |
| 67 | * that can be located using ResourceHandler.createViewResource(). | |
| 68 | * The order of ResourceLoaders define its precedence. | |
| 69 | * | |
| 70 | * @since 2.2 | |
| 71 | * @return | |
| 72 | */ | |
| 73 | public abstract ResourceLoader[] getViewResourceLoaders(); | |
| 74 | | |
| 75 | /** | |
| 76 | * Check if the mapping used is done using extensions (.xhtml, .jsf) | |
| 77 | * or if it is not (/faces/*) | |
| 78 | * @return | |
| 79 | */ | |
| 80 | public abstract boolean isExtensionMapping(); | |
| 81 | | |
| 82 | /** | |
| 83 | * Get the mapping used as prefix(/faces) or sufix(.jsf) | |
| 84 | * | |
| 85 | * @return | |
| 86 | */ | |
| 87 | public abstract String getMapping(); | |
| 88 | | |
| 89 | /** | |
| 90 | * Return the time when the app started. This is useful to set the | |
| 91 | * "Last-Modified" header in some specific cases. | |
| 92 | * | |
| 93 | * @return | |
| 94 | */ | |
| 95 | public abstract long getStartupTime(); | |
| 96 | | |
| 97 | /** | |
| 98 | * Return the time that should be set on "Expires" header in a resource. | |
| 99 | * | |
| 100 | * @return | |
| 101 | */ | |
| 102 | public abstract long getMaxTimeExpires(); | |
| 103 | | |
| 104 | public String getResourceIdentifier() | |
| 105 | { | |
| 106 |
1
1. getResourceIdentifier : replaced return value with "" for org/apache/myfaces/shared/resource/ResourceHandlerSupport::getResourceIdentifier → NO_COVERAGE |
return ResourceHandler.RESOURCE_IDENTIFIER; |
| 107 | } | |
| 108 | } | |
Mutations | ||
| 106 |
1.1 |


#include <yyast/types.h>
This structure is allocated and free-ed as it passed along. In priciple it shouldn't leak in the end.
Definition at line 69 of file types.h.
Data Fields | |
| ya_name_t | name |
| Name of the node. | |
| uint64_t | size |
| Size of the node, including header and data. Always 64 bit aligned. | |
| ya_position_t | position |
| The position of the node. | |
| uint16_t | reserved_1 |
| Reserved, must be zero. | |
| uint8_t | reserved_2 |
| Reserved, must be zero. | |
| ya_type_t | type |
| Type of node. | |
| char | data [] |
| Data aligned to 64 bit and sized to 64 bit. Includes padding zero bytes at the end. |
Name of the node.
Definition at line 70 of file types.h.
Referenced by node_decode(), and ya_literal().
| uint64_t ya_node_s::size |
Size of the node, including header and data. Always 64 bit aligned.
Definition at line 71 of file types.h.
Referenced by node_decode(), and ya_literal().
The position of the node.
Definition at line 72 of file types.h.
Referenced by node_decode(), ya_clear_position(), and ya_literal().
| uint16_t ya_node_s::reserved_1 |
| uint8_t ya_node_s::reserved_2 |
| char ya_node_s::data[] |
Data aligned to 64 bit and sized to 64 bit. Includes padding zero bytes at the end.
Definition at line 76 of file types.h.
Referenced by node_decode(), ya_generic_nodev(), and ya_literal().


Azure AD Connect Health Agent Installation
This document walks you through installing and configuring the Azure AD Connect Health Agents. You can download the agents from here.
Requirements
The following table is a list of requirements for using Azure AD Connect Health.
| Requirement | Description |
|---|---|
| Azure AD Premium | Azure AD Connect Health is an Azure AD Premium feature and requires Azure AD Premium. For more information, see Getting started with Azure AD Premium To start a free 30-day trial, see Start a trial. |
| You must be a global administrator of your Azure AD to get started with Azure AD Connect Health | By default, only the global administrators can install and configure the health agents to get started, access the portal, and perform any operations within Azure AD Connect Health. For more information, see Administering your Azure AD directory. Using Role Based Access Control you can allow access to Azure AD Connect Health to other users in your organization. For more information, see Role Based Access Control for Azure AD Connect Health. Important: The account used when installing the agents must be a work or school account. It cannot be a Microsoft account. For more information, see Sign up for Azure as an organization |
| Azure AD Connect Health Agent is installed on each targeted server | Azure AD Connect Health requires the Health Agents to be installed and configured on targeted servers to receive the data and provide the Monitoring and Analytics capabilities. For example, to get data from your AD FS infrastructure, the agent must be installed on the AD FS and Web Application Proxy servers. Similarly, to get data on your on-premises AD DS infrastructure, the agent must be installed on the domain controllers. |
| Outbound connectivity to the Azure service endpoints | During installation and runtime, the agent requires connectivity to Azure AD Connect Health service endpoints. If outbound connectivity is blocked using Firewalls, ensure that the following endpoints are added to the allowed list. See outbound connectivity endpoints |
| Outbound connectivity based on IP Addresses | For IP address based filtering on firewalls, refer to the Azure IP Ranges. |
| TLS Inspection for outbound traffic is filtered or disabled | The agent registration step or data upload operations may fail if there is TLS inspection or termination for outbound traffic at the network layer. Read more about how to setup TLS inspection |
| Firewall ports on the server running the agent | The agent requires the following firewall ports to be open in order for the agent to communicate with the Azure AD Health service endpoints. Note that port 5671 is no longer required for the latest version of agent. Upgrade to the latest version so only port 443 is required. Read more about enable firewall ports |
| Allow the following websites if IE Enhanced Security is enabled | If IE Enhanced Security is enabled, then the following websites must be allowed on the server that is going to have the agent installed. |
| Ensure PowerShell v4.0 or newer is installed | |
| Disable FIPS | FIPS is not supported by Azure AD Connect Health agents. |
Note
If you have a highly locked-down and extremely restricted environment, you would require to whitelist the URLs mentioned in the Service endpoint lists below in addition to the ones listed in the Allowed IE enhanced Security configuration above.
Outbound connectivity to the Azure service endpoints
During installation and runtime, the agent requires connectivity to Azure AD Connect Health service endpoints. If outbound connectivity is blocked using Firewalls, make sure that the following URLs are not blocked by default. Do not disable security monitoring or inspection of these URLs, but allow them as you would other internet traffic. They permit communication with Azure AD Connect Health service endpoints. Learn how to check outbound connectivity with Test-AzureADConnectHealthConnectivity.
| Domain Environment | Required Azure service endpoints |
|---|---|
| General Public | |
| Azure Germany | |
| Azure Government |
Download and install the Azure AD Connect Health Agent
- Make sure that you satisfy the requirements for Azure AD Connect Health.
- Get started using Azure AD Connect Health for AD FS
- Get started using Azure AD Connect Health for sync
- Download and install the latest version of Azure AD Connect. The Health Agent for sync will be installed as part of the Azure AD Connect installation (version 1.0.9125.0 or higher).
- Get started using Azure AD Connect Health for AD DS
Installing the Azure AD Connect Health Agent for AD FS
Note
AD FS server should be different from your Sync server. Do not install AD FS agent to your Sync server.
Before installation, make sure your AD FS server host name is unique and not present in the AD FS service. To start the agent installation, double-click the .exe file that you downloaded. On the first screen, click Install.
Once the installation is finished, click Configure Now.
This launches a PowerShell window to initiate the agent registration process. When prompted, sign in with an Azure AD account that has access to perform agent registration. By default the Global Admin account has access.
After signing in, PowerShell will continue. Once it completes, you can close PowerShell and the configuration is complete.
At this point, the agent services should be started automatically allowing the agent upload the required data to the cloud service in a secure manner.
If you have not met all the pre-requisites outlined in the previous sections, warnings appear in the PowerShell window. Be sure to complete the requirements before installing the agent. The following screenshot is an example of these errors.
To verify the agent has been installed, look for the following services on the server. If you completed the configuration, they should already be running. Otherwise, they are stopped until the configuration is complete.
- Azure AD Connect Health AD FS Diagnostics Service
- Azure AD Connect Health AD FS Insights Service
- Azure AD Connect Health AD FS Monitoring Service
Agent installation on Windows Server 2008 R2 Servers
Steps for Windows Server 2008 R2 servers:
- Ensure that the server is running at Service Pack 1 or higher.
- Turn off IE ESC for agent installation:
- Install Windows PowerShell 4.0 on each of the servers ahead of installing the AD Health agent. To install Windows PowerShell 4.0:
- Install Microsoft .NET Framework 4.5 using the following link to download the offline installer.
- Install PowerShell ISE (From Windows Features)
- Install the Windows Management Framework 4.0.
- Install Internet Explorer version 10 or above on the server. (Required by the Health Service to authenticate, using your Azure Admin credentials.)
- For more information on installing Windows PowerShell 4.0 on Windows Server 2008 R2, see the wiki article here.
Enable Auditing for AD FS
Note
This section only applies to AD FS servers. You do not have to follow these steps on the Web Application Proxy Servers.
In order for the Usage Analytics feature to gather and analyze data, the Azure AD Connect Health agent needs the information in the AD FS Audit Logs. These logs are not enabled by default.
To enable auditing for AD FS on Windows Server 2008 R2
- Click Start, point to Programs, point to Administrative Tools, and then click Local Security Policy.
- Navigate to the Security Settings\Local Policies\User Rights Assignment folder, and then double-click Generate security audits.
- On the Local Security Setting tab, verify that the AD FS 2.0 service account is listed. If it is not present, click Add User or Group and add it to the list, and then click OK.
- To enable auditing, open a Command Prompt with elevated privileges and run the following command:
auditpol.exe /set /subcategory:{0CCE9222-69AE-11D9-BED3-505054503030} /failure:enable /success:enable
- Close Local Security Policy.
-- The following steps are only required for primary AD FS servers. -- - Open the AD FS Management snap-in. To open the AD FS Management snap-in, click Start, point to Programs, point to Administrative Tools, and then click AD FS 2.0 Management.
- In the Actions pane, click Edit Federation Service Properties.
- In the Federation Service Properties dialog box, click the Events tab.
- Select the Success audits and Failure audits check boxes.
- Click OK.
To enable auditing for AD FS on Windows Server 2012 R2
- Open Local Security Policy by opening Server Manager on the Start screen, or Server Manager in the taskbar on the desktop, then click Tools/Local Security Policy.
- Navigate to the Security Settings\Local Policies\User Rights Assignment folder, and then double-click Generate security audits.
- On the Local Security Setting tab, verify that the AD FS service account is listed. If it is not present, click Add User or Group and add it to the list, and then click OK.
- To enable auditing, open a command prompt with elevated privileges and run the following command:
auditpol.exe /set /subcategory:{0CCE9222-69AE-11D9-BED3-505054503030} /failure:enable /success:enable
- Close Local Security Policy.
-- The following steps are only required for primary AD FS servers. -- - Open the AD FS Management snap-in (in Server Manager, click Tools, and then select AD FS Management).
- In the Actions pane, click Edit Federation Service Properties.
- In the Federation Service Properties dialog box, click the Events tab.
- Select the Success audits and Failure audits check boxes and then click OK.
To enable auditing for AD FS on Windows Server 2016
- Open Local Security Policy by opening Server Manager on the Start screen, or Server Manager in the taskbar on the desktop, then click Tools/Local Security Policy.
- Navigate to the Security Settings\Local Policies\User Rights Assignment folder, and then double-click Generate security audits.
- On the Local Security Setting tab, verify that the AD FS service account is listed. If it is not present, click Add User or Group and add the AD FS service account to the list, and then click OK.
- To enable auditing, open a command prompt with elevated privileges and run the following command:
auditpol.exe /set /subcategory:{0CCE9222-69AE-11D9-BED3-505054503030} /failure:enable /success:enable
- Close Local Security Policy.
-- The following steps are only required for primary AD FS servers. -- - Open the AD FS Management snap-in (in Server Manager, click Tools, and then select AD FS Management).
- In the Actions pane, click Edit Federation Service Properties.
- In the Federation Service Properties dialog box, click the Events tab.
- Select the Success audits and Failure audits check boxes and then click OK. This should be enabled by default.
- Open a PowerShell window and run the following command:
Set-AdfsProperties -AuditLevel Verbose
.
Note that "basic" audit level is enabled by default. Read more about the AD FS Audit enhancement in Windows Server 2016
To locate the AD FS audit logs
Open Event Viewer.
Go to Windows Logs and select Security.
On the right, click Filter Current Logs.
Under Event Source, select AD FS Auditing.
And quick FAQ note for Audit logs.
Warning
A group policy can disable AD FS auditing. If AD FS auditing is disabled, usage analytics about login activities are not available. Ensure that you don’t have a group policy that disables AD FS auditing.>
Installing the Azure AD Connect Health agent for sync
The Azure AD Connect Health agent for sync is installed automatically in the latest build of Azure AD Connect. To use Azure AD Connect for sync, you need to download the latest version of Azure AD Connect and install it. You can download the latest version here.
To verify the agent has been installed, look for the following services on the server. If you completed the configuration, they should already be running. Otherwise, they are stopped until the configuration is complete.
- Azure AD Connect Health Sync Insights Service
- Azure AD Connect Health Sync Monitoring Service
Note
Remember that using Azure AD Connect Health requires Azure AD Premium. If you do not have Azure AD Premium, you are unable to complete the configuration in the Azure portal. For more information, see the requirements page.
Manual Azure AD Connect Health for Sync registration
If the Azure AD Connect Health for Sync agent registration fails after successfully installing Azure AD Connect, you can use the following PowerShell command to manually register the agent.
Important
Using this PowerShell command is only required if the agent registration fails after installing Azure AD Connect.
The following PowerShell command is required ONLY when the health agent registration fails even after a successful installation and configuration of Azure AD Connect. The Azure AD Connect Health services will start after the agent has been successfully registered.
You can manually register the Azure AD Connect Health agent for sync using the following PowerShell command:
Register-AzureADConnectHealthSyncAgent -AttributeFiltering $false -StagingMode $false
The command takes following parameters:
- AttributeFiltering: $true (default) - if Azure AD Connect is not syncing the default attribute set and has been customized to use a filtered attribute set. $false otherwise.
- StagingMode: $false (default) - if the Azure AD Connect server is NOT in staging mode, $true if the server is configured to be in staging mode.
When prompted for authentication you should use the same global admin account (such as<EMAIL_ADDRESS>that was used for configuring Azure AD Connect.
Installing the Azure AD Connect Health Agent for AD DS
To start the agent installation, double-click the .exe file that you downloaded. On the first screen, click Install.
Once the installation is finished, click Configure Now.
A command prompt is launched, followed by some PowerShell that executes Register-AzureADConnectHealthADDSAgent. When prompted to sign in to Azure, go ahead and sign in.
After signing in, PowerShell will continue. Once it completes, you can close PowerShell and the configuration is complete.
At this point, the services should be started automatically allowing the agent to monitor and gather data. If you have not met all the pre-requisites outlined in the previous sections, warnings appear in the PowerShell window. Be sure to complete the requirements before installing the agent. The following screenshot is an example of these errors.
To verify the agent has been installed, look for the following services on the domain controller.
- Azure AD Connect Health AD DS Insights Service
- Azure AD Connect Health AD DS Monitoring Service
If you completed the configuration, these services should already be running. Otherwise, they are stopped until the configuration is complete.
Quick agent installation in multiple servers
- Create a user account in Azure AD with a password.
- Assign the Owner role for this local AAD account in Azure AD Connect Health via the portal. Follow the steps here. Assign the role to all service instances.
- Download the .exe MSI file in local domain controller for installation.
- Run the following script to registration. Replace the parameters with the new user account created and its password.
AdHealthAddsAgentSetup.exe /quiet
Start-Sleep 30
$userName = "NEWUSER@DOMAIN"
$secpasswd = ConvertTo-SecureString "PASSWORD" -AsPlainText -Force
$myCreds = New-Object System.Management.Automation.PSCredential ($userName, $secpasswd)
import-module "C:\Program Files\Azure Ad Connect Health Adds Agent\PowerShell\AdHealthAdds"
Register-AzureADConnectHealthADDSAgent -Credential $myCreds
- Once you are done, you can remove access for the local account by doing one or more of the following:
- Remove the role assignment for the local account for AAD Connect Health
- Rotate the password for the local account.
- Disable the AAD local account
- Delete the AAD local account
Agent Registration using PowerShell
After installing the appropriate agent setup.exe, you can perform the agent registration step using the following PowerShell commands depending on the role. Open a PowerShell Window and execute the appropriate command:
Register-AzureADConnectHealthADFSAgent
Register-AzureADConnectHealthADDSAgent
Register-AzureADConnectHealthSyncAgent
These commands accept "Credential" as a parameter to complete the registration in a non-interactive manner or on a Server-Core machine.
- The Credential can be captured in a PowerShell variable that is passed as a parameter.
- You can provide any Azure AD Identity that has access to register the agents and does NOT have MFA enabled.
- By default Global Admins have access to perform agent registration. You can also allow other less privileged identities to perform this step. Read more about Role Based Access Control.
$cred = Get-Credential
Register-AzureADConnectHealthADFSAgent -Credential $cred
Configure Azure AD Connect Health Agents to use HTTP Proxy
You can configure Azure AD Connect Health Agents to work with an HTTP Proxy.
Note
- Using “Netsh WinHttp set ProxyServerAddress” is not supported as the agent uses System.Net to make web requests instead of Microsoft Windows HTTP Services.
- The configured Http Proxy address is used to pass-through encrypted Https messages.
- Authenticated proxies (using HTTPBasic) are not supported.
Change Health Agent Proxy Configuration
You have the following options to configure Azure AD Connect Health Agent to use an HTTP Proxy.
Note
All Azure AD Connect Health Agent services must be restarted, in order for the proxy settings to be updated. Run the following command:
Restart-Service AzureADConnectHealth*
Import existing proxy Settings
Import from Internet Explorer
Internet Explorer HTTP proxy settings can be imported, to be used by the Azure AD Connect Health Agents. On each of the servers running the Health agent, execute the following PowerShell command:
Set-AzureAdConnectHealthProxySettings -ImportFromInternetSettings
Import from WinHTTP
WinHTTP proxy settings can be imported, to be used by the Azure AD Connect Health Agents. On each of the servers running the Health agent, execute the following PowerShell command:
Set-AzureAdConnectHealthProxySettings -ImportFromWinHttp
Specify Proxy addresses manually
You can manually specify a proxy server on each of the servers running the Health Agent, by executing the following PowerShell command:
Set-AzureAdConnectHealthProxySettings -HttpsProxyAddress address:port
Example: Set-AzureAdConnectHealthProxySettings -HttpsProxyAddress myproxyserver: 443
- "address" can be a DNS resolvable server name or an IPv4 address
- "port" can be omitted. If omitted then 443 is chosen as default port.
Clear existing proxy configuration
You can clear the existing proxy configuration by running the following command:
Set-AzureAdConnectHealthProxySettings -NoProxy
Read current proxy settings
You can read the currently configured proxy settings by running the following command:
Get-AzureAdConnectHealthProxySettings
Test Connectivity to Azure AD Connect Health Service
It is possible that issues may arise that cause the Azure AD Connect Health agent to lose connectivity with the Azure AD Connect Health service. These include network issues, permission issues, or various other reasons.
If the agent is unable to send data to the Azure AD Connect Health service for longer than two hours, it is indicated with the following alert in the portal: "Health Service data is not up to date." You can confirm if the affected Azure AD Connect Health agent is able to upload data to the Azure AD Connect Health service by running the following PowerShell command:
Test-AzureADConnectHealthConnectivity -Role ADFS
The role parameter currently takes the following values:
- ADFS
- Sync
- ADDS
Note
To use the connectivity tool, you must first complete the agent registration. If you are not able to complete the agent registration, make sure that you have met all the requirements for Azure AD Connect Health. This connectivity test is performed by default during agent registration.


MiCADO Project¶
Here you can find all the useful information on the MiCADO and COLA project:
- Here you can find the github accounts:
- for the whole project: https://github.com/micado-scale
- for TOSCA topologies and custom types: https://github.com/COLAProject/COLARepo (This is the current repository but might change in the future)
- for the submitter: https://github.com/micado-scale/component_submitter
Configuration¶
The submitter is configurable via the KeyLists class. The KeyLists class will read the key_config.yml file that is located in the system directory.
The key_config.yml file looks like follow:
main_config:
dry_run: True
#path_log: "/var/lib/toscasubmitter/submitter.log"
log_level: INFO
path_log: "submitter.log"
step:
translate:
- SecurityEnforcerAdaptor
- DockerAdaptor
- OccopusAdaptor
- PkAdaptor
execute:
- DockerAdaptor
- SecurityEnforcerAdaptor
- OccopusAdaptor
- PkAdaptor
update:
- DockerAdaptor
- SecurityEnforcerAdaptor
- OccopusAdaptor
- PkAdaptor
undeploy:
- SecurityEnforcerAdaptor
- DockerAdaptor
- OccopusAdaptor
- PkAdaptor
cleanup:
- DockerAdaptor
- SecurityEnforcerAdaptor
- OccopusAdaptor
- PkAdaptor
adaptor_config:
SecurityEnforcerAdaptor:
types:
- "tosca.policies.Scaling.*"
endoint: "endpoint"
volume: "/var/lib/submitter/security_workdir_example/"
DockerAdaptor:
types:
- "tosca.nodes.MiCADO.Container.Application.Docker"
endoint: "endpoint"
volume: "/var/lib/submitter/files/output_configs/"
OccopusAdaptor:
types:
- "tosca.nodes.MiCADO.Occopus.*"
endoint: "endpoint"
volume: "/var/lib/submitter/files/output_configs/"
PkAdaptor:
types:
- "tosca.policies.Scaling.MiCADO"
endpoint: "policykeeper:12345"
volume: "/var/lib/submitter/files/output_configs/"
The first key config
defines parameter for the whole infrastructure.
The dry_run
parameter that will tell to the adaptor to mimic the execution of their adaptor without actually executing it
it will only log the action. The KeyLists class will add in each dictionary created for their adaptor this parameter.
The path_log
parameter under the config key will configure where the log should be stored.
The second key Adaptor_config
will configure the adaptor itself. Each adaptor will have its own configuration that is
defined by the devs. The types
will define what the adaptor will expect, the rest of the configure is at the discretion of the devs.
How to create your Adaptor:¶
At the moment we have the abstract base Adaptor that is describing these abstract sub methods:
- __init__()
- translate()
- execute()
- update()
- undeploy()
- cleanup()
__init__()¶
This is the constructor. Adaptor devs must allow for 3 parameters. The
adaptor_id
(required), which will be generated by the submitter engine, the config
which will store the
configuration of the adaptor that the devs specify in the key_lists.yml and the template
(optional) as a TOSCA Parser object.
The Adaptor is a stateful object which always operates using the ID and, for launch() or update() operations, requires the template itself.
The config parameter is a dictionary, it as a key which is dry_run which should be implemented by the devs for development purposes. If dry_run flag is True then the rest of the execution shouldn’t actually produce anything but rather a log mimicking the execute. The rest of the parameter is at the discretion of the devs.
translate([tmp=False])¶
This method should create a configuration file for your external component,
and store it in the files/output_configs
directory located in the package
where all the configuration files produced by the other Adaptors are.
This configuration file should take the name of the adaptor_id
.
The parameter tmp
is set to True during update() and this method should
change the default save behaviour when this flag is set.
execute()¶
This method should execute the desired commands (using system or API calls) for the desired component. It uses the output file generated by the translate() method to communicate with its component.
update()¶
This method should take the new template that contains changed values to update. It should run translate(True) to save the output as a tmp file, then do a diff of the new tmp file and the file created during launch() and the original translate().
If there is a difference between the file, then the tmp file replaces the original file, and calls execute(). If there is no difference, simply delete the tmp file.
undeploy()¶
This method should bring down the portion of the component relevant to this application (using system/API calls). It should undo whatever was done in execute()
cleanup()¶
This method should remove any files produced which were required by this component
for the execution of this application, located under files/output_configs
.
Other helpful things…¶
component_submitter.utils¶
- We give access to utils method listed bellow:
- dump_order_yaml: that dump in order into a yaml file
for more information go to the utils method to see how to use those methods.
TOSCAParser Objects¶
DockerAdaptor¶
Also see the DockerAdaptor for examples. For any help contact: g.gesmier@westminster.ac.uk


Vincent Van Gogh
Dutch Post-Impressionist painter Vincent van Gogh painted a self-portrait in oil on canvas in September 1889. The work,
which may have been Van Gogh's last self-portrait, was painted shortly before he left Saint-Rémy-de-Provence in southern France.


Luna's Picture Box
{% with object.skill_set.all as skills %}
{% with object.service_set.all as services%}
{% with object.partner_set.all as partners %}
{% include 'loader.html' %}
{# Navigation menu #}
{% include 'menu.html' %}
{# Navigable sections #}
{% include 'home.html' %}
{% include 'about.html' %}
{% include 'services.html' %}
{% include 'portfolio.html' %}
{% include 'blog.html' %}
{% include 'contact.html' %}
{# Popup divs (initially invisible, revealed by user action) #}
{% include 'portfolio/popups.html' %}
{% include 'blog/popups.html' %}
{% include 'contact/popups.html' %}
{# Arrow navigation #}


Page 2
-
Main Story
13½ Hours
Main + Extra
18 Hours
Completionist
24 Hours
Polled
1.6K
Rated
87% by 590
Backlog
919
Playing
461
Speedruns
1
Retired
56
-
Main Story
26½ Hours
Main + Extra
79½ Hours
Completionist
152 Hours
Polled
5.3K
Rated
77% by 1278
Backlog
5.6K
Playing
1.8K
Speedruns
3
Retired
795


Week 9: A Weekend.
In the dystopian fashion of 2020, I logged onto Zoom Saturday afternoon to watch my virtual graduation.  Different people will have differing opinions on that first one, but if you know me then you know my opinion. If you don’t know me, I think that Trump is as bad for my health as the pandemic – and I’m immunocompromised.
To add another pinch of pessimism to this post, I decided to document where I was this weekend to compare it to where I would have been if there were no pandemic (unfortunately, Trump is still president in this scenario). Here’s how the weekend was supposed to go:
My family, grandparents and all, planned to come up for the weekend. There were brunches and dinners planned and, of course, my graduation ceremony. My roommates and I were excited to have our families all meeting each other, there would be graduation parties and Senior Week, and it would be a time of happiness and celebration. Not exactly the way things turned out. At the end of the weekend, my family would drive some of my stuff home for me, and later in the month I would drive the rest of it back, and hopefully go on to start my first job out of college.
Here’s how things actually went:
On Friday, I was in my room most of the day while everyone in my house either worked or was in class. I had dinner with my family, so I suppose that’s similar.
On Saturday, we sold my car to Carmax.  Here’s some promotional content.” Obama’s speech was nice. I FaceTimed with my roommates. I had dinner with my family. I ate too much ice cream.
On Sunday I had a stomach ache from the ice cream. I hung out with my mom. I napped a lot. I made dinner and ate it with my family.
Sprinkle in some Netflix/Hulu in there and you’ve got a pretty clear picture of my weekend. Which is not unlike my week days.
I spent roughly 95% of my time inside the house. I hate pie charts (even though I love pie), but I made a pie chart that I consider slightly less offensive than most pie charts because it’s meant not to give you real numbers, but instead a depression-inducing glimpse into the amount of time I spent in my bedroom this weekend.
A quick note about the data: minutes were rounded to multiples of 5, I didn’t count the bathroom, and I didn’t count time asleep.
Pretty disturbing, right? I thought so too.  So I broke it down to try to see if there was any way to make it less sad.
Here’s what I found:
Please excuse the Barney colors. I couldn’t find any pens. If you can see beyond that, you’ll notice most of the time comes from Friday and Sunday. I can rationalize some of that. On weekdays (Friday), every room in my house is occupied by people who are working or in class. This means that if I’m not in my room, I can’t make noise. My only excuse for Sunday is that I took a nap. Still, that’s a lot of time to be in my room. Especially on a weekend where I was meant to be celebrating and having fun with my family and friends.
It’s not all tragic. My uncle just brought us pies and breads that my aunt made (buy some here if you’re in/near Chicago). In about a week I’ll be back in Minnesota with my girlfriend. Hopefully I’ll be walking around outside more and writing more positive posts. I’ll let you know.
This is the eighth in a series of posts From Quarantine. Most posts from quarantine are prompted by Aisling Quigley’s Data Storytelling class at Macalester College. This is one not of those posts.


#include <ada_pmmh_mvn.h>
|
|
using | osv = Eigen::Matrix< float_t, dimobs, 1 > |
| |
|
using | psv = Eigen::Matrix< float_t, numparams, 1 > |
| |
|
using | psm = Eigen::Matrix< float_t, numparams, numparams > |
| |
|
using | dyn_data_t = param::pack< float_t, numparams > |
| |
|
using | static_data_t = std::vector< osv > |
| |
|
| | ada_pmmh_mvn (const psv &start_trans_theta, std::vector< std::string > tts, const unsigned int &num_mcmc_iters, const unsigned int &num_pfilters, const std::string &data_file, const std::string &sample_file_base_name, const std::string &message_file_base_name, const bool &mc, const unsigned int &t0, const unsigned int &t1, const psm &C0, bool print_to_console, unsigned int print_every_k) |
| | Constructs algorithm object. More...
|
| |
| psm | get_ct () const |
| | Get the current proposal distribution's covariance matrix. More...
|
| |
|
void | commence_sampling () |
| | starts the sampling
|
| |
| virtual float_t | log_prior_eval (const param::pack< float_t, numparams > &theta)=0 |
| | Evaluates the log of the model's prior. More...
|
| |
| virtual float_t | log_like_eval (const param::pack< float_t, numparams > &theta, const std::vector< osv > &data)=0 |
| | Evaluates (approximates) the log-likelihood with a particle filter. More...
|
| |
|
|
void | update_moments_and_Ct (const dyn_data_t &new_theta) |
| |
|
psv | q_samp (const dyn_data_t &old_theta) |
| |
|
float_t | log_q_eval (const dyn_data_t &oldParams, const dyn_data_t &new_params) |
| |
|
void | record_params () |
| |
|
void | record_iter_num () |
| |
|
void | record_messages () |
| |
|
float_t | pool_func (dyn_data_t param, static_data_t obs_data) |
| |
|
std::string | gen_string_with_time (const std::string &str) |
| | return string with format is YYYY-MM-DD.HH:mm:ss
|
| |
|
|
dyn_data_t | m_current_theta |
| |
|
std::vector< std::string > | m_tts |
| |
|
psm | m_sigma_hat |
| |
|
psv | m_mean_trans_theta |
| |
|
float_t | m_ma_accept_rate |
| |
|
unsigned int | m_t0 |
| |
|
unsigned int | m_t1 |
| |
|
psm | m_Ct |
| |
|
rvsamp::MVNSampler< numparams, float_t > | m_mvn_gen |
| |
|
std::ofstream | m_samples_file_stream |
| |
|
std::ofstream | m_message_stream |
| |
|
unsigned int | m_num_mcmc_iters |
| |
|
unsigned int | m_iter |
| |
|
float_t | m_sd |
| |
|
float_t | m_eps |
| |
|
bool | m_print_to_console |
| |
|
unsigned int | m_print_every_k |
| |
|
thread_pool< dyn_data_t, static_data_t, float_t > | m_pool |
| |
|
float_t | m_old_log_like |
| |
|
float_t | m_new_log_like |
| |
|
float_t | m_old_log_prior |
| |
|
float_t | m_new_log_prior |
| |
|
float_t | m_log_accept_prob |
| |
|
bool | m_accepted |
| |
template<size_t numparams, size_t dimobs, size_t numparts, typename float_t>
class ada_pmmh_mvn< numparams, dimobs, numparts, float_t >
- Author
- Taylor
◆ ada_pmmh_mvn()
template<size_t numparams, size_t dimobs, size_t numparts, typename float_t >
| ada_pmmh_mvn< numparams, dimobs, numparts, float_t >::ada_pmmh_mvn |
( |
const psv & |
start_trans_theta, |
|
|
std::vector< std::string > |
tts, |
|
|
const unsigned int & |
num_mcmc_iters, |
|
|
const unsigned int & |
num_pfilters, |
|
|
const std::string & |
data_file, |
|
|
const std::string & |
sample_file_base_name, |
|
|
const std::string & |
message_file_base_name, |
|
|
const bool & |
mc, |
|
|
const unsigned int & |
t0, |
|
|
const unsigned int & |
t1, |
|
|
const psm & |
C0, |
|
|
bool |
print_to_console, |
|
|
unsigned int |
print_every_k |
|
) |
| |
Constructs algorithm object.
- Parameters
-
| start_trans_theta | the initial transformed parameters you want to start sampling from. |
| num_mcmc_iters | the number of MCMC iterations you want to do. |
| data_file | the location of the observed time series data (input). |
| samples_file | the location where you want to store the theta samples (output). |
| messages_file | the location where you want to store the messages (output). |
| mc | stands for multicore. true or false if you want to use extra cores. |
| t0 | iteration you start adapting |
| t1 | iteration you stop adapting |
| C0 | initial covariance matrix for proposal distribution. |
| print_to_console | true if you want to see messages in real time |
| print_every_k | print messages and samples every (this number) iterations |
◆ get_ct()
template<size_t numparams, size_t dimobs, size_t numparts, typename float_t >
| auto ada_pmmh_mvn< numparams, dimobs, numparts, float_t >::get_ct |
Get the current proposal distribution's covariance matrix.
- Returns
- the covariance matrix of q(theta' | theta)
◆ log_like_eval()
template<size_t numparams, size_t dimobs, size_t numparts, typename float_t >
| virtual float_t ada_pmmh_mvn< numparams, dimobs, numparts, float_t >::log_like_eval |
( |
const param::pack< float_t, numparams > & |
theta, |
|
|
const std::vector< osv > & |
data |
|
) |
| |
|
pure virtual |
Evaluates (approximates) the log-likelihood with a particle filter.
- Parameters
-
| theta | the parameters with which to run the particle filter |
| data | the observed data with which to run the particle filter |
- Returns
- the evaluation of the approx. log likelihood
◆ log_prior_eval()
template<size_t numparams, size_t dimobs, size_t numparts, typename float_t >
| virtual float_t ada_pmmh_mvn< numparams, dimobs, numparts, float_t >::log_prior_eval |
( |
const param::pack< float_t, numparams > & |
theta | ) |
|
|
pure virtual |
Evaluates the log of the model's prior.
- Parameters
-
| theta | the parameters argument |
- Returns
- the log of the prior density
The documentation for this class was generated from the following file:


midterm
Final Take Home
Megan Porter
Nav 1
Nav 2
Nav 3
Positioning Puzzle
CSS Blending mode
Travel
Type


Preseason | Week 1 | Week 2 | Week 3 | Week 4 | Week 5
Adam Shafter (0-0)
Jonny Chernek
Another solid draft for the defending champ.
Saquons only a risky pick if you need him to be your best player. That's not the case when you have Aaron Jones and Stefon Diggs. Not to mention getting Gus Edwards (after Josh convinced everyone Dobbins was fine) is another steal.
Ridley Me This Hoe? (0-0)
Aaron Lam
Kyler, Zeke, and Ridley might be this years version of Jonny's championship team last year (Mahomes/Robinson/Adams).
Cee Deez Nuts (0-0)
Michael Gragg
Tight End might be the only weakness, also happens to be the only white on the team (not counting the kicker).
White people are the worst.
Judge Jeudy (0-0)
Josh Dasch
Needs one of the 4 rookie/second year receivers to break out. And going off the last couple years there’s a good chance of it happening.
Although, if we’re going off the last couple years we should also expect Josh’s first round pick to be injured by week 2.
Water is wet (0-0)
Eric Tchen
Solid strategy to pair a safe, high floor QB (Tannehill) with a low floor but high ceiling QB (Hurts). Lacking depth at running back but also has potential for a mid-season boost if/when Michael Thomas comes back.
Bonus points for drafting Koo before Aaron so his name doesn’t make as much sense.
Pound My Hole (0-0)
Bryan Opaskar
Running backs aren’t as strong as most but compared to Havrilla’s, they’re great.
Russ and DK should carry the team but just depends on if the Seahawks offense is more like the beginning of last year or end of last year.
Trophy Wife (0-0)
Courtney Ressa
Just because I’ve made fun of whoever's drafted Tom the last few years and been wrong, doesn’t mean I'm going to stop.
Big TD Goth Girls (0-0)
Justin Cicchella
Two #1 running backs and a great #1 receiver in Jeffereson but only one QB, and he's one coming back from injury.
Blue Balls (0-0)
Kevin Mullinger
Was able to get last year's MVP, Rodgers at the end of the 5th round. Other than him and Hopkins not much depth.
But we can blame Brien for that.
Dayton Manning (0-0)
Teddy Baldassarre
Would look a lot better if Dobbins never got hurt. Will need Mike Davis to step up like he did last year only this time you still have McCaffrey to go with him.
Solid Poo (0-0)
Brian Havrilla
Showing up to the draft late:
Liquid Poo (0-0)
Brien Mullinger
Other than Lamar and Kamara a lot of inconsistent players. However, don’t think this will be the worst team. The main reason for the ranking is to be right next to Havrilla, need to see who's the better Poo.


Angular UI Tree is an AngularJS UI component that can sort nested lists, provides drag & drop support and doesn't depend on jQuery.
{{ data | json }}


SimpleITK
2.0.0.dev49
SimpleITK
Code
Explicit
include
sitkExplicitITKInPlaceImageFilter.h File Reference
#include "
sitkExplicit.h
"
#include "
itkInPlaceImageFilter.h
"
Include dependency graph for sitkExplicitITKInPlaceImageFilter.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Generated on Wed Feb 5 2020 03:22:10 for SimpleITK by
1.8.17


Comra918.github.io
Electrolux RE460D Pdf User Manuals. View online or download Electrolux RE460D Instruction Manual. Electrolux RC320 Pdf User Manuals. View online or download Electrolux RC320 Manual. ELECTROLUX RE460 INSTRUCTION MANUAL Pdf Download. Flymo FL510DE Manuals User Guides. User Manuals, Guides and Specifications for your Flymo FL510DE Lawn Mower. Database contains 1 Flymo FL510DE Manuals (available for free online viewing or downloading in PDF): Instruction manual.
View and Download Electrolux RE460 instruction manual online. Lawn mower with electric motor - 46 cm blade. RE460 Lawn Mower pdf manual download. Also for: Re460d. FLYMO RE460 Owner s Manual FLYMO RE460D Owner s Manual FLYMO RER320 Owner s Manual FLYMO REVOLUTION2000 ( REVOLUTION 2000 ) Owner s Manual All manuals are FULL service manuals or owner s manuals. Service manuals include circuit diagrams. Enter model or manufacturer: Continue. We provide downloadable manuals for Your device. We offer user manuals, operating instructions, repair manual as well as spare parts lists.
User-Manuals.com: Owner s Manuals and Service Manuals. Flymo FL510DE Manuals User Guides. List of FLYMO User and Service Manuals Electrolux RC320 Manuals - manualslib.com. Electrolux RE460D Manuals - manualslib.com.


class: center, middle, inverse, title-slide # 澳 大 UMAC (another flavor) ## Presentation Template，現更以Xaringan呈現 ### Ruriko SHEN ### Faculty of Education, University of Macau ### 2018/09/13 (updated: 2020-03-26) --- # What's this? 這是什麼？ "UMAC" is a Xaringan1 theme based on [University of Macau Brand Guidelines (UMBG)](https://www.um.edu.mo/about-um/university-identity.html) with: - Nearly the same look of the presentation template - Color schemes based on UMBG - Chinese fonts.kt[（中文字型）] support - Few modifications from my supervisor .footnote[[1] For more information about "Xaringan", click [here](https://slides.yihui.org/xaringan/). ] --- # How to use it? 如何使用？ Step 1. Put your `Rmd` file and `css` files in the same folder. Step 2. Set the `css` part of the YAML metadata in your R Markdown file: ```yaml css: ["umac.css", "umac-fonts.css"] ``` Step 3. Knit and enjoy. --- class: banner-bottom # Mods: Banner with University Logo To show the banner with university icon and logo like the PowerPoint template does, simply change the classes (`banner-bottom` and `banner-top`) applied to each page. ```rmarkdown class: banner-bottom ## Mods: Banner with University Logo ``` The top-sided one goes... ```rmarkdown class: banner-top, middle ## Acknowledgement ``` --- class: middle, banner-top # Acknowledgement This project was inspired by 2 elegent Xaringan themes: .green[TAMU] by Nan-Hung Hsieh ([GitHub](https://github.com/nanhung)) and .green[Chocolate] by Yongfu Liao ([GitHub](https://github.com/liao961120)). --- # Mods: Colors > *Colour alone can help strengthen the university's brand and build awareness, so it is critical that the colours are accurately and consistently used accross the university.* .pull-left[ #### General Colors defined in `umac-extra.css` `.red` .red[Red] `.green` .green[Green] `.blue` .blue[Blue] `.yellow` .yellow[Yellow] `.violet` .violet[Violet] `.brown` .brown[Brown] `.orange` .orange[Orange] `.cyan` .cyan[Cyan] ] .pull-right[ #### University Colors `.umblue` .umblue[University Blue] `.uyellow` .uyellow[Brand Color Yellow] `.ured` .ured[Brand Color Red] `.ublue` .ublue[Brand Color Blue] `.ugreen` .ugreen[Brand Color Green] ] --- class: banner-bottom # Mods: CJK and Kaiti Support According to UMBG, > **H. Recommended Typefaces** > *Noto Sans CJK TC is recommeded for publications, promotional materials, and websites.* Noto Sans TC (aka. 思源黑體) is the default typeface of this theme. Kaiti is also avaliable for quoting Chinese contents. ```rmarkdown .kt[固知一死生為虛誕，齊彭殤為妄作。]（《蘭亭集序》） ``` .umblue[.kt[固知一死生為虛誕，齊彭殤為妄作。]（《蘭亭集序》）] --- class: inverse, middle .kt[ 那兒可真是個好地方，安穩又豁亮……真人擁有不屈的靈魂，活在永恆的時間之中。因此人們不會因為不安而進行卑劣的紛爭，即使意見出現分歧，也會求同存異。亞馬烏羅提的風景更是美得令人起敬，高塔之上是萬里的晴空，清風拂過，沁人心脾。 .right[——愛梅特賽爾克] ] --- # Mods: Google Fonts Of course in some places in the world there's no (legal) way to access Google services including Google Fonts, which may cause trouble when your browser rendering this theme.
 But take it easy! Simply replace `umac-fonts.css` with `umac-fonts-alt.css` in YAML metadata, and, emmmm, there's no step 2. ```YAML css: ["umac.css", "umac-fonts-alt.css", "umac-extra.css"] ``` .footnote[Google Fonts mirrored by [Loli.net 常用前端公共庫 CDN 服務](https://css.loli.net/)] --- # Header 1 ## Header 2 ### Header 3 #### Header 4 ##### Header 5 --- class: center, middle, banner-top # ありがとナス ## 謝謝茄子 中國澳門氹仔，大學大馬路， 澳門大學教育學院 (E33) 某個教室 Tel : (853) 8822 8773 Fax : (853) 2883 1695


1 April 2005
As of 31 March, 140 cases of Marburg haemorrhagic fever have been reported in Angola. Of these, 132 have been fatal. Cases continue to be concentrated in Uige.
Mobile surveillance teams in Uige continue to follow up on rumours and conduct active searches for additional cases. Contact tracing has also been intensified. These activities are now supported by a mobile laboratory in Uige, which has greatly expedited diagnostic testing.
WHO is working with the Ministry of Health in the Democratic Republic of Congo to train local staff in the border area near Angola in case detection and management.


Beyond the Itinerary
Select a National Park
Select an Attraction
Select an Eatery
Save Itinerary
Itinerary Preview


The Virtual Reality Modeling Language (VRML) is a file format for describing interactive 3D objects and worlds. VRML is designed to be used on the Internet, intranets, and local client systems. VRML is also intended to be a universal interchange format for integrated 3D graphics and multimedia. VRML may be used in a variety of application areas such as engineering and scientific visualization, multimedia presentations, entertainment and educational titles, web pages, and shared virtual worlds.
VRML has been designed to fulfill the following requirements:
VRML is capable of representing static and animated dynamic 3D and multimedia objects with hyperlinks to other media such as text, sounds, movies, and images. VRML browsers, as well as authoring tools for the creation of VRML files, are widely available for many different platforms.
VRML supports an extensibility model that allows new dynamic 3D objects to be defined allowing application communities to develop interoperable extensions to the base standard. There are mappings between VRML objects and commonly used 3D application programmer interface (API) features.
Questions
or comments.
Copyright © 1997 The
VRML Consortium Incorporated.
http://www.vrml.org/Specifications/VRML97/part1/introduction.html


How do you feel when you think about your values? Do you think it can help you mediate stereotype threat if you recognize you are in it? Can you think of any other exercises you can use to help you when you are feeling down (for whatever reason) at DBC?
Family first, other than that nothing matters. Don't sweat the little things. Life's too short don't waste it on negative emotions. Make lots of mistakes, learn, grow and more importantly have fun.


|
JPEG_Deblocking
|
#include "deblock.h"
Functions | |
| bool | modeDecision (float *V) |
| float * | smoothMode (float *V, int QP) |
| float | minVal (float a, float b, float c) |
| float * | defaultMode (float *V, int QP) |
| float | clip (float x, float p, float q) |
| int | sign (float number) |
| void | printArray (float *V, int size) |
| void | deblockJpegImageH (float ***Imgdata, int size) |
| void | deblockJpegImageV (float ***Imgdata, int size) |
| unsigned char *** | floatToChar (float ***data, int size, int bitsperpixel) |
| float clip | ( | float | x, |
| float | p, | ||
| float | q | ||
| ) |
| void deblockJpegImageH | ( | float *** | Imgdata, |
| int | size | ||
| ) |
This function does the image deblocking in the horizontal directions. It takes the input image (generally JPEG compressed) and applies the deblocking filter as explained in the paper.
| void deblockJpegImageV | ( | float *** | Imgdata, |
| int | size | ||
| ) |
This function does the image deblocking in the hvertical direction. It takes the horizontally modified image and applies the deblocking filter as explained in the paper and returs the final modified raw image.
| float * defaultMode | ( | float * | V, |
| int | QP | ||
| ) |
All the operations related to the default mode are done in this function. It takes a block and the quantization value and returns the modified block. All the variable names are the same as used in the paper so the code is easy to understand
| unsigned char*** floatToChar | ( | float *** | data, |
| int | size, | ||
| int | bitsperpixel | ||
| ) |
| float minVal | ( | float | a, |
| float | b, | ||
| float | c | ||
| ) |
This function gives the minimum of 3 values
| bool modeDecision | ( | float * | V | ) |
This function selects the mode: return value 1: smooth mode return value 2: default mode
| void printArray | ( | float * | V, |
| int | size | ||
| ) |
| int sign | ( | float | number | ) |
This function gives the sign of number; e.g. Sign of -10 is -1 Sign of 10 is 1 Sign of 0 is 0
| float * smoothMode | ( | float * | V, |
| int | QP | ||
| ) |
All the operations related to the smooth mode are done in this function. It takes a block and the quantization value and returns the modified block. All the variable names are the same as used in the paper so the code is easy to understand


Tags #blog 1 Blog 1: Ideation April 10, 2020 #blog 2 Blog 2: Strategy April 17, 2020 #blog 3 Blog 3: Bottom-Up April 24, 2020 #blog 4 Blog 4: Teeing Up May 1, 2020


Amazon defines a security group as:
To get a listing of all currently defined security groups:
>>> rs = conn.get_all_security_groups()
>>> print rs
[SecurityGroup:appserver, SecurityGroup:default, SecurityGroup:vnc, SecurityGroup:webserver]
Each security group can have an arbitrary number of rules which represent different network ports which are being enabled. To find the rules for a particular security group, use the rules attribute:
>>> sg = rs[1]
>>> sg.name
u'default'
>>> sg.rules
[IPPermissions:tcp(0-65535),
IPPermissions:udp(0-65535),
IPPermissions:icmp(-1--1),
IPPermissions:tcp(22-22),
IPPermissions:tcp(80-80)]
In addition to listing the available security groups you can also create a new security group. I’ll follow through the “Three Tier Web Service” example included in the EC2 Developer’s Guide for an example of how to create security groups and add rules to them.
First, let’s create a group for our Apache web servers that allows HTTP access to the world:
>>> web = conn.create_security_group('apache', 'Our Apache Group')
>>> web
SecurityGroup:apache
>>> web.authorize('tcp', 80, 80, '<IP_ADDRESS>/0')
True
The first argument is the ip protocol which can be one of; tcp, udp or icmp. The second argument is the FromPort or the beginning port in the range, the third argument is the ToPort or the ending port in the range and the last argument is the CIDR IP range to authorize access to.
Next we create another group for the app servers:
>>> app = conn.create_security_group('appserver', 'The application tier')
We then want to grant access between the web server group and the app server group. So, rather than specifying an IP address as we did in the last example, this time we will specify another SecurityGroup object.:
>>> app.authorize(src_group=web)
True
Now, to verify that the web group now has access to the app servers, we want to temporarily allow SSH access to the web servers from our computer. Let’s say that our IP address is <IP_ADDRESS> as it is in the EC2 Developer Guide. To enable that access:
>>> web.authorize(ip_protocol='tcp', from_port=22, to_port=22, cidr_ip='<IP_ADDRESS>/32')
True
Now that this access is authorized, we could ssh into an instance running in the web group and then try to telnet to specific ports on servers in the appserver group, as shown in the EC2 Developer’s Guide. When this testing is complete, we would want to revoke SSH access to the web server group, like this:
>>> web.rules
[IPPermissions:tcp(80-80),
IPPermissions:tcp(22-22)]
>>> web.revoke('tcp', 22, 22, cidr_ip='<IP_ADDRESS>/32')
True
>>> web.rules
[IPPermissions:tcp(80-80)]


These cheap Nintendo Switch SD cards are big enough to fit all your new Black Friday purchases on
It's-a-me, a great deal on Switch memory cards!
by Colm AhernAmazon has already started discounting tons of items as part of its Black Friday sale; there are some great deals on storage for the Nintendo Switch in particular.
For those not looking to break the bank, you can grab a 128GB SanDisk Ultra micro SD card for a mere £12.99. That's a saving of over £20, which seems like a no-brainer to us. Unless you've got an extra £6 on you. If that's the case, then we recommend you pick up the 200GB card, which is currently going for £18.99.
- SanDisk Ultra 128GB micro SD card for £12.99
- SanDisk Ultra 200GB micro SD card for £18.99
- SanDisk Ultra 512GB micro SD card for £64.99
Now, if you're keen to splash the cash, there's always the enormous 512GB SanDisk Ultra micro SD card, which has had its price halved and now costs £64.99. Likely more than enough space for you to store your entire catalogue of Switch games, including the meaty Witcher 3: Wild Hunt Complete Edition, which is also currently on sale for £34.99.
But, if you're being truly flash, you can get the Nintendo-branded SD card. It's yellow, it has a little star on it, and it's pretty cute. We definitely recommend getting one of the other cards available, because 256GB isn't exactly a steal at over £40, but if that is the extent of your Nintendo love, then you go for it.
Looking for more deals focused on Switch over this Black Friday period? Look no further than our page dedicated to Nintendo Black Friday deals. And, if you fancy, have a gander at our Xbox Black Fiday and PlayStation Black Friday deal hubs, too, and you could save yourself a lot of money (while also spending money).


public String[] getInitParam() {
String[] params = {"evapRate", "diffusionConstant", "maxIdealTemp",
"minIdealTemp", "maxOutputHeat", "minOutputHeat", "worldXSize",
"worldYSize", "numBugs"};
return params;
}
These ("evapRate", etc.) are the parameters for this
model.
public void setEvapRate(double rate) {
eRate = rate;
}
public double getEvapRate() {
return eRate;
}
and so on for the rest of the parameters. All access to the
parameters is through these methods and any actual variables that
represent the parameters (such as eRate in the above example)
remain hidden.
Many of the Repast data collection mechanisms rely on these parameters remaining constant throughout the life time of a run once the model begins to run. This does not preclude in any way changing the parameters via the user interface or parameter files, but only that these parameters are not expected to change once the model is actually running. Once the parameters are defined in this way, they can be changed through the user interface or through parameter files.
runs: x
Parameter {
value_definition
}
where x is some number and Parameter is the name of some model parameter accessible through get and set methods. Runs specifies the number of runs to execute for the current parameter value. "runs:" is ignored for non-batch models. The value_definition is composed of one or more keywords and corresponding values.
The multi-keyword value definitions:
The start, end, and incr keywords together provide a value defintion and must always occur together. For a batch simulation they define a parameter space which will be automatically iterated through. start: defines the initial parameter. end: the parameter up to and including ending parameter, and incr: the amount to increment the start: value and any succeeding values to reach the end: parameters. For a gui simulation the start: value is taken as the default parameter and the remaining keywords are ignored.
Single keyword value_definitions:
For non-batch models the list keywords are equivalent to the "set:" keywords where the value is the first member of the list.
Some examples,
runs: 10
Food {
start: 10
end: 30
incr: 10
}
This means start with a food parameter with a value of 10 and run the simulation 10 times using this value. Increment the food value by 10 and run the simulation 10 times with a food value of 20 (start 10 + incr 10). Increment the food value by another 10, and run another 10 times with the food value of 30 (start 10 + incr 10 + incr 10). Incrementing the current value at this point would result in a value greater than the ending value and so the simulation ends.
More than one parameter can be specified, so for example,
runs: 10
Food {
start: 10
end: 30
incr: 10
}
MaxAge {
start: 10
end: 30
incr: 10
}
Where both food and max age are incremented as described above. If using more than one parameter it is important to synchronize them, as whenever any parameter's current value is greater than its end value, the simulation will exit.
Parameters can also be nested. For example,
runs: 1
Food {
start: 10
end: 30
incr: 10
{
runs: 10
MaxAge {
start: 0
end: 40
incr: 1
}
}
}
This example means starting with a food value of 10 run the simulation 10 times with a MaxAge of 0. Increment MaxAge by 1 and run the simulation 10 times, continue until the value of MaxAge is greater than 40. At this point, increment Food by 10 and run the simulation 10 times with a MaxAge of 0. Increment MaxAge by 1 and run the simulation 10 times. This continues until the value of Food is greater than 30. Multiple levels of nesting are possible.
Setting constants:
runs: 1
Food {
start: 10
end: 30
incr: 10
{
runs: 10
MaxAge {
start: 0
end: 40
incr: 1
}
}
}
RngSeed {
set: 1
}
RngSeed is parameter of every model and can be manipulated like any other parameter. And here it is set to one and this value will remain constant over all the individual batch runs.
List parameters:
runs: 1
Food {
start: 10
end: 30
incr: 10
{
runs: 10
MaxAge {
set_list: 1.2 3 10 12 84
}
}
}
RngSeed {
set: 1
}
This is the same as above except that maxAge will be incremented via the list. So first run with maxAge as 1.2, do this for 10 runs. Then set maxAge to 3 and run with this value for 10 times. Continue until the end of the list, then increment Food and start at the beginning of the MaxAge list, and so on until the Food parameter is greater than 30.
The boolean and string keywords work in an identical manner, but set boolean and string values instead of numeric ones.
Parameter files can contain comments delimited by the standard c/c++/java comment markers: '//', '/*...*/'
For more information on loading a parameter file into your model, see How Run a Simulation, The Main Method, and How To Use Multi-Run.


| Calcium | Calcium helps your body build strong bones and teeth. It also clots your blood when needed, can squeeze and relax your muscles and helps with having a normal heart beat. | Green leafy vegetables, salmon and sardines or any fish with soft bones as well as nuts such as brazil nuts and sunflower seeds. Let's not forget the most common sources of calcium - dairy, cheese, and yogurt are good as well as milk which helps your body absorb calcium. |
| Magnesium | You need magnesium for healthy bones, teeth, and to energize your metabolism as well as balance acid in your body. | Milk, grains, and lean meat. |
| Potassium | This keeps a normal water balance between our cells and body as well as control muscles contractions(So next time you have cramps a lot, eat something with tons of potassium like bananas) | Dark leafy greens, white beans, bananas of course, avocado, fish, such as salmon, and mushrooms. |
| Iron | Iron is needed for our bodies for haemoglobin, which carries oxygen, the stuff we breathe from our lungs to the cells in our body. | Meats, eggs, green leafy vegetables, and legumes. |
| Zinc | Needed so our cells can multiply. Also, this helps our tissues and muscles grow. | Meat, seafood, liver, eggs, milk, and whole-grains. |


City Flooding Kit
Home
Administrator Area
(current)
About
ADD YOUR KIT
KIT USERNAME
the username must be unique.
LATITUDE
LONGITUDE
Add
CONFIGURE YOUR KIT
Enter into console
You can:
create/edit/delete a rule to manage the data and the alarm
configure a new kit
create new functionalities through Lamda Function


Toggle navigation
Home
Resume
Find Me
GitHub
LinkedIn
Medium
Or reach out directly
<EMAIL_ADDRESS>More Things I've Built
The Copernicus Game
30K Sudoku Puzzles
Sixers Dashboard
Boggle
Twitter SearchParty
Stuff I Work With
Javascript
Node
Redis
Angular
React
Three.js
Mongo
HTML5/CSS3
Add a New Sixer!
Add New Player
Update Stats!
Update Data
Delete Player
Back to reality...


--- redirect_from: "/lobbies/themes/" ---
These are the themes we use in our lobby events! We have a focus on casual play with items on and a varied selection of stages. The competitive themes are reserved for our tournament warm-up lobbies.
from


Class: Aws::MediaLive::Types::VideoDescription
| Relationships & Source Files | |
| Super Chains via Extension / Inclusion / Inheritance | |
|
Class Chain:
self,
Struct
|
|
|
Instance Chain:
self,
::Aws::Structure ,
Struct
|
|
| Inherits: |
Struct
|
| Defined in: | gems/aws-sdk-medialive/lib/aws-sdk-medialive/types.rb |
Overview
Video settings for this stream.
Constant Summary
Instance Attribute Summary
-
#codec_settings ⇒ Types::VideoCodecSettings
rw
Video codec settings.
-
#height ⇒ Integer
rw
Output
video height, in pixels. -
#name ⇒ String
rw
The name of this
VideoDescription
. -
#respond_to_afd ⇒ String
rw
Indicates how
::Aws::MediaLive
will respond to the AFD values that might be in the input video. -
#scaling_behavior ⇒ String
rw
STRETCH_TO_OUTPUT configures the output position to stretch the video to the specified output resolution (height and width).
-
#sharpness ⇒ Integer
rw
Changes the strength of the anti-alias filter used for scaling.
-
#width ⇒ Integer
rw
Output
video width, in pixels.
Instance Method Summary
::Aws::Structure
- Included
| #to_hash | Alias for Structure#to_h. |
Instance Attribute Details
#codec_settings ⇒ Types::VideoCodecSettings (rw)
Video codec settings.
# File 'gems/aws-sdk-medialive/lib/aws-sdk-medialive/types.rb', line 12514
class VideoDescription < Struct.new( :codec_settings, :height, :name, :respond_to_afd, :scaling_behavior, :sharpness, :width) SENSITIVE = [] include Aws::Structure end
#height ⇒ Integer
(rw)
Output
video height, in pixels. Must be an even number. For most
codecs, you can leave this field and width blank in order to use the
height and width (resolution) from the source. Note, however, that
leaving blank is not recommended. For the Frame Capture codec,
height and width are required.
# File 'gems/aws-sdk-medialive/lib/aws-sdk-medialive/types.rb', line 12514
class VideoDescription < Struct.new( :codec_settings, :height, :name, :respond_to_afd, :scaling_behavior, :sharpness, :width) SENSITIVE = [] include Aws::Structure end
#name ⇒ String
(rw)
The name of this VideoDescription
. Outputs will use this name to
uniquely identify this Description. Description names should be
unique within this Live Event.
# File 'gems/aws-sdk-medialive/lib/aws-sdk-medialive/types.rb', line 12514
class VideoDescription < Struct.new( :codec_settings, :height, :name, :respond_to_afd, :scaling_behavior, :sharpness, :width) SENSITIVE = [] include Aws::Structure end
#respond_to_afd ⇒ String
(rw)
Indicates how ::Aws::MediaLive
will respond to the AFD values that might be
in the input video. If you do not know what AFD signaling is, or if
your downstream system has not given you guidance, choose
PASSTHROUGH. RESPOND: ::Aws::MediaLive
clips the input video using a
formula that uses the AFD values (configured in afdSignaling ), the
input display aspect ratio, and the output display aspect ratio.
::Aws::MediaLive
also includes the AFD values in the output, unless the
codec for this encode is FRAME_CAPTURE. PASSTHROUGH: ::Aws::MediaLive
ignores the AFD values and does not clip the video. But MediaLive
does include the values in the output. NONE: ::Aws::MediaLive
does not clip
the input video and does not include the AFD values in the output
# File 'gems/aws-sdk-medialive/lib/aws-sdk-medialive/types.rb', line 12514
class VideoDescription < Struct.new( :codec_settings, :height, :name, :respond_to_afd, :scaling_behavior, :sharpness, :width) SENSITIVE = [] include Aws::Structure end
#scaling_behavior ⇒ String
(rw)
STRETCH_TO_OUTPUT configures the output position to stretch the video to the specified output resolution (height and width). This option will override any position value. DEFAULT may insert black boxes (pillar boxes or letter boxes) around the video to provide the specified output resolution.
# File 'gems/aws-sdk-medialive/lib/aws-sdk-medialive/types.rb', line 12514
class VideoDescription < Struct.new( :codec_settings, :height, :name, :respond_to_afd, :scaling_behavior, :sharpness, :width) SENSITIVE = [] include Aws::Structure end
#sharpness ⇒ Integer
(rw)
Changes the strength of the anti-alias filter used for scaling. 0 is the softest setting, 100 is the sharpest. A setting of 50 is recommended for most content.
# File 'gems/aws-sdk-medialive/lib/aws-sdk-medialive/types.rb', line 12514
class VideoDescription < Struct.new( :codec_settings, :height, :name, :respond_to_afd, :scaling_behavior, :sharpness, :width) SENSITIVE = [] include Aws::Structure end
#width ⇒ Integer
(rw)
Output
video width, in pixels. Must be an even number. For most
codecs, you can leave this field and height blank in order to use
the height and width (resolution) from the source. Note, however,
that leaving blank is not recommended. For the Frame Capture codec,
height and width are required.
# File 'gems/aws-sdk-medialive/lib/aws-sdk-medialive/types.rb', line 12514
class VideoDescription < Struct.new( :codec_settings, :height, :name, :respond_to_afd, :scaling_behavior, :sharpness, :width) SENSITIVE = [] include Aws::Structure end


.size()
or .length()
comparisons with a 0
literal that can be replaced with a call to .isEmpty()
.
Example:
boolean emptyList = list.size() == 0;
After the quick-fix is applied:
boolean emptyList = list.isEmpty();
Use the Ignored classes table to add classes for which any .size()
or .length()
comparisons should not be replaced.
Use the Ignore expressions which would be replaced with !isEmpty()
option to ignore any expressions which would be replaced with !isEmpty()
.