Hey! My name is Pranay Kumar (if you didn't notice), and I am a proud undergraduate of the University of California, Berkeley. Through my coursework at school and past internship experience, I have developed an avid interest for computer science. I especially nerd out when it comes to web and mobile application development, and always love a good problem to solve. What's next for me as a computer scientist? I want to dive into the field of AI and machine learning - what's cooler than making a computer think like a human? Not much.
Surprisingly, I do have a life outside of CS. In my hometown of Foothill Ranch, California (you haven't heard of it?), there isn't much to do apart from soak up the sun and eat food. As a result, I found myself drawn towards watching and playing sports of all kind. When I'm not in front of my laptop, I'm usually in the gym lifting weights or working on my jump shot. When I'm not trying to (questionably) imitate Kobe Bryant, I'm probably out on the tennis court perfecting my groundstrokes. Sports gives me a much appreciated break from my otherwise nerdy lifestyle.
Did I mention I go to Cal? I am a third year undergraduate majoring in Electrical Engineering and Computer Sciences. Life in Berkeley is quite... interesting, as not a day goes by where I don't see something new. I stay involved in the CS community on campus by reading and tutoring for lower division classes, and as a member of Eta Kappa Nu, UC Berkeley's EECS Honors Society. When I'm not "studying" for midterms or "paying attention" in lecture, I participate in intramural basketball tournaments throughout the semester. These activities, the stimulating coursework, and the amazing friends I've made have made my experience at Cal unforgettable.
Hey! My name is Pranay Kumar (if you didn't notice), and I am a proud undergraduate of the University of California, Berkeley. Through my coursework at school and past internship experience, I have developed an avid interest for computer science. I especially nerd out when it comes to web and mobile application development, and always love a good problem to solve. What's next for me as a computer scientist? I want to dive into the field of AI and machine learning - what's cooler than making a computer think like a human? Not much.
Surprisingly, I do have a life outside of CS. In my hometown of Foothill Ranch, California (you haven't heard of it?), there isn't much to do apart from soak up the sun and eat food. As a result, I found myself drawn towards watching and playing sports of all kind. When I'm not in front of my laptop, I'm usually in the gym lifting weights or working on my jump shot. When I'm not trying to (questionably) imitate Kobe Bryant, I'm probably out on the tennis court perfecting my groundstrokes. Sports gives me a much appreciated break from my otherwise nerdy lifestyle.
Did I mention I go to Cal? I am a third year undergraduate majoring in Electrical Engineering and Computer Sciences. Life in Berkeley is quite... interesting, as not a day goes by where I don't see something new. I stay involved in the CS community on campus by reading and tutoring for lower division classes, and as a member of Eta Kappa Nu, UC Berkeley's EECS Honors Society. When I'm not "studying" for midterms or "paying attention" in lecture, I participate in intramural basketball tournaments throughout the semester. These activities, the stimulating coursework, and the amazing friends I've made have made my experience at Cal unforgettable.
In the summer of 2016, I had my first internship at AppFolio, Inc. My project over the summer was to develop the AppFolio Property Manager mobile app for iOS and Android using React Native and Ruby on Rails. My 14 weeks were extremely valuable, as I matured as an engineer and learned how to work efficiently and agile-ly in a team. Ultimately, we released the app to the public and it is a great success.
My three housemates in Berkeley are all CS nerds like me, so naturally in sophomore year we decided to create a startup application company - Laucity. We specialize in developing web and mobile apps that make the lives of college students just a bit easier. I specialize in the mobile and front-end web development of our applications. Currently, we have one BIG idea that is under development. Stay tuned!
In the summer of 2017, I have the privilege of being a software engineering intern at LinkedIn Corporation. My project will mainly be focused on the paid features of the product, such as the Recruiters platform and LinkedIn Learning. I am looking forward to having a wonderful three months learning new skills, connecting with lots of talented people, and having loads of fun!
In the summer of 2016, I had my first internship at AppFolio, Inc. My project over the summer was to develop the AppFolio Property Manager mobile app for iOS and Android using React Native and Ruby on Rails. My 14 weeks were extremely valuable, as I matured as an engineer and learned how to work efficiently and agile-ly in a team. Ultimately, we released the app to the public and it is a great success.
My three housemates in Berkeley are all CS nerds like me, so naturally in sophomore year we decided to create a startup application company - Laucity. We specialize in developing web and mobile apps that make the lives of college students just a bit easier. I specialize in the mobile and front-end web development of our applications. Currently, we have one BIG idea that is under development. Stay tuned!
In the summer of 2017, I have the privilege of being a software engineering intern at LinkedIn Corporation. My project will mainly be focused on the paid features of the product, such as the Recruiters platform and LinkedIn Learning. I am looking forward to having a wonderful three months learning new skills, connecting with lots of talented people, and having loads of fun!
ReLive is a smart, searchable photo gallery that lets you relive your past moments. I, along with 4 of my friends, built this web app for CalHacks 3.0 (November 2016). Users can upload any number of photos they like, and our app (with a little help from Microsoft) will analyze each picture thoroughly. Each picture is given a caption and a series of tags that describe it. We use these captions and tags to make the picture gallery searchable by keyword, so users can easily and quickly relive their memories.
ReLive is a smart, searchable photo gallery that lets you relive your past moments. I, along with 4 of my friends, built this web app for CalHacks 3.0 (November 2016). Users can upload any number of photos they like, and our app (with a little help from Microsoft) will analyze each picture thoroughly. Each picture is given a caption and a series of tags that describe it. We use these captions and tags to make the picture gallery searchable by keyword, so users can easily and quickly relive their memories.
CheckersSquared is a fun, web-based twist on Checkers. In this version of the game, there are four players and the person with the most points at the end of the game wins. This was a project I contributed to at CalHacks 2.0 (October 2015), and it was my first real venture into web development. We used Node.js as the backend framework, and integrated Socket.io to easily relay game information (and smack talk) between players.
CheckersSquared is a fun, web-based twist on Checkers. In this version of the game, there are four players and the person with the most points at the end of the game wins. This was a project I contributed to at CalHacks 2.0 (October 2015), and it was my first real venture into web development. We used Node.js as the backend framework, and integrated Socket.io to easily relay game information (and smack talk) between players.
Great Course Guide is a helpful guide for UC Berkeley EECS students who don't really know which professors are the best. This web app uses course survey data from the past 20 years to recommend courses for students based on their satisfied prerequisites and the best professors. All information is laid out in an intuitive and professional manner to ease the course selection process. This app uses the Material Design pattern for the user interface, and Ruby on Rails for the back end.
Great Course Guide is a helpful guide for UC Berkeley EECS students who don't really know which professors are the best. This web app uses course survey data from the past 20 years to recommend courses for students based on their satisfied prerequisites and the best professors. All information is laid out in an intuitive and professional manner to ease the course selection process. This app uses the Material Design pattern for the user interface, and Ruby on Rails for the back end.
Plip.io was inspired by other popular IO games like sliter.io and agar.io. Plip.io is an online multiplayer tank shooter game, built entirely in Javascript. For the graphics, we used a (Javascript) library called Phaser.io. Plip.io is super action packed and extremely fun, and the next step before it is released to the public is to scale so we can support hundreds of players. Stay tuned!
Plip.io was inspired by other popular IO games like sliter.io and agar.io. Plip.io is an online multiplayer tank shooter game, built entirely in Javascript. For the graphics, we used a (Javascript) library called Phaser.io. This game is super action packed and extremely fun, and the next step before it is released to the public is to scale it to be able to support hundreds of players. Stay tuned!
We've all played Pacman before, and this game is nothing different than the classic. But my roommate and I one day decided to build the game in Java for no particular reason. And so we did. For the graphics, we used Princeton University's STDraw library. One thing we plan to add in the future is (artificial) intelligence for the ghosts, so they don't act that dumb.
We've all played Pacman before, and this game is nothing different than the classic. But my roommate and I one day decided to build the game in Java for no particular reason. And so we did. For the graphics, we used Princeton University's STDraw library. One thing we plan to add in the future is (artificial) intelligence for the ghosts, so they don't act that dumb.
Hello! My name is... Okay I'm kidding. I created this website in December 2016 with the hopes of getting my name out there and improving my web development skills. You may have noticed that I chose an unconventional, magazine-like design, and that was intentional. Every scroll of the screen or swipe of the finger is a turn of a page in the magazine. Thanks for visiting, and any feedback is welcome!
Hello! My name is... Okay I'm kidding. I created this website in December 2016 with the hopes of getting my name out there and improving my web development skills. You may have noticed that I chose an unconventional, magazine-like design, and that was intentional. Every scroll of the screen or swipe of the finger is a turn of a page in the magazine. Thanks for visiting, and any feedback is welcome!


ARC451 Game Design
1
Syllabus
1.1
Description
1.2
Evaluation
1.2.1
In-class assignments – Homework:
1.2.2
Critical analysis of a game:
1.2.3
Final project:
2
PONG
2.1
Getting Started
2.1.1
2.2
Drawing Shapes to the Screen
2.3
User Input
2.4
Player Bounds
2.5
Ball Movement
2.6
Bouncing from the sides
2.7
Collider for Ball and Paddles
2.8
Score
2.9
Score update and UI
2.10
Sound
2.11
Assignment
3
Flappy Bird
3.1
Initial Setup
4
Critical Game Analysis
4.1
First step is selecting a game.
4.2
Before you start analysing: play the game
4.3
Contextualize
4.4
Game Overview
4.5
Formal Elements
4.6
Round up your discussion
5
Additional Resources
Published with bookdown
ARC451 Game Design
Chapter 5
Additional Resources
Create with Code
https://learn.unity.com/course/create-with-code


Declarative Cookie Form
Check required fields
×
{{main.$cookieFields | json}}
Submitted valid
×
*Google Analitycs required
Google Tag Manager
Accept
Remove Cookie
Cookie "consent" exist in your browser
{{main.$cookie | json}}
Cookie "consent" not exist in your browser
{{main.$cookie | json}}


Reports assignment to or modification of
for
statement parameters inside the
for
loop body. While occasionally intended, this construct can be extremely confusing, and is often the result of a typo.


An accordion component is a collection of expandable panels associated with a common outer container. Panels consist of a header and an associated content region or panel. The primary use of an Accordion is to present multiple sections of content on a single page without scrolling, where all of the sections are peers in the application or object hierarchy. The general look is similar to a tree where each root tree node is an expandable accordion header.
The accordion component must have a role of tablist and have aria-multiselectable="true" This will enable an assistive technology, such as screen reader, to convey that the tablist is an accordion or a multiselectable tablist. This will also tell the user that the keyboard navigation matches an accordion and not a tablist.
Contained within the tablist is a set of tab/tabpanel pairs. Each header tab in the tablist has a role of tab. The accordion panel uses the role tabpanel and should have an aria-labelledby relationship referencing the correponding header having a role of tab
An accordion component is a collection of expandable panels associated with a common outer container. Panels consist of a header and an associated content region or panel. The primary use of an Accordion is to present multiple sections of content on a single page without scrolling, where all of the sections are peers in the application or object hierarchy. The general look is similar to a tree where each root tree node is an expandable accordion header.
The accordion component must have a role of tablist and have aria-multiselectable="true" This will enable an assistive technology, such as screen reader, to convey that the tablist is an accordion or a multiselectable tablist. This will also tell the user that the keyboard navigation matches an accordion and not a tablist.
Contained within the tablist is a set of tab/tabpanel pairs. Each header tab in the tablist has a role of tab. The accordion panel uses the role tabpanel and should have an aria-labelledby relationship referencing the correponding header having a role of tab
An accordion component is a collection of expandable panels associated with a common outer container. Panels consist of a header and an associated content region or panel. The primary use of an Accordion is to present multiple sections of content on a single page without scrolling, where all of the sections are peers in the application or object hierarchy. The general look is similar to a tree where each root tree node is an expandable accordion header.
The accordion component must have a role of tablist and have aria-multiselectable="true" This will enable an assistive technology, such as screen reader, to convey that the tablist is an accordion or a multiselectable tablist. This will also tell the user that the keyboard navigation matches an accordion and not a tablist.
Contained within the tablist is a set of tab/tabpanel pairs. Each header tab in the tablist has a role of tab. The accordion panel uses the role tabpanel and should have an aria-labelledby relationship referencing the correponding header having a role of tab


A busy fishing and commercial port located on the E coast of the Red Sea.
Position 14°50.1'N,42°56.1’E.
Port control in Hodeidah should be contacted in advance on VHF Channel 16 to advise ETA, name of vessel and other details, otherwise the yacht may not be allowed into the port.
Hodeidah is approached through a 10 mile long channel. Pilotage is only compulsory for vessels over 150 GRT.
Not a recommend stop for yachts as the port has no suitable moorings for yachts and charges are very high.
It is possible that crews will not be given permitted to leave the port area.
Last updated August 2014.


{% extends "layout.html" %} {% block title %} {% if unit %} Uploads for {{ unit }} {% else %} Hidden Uploads {% endif %} {% endblock title %} {% block layout-content %}
These are all your files associated with unit {{ unit }}, such as problem set submissions and lecture note transcripts.
{% if files|length > 0 %}Nothing here yet!
To manually upload a new file related to this unit, use the following form.
Students should NOT submit problem sets through this form. Use the submit unit form instead.


Resource Search
UWCL Resource Uploading Form
beta
The Resource
File
File Type Not Allowed
Short Identifier
no spaces
Title
Date
Category
Description
Tags
comma separated list
URL
if the application is dynamically hosted
The Authors
First Author:
The References
Published Reference
The Uploader
Uploader Name
Uploader Email
Submit Form


The administrator is temporarily unable to create Web page due to working too hard. Please try again in the next year.
@kongou_ae(east) at www.airinterop.jp


Arduino is a fantastic microcontroller that allows people to explore electronics and simple processes.
I did fall a bit behind on this section due to the surgery on my elbow and recovery.
ALthough I was cut a bit short, I did really enjoy learning about Arduino.
At Walsh Jesuit I helped create the robotics club, however we never got to Arduinos so I was excited to finally use them here.
Below are a few of the examples I created


Parents might have a stronger preference for their sons to attend school. Or they may prefer more schooling for children they perceive to be smarter or more talented.
Traveling to school is often physically and financially burdensome, particularly for younger children and girls.
Education comes with all sorts of costs. Direct costs may be incurred in the form of textbooks and uniforms. Time at school also means time spent away from the workforce, which presents opportunity costs.
Varying public investment in education affects the supply of schools and teachers and the quality of education.


JSON-RPC is a stateless, light-weight remote procedure call (RPC) protocol. Primarily this specification defines several data structures and the rules around their processing. It is transport agnostic in that the concepts can be used within the same process, over sockets, over http, or in many various message passing environments. It uses JSON (RFC 4627) as data format. It is designed to be simple!
Know more about JSON-RPCFlask is a microframework for Python based on Werkzeug, Jinja 2 and good intentions..
Know more about FlaskFront-end Developer
Back-end Developer
UI Desiner
Robustness Tester
Every effort pays off.


Be sure to...
dset
folder) to your server's root directory.
In this session, you'll program a CODAP plugin—an estimation game—in JavaScript, or possibly NetLogo. Click here for instructions.
For the "vanilla" Mac situation, if everything is installed properly, you can run it with this URL:
http://codap.concord.org/releases/dsg?di=http://localhost/dset/estim8/estim8.html
If you have changed your server or are not on a Mac, alter the above URL to point to the dset
folder.
In this session, you'll teach your plugin to repond to CODAP events such as case selection.


| DOSE: |
12 hits |
oral |
LSD |
(blotter / tab) |
So then i took 12 hits of this purebred Octopus blotter, and after the usual leave the body white light communion and birth of the universe-genetic racial memory bit, i found myself (not to say that i had any concept of 'i,' 'my' or 'self') in an unfamiliar space. I was within a multi-dimensional web, somewhat akin to a sphere with a center everywhere and circumference nowhere, being turned in on itself an infinite number of times. The web was boundless in its permutations, copmposed of blue hexa-octa-and decahedral cells and not in linear time.
I was not alone.
There were others, distinct, and i believe non-human entities; and they were mildly annoyed at my unannounced visit. They were rather busy, engeged in a game, The Game; i was a pawn, one of many in the 'stable' of an entity called 'Chako,' a '7th-level oversser.' The game took place on many levels, only one of which was our familiar, everyday consensus reality. Apparently, all beings vibrate at certain specific levels of psychic frequencies; by seriously tampering with mine through the ingestion of much dosage, I jumped temporarily to receiving 'level 4' data, and ended up in this 'overseer' domain. Chako 'told' me all this through convoluted yet clear thoughtforms, which i understood only partially, being limited in my wetware.
The object of the game, while ungrokkable to a level 1 entity such as myself, did not appear to be entirely benevelent. For that matter, Chako was not benevelent at all, and posessed of a rather demonic ambience. Anyhow, as Chako's pawn, i was to face another, someone else's pawn, but whether this other was human, when, where and on which plane was not made clear. At this point, the the effects of the lucidant were waning, and i was pulled out of the web, with no reluctance i must say.
Unlike many other trips where the revelations are fogotten shortly after emergence, I was left with distinct memories of the events that transpired and an almost engramatic warning of consequences of 'jumping' psychic levels. The strangest of all was the clarity of the name Chako and the concept of humans as psychic pawns in overseer's stables, playing The Game without a clue as to its purpose.
This happened several years ago, it was neither my first nor my last high mikage experiment, but i have not been to the overseer domain since. Psychomemetics, hallucinogens, fantasticants - call them what you will, this was as real as anything i've experienced, mindset and setting irrelevant at this dosage. I await the encounter with the other, and i have no doubt i'll know when it comes. I hope i will be ready.
 If so, did you figure out what the purpose of the Game is? I'd appreciate any comments, thoughts and ideas you may have on this matter.
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.


Callbacks!
All the callbacks you need to do whatever you need.
Just what you would expect.
Total control over your website.


Use the .badge
class, followed by.bg-{color}
class within element to
create primary badge.
Use class .badge-glow
to add glow effect to contextual badge.
Use class .badge
class with .badge-light-{color}
to add light effect to
your badge.
Use <a>
tag inside your .badge
to create a badge with icon
Use .d-block
class with .badge
, to display badge as a block element.


The source string.
The parser options.
The source string.
The parser options.
The parsing mode stack.
The parser options.
The source input stream.
The current parsing mode.
Tries to parse a command argument.
Tries to parse a command.
Tries to parse a command part.
Parses command parts while the source is valid and the desired part count is not reached (if set).
Number of parts to parse.
Returns the opening quote presented at the current source position, if any.
Tries to parse a command flag.
Returns the corresponding closing quote for the opening one.
The opening quote.
Matches the rest of the source and returns it as a string.
Tries to parse a quoted string argument.
Resets the parser state.
Tries to match a rest marker. If matched, matches and returns the rest of the source as a string argument. Otherwise, returns null.
Tries to parse a simple string argument (anything which is not a marker).
Tries to parse a simple or an empty argument.
Skips all subsequent separators.
Tries to parse a string argument.
Generated using TypeDoc
Class for parsing commands.


DBC Symptoms Form
Personal Information
First Name:
Last Name:
Gender:
Male
Female
Age:
Choose One
13-19 years
20-24 years
25-34 years
35-44 years
45-54 years
55-64 years
65+ years
DBC Cohort:
Choose One
Red Admirals 2014
Pocket Gophers 2014
Fiery Skippers 2014
Nighthawks 2014
Dragonflies 2014
Grasshoppers 2014
Spring Peepers 2014
Fiddler Crabs 2014
Symptoms
Average Amount of Sleep Over Last 2 Weeks:
Choose One
Under 4 hrs
4-5 hrs
5-6 hrs
6-7 hrs
7-8 hrs
8-9 hrs
9+ hrs
Symptoms
(check all that apply):
Anxiety
Chills
Cough
Decreased Appetite
Craving to eat ice, dirt or paper
Additional Symptoms and/or Comments


|
Herbrand Equivalence
LLVM implementation of Herbrand Equivalence algorithm mentioned at https://arxiv.org/abs/1708.04976
|
Go to the source code of this file.
Macros | |
| #define | VAR_VAR(x) {{false, x}, -1} |
| #define | NULL_VAR {{false, -1}, -1} |
| #define | CONST_VAR(x) {{true, x}, -1} |
Typedefs | |
| typedef pair< ValueTy, int > | VarType |
| typedef tuple< char, VarType, VarType > | ExpType |
Functions | |
| template<typename T > | |
| void | setIntersect (set< T > &xset, set< T > &yset) |
| Generic function to find the intersection of two std::set. More... | |
| set< char > | Ops ({'+'}) |
| void | assignIndex () |
| bool | samePartition (vector< int > &first, vector< int > &second) |
| int | findSet (vector< int > &partition, ExpType exp) |
| void | findInitialPartition (vector< int > &partition) |
| void | getClass (int varId, vector< int > partition, set< int > &varClass) |
| bool | printExp (ExpType const &exp, bool printCopy, bool flag) |
| void | printPartition (vector< int > const &partition, bool printCopy) |
| void | processCopiedVariables (int cfgIndex) |
| void | transferFunction (int cfgIndex) |
| void | confluenceFunction (int cfgIndex) |
| void | findHerbrandEquivalence (bool printCopy) |
| int | main (int argc, char **argv) |
Variables | |
| vector< VarType > | CuV |
| map< ExpType, int > | IndexExp |
| int | SetCnt = 0 |
| vector< vector< int > > | Partitions |
| map< tuple< char, int, int >, int > | Parent |
| Program | program |
| #define CONST_VAR | ( | x | ) | {{true, x}, -1} |
Definition at line 19 of file oldHerbrandEquivalence.cpp.
| #define NULL_VAR {{false, -1}, -1} |
Definition at line 18 of file oldHerbrandEquivalence.cpp.
| #define VAR_VAR | ( | x | ) | {{false, x}, -1} |
Definition at line 17 of file oldHerbrandEquivalence.cpp.
Definition at line 41 of file oldHerbrandEquivalence.cpp.
| typedef pair<ValueTy, int> VarType |
Definition at line 40 of file oldHerbrandEquivalence.cpp.
| void assignIndex | ( | ) |
Definition at line 54 of file oldHerbrandEquivalence.cpp.
| void confluenceFunction | ( | int | cfgIndex | ) |
Definition at line 235 of file oldHerbrandEquivalence.cpp.
| void findHerbrandEquivalence | ( | bool | printCopy | ) |
Definition at line 288 of file oldHerbrandEquivalence.cpp.
| void findInitialPartition | ( | vector< int > & | partition | ) |
Definition at line 110 of file oldHerbrandEquivalence.cpp.
| int findSet | ( | vector< int > & | partition, |
| ExpType | exp | ||
| ) |
Definition at line 98 of file oldHerbrandEquivalence.cpp.
| void getClass | ( | int | varId, |
| vector< int > | partition, | ||
| set< int > & | varClass | ||
| ) |
Definition at line 141 of file oldHerbrandEquivalence.cpp.
| int main | ( | int | argc, |
| char ** | argv | ||
| ) |
Definition at line 336 of file oldHerbrandEquivalence.cpp.
| set<char> Ops | ( | {'+'} | ) |
| bool printExp | ( | ExpType const & | exp, |
| bool | printCopy, | ||
| bool | flag | ||
| ) |
Definition at line 151 of file oldHerbrandEquivalence.cpp.
| void printPartition | ( | vector< int > const & | partition, |
| bool | printCopy | ||
| ) |
Definition at line 180 of file oldHerbrandEquivalence.cpp.
| void processCopiedVariables | ( | int | cfgIndex | ) |
Definition at line 199 of file oldHerbrandEquivalence.cpp.
| bool samePartition | ( | vector< int > & | first, |
| vector< int > & | second | ||
| ) |
Definition at line 81 of file oldHerbrandEquivalence.cpp.
| void setIntersect | ( | set< T > & | xset, |
| set< T > & | yset | ||
| ) |
Generic function to find the intersection of two std::set.
| T | Any valid type for which std::set can be created |
| [in] | xset | Reference to first input set |
| [in,out] | yset | Reference to second input set |
Definition at line 32 of file oldHerbrandEquivalence.cpp.
| void transferFunction | ( | int | cfgIndex | ) |
Definition at line 214 of file oldHerbrandEquivalence.cpp.
| vector<VarType> CuV |
Definition at line 43 of file oldHerbrandEquivalence.cpp.
| map<ExpType, int> IndexExp |
Definition at line 46 of file oldHerbrandEquivalence.cpp.
| map<tuple<char, int, int>, int> Parent |
Definition at line 50 of file oldHerbrandEquivalence.cpp.
| vector<vector<int> > Partitions |
Definition at line 49 of file oldHerbrandEquivalence.cpp.
| Program program |
Definition at line 52 of file oldHerbrandEquivalence.cpp.
| int SetCnt = 0 |
Definition at line 47 of file oldHerbrandEquivalence.cpp.


Show all comments on page load
Don't show user avatars in comment page
Change cursor style and highlight comment header when touching (for collapsing)


---
sort_order: 174
tei_id: rdx_b5j2m.p.idm191393200
annotation_count: 0
images:
small-thumbnail: http://readux.library.emory.edu/books/emory:b5j2m/pages/emory:p799b/mini-thumbnail/
json: http://readux.library.emory.edu/books/emory:b5j2m/pages/emory:p799b/info/
full: http://readux.library.emory.edu/books/emory:b5j2m/pages/emory:p799b/fs/
page: http://readux.library.emory.edu/books/emory:b5j2m/pages/emory:p799b/single-page/
thumbnail: http://readux.library.emory.edu/books/emory:b5j2m/pages/emory:p799b/thumbnail/
title: Page 174
number: 174
---
{% raw %}170 MRS. H. BEECHER STOWE's " UNCLE TOM."{% endraw %}
{% raw %}men, one coloured and one white, who owned free¬{% endraw %}
{% raw %}hold property unencumbered, and were willing to{% endraw %}
{% raw %}pledge themselves to pay the costs, that they would{% endraw %}
{% raw %}undertake the case." They said " I must keep in the{% endraw %}
{% raw %}background, while the two men should be the osten¬{% endraw %}
{% raw %}sible ' relators.' " I found the men that same night,{% endraw %}
{% raw %}and pledged n^self to them " that I would pay the{% endraw %}
{% raw %}costs if they would allow their names to be used."{% endraw %}
{% raw %}The attorney-general brought the suit for non-fulfil¬{% endraw %}
{% raw %}ment of trusts and for maladministration of the affairs{% endraw %}
{% raw %}of the school. A clever lawyer of Toronto defended{% endraw %}
{% raw %}the gentleman, and the war commenced in earnest.{% endraw %}
{% raw %}In the beginning I paid two hundred dollars, and{% endraw %}
{% raw %}borrowed money from time to time by mortgaging,{% endraw %}
{% raw %}first one house and lot, then three houses and{% endraw %}
{% raw %}lots, then re-mortgaged them, then sold several lots{% endraw %}
{% raw %}to pay the mortgages, then re-mortgaged, and was{% endraw %}
{% raw %}constantly called upon to pay disbursements to the{% endraw %}
{% raw %}lawyers. It was an anxious, perplexing period, for{% endraw %}
{% raw %}the case was taken from court to court, till seven{% endraw %}
{% raw %}years had elapsed, when at last, wearied and ex¬{% endraw %}
{% raw %}hausted, the lawyer offered to give it up as a non¬{% endraw %}
{% raw %}suit if his expenses during these seven years could be{% endraw %}
{% raw %}paid. To this we all agreed, and the important case{% endraw %}
{% raw %}was decided in our favour. Then the Court of{% endraw %}
{% raw %}Chancery appointed a new board of trustees, granted{% endraw %}
{% raw %}a bill to incorporate the institution as the Wilber-{% endraw %}
{% raw %}force University, also the power to sell the land,{% endraw %}
{% raw %}which brought about 30,000 dollars, £6,000, in cash,{% endraw %}
{% raw %}with a stipulation that the University should be{% endraw %}
{% raw %}erected on a plot of ground in the same county. The{% endraw %}
{% raw %}town of Chatham, Canada, was selected, and for four{% endraw %}


+++
title = "Tiradito de pescado"
slug = "tiradito-de-pescado"
date = 2007-05-03T14:00:00+10:00
tags = ["tasty", "spicy", "cooking", "crazy-consumptions"]
locations = ["peru/cusco"]
draft = false
summary = """
After the success of making lomo saltado in last Thursday's cooking class, I decided to come back for more this week. Tiradito de pescado is a delicious dish of raw fish, served cold with a chili and lemon paste sauce, and with sweet potato and corn. This week, not only did we have this gourmet cuisine to prepare; we also had a professional chef instructing us, a bigger kitchen to work with (Jesus's kitchen), and a bigger class. ¡Perfecto y muy Rico!
"""
+++
After the success of making lomo saltado in last Thursday's cooking class, I decided to come back for more this week. Tiradito de pescado is a delicious dish of raw fish, served cold with a chili and lemon paste sauce, and with sweet potato and corn. This week, not only did we have this gourmet cuisine to prepare; we also had a professional chef instructing us, a bigger kitchen to work with (Jesus's kitchen), and a bigger class. ¡Perfecto y muy Rico!
{{< galleryphoto "2007-05-03-14-00-00--the-class-helping-to-prepare-the-dish.jpg" >}}
Ingredients
- 300g filleted white fish (preferably doral)
- 8 limes
- 150g chili and rocoto (Peruvian type of chili)
- ¼ cup fresh coriander
- 1 camote (Peruvian sweet potato)
- 1 choclo (Peruvian corn cob)
- 1 lettuce
- salt and pepper
{{< galleryphoto "2007-05-03-14-01-00--the-chef-hard-at-work-slicing-up-the-pescado.jpg" >}}
Instructions
- Put the fish in the coldest part of the fridge, and leave until cold and hard.
- Slice the chilies in half, and remove the seeds from inside.
- Peel leaves off choclo, and slice the choclo into small chunks (choclitos).
- Boil the chilies in a saucepan of water, until soft.
- Tear off the leaves from the coriander, and dispose of the stalks.
- Take the chilies out of the saucepan, and remove their thin outer skin (very difficult — requires patience and fingernails!).
- Boil the choclitos in a saucepan, until soft and expanded.
- Boil the camote in a saucepan, until soft.
- Put the chilies in a blender, and blend thoroughly into a paste.
- Chop the limes in half, and squeeze the juice through a sieve, into a bowl or cup.
- Take out the fish, chop into thin slices, and return the slices to the fridge.
- Little by little, mix the chili paste and the lemon juice together in one bowl. Add a pinch of salt and pepper, and stir.
- Take off the choclitos, and let stand.
- Tear the lettuce into large leaves.
- Chop the kernels off the choclitos.
- Take off the sweet potato and let stand.
- Array the slices of fish on a plate, and delicately pour teaspoons of the chili paste on top.
- Garnish with the choclo kernels, lettuce leaves, chopped coriander leaves, and chopped sweet potato.
- Let stand, and serve cold and fresh. ¡Buen provecho!
{{< galleryphoto "2007-05-03-14-02-00--the-finished-plato.jpg" >}}
And be sure to check out the video of the chef in action. This guy knows what he's doing!


--- layout: archive title: Zulip Chat Archive permalink: /stream/116395-maths/topic/nat.20case.20bashing.html ---
Is there a good proof of
lemma zou (n : ℕ) (hn : n ≤ 1) (h: n ≠ 0) : n = 1 := by simpa [nat.lt_succ_iff, nat.le_zero_iff, h] using lt_or_eq_of_le hn
(I mean, other than waiting for #1596 -- I would love this to get into mathlib, but I don't feel qualified to review it).
omega
?
Yes, thanks!
{% endraw %}Last updated: Apr 24 2020 at 19:02 UTC


Sep 2015 – April 2016
Department of Computer Science & Software Engineering
Concordia University | Montreal, QC
Feb 2015 – Aug 2015
Connio Innovations Ltd. | Dhaka, Bangladesh
Jan 2014 – Jan 2015
Matroid Technologies | Dhaka, Bangladesh
Java| Distributed System Design Course Project
PHP, MySQL, JavaScript, HTML/CSS | Relational Database Course Project
JavaScript (ReactJS) | React Fundamentals


Post edited 1 x times, last by
Topicstarter
If you are under the top 50 of a weapon the link to BF4STATS.COM ist wrong!
"http://bf4stats.com/leaderboards/pc_weapon_mx4&ref=bblog" this link isn't working - you need to add
"start=0&" in every weapon rank under 50!
this link is correct
"http://bf4stats.com/leaderboards/pc_weapon_mx4?start=0&ref=bblog"
greetings Blacky007
Post edited 1 x times, last by
BrainFooLong
Administrator
BrainFooLong
Administrator
Do you have an example player with that score?
Edit: Already have one.
Will check this out
Greetz
Topicstarter
BrainFooLong wrote:
Do you have an example player with that score?
Edit: Already have one.
Will check this out
Greetz
any new Information about this?
BrainFooLong
Administrator
No, i am currently busy with other projects.
Post edited 1 x times, last by
Topicstarter
k good to know - I can fix the link manually every time - but it would be better if it is fixed in general
Greetings Blacky
BrainFooLong
Administrator
Should be fixed in new version


SpriteSpin
Download
How To
Examples
Download
source on github
annoted source code
download zip
Bower
$ bower install spritespin
cdnjs
Spritespin is also hosted on cdnjs
here
License
Code licensed under the
MIT license


The mailing lists have been consolidated into one Google Group for users and developers asking questions about XStream's usage, making enhancements requests or proposing improvements for its implementation. Another read-only Google Group is for all kind of notifications like announcements, commit or build server status messages.
Google Groups provide standard mailing list functionality as well as a user interface in form of a web-based forum.
The former mailing lists hosted at Codehaus are gone, but still available in public archives at MarkMail.


Add the yui3-table
classname to a table to style an HTML table similar to how a YUI3 Datatable would be styled. This class adds appropriate padding and borders to table elements, and increases the emphasis on the header.
| # | Make | Model | Year |
|---|---|---|---|
| 1 | Honda | Accord | 2009 |
| 2 | Toyota | Camry | 2012 |
| 3 | Hyundai | Elantra | 2010 |
To add horizontal and vertical borders to all cells, add the yui3-table-bordered
classname to the table
element.
| # | Make | Model | Year |
|---|---|---|---|
| 1 | Honda | Accord | 2009 |
| 2 | Toyota | Camry | 2012 |
| 3 | Hyundai | Elantra | 2010 |
If you prefer to just have horizontal lines, add the yui3-table-horizontal
classname to the table
element.
| # | Make | Model | Year |
|---|---|---|---|
| 1 | Honda | Accord | 2009 |
| 2 | Toyota | Camry | 2012 |
| 3 | Hyundai | Elantra | 2010 |
Large tables are easier to parse visually if rows are easily distinguishable. Adding the yui3-table-odd
class name to every other tr
element changes the background of the row and creates a zebra-styled effect.
| # | Make | Model | Year |
|---|---|---|---|
| 1 | Honda | Accord | 2009 |
| 2 | Toyota | Camry | 2012 |
| 3 | Hyundai | Elantra | 2010 |
| 4 | Ford | Focus | 2008 |
| 5 | Nissan | Sentra | 2011 |
| 6 | BMW | M3 | 2009 |
| 7 | Honda | Civic | 2010 |
| 8 | Kia | Soul | 2010 |
To remove the styled header, simply add the yui3-thead-simple
class name to the thead
element. You can mix and match this with other table class names mentioned above.
| # | Make | Model | Year |
|---|---|---|---|
| 1 | Honda | Accord | 2009 |
| 2 | Toyota | Camry | 2012 |
| 3 | Hyundai | Elantra | 2010 |


:lack of agreement or harmony (as between persons, things, or ideas)
:active quarreling or conflict resulting from discord among persons or factions :strife
:a combination of musical sounds that strikes the ear harshly
:dissonance
:a harsh or unpleasant sound


Andrew Gutman to leave Celtic on loan again as defender agrees Stateside return
The 23-year-old will spend the whole of 2019 away from Celtic.
by Mark McDougall, https://www.dailyrecord.co.uk/authors/mark-mcdougall/Celtic full back Andrew Gutman will spend the whole of 2019 on loan at FC Cincinnati in the MLS.
The defender signed a three-year deal at the Hoops last January but work permit issues meant he was immediately sent on loan to Charlotte Independence in the USL.
He then joined Cincinnati in August and played eight times before the end of the season in October.
And he'll now spend the whole of the 2019 MLS season - from March to November 2020 - on loan at the club from Celtic , who finished bottom of the league during their first campaign in the top flight.
The club won just six games during their maiden league campaign and were beaten by USL side St Louis in the US Open Cup.
The 23-year-old left back is widely regarded as one of America's rising stars but is back in Glasgow training with Neil Lennon's men during the MLS off-season.
And he admits it is an opportunity to remind Lennon of his capabilities.
Gutman told fccincinnati.com: "It’s been good. It was a big step in my career, obviously.
"I played in the USL and did well there, then went back (to Celtic) and did well in preseason there. Coming here was a good opportunity for me to get games at a high level, and I think I’ve done pretty well so far.”
“They’re in season, but they have such a big squad, so the guys that aren’t rostered for games will have training sessions.
"I’ll have a good stint of training over there with them just to get back in front of their faces and show them my qualities again.”
Celtic also signed fellow American full back Manny Perez last January, and he spent the season on loan at North Carolina FC.


Urgent appeal after Exeter woman, 79, goes missing
Sheila, 79, was last seen in St Thomas today wearing a green jacket and black trousers
by Miles O'LearyLoved ones are urging people to get in touch with any information about the whereabouts of a missing elderly woman.
The 79-year-old was last seen at St Thomas medical centre, in Cowick Street, Exeter, today - Saturday, November 23, and hasn't been seen since.
Relatives are growing increasingly worried about where Sheila may be.
She was wearing a green jacket, black trousers and shoes when she was visiting the practice at 9.20am.
Anyone who knows where Sheila is should call police on 101, quoting today's date.
What should you do if someone goes missing?
You should report a missing person to the police if:
- The person is a child
- The person is a vulnerable adult
- The person has been detained (sectioned) under the Mental Health Act or are legally in the care of another person
- You are concerned for the person’s safety
What you should do
The police ask parents and carers, including staff acting in a parenting role in care homes, to undertake reasonable actions to try and establish the whereabouts of the individual.
This could include, but is not limited to;
- Attempts to contact the child or adult.
- Calling friends or family.
- Visiting areas that the child or adult is known to frequent.
- Visiting the place where the child or adult was known to be attending (i.e. a friend's house or party).
- Checking to see if any items are missing from the home.
- Checking social media.
Experience has shown that these initial enquiries yield additional information that helps narrow down any police search. In several cases it has resulted in the early return of the missing person and in some cases it has resulted in there being no additional police involvement as the missing person is located before a full missing person search begins.
How do I report a person missing?
You can report a person missing in the following ways:
- Call 999, if the missing person is a vulnerable adult or a child, or you believe them to be in danger, or
- Call 101
- Go to your local police station
What happens when I report a person missing to the police?
We will ask you to provide as many details as possible to enable us to find the missing person quickly.
This could include:
- Personal details: Name, date of birth
- Appearance including any distinguishing marks
- Contact details such as mobile phone number
- Medical conditions and whether or not these require medication
- Circumstances under which they went missing
- Details of friends and relatives
- Details of places they often visit
We will use this information to determine the level of risk the missing person is at and what the police response should be.
The information you give us will also be put onto the Police National Computer and circulated to all police forces. Initial inquiries will be made to try to find the missing person.
If they are not found the investigation is passed to a nominated officer who will deal with all further enquiries.
Do you have a story to tell? Contact Devon Live via its Facebook page.


When you work with us, you are part of a team of committed collaborators. All aspects of our
software development process are intergrated, interactive
and agile.
Our approach unifies design, development and project management to create exceptional products.
We start each project by understanding your business goals, the user's needs and the product requirements.
Then we help translate them into effective and elegant solutions.
DESIGN
DEVELOPMENT
PRODUCT MANAGEMENT
we have received your message. Thank you for reaching out to us.
Delani Studio
2019


public class DimRed
extends java.lang.Object
| Modifier and Type | Class and Description |
|---|---|
static class |
DimRed.DimensionalityReductionType |
| Modifier and Type | Field and Description |
|---|---|
static cern.colt.matrix.tdouble.algo.DenseDoubleAlgebra |
da |
static java.lang.Double |
dimensionalityReductionParameter |
static DimRed.DimensionalityReductionType |
dimensionalityReductionType |
| Constructor and Description |
|---|
DimRed() |
| Modifier and Type | Method and Description |
|---|---|
static <V> void |
addFeatureValuePairsToWordFeatureMatrix(cern.colt.matrix.tdouble.impl.DenseDoubleMatrix2D wordFeatureMatrix,
java.util.HashMap<V,java.lang.Double> mapToBeAdded,
java.util.HashMap<java.lang.String,java.lang.Integer> featureToFeatureNumberMap,
java.lang.String prefix,
int wordNumber)
This function adds the (feature, value) pairs from the @param mapToBeAdded to the (word,feature) matrix @param wordFeatureMatrix, with the @param prefix added to the keys as prefix.
|
static <V> int |
buildFeatureToFeatureNumberMap(java.util.HashMap<java.lang.String,java.lang.Integer> featureToFeatureNumberMap,
java.util.HashMap<V,java.lang.Long> featureMap,
java.lang.String prefix,
int featureNumber)
This function builds the feature to feature number map using the features valus in @param featureMap, with the @param prefix added to the keys as prefix.
|
static void |
dimRedSVD(java.lang.Double n)
This function performs the dimensionality reduction based on (truncated) Singular Value Decomposition (SVD).
|
static <V,X,Y,Z> void |
dimRedSVD(java.lang.Double n,
java.util.HashSet<java.lang.String> allWordSet,
java.util.HashMap<java.lang.String,java.util.HashMap<V,java.lang.Double>> tuplesMap1,
java.util.HashMap<java.lang.String,java.util.HashMap<X,java.lang.Double>> tuplesMap2,
java.util.HashMap<java.lang.String,java.util.HashMap<Y,java.lang.Double>> tuplesMap3,
java.util.HashMap<java.lang.String,java.util.HashMap<Z,java.lang.Double>> tuplesMap4,
java.util.HashMap<V,java.lang.Long> featureMap1,
java.util.HashMap<X,java.lang.Long> featureMap2,
java.util.HashMap<Y,java.lang.Long> featureMap3,
java.util.HashMap<Z,java.lang.Long> featureMap4)
This function performs the dimensionality reduction based on the top N features (only the features with the N highest weight are kept,
for all the other features, the weight is set to 0), for the given type of words.
|
static void |
dimRedTopFeatures(DimRed.DimensionalityReductionType type,
java.lang.Double n,
boolean topFeaturesWithHighestWeights)
This function performs the dimensionality reduction based on the top N features (only the features with the N highest weight are kept,
for all the other features, the weight is set to 0).
|
static <V,X,Y,Z> void |
dimRedTopFeatures(DimRed.DimensionalityReductionType type,
java.lang.Double n,
boolean topFeaturesWithHighestWeights,
java.util.HashSet<java.lang.String> allWordSet,
java.util.HashMap<java.lang.String,java.util.HashMap<V,java.lang.Double>> tuplesMap1,
java.util.HashMap<java.lang.String,java.util.HashMap<X,java.lang.Double>> tuplesMap2,
java.util.HashMap<java.lang.String,java.util.HashMap<Y,java.lang.Double>> tuplesMap3,
java.util.HashMap<java.lang.String,java.util.HashMap<Z,java.lang.Double>> tuplesMap4,
java.util.HashMap<java.lang.String,java.lang.Double> wordFrequencies,
long allWordTypeCount)
This function performs the dimensionality reduction based on the top N features (only the features with the N highest weight are kept,
for all the other features, the weight is set to 0), for the given type of words.
|
static java.lang.String |
matrixToString(cern.colt.matrix.tdouble.DoubleMatrix2D m) |
static <V> void |
removeNonTopFeatures(java.util.HashMap<V,java.lang.Double> wordmap,
java.util.HashMap<java.lang.String,java.lang.Double> wordConcatenatedMapOfFirstNElements,
java.lang.String prefix)
This function removes (sets their weight to 0) those (feature, value) pairs from the @param wordMap, that are not among the top N features
(which are stored in @param wordConcatenatedMapOfFirstNElements.
|
public static DimRed.DimensionalityReductionType dimensionalityReductionType
public static java.lang.Double dimensionalityReductionParameter
public static cern.colt.matrix.tdouble.algo.DenseDoubleAlgebra da
public static void dimRedTopFeatures(DimRed.DimensionalityReductionType type, java.lang.Double n, boolean topFeaturesWithHighestWeights)
type
- the type of dimensionality reduction to be usedn
- the dimensionality reduction parameter (the number of features to be kept or a paramter for its calculation)topFeaturesWithHighestWeights
- it indicates whether the top features are the ones with the highest weight (normally),
or with the lowes weight (e.g. in case of the RANK feature transformation)public static <V,X,Y,Z> void dimRedTopFeatures(DimRed.DimensionalityReductionType type, java.lang.Double n, boolean topFeaturesWithHighestWeights, java.util.HashSet<java.lang.String> allWordSet, java.util.HashMap<java.lang.String,java.util.HashMap<V,java.lang.Double>> tuplesMap1, java.util.HashMap<java.lang.String,java.util.HashMap<X,java.lang.Double>> tuplesMap2, java.util.HashMap<java.lang.String,java.util.HashMap<Y,java.lang.Double>> tuplesMap3, java.util.HashMap<java.lang.String,java.util.HashMap<Z,java.lang.Double>> tuplesMap4, java.util.HashMap<java.lang.String,java.lang.Double> wordFrequencies, long allWordTypeCount)
V
- the type of keys in @param tuplesMap1X
- the type of keys in @param tuplesMap2Y
- the type of keys in @param tuplesMap3Z
- the type of keys in @param tuplesMap4type
- the type of dimensionality reduction to be usedn
- the dimensionality reduction parameter (the number of features to be kept or a paramter for its calculation)topFeaturesWithHighestWeights
- it indicates whether the top features are the ones with the highest weight (normally),
or with the lowes weight (e.g. in case of the RANK feature transformation)allWordSet
- the set containing all the input words of the given POStuplesMap1
- a map, in which (word, feature) pairs of a given type are storedtuplesMap2
- a map, in which (word, feature) pairs of a given type are storedtuplesMap3
- a map, in which (word, feature) pairs of a given type are storedtuplesMap4
- a map, in which (word, feature) pairs of a given type are storedwordFrequencies
- the map containing the frequency of words of a given POSallWordTypeCount
- the number of all words with the given POS, for which a word vector in the extracted information existspublic static <V> void removeNonTopFeatures(java.util.HashMap<V,java.lang.Double> wordmap, java.util.HashMap<java.lang.String,java.lang.Double> wordConcatenatedMapOfFirstNElements, java.lang.String prefix)
V
- the type of keys in @param concatenatedListwordmap
- ther map, from which the non-top features will be removedwordConcatenatedMapOfFirstNElements
- the concatenated list containing the top N features for a wordprefix
- a prefix for the feature keys used in @param concatenatedListpublic static void dimRedSVD(java.lang.Double n)
n
- the number of dimensions to which the vectors should be truncatedpublic static <V,X,Y,Z> void dimRedSVD(java.lang.Double n, java.util.HashSet<java.lang.String> allWordSet, java.util.HashMap<java.lang.String,java.util.HashMap<V,java.lang.Double>> tuplesMap1, java.util.HashMap<java.lang.String,java.util.HashMap<X,java.lang.Double>> tuplesMap2, java.util.HashMap<java.lang.String,java.util.HashMap<Y,java.lang.Double>> tuplesMap3, java.util.HashMap<java.lang.String,java.util.HashMap<Z,java.lang.Double>> tuplesMap4, java.util.HashMap<V,java.lang.Long> featureMap1, java.util.HashMap<X,java.lang.Long> featureMap2, java.util.HashMap<Y,java.lang.Long> featureMap3, java.util.HashMap<Z,java.lang.Long> featureMap4)
V
- the type of keys in @param tuplesMap1X
- the type of keys in @param tuplesMap2Y
- the type of keys in @param tuplesMap3Z
- the type of keys in @param tuplesMap4n
- the number of dimensions to which the vectors should be truncatedallWordSet
- the set containing all the input words of the given POStuplesMap1
- a map, in which (word, feature) pairs of a given type are storedtuplesMap2
- a map, in which (word, feature) pairs of a given type are storedtuplesMap3
- a map, in which (word, feature) pairs of a given type are storedtuplesMap4
- a map, in which (word, feature) pairs of a given type are storedfeatureMap1
- a map, in which the features of a given type are stored together with the number of word types with which they occurfeatureMap2
- a map, in which the features of a given type are stored together with the number of word types with which they occurfeatureMap3
- a map, in which the features of a given type are stored together with the number of word types with which they occurfeatureMap4
- a map, in which the features of a given type are stored together with the number of word types with which they occurpublic static java.lang.String matrixToString(cern.colt.matrix.tdouble.DoubleMatrix2D m)
public static <V> int buildFeatureToFeatureNumberMap(java.util.HashMap<java.lang.String,java.lang.Integer> featureToFeatureNumberMap, java.util.HashMap<V,java.lang.Long> featureMap, java.lang.String prefix, int featureNumber)
V
- the type of keys in @param wordMapfeatureToFeatureNumberMap
- feature to feature number map, to which the new features should be addedfeatureMap
- a map, which contains the features to be added to @param concatenatedListprefix
- a prefix for the feature keys to be added to @param featureToFeatureNumberMapfeatureNumber
- the starting feature numberpublic static <V> void addFeatureValuePairsToWordFeatureMatrix(cern.colt.matrix.tdouble.impl.DenseDoubleMatrix2D wordFeatureMatrix, java.util.HashMap<V,java.lang.Double> mapToBeAdded, java.util.HashMap<java.lang.String,java.lang.Integer> featureToFeatureNumberMap, java.lang.String prefix, int wordNumber)
V
- the type of keys in @param mapToBeAddedwordFeatureMatrix
- the (word,feature) matrix, to which the (feature, value) pairs should be addedmapToBeAdded
- a map, which contains the (feature, value) pairs to be added to @param featureToFeatureNumberMapfeatureToFeatureNumberMap
- a map containing the feature to feature number mappingsprefix
- a prefix for the feature keys to be added to @param concatenatedListwordNumber
- the number of the current word


Welcome
This is brought to you by New Mexico Institute of Mining and Technology's Student Chapter of Association for Computing Machinery
This is brought to you by New Mexico Institute of Mining and Technology's Student Chapter of Association for Computing Machinery


Login to your account
Fb
Li
G
or use your email account
Username
Password
Log In
Welcome back,
To keep blogging, login
with your account
- OR -
Sign Up


{% extends "layouts/version_index.html" %} {% block version_details %}
Option 2 for a new service name. The service name and page content has been changed to remove references to terminal illness. This is consistent with ministerial, policy and DWP external comms intent.
{% endblock %}


I've been working on the upgrade path for upgrading from: emonSD-13-03-15.img.zip and emonSD-13-08-14.img.zip SD card images (that we have been shipping out for almost a year with the standard raspberrypi and rfm12pi adapter board and are available on the ready to go image page here https://github.com/emoncms/emoncms/blob/low-write/docs/setup.md) - to the latest version of the low-write branch and the new features developed for the emonpi such as the in-browser emonhub.conf editor, the wifi config, nodes module and app module.
This forum post is the advanced step by step process to go through to upgrade an existing installation, I will try and package this up into an upgrade script next.
There is more information on the new features available in these forums posts:
emonPi and RFM69Pi emonbase ready-to-go SD card image
http://openenergymonitor.org/emon/node/10729
Using Emonpi features in v8.5
http://openenergymonitor.org/emon/node/10732
This was tested with the emonSD-13-08-14.img.zip image with the local install of emoncms enabled and logging data. Many of the feature may be useful such as the in-browser emonhub.conf editor whether your logging locally or not, but most of the benefits of upgrading are for installations where data is being logged locally on the raspberrypi.
Upgrade procedure
Start by SSH'ing into your raspberrypi, i.e ssh pi@IPADDRESS (password:raspberry). Then place your raspberrypi in write mode with command: rpi-rw.
The variant of emonhub used on the emonpi that makes use of MQTT and the new emoncms nodes module requires an update to the rfm12pi firmware to work, it needs received RF data to be printed with OK at the start of each line. To update the firmware a couple of pieces of software need to be installed. But before that you may need to make some more space on the SD card. You can skip this step if you have a larger SD card or dont want to upgrade the firmware or use the emon-pi variant of emonhub.
Around 400Mb can be free'd by deleting: wolfram-engine, sonic-pi and scratch
sudo apt-get purge -y wolfram-engine sonic-pi scratch sudo apt-get autoremove -y sudo apt-get clean
1) Upgrading emoncms and installing new modules
The latest version of the low-write branch and the new modules brings:
- An in-browser emonhub.conf editor and emonhub.log viewer
- The new apps module with mysolar and mysolar&wind dashboards in addition to myelectric.
- In browser wifi config
- New nodes module for use with emon-pi variant of emonhub (see below)
- Improvements to the feed engines that make it possible to use accumulating watt hour or kwh feeds for generating daily data graphs and improved data viewer and csv export.
Start by stopping emonhub and feedwriter so that no data is written during the upgrade:
sudo service emonhub stop sudo service feedwriter stop
Keep a backup of the existing emoncms installation before installing the new one:
mkdir /home/pi/backup mv /var/www/emoncms /home/pi/backup/emoncms
Install new low-write emoncms and modules:
cd /var/www git clone -b low-write https://github.com/emoncms/emoncms.git cp /var/www/emoncms/default.settings.php /var/www/emoncms/settings.php cd /var/www/emoncms/Modules git clone https://github.com/emoncms/nodes.git git clone https://github.com/emoncms/app.git git clone https://github.com/emoncms/config.git git clone https://github.com/emoncms/wifi.git redis-cli “flushall”
Create a emoncms.conf file for use with the nodes module:
sudo touch /home/pi/data/emoncms.conf sudo chown pi:www-data /home/pi/data/emoncms.conf sudo chmod 664 /home/pi/data/emoncms.conf
Update the emoncms database by logging in to emoncms and running database update and check.
At this point if you want to restart emonhub and feedwriter and test that everything is still running as normal inputs being received and data being stored in feeds you can do this with:
sudo service emonhub start
sudo service feedwriter start
2) Installing requirements for updating RFMPi firmware
The new RFMPi firmware standardises the message format to include the OK at the from of the data received over RF.
git clone https://github.com/openenergymonitor/avrdude-rpi.git ~/avrdude-rpi && ~/avrdude-rpi/install sudo apt-get install arduino -y sudo apt-get install python-pip -y pip install ino git clone https://github.com/openenergymonitor/RFM2Pi.git
To update the firmware the steps are then:
sudo service emonhub stop cd RFM2Pi ./update-RFM12
The new firmware should work fine with the existing installation of emonhub on the raspberrypi which is the development branch.
3) Switching to the emon-pi variant of emonhub
(The emon-pi variant of emonhub needs the firmware upgrade in step 2 to work)
The emon-pi variant of emonhub is a variant that I adapted from Paul Burnell's experimental branch (which may in time be superseded by another version of emonhub that Paul is currently working on), it sends the node data to the local emoncms via MQTT rather than HTTP requests, although it can send by HTTP too if configured, it can also receive node data via MQTT to be sent out over the RFM network for control applications.
To upgrade to the emon-pi variant you may want to start by making a backup of the existing emonhub directory:
mv /home/pi/emonhub /home/pi/backup/emonhub sudo mv /boot/emonhub.conf /home/pi/backup
Installation of the emonhub emon-pi variant:
sudo service emonhub stop cd git clone https://github.com/openenergymonitor/emonhub.git && emonhub/install sudo cp /home/pi/emonhub/conf/emonhub-blanknodes.conf /home/pi/data/emonhub.conf sudo chown pi:www-data /home/pi/data/emonhub.conf sudo chmod 664 /home/pi/data/emonhub.conf
Install emoncms-nodes-service to subscribe to MQTT messages published by the emon-pi variant of emonhub:
sudo cp /var/www/emoncms/Modules/nodes/emoncms-nodes-service /etc/init.d/ sudo chmod 755 /etc/init.d/emoncms-nodes-service sudo update-rc.d emoncms-nodes-service defaults
Start services:
sudo service emonhub start sudo service emoncms-nodes-service start sudo service feedwriter start
Configure new emonhub.conf
To get existing inputs and feeds up and running again you will need to reconfigure emonhub.conf this can now be done from the in-browser editor by logging in to emoncms and clicking on the EmonHub tab.
If you wish to keep using existing inputs rather than use the new nodes module change the entry:
[[emoncmsorg]]
Type = EmonHubEmoncmsHTTPInterfacer
[[[init_settings]]]
[[[runtimesettings]]]
pubchannels = ToRFM12,
subchannels = ToEmonCMS,
url = http://emoncms.org
apikey = xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
senddata = 1
sendstatus = 1
to point to:
url = http://localhost/emoncms
apikey = write api key
senddata = 1
sendstatus = 0
or make a copy of this entry with a different interfacer name [[emoncmsorg]] & [[localemoncms]] if you wish to record data locally and send data to a remote install of emoncms,
If you made any custom node definitions these will also need to be re-entered but with the new [[[rx]]], [[[tx]]] tags as in the example here: http://openenergymonitor.org/emon/node/10732
That completes most of the upgrade to the latest raspberrypi software stack being used on the emonpi and soon to be the standard image for emonbase rfm12/69pi adapter board SD cards too.
There are a few more steps to get the wifi config up and running and the in browser system update tool. But the above covers the main parts of upgrading the emonhub/emoncms part while keeping existing data feeds and configurations.
Re: Existing Raspberry Pi SD card upgrade guide (ADVANCED)
Thanks for this useful guide.
Just a few comments.
The command redis-cli “flushall” had problems when I cut and pasted as the quotation marks were the wrong character, it should be redis-cli "flushall".
The Update the emoncms database needs to be a little clearer.
After the "pip install ino" command I received the following message:
error: could not create '/usr/local/lib/python2.7/dist-package/ino' Permission denied
It didn't appear to cause a problem, but it was unexpected.
Re: Existing Raspberry Pi SD card upgrade guide (ADVANCED)
Is it still recommended to migrate to the emon-pi variant of emonhub?


Buy/Sell and Mergers Agreements, Employment Agreements and more
Legal Agreements Draft, Review And Negotiation
At the law firm of Jorge L. Gurian, P.A., we draft, review and negotiate the terms of a wide range of legal agreements, such as those related to:
- Buy/sell agreements
- Real estate purchases and sales
- Mergers and acquisitions
- Employment issues like severance packages or noncompete agreements
- Shareholders and business investors
- Partnerships and business entity formation
- Intellectual property, trademarks and copyrights
Miami-Dade & South Florida Agreements Lawyer
Throughout the Miami area and South Florida, there are vast opportunities for lucrative businesses and real estate investments. Whether you are located within the United States or are living abroad, you need to consider the complexity of contracts and agreements related to your financial decisions. Make sure to work with a Miami attorney who understands employment agreements, buy/sell agreements and the important details to manage in contract law.
Before you sign any documents that tie you to another individual, a financial institution or a business entity, make sure you work with a knowledgeable Miami contract law attorney who can assure your personal and professional interests are protected.
Buy/Sell Agreements Attorney
Choosing to invest in a business often involves buying an existing business, rather than building one from the ground up. These transactions are founded in buy/sell agreements, which may involve purchasing an entire business entity or buying out a partner in a business.
The contract you draft should address key issues of who the business or shareholders' portion of the business can be sold to, how the buyout is triggered (i.e., death of a shareholder or owner leaving the business), and how the business or portion of the business will be valued for sale.
Furthermore, many tax law considerations must be made as any new entity you purchase or sell will likely influence your income and how the government taxes your personal or professional financial interests. Our firm is equipped to address these issues and more with comprehensive knowledge and skill.


Definition at line 79 of file BladeCompiler.php.
| compile | ( | $path = null | ) |
Implements CompilerInterface.
Definition at line 13836 of file compiled.php.
|
protected |
Compile the append statements into valid PHP.
| string | $expression |
Definition at line 387 of file BladeCompiler.php.
|
protected |
Definition at line 13978 of file compiled.php.
|
protected |
Compile the choice statements into valid PHP.
| string | $expression |
Definition at line 464 of file BladeCompiler.php.
|
protected |
Definition at line 14006 of file compiled.php.
|
protected |
Compile Blade comments into valid PHP.
| string | $value |
Definition at line 190 of file BladeCompiler.php.
|
protected |
Definition at line 13883 of file compiled.php.
|
protected |
Compile the each statements into valid PHP.
| string | $expression |
Definition at line 343 of file BladeCompiler.php.
|
protected |
Definition at line 13962 of file compiled.php.
| compileEchoDefaults | ( | $value | ) |
Compile the default values for the echo statement.
| string | $value |
Definition at line 332 of file BladeCompiler.php.
| compileEchoDefaults | ( | $value | ) |
Definition at line 13958 of file compiled.php.
|
protected |
Compile Blade echos into valid PHP.
| string | $value |
Definition at line 203 of file BladeCompiler.php.
|
protected |
Definition at line 13888 of file compiled.php.
|
protected |
Compile the else statements into valid PHP.
| string | $expression |
Definition at line 475 of file BladeCompiler.php.
|
protected |
Definition at line 14010 of file compiled.php.
|
protected |
Compile the else-if statements into valid PHP.
| string | $expression |
Definition at line 532 of file BladeCompiler.php.
|
protected |
Definition at line 14031 of file compiled.php.
|
protected |
Compile the forelse statements into valid PHP.
| string | $expression |
Definition at line 543 of file BladeCompiler.php.
|
protected |
Definition at line 14035 of file compiled.php.
|
protected |
Compile the end-for statements into valid PHP.
| string | $expression |
Definition at line 578 of file BladeCompiler.php.
|
protected |
Definition at line 14048 of file compiled.php.
|
protected |
Compile the end-for-each statements into valid PHP.
| string | $expression |
Definition at line 589 of file BladeCompiler.php.
|
protected |
Definition at line 14052 of file compiled.php.
|
protected |
Compile the end-for-else statements into valid PHP.
| string | $expression |
Definition at line 611 of file BladeCompiler.php.
|
protected |
Definition at line 14060 of file compiled.php.
|
protected |
Compile the end-if statements into valid PHP.
| string | $expression |
Definition at line 600 of file BladeCompiler.php.
|
protected |
Definition at line 14056 of file compiled.php.
|
protected |
Compile the endpush statements into valid PHP.
| string | $expression |
Definition at line 680 of file BladeCompiler.php.
|
protected |
Definition at line 14088 of file compiled.php.
|
protected |
Compile the end-section statements into valid PHP.
| string | $expression |
Definition at line 398 of file BladeCompiler.php.
|
protected |
Definition at line 13982 of file compiled.php.
|
protected |
Compile the end unless statements into valid PHP.
| string | $expression |
Definition at line 442 of file BladeCompiler.php.
|
protected |
Definition at line 13998 of file compiled.php.
|
protected |
Compile the end-while statements into valid PHP.
| string | $expression |
Definition at line 567 of file BladeCompiler.php.
|
protected |
Definition at line 14044 of file compiled.php.
|
protected |
Compile the escaped echo statements.
| string | $value |
Definition at line 312 of file BladeCompiler.php.
|
protected |
Definition at line 13949 of file compiled.php.
|
protected |
Compile the extends statements into valid PHP.
| string | $expression |
Definition at line 622 of file BladeCompiler.php.
|
protected |
Definition at line 14064 of file compiled.php.
|
protected |
Execute the user defined extensions.
| string | $value |
Definition at line 174 of file BladeCompiler.php.
|
protected |
Definition at line 13876 of file compiled.php.
|
protected |
Compile the for statements into valid PHP.
| string | $expression |
Definition at line 486 of file BladeCompiler.php.
|
protected |
Definition at line 14014 of file compiled.php.
|
protected |
Compile the foreach statements into valid PHP.
| string | $expression |
Definition at line 497 of file BladeCompiler.php.
|
protected |
Definition at line 14018 of file compiled.php.
|
protected |
Compile the forelse statements into valid PHP.
| string | $expression |
Definition at line 508 of file BladeCompiler.php.
|
protected |
Definition at line 14022 of file compiled.php.
|
protected |
Compile the if statements into valid PHP.
| string | $expression |
Definition at line 521 of file BladeCompiler.php.
|
protected |
Definition at line 14027 of file compiled.php.
|
protected |
Compile the include statements into valid PHP.
| string | $expression |
Definition at line 642 of file BladeCompiler.php.
|
protected |
Definition at line 14073 of file compiled.php.
|
protected |
Compile the lang statements into valid PHP.
| string | $expression |
Definition at line 453 of file BladeCompiler.php.
|
protected |
Definition at line 14002 of file compiled.php.
|
protected |
Compile the overwrite statements into valid PHP.
| string | $expression |
Definition at line 420 of file BladeCompiler.php.
|
protected |
Definition at line 13990 of file compiled.php.
|
protected |
Compile the push statements into valid PHP.
| string | $expression |
Definition at line 669 of file BladeCompiler.php.
|
protected |
Definition at line 14084 of file compiled.php.
|
protected |
Compile the "raw" echo statements.
| string | $value |
Definition at line 270 of file BladeCompiler.php.
|
protected |
Definition at line 13930 of file compiled.php.
|
protected |
Compile the "regular" echo statements.
| string | $value |
Definition at line 290 of file BladeCompiler.php.
|
protected |
Definition at line 13939 of file compiled.php.
|
protected |
Compile the section statements into valid PHP.
| string | $expression |
Definition at line 376 of file BladeCompiler.php.
|
protected |
Definition at line 13974 of file compiled.php.
|
protected |
Compile the show statements into valid PHP.
| string | $expression |
Definition at line 365 of file BladeCompiler.php.
|
protected |
Definition at line 13970 of file compiled.php.
|
protected |
Compile the stack statements into the content.
| string | $expression |
Definition at line 658 of file BladeCompiler.php.
|
protected |
Definition at line 14080 of file compiled.php.
|
protected |
Compile Blade statements that start with "@".
| string | $value |
Definition at line 249 of file BladeCompiler.php.
|
protected |
Definition at line 13920 of file compiled.php.
|
protected |
Compile the stop statements into valid PHP.
| string | $expression |
Definition at line 409 of file BladeCompiler.php.
|
protected |
Definition at line 13986 of file compiled.php.
| compileString | ( | $value | ) |
Compile the given Blade template contents.
| string | $value |
Definition at line 123 of file BladeCompiler.php.
| compileString | ( | $value | ) |
Definition at line 13855 of file compiled.php.
|
protected |
Compile the unless statements into valid PHP.
| string | $expression |
Definition at line 431 of file BladeCompiler.php.
|
protected |
Definition at line 13994 of file compiled.php.
|
protected |
Compile the while statements into valid PHP.
| string | $expression |
Definition at line 556 of file BladeCompiler.php.
|
protected |
Definition at line 14040 of file compiled.php.
|
protected |
Compile the yield statements into valid PHP.
| string | $expression |
Definition at line 354 of file BladeCompiler.php.
|
protected |
Definition at line 13966 of file compiled.php.
| createMatcher | ( | $function | ) |
Get the regular expression for a generic Blade function.
| string | $function |
Definition at line 702 of file BladeCompiler.php.
| createMatcher | ( | $function | ) |
Definition at line 14096 of file compiled.php.
| createOpenMatcher | ( | $function | ) |
Get the regular expression for a generic Blade function.
| string | $function |
Definition at line 713 of file BladeCompiler.php.
| createOpenMatcher | ( | $function | ) |
Definition at line 14100 of file compiled.php.
| createPlainMatcher | ( | $function | ) |
Create a plain Blade matcher.
| string | $function |
Definition at line 724 of file BladeCompiler.php.
| createPlainMatcher | ( | $function | ) |
Definition at line 14104 of file compiled.php.
| extend | ( | callable | $compiler | ) |
Register a custom Blade compiler.
| callable | $compiler |
Definition at line 691 of file BladeCompiler.php.
| extend | ( | callable | $compiler | ) |
Definition at line 14092 of file compiled.php.
| getContentTags | ( | ) |
Gets the content tags used for the compiler.
Definition at line 773 of file BladeCompiler.php.
| getContentTags | ( | ) |
Definition at line 14121 of file compiled.php.
|
protected |
Get the echo methdos in the proper order for compilation.
Definition at line 218 of file BladeCompiler.php.
|
protected |
Definition at line 13895 of file compiled.php.
| getEscapedContentTags | ( | ) |
Gets the escaped content tags used for the compiler.
Definition at line 783 of file BladeCompiler.php.
| getEscapedContentTags | ( | ) |
Definition at line 14125 of file compiled.php.
| getPath | ( | ) |
Get the path currently being compiled.
Definition at line 101 of file BladeCompiler.php.
| getPath | ( | ) |
Definition at line 13847 of file compiled.php.
|
protected |
Gets the tags used for the compiler.
| bool | $escaped |
Definition at line 794 of file BladeCompiler.php.
|
protected |
Definition at line 14129 of file compiled.php.
|
protected |
Parse the tokens from the template.
| array | $token |
Definition at line 153 of file BladeCompiler.php.
|
protected |
Definition at line 13866 of file compiled.php.
| setContentTags | ( | $openTag, | |
| $closeTag, | |||
$escaped = false |
|||
| ) |
Sets the content tags used for the compiler.
| string | $openTag | |
| string | $closeTag | |
| bool | $escaped |
Definition at line 749 of file BladeCompiler.php.
| setContentTags | ( | $openTag, | |
| $closeTag, | |||
$escaped = false |
|||
| ) |
Definition at line 14112 of file compiled.php.
| setEchoFormat | ( | $format | ) |
Set the echo format to be used by the compiler.
| string | $format |
Definition at line 807 of file BladeCompiler.php.
| setEchoFormat | ( | $format | ) |
Definition at line 14134 of file compiled.php.
| setEscapedContentTags | ( | $openTag, | |
| $closeTag | |||
| ) |
Sets the escaped content tags used for the compiler.
| string | $openTag | |
| string | $closeTag |
Definition at line 763 of file BladeCompiler.php.
| setEscapedContentTags | ( | $openTag, | |
| $closeTag | |||
| ) |
Definition at line 14117 of file compiled.php.
| setPath | ( | $path | ) |
Set the path currently being compiled.
| string | $path |
Definition at line 112 of file BladeCompiler.php.
| setPath | ( | $path | ) |
Definition at line 13851 of file compiled.php.
| setRawTags | ( | $openTag, | |
| $closeTag | |||
| ) |
Sets the raw tags used for the compiler.
| string | $openTag | |
| string | $closeTag |
Definition at line 736 of file BladeCompiler.php.
| setRawTags | ( | $openTag, | |
| $closeTag | |||
| ) |
Definition at line 14108 of file compiled.php.
|
protected |
Definition at line 13829 of file compiled.php.
|
protected |
Definition at line 13831 of file compiled.php.
|
protected |
Definition at line 13833 of file compiled.php.
|
protected |
Definition at line 13832 of file compiled.php.
|
protected |
Definition at line 13827 of file compiled.php.
|
protected |
Definition at line 13834 of file compiled.php.
|
protected |
Definition at line 13835 of file compiled.php.
|
protected |
Definition at line 13828 of file compiled.php.
|
protected |
Definition at line 13830 of file compiled.php.


This intention splits a 'switch' branch that has more than one 'case' value into individual 'switch' branches, one per 'case' value.


Maharashtra Governor Announces Financial Relief For Rain-Hit Farmers
by PTIBookmark
Maharashtra Governor Bhagat Singh Koshyari on Saturday announced financial relief to farmers whose crop was damaged in unseasonal rains, and ordered its immediate disbursal.