Company profile - Canadian Company Capabilities
Third-Party Information Liability Disclaimer
Some of the information on this Web page has been provided by external sources. The Government of Canada is not responsible for the accuracy, reliability or currency of the information supplied by external sources. Users wishing to rely upon this information should consult directly with the source of the information. Content provided by external sources is not subject to official languages, privacy and accessibility requirements.
i3 International Inc.
Mailing Address:
16-780 Birchmount RdSCARBOROUGH, Ontario
M1K 5H4
Location Address:
16-780 Birchmount RdSCARBOROUGH, Ontario
M1K 5H4
Tel.:<PHONE_NUMBER>
Tel.:<PHONE_NUMBER>
Fax:<PHONE_NUMBER>
Logo
Company Profile
i³ International Inc. is an industry leader offering integrated video solutions that assist businesses increase profitability. Through usage of algorithms, pattern and trend targeting calculations, i³s provides customers with multi-level data correlations to help identify loss and theft in their businesses. i³ utilizes video technology that offer a complete solution to any market sectors, retails, industries, institutions, or banks.
i³s strength is in retails. Central Management Software (CMS) is designed to accurately predict retail consumer behavior and enable retail professionals to benefit from understanding that behavior and allow them to extend the relationship with their customers. To achieve this functionality, i³s engineering team will use in-house Video Analytics module that includes proprietary features such as VideoLogix® (human tracking), VisionCount® (drive-through and door counting), Queue Time (service timer), and Object Detection database. By utilizing the CMS advantage, i³ customers can form effective strategies to improve their Key Performance Indicators (KPI) and follow retail business best practices.
Full profile
Full profile
Contact information
Company description
334110 - Computer and Peripheral Equipment Manufacturing
Product / Service / Licensing
The data management software, PAC DM (POS, ATM, and Card Access Data Management), is a unique software solution that allows users to easily keep track of inventory, investigate suspicious transactions, and conduct thorough trend analyses. The software enables raw data from devices such as cash registers, ATMs, card access machines, and others to be overlaid onto a video image.
This data is then populated into a usable database which can be accessed remotely via LAN or WAN. By storing these images in their millions and associating each frame with event information in text format, the technology searches for events of interest and thus quickly and cost efficiently recovers the associated images of the surveillance camera we are viewing at the time of the event.
A second proprietary technology, our human/object recognition and tracking software, helps users monitor and protect high pedestrian areas. This intelligent software solution recognizes what human beings looks like in comparison to inanimate objects. Suspicious human actions such as entering into restricted zones, changing directions, or loitering are instantly recognized and reported.
While most human/object detection and tracking systems perform well in static environments, they fail to compensate for situations where there is a sudden change in light, or where there are objects such as tree branches and leaves moving and shaking in the background. i³s proprietary human/object detection and tracking technology, however, has the unique ability to deal with exactly these kinds of environmental challenges. Through false object detection, the system learns what should be considered a false alarm, making it significantly more stable and robust.
Finally, license plate recognition (LPR) software is an image-processing technology that is used to immediately identify vehicles by their license plates. Most LPR software currently on the market recognizes a license plate only after the vehicle passes through a pre-defined alarm zone. Once the vehicle triggers the alarm, the plate information is extracted or is manually removed from the picture.
Unlike these other types of LPR software, i³DVRs proprietary technology works on conventional cameras, capturing the plate in real time and with minimal latency. While other LPR technology informs the camera when to take the picture utilizing alarm triggers, i³s technology isolates the best possible frame within that second, then grabs the picture in real time format and extracts the information needed from the picture.
6350-Miscellaneous Alarm Signal and Security Detection Systems
Technology profile
The data management software, PAC DM (POS, ATM, and Card Access Data Management), is a unique software solution that allows users to easily keep track of inventory, investigate suspicious transactions, and conduct thorough trend analyses. The software enables raw data from devices such as cash registers, ATMs, card access machines, and others to be overlaid onto a video image.
This data is then populated into a usable database which can be accessed remotely via LAN or WAN. By storing these images in their millions and associating each frame with event information in text format, the technology searches for events of interest and thus quickly and cost efficiently recovers the associated images of the surveillance camera we are viewing at the time of the event.
A second proprietary technology, our human/object recognition and tracking software, helps users monitor and protect high pedestrian areas. This intelligent software solution recognizes what human beings looks like in comparison to inanimate objects. Suspicious human actions such as entering into restricted zones, changing directions, or loitering are instantly recognized and reported.
While most human/object detection and tracking systems perform well in static environments, they fail to compensate for situations where there is a sudden change in light, or where there are objects such as tree branches and leaves moving and shaking in the background. i³DVRs proprietary human/object detection and tracking technology, however, has the unique ability to deal with exactly these kinds of environmental challenges. Through false object detection, the system learns what should be considered a false alarm, making it significantly more stable and robust.
Finally, license plate recognition (LPR) software is an image-processing technology that is used to immediately identify vehicles by their license plates. Most LPR software currently on the market recognizes a license plate only after the vehicle passes through a pre-defined alarm zone. Once the vehicle triggers the alarm, the plate information is extracted or is manually removed from the picture.
Unlike these other types of LPR software, i³DVRs proprietary technology works on conventional cameras, capturing the plate in real time and with minimal latency. While other LPR technology informs the camera when to take the picture utilizing alarm triggers, i³DVRs technology isolates the best possible frame within that second, then grabs the picture in real time format and extracts the information needed from the picture.
Market profile
Alliances:
- Financial
- Sales/Marketing
- Technology
Industry sector market interests:
- Agriculture
- Construction
- Consumer Products
- Culture
- Environment
- Fishery
- Forestry
- Information Technology and Telecommunications
- Manufacturing
- Medical/Biotechnology/Chemical
- Mining/Petroleum/Gas
- Service Industry
- Tourism
- Transportation
- Wholesale/Retail
- Aerospace
- Defence
- Automotive
- Food and Beverage Manufacturing
- Furniture and Wood Product
- Pulp and Paper
- Plastics and Rubber Products
- Primary and Fabricated Metal
- Electrical Equipment
- Textile and Clothing
Geographic markets:
Export experience:
- Brazil
- Colombia
- Iraq
- Jordan
- Lebanon
- Mexico
- Saudi Arabia
- United Arab Emirates
- Alabama
- Alaska
- Arizona
- Arkansas
- California
- Colorado
- Connecticut
- Delaware
- District of Columbia
- Florida
- Georgia
- Hawaii
- Idaho
- Illinois
- Indiana
- Iowa
- Kansas
- Kentucky
- Louisiana
- Maine
- Maryland
- Massachusetts
- Michigan
- Minnesota
- Mississippi
- Missouri
- Montana
- Nebraska
- Nevada
- New Hampshire
- New Jersey
- New Mexico
- New York
- North Carolina
- North Dakota
- Ohio
- Oklahoma
- Oregon
- Pennsylvania
- Rhode Island
- South Carolina
- South Dakota
- Tennessee
- Texas
- Utah
- Vermont
- Virginia
- Washington
- West Virginia
- Wisconsin
- Wyoming
Sector information
Classification codes
Total plant size:
Distribution of employees:
We have 140 employees and 47 are in R&D.Unique applications:
Human RecognitionFacial Recognition
License Plate Recognition
Key / Major clients:
- Four Aces Casino , Deadwood, South Dakota- Tin Lizzie Casino , Deadwood, South Dakota
- Deadwood Gulch Saloon, Deadwood, South Dakota
- Black Hills Novelty Co, Inc., Deadwood, South Dakota
- Hickok's Casino, Deadwood, South Dakota
- Silverado Casino, Deadwood, South Dakota
- Gold Country Casino, Deadwood, South Dakota
- Best Western Hickok House, Deadwood, South Dakota
- Lucky Star Casino, Concho , Oklahoma
- Tuscany Casino, Las Vegas, Nevada
- One Eyed Jack's Saloon, Sturgis , South Dakota
- Terry Peak Ski Area, Lead , South Dakota
- Loblaws, Canada
- PizzaPizza, Ontario, Canada
- Tim Horton's, Canada
- US Federal Reserve
- US/Mexico Border
Success stories:
i³DVR took top honors at CANASA this year when it walked away with two of six Dealer's Choice Awards. The awards, based on selection by a panel of industry experts, are designed to acknowledge the best new products in the industry. To select winners, experts from different areas of the industry are asked to vote on products in up to six categories. i³DVR received awards in both the Specialty Products and CCTV Products categories.Vy Hoang, i³DVR's Executive Vice President of Sales, gave the winning presentations on our PAC DM Software solution and i3 SRXE-48032 ARM . Each fifteen minute presentation was followed by a five minute question-and-answer period in which he fielded questions on the features and benefits of our products.
According to Vy, competition in these two categories was exceptional this year. Although the Canadian security market is considerably smaller that that of the United States, its potential for growth is enormous. Our edge, he argues, lies in the speed with which our security technology continues to advance. That is why recognition at these awards is particularly meaningful. These awards come directly from Canadian Dealers and their Association, says Vy. We respect their opinion and hope their endorsement will help our product become widely accepted in the international and Canadian market".
i³DVR is proud to accept this honor and grateful to the dealers who chose to acknowledge our entries among the numerous other quality competitors. As the recipient of two awards, i³DVR will receive significant media exposure including personal recognition in SP&T, Canada 's leading publication in the security industry.
SecurityInfo Watch recently featured and article on the Dealer's Choice winners with a photo of Vy on the cover. To view it, click http://www.securityinfowatch.com/article/article.jsp?id=1686&siteSection=312
Also, look for our product photos and descriptions in the SP&T post-show issue, Canadian Security's December issue, and the CANASA website!
Testimonial:
- November 2004 - Dealers Choice Awards - Best Specialty Product (PAC DM) & Best CCTV (SRX 48032 - ARM)- April 2005 - SIA (Security Industry Association) (New Product Showcase) - Best Commercial Product
- April 2005 - Ontario Government - Global Traders Award - Excellence in Exporting & Honerable Mention for Market Expansion
- May 2005 - Ontario Global Traders Award - Innovation
- June 2006 Profit 100
- May 2005 Profit 100
- May 2004 Profit 100
- May 2003 Profit 100
- Work with NRC of Canada - IRAP Program
- May 2006 Imigrant Success Award
- October 2006 Young Entrepreneur Award
Third-Party Information Liability Disclaimer
Some of the information on this Web page has been provided by external sources. The Government of Canada is not responsible for the accuracy, reliability or currency of the information supplied by external sources. Users wishing to rely upon this information should consult directly with the source of the information. Content provided by external sources is not subject to official languages, privacy and accessibility requirements.
Contacts
Contact information
Description
Company description
334110 - Computer and Peripheral Equipment Manufacturing
Products, services and licensing
Product / Service / Licensing
The data management software, PAC DM (POS, ATM, and Card Access Data Management), is a unique software solution that allows users to easily keep track of inventory, investigate suspicious transactions, and conduct thorough trend analyses. The software enables raw data from devices such as cash registers, ATMs, card access machines, and others to be overlaid onto a video image.
This data is then populated into a usable database which can be accessed remotely via LAN or WAN. By storing these images in their millions and associating each frame with event information in text format, the technology searches for events of interest and thus quickly and cost efficiently recovers the associated images of the surveillance camera we are viewing at the time of the event.
A second proprietary technology, our human/object recognition and tracking software, helps users monitor and protect high pedestrian areas. This intelligent software solution recognizes what human beings looks like in comparison to inanimate objects. Suspicious human actions such as entering into restricted zones, changing directions, or loitering are instantly recognized and reported.
While most human/object detection and tracking systems perform well in static environments, they fail to compensate for situations where there is a sudden change in light, or where there are objects such as tree branches and leaves moving and shaking in the background. i³s proprietary human/object detection and tracking technology, however, has the unique ability to deal with exactly these kinds of environmental challenges. Through false object detection, the system learns what should be considered a false alarm, making it significantly more stable and robust.
Finally, license plate recognition (LPR) software is an image-processing technology that is used to immediately identify vehicles by their license plates. Most LPR software currently on the market recognizes a license plate only after the vehicle passes through a pre-defined alarm zone. Once the vehicle triggers the alarm, the plate information is extracted or is manually removed from the picture.
Unlike these other types of LPR software, i³DVRs proprietary technology works on conventional cameras, capturing the plate in real time and with minimal latency. While other LPR technology informs the camera when to take the picture utilizing alarm triggers, i³s technology isolates the best possible frame within that second, then grabs the picture in real time format and extracts the information needed from the picture.
6350-Miscellaneous Alarm Signal and Security Detection Systems
Technology
Technology profile
The data management software, PAC DM (POS, ATM, and Card Access Data Management), is a unique software solution that allows users to easily keep track of inventory, investigate suspicious transactions, and conduct thorough trend analyses. The software enables raw data from devices such as cash registers, ATMs, card access machines, and others to be overlaid onto a video image.
This data is then populated into a usable database which can be accessed remotely via LAN or WAN. By storing these images in their millions and associating each frame with event information in text format, the technology searches for events of interest and thus quickly and cost efficiently recovers the associated images of the surveillance camera we are viewing at the time of the event.
A second proprietary technology, our human/object recognition and tracking software, helps users monitor and protect high pedestrian areas. This intelligent software solution recognizes what human beings looks like in comparison to inanimate objects. Suspicious human actions such as entering into restricted zones, changing directions, or loitering are instantly recognized and reported.
While most human/object detection and tracking systems perform well in static environments, they fail to compensate for situations where there is a sudden change in light, or where there are objects such as tree branches and leaves moving and shaking in the background. i³DVRs proprietary human/object detection and tracking technology, however, has the unique ability to deal with exactly these kinds of environmental challenges. Through false object detection, the system learns what should be considered a false alarm, making it significantly more stable and robust.
Finally, license plate recognition (LPR) software is an image-processing technology that is used to immediately identify vehicles by their license plates. Most LPR software currently on the market recognizes a license plate only after the vehicle passes through a pre-defined alarm zone. Once the vehicle triggers the alarm, the plate information is extracted or is manually removed from the picture.
Unlike these other types of LPR software, i³DVRs proprietary technology works on conventional cameras, capturing the plate in real time and with minimal latency. While other LPR technology informs the camera when to take the picture utilizing alarm triggers, i³DVRs technology isolates the best possible frame within that second, then grabs the picture in real time format and extracts the information needed from the picture.
Market
Market profile
Alliances:
- Financial
- Sales/Marketing
- Technology
Industry sector market interests:
- Agriculture
- Construction
- Consumer Products
- Culture
- Environment
- Fishery
- Forestry
- Information Technology and Telecommunications
- Manufacturing
- Medical/Biotechnology/Chemical
- Mining/Petroleum/Gas
- Service Industry
- Tourism
- Transportation
- Wholesale/Retail
- Aerospace
- Defence
- Automotive
- Food and Beverage Manufacturing
- Furniture and Wood Product
- Pulp and Paper
- Plastics and Rubber Products
- Primary and Fabricated Metal
- Electrical Equipment
- Textile and Clothing
Geographic markets:
Export experience:
- Brazil
- Colombia
- Iraq
- Jordan
- Lebanon
- Mexico
- Saudi Arabia
- United Arab Emirates
- Alabama
- Alaska
- Arizona
- Arkansas
- California
- Colorado
- Connecticut
- Delaware
- District of Columbia
- Florida
- Georgia
- Hawaii
- Idaho
- Illinois
- Indiana
- Iowa
- Kansas
- Kentucky
- Louisiana
- Maine
- Maryland
- Massachusetts
- Michigan
- Minnesota
- Mississippi
- Missouri
- Montana
- Nebraska
- Nevada
- New Hampshire
- New Jersey
- New Mexico
- New York
- North Carolina
- North Dakota
- Ohio
- Oklahoma
- Oregon
- Pennsylvania
- Rhode Island
- South Carolina
- South Dakota
- Tennessee
- Texas
- Utah
- Vermont
- Virginia
- Washington
- West Virginia
- Wisconsin
- Wyoming
Sector
Sector information
Classification codes
Total plant size:
Distribution of employees:
We have 140 employees and 47 are in R&D.Unique applications:
Human RecognitionFacial Recognition
License Plate Recognition
Key / Major clients:
- Four Aces Casino , Deadwood, South Dakota- Tin Lizzie Casino , Deadwood, South Dakota
- Deadwood Gulch Saloon, Deadwood, South Dakota
- Black Hills Novelty Co, Inc., Deadwood, South Dakota
- Hickok's Casino, Deadwood, South Dakota
- Silverado Casino, Deadwood, South Dakota
- Gold Country Casino, Deadwood, South Dakota
- Best Western Hickok House, Deadwood, South Dakota
- Lucky Star Casino, Concho , Oklahoma
- Tuscany Casino, Las Vegas, Nevada
- One Eyed Jack's Saloon, Sturgis , South Dakota
- Terry Peak Ski Area, Lead , South Dakota
- Loblaws, Canada
- PizzaPizza, Ontario, Canada
- Tim Horton's, Canada
- US Federal Reserve
- US/Mexico Border
Success stories:
i³DVR took top honors at CANASA this year when it walked away with two of six Dealer's Choice Awards. The awards, based on selection by a panel of industry experts, are designed to acknowledge the best new products in the industry. To select winners, experts from different areas of the industry are asked to vote on products in up to six categories. i³DVR received awards in both the Specialty Products and CCTV Products categories.Vy Hoang, i³DVR's Executive Vice President of Sales, gave the winning presentations on our PAC DM Software solution and i3 SRXE-48032 ARM . Each fifteen minute presentation was followed by a five minute question-and-answer period in which he fielded questions on the features and benefits of our products.
According to Vy, competition in these two categories was exceptional this year. Although the Canadian security market is considerably smaller that that of the United States, its potential for growth is enormous. Our edge, he argues, lies in the speed with which our security technology continues to advance. That is why recognition at these awards is particularly meaningful. These awards come directly from Canadian Dealers and their Association, says Vy. We respect their opinion and hope their endorsement will help our product become widely accepted in the international and Canadian market".
i³DVR is proud to accept this honor and grateful to the dealers who chose to acknowledge our entries among the numerous other quality competitors. As the recipient of two awards, i³DVR will receive significant media exposure including personal recognition in SP&T, Canada 's leading publication in the security industry.
SecurityInfo Watch recently featured and article on the Dealer's Choice winners with a photo of Vy on the cover. To view it, click http://www.securityinfowatch.com/article/article.jsp?id=1686&siteSection=312
Also, look for our product photos and descriptions in the SP&T post-show issue, Canadian Security's December issue, and the CANASA website!
Testimonial:
- November 2004 - Dealers Choice Awards - Best Specialty Product (PAC DM) & Best CCTV (SRX 48032 - ARM)- April 2005 - SIA (Security Industry Association) (New Product Showcase) - Best Commercial Product
- April 2005 - Ontario Government - Global Traders Award - Excellence in Exporting & Honerable Mention for Market Expansion
- May 2005 - Ontario Global Traders Award - Innovation
- June 2006 Profit 100
- May 2005 Profit 100
- May 2004 Profit 100
- May 2003 Profit 100
- Work with NRC of Canada - IRAP Program
- May 2006 Imigrant Success Award
- October 2006 Young Entrepreneur Award


| Global Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (241 entries) |
| Notation Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (6 entries) |
| Variable Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (11 entries) |
| Library Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (6 entries) |
| Lemma Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (77 entries) |
| Constructor Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (51 entries) |
| Inductive Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (14 entries) |
| Section Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (18 entries) |
| Instance Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (13 entries) |
| Abbreviation Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (15 entries) |
| Definition Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (30 entries) |
Global Index
A
avar [inductive, in Definitions]avar_f [constructor, in Definitions]
avar_b [constructor, in Definitions]
B
binds_equiv_binds_n [lemma, in StructuralProperties]binds_to_binds_n [lemma, in StructuralProperties]
binds_n_to_binds [lemma, in StructuralProperties]
binds_n [inductive, in StructuralProperties]
bn_cons [constructor, in StructuralProperties]
bn_found [constructor, in StructuralProperties]
C
CloseTvar [instance, in Definitions]CloseTyp [instance, in Definitions]
close_lc_typ [lemma, in OperationProperties]
close_lc_avar [lemma, in OperationProperties]
close_lc [abbreviation, in OperationProperties]
close_rec_typ [definition, in Definitions]
close_rec_tvar [definition, in Definitions]
D
Definitions [library]E
env [abbreviation, in Definitions]env_measure_app [lemma, in Misc]
env_measure_cons [lemma, in Misc]
env_measure [definition, in Misc]
EqAvar [instance, in Definitions]
Equivalence [section, in StrongKernel]
F
free_all [lemma, in StructuralProperties]fresh_inj [abbreviation, in OperationProperties]
FvClose [section, in OperationProperties]
FvEnv [instance, in Definitions]
FvOpen [section, in OperationProperties]
FvTvar [instance, in Definitions]
FvTyp [instance, in Definitions]
fv_add_close_typ [lemma, in OperationProperties]
fv_add_close_avar [lemma, in OperationProperties]
fv_add_close [abbreviation, in OperationProperties]
fv_close_typ [lemma, in OperationProperties]
fv_close_avar [lemma, in OperationProperties]
fv_close [abbreviation, in OperationProperties]
fv_close_self_typ [lemma, in OperationProperties]
fv_close_self_avar [lemma, in OperationProperties]
fv_close_self [abbreviation, in OperationProperties]
fv_open_typ [lemma, in OperationProperties]
fv_open_avar [lemma, in OperationProperties]
fv_open [abbreviation, in OperationProperties]
fv_union [lemma, in Definitions]
fv_typ [definition, in Definitions]
fv_avar [definition, in Definitions]
fv_unpack [lemma, in Definitions]
fv_values [definition, in Definitions]
I
is_all_dec [definition, in Misc]is_all [definition, in Misc]
is_fun_dec [definition, in Misc]
is_fun [definition, in Misc]
is_var_dec [definition, in Misc]
is_var [definition, in Misc]
is_top_dec [definition, in Misc]
is_top [definition, in Misc]
K
k_subty_to_sk_subty [lemma, in StrongKernel]k_all [constructor, in StrongKernel]
k_fun [constructor, in StrongKernel]
k_tvar [constructor, in StrongKernel]
k_tvrefl [constructor, in StrongKernel]
k_top [constructor, in StrongKernel]
k_subty [inductive, in StrongKernel]
L
LcFtyp [instance, in Definitions]LcOpenClosingProperties [section, in OperationProperties]
LcTvar [instance, in Definitions]
lc_relax_typ [lemma, in OperationProperties]
lc_relax_avar [lemma, in OperationProperties]
lc_relax [abbreviation, in OperationProperties]
lc_typ_all [constructor, in Definitions]
lc_typ_fun [constructor, in Definitions]
lc_typ_var [constructor, in Definitions]
lc_typ_top [constructor, in Definitions]
lc_typ_at [inductive, in Definitions]
lc_af [constructor, in Definitions]
lc_ab [constructor, in Definitions]
lc_avar_at [inductive, in Definitions]
M
measure [definition, in StrongKernel]Misc [library]
N
narrow [inductive, in StructuralProperties]narrow_hyp [lemma, in StructuralProperties]
narrow_binds_n [lemma, in StructuralProperties]
narrow_on [definition, in StructuralProperties]
n_cons [constructor, in StructuralProperties]
n_first [constructor, in StructuralProperties]
O
OpenFreshInj [section, in OperationProperties]OpenFreshInj.z [variable, in OperationProperties]
OpenTvar [instance, in Definitions]
OpenTyp [instance, in Definitions]
open_substi_rewrite2 [lemma, in OperationProperties]
open_substi_rewrite [lemma, in OperationProperties]
open_fresh_inj_typ [lemma, in OperationProperties]
open_fresh_inj_avar [lemma, in OperationProperties]
open_left_inv_typ [lemma, in OperationProperties]
open_left_inv_avar [lemma, in OperationProperties]
open_left_inv [abbreviation, in OperationProperties]
open_lc_inv_typ [lemma, in OperationProperties]
open_lc_inv_avar [lemma, in OperationProperties]
open_lc_inv [abbreviation, in OperationProperties]
open_lc_le_typ [lemma, in OperationProperties]
open_lc_le_avar [lemma, in OperationProperties]
open_lc_le [abbreviation, in OperationProperties]
open_lc_typ [lemma, in OperationProperties]
open_lc_avar [lemma, in OperationProperties]
open_lc [abbreviation, in OperationProperties]
open_rec_typ [definition, in Definitions]
open_rec_tvar [definition, in Definitions]
open_subst_subty [lemma, in StructuralProperties]
open_typ_same_measure [lemma, in Misc]
OpeProperties [section, in OpeSub]
OperationProperties [library]
OpeSub [library]
ope_list_fv_env_subset [lemma, in StrongKernel]
ope_sub_stareat_sound [lemma, in StrongKernel]
ope_sub_app_r [lemma, in OpeSub]
ope_sub_app [lemma, in OpeSub]
ope_sub_nil [lemma, in OpeSub]
ope_sub_refl [lemma, in OpeSub]
ope_sub_trans [lemma, in OpeSub]
ope_narrow_subty [lemma, in OpeSub]
ope_narrow_var [lemma, in OpeSub]
ope_sub_length [lemma, in OpeSub]
ope_sub [inductive, in OpeSub]
os_keep [constructor, in OpeSub]
os_drop [constructor, in OpeSub]
os_nil [constructor, in OpeSub]
P
Predicates [section, in Misc]R
Reflexivity [section, in StrongKernel]renaming_subty [lemma, in StructuralProperties]
S
sa_all [constructor, in StrongKernel]sa_fun [constructor, in StrongKernel]
sa_tvar [constructor, in StrongKernel]
sa_tvrefl [constructor, in StrongKernel]
sa_top [constructor, in StrongKernel]
sksub_weaken_l [lemma, in StrongKernel]
sksub_weaken_gen [lemma, in StrongKernel]
sksub_refl [definition, in StrongKernel]
sk_subty_equiv_stareat [lemma, in StrongKernel]
sk_subty_to_stareat [lemma, in StrongKernel]
sk_subty_sound [lemma, in StrongKernel]
sk_subty_to_subty [lemma, in StrongKernel]
sk_subty_equiv_sk_subty' [lemma, in StrongKernel]
sk_subty'_to_sk_subty [lemma, in StrongKernel]
sk_subty_to_sk_subty' [lemma, in StrongKernel]
sk_all' [constructor, in StrongKernel]
sk_fun' [constructor, in StrongKernel]
sk_tvar' [constructor, in StrongKernel]
sk_tvrefl' [constructor, in StrongKernel]
sk_top' [constructor, in StrongKernel]
sk_subty' [inductive, in StrongKernel]
sk_all [constructor, in StrongKernel]
sk_fun [constructor, in StrongKernel]
sk_tvar [constructor, in StrongKernel]
sk_tvrefl [constructor, in StrongKernel]
sk_top [constructor, in StrongKernel]
sk_subty [inductive, in StrongKernel]
Soundness [section, in StrongKernel]
stareat [inductive, in StrongKernel]
stareat_terminates [definition, in StrongKernel]
stareat_termination [inductive, in StrongKernel]
stareat_strengthening [lemma, in StrongKernel]
stareat_to_sk_subty [lemma, in StrongKernel]
stareat_sound [lemma, in StrongKernel]
StrongKernel [library]
StructuralProperties [section, in StructuralProperties]
StructuralProperties [library]
StructuralProperties.Reflexivity [section, in StructuralProperties]
StructuralProperties.Transitivity [section, in StructuralProperties]
st_all [constructor, in Definitions]
st_fun [constructor, in Definitions]
st_bind [constructor, in Definitions]
st_vrefl [constructor, in Definitions]
st_top [constructor, in Definitions]
st_all [constructor, in StrongKernel]
st_fun [constructor, in StrongKernel]
st_tvar [constructor, in StrongKernel]
st_tvrefl [constructor, in StrongKernel]
st_top [constructor, in StrongKernel]
SubstFresh [section, in OperationProperties]
SubstFresh.x [variable, in OperationProperties]
SubstFresh.y [variable, in OperationProperties]
SubstFvarProps [section, in OperationProperties]
SubstFvarProps.subst_open_comm [variable, in OperationProperties]
SubstFvarProps.t [variable, in OperationProperties]
SubstFvarProps.T [variable, in OperationProperties]
SubstFvarProps.x [variable, in OperationProperties]
SubstFvarProps.y [variable, in OperationProperties]
SubstFvarProps.z [variable, in OperationProperties]
SubstiEnv [instance, in StructuralProperties]
SubstIntro [section, in OperationProperties]
SubstOpenComm [section, in OperationProperties]
SubstOpenComm.x [variable, in OperationProperties]
SubstOpenComm.y [variable, in OperationProperties]
SubstTvar [instance, in Definitions]
SubstTyp [instance, in Definitions]
subst_intro_typ [lemma, in OperationProperties]
subst_intro [abbreviation, in OperationProperties]
subst_open_comm_typ [lemma, in OperationProperties]
subst_open_comm_avar [lemma, in OperationProperties]
subst_open_comm [abbreviation, in OperationProperties]
subst_fvar [definition, in OperationProperties]
subst_fresh_typ [lemma, in OperationProperties]
subst_fresh_avar [lemma, in OperationProperties]
subst_fresh [abbreviation, in OperationProperties]
subst_typ [definition, in Definitions]
subst_tvar [definition, in Definitions]
subst_env [definition, in StructuralProperties]
subty [inductive, in Definitions]
subty_subst [lemma, in StructuralProperties]
subty_subst_gen [lemma, in StructuralProperties]
subty_trans [lemma, in StructuralProperties]
subty_refl [definition, in StructuralProperties]
T
Termination [section, in StrongKernel]total [definition, in Misc]
total_app [lemma, in Misc]
trans_and_narrow [definition, in StructuralProperties]
trans_hyp [lemma, in StructuralProperties]
trans_on [definition, in StructuralProperties]
typ [inductive, in Definitions]
typ_all [constructor, in Definitions]
typ_fun [constructor, in Definitions]
typ_var [constructor, in Definitions]
typ_top [constructor, in Definitions]
typ_struct_measure_ge_1 [lemma, in Misc]
typ_struct_measure [definition, in Misc]
W
Weakening [section, in StrongKernel]weaken_subty [definition, in StructuralProperties]
weaken_subty_gen [lemma, in StructuralProperties]
wf_fv_is_dom [lemma, in Misc]
wf_var_in [lemma, in Misc]
wf_uniq [lemma, in Misc]
wf_deapp [lemma, in Misc]
wf_decons [lemma, in Misc]
wf_cons [constructor, in Misc]
wf_nil [constructor, in Misc]
wf_env [inductive, in Misc]
other
_ ⊢F _ <⦂ _ [notation, in Definitions]_ ⊆<⦂ _ [notation, in OpeSub]
[ _ ] _ >> _ <⦂ _ << _ [notation, in StrongKernel]
[ _ , _ ] _ ⊢k _ <⦂ _ ⊣ _ [notation, in StrongKernel]
[ _ ] _ ⊢k _ <⦂ _ ⊣ _ [notation, in StrongKernel]
[ _ ] _ ⊢k _ <⦂ _ [notation, in StrongKernel]
Notation Index
other
_ ⊢F _ <⦂ _ [in Definitions]_ ⊆<⦂ _ [in OpeSub]
[ _ ] _ >> _ <⦂ _ << _ [in StrongKernel]
[ _ , _ ] _ ⊢k _ <⦂ _ ⊣ _ [in StrongKernel]
[ _ ] _ ⊢k _ <⦂ _ ⊣ _ [in StrongKernel]
[ _ ] _ ⊢k _ <⦂ _ [in StrongKernel]
Variable Index
O
OpenFreshInj.z [in OperationProperties]S
SubstFresh.x [in OperationProperties]SubstFresh.y [in OperationProperties]
SubstFvarProps.subst_open_comm [in OperationProperties]
SubstFvarProps.t [in OperationProperties]
SubstFvarProps.T [in OperationProperties]
SubstFvarProps.x [in OperationProperties]
SubstFvarProps.y [in OperationProperties]
SubstFvarProps.z [in OperationProperties]
SubstOpenComm.x [in OperationProperties]
SubstOpenComm.y [in OperationProperties]
Library Index
D
DefinitionsM
MiscO
OperationPropertiesOpeSub
S
StrongKernelStructuralProperties
Lemma Index
B
binds_equiv_binds_n [in StructuralProperties]binds_to_binds_n [in StructuralProperties]
binds_n_to_binds [in StructuralProperties]
C
close_lc_typ [in OperationProperties]close_lc_avar [in OperationProperties]
E
env_measure_app [in Misc]env_measure_cons [in Misc]
F
free_all [in StructuralProperties]fv_add_close_typ [in OperationProperties]
fv_add_close_avar [in OperationProperties]
fv_close_typ [in OperationProperties]
fv_close_avar [in OperationProperties]
fv_close_self_typ [in OperationProperties]
fv_close_self_avar [in OperationProperties]
fv_open_typ [in OperationProperties]
fv_open_avar [in OperationProperties]
fv_union [in Definitions]
fv_unpack [in Definitions]
K
k_subty_to_sk_subty [in StrongKernel]L
lc_relax_typ [in OperationProperties]lc_relax_avar [in OperationProperties]
N
narrow_hyp [in StructuralProperties]narrow_binds_n [in StructuralProperties]
O
open_substi_rewrite2 [in OperationProperties]open_substi_rewrite [in OperationProperties]
open_fresh_inj_typ [in OperationProperties]
open_fresh_inj_avar [in OperationProperties]
open_left_inv_typ [in OperationProperties]
open_left_inv_avar [in OperationProperties]
open_lc_inv_typ [in OperationProperties]
open_lc_inv_avar [in OperationProperties]
open_lc_le_typ [in OperationProperties]
open_lc_le_avar [in OperationProperties]
open_lc_typ [in OperationProperties]
open_lc_avar [in OperationProperties]
open_subst_subty [in StructuralProperties]
open_typ_same_measure [in Misc]
ope_list_fv_env_subset [in StrongKernel]
ope_sub_stareat_sound [in StrongKernel]
ope_sub_app_r [in OpeSub]
ope_sub_app [in OpeSub]
ope_sub_nil [in OpeSub]
ope_sub_refl [in OpeSub]
ope_sub_trans [in OpeSub]
ope_narrow_subty [in OpeSub]
ope_narrow_var [in OpeSub]
ope_sub_length [in OpeSub]
R
renaming_subty [in StructuralProperties]S
sksub_weaken_l [in StrongKernel]sksub_weaken_gen [in StrongKernel]
sk_subty_equiv_stareat [in StrongKernel]
sk_subty_to_stareat [in StrongKernel]
sk_subty_sound [in StrongKernel]
sk_subty_to_subty [in StrongKernel]
sk_subty_equiv_sk_subty' [in StrongKernel]
sk_subty'_to_sk_subty [in StrongKernel]
sk_subty_to_sk_subty' [in StrongKernel]
stareat_strengthening [in StrongKernel]
stareat_to_sk_subty [in StrongKernel]
stareat_sound [in StrongKernel]
subst_intro_typ [in OperationProperties]
subst_open_comm_typ [in OperationProperties]
subst_open_comm_avar [in OperationProperties]
subst_fresh_typ [in OperationProperties]
subst_fresh_avar [in OperationProperties]
subty_subst [in StructuralProperties]
subty_subst_gen [in StructuralProperties]
subty_trans [in StructuralProperties]
T
total_app [in Misc]trans_hyp [in StructuralProperties]
typ_struct_measure_ge_1 [in Misc]
W
weaken_subty_gen [in StructuralProperties]wf_fv_is_dom [in Misc]
wf_var_in [in Misc]
wf_uniq [in Misc]
wf_deapp [in Misc]
wf_decons [in Misc]
Constructor Index
A
avar_f [in Definitions]avar_b [in Definitions]
B
bn_cons [in StructuralProperties]bn_found [in StructuralProperties]
K
k_all [in StrongKernel]k_fun [in StrongKernel]
k_tvar [in StrongKernel]
k_tvrefl [in StrongKernel]
k_top [in StrongKernel]
L
lc_typ_all [in Definitions]lc_typ_fun [in Definitions]
lc_typ_var [in Definitions]
lc_typ_top [in Definitions]
lc_af [in Definitions]
lc_ab [in Definitions]
N
n_cons [in StructuralProperties]n_first [in StructuralProperties]
O
os_keep [in OpeSub]os_drop [in OpeSub]
os_nil [in OpeSub]
S
sa_all [in StrongKernel]sa_fun [in StrongKernel]
sa_tvar [in StrongKernel]
sa_tvrefl [in StrongKernel]
sa_top [in StrongKernel]
sk_all' [in StrongKernel]
sk_fun' [in StrongKernel]
sk_tvar' [in StrongKernel]
sk_tvrefl' [in StrongKernel]
sk_top' [in StrongKernel]
sk_all [in StrongKernel]
sk_fun [in StrongKernel]
sk_tvar [in StrongKernel]
sk_tvrefl [in StrongKernel]
sk_top [in StrongKernel]
st_all [in Definitions]
st_fun [in Definitions]
st_bind [in Definitions]
st_vrefl [in Definitions]
st_top [in Definitions]
st_all [in StrongKernel]
st_fun [in StrongKernel]
st_tvar [in StrongKernel]
st_tvrefl [in StrongKernel]
st_top [in StrongKernel]
T
typ_all [in Definitions]typ_fun [in Definitions]
typ_var [in Definitions]
typ_top [in Definitions]
W
wf_cons [in Misc]wf_nil [in Misc]
Inductive Index
A
avar [in Definitions]B
binds_n [in StructuralProperties]K
k_subty [in StrongKernel]L
lc_typ_at [in Definitions]lc_avar_at [in Definitions]
N
narrow [in StructuralProperties]O
ope_sub [in OpeSub]S
sk_subty' [in StrongKernel]sk_subty [in StrongKernel]
stareat [in StrongKernel]
stareat_termination [in StrongKernel]
subty [in Definitions]
T
typ [in Definitions]W
wf_env [in Misc]Section Index
E
Equivalence [in StrongKernel]F
FvClose [in OperationProperties]FvOpen [in OperationProperties]
L
LcOpenClosingProperties [in OperationProperties]O
OpenFreshInj [in OperationProperties]OpeProperties [in OpeSub]
P
Predicates [in Misc]R
Reflexivity [in StrongKernel]S
Soundness [in StrongKernel]StructuralProperties [in StructuralProperties]
StructuralProperties.Reflexivity [in StructuralProperties]
StructuralProperties.Transitivity [in StructuralProperties]
SubstFresh [in OperationProperties]
SubstFvarProps [in OperationProperties]
SubstIntro [in OperationProperties]
SubstOpenComm [in OperationProperties]
T
Termination [in StrongKernel]W
Weakening [in StrongKernel]Instance Index
C
CloseTvar [in Definitions]CloseTyp [in Definitions]
E
EqAvar [in Definitions]F
FvEnv [in Definitions]FvTvar [in Definitions]
FvTyp [in Definitions]
L
LcFtyp [in Definitions]LcTvar [in Definitions]
O
OpenTvar [in Definitions]OpenTyp [in Definitions]
S
SubstiEnv [in StructuralProperties]SubstTvar [in Definitions]
SubstTyp [in Definitions]
Abbreviation Index
C
close_lc [in OperationProperties]E
env [in Definitions]F
fresh_inj [in OperationProperties]fv_add_close [in OperationProperties]
fv_close [in OperationProperties]
fv_close_self [in OperationProperties]
fv_open [in OperationProperties]
L
lc_relax [in OperationProperties]O
open_left_inv [in OperationProperties]open_lc_inv [in OperationProperties]
open_lc_le [in OperationProperties]
open_lc [in OperationProperties]
S
subst_intro [in OperationProperties]subst_open_comm [in OperationProperties]
subst_fresh [in OperationProperties]
Definition Index
C
close_rec_typ [in Definitions]close_rec_tvar [in Definitions]
E
env_measure [in Misc]F
fv_typ [in Definitions]fv_avar [in Definitions]
fv_values [in Definitions]
I
is_all_dec [in Misc]is_all [in Misc]
is_fun_dec [in Misc]
is_fun [in Misc]
is_var_dec [in Misc]
is_var [in Misc]
is_top_dec [in Misc]
is_top [in Misc]
M
measure [in StrongKernel]N
narrow_on [in StructuralProperties]O
open_rec_typ [in Definitions]open_rec_tvar [in Definitions]
S
sksub_refl [in StrongKernel]stareat_terminates [in StrongKernel]
subst_fvar [in OperationProperties]
subst_typ [in Definitions]
subst_tvar [in Definitions]
subst_env [in StructuralProperties]
subty_refl [in StructuralProperties]
T
total [in Misc]trans_and_narrow [in StructuralProperties]
trans_on [in StructuralProperties]
typ_struct_measure [in Misc]
W
weaken_subty [in StructuralProperties]| Global Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (241 entries) |
| Notation Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (6 entries) |
| Variable Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (11 entries) |
| Library Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (6 entries) |
| Lemma Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (77 entries) |
| Constructor Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (51 entries) |
| Inductive Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (14 entries) |
| Section Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (18 entries) |
| Instance Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (13 entries) |
| Abbreviation Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (15 entries) |
| Definition Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (30 entries) |


Good little woofer
Phoebe is a Foxred Labrador retriever. Strictly speaking she is a yellow labrador, if based upon the Uk Kennel club breed standard. She is nearly 4 years old but with the same heart and energy as ever. She can be a little too friendly and in your face. This isnt to everyones taste but what do they know. Better that than she be timid and never do anything or be aggressive and angry
WOOF.
The Labrador Retriever was bred to be both a friendly companion and a useful working dog breed. Historically, earning his keep as a fisherman’s helper: hauling nets, fetching ropes, and retrieving fish from the chilly North Atlantic. Labrador Retriever is as good-natured and hard working as his ancestors. These days the Lab works as a retriever for hunters, assistance dog to the handicapped, show competitor, and search and rescue dog.
If awards were given for best parent then I dont know a more deserving one. She had a little of 11 just over 15 months ago. She was the perfect Mum easily caring for, cleaning and rearing them all.  They all grew into rather fine dogs if I do say so. I havent found anyone to disagree yet
Everyone loves puppies and so it wold be a shame not have some images of them, So here you go
Green collar and potentially first born
Blue collar and was always fairly unique
Pink collar and is almost identical with mum
Purple collar and darkest colour like dad
Orange collar and was the surprise gift
Black collar and was destined to be a working dog
white collar named after Pokemon character
Grey collar always was and is still the biggest
Naked was always part of the escaping group
Red collar was the long awaited dog for an ex service man
Yellow collar started out small but no longer
Shout out for Dad too
Just a few of her homies
Phoebe Pearce, The Best Dog Ever.


Real-time HEATMAP
This application compute and displays an heatmap using HTML5 canvas
element.
Javascript code is less than 4K and framework agnostic. This application could be a base for any applications that need to deliver real-time heatmap visitors to their customers. HTML5 allows to run this heavy computation client side!
Move your mouse on the fake web page below to generate and view heatmap. A real application should track mouse click instead of mouse move. It's just for the demo. (Or check it out on iPhone or iPad :) )
Heatmap opacity: Style:
Fake web page


| DOSE: |
250 mg |
insufflated |
Ketamine |
(powder / crystals) |
I had done ketamine for several months before, but had never had effects like I was about to experience. Prior to this experience it would simply make my eyes go blurry, slur my speech, etc. It was like being really drunk.
On this particular night I was at friend A's house waiting for friend B to call, at which point I would proceed over to B's place. While waiting friend A and I did a bit of ketamine I had, but as I had had an extremely stressful week (work, exams, and my grandfather's funeral had been that morning) I chose to snort approximately half of a half-gram vile. Just after I snorted my big line, friend B called and I hopped on the streetcar to meet him, not thinking for a second about the big line I had just snorted.
My 'trip' began as soon as the streetcar started to move. My field of vision began to narrow and unfocus, and soon I was not aware of any of my senses at all. I began to be lost deep in thoughts of my life, it's direction and meaning. I soon realized that anything and everything I did had no meaning or importance. In fact, I began to move further and further outside of myself. I can only compare it to a movie camera starting at me and moving backwards until it was outside my city, planet, solar system, etc. I realized that nothing in this world had real meaning if you looked at the 'big picture', at which I was now looking.
The essence of what I now was now perceived as liquid, a drop moving throughout the universe. I soon entered into a sort of waiting room, where I was presented with a mass of spherical liquid which represented the collection of individual 'drops', one of which was me, watching it from outside. I realized the truth - that all individuals sprung from this mass of liquid as drops, but that the drops themselves had no individual identity UNTIL they had been individual drops for some time.
In other words, if I were to re-enter this sphere my identity would be lost. I briefly wondered if my identity would be absorbed into this mass, but realized that in fact my identity, everything about me, would be completely erased. The physical world in which we lived, and everything that constituted who I thought I was, was all illusionary and meaningless.
At this point I knew I had a choice - I could re-enter the sphere and get my destiny over with, or I could continue this fabricated life for a little longer. I was unsure what I would decide, but then the horn on the streetcar went off loudly and I was brought abruptly back into this world. I had lost my chance to choose because I had hesitated.
This was as real to me as anything I have experienced, and in a way it was MORE real. Although the implications of this trip should have been negative, I found an increased appreciation for this world and the people in it. I used to suffer from clynical depression but now no longer have passing thoughts about ending my life - something that antidepressants and therapy have never been able to give me. Also since this trip ketamine, even in smaller doses, has effected me very strongly. It is as though a part of my brain were 'unlocked'.
I am still wrestling with the personal implications of this experience, as it only happened three weeks ago. One thing is certain, though: I want to experience more.
Experience Reports are the writings and opinions of the individual authors who submit them.
Some of the activities described are dangerous and/or illegal and none are recommended by Erowid.


Watch: Éire Óg Score Stunning Goal Straight From Throw-In Against Portlaoise
by Gary ConnaughtonÉire Óg are hoping to end their long wait for a Leinster club title this year, having gone 20 years without one since their run of five in seven years in the 1990s.
They faced Portlaoise in a mouthwatering semi-final clash this evening, with the Carlow side getting off to the perfect start. They would score a goal right from the throw-in, with Chris Blake providing a stunning finish to steer it on off the post.
Take a look at this one.
Now that's what you call a fast start!
The goal is reminiscent of one scored by John Heslin for St Loman's in the Westmeath county final in 2017, one that made national headlines at the time. It's not hard to see why.


LUFA is donationware. For author and donation information, see Donating to Support This Project.
LUFA is an open-source USB library for the USB-enabled AVR microcontrollers, released under the MIT license (see Source Code License). It supports a large number of USB AVR models and boards (see Device and Hardware Support). It is designed to provide an easy to use, feature rich framework for the development of USB peripherals and hosts.
LUFA focuses on the microcontroller side of USB development only; it includes no PC host USB driver development facilities - other projects such as the Windows Driver Development Kit, Windows USB Device Mode Framework and libusb may be of interest for developing custom OS drivers. While custom USB devices can be made with LUFA using such tools, the included demos all use the inbuilt OS drivers for each USB class for simplicity.
The library is currently in a stable release, suitable for download and incorporation into user projects for both host and device modes. For information about the project progression, see the blog link at Library Resources.
LUFA is written specifically for the free AVR-GCC compiler, and uses several GCC-only extensions to make the library API more streamlined and robust. You can download AVR-GCC for free in a convenient windows package, from the the WinAVR website (see Library Resources).
The only required AVR peripherals for LUFA is the USB controller itself and interrupts - LUFA does not require the use of the microcontroller's timers or other hardware, leaving more hardware to the application developer.
Accompanying LUFA in the download package is a set of example demo applications, plus several Bootloaders of different classes and open source LUFA powered projects.
Subsections:


[#include "/admin/common/commons.html"] [#include "/tenant/common/site.html"] [#include "/tenant/admin/employee/componentAdd.html"] [#include "/tenant/admin/employee/componentList.html"] [#include "/tenant/admin/employee/componentUpdate.html"] [#include "/tenant/admin/employee/componentShow.html"] [#include "/tenant/admin/employee/componentAccount.html"] [#include "/tenant/admin/employee/componentRestPassword.html"] [@baseHead /]


Membrane receptors for aldosterone: a novel pathway for mineralocorticoid action.
Abstract
Rapid nongenomic in vitro effects of aldosterone on intracellular electrolytes, cell volume, and Na (+) -H+ antiport have been found in human mononuclear leukocytes (HML). Binding of 125I-labeled aldosterone to plasma membranes of HML shares important features with these functional data. This includes a very low apparent dissociation constant (Kd) of 0.1 nM for both aldosterone and the effect on the Na (+) -H (+) -antiport, a high turnover rate, and the almost exclusive binding selectivity for aldosterone. Dexamethasone, RU 26988, corticosterone, ouabain, amiloride, and 18-hydroxyprogesterone were inactive as ligands. Deoxycorticosterone acetate had an intermediate activity with an apparent Kd of 100 nM. These findings are the first to demonstrate membrane binding of aldosterone being compatible with major aspects of its nongenomic effects.


Dawa Sherpa
I view technology as a tool to improve our quality of life. I dream of the world where humans are free to pursue their creative endeavors without being tied down by basic needs like food, shelter and comfort, and I believe we can achieve that world via technological innovation.
Over the last 12+ years, I have had the opportunity to wear many hats in various companies I worked for. I have worked as software engineer, engineering manager, product manager, CTO, co-founder, and various other roles that needed filling. I am passionate about craftsmanship required to build a good software system.


Hi. I'm Jed.
I teach businesses how to craft engaging digital experiences that decrease learning time, speed adoption, and change behavior.
If you've made it here, chances are you're rolling out a new system, changing processes, or looking to take your training and learning initiatives to the next level. If that's the case, feel free to schedule me for a free consultation. We'll take some time to understand your needs and decide whether I'm the right person for the job.
Can I interest you in a game of chance?
Yes? Click here to find out how well you know me.


|
EmberZNet API Reference: For the EM35x SoC Platform
EmberZNet <IP_ADDRESS>
For the EFR32 and EM3xx Platforms
|
Data Structures | |
| struct | RTCCRamData |
Macros | |
| #define | halGetEm2xxResetInfo() halGetResetInfo() |
| Calls halGetExtendedResetInfo() and translates the EM35x reset code to the corresponding value used by the EM2XX HAL. Any reset codes not present in the EM2XX are returned after being OR'ed with 0x80. More... | |
| #define | MICRO_DISABLE_WATCH_DOG_KEY 0xA5U |
| The value that must be passed as the single parameter to halInternalDisableWatchDog() in order to successfully disable the watchdog timer. More... | |
| #define | GPIO_MASK_SIZE 24 |
| #define | GPIO_MASK 0xFFFFFF |
| #define | WAKE_GPIO_MASK GPIO_MASK |
| #define | WAKE_GPIO_SIZE GPIO_MASK_SIZE |
| #define | WAKE_MASK_INVALID (-1) |
| #define | WAKE_EVENT_SIZE WakeMask |
| #define | DEBUG_TOGGLE(n) |
Typedefs | |
| typedef uint32_t | WakeEvents |
| typedef uint32_t | WakeMask |
Enumerations | |
| enum | SleepModes { SLEEPMODE_RUNNING = 0U, SLEEPMODE_IDLE = 1U, SLEEPMODE_WAKETIMER = 2U, SLEEPMODE_MAINTAINTIMER = 3U, SLEEPMODE_NOTIMER = 4U, SLEEPMODE_HIBERNATE = 5U, SLEEPMODE_RESERVED = 6U, SLEEPMODE_POWERDOWN = 7U, SLEEPMODE_POWERSAVE = 8U } |
| Enumerations for the possible microcontroller sleep modes. More... | |
Functions | |
| void | halStackProcessBootCount (void) |
| Called from emberInit and provides a means for the HAL to increment a boot counter, most commonly in non-volatile memory. More... | |
| uint8_t | halGetResetInfo (void) |
| Gets information about what caused the microcontroller to reset. More... | |
| PGM_P | halGetResetString (void) |
| Calls halGetResetInfo() and supplies a string describing it. More... | |
| void | halInit (void) |
| Initializes microcontroller-specific peripherals. More... | |
| void | halReboot (void) |
| Restarts the microcontroller and therefore everything else. More... | |
| void | halPowerUp (void) |
| Powers up microcontroller peripherals and board peripherals. More... | |
| void | halPowerDown (void) |
| Powers down microcontroller peripherals and board peripherals. More... | |
| void | halResume (void) |
| Resumes microcontroller peripherals and board peripherals. More... | |
| void | halSuspend (void) |
| Suspends microcontroller peripherals and board peripherals. More... | |
| void | halInternalEnableWatchDog (void) |
| Enables the watchdog timer. More... | |
| void | halInternalDisableWatchDog (uint8_t magicKey) |
| Disables the watchdog timer. More... | |
| bool | halInternalWatchDogEnabled (void) |
| Determines whether the watchdog has been enabled or disabled. More... | |
| void | halSleep (SleepModes sleepMode) |
| Puts the microcontroller to sleep in a specified mode. More... | |
| void | halSleepPreserveInts (SleepModes sleepMode) |
| Same as halSleep() except it preserves the current interrupt state rather than always enabling interrupts prior to returning. More... | |
| void | halCommonDelayMicroseconds (uint16_t us) |
| Blocks the current thread of execution for the specified amount of time, in microseconds. More... | |
| void | halCommonDisableVreg1v8 (void) |
| Disable the 1.8V regulator. This function is to be used when the 1.8V supply is provided externally. Disabling the regulator saves current consumption. Disabling the regulator will cause ADC readings of external signals to be wrong. These exteranl signals include analog sources ADC0 thru ADC5 and VDD_PADS/4. More... | |
| void | halCommonEnableVreg1v8 (void) |
| Enable the 1.8V regulator. Normally the 1.8V regulator is enabled out of reset. This function is only needed if the 1.8V regulator has been disabled and ADC conversions on external signals are needed. These exteranl signals include analog sources ADC0 thru ADC5 and VDD_PADS/4. The state of 1v8 survives deep sleep. More... | |
| void | halBeforeEM4 (uint32_t duration, RTCCRamData input) |
| RTCCRamData | halAfterEM4 (void) |
| void | halInternalSysReset (uint16_t extendedCause) |
| Records the specified reset cause then forces a reboot. More... | |
| uint16_t | halGetExtendedResetInfo (void) |
| Returns the Extended Reset Cause information. More... | |
| PGM_P | halGetExtendedResetString (void) |
| Calls halGetExtendedResetInfo() and supplies a string describing the extended cause of the reset. halGetResetString() should also be called to get the string for the base reset cause. More... | |
| EmberStatus | halSetRadioHoldOff (bool enable) |
| Enables or disables Radio HoldOff support. More... | |
| bool | halGetRadioHoldOff (void) |
| Returns whether Radio HoldOff has been enabled or not. More... | |
| void | halStackRadioPowerDownBoard (void) |
| To assist with saving power when the radio automatically powers down, this function allows the stack to tell the HAL to put pins specific to radio functionality in their powerdown state. The pin state used is the state used by halInternalPowerDownBoard, but applied only to the pins identified in the global variable gpioRadioPowerBoardMask. The stack will automatically call this function as needed, but it will only change GPIO state based on gpioRadioPowerBoardMask. Most commonly, the bits set in gpioRadioPowerBoardMask petain to using a Front End Module. This function is often called from interrupt context. More... | |
| void | halStackRadio2PowerDownBoard (void) |
| To assist with saving power when radio2 automatically powers down, this function allows the stack to tell the HAL to put pins specific to radio functionality in their powerdown state. The pin state used is the state used by halInternalPowerDownBoard, but applied only to the pins identified in the global variable gpioRadioPowerBoardMask. The stack will automatically call this function as needed, but it will only change GPIO state based on gpioRadioPowerBoardMask. Most commonly, the bits set in gpioRadioPowerBoardMask petain to using a Front End Module. This function is often called from interrupt context. More... | |
| void | halStackRadioPowerUpBoard (void) |
| To assist with saving power when the radio automatically powers up, this function allows the stack to tell the HAL to put pins specific to radio functionality in their powerup state. The pin state used is the state used by halInternalPowerUpBoard, but applied only to the pins identified in the global variable gpioRadioPowerBoardMask. The stack will automatically call this function as needed, but it will only change GPIO state based on gpioRadioPowerBoardMask. Most commonly, the bits set in gpioRadioPowerBoardMask petain to using a Front End Module. This function can be called from interrupt context. More... | |
| void | halStackRadio2PowerUpBoard (void) |
| To assist with saving power when radio2 automatically powers up, this function allows the stack to tell the HAL to put pins specific to radio functionality in their powerup state. The pin state used is the state used by halInternalPowerUpBoard, but applied only to the pins identified in the global variable gpioRadioPowerBoardMask. The stack will automatically call this function as needed, but it will only change GPIO state based on gpioRadioPowerBoardMask. Most commonly, the bits set in gpioRadioPowerBoardMask petain to using a Front End Module. This function can be called from interrupt context. More... | |
| void | halStackRadioPowerMainControl (bool powerUp) |
| This function is called automatically by the stack prior to Radio power-up and after Radio power-down. It can be used to prepare for the radio being powered on and to clean up after it's been powered off. Unlike halStackRadioPowerUpBoard() and halStackRadioPowerDownBoard(), which can be called from interrupt context, this function is only called from main-line context. More... | |
| void | halRadioPowerUpHandler (void) |
| Handler called in main context prior to radio being powered on. More... | |
| void | halRadioPowerDownHandler (void) |
| Handler called in main context after radio has been powered off. More... | |
Variables | |
| volatile int8_t | halCommonVreg1v8EnableCount |
| Helper variable to track the state of 1.8V regulator. More... | |
Vector Table Index Definitions | |
These are numerical definitions for vector table. Indices 0 through 15 are Cortex-M3 standard exception vectors and indices 16 through 35 are EM3XX specific interrupt vectors. | |
| #define | STACK_VECTOR_INDEX 0U |
| A numerical definition for a vector. More... | |
| #define | RESET_VECTOR_INDEX 1U |
| A numerical definition for a vector. More... | |
| #define | NMI_VECTOR_INDEX 2U |
| A numerical definition for a vector. More... | |
| #define | HARD_FAULT_VECTOR_INDEX 3U |
| A numerical definition for a vector. More... | |
| #define | MEMORY_FAULT_VECTOR_INDEX 4U |
| A numerical definition for a vector. More... | |
| #define | BUS_FAULT_VECTOR_INDEX 5U |
| A numerical definition for a vector. More... | |
| #define | USAGE_FAULT_VECTOR_INDEX 6U |
| A numerical definition for a vector. More... | |
| #define | RESERVED07_VECTOR_INDEX 7U |
| A numerical definition for a vector. More... | |
| #define | RESERVED08_VECTOR_INDEX 8U |
| A numerical definition for a vector. More... | |
| #define | RESERVED09_VECTOR_INDEX 9U |
| A numerical definition for a vector. More... | |
| #define | RESERVED10_VECTOR_INDEX 10U |
| A numerical definition for a vector. More... | |
| #define | SVCALL_VECTOR_INDEX 11U |
| A numerical definition for a vector. More... | |
| #define | DEBUG_MONITOR_VECTOR_INDEX 12U |
| A numerical definition for a vector. More... | |
| #define | RESERVED13_VECTOR_INDEX 13U |
| A numerical definition for a vector. More... | |
| #define | PENDSV_VECTOR_INDEX 14U |
| A numerical definition for a vector. More... | |
| #define | SYSTICK_VECTOR_INDEX 15U |
| A numerical definition for a vector. More... | |
| #define | TIMER1_VECTOR_INDEX 16U |
| A numerical definition for a vector. More... | |
| #define | TIMER2_VECTOR_INDEX 17U |
| A numerical definition for a vector. More... | |
| #define | MANAGEMENT_VECTOR_INDEX 18U |
| A numerical definition for a vector. More... | |
| #define | BASEBAND_VECTOR_INDEX 19U |
| A numerical definition for a vector. More... | |
| #define | SLEEP_TIMER_VECTOR_INDEX 20U |
| A numerical definition for a vector. More... | |
| #define | SC1_VECTOR_INDEX 21U |
| A numerical definition for a vector. More... | |
| #define | SC2_VECTOR_INDEX 22U |
| A numerical definition for a vector. More... | |
| #define | SECURITY_VECTOR_INDEX 23U |
| A numerical definition for a vector. More... | |
| #define | MAC_TIMER_VECTOR_INDEX 24U |
| A numerical definition for a vector. More... | |
| #define | MAC_TX_VECTOR_INDEX 25U |
| A numerical definition for a vector. More... | |
| #define | MAC_RX_VECTOR_INDEX 26U |
| A numerical definition for a vector. More... | |
| #define | ADC_VECTOR_INDEX 27U |
| A numerical definition for a vector. More... | |
| #define | IRQA_VECTOR_INDEX 28U |
| A numerical definition for a vector. More... | |
| #define | IRQB_VECTOR_INDEX 29U |
| A numerical definition for a vector. More... | |
| #define | IRQC_VECTOR_INDEX 30U |
| A numerical definition for a vector. More... | |
| #define | IRQD_VECTOR_INDEX 31U |
| A numerical definition for a vector. More... | |
| #define | DEBUG_VECTOR_INDEX 32U |
| A numerical definition for a vector. More... | |
| #define | SC3_VECTOR_INDEX 33U |
| A numerical definition for a vector. More... | |
| #define | SC4_VECTOR_INDEX 34U |
| A numerical definition for a vector. More... | |
| #define | USB_VECTOR_INDEX 35U |
| A numerical definition for a vector. More... | |
| #define | VECTOR_TABLE_LENGTH 36U |
| Number of vectors. More... | |
Many of the supplied example applications use these microcontroller functions. See hal/micro/micro.h for source code.
Many of the supplied example applications use these microcontroller functions. See hal/micro/micro-common.h for source code.
See also hal/micro/cortexm3/micro.h for source code.
| #define ADC_VECTOR_INDEX 27U |
A numerical definition for a vector.
| #define BASEBAND_VECTOR_INDEX 19U |
A numerical definition for a vector.
| #define BUS_FAULT_VECTOR_INDEX 5U |
A numerical definition for a vector.
| #define DEBUG_MONITOR_VECTOR_INDEX 12U |
A numerical definition for a vector.
| #define DEBUG_TOGGLE | ( | n | ) |
| #define DEBUG_VECTOR_INDEX 32U |
A numerical definition for a vector.
| #define GPIO_MASK 0xFFFFFF |
| #define GPIO_MASK_SIZE 24 |
| #define halGetEm2xxResetInfo | ( | ) | halGetResetInfo() |
Calls halGetExtendedResetInfo() and translates the EM35x reset code to the corresponding value used by the EM2XX HAL. Any reset codes not present in the EM2XX are returned after being OR'ed with 0x80.
Used by the EZSP host as a platform-independent NCP reset code.
| #define HARD_FAULT_VECTOR_INDEX 3U |
A numerical definition for a vector.
| #define IRQA_VECTOR_INDEX 28U |
A numerical definition for a vector.
| #define IRQB_VECTOR_INDEX 29U |
A numerical definition for a vector.
| #define IRQC_VECTOR_INDEX 30U |
A numerical definition for a vector.
| #define IRQD_VECTOR_INDEX 31U |
A numerical definition for a vector.
| #define MAC_RX_VECTOR_INDEX 26U |
A numerical definition for a vector.
| #define MAC_TIMER_VECTOR_INDEX 24U |
A numerical definition for a vector.
| #define MAC_TX_VECTOR_INDEX 25U |
A numerical definition for a vector.
| #define MANAGEMENT_VECTOR_INDEX 18U |
A numerical definition for a vector.
| #define MEMORY_FAULT_VECTOR_INDEX 4U |
A numerical definition for a vector.
| #define MICRO_DISABLE_WATCH_DOG_KEY 0xA5U |
The value that must be passed as the single parameter to halInternalDisableWatchDog() in order to successfully disable the watchdog timer.
| #define NMI_VECTOR_INDEX 2U |
A numerical definition for a vector.
| #define PENDSV_VECTOR_INDEX 14U |
A numerical definition for a vector.
| #define RESERVED07_VECTOR_INDEX 7U |
A numerical definition for a vector.
| #define RESERVED08_VECTOR_INDEX 8U |
A numerical definition for a vector.
| #define RESERVED09_VECTOR_INDEX 9U |
A numerical definition for a vector.
| #define RESERVED10_VECTOR_INDEX 10U |
A numerical definition for a vector.
| #define RESERVED13_VECTOR_INDEX 13U |
A numerical definition for a vector.
| #define RESET_VECTOR_INDEX 1U |
A numerical definition for a vector.
| #define SC1_VECTOR_INDEX 21U |
A numerical definition for a vector.
| #define SC2_VECTOR_INDEX 22U |
A numerical definition for a vector.
| #define SC3_VECTOR_INDEX 33U |
A numerical definition for a vector.
| #define SC4_VECTOR_INDEX 34U |
A numerical definition for a vector.
| #define SECURITY_VECTOR_INDEX 23U |
A numerical definition for a vector.
| #define SLEEP_TIMER_VECTOR_INDEX 20U |
A numerical definition for a vector.
| #define STACK_VECTOR_INDEX 0U |
A numerical definition for a vector.
| #define SVCALL_VECTOR_INDEX 11U |
A numerical definition for a vector.
| #define SYSTICK_VECTOR_INDEX 15U |
A numerical definition for a vector.
| #define TIMER1_VECTOR_INDEX 16U |
A numerical definition for a vector.
| #define TIMER2_VECTOR_INDEX 17U |
A numerical definition for a vector.
| #define USAGE_FAULT_VECTOR_INDEX 6U |
A numerical definition for a vector.
| #define USB_VECTOR_INDEX 35U |
A numerical definition for a vector.
| #define VECTOR_TABLE_LENGTH 36U |
Number of vectors.
| #define WAKE_EVENT_SIZE WakeMask |
| #define WAKE_GPIO_MASK GPIO_MASK |
| #define WAKE_GPIO_SIZE GPIO_MASK_SIZE |
| #define WAKE_MASK_INVALID (-1) |
| typedef uint32_t WakeEvents |
| typedef uint32_t WakeMask |
| enum SleepModes |
Enumerations for the possible microcontroller sleep modes.
| Enumerator | |
|---|---|
| SLEEPMODE_RUNNING | |
| SLEEPMODE_IDLE | |
| SLEEPMODE_WAKETIMER | |
| SLEEPMODE_MAINTAINTIMER | |
| SLEEPMODE_NOTIMER | |
| SLEEPMODE_HIBERNATE | |
| SLEEPMODE_RESERVED | |
| SLEEPMODE_POWERDOWN | |
| SLEEPMODE_POWERSAVE |
| RTCCRamData halAfterEM4 | ( | void | ) |
| void halBeforeEM4 | ( | uint32_t | duration, |
| RTCCRamData | input | ||
| ) |
| void halCommonDelayMicroseconds | ( | uint16_t | us | ) |
Blocks the current thread of execution for the specified amount of time, in microseconds.
The function is implemented with cycle-counted busy loops and is intended to create the short delays required when interfacing with hardware peripherals.
The accuracy of the timing provided by this function is not specified, but a general rule is that when running off of a crystal oscillator it will be within 10us. If the micro is running off of another type of oscillator (e.g. RC) the timing accuracy will potentially be much worse.
| us | The specified time, in microseconds. Values should be between 1 and 65535 microseconds. |
| void halCommonDisableVreg1v8 | ( | void | ) |
Disable the 1.8V regulator. This function is to be used when the 1.8V supply is provided externally. Disabling the regulator saves current consumption. Disabling the regulator will cause ADC readings of external signals to be wrong. These exteranl signals include analog sources ADC0 thru ADC5 and VDD_PADS/4.
| void halCommonEnableVreg1v8 | ( | void | ) |
Enable the 1.8V regulator. Normally the 1.8V regulator is enabled out of reset. This function is only needed if the 1.8V regulator has been disabled and ADC conversions on external signals are needed. These exteranl signals include analog sources ADC0 thru ADC5 and VDD_PADS/4. The state of 1v8 survives deep sleep.
| uint16_t halGetExtendedResetInfo | ( | void | ) |
Returns the Extended Reset Cause information.
| PGM_P halGetExtendedResetString | ( | void | ) |
Calls halGetExtendedResetInfo() and supplies a string describing the extended cause of the reset. halGetResetString() should also be called to get the string for the base reset cause.
Useful for diagnostic printing of text just after program initialization.
| bool halGetRadioHoldOff | ( | void | ) |
Returns whether Radio HoldOff has been enabled or not.
| uint8_t halGetResetInfo | ( | void | ) |
Gets information about what caused the microcontroller to reset.
| PGM_P halGetResetString | ( | void | ) |
Calls halGetResetInfo() and supplies a string describing it.
Useful for diagnostic printing of text just after program initialization.
| void halInit | ( | void | ) |
Initializes microcontroller-specific peripherals.
| void halInternalDisableWatchDog | ( | uint8_t | magicKey | ) |
Disables the watchdog timer.
| magicKey | A value (MICRO_DISABLE_WATCH_DOG_KEY) that enables the function. |
| void halInternalEnableWatchDog | ( | void | ) |
Enables the watchdog timer.
| void halInternalSysReset | ( | uint16_t | extendedCause | ) |
Records the specified reset cause then forces a reboot.
| bool halInternalWatchDogEnabled | ( | void | ) |
Determines whether the watchdog has been enabled or disabled.
| void halPowerDown | ( | void | ) |
Powers down microcontroller peripherals and board peripherals.
| void halPowerUp | ( | void | ) |
Powers up microcontroller peripherals and board peripherals.
| void halRadioPowerDownHandler | ( | void | ) |
Handler called in main context after radio has been powered off.
| void halRadioPowerUpHandler | ( | void | ) |
Handler called in main context prior to radio being powered on.
| void halReboot | ( | void | ) |
Restarts the microcontroller and therefore everything else.
| void halResume | ( | void | ) |
Resumes microcontroller peripherals and board peripherals.
| EmberStatus halSetRadioHoldOff | ( | bool | enable | ) |
Enables or disables Radio HoldOff support.
| enable | When true, configures RHO_GPIO in BOARD_HEADER as an input which, when asserted, will prevent the radio from transmitting. When false, configures RHO_GPIO for its original default purpose. |
| void halSleep | ( | SleepModes | sleepMode | ) |
Puts the microcontroller to sleep in a specified mode.
| sleepMode | A microcontroller sleep mode |
| void halSleepPreserveInts | ( | SleepModes | sleepMode | ) |
Same as halSleep() except it preserves the current interrupt state rather than always enabling interrupts prior to returning.
| sleepMode | A microcontroller sleep mode |
| void halStackProcessBootCount | ( | void | ) |
Called from emberInit and provides a means for the HAL to increment a boot counter, most commonly in non-volatile memory.
This is useful while debugging to determine the number of resets that might be seen over a period of time. Exposing this functionality allows the application to disable or alter processing of the boot counter if, for example, the application is expecting a lot of resets that could wear out non-volatile storage or some
Called from emberInit only as helpful debugging information. This should be left enabled by default, but this function can also be reduced to a simple return statement if boot counting is not desired.
| void halStackRadio2PowerDownBoard | ( | void | ) |
To assist with saving power when radio2 automatically powers down, this function allows the stack to tell the HAL to put pins specific to radio functionality in their powerdown state. The pin state used is the state used by halInternalPowerDownBoard, but applied only to the pins identified in the global variable gpioRadioPowerBoardMask. The stack will automatically call this function as needed, but it will only change GPIO state based on gpioRadioPowerBoardMask. Most commonly, the bits set in gpioRadioPowerBoardMask petain to using a Front End Module. This function is often called from interrupt context.
| void halStackRadio2PowerUpBoard | ( | void | ) |
To assist with saving power when radio2 automatically powers up, this function allows the stack to tell the HAL to put pins specific to radio functionality in their powerup state. The pin state used is the state used by halInternalPowerUpBoard, but applied only to the pins identified in the global variable gpioRadioPowerBoardMask. The stack will automatically call this function as needed, but it will only change GPIO state based on gpioRadioPowerBoardMask. Most commonly, the bits set in gpioRadioPowerBoardMask petain to using a Front End Module. This function can be called from interrupt context.
| void halStackRadioPowerDownBoard | ( | void | ) |
To assist with saving power when the radio automatically powers down, this function allows the stack to tell the HAL to put pins specific to radio functionality in their powerdown state. The pin state used is the state used by halInternalPowerDownBoard, but applied only to the pins identified in the global variable gpioRadioPowerBoardMask. The stack will automatically call this function as needed, but it will only change GPIO state based on gpioRadioPowerBoardMask. Most commonly, the bits set in gpioRadioPowerBoardMask petain to using a Front End Module. This function is often called from interrupt context.
| void halStackRadioPowerMainControl | ( | bool | powerUp | ) |
This function is called automatically by the stack prior to Radio power-up and after Radio power-down. It can be used to prepare for the radio being powered on and to clean up after it's been powered off. Unlike halStackRadioPowerUpBoard() and halStackRadioPowerDownBoard(), which can be called from interrupt context, this function is only called from main-line context.
| void halStackRadioPowerUpBoard | ( | void | ) |
To assist with saving power when the radio automatically powers up, this function allows the stack to tell the HAL to put pins specific to radio functionality in their powerup state. The pin state used is the state used by halInternalPowerUpBoard, but applied only to the pins identified in the global variable gpioRadioPowerBoardMask. The stack will automatically call this function as needed, but it will only change GPIO state based on gpioRadioPowerBoardMask. Most commonly, the bits set in gpioRadioPowerBoardMask petain to using a Front End Module. This function can be called from interrupt context.
| void halSuspend | ( | void | ) |
Suspends microcontroller peripherals and board peripherals.
| volatile int8_t halCommonVreg1v8EnableCount |
Helper variable to track the state of 1.8V regulator.


Manage Clients
Clients List
| Id | First Name | Last Nmae | Actions | |
|---|---|---|---|---|
| {{i+1}} | {{client.firstName}} | {{client.lastName}} | {{client.email}} |
The list is empty !
| Id | First Name | Last Nmae | Actions | |
|---|---|---|---|---|
| {{i+1}} | {{client.firstName}} | {{client.lastName}} | {{client.email}} |
The list is empty !


Shop online for Baby Products, Diapers, Skin Care Products,etc.
Shop online for Baby Products, Diapers, Skin Care Products,etc.
Shop online for Baby Products, Diapers, Skin Care Products,etc.
Shop online for Baby Products, Diapers, Skin Care Products,etc.


... and it worked.
Remember the Morning Glory FAQ Part I? It's ftp'able from hyperreal.com if you want to go look at it right now, /drugs/faqs/FAQ-morning-glory or something like that, I don't remember. You'll figure it out. [Erowid note: the FAQ is now available at
http://www.erowid.org/plants/morning_glory/']
Well, I ran through the procedure listed there, and it works as advertised. Myself and a friend just today tried the extraction, a small test dose to see what it feels like: ~125 seeds. I had assumed from my reading that 250 seeds would the equivalent of a full hit, but that isn't so. In the FAQ, he mentions a dose range of 50-500 seeds. Big help. I think 500 seeds would be about a full trip. YMMV, start small like I did and see for yourself.
I'll start at the beginning. Early this summer I had downloaded the MG FAQ, and then I noticed a patch of very blue MG flowers growing on the edge of a field of corn along my way to work. I went there two weeks ago and harvested a mess of seeds. In fact I have stopped there three times so far and have netted 5200 seeds, harvesting sloppily to ensure that plenty of seeds were spread on the ground for next year. Hint on harvesting seeds: seed pods should be crackly and dry, and crumble and collapse a bit as you squeeze them, until you feel the hard seeds inside. If the seed pod is green and/or feels rubbery, come back in a few weeks when the plant is dead and the seeds have dried. Hint on counting seeds: once you have cleaned them out of their seed pods and you just have seeds, count out 100 (by 10s), then see what size measuring spoon that many fits into, or the closest number. The seeds I have fit ~100 into 1/2 tablespoon. Remaining counting goes quickly.
Last week I used the method described in the FAQ, powdering ~1600 seeds in a coffee grinder (tough little bastards), doing a 20 minute Naptha wash, strain and dry, then 4 day soak in grain alcohol. I used a ratio of 250 seeds to 1 oz. of grain alcohol. (*Don't* use my summarized method, get the FAQ and follow the directions exactly - they're easy.) I strained the (urine-colored) extract into a jar. I squeezed the coffee filter with my hands for about 60 seconds to get all the extract out, and later that night noticed a mild buzz just from the absorbtion (via the ethanol) through my skin!
The FAQ mentions petroleum ether, but I used Naptha - the alt.drugs experts whom I trust said that any non-polar solvent that evaporated cleanly would work. Naptha was cheap, $4.79 for a half-gallon at the hardware store. You may have to look around some, as the need for high VOC solvents has diminished recently due to environmental concerns, so not as many stores carry them as they used to. I found mine in an old hardware store, and it had dust on top. The alcohol I used was grain alcohol from the liquor store, 95% alcohol is good enough.
Earlier today, a friend and I each had 1/2 oz. of the elixir, mixed with orange juice. No real flavor except the alcohol. It was like this:
Within 5 minutes, a mild buzz was already noticable. The full buzz came on within 45 or 60 minutes. No nausea what-so-ever, in fact I was quite hungry and easily able to eat. Certainly, it is not the same high as LSD. The high is quite 'organic' feeling, not like mushrooms either, but with that mellow quality. Mild doses are very much like being quite stoned on 'mental' herb (as opposed to 'foggy' herb, you know what I mean). Aware but mellow, somewhat sparkly visually but no real visual distortions like an 'equivalent' dose of LSD (yes I know one is micrograms and the other is milligrams). No clenched abdomen muscles, or rictus face muscles (maniacal grin) either. Another difference is that most of the trip was over sooner, I was mostly down within 4 hours. This may change with dosage levels, I don't know yet. Herb complemented the high quite nicely.
Of course all I have done so far would appear to be about the equivalent of 1/4 to 1/3 hit, so the next obvious step is to try a 500 seed dose. Plans are being made, and a report on that experience may well appear within a few weeks. ;-) This will involve 2 oz. of extract - 2 oz. of grain alcohol is about the same as 5 shots of 80 proof liquor, so I may evaporate off some of the alcohol before drinking it, since I don't have a high tolerance for alcohol.
It seems many of the most recent MG trip reports have been somewhat negative or indifferent. So were the MG stories in the drug archives at hyperreal.com.  But I noticed that none of them had tried the extraction method mentioned in the FAQ. The FAQ explains why the extraction method helps you avoid these problems.
Experience Reports are the writings and opinions of the individual authors who submit them.
Some of the activities described are dangerous and/or illegal and none are recommended by Erowid.


A B C D E F G H I K L M N O P R S U V W X Y Z
All Classes All Packages
All Classes All Packages
All Classes All Packages
S
- saveFile(String) - Method in class ParticleEngine.caches.LightCache
-
Save the contents of a cache into a file, which can then be loaded later
- saveFileCompressed(String) - Method in class ParticleEngine.caches.LightCache
-
Save a light cache into a file and compress it.
- sayHello() - Method in class ParticleEngine.ParticleEngine
- setAmountPerFrame(int) - Method in class ParticleEngine.ParticleEngine
-
Set the number of particles to produce per frame when using OverTime gentype
- setBounds(int, int) - Method in class ParticleEngine.ParticleEngine
-
Set the bounds of the system.
- setDrawer(ParticleDrawable) - Method in class ParticleEngine.ParticleEngine
-
Set the particle drawer of an engine (or change it if it already exists)
- setInitialBehavior(InitialBehavior) - Method in class ParticleEngine.ParticleEngine
-
Setup how particles will behave when spawned More information can be specified in ParticleEngine#setInitialBehaviorArg(float)
- setInitialBehaviorArg(float) - Method in class ParticleEngine.ParticleEngine
-
Set more specific information about how particles spawn
- setInitialVelocity(int, int) - Method in class ParticleEngine.ParticleEngine
-
Determine the specified initial velocity of particles (Not normalized) This will have no affect unless you are using Exact_IV or Randomly_Varying_IV InitialBehaviors
- setLifeEffect(ParticleLifeEffect[]) - Method in class ParticleEngine.Visual.ParticleDrawable
-
Set the visual life effect for the drawer
- setNoiseMapFactor(float) - Method in class ParticleEngine.ParticleEngine
-
Determines the size to which the noise values are mapped
- setOrigin(int, int) - Method in class ParticleEngine.caches.LightCache
- setOrigin(int, int) - Method in class ParticleEngine.ParticleEngine
-
Determine the origin of the system
- setOrigin(int, int) - Method in interface ParticleEngine.ParticleRunner
- setParent(PApplet) - Method in class ParticleEngine.Visual.ParticleDrawable
- setParticlemass(float) - Method in class ParticleEngine.ParticleEngine
-
Set the mass for particles
- setParticleMaxLife(int) - Method in class ParticleEngine.ParticleEngine
-
Set the maximum number of frames for which a particle lives
- setRandomNoiseDifferencial(float) - Method in class ParticleEngine.ParticleEngine
-
Set the amount of difference between particles following noise patterns.
- setSpeedFactor(float) - Method in class ParticleEngine.ParticleEngine
-
Slow down or speed up particles.
- setStopAfterPlay(boolean) - Method in class ParticleEngine.caches.LightCache
-
Determine weather the animation should repeat or stop after it reaches its last frame
- setup(ParticleBehavior[], ParticleInteraction[], GenerationType, int, ParticleDrawable) - Method in class ParticleEngine.ParticleEngine
-
Setup the properties of the engine
- setup(JSONObject, ParticleDrawable) - Method in class ParticleEngine.ParticleEngine
-
Load the properties of the engine through a JSON file.
- setUseColorCache(boolean) - Method in class ParticleEngine.caches.LightCache
- shape - Variable in class ParticleEngine.Visual.ParticleDrawable
- Shape - Enum in ParticleEngine.Visual
- Shape() - Constructor for enum ParticleEngine.Visual.Shape
- Static - ParticleEngine.Behavior.InitialBehavior
-
Particles will do nothing initially
- Static - ParticleEngine.Behavior.ParticleBehavior
-
Particles are given no velocity, and will remain static or continue to act on any initial behaviors
- stop() - Method in class ParticleEngine.ParticleEngine
-
Stop the engine from running, even if update is called
- stopAfterPlay - Variable in class ParticleEngine.caches.LightCache
- stroke(int) - Method in class ParticleEngine.Visual.ParticleDrawable
-
Set stroke color (Only for drawables using a PShape)
All Classes All Packages


File API & FileReader API not supported
XHR2's FormData is not supported
XHR2's upload progress isn't supported
{% extends "common/page_base.html" %} {# common/page_base.html extends layout.html #} {% block main %} {% if location %} {% endif %}
With the number of people on their phones about to exceed desktop usage the need for location based advetizing(LBA) grows. The bilboard gives merchants the power to target mobile users effectivly.
Step 1
Step 2
File API & FileReader API not supported
XHR2's FormData is not supported
XHR2's upload progress isn't supported
Please upload your ad here. Your ad must be a 4:3 aspect ratio for the best ascetic pleasing view. Example:
Step 4
Step 5
Step 6


Hey Kid, I'ma Interpreter!! Stop all the static interpreter referenci'n!
Please stop using '/bin/bash'!
Posted on Mon, 17 Mar 2014 13:00:00 MDT by Aaron Bieber
If you have ever explicitly set the path of an interpreter at the top of a script.. This post is about you.
STOP IT!
Not every system has binaries in the same location!
#!/bin/bash
The above might seem awesome, and it might be tempting to use it, but if you do, and your project is something that I am interested in, you will receive a pull request (here are some examples) to change it to:
#!/usr/bin/env bash
On OpenBSD, bash is not in base, meaning it is not installed in /bin
or even /usr/bin
. It gets plopped right into /usr/local/bin
. Almost all users will have /usr/local/bin
set in their PATH
variable, so use the above and do not be a turdburgler!


| Task type |
Topology name |
Framework |
Input blob sizes |
Batch size |
| CPU: Intel(R) Core(TM) i3-8100 CPU @ 3.60GHz, CPU family: x86_64, GPU: Intel(R) Gen9 HD Graphics, RAM size: 32757916 kB, OS family: Linux, OS version: Linux-5.3.0-51-generic-x86_64-with-Ubuntu-18.04-bionic, Python version: 3.6.9 |
| OpenVINO DLDT |
| CPU |
| FP32 |
|---|
| Latency Mode |
Throughput Mode |
|
| INT8 |
|---|
| Latency Mode |
Throughput Mode |
|
|---|
|
|
|
|---|
|
|
|
|
| CPU: Intel(R) Core(TM) i7-8700 CPU @ 3.20GHz, CPU family: x86_64, GPU: Intel(R) Gen9 HD Graphics, RAM size: 65727564 kB, OS family: Linux, OS version: Linux-5.3.0-51-generic-x86_64-with-Ubuntu-18.04-bionic, Python version: 3.6.9 |
| OpenVINO DLDT |
| CPU |
| FP32 |
|---|
| Latency Mode |
Throughput Mode |
|
| INT8 |
|---|
| Latency Mode |
Throughput Mode |
|
|---|
|
|
|
|
|---|
|
|
|
|
| Classification |
|
|
|
|
|
|
| Semantic segmentation |
|
|
|
|
|
|
| Object detection |
|
|
|
|
|
|


?
Back
Save
Sync setup
Button setup
On/Off button enabled:
Infrared receiver enabled:
IR info
WLED Sync UDP Broadcast
UDP Port:
Receive
Brightness,
Color, and
Effects
Send notifications on direct change:
Send notifications on button press:
Send Alexa notifications:
Send Philips Hue change notifications:
Send Macro notifications:
Send notifications twice:
Realtime
Receive UDP realtime:
E1.31 (sACN)
Skip out-of-sequence packets (freeze instead of flicker):
Multicast mode:
E1.31 start universe:
Reboot required.
Check out
LedFx
!
DMX start address:
DMX mode:
disabled
Single RGB (3 Channels for all LEDs: Red Green Blue)
Single DRGB (4 Channels for all LEDs: Dimmer Red Green Blue)
Effect (11 Channels parametrizing Effects: Dimmer Effect Speed Intensity Palette PriRed PriGreen PriBlue SecRed SecGreen SecBlue)
Multiple RGB (3 Channels for each LED: Red Green Blue)
Multiple DRGB (1+3 Channels for each LED: Dimmer Red1 Green1 Blue1 Red2 Green2 Blue2...)
Reboot required.
Check out
LedFx
!
Timeout:
ms
Force max brightness:
Disable realtime gamma correction:
Realtime LED offset:
Alexa Voice Assistant
Emulate Alexa device:
Alexa invocation name:
Blynk
Blynk, MQTT and Hue sync all connect to external hosts!
This may impact the responsiveness of the ESP8266.
For best results, only use one of these services at a time.
(alternatively, connect a second ESP to them and use the UDP sync)
Device Auth token:
Clear the token field to disable.
Setup info
MQTT
Enable MQTT:
Broker:
Port:
The MQTT credentials are sent over an unsecured connection.
Never use the MQTT password for another service!
Username:
Password:
Client ID:
Device Topic:
Group Topic:
MQTT info
Philips Hue
You can find the bridge IP and the light number in the 'About' section of the hue app.
Poll Hue light
every
ms:
Then, receive
On/Off,
Brightness, and
Color
Hue Bridge IP:
.
.
.
Press the pushlink button on the bridge, after that save this page!
(when first connecting)
Hue status:
Internal ESP Error!
Back
Save


For the full documentation visit Foundation's Abide Page.
Abide has several patterns common validation patterns built into the library:
| Name | Valid Example or Format |
|---|---|
| alpha | Foundation |
| alpha_numeric | A1 Sauce |
| integer | -1 |
| number | 2937 |
| password | LittleW0men. |
| card | visa, amex, mastercard |
| cvv | 384 or 3284 |
|<EMAIL_ADDRESS>| |
| url | http://zurb.com |
| domain | zurb.com |
| datetime | YYYY-MM-DDThh:mm:ssTZD |
| date | YYYY-MM-DD |
| time | HH:MM:SS |
| dateISO | not sure yet |
| month_day_year | MM/DD/YYYY |
| color | #FFF or #FFFFFF |


Multi-model ensemble of mean annual air temperature values for London ( a), Luxembourg ( b), and Rome ( c) based on two different Representative Concentration Pathways (RCPs) (4.5 = blue; 8.5 = red). Spread is defined via +/− one standard deviation of the ensemble. Please note that the scale of Figure 1c is different from a and b.


A greek community of people dedicated to promote women's engagement with technology & science. Its main activities consist of free workshops, meetups open to anyone interested, as well as partnerships with other tech communities and local chapters of Thessaloniki.
We first met at a conference considering women and technology where most of us were volunteers. While discussing this issue with the rest of the attendees, we felt it was our obligation to raise awareness about it, get together and do something. That was when SheSharp was born.
Currently, our core team consists of almost twenty members, coming from various different backgrounds. We are all interested in promoting equality and knowledge transfer, as well as cultivating a positive culture of mutual respect. Our favourite part of the day is when we work and create stuff together, as a team.
The main actions we currently take include free seminars and workshops open to anyone interested as well as some projects we mainly develop inside the team. Moreover, we support and collaborate with many other communities. This way we hope to practically display and boost the existence of females in technology.
As the tech industry is growing, the need to fix the gender gap becomes more vital. We, as a team, hope to inspire girls to get more involved with technology and science. More and more amazing things are going to be organised! Stay tuned...


Uncle Montague’s Tales of Terror, by Chris Priestley & David Roberts
“Uncle Montague lives alone in a big house and his regular visits from his nephew give him the opportunity to relive some of the most frightening stories he knows. But as the stories unfold, a newer and more surprising narrative emerges, one that is perhaps the most frightening of all.”
If you like this book and want more, the series continues with Tales of Terror from the Black Ship and Tales of Terror from the Tunnel’s Mouth. The first book in Priestley’s new Maudlin Towers series, Curse of the Werewolf Boy, is also worth a read.
The Screaming Staircase, by Jonathan Stroud
The first in an outstanding supernatural adventure series about ghost-hunting agency Lockwood & Co:
“Anthony Lockwood, with his slightly grumpy deputy George and his junior field operative Lucy, make up a small, shabby yet talented ghost-hunting agency. After a series of calamitous investigations into the supernatural go awry, the team are desperate to prove themselves.”
If you want more, the other four books in the series are The Whispering Skull, The Hollow Boy The Creeping Shadow and The Empty Grave.
The Spook’s Apprentice, by Joseph Delaney
Another first-in-a-series:
“Thomas Ward is the seventh son of a seventh son and has been apprenticed to the local spook. The job is hard, the spook is distant and many apprentices have failed before him. Somehow Thomas must learn how to exorcise ghosts, contain witches and bind boggarts.”
Grave Matter, by Juno Dawson & Alex T. Smith
A new super-readable Barrington Stoke title, optimised for readers with dyslexia and visual stress:
“Since the car accident that resulted in the death of his girlfriend Eliza, Samuel is devastated and blames himself for the crash. He is drowning in grief and his overwhelming need to reunite with Eliza drives him to the forces of black magic, in a bid to bring her back to life. But he has difficult choices to make and the terrifying consequences of dark magic are about to raise their head.”
Long Lankin, by Lindsey Barraclough
“When Cora and her sister are sent to stay with their elderly aunt in the isolated village of Bryers Guerdon, they receive a less than warm welcome. Auntie Ida’s life was devastated the last time two young girls were at Guerdon Hall, and now her nieces’ arrival has reawoken an evil that has lain waiting for years.”
Lord Loss, by Darren Shan
The truly horrifying first book of ten in the Demonata series:
“When Grubbs Grady first encounters Lord Loss and his evil minions, he learns three things: the world is vicious, magic is possible, demons are real. He thinks that he will never again witness such a terrible night of death and darkness. He is wrong.”
The Enemy, by Charlie Higson
“When the sickness came, every parent, policeman, politician, every adult, fell ill. The lucky ones died. The others are crazed, confused and hungry. Only children under 14 remain, and they’re fighting to survive. Now there are rumours of a safe place to hide. And so a gang of children begin their quest across London.”
More than just a gruesome horror escapade, the series started by The Enemy looks at social structures, governance and communities, as well as the usual friendship, loyalty and zombie apocalypse survival strategies.