Front Page
Home
About
In class part 1
Resume
Week04-Day01
Style.css
About
List-buttons
Download Image
Learn images
by:
Arshan Rashidi
BringebaerBlomst Flower
999Vic999 [
CC BY-SA 4.0
],
via Wikimedia Commons
Calm Water, Stormy Skies
Innocent Sea Turtle


Popular Areas in nato issued knives archives
Commander - Emerson Knives
THE WAY I SEE IT · ARCHIVES · AFFILIATES · PHOTO GALLERIES · BECOME A DEALER . The Emerson Commander is the winner of the "Best Overall Knife of the . European Military strike teams and NATO Counter-Terrorist units throughout . SEAL teams for issue to special units within the Naval Special Forces Units.
http://www.emersonknives.com/ekCommander_BTS.php
Military | Gerber Gear
The Ultimate Knife Bear's go-to for survival in the wild. Shop Knives . E.A.B. Lite An ultra-light folding utility knife . Military NSN Products NATO Stock Number .
http://www.gerbergear.com/Military
Pakistan reopens NATO supply route after US apology - Threat Matrix
Jul 3, 2012 . Pakistan has reopened NATO's supply routes into Afghanistan, more . on Tuesday and issued an apology for the soldiers' deaths: "We are sorry for . to reopen the supply route; however, they still grasp their knives behind their . http: //www.longwarjournal.org/archives/2010/10/taliban_torch_27_nat.php .
http://www.longwarjournal.org/threat-matrix/archives/2012/07/pakistan_reopens_nato_supply_r.php
NewsDaily: NATO air strikes for Afghan security forces must end ...
Feb 16, 2013 . Afghan security forces will be banned from calling for NATO air strikes in . If issued, such a decree would for the first time bar Afghan security . Number of stories in archives: 2,855 . U.S. to allow small knives to be carried onto airplanes · U.S., China agree U.N. sanctions draft; North Korea renews threats .
http://www.newsdaily.com/stories/bre91f01r-us-afghanistan-karzai-airstrikes/
How We Would Fight China - Robert D. Kaplan - The Atlantic
Atlantic articles discuss the history and possible future of NATO . Warfare by committee, as practiced by NATO, has simply become too cumbersome in an age .
http://www.theatlantic.com/magazine/archive/2005/06/how-we-would-fight-china/303959/
NATO - News: Oslo public debate on the future role of NATO, 13-Jan ...
Jan 13, 2010 . Official texts (Chronological) · STANAGs · NATO Archives · NATO Multimedia . Around 80 people participated in a NATO seminar at the Norwegian Institute for . NATO as a Swiss army knife, "which is problematic, but reflects the fact that . with Russia, a key issue also discussed at the third official Strategic .
http://www.nato.int/cps/en/natolive/news_60755.htm


ASAC
Home
About
Contact
Student Email
Student Mobil Number
Tuition
100 JD
500 JD
1000 JD
Submit
id
Name
Email
Mobile
Age
Tuition
Total: 0


This page informs you of our policies regarding the collection, use, and disclosure of personal data when you use our Service and the choices you have associated with that data. Our Privacy Policy for Eventmaster is managed through Free Privacy Policy.
We use your data to provide and improve the Service. By using the Service, you agree to the collection and use of information in accordance with this policy. Unless otherwise defined in this Privacy Policy, terms used in this Privacy Policy have the same meanings as in our Terms and Conditions
INFORMATION COLLECTION AND USE
We collect several different types of information for various purposes to provide and improve our Service to you.
Types of Data Collected
PERSONAL DATA
While using our Service, we may ask you to provide us with certain personally identifiable information that can be used to contact or identify you ("Personal Data"). Personally, identifiable information may include, but is not limited to:
Email address
First name and last name
Phone number
Address, State, Province, ZIP/Postal code, City
Cookies and Usage Data
USAGE DATA
We may also collect information about how the Service is accessed and used ("Usage Data"). This Usage Data may include information such as your computer's Internet Protocol address (e.g. IP address), browser type, browser version, the pages of our Service that you visit, the time and date of your visit, the time spent on those pages, unique device identifiers and other diagnostic data.
TRACKING & COOKIES DATA
We use cookies and similar tracking technologies to track the activity on our Service and hold certain information.
Cookies are files with small amount of data which may include an anonymous unique identifier. Cookies are sent to your browser from a website and stored on your device. Tracking technologies also used are beacons, tags, and scripts to collect and track information and to improve and analyze our Service.
You can instruct your browser to refuse all cookies or to indicate when a cookie is being sent. However, if you do not accept cookies, you may not be able to use some portions of our Service.
Examples of Cookies we use:
Session Cookies. We use Session Cookies to operate our Service.
Preference Cookies. We use Preference Cookies to remember your preferences and various settings.
Security Cookies. We use Security Cookies for security purposes.
USE OF DATA
Eventmaster uses the collected data for various purposes:
To provide and maintain the Service
To notify you about changes to our Service
To allow you to participate in interactive features of our Service when you choose to do so
To provide customer care and support
To provide analysis or valuable information so that we can improve the Service
To monitor the usage of the Service
To detect, prevent and address technical issues
TRANSFER OF DATA
Your information, including Personal Data, may be transferred to — and maintained on — computers located outside of your state, province, country or other governmental jurisdiction where the data protection laws may differ than those from your jurisdiction.
If you are located outside India and choose to provide information to us, please note that we transfer the data, including Personal Data, to India and process it there.
Your consent to this Privacy Policy followed by your submission of such information represents your agreement to that transfer.
Eventmaster will take all steps reasonably necessary to ensure that your data is treated securely and in accordance with this Privacy Policy and no transfer of your Personal Data will take place to an organization or a country unless there are adequate controls in place including the security of your data and other personal information.
DISCLOSURE OF DATA
Legal Requirements
Eventmaster may disclose your Personal Data in the good faith belief that such action is necessary to:
To comply with a legal obligation
To protect and defend the rights or property of Eventmaster
To prevent or investigate possible wrongdoing in connection with the Service
To protect the personal safety of users of the Service or the public
To protect against legal liability
SECURITY OF DATA
The security of your data is important to us, but remember that no method of transmission over the Internet, or method of electronic storage is 100% secure. While we strive to use commercially acceptable means to protect your Personal Data, we cannot guarantee its absolute security.
SERVICE PROVIDERS
We may employ third party companies and individuals to facilitate our Service ("Service Providers"), to provide the Service on our behalf, to perform Service-related services or to assist us in analyzing how our Service is used.
These third parties have access to your Personal Data only to perform these tasks on our behalf and are obligated not to disclose or use it for any other purpose.
Analytics
We may use third-party Service Providers to monitor and analyze the use of our Service.
Google Analytics
Google Analytics is a web analytics service offered by Google that tracks and reports website traffic. Google uses the data collected to track and monitor the use of our Service. This data is shared with other Google services. Google may use the collected data to contextualize and personalize the ads of its own advertising network.
You can opt-out of having made your activity on the Service available to Google Analytics by installing the Google Analytics opt-out browser add-on. The add-on prevents the Google Analytics JavaScript (ga.js, analytics.js, and dc.js) from sharing information with Google Analytics about visits activity.
For more information on the privacy practices of Google, please visit the Google Privacy & Terms web page: https://policies.google.com/privacy?hl=en
LINKS TO OTHER SITES
Our Service may contain links to other sites that are not operated by us. If you click on a third party link, you will be directed to that third party's site. We strongly advise you to review the Privacy Policy of every site you visit.
We have no control over and assume no responsibility for the content, privacy policies or practices of any third party sites or services.
CHILDREN'S PRIVACY
Our Service does not address anyone under the age of 18 ("Children").
We do not knowingly collect personally identifiable information from anyone under the age of 18. If you are a parent or guardian and you are aware that your Children has provided us with Personal Data, please contact us. If we become aware that we have collected Personal Data from children without verification of parental consent, we take steps to remove that information from our servers.
CHANGES TO THIS PRIVACY POLICY
We may update our Privacy Policy from time to time. We will notify you of any changes by posting the new Privacy Policy on this page.
We will let you know via email and/or a prominent notice on our Service, prior to the change becoming effective and update the "effective date" at the top of this Privacy Policy.
You are advised to review this Privacy Policy periodically for any changes. Changes to this Privacy Policy are effective when they are posted on this page.


khal
A text-based calendar and scheduling application for the command-line.
More information: home page
- Start khal on interactive mode:
ikhal
- Print all events scheduled in personal calendar for the next seven days:
khal list -a personal today 7d
- Print all events scheduled not in personal calendar for tomorrow at 10:00:
khal at -d personal tomorrow 10:00
- Print a calendar with a list of events for the next three months:
khal calendar
- Add new event to personal calendar:
khal new -a personal 2020-09-08 18:00 18:30 "Dentist appointment"


Bowling score calculator, one player version
Enter the results of every roll and get the total score or full game state (also in JSON format).


Enumeration members
AdobeRgb1998
AdobeRgb1998: = "AdobeRgb1998"
AppleRgb
AppleRgb: = "AppleRgb"
CoatedFogra27
CoatedFogra27: = "CoatedFogra27"
CoatedFogra39
CoatedFogra39: = "CoatedFogra39"
ColorMatchRgb
ColorMatchRgb: = "ColorMatchRgb"
EciRgbV1
EciRgbV1: = "EciRgbV1"
EciRgbV2
EciRgbV2: = "EciRgbV2"
EuropeIsoCoatedFogra27
EuropeIsoCoatedFogra27: = "EuropeIsoCoatedFogra27"
EuroscaleCoated
EuroscaleCoated: = "EuroscaleCoated"
EuroscaleUncoated
EuroscaleUncoated: = "EuroscaleUncoated"
IsoCoated
IsoCoated: = "IsoCoated"
IsoCoated300EciV2
IsoCoated300EciV2: = "IsoCoated300EciV2"
IsoCoatedEciV2
IsoCoatedEciV2: = "IsoCoatedEciV2"
IsoCoatedV2Grey1cBas
IsoCoatedV2Grey1cBas: = "IsoCoatedV2Grey1cBas"
Isonewspaper26v4
Isonewspaper26v4: = "Isonewspaper26v4"
Isonewspaper26v4Grey
Isonewspaper26v4Grey: = "Isonewspaper26v4Grey"
JapanColor2001Coated
JapanColor2001Coated: = "JapanColor2001Coated"
JapanColor2001Uncoated
JapanColor2001Uncoated: = "JapanColor2001Uncoated"
JapanColor2002Newspaper
JapanColor2002Newspaper: = "JapanColor2002Newspaper"
JapanWebCoated
JapanWebCoated: = "JapanWebCoated"
SrgbColorSpaceProfile
SrgbColorSpaceProfile: = "SrgbColorSpaceProfile"
UncoatedFogra29
UncoatedFogra29: = "UncoatedFogra29"
UsSheetfedCoated
UsSheetfedCoated: = "UsSheetfedCoated"
UsSheetfedUncoated
UsSheetfedUncoated: = "UsSheetfedUncoated"
UsWebCoatedSwop
UsWebCoatedSwop: = "UsWebCoatedSwop"
UsWebUncoated
UsWebUncoated: = "UsWebUncoated"
WebCoatedFogra28
WebCoatedFogra28: = "WebCoatedFogra28"
WebCoatedSwop2006Grade3
WebCoatedSwop2006Grade3: = "WebCoatedSwop2006Grade3"
WebCoatedSwop2006Grade5
WebCoatedSwop2006Grade5: = "WebCoatedSwop2006Grade5"
Available color profiles


[Update: AMOLED Black Theme] After Facebook Messenger, Viber now gets a dark mode on Android
by Joe FedewaUpdate (11/19/19 @ 5:15 PM ET): Viber adds an AMOLED black theme in the latest update.
Dark themes have been popping up in tons of apps lately. Google has rolled out dark mode to numerous apps in the last few months. Recently, the long-awaited dark mode for Facebook Messenger arrived as well. The latest app to get this feature is the popular messaging service Viber.
 Android Q is readying a system-wide dark theme that should work great. Dark themes can save battery life and be easier on your eyes, so we’re always glad to see more dark themes in the Android world.
As a messaging app, users are opening Viber dozens of times a day. So it’s nice to see a dark theme that can potentially save a little juice and your eyes. Viber’s dark theme is a dark charcoal color, not a pure AMOLED black. Download the latest version of the app for Android to try out the new dark mode feature.
Update: AMOLED Black Theme
Following Viber’s release of a dark gray Dark Mode back in March, the app now has a true AMOLED black Dark Mode. You can choose between the Dark Mode and Black Mode by going to Settings > Appearance.
Source: Android Police


Marie-Claude Chasport
Transformation Program Manager
My profile
My strong expertise in Transformation project management and team coaching, my customer centric approach, will contribute to the success of your successful digital transformation
Project
Manager
15 years
Cloud Azure Transformation
2 years
Complex international projects
9 years
My assets
Skills
- Cloud offer creation and services catalog management
- Change management
- Team selection and coaching
- Financial analysis for projects and services center
- Management of cloud Azure, VMware, Nutanix, Security projects
- Agile, KANBAN, cycle in V Project Methodologies
- Finance, CRM, Logistic and SAV Processes
- Fluent english
Certifications
- Professional Scrum Master
- Cloud Service Manager
- ITIL V3
- Six Sigma
Referentiels
- Agile
- PMBOK
- CMMI
- COBIT
Professional experience
From July 2018
PROGRAM DIRECTOR OF AZURE CLOUD TRANSFORMATION
Freelance consultant– Digital Transformation, continuous improvement
Areva / Orano / Framatome - Budget 2M€ - 10 people
Stakes: Business agility, Innovation, cost reduction and IS security
- Validation of Cloud Business Case and definition of new Pricing model including 30% savings
- Structuration of program in 4 stable states and 5 streams for more agility
- Management of design and implementation of Cloud IaaS offer on Azure in 5 months for the first legacy migrations and IS transformations
- Setup of agile Labs for application transformation
- Definition and implementation of overall roadmap for new Cloud usages, PaaS services and automation for developers
- Definition, setup and follow-up of Cloud FinOPS policy: Azure expenses reduction by more than 50%
- Cloud Security model implementation based on continuous improvement principle
- New Delivery model setup by step
- Cloud Services catalog management and Business support to the cloud
July 2011 - June 2018
IT PROJECT MANAGER
Freelance consultant
Areva / Orano / Framatome - Projects portfolio 8M€
Project management of fixed-prices Infrastructures and Security projects
- Leading Modernization of Datacenters (Hyperconverged Infrastructure), from request for proposal to Production: 735 machines migrated in 6 months
- Management of study and implementation of IaaS Private Cloud within 4 months:
5 developers (Python, Shell, API REST, VRA, EXADATA); Savings 500K€/year - Project management for IS security:
- Definition and setup of Zero Trust model via SDDC, Virtual Networking NSX,
- External partners access and shared spaces,
- Industrial IS connectivity,
- Mutualized and secured Citrix infrastructure for consolidation
- Storage, archiving and Backup infrastructure renovation for critical sites
September 2010 - June 2011
Training Consultant
EGILIA
Creation and animation of trainings on negotiation, communication, conflict management
2000 - 2010
FOUNDER / MANAGER and PROJECT MANAGER
Echappée Ludique - Team Building, cultural discovery and sensibilization
Elaboration of an offer adapted to each enterprise based on the dynamic of the team
e-commerce catalog based on quality services
- Developed specific knowledge based on unique participative sessions using game as facilitator
- Innovative offer ‘Carnets Découverte’ selected by Hachette
- Customer satisfaction above 99%
1998 – 2000
HEAD OF IS DEVELOPMENT DEPARTEMENT
JC DECAUX SERVICES - Budget 2 M€ - 25 people
Elaboration of the new Information Systems architecture reviewing all business processes focused on new business goals – projects steering
- Elaborated programs portfolio and roadmap to align with business priorities
- Conducted gap analysis study and set up new ERP for finance, fully integrated in less than 12 months (ERP Oracle Applications)
- Defined and implemented major common data in strong partnership with all businesses
- Re-edited Sales Information System project through prototyping approach
- Set up Business intelligence strategy for Sales Department
1995 - 1998
INFORMATION SYSTEMS MANAGER FOR SERVICE DIVISION
GENERAL ELECTRIC Medical Systems - Budget 5 M$ - 30 people (EUR, US, Asia)
Defined design, development and support strategy for global logistics (America, Europe, Asia) and for European Service Division through a Six Sigma Quality Approach with offshore team creation
- In two years, 5M$ savings through productivity increase and stock reduction
- In less than 18 months, a new global Installed Base Management system for customers equipment designed, developed and deployed across more than 70 countries
1991 -1994
EUROPEAN MANAGER FOR TELECOM ET NEW TECHNOLOGIES
GENERAL ELECTRIC Medical Systems - Budget 6 M$ - 10 people
Defined and implemented the European strategy to allow increase business productivity in addition to infrastructure cost reduction
- Saved 800 K$ within two years of Telecom budget for voice, data and images (8% per year)
- Set up a reliable and performing network infrastructure across all Europe: 90 sites connected from Middle East to Eastern countries (multiprotocol SNA and TCP-IP)
- Defined and deployed Telecom and IT tools for mobile office of sales force and service technicians
- Defined and implemented Office Systems strategy in term of hardware and software (2000 PCs)
1988 - 1990
TELECOM PROJECT LEADER
GENERAL ELECTRIC Medical Systems
- Defined and deployed network architecture for the 7 major European sites (4500 users
- Specified cabling standards and managed new European data center implementation for voice, data and images network (400 people)
- Technical support for specification and implementation of ACD for customer call center
1986 - 1988
SOFTWARE ENGINEER
THOMSON-CGR
- Specified and developed test software programs for medical imaging equipment, in particular tele diagnosis automats (C and Pascal languages)
Languages
- French: Native language
- English: Fluent
Education
- 2017 : Professional Scrum Master - Certification
- 2017 : Professional Cloud Service Manager - Certification
- 2010 : ITIL V3 – Certification
-
CMMI, COBIT, PMBOK
- 1998 : Six Sigma – Green Belt
1983 - 1986: Engineer from Compiegne Technology University - Biomedical Engineering
Hobbies
- Contemporary dance : Collaboration to chorégraphic workshops and dance performance creation
- Rhytmic Gymnastic : Participation to European championship, 1st French
Contact me
© 2020 Copyright: Marie-Claude Chasport - August 2020


| Internet Access Methods |
| Product: |
IAM>Developing |
| Description: |
IAM>Developing is an Integrated Development Environment (IDE) designed from the core for Extensibility and Real-Time Collaboration with integrated capability for providing Professional Service and Support Directly from the development environment. You can extend upon either the Java or C/C++ development platforms or built an entire Product Branded development environment on top of the IAM>Developing Core |
| System Requirements: |
Runs on any OS/Platform with JDK 1.3.1+ and JDBC connectivity to any database Solaris, Linux, Windows, Mac OS X, All Flavors of UNIX |
| Availability & Pricing: |
Java Edition $99, Enterprise Java Edition $250 via http://www.iam-there.com |
| Target Markets: |
Industry neutral |
| Contact: |
Christine Thelmo
VP, Business Development
<EMAIL_ADDRESS>212-580-2700, x140 |
| Website: |
http://www.iamethods.com/ |
|


{% extends "base.html" %} {% block content %}
Enter your VUnetID below, and we can email you a one-time login link or help you reset your password.


In this section we talk about entropy, a concept of fundamental importance in physics, mathematics and information theory. 1 This section was not covered in class and may be safely omitted
Entropy is a measure of the randomness. For example, among the $\mbox{Ber}(p)$ distributions, the entropy is maximized at $p=1/2$ and minimized at $p=0\mbox{ or }1$. It quantifies the intuitive feeling that $\mbox{Ber}(1/2)$ is more random than $\mbox{Ber}(1/4)$.
Gibbs measures : Let ${\mathcal A}$ be a countable set and let ${\mathcal H}:{\mathcal A}\rightarrow \mathbb{R}$ be a given function. For any $E\in \mathbb{R}$, consider the set of ${\mathcal P}_{E}$ of all probability mass functions on $\Omega$ under which ${\mathcal H}$ has expected value $E$. In other words, $$ {\mathcal P}_{E}:=\{{\bf p}=\left(p_{i}\right)_{i\in {\mathcal A}}{\; : \;} \sum_{i\in {\mathcal A}} p(i){\mathcal H}(i)=E\}. $$ ${\mathcal P}_{E}$ is non-empty if and only if ${\mathcal H}_{\min}\le E\le {\mathcal H}_{\max}$.


--- layout: archive title: Zulip Chat Archive permalink: /stream/113488-general/topic/unexpected.20funext.20.2F.20refl.20behaviour.html ---
set_option pp.universes true -- might help example : -- phenomenon won't occur if you replace this with theorem T! (λ (X : Sort*) (f : X → X) , f) = (λ (X : Sort*) (f : X → X), f) := begin funext, -- only pulls off X, possibly because of universe issues -- two failed attempts to pull off f now: -- funext, -- does nothing -- apply funext, -- fails to unify refine funext _, -- Type of X now Sort (imax ? ?) and a type mismatch error reported **but goal changes anyway** intro f, -- goal now f = f -- refl, -- doesn't work! Fails to unify. exact rfl, -- does work end
I am pleased to have confused tactic mode so much that refl
won't work but exact rfl
will.
I am not sure if my goal is true, as the sorts may or may not be in different universes initially. However the funext tactic seems to buy it, although after pulling off the X it gets confused and won't pull off the f
.
apply f
won't do it but I seem to be able to explicitly do it with refine funext _
although now Lean is in a funny state -- the refine tactic does appear to do something, but reports an error anyway.
replacing example
with theorem T
makes all the problems go away, which is to me very surprising behaviour.
This Lean 3 is all broken. Let's have Lean 4.
(and hope Kevin stops trying to break everything)
Isn't it just because your X's are in different universes. And then if you put them in the same universe, it fails because the funext tactic gets rid of both lambdas.
I agree that if you put them in the same universe, all is well.
But if you leave them in different universes, Lean ends up in a weird state.
After the intro f, you have a goal f = f
which refl won't close
but exact rfl
will. However we are now passed a red squiggly line and I am not too sure how seriously to take Lean.
I'm beginning to see the problem. Is it something to do with, it let's you do funext the first time, so if you can prove their equal, it will deduce the universes are the same. So your proposition is a bit like an heq?
I was wondering if there was some implicit unification going on
Also it was very strange to see a line in tactic mode fail and yet see the goal change.
Looks a bit in the same spirit as your most recent issue on Lean github
And it automatically lifts the functions to a different universe to be able to state that they're equal.
Lean somehow fails to notice it's failing
Haven't ever done anything that really tests the universe system so I don't really know.
I just started playing with it recently. I'm just trying to get the hang of it :-)
I know there's something strange going on here but I've not explained it very well. How about this
example : (λ (X : Sort*) (f : X → X) , f) = (λ (X : Sort*) (f : X → X), f) := begin funext, -- it's not very effective refine @funext (X → X) _ _ _ _, -- back on track intro f, refl, end
That works fine.
But now let me change example
to theorem strange
:
theorem strange : (λ (X : Sort*) (f : X → X) , f) = (λ (X : Sort*) (f : X → X), f) := begin funext, -- it's super effective! refine @funext (X → X) _ _ _ _, -- invalid type ascription intro f, refl, end
The proof no longer typechecks if I name the theorem
because the behaviour of funext
changes now the theorem has a name
That's not right, is it?
I think this has something to do with screwy universes
Yes, it could be related to the fact that example
(compared to theorem
) does allow meta (universe) variables in its statement. So the type is not fully elaborated, it gets fully elaborated together with the value like def
. So maybe funext
has a problem with instantiating them.
Oh yes! If I set pp.universes true
then I see that in the theorem
the goal has (X : Sort u_1)
but in the example
it has (X : Sort ?l_1)
I see, so definition strange
fixes the problem :-)
here's some possibly related weird behaviour:
example : (λ (X : Sort*) (f : X → X) , f) = (λ (X : Sort*) (f : X → X), f) := begin funext, refine funext _, intro f, -- this proof isn't finished yet end
the goal now is f = f
(at the point where the proof is not finished)
or with pp.all
on
⊢ @eq.{?l_2} (X → X) f f
and the red squiggle is under end
because we wrote end before the proof was complete
However if we write admit
to finish the proof
we get a new red squiggle
on the second funext :-)
Maybe the universe unification or whatever only takes place after the admit, and then Lean decides something was wrong all along
I guess this is the price I pay for the silly Sort*
choices I made earlier
changing example
to theorem T
gives me the red squiggle on the second funext immediately
I think it might be because the proof could give a clue about universes, but not if the proof is admit.
{% endraw %}Last updated: Apr 24 2020 at 19:02 UTC


We have this notion of complexity analysis - a way to identify the tradeoffs between various algorithms, both in terms of the amount of time that an algorithm will take to solve a problem but also the amount of space that it will require in memory. We can say that for a growing input of size n, the amount of computational time an algo necessitates can be articulated as a function of n itself, say, f(n). This is useful when comparing the amount of Time that an algo requires for a changing Input Size.
In practice, we will ALWAYS prefer an algorithm with a faster runtime performance for a given input of size n.


Plan. Track. Impact.
with DroneMaps
Highly Dense Maps
Create Maps in 2D and 3D. Extract dense contours and digital elevation models
Annotate
Make notes, highlight, and annotations about observations on the field.
Progress Tracking
Flexible and highly granular change tracking applications on drone based maps.
Measure
Supports Live measurements in 2D and 3D, all in your web browser.
AI Powered Analytics
Geotag assets like roads, plot boundaries, street lights, and footpaths.
Share with your team
Share the analytics, annotations, insights, and map outputs with your team.
DroneMaps in Action
We’d love to hear from you!


|
Groovy 2.1.7 | |||||||
| PREV NEXT | FRAMES NO FRAMES |
| Interface Summary | |
|---|---|
| LoopingStatement | This is an AST Node that provides some sort of looping mechanism. |
| Class Summary | |
|---|---|
| AssertStatement | Represents an assert statement such as
assert i ! |
| BlockStatement | A list of statements and a scope. |
| BreakStatement | Represents a break statement in a switch or loop statement |
| CaseStatement | Represents a case statement in a switch statement |
| CatchStatement | Represents a catch (Exception var) { } statement |
| ContinueStatement | Represents a continue statement in a loop statement |
| DoWhileStatement | Represents a do { ... } while (condition) loop in Groovy |
| EmptyStatement | Represents an empty statement |
| ExpressionStatement | A simple statement such as a method call where the return value is ignored |
| ForStatement | Represents a standard for loop in Groovy |
| IfStatement | Represents an if (condition) { ... } else { ... } statement in Groovy |
| ReturnStatement | A return statement |
| Statement | Base class for any statement |
| SwitchStatement | Represents a switch (object) { case value: ... case [1, 2, 3]: ... |
| SynchronizedStatement | Represents a synchronized statement |
| ThrowStatement | Represents a throw statement |
| TryCatchStatement | Represents a try { ... } catch () finally {} statement in Groovy |
| WhileStatement | Represents a while (condition) { ... } loop in Groovy |
Copyright © 2003-2013 The Codehaus. All rights reserved.


The (abstract) types istream and ostream are used to read and write characters.
The (bastract) istream class provides a basic interface to a source of characters. It allows for the reading of a single character, either blocking (waiting for a character to become available) or non-blocking ('\0' is returned immediately when no character is available.
| functions | effect |
|---|---|
| getc() | wait for a char and return it |
| getc_nowait() | immediately return a char, returns '\0' if none available |
| char_available() | return whether a char is available |
| operator>> | equivalent to getc() |
Operations on an istream are not buffered.
The (abstract) ostream class provides an interface to a sink of characters. Both basic (single character) and formatted operations are provided. Unlike isteram, all ostream operations are (potentially) buffered: a flush() call might be needed to make sure that everything what was written takes effect.
| basic functions | effect |
|---|---|
| putc(c) | write the char c |
| flush() | flushes all buffered output |
The formatted ostream operations are used via the overloaded << operator and mimic std::ostream operations.
| write using << | effect |
|---|---|
| bool | writes the bool value (see boolalpha) |
| char | writes the single char |
| short int, int, long int, long long int | writes the (signed) integer value |
| unsigned integers | writes the (unsigned) integer value |
| const char * | writes the string |
| string | writes the string |
| flush | equivalent to a flush() call |
| formatting | effect |
|---|---|
| boolalpha | bools are written as '0' or '1'. |
| noboolalpha | bools are written as 'false' or 'true' |
| showbase | ints are witten with a base prefix |
| noshowbase | ints are written without a base prefix |
| setfill(c) | c is used as the fill character |
| setw(n) | a write uses a field of n positions |
| right | a write is left aligned in its field |
| left | a write is right aligned in its field |
| bin | integers are written base 2 |
| oct | integers are written base 8 |
| dec | integers are written base 10 |
| hex | integers are written base 16 |
An hwlib::terminal terminal is an ostream that writes to a rectangular screen of characters. In addition to the ostream formatting, it provides additional functions that control the cursor and can clear or a part of the screen. A terminal is typically used to display characters on a character LCD or OLED screen.
Terminal coordinates are 0-origin and count to the right and down. In other words, the top-left character position is (0,0), and the bottom right character position is size - (1,1).
| terminal functions and attributes | meaning or effect |
|---|---|
| size | size in characters in x and y direction |
| cursor | the current cursor position (readonly) |
| cursor_set() | set the current cursor position |
A terminal can be used 'in-channel' by the characters that are wriiten to it. The following special character sequences are supported:
| special sequence | effect |
|---|---|
| '\n' | puts the cursor at the first position of the next line |
| '\r' | puts the cursor at the start of the current line |
| '\f' | puts the cursor at the top-left position and clears the terminal |
| '\txxyy' | puts the cursor at the position (xx,yy) |


This is fragment example 1, it demonstrates Thymeleaf's fragment. Inspect the html to see more.
Go to resources/templates/fragments/header.html to see the navbar.
Go to /fragment2 to see the header fragment working.
Go back to index


| atof |
converts a string to a double |
| atoi |
converts a string to an
integer |
| atol |
converts a string to a long |
| isalnum |
true if a character is
alphanumeric |
| isalpha |
true if a character is
alphabetic |
| iscntrl |
true if a character is a control
character |
| isdigit |
true if a character is a digit |
| isgraph |
true if a character is a graphical
character |
| islower |
true if a character is
lowercase |
| isprint |
true if a character is a printing
character |
| ispunct |
true if a character is
punctuation |
| isspace |
true if a character is a space
character |
| isupper |
true if a character is an uppercase
character |
| isxdigit |
true if a character is a
hexidecimal character |
| memchr |
searches an array for the first
occurance of a character |
| memcmp |
compares two buffers |
| memcpy |
copies one buffer to another |
| memmove |
moves one buffer to another |
| memset |
fills a buffer with a
character |
| strcat |
concatenates two strings |
| strchr |
finds the first occurance of a
character in a string |
| strcmp |
compares two strings |
| strcoll |
compares two strings in accordance
to the current locale |
| strcpy |
copies one string to another |
| strcspn |
searches one string for any
characters in another |
| strerror |
returns a text version of a given
error code |
| strlen |
returns the length of a given
string |
| strncat |
concatenates a certain amount of
characters of two strings |
| strncmp |
compares a certain amount of
characters of two strings |
| strncpy |
copies a certain amount of
characters from one string to another |
| strpbrk |
finds the first location of any
character in one string, in another string |
| strrchr |
finds the last occurance of a
character in a string |
| strspn |
returns the length of a substring
of characters of a string |
| strstr |
finds the first occurance of a
substring of characters |
| strtod |
converts a string to a double |
| strtok |
finds the next token in a
string |
| strtol |
converts a string to a long |
| strtoul |
converts a string to an unsigned
long |
| strxfrm |
converts a substring so that it can
be used by string comparison functions |
| tolower |
converts a character to
lowercase |
| toupper |
converts a character to
uppercase |


My name is Spencer Vaughan, nice to meet you! I am an Atlanta-native excited to start a new career in the world of programming. I graduated from Georgia State University in 2018 with a B.B.A. from the J. Mack Robinson College of Business, after spending 3 years as a D.J. and manager of the acclaimed radio station, WRAS - Album 88. While music was always a passion, it was rarely a paycheck. I’ve since been bartending at the historic Manuel’s Tavern for the last 2 years and when the restaurants shut down due to COVID-19, it felt like time to pursue new skills and an exciting career.
You could say I’m a relative beginner to coding, which would be true, however I feel that title fails to recognize my 3 years of experience editing html on Myspace when I was in middle school.


@(message: Option[String]) @main("Add entry", None) {
@messageText
The authentication system in this application is faked for demo purposes. The username is demo and any password will work.


WITNESS LIST Human Services Committee February 10, 2005-2:00P Agency Overview On: Hawkins, Albert (Health and Human Services Commission) Hine, Jim (Department of Aging and Disability Services) Horn, Adelaide (Department of Aging and Disability Services) Molina, Joanne (Health and Human Services Commission) Murphy, Terry (Department of Assistive and Rehabilitative Services)


Dragon BASIC, online at http://github.com/uli/dragonbasic
GETPALENTRY - Gets the 15-bit, RGB color value of a palette entry.
LOADPAL16 - Loads a 16-color palette into RAM.
LOADPAL256 - Loads a 256-color palette into RAM.
MAKEPALETTE - Creates a web-safe, 216-color palette in RAM.
RGB - Creates a 15-bit, RGB color value from components.
RGBB - Gets the blue component from a 15-bit, RGB color value.
RGBG - Gets the green component from a 15-bit, RGB color value.
RGBR - Gets the red component from a 15-bit, RGB color value.
ROTATEPAL16 - Rotates all the colors in a palette.
ROTATEPAL256 - Rotates all the colors in a palette.
SETPALENTRY - Sets the 15-bit, RGB color value of a palette entry.


Notebooks
Story: Koranna words with |xam and English translations
Koranna words with |xam and English translations
Title
Koranna words with |xam and English translations
Collection
Summary
Koranna-Hottentot Words, with their Bushman and English translations from ≠kásin (B XXV. 2365-2373, 2375-2413; L IV.-1. 3482-3484) This includes parts of the body, plants, numerals and details of the uses of bushes named.
Comments
1) This story is found in Book IV-1
Contributors
Date
10 November 1873
Categories
Keywords
words and sentences (|xam) , words and sentences (Koranna) , words and sentences (given by ≠kasin) , vocabulary (|xam, Koranna) , vocabulary (given by ≠kasin)
Story Pages
3482-3484


PrivacyKitDelegate
public protocol PrivacyKitDelegate
Undocumented
-
Undocumented
Declaration
Swift
func requirePrivacy(_ viewType: PrivacyNoticeType, _ completion: PrivacyCompletion?)
-
Undocumented
Declaration
Swift
func requirePrivacy(privacyViewController: PrivacyNoticeVC, _ completion: PrivacyCompletion?)
-
requirePrivacy(_:_:)
Default implementationDefault Implementation
Require privacy using a prebuilt Privacy Notice. This function is placed in the View Controller lifecycle (e.g. viewDidAppear) To display the privacy notice when your intro view controller loads.
Declaration
Swift
public func requirePrivacy(_ viewType: PrivacyNoticeType = .bottom, _ completion: PrivacyCompletion? = nil)
Parameters
viewType
The View Controller’s type. This controls where the PrivacyNotice View Controller Appears on the screen.
completion
The completion to run when the privacy notice is accepted or denied. This allows custom actions to occur when privacy is completed.
-
requirePrivacy(privacyViewController:_:)
Default implementationDefault Implementation
Require Privacy using a custom Privacy Notice. Your custom Privacy Notice View Controller should implement the
PrivacyNoticeVC
class. It also needs to appropriately bind thePrivacyNoticeVC.acceptPrivacy
andPrivacyNoticeVC.denyPrivacy
@objc
methods or handle accepting and deny privacy manually in it’s own methods.Declaration
Swift
public func requirePrivacy(privacyViewController: PrivacyNoticeVC, _ completion: PrivacyCompletion? = nil)
Parameters
privacyViewController
A custom view controller for your privacy
completion
The privacy completion runs when the user selects Agree or Deny If the View Controller is using the default accept and deny
@objc
functions.


Engentive is supported by people who care about your satisfaction.
For too long the Premium and Incentives customer experience left much to be desired in the way of service, ease of use, and hassle-free fulfillment. In fact, today's customers expect great experiences from the places they choose to shop with no exception. Engentive provides your rewards marketplace members with a modern, simple, and suprisingly pleasant shopping experience.
We know that your business is unique; so is your company's culture. Engentive puts you in charge of everything that makes you different. From marketplace customizations and design to product selection, pricing, marketing, and much more. We don't have a "one-size fits all" approach, because "one size" rarely fits perfectly.
Too often organizations are not doing what they need to do with their operations and corporate training to make customer service a core competency. They disregard great customer service as a privilege only delivered when it's convenient to them, or required of them to stay in business. We believe that amazing customer service is not a privilege; it's a choice. It's a choice we make to "wow" our customers with every single thing we do. It's also a choice our customers and respected clients make when deciding to do business with us. We are committed to delivering exceptional customer service with every action we take. In fact, everything we do begins and ends with our obsession to deliver happieness.
...Not only our growth, but yours too! We have solemnly committed to running our business honestly, transparently, and with a clear focus on providing a growing and thriving work environment. This means we care about things like company culture, core values, and sustainability practices. We also give back to our community and volunteer our efforts to international charitable organizations.
Developed from the ground up to provide solutions which serve and empower and entire industry, Engentive is part of KLF Media inc.
We've been into Premium and Incentive for over 10 years now. We've expertly gathered all of our accumulated industry knowledge and married this information to today's best practices in eCommerce to create Engentive.
With so much of today's marketplace being driven by innovation; success at KLF is certainly let by our expertise in technology, logistics, and real-time operational analytics, however our commitment to excellence and customer service is what sets us apart. We believe it's our competitive advantage.
From rewards and loyalty program fulfillment, to eCommerce platform development, marketing, and administration -KLF continues to build on its rich portfolio of enterprise-level solutions.
Learn more about KLF MediaOne of our account managers will contact you at your convenience.


{exp:channel:entries channel="articles" show_future_entries="yes" limit="999"} {if article_content == ""}
{title}


Troubleshooting Workflows
Alfred workflows are very flexible and can be used for a huge range of actions.
Common Troubleshooting Questions
I'm seeing error messages in workflows I've imported, or the workflow isn't behaving as expected
Workflows can become out-of-date, especially when they work alongside third-party applications, so check if the developer has released a new update or posted about a known issue.
If the developer has provided details, you'll find then by double-clicking on a workflow name in the left sidebar of Alfred's Workflows preferences.
If these details aren't filled in, check on Packal or on the Alfred Forum for more information about the workflow.
If you're unable to find a source for the workflow, post on the forum in "Workflows Help & Questions" with as much information as possible, so that fellow Alfred users can help you troubleshoot your issue with the workflow.
Hotkey Troubleshooting
This section refers to the hotkeys set in workflows, rather than Alfred's general hotkey or the ones used for built-in features like Clipboard History and iTunes Mini Player. See the documentation for that particular feature if you need support on hotkeys unrelated to workflows.
Why is my hotkey not working?
There are a few reasons the hotkey you've set in your workflow may not be working as expected. Navigate to the Workflows preferences and follow the steps below:
- Is your workflow enabled? If the workflow is greyed-out, right-click the name of the workflow in the sidebar to re-enable your workflow.
- Is your hotkey object connected? The hotkey needs to be connected to the action you want it to perform.
- In the hotkey object, is the correct hotkey set? If no hotkey is displayed, or it isn't the hotkey you expect, double-click the Hotkey object, set your hotkey and save it.
- Does your hotkey specify Related Apps? In the hotkey's dropdown sheet, under "Related Apps", check whether you've dragged in applications to specify when the hotkey should be active/inactive.
Can I use the same hotkey in multiple workflows?
It generally isn't possible to use the same hotkey to perform different actions in different workflows, as it would be easy to forget that you've used the same hotkey elsewhere, causing it to trigger unwanted actions as a side-effect.
However, you can connect multiple actions to a single hotkey within a single workflow. By keeping these in one place, you can ensure that your hotkey only performs the actions you intended it to.
In the rare case where a workflow containing a hotkey is disabled, it becomes possible to set the same hotkey in another workflow. Please be careful as this can cause unwanted double-actions when you re-enable the first workflow.


Get the best prices on 2,000,000+ properties in Indonesia
Find the best Apartment in the city with a single click.
Find millions of houses and apartments for rent in your favorite cities!
Some recognition from our loyal customer. You can see how much they love us.
Do it yourself doesn't mean do it alone. Join the 95,000+ landlords who use Avail to responsibly manage their properties.


DIE HARD WITH A VENGEANCE A film review by Chris Hilkene Copyright 1995 Chris Hilkene
It's no wonder that Hollywood wanted to cash in on the success of the "Die Hard" legacy, but I would have thought that they could have produced something much better than DIE HARD WITH A VENGEANCE. I got the same feeling watching this film as I did watching THE SPECIALIST. Actually, it wasn't a feeling, I just plain fell asleep in both films.
After waking up I tried to piece together why this film is so bad. Poor editing is one reason I came up with. Even though there is lots of action and special effects the editing makes the film drag. Another problem is that the film is so cliche that it verges on banality. But perhaps the biggest flaw of the film is the re-orientation of the John Maclaine character. In the previous films Maclaine was the wrong guy, in the wrong place, at the wrong time, who was forced to take action because his wife was in danger. It was the chance element and his ablility to persevere even though he was overwhelmed by his situation, and in doubt about his ability and motives that made the Maclaine character captivating. In the new film, Maclaine is the super human cop (despite efforts to portray him as burned out). The bad guy specifically makes Maclaine a target because of his prowess. This is where the movie falls apart. The film makers, and Bruce Willis, do not develop a mechanism by which to negotiate the two radically different personalities.
The chance element enters into the story via Samuel Jackson. For all intents and purposes he is the Maclaine of the earlier "Die Hard" films. He is thrust into the plot by unfortunate circumstance. However, his character's ability to immediately fit into the role is too contrived. Jackson's acting in the film is commendable, but even this doesn't help to make the character believable.

The review above was posted to the
rec.arts.movies.reviews newsgroup (de.rec.film.kritiken for German reviews).
The Internet Movie Database accepts no responsibility for the contents of the
review and has no editorial control. Unless stated otherwise, the copyright
belongs to the author.
Please direct comments/criticisms of the review to relevant newsgroups.
Broken URLs inthe reviews are the responsibility of the author.
The formatting of the review is likely to differ from the original due
to ASCII to HTML conversion.
Related links: index of all rec.arts.movies.reviews reviews


Address Book
Add a new contact
Name
Email
Phone Number
Address
Add Contact
Contacts
Click a contact to remove


Meet the Team
Project Lead
Brandy Becker
I'm a 22 year old Web Dev with a power for all Cats, Code, and Iced Coffee!
Front-End: React II
Cameron Hawley
I'm 26 years old. Other than coding, I am really into cars and motorcycles
Front-End: UI
Dakota Marcinak
I'm 26 years old, and I can do a sick kickflip. My dad says im pretty much the coolest kid in school.
Back-End Dev
Joseph Graham
I'm Joseph Graham, a 37yr old father of 2 full time, and a full time student. It takes skills to pull it off.
Front-End: UI
Mohamed Gomri
What? you think I'm a nerd? See that red 1300 cc cruiser bike in the background? That's mine!


VeriFast Help > Glossary
Term
precise predicate
Definition
VeriFast considers a predicate to be precise if one of the following conditions holds:
- The parameter list contains a semicolon (instead of a comma) separating the input from the output parameters.
- The predicate is an instance predicate. The only input parameter is the target variable this; all other parameters are output parameters.
If a predicate is declared precise, VeriFast syntactically checks that the values of its input parameters fix the shape of the heap described by the predicate's body and the values of the output parameters.
Notes
- The body of a precise predicate can only mention precise predicates.
- VeriFast automatically performs certain open and close operations for precise predicates.
- VeriFast automatically merges fractional chunks of precise predicates. That is, suppose p is a precise predicate with input parameters x1, ..., xn and output parameters y1, ..., ym. If the heap contains
the chunks [f]p(i1, ..., in, o1, ..., om) and [g]p(i'1, ..., i'n, o'1, ..., o'm)
, then VeriFast merges these chunks into a single chunk
[f + g]p(i1, ..., in, o1, ..., om) provided i1 == i'1 && ... && in == i'n.
Examples
The predicate p shown below is precise (indicated by the semicolon between the parameters x and y). The input parameter x fixes the value of the output parameter y.
| 0 errors found |
//@ predicate p(int x; int y) = x == y; |
The predicate q is declared precise, but fails the preciseness check as x does not fix the value of the output parameter y.
| Preciseness check failure: body does not fix output parameter 'y'. |
//@ predicate q(int x; int y) = x < y; |
The predicate my_cell is precise as the input parameter c fixes the value of the output parameter contents via the heap.
| 0 errors found |
struct cell { int x; };
//@ predicate my_cell(struct cell* c; int contents) = c->x |-> contents; |


[1]
Silent, sleek, awesome!; Price, need transfer cable
[2]
New Sleek design, Wireless built in, super quiet; none so far


LOCALE(1) Debian GNU/Linux LOCALE(1) NAME locale - Get locale-specific information. SYNOPSIS locale [ -a ⎪ -m] locale [ -ck ] name... DESCRIPTION The locale program writes information about the current locale environ‐ ment, or all locales, to standard output. When invoked without arguments, locale summarizes the current locale environment for each locale category defined by the LC_* environment variables. -a, --all-locales Write names of available locales. -m, --charmaps Write names of available charmaps. Output Format: -c, --category-name Write names of selected categories. -k, --keyword-name Write names and values of selected keywords. ENVIRONMENT VARIABLES These environment variables affect each locale categories for all locale- aware programs: LC_CTYPE Character classification and case conversion. LC_COLLATE Collation order. LC_TIME Date and time formats. LC_NUMERIC Non-monetary numeric formats. LC_MONETARY Monetary formats. LC_MESSAGES Formats of informative and diagnostic messages and interactive responses. LC_PAPER Paper size. LC_NAME Name formats. LC_ADDRESS Address formats and location information. LC_TELEPHONE Telephone number formats. LC_MEASUREMENT Measurement units (Metric or Other). LC_IDENTIFICATION Metadata about the locale information. This environment variable can switch against multiple locale database: LOCPATH The directory where locale data is stored. By default, /usr/lib/locale is used. FILES /usr/share/i18n/SUPPORTED List of supported values (and their associated encoding) for the locale name. This representation is recommended over --all-locales one, due being the system wide supported values. AUTHOR locale was written by Ulrich Drepper for the GNU C Library. This manpage was written by Joel Klecker<EMAIL_ADDRESS>for the Debian GNU/Linux system, and expanded by Alastair McKinstry <mckinstry@com‐ puter.org> SEE ALSO locale(5), locale(7), setlocale(3) 3rd Berkeley Distribution 2004-12-16 LOCALE(1)


{% extends 'home/base.html' %} {% load staticfiles%} {% block content %}
Register today to learn the best of programming from world class tutors around the world. Earn certificates by completing our courses and increase your chance of getting a job
Work with a group where everyone is just like you. Get motivated by the group members.
In a group class, all the participants are focused on achieving the same goal and they typically have similar background so learning is easier and collaboration with other members often yield better results.
The group works together on the hands-on tasks and every individual is free to contribute as much as he or she is willing to contribute. This encourages talking, learning, explaining, and knowledge sharing from all participants.
You will be inspired by other teammates who are accomplishing tasks and that is usually sufficient to motivate most people to get involved, take learning steps, and perform practical tasks that will lead to successsful completion of the online course
“While trying to learn Linux, I tried many online services and the only strategy that worked for me is this group class. Here, I felt more like I was participating in fun activities than I was left alone in a study room.”
“I learned a lot from my group members because I did not have any technical experience. They really helped me”
“I recommend the group class to anyone that is considering online class. The experience is very different from studying alone. For every module, someone in my group has an answer and they are always reachable.”


Welcome to the Leichester Police Department Station
Show City Neighbourhoods
Police of the Leichester criminals digester!


--- layout: post title: What social media relationship management really looks like! tags: - Business - LinkedIn - Personal Opinion status: publish type: post published: true meta: _edit_last: '451289' --- Please Note: I am NOT a social media guru, or any of the other meaningless titles the no-hopers give themselves on Twitter. I'm just a geek who can spot the obvious, especially when it's pointed out.
This is the a post from the GitHub team about a recent problem that affected many of their customers (of whom I am one). As you can see from the comments attached to the above post, GitHub's strategy of open communication pays dividends in providingPost-Mortem of This Morning's Outage
At 07:53 PDT this morning the site was hit with an abnormal number of SSH connections. The script that runs after an SSH connection is accepted makes an RPC call to the backend to check for the existence of the repository so that we can display a nice error message if it is not present...


2 boys shot to death outside California elementary school
by The Associated PressUNION CITY, Calif. — Police say two boys were fatally shot outside an elementary school.
They say the shootings of the boys, ages 11 and 14, took place early Saturday morning in the parking lot of Searles Elementary School, the East Bay Times reports.
The newspaper says callers to 911 reported hearing gunfire at 1:26 a.m. Authorities say that when officers arrived, they found the boys.
New Have Unified School District Superintendent John Thompson says in a statement that the victims were minors.
Thompson and a district spokesman say the boys attended schools in the district.
Police say one of the victims died at the scene while the other died in an ambulance on the on the way to a hospital.
No arrests have been made in connection with the killings.
The Associated Press


{{error}}
{{success}}
Subscribe to receive the daily menu sent to your email every morning.
To stop receiving emails, click here.


AssemblyTron.Golden_Gate Folder¶
Submodules¶
AssemblyTron.Golden_Gate.GoldenGate_nodigests_separatepcrruns-gradient Script¶
Golden Gate Assembly Protocol Script with separate PCRs
This script performs Golden Gate assembly where fragments for each assembly are amplified in separate tubes and uses a gradient thermocycler. This protocol is thoroughly validated and robust, so we recommend using it.
This script runs on the OT-2 via the run app. It calls CSVs which must be transferred to the OT-2 processor prior to running. This script is not designed to run a personal computer on the command line.
AssemblyTron.Golden_Gate.Setup_digests_gradient Script¶
Setup script for Golden Gate Assembly with with a destination plasmid with restriction sites
This script walks the user through setup of a Golden Gate assembly with a destination plasmid with restriction sites. The destination plasmid is typically the backbone fragment and does not require PCR amplification. This script makes a dated directory in the wd, parses/transfers input files, allows users to customize parameters, runs the gradient PCR optimization algorithm, and performs calculation and tracking steps for parsed design files.
This script requires no arguments, but instead obtains all necessary information and files by user-friendly tkinter pop-up windows.
This script requires pandas and numpy to be installed in the python environment where running.
This script can also be called as a module by calling AssemblyTron.Golden_Gate.Setup_digests_gradient.
AssemblyTron.Golden_Gate.Setup_nodigests_seppcr_gradient_24 Script¶
Setup script for Golden Gate Assembly with 24 tube capacity
This script walks the user through setup of a Golden Gate assembly with up to 24 combined primers and templates. This script makes a dated directory in the wd, parses/transfers input files, allows users to customize parameters, runs the gradient PCR optimization algorithm, and performs calculation and tracking steps for parsed design files.
This script requires no arguments, but instead obtains all necessary information and files by user-friendly tkinter pop-up windows.
This script requires pandas and numpy to be installed in the python environment where running.
This script can also be called as a module by calling AssemblyTron.Golden_Gate.Setup_nodigests_seppcr_gradient_24.
AssemblyTron.Golden_Gate.Setup_nodigests_seppcr_gradient_96 Script¶
Setup script for Golden Gate Assembly with 96 tube capacity
This script walks the user through setup of a Golden Gate assembly with up to 96 combined primers and templates. This script makes a dated directory in the wd, parses/transfers input files, allows users to customize parameters, runs the gradient PCR optimization algorithm, and performs calculation and tracking steps for parsed design files.
This script requires no arguments, but instead obtains all necessary information and files by user-friendly tkinter pop-up windows.
This script requires pandas and numpy to be installed in the python environment where running.
This script can also be called as a module by calling AssemblyTron.Golden_Gate.Setup_nodigests_seppcr_gradient_96.
AssemblyTron.Golden_Gate.dilution_24 Script¶
Dilution Script for up to 24 primers and templates
This script contains a protocol for diluting up to 96 primers and templates to concentrations specified in the AssemblyTron.Golden_Gate.Setup_nodigests_seppcr_gradient_24 module.
This script runs on the OT-2 via the run app. It calls CSVs which must be transferred to the OT-2 processor prior to running. This script is not designed to run a personal computer on the command line.
AssemblyTron.Golden_Gate.dilution_96 Script¶
Dilution Script for up to 96 primers and templates
This script contains a protocol for diluting up to 96 primers and templates to concentrations specified in the AssemblyTron.Golden_Gate.Setup_nodigests_seppcr_gradient_96 module.
This script runs on the OT-2 via the run app. It calls CSVs which must be transferred to the OT-2 processor prior to running. This script is not designed to run a personal computer on the command line.
Module contents¶
Setup_nodigests_seppcr_gradient_24¶
This script walks the user through processing assembly design files and making a directory for perfoming Golden Gate Assembly with AssemblyTron.
This script requires the user to have an assembly design built with j5. The main combinatorial design file required is a CSV.
This script require pandas, numpy, to be installed in the python environment in which you are running this script.
This file can also be imported as a module and cotains the following function:


Welcome to Captcha light
Captcha light aims to provide software developers with a simple captcha mechanism to start with while bootstrapping a new
product idea. To do so, this approach provides captcha as a RESTful microservice component based upon spring boot, which you can
include within your product environment and you may adopt to your needs if required.
Why you would use Captcha light, or captcha mechanisms in general?
- If you are going to deploy some self developed service and want to protect it against the denial of service
attack vector of automated registrations.
- If you want to protect your users from password-forgotten workflow emails, triggered by a bot. (You may loose users, if you don't care about it).
- You won't rely on some offered captcha services out there, and think of offering this functionality as part of your product, so that the
service is within your control (by means that you are able to exchange the captcha question set even according to your problem oder service context).
- It's free and simple to integrate.
Why would you want exchange captcha light?
- This captcha service is simple. A hacker will be able to write brute force algorithms to enable bots to scope with it.
- Your service or product has grown out of child-hood and you require a serious solution, as you may become more attractive be hackers.
- captcha service in general (even professional solutions) are getting weaker as protective measures as KI is getting more and more powerfull.
That's why all the big-player are switching to two factor authorizations and you are planning to do so, too.
For more information see Projects Homepage on github.
API Specification
The REST API has been documented using the open API approach (Swagger). Therefore if you are a
a software engineer you find the API here: Captcha light Swagger API doc.


GraphQL = Graph Query Language.
Built by Facebook several years ago, released as open source last year.
It's a spec, and it's platform agnostic.
RESTful web API's can be pretty good.
GET /users/123
POST /users
When a client needs to make multiple requests to get all the data it needs.
GET /users/123
GET /users/123/history
GET /users/123/recommended
We could include extra information into a response.
Which would cut down the number of API calls we have to make.
But increases the size of the response.
GET /users/123
We could add an option to embed the values we care about in the API.
GET /videos/123?embed=history,recommended
Then only the clients that need that info can request it
GraphQL takes this idea and builds a language out of it.
QUERY RESPONSE
===== ========
{ {
user(id: 43) { "user": {
name "name": "John Smith",
avatar { "avatar": {
small "small": "http://...",
} }
history { "history": [{
title "title": "Video 1",
date "date": "2016-10-25",
image { "image": {
large "large": "http://...",
} }
} }]
} }
} }
Get All Users
http http://localhost:5000/graphql query='{users {username}}'
Get All Users & Include Videos
http http://localhost:5000/graphql query='{users {username videos {title}}}'
query {
users {
username
videos {
title
}
}
}
mutation {
createUser(name: "George") {
id
username
}
}
Try to avoid inlining variables.
const query = `
{
user(id: "${userID}") {
id
videos {
title
}
}
}
`
Instead, use variables.
const query = `
query getUserVideos($userID: Int!) {
user(id: $userID) {
id
videos {
title
}
}
}
`
store.getUser(id)
store.getUsers([id])
store.getAllUsers()
store.getVideo(id)
store.getVideos([id])
store.getAllVideos()
store.createUser()
User
{
"id": 1,
"username": "Thomas.Pollich",
"videos": [ 11, 23, 30 ],
"followers": [ 5 ]
}
Video
{
"id": "49",
"user": 5,
"title": "A Slight Case of August",
"source": {
"low": "https://<IP_ADDRESS>/videos/49.360.mp4",
"med": "https://<IP_ADDRESS>/videos/49.720.mp4",
"high": "https://<IP_ADDRESS>/videos/49.1080.mp4"
}
}
type User {
id: Int
username: String
videos: [Video]
followers: [User]
}
type Video {
id: Int
title: String
user: User
source: VideoSource
}
type VideoSource {
low: String
med: String
high: String
}
All the GraphQL variables are from the graphql
package.
const {
GraphQLInt,
GraphQLString,
GraphQLObjectType,
...
} = require('graphql')
const VideoType = new GraphQLObjectType({
name: 'Video',
description: 'Information about a single video',
fields: () => ({
id: { type: GraphQLInt },
title: { type: GraphQLString },
user: { type: UserType },
source: { type: VideoSourceType },
}),
})
const VideoSourceType = new GraphQLObjectType({
name: 'VideoSource',
description: 'URLs of varying quality for a video file',
fields: {
low: { type: GraphQLString },
med: { type: GraphQLString },
high: { type: GraphQLString },
},
})
const UserType = new GraphQLObjectType({
name: 'User',
description: 'Information about a single user',
fields: () => ({
id: { type: GraphQLInt },
username: { type: GraphQLString },
videos: { type: new GraphQLList(VideoType) },
followers: { type: new GraphQLList(UserType) },
})
Videos
const VideoType = new GraphQLObjectType({
name: 'Video',
fields: () => ({
id: {type: GraphQLInt},
title: {type: GraphQLString},
user: {
type: UserType,
resolve: (video) => store.getUser(video.user),
},
source: {type: VideoSourceType},
}),
})
Users
const UserType = new GraphQLObjectType({
name: 'User',
fields: () => ({
id: {type: GraphQLInt},
username: {type: GraphQLString},
videos: {
type: new GraphQLList(VideoType),
resolve: (user) => store.getVideos(user.videos),
},
followers: {
type: new GraphQLList(UserType),
resolve: (user) => store.getUsers(user.followers),
},
}),
})
const QueryType = new GraphQLObjectType({
name: 'Query',
fields: {
users: {
type: new GraphQLList(UserType),
resolve: () => store.getAllUsers(),
},
user: {
type: UserType,
args: {
id: { type: new GraphQLNonNull(GraphQLInt) }
},
resolve: (_, args) => store.getUser(args.id)
},
},
})
const MutationType = new GraphQLObjectType({
name: 'Mutaton',
fields: {
createUser: {
type: UserType,
args: {
name: { type: new GraphQLNonNull(GraphQLString) },
},
resolve: (_, args) => store.createUser(args.name)
},
},
})
The query
field is required.
const schema = new GraphQLSchema({
query: QueryType,
mutation: MutationType,
})
const {graphql} = require('graphql')
const query = `
query {
user(id: 1) {
username
videos {
title
}
}
}
`
graphql(schema, query)
.then((value) => console.log(value))
Result
{
"data": {
"user": {
"username": "Jarret_Schmeler",
"videos": [
{
"title": "Ruggles of the King George"
},
{
"title": "The Dreamlife of Apu"
},
{
"title": "House of Endearment"
}
]
}
}
}
const query = `
mutation createNewUser {
createUser(name: "Jeremy") {
id
username
videos {
title
}
}
}
`
graphql(schema, query)
.then((value) => console.log(value))
Result
{
"data": {
"createUser": {
"id": 15,
"username": "Jeremy",
"videos": []
}
}
}
const Express = require('express')
const bodyParser = require('body-parser')
const {graphqlExpress, graphiqlExpress} = require('graphql-server-express')
const app = new Express()
app.use('/graphql',
bodyParser.json(),
graphqlExpress({ schema }))
app.use('/graphiql',
graphiqlExpress({ endpointURL: '/graphql' }))
app.listen(5000, () => console.log('Listening on port 5000'))
const typeDefs = `
schema {
query: Query
mutation: Mutation
}
type Query {
user(id: Int!): User
users: [User]
}
type Mutation {
createUser(name: String!): User
}
type User {
id: Int
username: String
videos: [Video]
followers: [User]
}
type Video {
id: Int
title: String
user: User
source: VideoSource
}
type VideoSource {
low: String
med: String
high: String
}
`
const resolvers = {
Query: {
user: (_, {id}) => store.getUser(id),
users: () => store.getAllUsers(),
},
Mutation: {
createUser: (_, {name}) => store.createUser(name),
},
User: {
videos: (user) => store.getVideos(user.videos),
followers: (user) => store.getUsers(user.followers),
},
Video: {
user: (video) => store.getUser(video.user),
},
}
const {makeExecutableSchema} = require('graphql-tools')
const schema = makeExecutableSchema({typeDefs, resolvers})


Please make sure you have filled everything out correctly.
Please wait while we process your gift.
Oops... {{stripe.error.msg}}
There was a problem with our servers. You have not been charged. Please try again later.
Thanks for the gift. Have a good day!


WITNESS LIST Financial Institutions Committee February 7, 2005-2:00P Agency Overview On: Edwards, Kimberly (Texas Public Finance Authority) Feeney, Harold (Texas Credit Union Department) James, Randall (Texas Department of Banking) Kline, Robert (Texas Bond Review Board) Payne, Danny (Texas Savings and Loan Department) Pettijohn, Leslie (Office of Consumer Credit Commission)


AJ's Pizza Parlor
pizza size
small - $18
large - $28
toppings
The classic, canadian bacon and pineapple.
Tex mex inspired pizza with ground beef and zesty salsa.
Margherita with basil and secret garlic sauce.
pizza cost
order summary


Staring at your belly button and wondering who really needs containers? Starting to think microservices have grown too large? Wish every function you needed for your next killer app was available with 92% uptime(2) just a simple jQuery.get() away?
No longer is your application dependent on single-language-logic. Leveraging the latest in REST API design, Funcaas moves stdlib functionality out to the cloud where. Need a math function? Got it. Wondering if your array is an array? We can tell you.
With traditional runtimes and standard library functions, you never really know how far you can scale. After all, do you know how many times a second math.floor() can be called, or what your OS will charge you per invocation? Nope, neither do we. But with all your functions in the cloud, we can tell you exactly how slow and expensive these calls can be!
We've all been there.  Well, no more. With FuncAAS we can guarantee service levels up to and exceeding industry-standard n nines.
GET
/is/int/n{"result": True}
if n is integer-ish, and {"result": False}
otherwise.
POST
/format{"string": "this is a list of {}, {}, and {}", "formatter", ["a", "b", "c"]}
using Python 3-style .format() semantics and you'll receive a response like {"result": "this is a list of a, b, and c"}
, or an HTTP 500 on error.
GET or POST
/is/alive{"result": "yes"}
if service is alive, otherwise returns {"result": "no"}
GET or POST
/return/true?mode=strict{"result": True}
in strict mode, or otherwise {"result": False}
for backwards compatibility.


They contain the text messages used in the game.
| text.msg | Contains in-game text messages. You can create new messages or patch existing ones. New messages can be displayed with the "TEXT:" INF function. |
| local.msg | Contains run-time error messages and should be left untouched. |
| hotkeys.msg | Contains menu hotkeys and should be left untouched |
General format:
| MSG 1.0
|
| MSGS 119
|
| # internal game messages
| 0 0: "Joystick Off"
| ...
| END
MSGS is the number of messages. Don't forget to update it if you add messages.
I found no problems by adding messages to TEXT.MSG at 900 and more.
eg.
| 900 1: "Hurry up !"
The number followed by a colon (eg. 1:) rates the importance of the message relative to other messages in the MSG file. '0: ' is the most important, and as the number increases, the message becomes less important. If a message is currently on screen, it can be immediately overwritten with one of the same or more importance, otherwise if the incoming message is less important, it won't be shown. So for example, you will probably want the pickup message of a goal item to be more important than the pickup message of a shield or clip.
The 'cheat messages' are from 700 onwards.
Just so you know where to insert a few 'Cheater!' and 'Chicken Mode ON' ... :-)


FDA Medwatch Alert
PLACEHOLDER_DATE
Audience: Radiology, Health Care Professional, Patient.
ISSUE: FDA is requiring a new class warning and other safety measures for all gadolinium-based contrast agents (GBCAs) for magnetic resonance imaging (MRI) concerning gadolinium remaining in patients’ bodies, including the brain, for months to years after receiving these drugs. Gadolinium retention has not been directly linked to adverse health effects in patients with normal kidney function, and FDA has concluded that the benefit of all approved GBCAs continues to outweigh any potential risks.


| File | Statements | Branches | Functions | Lines | |||||
|---|---|---|---|---|---|---|---|---|---|
| chart-helpers.js | 95.56% | 43/45 | 48.28% | 14/29 | 94.74% | 18/19 | 95.45% | 42/44 | |
| component-types.js | 93.1% | 27/29 | 84.21% | 32/38 | 100% | 13/13 | 93.1% | 27/29 | |
| dom-helpers.js | 72% | 18/25 | 56.25% | 9/16 | 57.14% | 4/7 | 72% | 18/25 | |
| formatters.js | 100% | 2/2 | 100% | 0/0 | 100% | 2/2 | 100% | 2/2 | |
| generic-tests.jsx | 96.74% | 89/92 | 89.47% | 17/19 | 97.5% | 39/40 | 96.74% | 89/92 | |
| logger.js | 100% | 26/26 | 88.89% | 8/9 | 100% | 14/14 | 100% | 23/23 | |
| redux.js | 96.55% | 56/58 | 85.42% | 41/48 | 96.15% | 25/26 | 96.55% | 56/58 | |
| state-management.js | 93.1% | 54/58 | 90.7% | 39/43 | 95% | 19/20 | 93.1% | 54/58 | |
| style-helpers.js | 100% | 6/6 | 100% | 3/3 | 100% | 3/3 | 100% | 6/6 | |
| text-manipulation.js | 100% | 17/17 | 100% | 12/12 | 100% | 6/6 | 100% | 17/17 |


transport {border-style px;} #ffffff;} COVID- PPE px; staff {font-family font-size HEPA double; patient BVM Care Commons Creative ICU PAPRs Staff University add ahead ambulance applicable. border-color border-width care cases cleaning need patients prior solid; transfer {font-style {font-weight National [Epub; article bold breathing courier; deteriorating em; filters hospitals intensive print]. pt;} required respirators route spread team using


{% extends "base.html" %} {% block app_content %}
{{ population.description }}
Population Groups:
{% for super_population in population.super_populations %}{{ super_population.code }}: {{ super_population.name }} - {{ super_population.data_source.name }}
{% endfor %}| Sample | Family ID | Gender | Family Relationship | Other Comments |
|---|---|---|---|---|
| {{ sample.code }} | {{ sample.family_code }} | {{ sample.gender }} | {{ sample.family_relationship }} | {{ sample.comments }} |


---
layout: archive
title: "Resources"
permalink: /resources/
author_profile: true
---
I have been fortunate to involved in research projects. Here we provide some resources to the community. Most of the resources listed here are products from research projects conducted in the Rivas Lab and the Bejerano Lab at Stanford University. Our use of generalist repository for scientific data sharing was featured by NIH’s Office of Data Science Strategy (ODSS).
{% for post in site.resources reversed %}
{% include archive-single.html %}
{% endfor %}


| Name | Cohort | |
|---|---|---|
| Kelly Moreira - (Team Lead) | WEB/CS | LABSPT11-TL |
| Arturo Obregon | DSPT3 | LABSPT11 |
| Ashley Gaskins | DSPT3 | LABSPT11 |
| James Barciz | DSPT3 | LABSPT11 |
| Pedro Escobedo | DSPT3 | LABSPT11 |
| Ana Tulea | WEBPT11 | LABSPT11 |
| Brian Leonard | WEBPT11 | LABSPT11 |
| Conary Beckford | WEBPT11 | LABSPT11 |
| Sean Birmingham | WEBPT11 | LABSPT11 |
| Shanda Woods | WEBPT11 | LABSPT11 |


Active
Confirmed
Deaths
Recovered
Time Slider form 12 Mar 2020 to 30 Mar 2020, selected Data 23 Mar 2020
Active
1 - 9
10 - 90
100 - 999


ca333Today at 11:20 AM
We from Komodo have unfortunately not been able to validate K64's claims about a 78M EUR investment from Goldman Sachs. We have approached Goldman Sachs but were unable to verify these claims. Publicly available data also suggests Komodore64 does not meet the requirements in order to qualify for such an investment. We publicly distance from K64 and want to point out that at no time has the Komodo team been involved in these activities. Please be cautious and do your own due diligence before investing in any project.


Service Reenactments
We tested out the core of our idea through service reenactments. I, along with 2 other team members, came up with a testing plan and executed it. We did 3 service reenactments and followed up each service reenactment with questions to gauge how users felt and to see how feasible certain aspects of our idea were. Afterwards, we made changes to the task if necessary following user feedback. We used fellow students and co-workers for the testing, as we felt they might be more inclined to participate.
The three tasks were as followed:
1) Storer picked up user's gym bag at student union center and stores bag at storer's apartment for a period of 5 hours. Afterwards, the storer would bring the bag and meet the user in front of the gym (a short distance away) at a designated time.
2) User brings surfboard to storer's on-campus apartment (closest from campus to beach) in the morning before class. User picks up surfboard later in the afternoon (7 hours later) from storer's apartment.
3) User goes to off-campus apartment to drop off luggage bag in the afternoon. User will come back the next day at night to pick up the bag from the storer's apartment.<
Results & Redesign Implications
From the first service encounter, we learned that people felt comfortable storing other people's personal items as long as the item was not too large or cumbersome. In addition, users felt more comfortable with the service when they were able to see the storage space. We considered implementing a proof of storage space concept for potential storage spaces to be verified, so users could view pictures of the space beforehand. Another thing we learned was that asking storers to take on the role of delivery for drop-off/pick-up of items was too much to expect. Lastly, users felt comfortable using the service for items that were not too valuable and replaceable.
From the second service encounter, we learned that people are willing to part with valuable personal items if carrying them around is not worth the effort (surfboard, camera equipment, etc.). We learned that people were willing to pay a small sum (~$6) for the service. Another thing we learned was people are patient to a certain degree in waiting for a pick-up and for a drop-off. We decided a penalty for being late would keep people accountable. In addition, a rating system for users and storers was implemented to keep people honest.
From the third service encounter, we learned multi-day storage was perceived as less secure than same-day storage. We tinkered with the concept of item insurance. Also, adding personal expertise and experience storers have handling certain types of items was noted. An option to update pick-up time by checking with the storer was added due to changes in plans.


Namespace for methods that remove validtion styling from field elements
- Source:
Methods
-
(static) field(fieldObj)
-
Function to style the sent field element so it is shown to be valid
Parameters:
Name Type Description fieldObj
Object The field object for the element to be styled - Source:
-
(static) messageField()
-
Function to add validation messaging to a field
- Source:
-
(static) validFields(validFields)
-
Function to style the sent field elements so they are shown to be valid
Parameters:
Name Type Description validFields
Array Array of field objects for the elements to be styled. If not sent, all fields will be styled as valid. - Source:


We visualize tables!
- transition synergistic experiences
- e-enable front-end infrastructures
- recontextualize innovative niches
- deliver robust web services
- architect intuitive applications
- streamline front-end vortals
- morph back-end action-items
- e-enable viral content
- repurpose transparent infrastructures
- disintermediate global e-services
- engineer robust platforms
- architect intuitive web services
- leverage leading-edge e-business


video size:
please, review your recorded video, check quality of recorded audio, and if everything is O.K. click 'upload to server', or record new video


Mathematical Modeling: Complexity, Self-Organization, Emergent Behaviour, Chaos, Bifurcation Theory, Stochasticity, Networks
Biology: Cell-Cell Interactions, Development, Morphogenesis, Signalling, Molecular Networks
Bioinformatics: Single-Cell Transcriptomics, Epigenomics


Neighborhood Kernel Density Estimation¶
For estimating the conditional density \(p(y|x)\), \(\epsilon\)-neighbor kernel density estimation (\(\epsilon\)-KDE) employs standard kernel density estimation in a local \(\epsilon\)-neighborhood around a query point \((x,y)\).
\(\epsilon\)-KDE is a lazy learner, meaning that it simply stores the training points \(\{(x_i,y_i)\}_{i=1}^n\) and puts a kernel function in each of the points. In order to compute \(p(y|x)\), the estimator only considers a local subset of the training samples \(\{(x_i, y_i)\}_{i \in \mathcal{I}_{x, \epsilon}}\), where \(\mathcal{I}_{x, \epsilon}\) is the set of sample indices such that \(||x_i - x|| \leq \epsilon\).
In case of Gaussian Kernels, the estimated density can be expressed as
where \(w_j\) is the weighting of the j-th kernel and \(N(y~|\mu,\Sigma)\) the probability function of a multivariate Gaussian. This implementation currently supports two types of weighting:
equal weights: \(w_j = \frac{1}{|\mathcal{I}_{x, \epsilon}|}\)
weights \(w_j\) proportional to \(||x_j - x||_2\), the euclidean distance w.r.t. to x
-
class
cde.density_estimator.
NeighborKernelDensityEstimation
(name='NKDE', ndim_x=None, ndim_y=None, epsilon=0.4, bandwidth=0.6, param_selection='normal_reference', weighted=True, n_jobs=-1, random_seed=None)[source]¶ Epsilon-Neighbor Kernel Density Estimation (lazy learner) with Gaussian Kernels
- Parameters
name – (str) name / identifier of estimator
ndim_x – (int) dimensionality of x variable
ndim_y – (int) dimensionality of y variable
epsilon – size of the (normalized) neighborhood region
bandwidth – (float of array_like) initial bandwidth parameter
param_selection – parameter selection method. Must be - None or False: use the provided epsilon and bandwidth - normal_reference: bandwidths are chosen according to normal reference distribution - cv_ml: select bandwidth and epsilon via maximum likelihood leave-one-out cross-validation
weighted – if true - the neighborhood Gaussians are weighted according to their distance to the query point, if false - all neighborhood Gaussians are weighted equally
random_seed – (optional) seed (int) of the random number generators used
-
conditional_value_at_risk
(x_cond, alpha=0.01, n_samples=1000000)¶ Computes the Conditional Value-at-Risk (CVaR) / Expected Shortfall of the fitted distribution. Only if ndim_y = 1
- Parameters
x_cond – different x values to condition on - numpy array of shape (n_values, ndim_x)
alpha – quantile percentage of the distribution
- Returns
CVaR values for each x to condition on - numpy array of shape (n_values)
-
covariance
(x_cond, n_samples=1000000)¶ Covariance of the fitted distribution conditioned on x_cond
- Parameters
x_cond – different x values to condition on - numpy array of shape (n_values, ndim_x)
- Returns
Covariances Cov[y|x] corresponding to x_cond - numpy array of shape (n_values, ndim_y, ndim_y)
-
eval_by_cv
(X, Y, n_splits=5, verbose=True)¶ Fits the conditional density model with cross-validation by using the score function of the BaseDensityEstimator for scoring the various splits.
- Parameters
X – numpy array to be conditioned on - shape: (n_samples, n_dim_x)
Y – numpy array of y targets - shape: (n_samples, n_dim_y)
n_splits – number of cross-validation folds (positive integer)
verbose – the verbosity level
-
fit
(X, Y, **kwargs)[source]¶ Since NKDE is a lazy learner, fit just stores the provided training data (X,Y)
- Parameters
X – numpy array to be conditioned on - shape: (n_samples, n_dim_x)
Y – numpy array of y targets - shape: (n_samples, n_dim_y)
-
fit_by_cv
(X, Y, n_folds=3, param_grid=None, verbose=True, n_jobs=-1)¶ Fits the conditional density model with hyperparameter search and cross-validation. - Determines the best hyperparameter configuration from a pre-defined set using cross-validation. Thereby,
the conditional log-likelihood is used for simulation_eval.
Fits the model with the previously selected hyperparameter configuration
- Parameters
X – numpy array to be conditioned on - shape: (n_samples, n_dim_x)
Y – numpy array of y targets - shape: (n_samples, n_dim_y)
n_folds – number of cross-validation folds (positive integer)
param_grid –
(optional) a dictionary with the hyperparameters of the model as key and and a list of respective parametrizations as value. The hyperparameter search is performed over the cartesian product of the provided lists. Example: {“n_centers”: [20, 50, 100, 200],
”center_sampling_method”: [“agglomerative”, “k_means”, “random”], “keep_edges”: [True, False]
}
-
get_configuration
(deep=True)¶ Get parameter configuration for this estimator.
- Parameters
deep – boolean, optional If True, will return the parameters for this estimator and contained subobjects that are estimators.
- Returns
params - mapping of string to any Parameter names mapped to their values.
-
get_params
(deep=True)¶ Get parameters for this estimator.
- Parameters
deep (boolean, optional) – If True, will return the parameters for this estimator and contained subobjects that are estimators.
- Returns
params – Parameter names mapped to their values.
- Return type
mapping of string to any
-
kurtosis
(x_cond, n_samples=1000000)¶ Kurtosis of the fitted distribution conditioned on x_cond
- Parameters
x_cond – different x values to condition on - numpy array of shape (n_values, ndim_x)
- Returns
Kurtosis Kurt[y|x] corresponding to x_cond - numpy array of shape (n_values, ndim_y, ndim_y)
-
log_pdf
(X, Y)[source]¶ Predicts the conditional log-probability log p(y|x). Requires the model to be fitted.
- Parameters
X – numpy array to be conditioned on - shape: (n_samples, n_dim_x)
Y – numpy array of y targets - shape: (n_samples, n_dim_y)
- Returns
conditional log-probability log p(y|x) - numpy array of shape (n_query_samples, )
-
loo_likelihood
(bandwidth, epsilon)[source]¶ calculates the negative leave-one-out log-likelihood of the training data
- Parameters
bw – bandwidth parameter
epsilon – size of the (normalized) neighborhood region
-
mean_
(x_cond, n_samples=1000000)¶ Mean of the fitted distribution conditioned on x_cond :param x_cond: different x values to condition on - numpy array of shape (n_values, ndim_x)
- Returns
Means E[y|x] corresponding to x_cond - numpy array of shape (n_values, ndim_y)
-
mean_std
(x_cond, n_samples=1000000)¶ - Computes Mean and Covariance of the fitted distribution conditioned on x_cond.
Computationally more efficient than calling mean and covariance computatio separately
- Parameters
x_cond – different x values to condition on - numpy array of shape (n_values, ndim_x)
- Returns
Means E[y|x] and Covariances Cov[y|x]
-
pdf
(X, Y)[source]¶ Predicts the conditional probability density p(y|x). Requires the model to be fitted.
- Parameters
X – numpy array to be conditioned on - shape: (n_samples, n_dim_x)
Y – numpy array of y targets - shape: (n_samples, n_dim_y)
- Returns
conditional probability p(y|x) - numpy array of shape (n_query_samples, )
-
plot2d
(x_cond=[0, 1, 2], ylim=(-8, 8), resolution=100, mode='pdf', show=True, prefix='', numpyfig=False)¶ Generates a 3d surface plot of the fitted conditional distribution if x and y are 1-dimensional each
- Parameters
xlim – 2-tuple specifying the x axis limits
ylim – 2-tuple specifying the y axis limits
resolution – integer specifying the resolution of plot
-
plot3d
(xlim=(-5, 5), ylim=(-8, 8), resolution=100, show=False, numpyfig=False)¶ Generates a 3d surface plot of the fitted conditional distribution if x and y are 1-dimensional each
- Parameters
xlim – 2-tuple specifying the x axis limits
ylim – 2-tuple specifying the y axis limits
resolution – integer specifying the resolution of plot
-
predict_density
(X, Y=None, resolution=50)¶ Computes conditional density p(y|x) over a predefined grid of y target values
- Parameters
X – values/vectors to be conditioned on - shape: (n_instances, n_dim_x)
Y – (optional) y values to be evaluated from p(y|x) - if not set, Y will be a grid with with specified resolution
resulution – integer specifying the resolution of simulation_eval grid
- Returns: tuple (P, Y)
P - density p(y|x) - shape (n_instances, resolution**n_dim_y)
Y - grid with with specified resolution - shape (resolution**n_dim_y, n_dim_y) or a copy of Y in case it was provided as argument
-
score
(X, Y)¶ Computes the mean conditional log-likelihood of the provided data (X, Y)
- Parameters
X – numpy array to be conditioned on - shape: (n_query_samples, n_dim_x)
Y – numpy array of y targets - shape: (n_query_samples, n_dim_y)
- Returns
average log likelihood of data
-
set_params
(**params)¶ Set the parameters of this estimator.
The method works on simple estimators as well as on nested objects (such as pipelines). The latter have parameters of the form
<component>__<parameter>
so that it’s possible to update each component of a nested object.- Returns
- Return type
self
-
skewness
(x_cond, n_samples=1000000)¶ Skewness of the fitted distribution conditioned on x_cond
- Parameters
x_cond – different x values to condition on - numpy array of shape (n_values, ndim_x)
- Returns
Skewness Skew[y|x] corresponding to x_cond - numpy array of shape (n_values, ndim_y, ndim_y)
-
std_
(x_cond, n_samples=1000000)¶ Standard deviation of the fitted distribution conditioned on x_cond
- Parameters
x_cond – different x values to condition on - numpy array of shape (n_values, ndim_x)
- Returns
Standard deviations sqrt(Var[y|x]) corresponding to x_cond - numpy array of shape (n_values, ndim_y)
-
tail_risk_measures
(x_cond, alpha=0.01, n_samples=1000000)¶ Computes the Value-at-Risk (VaR) and Conditional Value-at-Risk (CVaR)
- Parameters
x_cond – different x values to condition on - numpy array of shape (n_values, ndim_x)
alpha – quantile percentage of the distribution
n_samples – number of samples for monte carlo model_fitting
- Returns
VaR values for each x to condition on - numpy array of shape (n_values)
CVaR values for each x to condition on - numpy array of shape (n_values)
-
value_at_risk
(x_cond, alpha=0.01, n_samples=1000000)¶ Computes the Value-at-Risk (VaR) of the fitted distribution. Only if ndim_y = 1
- Parameters
x_cond – different x values to condition on - numpy array of shape (n_values, ndim_x)
alpha – quantile percentage of the distribution
- Returns
VaR values for each x to condition on - numpy array of shape (n_values)


Having a quick look at Belkin's WeMo. I wonder if it would be possible to integrate the WeMo elements into emoncms either as switch control or energy usage monitoring.
I've long been interested in a plug-in device that could measure energy use and provide a switch functionality but I would rather it was via powerline rather than WiFi. This is the closest I have come across.
There is an opensource project to access and control WeMo. Just wondered if anyone had linked them to emoncms :)
Re: Belkin WeMo - integrate to emoncms
Great idea...
I've been playing with an out-of-the-box system called GEO Solo II which is easy to set up and provides ability to monitor consumption from a single CT clamp AND switch on/off and monitor up to 6 individual 13A sockets. The web-based reporting is not bad, but could be vastly improved.
You might find it interesting to have a quick look at
Re: Belkin WeMo - integrate to emoncms
I have looked for a well priced EoP based switch but have found nothing.
Re: Belkin WeMo - integrate to emoncms
I have been doing a little experimenting with managing the WeMo via the ouimeaux system and I am make some progress.
Re: Belkin WeMo - integrate to emoncms
I hope to get a wemo insight to play with. It would be interested in getting power consumption data into Emoncms.
It looks like ouimeaux should make this possible
http://ouimeaux.readthedocs.org/
It looks like it should be easy to control the plug and get the energy data via openHAB binding. Maybe openHAB could publish the energy data to MQTT
https://github.com/openhab/openhab/wiki/Wemo-Binding
Re: Belkin WeMo - integrate to emoncms
Looks like it's already been done:
https://openenergymonitor.org/emon/node/11612
Re: Belkin WeMo - integrate to emoncms
i have created a (windows) program in delphi that connects to the wemo insight and gets the usage data and posts it to emoncms. I have been using it with 3 wemo insights. It's not really that hard to do it.
My program only has one flaw though, the wemo insight siwtches don't work of a fixed port every once in a while they switch ports and i have to edit my program's config for that plug to adopt to the new port. I have not gotten the time nor the willingness to update the app to try and connect to a diffrent port after some failed attempts. Mostly because i have set up the program in such a way that it quits whenever it gets an error in combination with a batch file that restarts it indefinatly.
The ouimeaux thing does not have that problem as far as i can remember as it does a upnp scan to find the device instead of working with ip + port in the config. if i remember correctly home assistant also uses that same library.
Further on i had also modified the button widget and so that it changes a feed value from 1 to 0 and from 0 to 1. that in combination with node red to read the feed value and based on the value enable / disable the wemo insight switch. works ok but has a few flaws (espicialy if you also use home assistant). The nodes in node red also tend to have problems sometimes connecting to emoncms at least the ones i'm using and when looking at node red log.
I can try to upload the delphi sources to github if you want so you can see how i did it.
Re: Belkin WeMo - integrate to emoncms
Hi
The latest NodeRed Wemo node seems to handle the fact that the wemos sometimes change ports. Would that be an easier way to integrate a wemo into emoncms?
Regards
Ian
Re: Belkin WeMo - integrate to emoncms
If the wemo node allows reading the current useage watt useage it might be possible to create a flow that:
1) read value every X seconds / minutes from wemo
2) does an http get to emoncms using the input api and the key, or see if one of the emoncms nodes can be used as an output. Can't remember exactly if there was such one, but the http get / post does work from within node red
this way you only need node red, a wemo insight, and emoncms. It's probably not so hard to create that flow.
Re: Belkin WeMo - integrate to emoncms
I just checked and updated my node-red to see the new wemo nodes. Unfortunatly, there's a problem. They use a notifications system instead of polling system. For one thing, the notification system does not seem to work for me. It does not react to wemo insight being switched on / off. Besides that, there's another problem that makes it (currently) not possible to use node-red to read the wemo insight data and post it to an emoncms node. When I tested it, it's not possible to check every x seconds for the power. When you do get a notification from wemo insight, the object does contain the power value, but there's no way, or at least I could not find a way, to read it every X seconds and send it to emoncms. The emoncms nodes work just fine, you don't need the input api, the node does it for you.
So as far as i can see, without modifcations to the wemo nodes source, it's not possible to trigger / force read the power value on demand. It could be it's just a simple modification, but I would contact the author of the wemo nodes and ask them if it's possible to change it so a node can be triggered on demand and read the state of the wemo (insight) switch. Once that's available, it's possible to use node red to post wemo insight power values to emoncms. (might be a good idea the useage case like as in posting the data to emoncms (node))
Re: Belkin WeMo - integrate to emoncms
I emailed the author asking if it was somehow possible to get the state of the wemo insight by a trigger like a timer or a repeating message, explaining what we want to do.

Re: Belkin WeMo - integrate to emoncms
Nice, good work
Re: Belkin WeMo - integrate to emoncms
I haven't gotten any email back from the node read wemo nodes author, but i did upload my delphi xe source as well as a precompiled Release (exe) to github of the little tool i created. It's what i'm using for monitoring my wemo insight's on a intel nuc running windows 10. It has the flaw of having to change the ports manually whenever the wemo switches ports but, at least for me, it does not seem to happen that frequently and i get emails whenever there's no more input from emoncms.
https://github.com/joyrider3774/Wemo_Insight_Emoncms
nothing special and probably not so well coded but i did not want to spend much time on it and i might be switching to node red if the author of the node red wemo nodes makes it possible to ask the wemo insight info anytime you want