I agree that all information provided by me to the Learning Registry is in compliance with Learning Registry's Open Information Assurances policy.
*Additional information regarding Information Assurances may by found here: http://www.learningregistry.org/information-assurances.
Copyright 2012 SRI International
Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with the License. You may obtain a copy of the License at
http://www.apache.org/licenses/LICENSE-2.0
Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the specific language governing permissions and limitations under the License.
This project has been funded at least or in part with Federal funds from the U.S. Department of Education under Contract Number ED-04-CO-0040/0010. The content of this publication does not necessarily reflect the views or policies of the U.S. Department of Education nor does mention of trade names, commercial products, or organizations imply endorsement by the U.S. Government.
Collector uses the repository of academic standards and Uniform Resource Identifiers (URI) provided by the Achievement Standards Network (ASN). More information regarding ASN can be found at http://asn.jesandco.org/content/what-is-asn.
Collector allows users to evaluate learning resources through the use of the Achieve OER Rubrics. More information regarding the rubrics can be found at http://www.achieve.org/oer-rubrics.


{% extends "_post.html" %} {% hyde title: "Women in Water" snip: "Photographs of women in Lake Ontario." created: 2009-08-04 18:57:36 exclude: True %} {% block article %}


RT @freshnet: #justplayed on @BBC6Music DREW WORTHLEY - Bone China Saviour - from @BBCIntroducing Mixtape http://bit.ly/intromixtape @drewworth…
10/17/2015, 10:24:02 PM
Favs: 0
Retweets: 0
link--- layout: tweet ---
RT @freshnet: #justplayed on @BBC6Music DREW WORTHLEY - Bone China Saviour - from @BBCIntroducing Mixtape http://bit.ly/intromixtape @drewworth…
10/17/2015, 10:24:02 PM
Favs: 0
Retweets: 0
link


Dr John Ejime Office of the Financial Controller Nigerian National Petroleum Corporation Falamo Ikoyi Lagos-Nigeria. Tel/ Fax: 234 1 7592865. REQUEST FOR URGENT BUSINESS TRANSACTION. Dear Sir, I am Dr.John Ejime,the financial controller of the Nigerian National Petroleum Corporation Headquarters Lagos. I am writing you on behalf of my colleagues in the corporation and have been assign to seek for the assistance of a reliable foreign company through which we can transfer the sum of Thirty Five Million United States Dollars Only (US$35,000,000). This fund is deposited in the Corporation Treasury account with the Apex Bank. ORIGIN OF THE FUND: This sum arose from the deliberated over-invoicing of a contract awarded by my ministry Nigerian National Petroleum Corporation to foreign firm in the twinlight days of the last military regime. This contract has been completely executed and commissioned and the contractor that handled this contract has collected his full and final payment thus leaving behind the above stated amount which represent the over invoiced sum. We have been safeguarding this money for conducive time for it's transfer out of the country for our personal use. However, the code of employment does not allow us (civil servant) to own and operate foreign account and because the contract was handled by a foreign firm and the payment made in dollars, we now need a foreign partner that will present himself as the sub-contractor so that the fund will be transfer into your company's or personal account. Your address was made available to us by a very good friend who work with the Nigeria export promotion council and he assured us of your company's viability and capability in business transaction. This assurance gave us the courage to link you up in this particular transaction and I hope it will be of mutual benefit to all of us. Note that the nature of your business is not particularly relevant to the success of the transaction. All we require is your willingness to present yourself as the subcontractor by providing your bank information so that the fund will be transferred into your account. SHARING RATIO: For your assistance in this business , your share will be 30% of the total fund. I and my colleagues will take 60% while we set aside 10% for any expenses that may incurred in the course of this transaction. If you are willing to assist us in this business. Send the following information. 1. Name of your bank and address 2. Your account number/beneficiaryâs name. 3. Your private telephone and fax number for easy communication. This information will enable us put an application for payment approval to the concerned Ministries and final to the Senate Committee on Contract Payment and it is going to last for fourteen working days starting from the day we receive the above information. All modalities for the take off of this transaction have been worked out and further action will commence immediately we hear from you. I am waiting for your reply by fax on this fax number :234-1-7592865 as stated above. Yours faithfully. Dr.John Ejime.


Home Page
Department Links:
Studio Art Department
Economics Department
Politics Department
Computer Science Department
Mathematics Department


Dropdown Menu
Home
About Us
Mission
Vision
Values
Online Store
Product 1
Product 2
Product 3
Assistance
Social Menu
Facebook
Twitter
YouTube
Instagram
Pinterest
Dropdown Menu With Social
Home
About Us
Mission
Vision
Values
Online Store
Product 1
Product 2
Product 3
Assistance
Facebook
Twitter
YouTube
Instagram
Pinterest


California suing In-N-Out burger chain over 2017 grass fire
by Louis CasianoThe California Department of Forestry and Fire Protection filed a lawsuit against the popular burger chain In-N-Out on Friday, alleging it was responsible for a 2017 grass fire.
The state is seeking $1.2 million for the Sept. 20, 2017 blaze it says was sparked on property owned by the chain in Arroyo Grande, 175 miles north of Los Angeles, The San Luis Obispo Tribune reported.
The blaze was caused by a tractor mowing grass on the property, which was covered in "dry annual grasses and scattered brush" that "created a receptive bed of flammable vegetation,” Cal Fire said. The suit said the chaff built up in the mower deck was ignited by a hot clutch, blown off and deposited on dry grass.
The fire quickly spread to surrounding vegetation and was aided by winds, according to the suit.
“Wildland fires such as the Huasna Fire ordinarily do not happen unless someone was negligent,” the lawsuit reads.
CLICK HERE TO GET THE FOX NEWS APP
The fire burned 245 acres over four days before it was contained. The state is seeking to recover costs associated with extinguishing the fire and investigating it.
Efforts to reach In-N-Out Friday evening were not successful.


--- title: Worcestershire Mental Health Partnership NHS Trust layout: gb ---
| Resource | Fetch | Format | Columns | Data | Valid | Entries | Oldest | Latest | Total (GBP) | |
|---|---|---|---|---|---|---|---|---|---|---|
| Spend over £25,000 in Worcestershire Mental Health Partnership NHS Trust | ||||||||||
| 2011 May Return | ✘ | ✘ | ✘ | ✘ | ✘ | 0 | ||||
| 2010 May return | ✘ | ✘ | ✘ | ✘ | ✘ | 0 | ||||
| 2011 April Return | ✘ | ✘ | ✘ | ✘ | ✘ | 0 | ||||
| 2010 April return | ✘ | ✘ | ✘ | ✘ | ✘ | 0 | ||||
| 2010 September return | ✘ | ✘ | ✘ | ✘ | ✘ | 0 | ||||
| 2011 March return | ✘ | ✘ | ✘ | ✘ | ✘ | 0 | ||||
| 2011 January return | ✘ | ✘ | ✘ | ✘ | ✘ | 0 | ||||
| 2010 July return | ✘ | ✘ | ✘ | ✘ | ✘ | 0 | ||||
| 2010 August return | ✘ | ✘ | ✘ | ✘ | ✘ | 0 | ||||
| 2010 November return | ✘ | ✘ | ✘ | ✘ | ✘ | 0 | ||||
| 2011 February return | ✘ | ✘ | ✘ | ✘ | ✘ | 0 | ||||
| 2010 December return | ✘ | ✘ | ✘ | ✘ | ✘ | 0 | ||||
| 2010 October return | ✘ | ✘ | ✘ | ✘ | ✘ | 0 | ||||
| 2010 June return | ✘ | ✘ | ✘ | ✘ | ✘ | 0 | ||||
| Spend over £25,000 in Worcestershire Mental Health Partnership NHS Trust | ||||||||||
| 2011 June Return | ✘ | ✘ | ✘ | ✘ | ✘ | 0 | ||||
| 2011 May Return | ✘ | ✘ | ✘ | ✘ | ✘ | 0 | ||||
| 2011 April Return | ✘ | ✘ | ✘ | ✘ | ✘ | 0 | ||||
| 2011 March Return | ✘ | ✘ | ✘ | ✘ | ✘ | 0 |
| Resource/Stage | Error |


Hard wax to imprint seals
One makes these seals out of white wax which is harder than the other and one mixes in it some cerussite or leaded white very finely ground such that it is as hard as you like and mix in a drop of turpentine to bind it. Afterwards mix it in the color that you want. It is in wax that serves goldsmiths for modeling.
Casting the feet of small lizards in gold and silver
Because the feet of these lizards that are very small are also very fine, once you have molded the top and you have uncover the vents and underneath the feet are covered lightly with wax, and then cast a second mold. And the wax that one removes, it leaves a little cast for these said feet, and again such that the underneath part comes out in one piece that you can repair well, And the scales on top of the toes come out well.
at left top margin
Around the big lizard nails, put on each a small round of wax to make the cast like this.
Marks made by the pin points of iron thread which one finds on the head of an animal
With the points or pins with which you have dressed your animal all over, do same with the head, but out of the head which is pierced, a certain moisture seeps out around the wound and this little exudation prevents the sand from covering the point well and there always remain little pinpricks. But to avoid this, you can plant in the plaster of the said blunt pin point and around the upper part of the point, and over this point, there put a little hard wax or a little mastic or cement. And by the medium of the hot thread of iron there you can hold the throat of the animal which one removes the iron when you come to uncover the vents and the throat for doing the second cast.
Clamps and the broken mold
When you have done the first firing and taken off the clamps and you have opened your mold to clean it by taking off the bubbles with quicksilver which one cannot do with closed molds, reclose the mold and reattach the clamps but not in the same place as the first time. Reapply lute and dry it but if this is for casting silver or gold use lute with the rest of sand which has been used because this is the best netting. If your mold is broken in refiring you can augment it with clamps and lute.
at left bottom margin
X


Small organizations only receive 0.1% of
government funding - let's change that.
Find causes you care about in the community you care about.
There's plenty of talk that robots can act as replacements for warehouse employees. But items have to be grabbed elsewhere , and Preferred Networks Inc. has an idea for a place covered with clothing and general filth: the home.
read moreConsumer electronic trade show, CES in Las Vegas, is an opportunity for technology companies from all over the world to show off their latest products and inventions.
We’ve gathered six of the best, most unusual or cute robots that have been seen in Nevada this year.
The Internet of Things has long been talked about amongst tech insiders as the next big innovation in home technology.
While large-scale innovation in automation has traditionally been limited to the production side of society
After Bitcoin’s meteoric price jump in 2017, major tech players have begun to take cryptocurrencies seriously.
Blockchain, the decentralized ledger that holds together cryptocurrencies, has applications reaching
Artificial intelligence is seeing the light and applications of the technology are already being worked on
Tech companies rang in the start of the new year by unveiling some of their ambitious plans for the coming months. Startups and multinational companies alike are beginning to feel the ripple effects of innovation
in the industry, with technology becoming more intertwined in everyday lives each year.
As 2018 progresses, here are 5 future technologies you can expect to reach the public in the next couple of years
created with
Website Builder Software .


Toggle navigation
Search
Browse
Art
Home & Living
Jewelry
Women
Men
Kids
Vintage
Weddings
Craft Supplies
Sign In
×
Close
Sign In
Username
Password
Register
Shop directly from people
around the world.
Alana Little
of
makepienotwar
California, United States
Recent Favorites
Discover finds from around the marketplace


{% include 'myfashion/base.html' %} {% block content %}
Welcome to our fabulous new shaz-styles shop
We believe in creating design that enhance the beauty of a woman.
bringing alive their personality as well as the physical form they reflect to the world.
We welcome you here with alot of confidence.


Chapter 12 Clustering cells into putative subpopulations
12.1 Defining cell clusters from expression data
The denoised log-expression values are used to cluster cells into putative subpopulations. Specifically, we perform hierarchical clustering on the Euclidean distances between cells, using Ward’s criterion to minimize the total variance within each cluster. This yields a dendrogram that groups together cells with similar expression patterns across the chosen genes.
Clusters are explicitly defined by applying a dynamic tree cut (Langfelder, Zhang, and Horvath 2008) to the dendrogram.
This exploits the shape of the branches in the dendrogram to refine the cluster definitions, and is more appropriate than cutree
for complex dendrograms.
Greater control of the empirical clusters can be obtained by manually specifying cutHeight
in cutreeDynamic
.
We also set minClusterSize
to a lower value than the default of 20, to avoid spurious aggregation of distant small clusters.
library(dynamicTreeCut)
my.clusters <- unname(cutreeDynamic(my.tree, distM=as.matrix(my.dist),
minClusterSize=10, verbose=0))
We examine the distribution of cells in each cluster with respect to known factors.
Each cluster is comprised of cells from both batches, indicating that the clustering is not driven by a batch effect.
Differences in the composition of each cluster are observed with respect to Oncogene
, consistent with a biological effect of oncogene induction.
##
## my.clusters 20160113 20160325
## 1 40 39
## 2 19 17
## 3 16 14
## 4 10 14
## 5 6 8
##
## my.clusters induced control
## 1 79 0
## 2 0 36
## 3 0 30
## 4 0 24
## 5 14 0
We visualize the cluster assignments for all cells on the t-SNE plot in Figure 12.1. Adjacent cells are generally assigned to the same cluster, indicating that the clustering procedure was applied correctly.
We check the separatedness of the clusters using the silhouette width (Figure 12.2). Cells with large positive silhouette widths are closer to other cells in the same cluster than to cells in different clusters. Conversely, cells with negative widths are closer to other clusters than to other cells in the cluster to which it was assigned. Each cluster would ideally contain many cells with large positive widths, indicating that it is well-separated from other clusters.
library(cluster)
clust.col <- scater:::.get_palette("tableau10medium") # hidden scater colours
sil <- silhouette(my.clusters, dist = my.dist)
sil.cols <- clust.col[ifelse(sil[,3] > 0, sil[,1], sil[,2])]
sil.cols <- sil.cols[order(-sil[,1], sil[,3])]
plot(sil, main = paste(length(unique(my.clusters)), "clusters"),
border=sil.cols, col=sil.cols, do.col.sort=FALSE)
The silhouette width can be used to determine the parameter values that maximize the separation between clusters.
For example, we could vary the cut height or splitting depth in cutreeDynamic
to maximize the average silhouette width across all cells.
This usually provides a satisfactory initial clustering for further examination.
However, keep in mind that the granularity of clustering is much like the magnification on a microscope.
Different views of the data can be obtained with different granularities, some of which may be suboptimal on measures of separation.
Users should not fixate on the clustering with the greatest separation if it does not provide the desired granularity for a particular biological question.
Most cells have relatively small silhouette positive widths in Figure 12.2, indicating that the separation between clusters is weak.
This may be symptomatic of over-clustering where clusters that are clearly defined on oncogene induction status are further split into subsets that are less well separated.
Nonetheless, we will proceed with the current clustering scheme in my.clusters
, as it provides reasonable partitions for further characterization of heterogeneity.
Comments from Aaron:
- An alternative clustering strategy is to use a matrix of distances derived from correlations (e.g., as in
quickCluster
). This is more robust to noise and normalization errors, but is also less sensitive to subtle changes in the expression profiles. - Both Ward’s criterion and complete linkage yield spherical, compact clusters. In particular, complete linkage favours the formation of clusters with the same diameter. This may be desirable in some cases but is less appropriate when subpopulations differ in their variance. Thus, we typically use Ward’s criterion for our initial clustering. Of course, it is simple (and recommended) to try other approaches provided that some assessment is performed, e.g., using the silhouette width.
12.2 Detecting marker genes between clusters
Once putative subpopulations are identified by clustering, we can identify marker genes for each cluster using the findMarkers
function.
This performs Welch \(t\)-tests on the log-expression values for every gene and between every pair of clusters (Soneson and Robinson 2018).
The aim is to test for DE in each cluster compared to the others while blocking on uninteresting factors such as the plate of origin.
The top DE genes are likely to be good candidate markers as they can effectively distinguish between cells in different clusters.
For each cluster, the DE results of the relevant comparisons are consolidated into a single output table.
This allows a set of marker genes to be easily defined by taking the top DE genes from each pairwise comparison between clusters.
For example, to construct a marker set for cluster 1 from the top 10 genes of each comparison, one would filter marker.set
to retain rows with Top
less than or equal to 10.
Other statistics are also reported for each gene, including the adjusted p-values (see below) and the log-fold changes relative to every other cluster.
## DataFrame with 10 rows and 6 columns
## Top FDR logFC.2 logFC.3
## <integer> <numeric> <numeric> <numeric>
## Aurkb 1 3.57731459036545e-32 -7.39137048940061 -6.77227082342766
## Tk1 1 6.14583238348605e-29 -4.79357274943543 -7.610521944668
## Cdca8 1 6.27977508120356e-23 -6.98353186925976 -5.14867209037853
## Myh11 1 7.46521687382308e-22 4.37714191593754 4.37854437192151
## Ccna2 2 1.80015331041228e-29 -7.4330496627687 -7.08153074893503
## Pclaf 2 2.31327100093205e-25 -5.56714921671886 -7.57990988274836
## Cks1b 2 2.06467827649085e-18 -6.81767090676048 -6.04001181928717
## Pirb 2 2.50560067866424e-15 5.19604859960812 5.24523582985688
## Ube2c 3 4.84313636309891e-28 -7.94593152928904 -4.23898926544224
## Rrm2 3 1.52352395791045e-24 -5.45829619585342 -7.75339990141175
## logFC.4 logFC.5
## <numeric> <numeric>
## Aurkb -1.95145075542623 -6.41735160332462
## Tk1 -3.52963403498811 -4.24172385898634
## Cdca8 -2.52622785978127 -7.26824410188525
## Myh11 4.45150905933443 0.9387643805397
## Ccna2 -2.55994736892407 -7.31965669537105
## Pclaf -2.4323481751295 -5.2901842158707
## Cks1b -4.45638344358755 -6.40480503325219
## Pirb 5.86618518791929 -0.0110358172874627
## Ube2c -2.14802144694623 -6.67791590516897
## Rrm2 -3.18046561232799 -4.95579772214588
We save the list of candidate marker genes for further examination.
We visualize the expression profiles of the top candidates to verify that the DE signature is robust (Figure 12.3).
Most of the top markers have strong and consistent up- or downregulation in cells of cluster 1 compared to some or all of the other clusters.
A cursory examination of the heatmap indicates that cluster 1 contains oncogene-induced cells with strong downregulation of DNA replication and cell cycle genes.
This is consistent with the potential induction of senescence as an anti-tumorigenic response (Wajapeyee et al. 2010).
A more comprehensive investigation of the function of these markers can be performed with gene set enrichment analyses, e.g., using kegga
or goana
from limma.
top.markers <- rownames(marker.set)[marker.set$Top <= 10]
plotHeatmap(sce, features=top.markers, columns=order(sce$cluster),
colour_columns_by=c("cluster", "Plate", "Oncogene"),
cluster_cols=FALSE, center=TRUE, symmetric=TRUE, zlim=c(-5, 5))
Many of the markers in Figure 12.3 are not uniquely up- or downregulated in the chosen cluster. Testing for unique DE tends to be too stringent as it overlooks important genes that are expressed in two or more clusters. For example, in a mixed population of CD4+-only, CD8+-only, double-positive and double-negative T cells, neither Cd4 or Cd8 would be detected as subpopulation-specific markers because each gene is expressed in two subpopulations. With our approach, both of these genes will be picked up as candidate markers as they will be DE between at least one pair of subpopulations. A combination of markers can then be chosen to characterize a subpopulation, which is more flexible than trying to find uniquely DE genes.
We strongly recommend selecting some markers for use in validation studies with an independent replicate population of cells. The aim is to identify a corresponding subset of cells that express the upregulated markers and do not express the downregulated markers. Ideally, a different technique for quantifying expression would also be used during validation, e.g., fluorescent in situ hybridisation or quantitative PCR. This confirms that the subpopulation genuinely exists and is not an artifact of scRNA-seq or the computational analysis.
Comments from Aaron:
- By setting
direction="up"
,findMarkers
will only return genes that are upregulated in each cluster compared to the others. This is convenient in highly heterogeneous populations to focus on genes that can immediately identify each cluster. While lack of expression may also be informative, it is less useful for positive identification. - By setting
block=
,findMarkers()
will perform pairwise tests between clusters using only cells on the same plate. It will then combine \(p\)-values from different plates using Stouffer’s Z method to obtain a single \(p\)-value per gene. An alternative approach is to use linear models via thedesign=
argument - the differences between the two are discussed in the vignette. findMarkers
can also be directed to find genes that are DE between the chosen cluster and all other clusters. This should be done by settingpval.type="all"
, which defines the p-value for each gene as the maximum value across all pairwise comparisons involving the chosen cluster. Combined withdirection="up"
, this can be used to identify unique markers for each cluster. However, this is sensitive to overclustering, as unique marker genes will no longer exist if a cluster is split into two smaller subclusters.- It must be stressed that the (adjusted) p-values computed here cannot be properly interpreted as measures of significance. This is because the clusters have been empirically identified from the data. limma does not account for the uncertainty of clustering, which means that the p-values are much lower than they should be. This is not a concern in other analyses where the groups are pre-defined.
- The
overlapExprs
function may also be useful here, to prioritize candidates where there is clear separation between the distributions of expression values of different clusters. This uses the Wilcoxon rank sum test to detect uneven mixing of the distributions of expression values between clusters. By contrast,findMarkers
uses t-tests and is primarily concerned with log-fold changes.
References
Langfelder, P., B. Zhang, and S. Horvath. 2008. “Defining clusters from a hierarchical cluster tree: the Dynamic Tree Cut package for R.” Bioinformatics 24 (5): 719–20.
Soneson, C., and M. D. Robinson. 2018. “Bias, robustness and scalability in single-cell differential expression analysis.” Nat. Methods 15 (4): 255–61.
Wajapeyee, N., S. Z. Wang, R. W. Serra, P. D. Solomon, A. Nagarajan, X. Zhu, and M. R. Green. 2010. “Senescence induction in human fibroblasts and hematopoietic progenitors by leukemogenic fusion proteins.” Blood 115 (24): 5057–60.


--- date: 2010-03-12T00:00:00Z published: true title: LA-based "Formspring.me" service to reveal identities of anonymous users - sneaky. url: /2010/03/12/la-based-formspring-me-service-to-reveal-identities-of-anonymous-users-sneaky-/ ---
Twelve administrators of the website Formspring.me, including CEO Mark Baxter were arrested on Monday for data phishing and misleading the public, when the site was revealed to be a "social experiment," which will culminate in the automatic revealing of users' private data on April 1, 2010.
Baxter, 28, was sentenced in Van Nuys Superior Court for the creation of said website, which allows users to "send and receive anonymous questions, and learn more about people you find interesting by following their answers."


Natural Gas
Price Prediction
Team 2
Suriya
Namitha
Joel
Fasil
Enter Date to Predict
Choose a Method:
Random Forest Method
Decision Tree Method
Predict
{{ predic_text }}


This is an online portal where you can submit your queries. Our system hod will check a look at your request veryfy it an dthen gives you a good responce in
a very view minutes.Typically the procedures is straightbforward as follows:
Fill in your respective details
Ensure all the submited details are correct.
Check on the number of items you want and type
Submit your details.
The table given bellow allows you to interact with your requests. This will give you an opportunity to see and check which request you have
keep track of request performance and afterwards verify in the producst has been deleivered to your office. follows typical process as follows;
You can view table data in the table.
You can view single request in the table by clicking view button
You can edit the requested data in the table
You can Delete a requested item in the table.
NOTE
All the submited request pass through a series of validation. So dont anticipate for imediate responce of the system in termas of
request processing.
It might be sunjected to some delays since it must undergo through a series of validations in procurement department before the actual final
conclusio has been reached
When the ststus has changed form processing to approved, wait for alittle time as the item is being tranafered diresctly to your location.
Incase of any inconvinienceis, you may visit procurement office, or make some calls to the office, request or service desk for some assistance.


--- layout: default ---
Academic journals: meet the modern reader
Project management for multiple people and projects.
Supporting open source publishing - on any device.
Managing the brand of a design & development studio.
Retirement planning - powered by genetic algorithms.


http://www.kickstarter.com/projects/sparkdevices/spark-upgrade-your-lights-with-wi-fi-and-apps
This is a cool device, but why is 'everyone' with these similar devices using WiFi? Doesn't this consume a lot more energy than a RFM12B?
It would be cool if OpenEnergyMonitor/Megni did a Kickstarter for a device like Spark, but with a RFM12B and a Energymonitor IC ADE7768 or similar: http://www.analog.com/en/analog-to-digital-converters/energy-measurement/products/index.html integrated. And maybe also a wall plug with integrated energy monitor capabilities. Something like the HexaBus Plug: https://github.com/mysmartgrid/hexabus/wiki/HexaBus-Plug
Do you guys thinks we can pull this off as a community project (and launch to the large public via Kickstarter)? I would love to see devices like this being developed.
Anyway, this is just a shout-out to something I would love to have and I was curious if other people from the OpenEnergyMonitor community were interested in such devices.
Re: OpenEnergyMonitor switchable energy measuring plug (like "Spark" on Kickstarter)
Wondering why here are no discussion about use of pinnocio? Guess this woild be a great enhancement?
See http://pinocc.io/
Re: OpenEnergyMonitor switchable energy measuring plug (like "Spark" on Kickstarter)
I just got my Pinoccios and they are awesome. I'd like to see how the energy monitoring board can be modified to support the Pinocc.io. The mesh networking would be ideal for transmitting data over longer ranges to the lead scout. I have a TED and the A/C line noise limits where I can plug in the over-power receiver/gateway. The Pinoccio has mesh networking and wifi so no need for a separate base station. I'd also like to add an onboard transformer so the monitoring board can be plugged directly into the power panel (120/240V).


{% extends "layout.html" %} {% block pageTitle %} GOV.UK Prototype Kit {% endblock %} {% block beforeContent %}
{% endblock %} {% block content %}| Services | 787, 743, 3D, 709, 751 | change |
|---|---|---|
| Journey direction | 2500 B 0720 2590 BTA 01290 | change |
| Fare triangle | submitted or created | change |
| Fare stage – Leeds | stops – Park Terminus | change |
| Fare stage – Manchester | stops – Newcastle Avenue, Lincoln Avenue |
change |
| Fare stage – Wakefield | stops – Belford Avenue, Croasdale Avenue |
change |


--- layout: page title: About header-img: "img/about-bg.png" ---
I am a Water Treatment Operator out of Texas looking to expand my knowledge base a potentially switch career paths.


Pound 4...
4:45 PM on Friday Jan 1, 2010
...needs a blog.
It’s January 1st, 2010 and registration for Pound 4 has been closed for about 12 or so hours at the time of this writing. Hype for this tournament has been steadily building since the end of Genesis. Players from around the world have planned to attend and forums from Smashboards to Gamefaqs to Gamespot and even an obscure Puerto Rican Smash Forum (http://www.smashpr.com/forums/showthread.php?t=1802 ) all are talking about Pound 4. If you look at the website page for Pound 4 you can see a list of tournament attendees and those that have already registered. http://pound4registration.weebly.com/bullplayersbull.html. Big names like Mew2King, Mango, Armada, Amsah, DaShizWhiz, Dr. Peepee, Silent Spectre, etc…
You can see that Melee has a strong showing of 322 registered players while Brawl has a little more than half of that registered with 186. Genesis, in July, had more than 250 entrants for both games.
If this was a litmus test of game popularity, it’s almost as if the players are speaking with their presence and enthusiasm over what might just be the “better” game. This also applies to the leaders of both metagames.
Mango’s recent losses to Kage at Revival of Melee 2, and his very close matches with Armada at Genesis, show that Melee has far from stabilized. There are talks of Ganondorf being a possible Jigglypuff counter, and people are predicting that Armada might just pull 1st or 2nd again, aside from the fact that Peach, Armada’s main character, was thought to never be capable of winning a major tournament less than a year ago. Let’s also not forget that both players (Kage and Armada) are pulling in victories and making names for themselves despite being from regions outside the U.S.
It almost seems as if 2009 opened the doors for exploration in Melee. Credit could go to the hype machine that propelled Genesis to become the successful and eye-opening event that it was; or it could go to the facilitation of recording matches and posting them onto youtube so that anybody can see them and be entertained by commentary, combos, or upsets. Within a day of Mango’s set vs Kage at Revival of Melee 2, the video broke 1000 views.
DEHF vs Tyrant at R3 is still hovering around 400 as of this writing.
Is it the lack of an entertaining commentator? Is it because the game is much more boring to watch? Or are we caring less and less about Brawl?
Press Ctrl+F on the Registered Players page and type in “Oats.” You’ll see that I signed up for both, because I find both games fun. Now, take the time to find other players from the West Coast. Search for our biggest names (excuse the regional bias). Tyrant, DSF, MikeHAZE, DEHF (Larry Lurr), Havok, etc... So exactly how many of those names are actually going?
Part of this may sound like a rallying call for better regional representation at a tournament that’s faraway and might be too expensive to attend. Oh yeah, Winter Games Fest (a very successful tournament, that will be organized by someone I have a lot of respect for – Azn_Lep) is the same weekend. So, people have an excuse not to go to Pound 4, since we have our own regional here in town too. Let’s ignore the fact that I live in San Diego where Winter Games Fest will be hosted and held. Let’s ignore the fact that Melee will also be featured at Winter Games Fest and that you don’t see Mango attending it to get that easy guaranteed money…
Havok was joking with me about our crews matches against East Coast. The joke was that I would be in the crew along with HugS, DEHF, Havok, and whoever else we can scrounge up. Well I sure hope Ally doesn’t know Lucas can Zap Jump.
So, if Pound 4 is not turning out to be this massive Brawl National Event because of the lack of support and attendance from a major region, what is there to look forward to, right? It’s going to be M2K vs Ally at the end, and that’s what it will be. Well as Pound 4 approaches, what is there to hype?
DEHF. Period.
I hate to put pressure on the guy because he really doesn’t need it, but for taking the arguably “Third Best National Player” and giving him the 6-0 in tourney, and possibly pushing forth an aspect of the metagame many people are very excited to explore, all eyes will mostly be on his matches. Not only is he one of the few that can juggle high-level Brawl and Melee (he’s on both games’ regional crews), this will be his first time travelling to the East Coast for such an event. Many doubt he’ll even make it that far, others say he can beat M2K, and with little pro Falco experience, the East Coast might have a reason to be worried. He’s SoCal’s “Armada”. He’s our lone little voyager carrying a banner for a region licking its wounds. He’s taken out Ally, and he’s beaten Dojo. Is he finally ready to take on M2K after almost previous try has result in a loss? Who knows. I assure you though, we’ll be on the edge of our seats watching every match.
- Oats.
Note: I was going to write something a little more reflective on the state of the metagame but my fingers took me somewhere else entirely. Meh. I always write something in white at the bottom of my blogs. I think. I think it had to be said.


The MSRP and Estimated Monthly Payment are not an advertisement or offer for specific terms of credit. Payment amounts presented are estimates and are for illustrative purposes only. If you used the Calculator, those amounts are reflected in the Estimated Monthly Payment. The Estimated Monthly Payment is based on a 60-month term, a down payment of 9%, Annual Percentage Rate (APR) of 4.5%, a tax rate of 7.0%, and no trade-in. If you change the Down Payment or Term, or if you trade in your current vehicle, the Estimated Monthly Payment will change. The payment amount does not include title, license or registration fees. Actual prices may vary by Dealer. Payment amounts may be different due to various factors such as fees, specials and rebates, term, down payment, APR, trade-in, and tax rate. Actual APR is based on the creditworthiness of the customer. Not all customers will qualify for the lowest rate. You and your selected dealer or will determine your actual rate. Please contact your selected dealer or lender for program details and actual terms. The MSRP excludes transportation and handling charges, destination charges, taxes, title, registration, preparation and documentary fees, tags, labor and installation charges, insurance, optional equipment or packages and accessories.
Additional Disclosures for Lease Transactions:
The total due at lease signing is the amount to be paid by the lessee prior to or at signing of the lease or by delivery of the vehicle. It does not include title, license, and/or registration fees. It includes the first month’s payment, any acquisition fee, capitalized cost reduction, and any trade-in amount. A security deposit may be required depending on creditworthiness.


react date and time picker
npm i react-date-and-time-picker yarn add react-date-and-time-picker
github repo
v<%= htmlWebpackPlugin.options.templateParameters.version %>


--- layout: basic category: HackBrexit ---
Brexit is one of the most controversial and seismic political events in the UK’s recent history. Yet throughout the pre-referendum campaigns and aftermath of Brexit many questions remain unanswered and the future unclear.
Regardless of whether you voted in or out, this two day event is open to the tech and non-tech community to join forces to create dialogue and action beyond Brexit.
{% for post in site.posts %} {% if post.category == 'HackBrexit' %} {% include episode.html %} {% endif %} {% endfor %}


EasyQuery
User-friendly ad-hoc query builder for your web-site
Entities
Columns
Conditions
Menu
Clear query
Load query
Save query
Execute
SQL
Result


Film Director Christophe Ruggia Under Investigation for Alleged ‘Sexual Aggressions Against a 15-Year-Old’
PARIS (AP) — The Paris prosecutor’s office is investigating French director Christophe Ruggia for alleged “sexual aggressions” after French actress Adele Haenel accused him of sexually harassing her when she was an adolescent.
by Breitbart NewsHaenel, now 30, first detailed her allegations against Ruggia Sunday on the French investigative website Mediapart. She says Ruggia, who directed her first film, “Les Diables”, repeatedly touched her inappropriately when she was between 12 and 15 years old.
Ruggia has categorically denied the allegations via his lawyer Jean-Pierre Versini.
The Paris prosecutor’s office confirmed to The Associated Press that an inquiry opened Wednesday into Ruggia for “sexual aggressions against a 15-year-old minor.”
Haenel told French media this week that she did not wish to file a formal complaint because she didn’t trust the French justice system.


The founder of the Arkeon Energy is SeBastian Pumpernickel from Arborea. He decided to get into the Energy business when he didnt’ have enough to pay his electric bill. He didn’t have light at the time during 1850 but he did have a fire place but lived in the Jagged Mountains in his cabin. He is also a nature and animal lover and loved the idea that mother nature will provide.
 Then boom his cabin nearly exploded and at the moment he became the the Telsa poop. He continued experimenting with it by using it for steam boats, trains and fireplaces.
Pumpernickel was nominated for a Nobel Peace Prize for the most earth friendly resource. After that he decided to make a goal to conquer the world with water, wind, sun and bio energy. Arkeon Have 6 different ways to produce energy, wave converter, dam, wind Mills, water mill, Solar panel and Bio energy plant. We have no use for a power plant.
Solar energy is created by nuclear fusion that takes place in the sun. Fusion occurs when protons of hydrogen atoms violently collide in the sun’s core and fuse to create a helium atom.
Geothermal energy is heat that is generated within the Earth. (Geo means “earth,” and thermal means “heat” in Greek.) It is a renewable resource that can be harvested for human use.
Wind energy is produced by the movement of air (wind) and converted into power for human use. Wind has been used as a source of energy for more than a thousand years, but was replaced by fossil fuels for much of the 20th century.
Wave power is the transport of energy by wind waves, and the capture of that energy to do useful work – for example, electricity generation, water desalination, or the pumping of water (into reservoirs). A machine able to exploit wave power is generally known as a wave energy converter
Waste-to-energy (WtE) or energy-from-waste (EfW) is the process of generating energy in the form of electricity and/or heat from the primary treatment of waste. WtE is a form of energy recovery.
Waste-to-energy (WtE) or energy-from-waste (EfW) is the process of generating energy in the form of electricity and/or heat from the primary treatment of waste. WtE is a form of energy recovery.
If you have a question about the electricity supply charges, contact Arkeon Energy. Arkeon Energy contact information can be found on your bill.
The electrical utility may require a cash to secure the account under certain conditions. Commission Regulation 103-331 provides the condition under which a deposit may be Collected. To view this regulation, click on the link provided.
When there is a hazardous or dangerous condition When there is unauthorized or fraudulent use. When the customer’s use of service adversely affects service to other customers; For nonpayment of a bill in arrears at the current or another location; For misrepresentation of the customer’s identity. For failure to permit the utility reasonable access to its equipment. If, at the time of application a household member has an outstanding bill.
According to Commision Regulation 103-331, new customers may be required to pay deposit up to an estimated two months (sixty days). For customers with a usage history , maximum deposit based on the highest two consecutive bills in the previous year or a portion of the previous year (if the bills are calculated on a seasonal basis), may be required. To view this regulation, click on the link provided. All deposits may be subject to review based on the individual experiences of each customer, and the deposit amount required may be increased or decreased to reflect the customer’s actual billing and payment habits.


We already knew there was a hen called Tiny Enid. Now it has come to my attention that, in the USA, there is a Dalmatian puppy also named after the plucky tot. Matt and Mandy (whomsoever they may be) are to be congratulated on their excellent pet-naming skills. Visit their Drop My Straw blog and you can see both a photo and a video of the canine Tiny Enid.


paper by someone at IBM, who is developing the J programming language
Concerning language, George Boole in his Laws of Thought [1, p.24] asserted “That language is an instrument of human reason, and not merely a medium for the expression of thought, is a truth generally admitted.”
Mathematical notation provides perhaps the best-known and best-developed example of language used consciously as a tool of thought.
cajori, a history of mathematical notation
By relieving the brain of all unnecessary work, a good notation sets it free to concentrate on more advanced problems, and in effect increases the mental power of the race. -A.N. Whiteheads
The quantity of meaning compressed into small space by algebraic signs, is another circumstance that facilitates the reasonings we are accustomed to carry on by their aid. -Charles Babbage
Nevertheless, mathematical notation has serious deficiencies. In particular, it lacks universality, and must be interpreted differently according to the topic, according to the author, and even according to the immediate context. Programming languages, because they were designed for the purpose of directing computers, offer important advantages as tools of thought. Not only are they universal (general-purpose), but they are also executable and unambiguous. Executability makes it possible to use computers to perform extensive experiments on ideas expressed in a programming language, and the lack of ambiguity makes possible precise thought experiments.
so apparently programming languages are better than mathematical notation because of the unambiguity and universality (but i’d argue that the universality is actually a negative aspect of communicating specific, local ideas).
In addition to the executability and universality emphasized in the introduction, a good notation should embody characteristics familiar to any user of mathematical notation:
If it is to be effective as a tool of thought, a notation must allow convenient expression not only of notions arising directly from a problem, but also of those arising in subsequent analysis, generalization, and specialization.
A notation will be said to be suggestive if the forms of the expressions arising in one set of problems suggest related expressions which find application in other problems.
As Babbage remarked in the passage cited by Cajori, brevity facilitates reasoning. Brevity is achieved by subordinating detail, and we will here consider three important ways of doing this: the use of arrays, the assignment of names to functions and variables, and the use of operators.
The utility of a language as a tool of thought increases with the range of topics it can treat, but decreases with the amount of vocabulary and the complexity of grammatical rules which the user must keep in mind. Economy of notation is therefore important.
Economy requires that a large number of ideas be expressible in terms of a relatively small vocabulary. A fundamental scheme for achieving this is the introduction of grammatical rules by which meaningful phrases and sentences can be constructed by combining elements of the vocabulary.
It is necessary to ask further questions concerning the total bulk of notation required, the degree of structure in the notation, and the degree to which notation introduced for a specific purpose proves more generally useful.
factors in notation:
Secondly, it is important to distinguish the difficulty of describing and of learning a piece of notation from the difficulty of mastering its implications.
Finally, overemphasis of efficiency leads to an unfortunate circularity in design: for reasons of efficiency early programming languages reflected the characteristics of the early computers, and each generation of computers reflects the needs of the programming languages of the preceding generation.
^ ends on a nice material note


spotify-web-api-kotlin
/
com.adamratzman.spotify.utils
/
Market
/
MX
MX
(common, js, jvm)
MX
Mexico
Market Code: MX


VEHICLE TRACKING AND FLEET MANAGMENT SYSTEM
Customer Logo
Live
Vehicle Information
Vehicle View
Vehicle Map View
Vehicle information
Vehicle I/O List
Reports
Settings
Driver Scheduling
Vehicle Service
Geofency
Fuel
Location Entry
Route
Route Scheduling
Configuration
Vehicle Master
Driver Details
Vehicle Groups
Alert
User
No Movement
School
Student Entry
Welcome to Test
Log out
Location View
Map
Copyright
Neha Software Technologies © 2016


Authorizing/Unauthorizing a Vendor Account
How to authorize or unauthorized a vendor account using the Vendors module.
- Locate the required vendor account by selecting a filter or doing a search - OR - Click the Unauthorized link to view all unauthorized vendor accounts.
- Click the Edit button beside the vendor.
- Go to the Other Details section.
- At Authorized, to authorize the account - OR - to unauthorize the account.
-
Click the Update button.


Voting App
creating Ballot
Right to Vote
Vote
Creating Ballot
No of Contestants :
The winner for ballot
Winner
Right to Vote
Right to Vote
Give Right to:
Right to Vote
Vote
Vote for Ballot
Vote to:
Vote


Device is currently charging ([[percentage]]%) and will reach 100% in [[chargingTime]] seconds.
Device is currently discharging ([[percentage]]%) and will reach 0% in [[dischargingTime]] seconds.
Sorry, your browser doesn't support the Battery API.


All Books (sorted by popularity)
-
Displaying results 1–25 | Next
- Frankenstein; Or, The Modern Prometheus Mary Wollstonecraft Shelley 59702 downloads
- Pride and Prejudice Jane Austen 52952 downloads
- The Scarlet Letter Nathaniel Hawthorne 36468 downloads
- Et dukkehjem. English Henrik Ibsen 27141 downloads
- A Christmas Carol in Prose; Being a Ghost Story of Christmas Charles Dickens 25533 downloads
- The Yellow Wallpaper Charlotte Perkins Gilman 23898 downloads
- Alice's Adventures in Wonderland Lewis Carroll 22997 downloads
- The Legend of Sleepy Hollow Washington Irving 21581 downloads
- A Modest Proposal Jonathan Swift 21337 downloads
- Anthem Ayn Rand 21041 downloads
- Metamorphosis Franz Kafka 20716 downloads
- Beowulf: An Anglo-Saxon Epic Poem 20689 downloads
- A Tale of Two Cities Charles Dickens 18700 downloads
- Il Principe. English Niccolò Machiavelli 18634 downloads
- The Strange Case of Dr. Jekyll and Mr. Hyde Robert Louis Stevenson 17936 downloads
- The Adventures of Sherlock Holmes Arthur Conan Doyle 17171 downloads
- Moby Dick; Or, The Whale Herman Melville 16812 downloads
- The Importance of Being Earnest: A Trivial Comedy for Serious People Oscar Wilde 16089 downloads
- Dracula Bram Stoker 16006 downloads
- Narrative of the Life of Frederick Douglass, an American Slave Frederick Douglass 14975 downloads
- The Awakening, and Selected Short Stories Kate Chopin 14548 downloads
- Adventures of Huckleberry Finn Mark Twain 14018 downloads
- Walden, and On The Duty Of Civil Disobedience Henry David Thoreau 13763 downloads
- The Picture of Dorian Gray Oscar Wilde 12328 downloads
- The Slang Dictionary: Etymological, Historical and Andecdotal John Camden Hotten 11962 downloads
-
Displaying results 1–25 | Next


show now or not
message:{{ newHtml }}
{{ reverseMessage }}
A paragraph for the main content.
And another one.
Here's some contact info


| fkUtilities reference pages |
string=CELL2STR(cell)
string=CELL2STR(cell) converts a cell array to a string representation. The cell array can be recreated by eval(string). This function can handle 2d cell arrys, 2d numeric and logical arrays, character strings (not arrays) and structures.
| inclPoints | Toolbox page | new_diagnostics_log |


Computes maximum likelihood estimate of a log-concave density with fixed and known location of the mode. Performs inference about the mode via a likelihood ratio test. Extension of the logcondens package.
| Version: | 1.0.1 |
| Depends: | logcondens |
| Imports: | distr |
| Published: | 2013-09-12 |
| Author: | Charles Doss |
| Maintainer: | Charles Doss <cdoss at stat.washington.edu> |
| License: | GPL-2 | GPL-3 [expanded from: GPL (≥ 2)] |
| NeedsCompilation: | no |
| CRAN checks: | logcondens.mode results |
| Reference manual: | logcondens.mode.pdf |
| Package source: | logcondens.mode_1.0.1.tar.gz |
| Windows binaries: | r-devel: logcondens.mode_1.0.1.zip, r-release: logcondens.mode_1.0.1.zip, r-oldrel: logcondens.mode_1.0.1.zip |
| OS X binaries: | r-release: logcondens.mode_1.0.1.tgz, r-oldrel: logcondens.mode_1.0.1.tgz |
| Old sources: | logcondens.mode archive |
Please use the canonical form https://CRAN.R-project.org/package=logcondens.mode to link to this page.


rasttopnm(1) rasttopnm(1) NAME rasttopnm - convert a Sun rasterfile into a portable anymap SYNOPSIS rasttopnm [rastfile] DESCRIPTION Reads a Sun rasterfile as input. Produces a portable anymap as output. The type of the output file depends on the input file - if it's black & white, a pbm file is written, else if it's grayscale a pgm file, else a ppm file. The program tells you which type it is writing. SEE ALSO pnmtorast(1), pnm(5) AUTHOR Copyright (C) 1989, 1991 by Jef Poskanzer. 13 January 1991 rasttopnm(1)


Select a regular expression syntax in the topmost choice menu.
Type a regular expression in the first text field. Then in
the Search Input text area, enter text that you want to
search. Click the Search button to search the input text.
The results will appear in the Search Results text area.
The Reset button will clear the regular expression, input,
and result text.
There are two choice menus that affect the regular expression
search. The contains() item causes the
contains()
method of the PatternMatcher interface to be
used to perform the search. This search is done in a while loop,
finding all pattern matches occuring within the input. The
matches() item causes the matches()
method of
the PatternMatcher interface to be used to perform the search. The
matches()
method only tests if all the input
EXACTLY matches the regular expression. It does not check
to see if there is a match somewhere inside the input. That is
what the contains()
method is for. This is sometimes
a point of confusion for users who have tried other packages. In
Jakarta ORO, matches()
is used to find exact matches,
and contains
is used to find a match contained in the
input.
The Case Sensitive and Case Insensitive choice items
are self-explanatory. Case Sensitive causes the regular
expression to be compiled with case sensitivity enabled. Case
Insensitive causes the regular expression to treat upper and
lower case characters the same.
The Search Results text area will display all the matches
found in the input when the contains() choice item is
selected. It will also display what the parenthesized subgroups
of a regular expression matched. When the matches() choice
item is selected, only whether or not the input exactly matched
the pattern is indicated.
Please note that if you don't enter anything for a regular
expression, it will be compiled as an expression matching a
zero-length string (the null string), which will match before and
after every character in the input.


Here we use FitNesse as a HTTP server so we can control which responses the application being tested receives.
No Messages
The messages report table does not fail a test, it just shows the current status. It will be have an 'ignored' status when no messages were expected nor served.
| table: Mock Server Message Report |
| Expected and received 2 requests | | 1 | request GET: /FitNesseMock | response <?xml version="1.0" encoding="UTF-8"?><shiporder orderid="889923" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="shiporder_schema.xsd">
<orderperson>John Smith</orderperson>
<shipto>
<name>Ola Nordmann</name>
<address>Langgt 23</address>
<city>4000 Stavanger</city>
<country>Norway</country>
</shipto>
<item>
<title>Empire Burlesque</title>
<note>Special Edition</note>
<quantity>1</quantity>
<price>10.90</price>
</item>
<item>
<title>Hide your heart</title>
<quantity>1</quantity>
<price>9.90</price>
</item>
</shiporder>
| | 2 | request GET: /FitNesseMock | response <?xml version="1.0" encoding="UTF-8"?><shiporder xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="shiporder_schema.xsd">
<orderperson>John Smith</orderperson>
<shipto>
<name>Ola Nordmann</name>
<address>Langgt 23</address>
<city>4000 Stavanger</city>
<country>Norway</country>
</shipto>
<item>
<title>Empire Burlesque</title>
<note>Special Edition</note>
<quantity>1</quantity>
<price>10.90</price>
</item>
<item>
<title>Hide your heart</title>
<quantity>1</quantity>
<price>9.90</price>
</item>
</shiporder>
|
|
|
Too Few Messages
| script |
mock xml server setup |
| add response |
<dag/> |
| add response |
<dag2/> |
with status |
201 |
| $url<-[http://<IP_ADDRESS>:8000/FitNesseMock] |
get mock server url |
| script |
xml http test |
| post |
<Hallo/> |
to |
$url->[http://<IP_ADDRESS>:8000/FitNesseMock] |
| check |
response status |
200 |
| show |
response |
<dag/>
|
The messages report table does not fail a test, it just shows the current status. It will show red lines for expected requests that never came, or extra requests received.
| table: Mock Server Message Report |
| 1 (of 4) request(s) did not match expectation | | 1 | request GET: /FitNesseMock | response <?xml version="1.0" encoding="UTF-8"?><shiporder orderid="889923" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="shiporder_schema.xsd">
<orderperson>John Smith</orderperson>
<shipto>
<name>Ola Nordmann</name>
<address>Langgt 23</address>
<city>4000 Stavanger</city>
<country>Norway</country>
</shipto>
<item>
<title>Empire Burlesque</title>
<note>Special Edition</note>
<quantity>1</quantity>
<price>10.90</price>
</item>
<item>
<title>Hide your heart</title>
<quantity>1</quantity>
<price>9.90</price>
</item>
</shiporder>
| | 2 | request GET: /FitNesseMock | response <?xml version="1.0" encoding="UTF-8"?><shiporder xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="shiporder_schema.xsd">
<orderperson>John Smith</orderperson>
<shipto>
<name>Ola Nordmann</name>
<address>Langgt 23</address>
<city>4000 Stavanger</city>
<country>Norway</country>
</shipto>
<item>
<title>Empire Burlesque</title>
<note>Special Edition</note>
<quantity>1</quantity>
<price>10.90</price>
</item>
<item>
<title>Hide your heart</title>
<quantity>1</quantity>
<price>9.90</price>
</item>
</shiporder>
| | 3 | | | | 4 | No request received | |
|
|
Messages As Expected
| script |
xml http test |
| post |
<Hallo2/> |
to |
$url->[http://<IP_ADDRESS>:8000/FitNesseMock] |
| check |
response status |
201 |
| show |
response |
<dag2/>
|
The messages report table does not fail a test, it just shows the current status. It will show red lines for expected requests that never came, or extra requests received.
| table: Mock Server Message Report |
| Expected and received 4 requests | | 1 | request GET: /FitNesseMock | response <?xml version="1.0" encoding="UTF-8"?><shiporder orderid="889923" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="shiporder_schema.xsd">
<orderperson>John Smith</orderperson>
<shipto>
<name>Ola Nordmann</name>
<address>Langgt 23</address>
<city>4000 Stavanger</city>
<country>Norway</country>
</shipto>
<item>
<title>Empire Burlesque</title>
<note>Special Edition</note>
<quantity>1</quantity>
<price>10.90</price>
</item>
<item>
<title>Hide your heart</title>
<quantity>1</quantity>
<price>9.90</price>
</item>
</shiporder>
| | 2 | request GET: /FitNesseMock | response <?xml version="1.0" encoding="UTF-8"?><shiporder xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="shiporder_schema.xsd">
<orderperson>John Smith</orderperson>
<shipto>
<name>Ola Nordmann</name>
<address>Langgt 23</address>
<city>4000 Stavanger</city>
<country>Norway</country>
</shipto>
<item>
<title>Empire Burlesque</title>
<note>Special Edition</note>
<quantity>1</quantity>
<price>10.90</price>
</item>
<item>
<title>Hide your heart</title>
<quantity>1</quantity>
<price>9.90</price>
</item>
</shiporder>
| | 3 | | | | 4 | | |
|
|
| script |
mock xml server setup |
| verify all responses served |
| verify no extra requests |
| stop |
| script |
mock xml server setup |
| add response |
<bye/> |
| $url<-[http://<IP_ADDRESS>:8000/FitNesseMock] |
get mock server url |
| script |
xml http test |
| post |
<Hallo/> |
to |
$url->[http://<IP_ADDRESS>:8000/FitNesseMock] |
| check |
response status |
200 |
| note |
Posting an extra message will cause a 404 response, normally this fails a test, but we prevent this by using a 'show' line below |
| show |
post |
<Hallo2/> |
to |
$url->[http://<IP_ADDRESS>:8000/FitNesseMock] |
false |
| check |
response status |
404 |
| show |
response |
|
The messages report table does not fail a test, it just shows the current status. It will show red lines for expected requests that never came, or extra requests received.
| table: Mock Server Message Report |
| 1 (of 2) request(s) did not match expectation | | 1 | | | | 2 | | Unexpected request, no response set up |
|
|
| script |
mock xml server setup |
| stop |
Use a file as the response
| script |
mock xml server setup |
| add response file |
$responseFile->[response.xml] |
| add response file |
$responseFile->[response.xml] |
with status |
201 |
| $url<-[http://<IP_ADDRESS>:8000/FitNesseMock] |
get mock server url |
| script |
xml http test |
| get from |
$url->[http://<IP_ADDRESS>:8000/FitNesseMock] |
| check |
response status |
200 |
| show |
response |
<responseFromFile/>
|
| get from |
$url->[http://<IP_ADDRESS>:8000/FitNesseMock] |
| check |
response status |
201 |
| show |
response |
<responseFromFile/>
|
| script |
mock xml server setup |
| add response |
bye |
with headers |
| Content-type |
application/xml |
| My-header |
abc-Ë |
|
| add response |
bye2 |
with headers |
| Content-type |
text/html; charset=iso-8859-1 |
| My-header |
xyz-Ë |
|
| add response |
bye3 |
with status |
201 |
and headers |
| Content-Type |
text/html; charset=UTF-16 |
| My-header |
x-Ë |
|
| $url<-[http://<IP_ADDRESS>:8000/FitNesseMock] |
get mock server url |
| script |
http test |
| get from |
$url->[http://<IP_ADDRESS>:8000/FitNesseMock] |
| check |
response header |
Content-type |
application/xml |
| check |
response header |
My-header |
abc-Ë |
| check |
response status |
200 |
| check |
response |
bye |
| get from |
$url->[http://<IP_ADDRESS>:8000/FitNesseMock] |
| check |
response header |
Content-type |
text/html; charset=iso-8859-1 |
| check |
response header |
My-header |
xyz-Ë |
| check |
response status |
200 |
| check |
response |
bye2 |
| get from |
$url->[http://<IP_ADDRESS>:8000/FitNesseMock] |
| check |
response header |
Content-type |
text/html; charset=UTF-16 |
| check |
response header |
My-header |
x-Ë |
| check |
response status |
201 |
| check |
response |
bye3 |
| table: Mock Server Message Report |
| Expected and received 5 requests | | 1 | request GET: /FitNesseMock | | | 2 | request GET: /FitNesseMock | | | 3 | request GET: /FitNesseMock | | | 4 | request GET: /FitNesseMock | | | 5 | request GET: /FitNesseMock | |
|
|
| script |
mock xml server setup |
| stop |
Controlling server address
The mock server can be customized to control the address, port and path it listens on.
This is done by adding extra columns to the first row (constructor parameters).
One can specify either a single port number, or a range (two ports separated by '-').
When specifying a path this path must also be supplied when stopping the server.
| script |
mock xml server setup |
localhost |
58876-58878 |
/mock |
| show |
get mock server url |
http://<IP_ADDRESS>:58876/mock |
| script |
mock xml server setup |
/mock |
| stop |


Form
Describes the process for requesting changes to advanced learner loans facilities.
XLSM , 270KB
If you use assistive technology (such as a screen reader) and need a version of this document in a more accessible format, please email<EMAIL_ADDRESS>. Please tell us what format you need. It will help us if you say what assistive technology you use.
This above document describes the changes to the process for requesting an increase to your loans facility.
You can use the revised loan facility and bursary change request form immediately. We will retain the current ‘rolling’ application approach so you can continue to apply for an increase to your 2016 to 2017 loans facility at any time.
Any queries, please contact your provider management manager.
The Advanced Learner Loans funding and performance management rules describe the process to request an increase to your advanced learner loan facility or loans bursary in 2016 to 2017.
If you already have a loan facility you can use the form to ask for an increase or reduction, or to have your loan facility and loans bursary funding removed. If you do not have a loan facility you can use this form to request one for the first time; you must have an adult apprenticeships or adult education budget funding agreement with us to do this.
Published: 25 February 2014
Updated: 18 November 2016


This document describes how to install and use the tool supporting the results of the paper Structural Model Subtyping with OCL Constraints by Artur Boronat (University of Leicester, UK), accepted for publication at SLE@SPLASH'17.
Our tool facilitates the reuse of model management operations that are defined for metamodel specifications, which consist of an EMF metamodel together with its well-formedness constraints (in OCL). Specifically, our tool infers whether two metamodel specifications, whose metamodels and constraints need not be related a priori, are compatible. This captures the notion of subtype polymorphism in model management operations using structural model subtyping with optional OCL constraints. Our tool implements the structural subtyping relationship in a type-theoretic framework with multiple inheritance semantics and can be used for implementing various use cases in flexible model-driven engineering, for example: structural (semantic) refinement, evolution of domain-specific modelling languages, and reuse of model management operations.
To deal with structural subtyping, the tool synthesizes an extension metamodel that is employed both to check the compatibility of OCL constraints and to reuse model management operations without requiring manual intervention. The extension metamodel can be obtained both for single and multiple inheritance contexts. Moreover, the tool produces complements of the supertype and subtype metamodel, w.r.t. the chosen subtyping relation, which can be used for guiding the reuse model management operations. In addition, our structural subtyping mechanism is expressive enough so as to support variants of model subtyping, including multiple, partial, and dynamic model subtyping.
Our tool is available as a Java library together with a self-contained Gradle project that includes all the dependencies required for using the tool together with additional resources implementing the examples of the paper. The tool has been tested on macOS 10.12.4 (Sierra)
and Linux Ubuntu 15.04 (Vivid Vervet)
. In addition, a VirtualBox image with the Linux configuration is available for download.
This document contains three main sections: an overview of the contents in the zipped file, an installation guide, and step-by-step instructions arranged in the form of specific scenarios for each of the use cases mentioned above. These step-by-step instructions illustrate the core contributions of the paper and show the full extent of the examples used in it. Moreover, these scenarios have been implemented in executable test cases in order to ensure the experimental reproducibility of the results of the paper.
The contents of the archive are as follows:
README.md
. The difference between these two files is that README.md
is readable on GitHub and README_offline.md
is pretty printed as .README_offline.md.html
, which is readable in a browser offline - that is URL paths are accessible using file:///
in the browser.README_offline.md
in HTML format. Images should be displayed correctly and there is no need to access any external resource unless the VirtualBox image is downloaded, in which case Google Drive will be accessed.The tool has been tested on macOS 10.12.4 (Sierra)
and Linux Ubuntu 15.04 (Vivid Vervet)
. A VirtualBox image with Linux Ubuntu 15.04 is available, as explained below.
The base technology that is required to run the tool is as follows:
Although the tool is usable in Eclipse-independent standalone mode, we recommend the use of Eclipse Modeling Tools for editing the models. To work with Eclipse Oxygen (Modelling Package), the following plugins need to be installed:
https://github.com/mde-subtyping/web.git
.Import > Gradle project
subtyping.tests
in your git repository.Overwrite existing Eclipse project descriptors?
, choose Overwrite
.Gradle wrapper
.Import > Import Existing Projects into Workspace
.By default, the tool is configured to run the examples for macOS.
To run the tool on Linux, some configuration arguments need to be edited in the project subtyping.tests
:
In each of the packages under the folder src/test/resources
, edit the file subtyping.properties
and change the following parameter bindings as follows:
maude.os=OS_LINUX
maude.maudePath=src/test/resources/maude/maude.linux64
Please check that the file src/test/resources/maude/maude.linux64
is executable, or else modify the corresponding access permissions using chmod
.
After that explore the test cases under src/test/groovy
, which can be run as JUnit test cases. Follow the step-by-step instructions given below.
A VirtualBox image with Linux Ubuntu 15.04 (Vivid Vervet)
and Eclipse configured to run the test cases is available for download.
Ubuntu 15.04_SLE17.ova
from Google Drive.Start > Normal Start
.Eclipse Oxygen
on the desktop. Run Eclipse.In the following subsections, we provide the examples used to illustrate the core contributions in the paper.
The usual structure of a test exercising the subtyping operation is as follows:
Load the configuration properties for the solver (an example can be found here) indicating where Maude is stored and the bounds to be used by the model finder:
SolverProperties.loadPropertiesFile(propFilePath)
Create an instance of the tool and configure it:
def ModelTypeUtils tool = new ModelTypeUtils()
// whether the software artifacts involved in solution (reuse metamodel, complement metamodels, etc) are to be persisted
tool.persistent=true
// folder where software artifacts will be stored
tool.outputPath="src/test/resources/sle17/sm/example/generated/"
// whether to use multiple subtyping or strict subtyping
tool.multipleInheritance = false
Invoke the tool by providing the metamodel specifications:
tool.isOclConstrainedSubtypeOf(
sMMPath, // path to subtype EMF metamodel (.ecore)
sOcl, // string containing OCL constraints for the metamodel above, or empty string otherwise
tMMPath, // path to supertype EMF metamodel (.ecore)
tOcl // string containing OCL constraints for the metamodel above, or empty string otherwise
)
The tool will determine whether (sMMPath,sOcl)
denotes a model subtype of the model type denoted by (tMMPath,tOcl)
. This use case is illustrated in more detail below, in Scenario 1: Structural subtyping (Subtyping, Structural Refinement) and in Scenario 2: Structural subtyping with OCL constraints (Semantic Refinement, Multiple Typing). Note that any of the sets of OCL constraints may be empty (with the empty string ""
).
binding.xmi
containing bindings representing the possible multiple typings of classifiers in the subtype with classifiers of the supertype. This model is used to obtain:
binding0_reuse_mm.ecore
: extension metamodel for reusing model management operations;binding0_subtype_uncovered.ecore
: classifiers of subtype that have not been covered by the subtyping relation (data types are always included);binding0_supertype_uncovered.ecore
: classifiers of supertype that have not been covered by the subtyping relation (data types are always included);binding0_virtual_mm.ecore
: extension metamodel used for the analysis of OCL constraints (supertype classifiers are abstract);binding0.xmi
: subtypeOf relationships considered.tool.multipleInheritance = true
when configuring the tool instance, subsequent `bindingX files represent the strict typing solutions by order of recommendation prioritizing those with a better coverage of subtype classifiers with supertype classifiers, as explained in the paper. For each strict subtyping solution X, the models described above are also synthesized.If the check fails, there are two main sources of incompatibilities: the model types denoted by the metamodels, and the OCL constraints.
tMMPath
that are not extended by classes of sMMPath
in the supertype complement bindingX_supertype_uncovered.ecore
. That information is useful to assess the advantage of, for example, prunning the supertype metamodel by computing the effective metamodel w.r.t. a specific model management operation, as illustrated in Scenario 3: DSML evolution (Reuse, Partial Typing).sOcl
w.r.t. tOcl
in the form of a model conforming to the synthesized extension metamodel bindingX_virtual_mm.ecore
, represented in EMF notation (that is in XMI format), that invalidates a constraint in tOcl
. Note that the solver needs to be configured appropriately, in the configuration file as explained above, for increasing the likelihood of finding a problem if it exists.If the check succeeds, the tool guarantees that (sMMPath,sOcl)
is a structural refinement of (tMMPath,tOcl)
. Hence, any EMF model management operation that is defined for (sMMPath,sOcl)
can be safely applied to models of (tMMPath,tOcl)
. Going one step further, the tool also facilitates the reuse of such operation by automatically synthesizing an extension metamodel bindingX_reuse_mm.ecore
that can be substituted for tMMPath
in the signature of the operation ensuring its application to models conforming to (sMMPath,sOcl)
without any further change. This use case is illustrated with two scenarios: Scenario 3: DSML evolution (Reuse, Partial Typing) and Scenario 4: Stepwise Simulation of Deterministic State Machines (Reuse, Dynamic Typing).
The scenarios below illustrate specific examples that have been used to support the results in the paper. These scenarios have been implemented in test cases for ensuring the reproducibility of the results.
Note: for inspecting the generated models using model editors in Eclipse, such as the EMF reflective editor or Exeed, the corresponding metamodel needs to be registered using Epsilon's Register EPackages
facility in advance. This option appears when right-clicking on a metamodel .ecore
in Eclipse. The reason for this is that synthesized metamodels reuse information from the original metamodels and the EMF registry needs to be updated to fetch the corresponding metamodel when loading a model.
In this section, we show the expressivity of our structural subtyping operation (without OCL constraints) with respect to model typing [^Steel07] [^Guy12]. We compare our approach to model subtyping by considering their example with the following state machine metamodels:
[^Steel07]: Jim Steel, Jean-Marc Jézéquel. On model typing. Software and Ssytem Modeling 6, 4 (2007), 401-413. [^Guy12]: Clement Guy, Benoît Combemale, Steven Derrien, Jim Steel, Jean-Marc Jézequel. On Model Subtyping. ECMFA 2012. 400-415.
where changes have been highlighted.
The test cases implementing the subtyping checks can be found here and the results are summarized in the following table:
| subtypeOf | sm1 | sm2 | sm3 | sm4 | sm5 |
|---|---|---|---|---|---|
| sm1 | true | true | false | false | false |
| sm2 | false | true | false | false | false |
| sm3 | true | true | true | false | false |
| sm4 | true | true | false | true | false |
| sm5 | true | true | false | false | true |
These results are consistent with those presented in [^Steel07] but for the cases where many-bounded references in a supertype are constrained by a lower upper bound in the corresponding subtype. In our tool, those cases are valid.
In this section, we use the main example of the paper for illustrating how multiple typings can be applied to a metamodel at the classifier level, that is, a class of the subtype metamodel can be typed by more than one class in the supertype metamodel. The generalization of multiple typing at the metamodel level, where several metamodels can be used as supertype of the same subtype metamodel, is supported by providing an extension metamodel for each different pair of metamodel specifications. However, as each such extension metamodel is linked to a different pair of metamodel specifications, with the intention of reusing a model management operation in a given context, we restrict ourselves to an example with one single model management operation.
In the example, we are using the metamodel specifications depicted below for defining graphs (metamodel and OCL constraints) and deterministic state machines (metamodel and OCL constraints), resp. The model types described by both metamodels are structurally similar in that they both describe languages of graphs.
On the one hand, the top metamodel specification characterizes the graph of a function defined over nodes. On the other hand, the bottom metamodel specification characterizes deterministic state machines where transitions can be triggered by an event (indicated in the name attribute of the transition) or are triggerless, e.g. they are completion transitions.
These test cases show how to use the tool to check that the state machine metamodel specification denotes a model subtype of the one denoted by the graph metamodel:
Moreover, if we consider non-deterministic state machines by removing the OCL constraint defining the deterministic condition from the state machine metamodel specification as instructed in this test case (test_singleInheritance_isSubtypeOf_inconsistent) we obtain a non-deterministic state machine that does not satisfy the graph constraint, which is represented in object diagram notation as follows:
The counterexample in generated in the folder temp/model
, where temp
is the temporary folder specified in the corresponding subtyping.properties file. The counterexample is a model conforming to the virtual metamodel and can be casted down to the subtype as explained in the sections below.
These test cases demonstrate the usage of the possible combinations of OCL constraints with metamodels for checking structural subtyping, showing that OCL constraints are optional in metamodel specifications.
In this section, we are going to show how to reuse a model management operation - in this case, a model-to-text transformation with ATL - for a modified version of the state machine metamodel. In this scenario, we discuss how to use the tool to reuse an ATL model transformation defined for a metamodel version 1
for models of a metamodel version 2
when the metamodel version 1
is not exactly a supertype of the metamodel version 2
. In addition, we illustrate that the ATL model transformation can be applied even if a model is only partially typed by the metamodel involved in the ATL transformation.
The steps involved in this scenario relating to our tool are fully automated in the test case test_evolution_scenario. The steps that require interaction with ATL need to be carried out manually though.
Initial state machine metamodel (version 1):
We have developed an ATL transformation that serializes a state machine conforming to the previous metamodel into the format proposed by Martin Fowler:
query SM2Text = sm!StateMachine.allInstances()
->asSequence()
->first().compile().println();
helper context sm!StateMachine def: compile() : String =
'events\n' +
self.edges->iterate(e; acc : String = '' | acc + ' ' + e.name + '\n') +
'end\n\n' +
self.nodes->iterate(n; acc : String = '' | acc + n.compile() );
helper context sm!State def: compile() : String =
'state ' + self.name + '\n' +
sm!StateMachine.allInstances()->first().edges->iterate(e; acc : String ='' |
if (e.source.name=self.name) then
' ' + e.name + ' => ' + e.target.name + '\n'
else
''
endif
) +
'end\n\n';
This operation maps the state machine:
into
events
a->b
end
state a
a->b => b
end
state b
end
In an update of our DSL for state machines, a concept Event is added as an explicit class and the concept Observation is removed, producing a new metamodel (version 2):
with the following constraint, ensuring the consistency of event names:
context Transition
inv event_consistency:
not(self.event.oclIsUndefined) implies self.name=self.event.name
For which we can define state machines as follows:
The questions that we address next are:
version 2
of the metamodel (as the one depicted above)?Our subtyping operation assists us in determining that version 2
of the metamodel together with the OCL constraint is a refinement of version 1
as shown in this test case, which is not due to the removal of the Observation concept. By looking at the generated binding file and at completement of the supertype metamodel (shown below), the modeller has information to find out the source of the problem.
To see if there exists a potential valid refinement for reusing the operation, the user can extract the effective metamodel for the ATL transformation, either:
Our tool provides a facility for prunning a metamodel given the features of interest. The computed effective metamodel is as follows:
The subtyping operation is used again to check whether the effective metamodel is a valid supertype for our metamodel (version 2
), which is correct.
The subtyping operation also synthesizes:
The extension metamodel, shown above, can be used to rewrite the signature of the model management operation. In addition, as the subtyping operation had to apply some automatic renamings in order to avoid name clashes, we have to adapt the original model that conforms to version 2 to the extension metamodel as shown in the test case test_evolution_scenario. This operation retypes the objects in the original model according to the renamings inferred by the subtyping operation:
This model can be processed by the ATL transformation, after replacing the original metamodel with the synthesized extension metamodel. Note that the adaptation of the model is only mandatory when the set of class names in version 1 and the set of class names in version 2 are not disjoint.
In case the renamings applied to the subtype metamodel in the extension model make the object type names different from those in the original subtype metamodel, the tool facilitates an adaptation from the extended metamodel to the original metamodel as explained in the following scenario.
In this example, we are considering the reuse of an ATL transformation used in the paper for simulating deterministic state machines stepwise by using an ATL transformation that applies a function graph to a node. The difference with the evolution example is that the simulation example generates new elements in the transformation, which are automatically re-typed in our approach, illustrating how dynamic typing is supported.
The steps in the scenario described below have been implemented in the test case test_simulation_scenario. The resources used in the scenario are reachable from the implementation of the test case.
with the well-formedness constraints
context Edge
inv map:
not(Edge.allInstances()->exists(e |
e.source=self.source
and
e.target<>self.target
))
The ATL transformation, shown below, applies a marking to the nodes of the graph by following the order imposed by the edges of the function graph. The execution of the ATL transformation simulates the application of the graph function to a node, when there is a successor node that has not been marked in the model.
module simulation;
create OUT : graph refining IN : graph;
rule simulate {
from
n1 : graph!State ( n1.mark.oclIsUndefined() and graph!Transition.allInstances()->exists( e | e.target=n1 and not e.source.mark.oclIsUndefined()) )
to
n2 : graph!State (
mark <- m
),
m : graph!Observation (
graph <- n1.graph,
time <- graph!Transition.allInstances()->select( e | e.target=n1 and not e.source.mark.oclIsUndefined())->asSequence()->first().source.mark.time + 1
)
}
An initial graph and the resulting graphs from applying the transformation twice, that is once to the input model and a second time to the model generated after step 1, are as follows:
In these models, we have obliterated the root object Graph.
As discussed in the paper, the ATL transformation could be applicable to deterministic state machines to facilitate their simulation. The state machine metamodel that we are considering is
with the well-formedness constraint
context Transition
inv determinism:
not(Transition.allInstances()->exists(t |
t.source=self.source
and
t.target<>self.target
))
To reuse the ATL transformation, we use the subtyping operation to obtain the reuse metamodel:
In addition, we can check that the complement of the supertype metamodel only contains datatypes, indicating that all the supertype classifiers are covered by the subtyping relation and, hence, that the metamodel graph is indeed a supertype of the deterministic state machine metamodel specification.
And that the complement of the subtype metamodel contains the references initial
, final
and subMachines
between the classes State
and StateMachine
, indicating that the inferred subtyping is a partial typing.
To reuse the ATL transformation for state machines, the model representing the state machine is re-typed to the extension metamodel, obtaining a model conforming to the extension metamodel, to which the ATL transformation can be applied. In this scenario, this step is optional as the re-typing does not apply any changes to the model. However, in general, such a re-typing may apply changes as illustrated in Scenario 3: DSML evolution (Reuse, Partial Typing). After applying the ATL transformation, another model conforming to the extension metamodel is obtained where concepts from the supertype may have been created (such as Mark
). A second re-typing is necessary in order to ensure that the produced model conforms to the original state machine metamodel. This process is illustrated as follows:
As discussed in the paper, the subtyping relation must be strict in order for the last re-typing to work automatically.
MIT License
Copyright (c) 2017 Artur Boronat
Permission is hereby granted, free of charge, to any person obtaining a copy
of this software and associated documentation files (the "Software"), to deal
in the Software without restriction, including without limitation the rights
to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
copies of the Software, and to permit persons to whom the Software is
furnished to do so, subject to the following conditions:
The above copyright notice and this permission notice shall be included in all
copies or substantial portions of the Software.
 IN NO EVENT SHALL THE
AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
SOFTWARE.
Our tool reuses (adapting and extending) the following third-party tools as libraries:


|
RPMsg-Lite User's Guide
Rev. 3.0.0
NXP Semiconductors
|
The RPMsg-Lite can be configured at the compile time. The default configuration is defined in the rpmsg_default_config.h header file. This configuration can be customized by the user by including rpmsg_config.h file with custom settings. This section summarizes all possible RPMsg-Lite configuration options. More...
The RPMsg-Lite can be configured at the compile time. The default configuration is defined in the rpmsg_default_config.h header file. This configuration can be customized by the user by including rpmsg_config.h file with custom settings. This section summarizes all possible RPMsg-Lite configuration options.
Files | |
| file | rpmsg_default_config.h |
Configuration options | |
| #define | RL_MS_PER_INTERVAL |
| #define | RL_BUFFER_PAYLOAD_SIZE |
| #define | RL_BUFFER_COUNT |
| #define | RL_API_HAS_ZEROCOPY |
| #define | RL_USE_STATIC_API |
| #define | RL_CLEAR_USED_BUFFERS |
| #define | RL_USE_MCMGR_IPC_ISR_HANDLER |
| #define | RL_USE_ENVIRONMENT_CONTEXT |
| #define | RL_DEBUG_CHECK_BUFFERS |
| #define | RL_ASSERT(x) |
| #define | RL_ASSERT_BOOL(b) |
| #define RL_MS_PER_INTERVAL |
Delay in milliseconds used in non-blocking API functions for polling. The default value is 1.
| #define RL_BUFFER_PAYLOAD_SIZE |
Size of the buffer payload, it must be equal to (240, 496, 1008, ...) [2^n - 16]. The default value is 496U.
| #define RL_BUFFER_COUNT |
Number of the buffers, it must be power of two (2, 4, ...). The default value is 2U.
| #define RL_API_HAS_ZEROCOPY |
Zero-copy API functions enabled/disabled. The default value is 1 (enabled).
| #define RL_USE_STATIC_API |
Static API functions (no dynamic allocation) enabled/disabled. The default value is 0 (static API disabled).
| #define RL_CLEAR_USED_BUFFERS |
Clearing used buffers before returning back to the pool of free buffers enabled/disabled. The default value is 0 (disabled).
| #define RL_USE_MCMGR_IPC_ISR_HANDLER |
When enabled IPC interrupts are managed by the Multicore Manager (IPC interrupts router), when disabled RPMsg-Lite manages IPC interrupts by itself. The default value is 0 (no MCMGR IPC ISR handler used).
| #define RL_USE_ENVIRONMENT_CONTEXT |
When enabled the environment layer uses its own context. Added for QNX port mainly, but can be used if required. The default value is 0 (no context, saves some RAM).
| #define RL_DEBUG_CHECK_BUFFERS |
Do not use in RPMsg-Lite to Linux configuration
| #define RL_ASSERT | ( | x | ) |
Assert implementation.


To use: Type a keyword into the searchbox to filter the list of machine learning resources.
To add new entries, open a Pull Request on Github, and make sure to use
the Formatter page
.
Resources found:


Home
Profile
logout
Events
Find Events
Request an Event Invite
About Us
Create Your Event:
Event Name
Event Host
Address
Description
Event Type
Indoor Event
Outdoor Event
Virtual Event
Number of Attendees
1
2-5
6-10
10+
Date and Time
Submit


The Recno access method can be used to store both variable and fixed-length data items. By default, the data items are expected to be variable length.
When reading variable length records from a backing source file to store in the database, a delimiter character may be set as part of the db_open call to open the database, specifically by setting the re_delim element of the DB_INFO structure. Because there is no out-of-band value for this character, the DB_DELIMITER flag must also be set.
If an application is reading variable length records from a backing source file to store in the database and the DB_DELIMITER flag is not set, a newline character (i.e., 0x0a in the ASCII character set) is used as the delimiter.


Copyright © 1995-2008 Barend Gehrels, Geodan Holding B.V. Amsterdam, the Netherlands.
Copyright © 2008 Bruno Lalande, Paris, France.
Distributed under the Boost Software License, Version 1.0.
(See accompanying file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
The algorithms include some well-known and often needed algorithms as point-in-polygon, polygon area, point-to-point distance, point-to-line distance, line clipping and polygon clipping. The algorithms work, of course, on the geometry classes provided by the library, but they also work on geometry classes defined by the library user.
The library follows conventions used in the std:: library and in the boost:: libraries. It also follows, where possible, the OGC names and conventions. OGC is the Open Geospatial Consortium, the standardization committee on GIS (Geographical Information Systems). OGC geometries are used in many environments, among others in databases (Oracle, MySQL, PostgreSQL). OGC specifies a library based on inheritance, as opposed to this library, which is a template library where data classes are strictly separated from the algorithms. Therefore it is not an OGC implementation (but an OGC implementation could be built with this library).
It doesn't compile on the following platform:
In 2007/2008 the Geometry part has been revised and completely templatized. In 2008 Bruno Lalande, already a Boost contributor, joined and helped to make the library even more generic and to define clear concepts. The Geometry Library is Open Source and will be proposed to the Boost community.
This is preview 3.
The library can be downloaded on the Download page
|
October 14, 2008 |
Copyright © 1995-2008 Barend Gehrels, Geodan Holding B.V. Amsterdam, the Netherlands Copyright © 2008 Bruno Lalande, Paris, France |