text:
Peer-Reviewed Publications
Found 113 resultsTitle
Filters: Keyword is Accidents, Traffic [Clear All Filters]
Emergency physicians' knowledge and provision of child passenger safety information." Acad Emerg Med. 2011;18(2):145-51."
Association between weight and risk of crash-related injuries for children in child restraints." Pediatrics. 2011;128(6):1148-52."
Buckle up! Is not enough: enhancing protection of the restrained child." JAMA. 1999;281(22):2070-2."
The danger of premature graduation to seat belts for young children." Pediatrics. 2000;105(6):1179-83."
Screening for risk of persistent posttraumatic stress in injured children and their parents." JAMA. 2003;290(5):643-9."
The risk of injury to children in compact pickup trucks." LDI Issue Brief. 2002;7(6):1-4."
Acute traumatic stress symptoms in child occupants and their parent drivers after crash involvement." Arch Pediatr Adolesc Med. 2005;159(11):1074-9."
Risk factors for death among older child and teenaged motor vehicle passengers." Arch Pediatr Adolesc Med. 2008;162(3):253-60."
Shifts in child restraint use according to child weight in the United States from 1999 to 2002." Annu Proc Assoc Adv Automot Med. 2003;47:313-28."
Acute healthcare utilization by children after motor vehicle crashes." Accid Anal Prev. 2004;36(4):507-11."
Rear seating and risk of injury to child occupants by vehicle type." Annu Proc Assoc Adv Automot Med. 2001;45:51-60."
Effect of booster seat laws on appropriate restraint use by children 4 to 7 years old involved in crashes." Arch Pediatr Adolesc Med. 2007;161(3):270-5."
President Clinton's radio address on child passenger safety." Inj. Prev.. 1997;3(2):85-6."
A practical approach for applying best practices in behavioural interventions to injury prevention." Inj. Prev.. 2010;16(2):107-12."
The carnage wrought by major economic change: ecological study of traffic related mortality and the reunification of Germany." BMJ. 1999;318(7199):1647-50."
Risk of injury to child passengers in compact extended-cab pickup trucks." JAMA. 2002;287(9):1147-52."
When "buckle up" is not enough: enhancing the safety of children in motor vehicles." LDI Issue Brief. 2000;5(9):1-4."
Parent driver characteristics associated with sub-optimal restraint of child passengers." Traffic Inj Prev. 2006;7(4):373-80."
Young driver risk factors: successful and unsuccessful approaches for dealing with them and an agenda for the future." Inj. Prev.. 2006;12 Suppl 1:i4-8."
Looking beyond the physical injury: posttraumatic stress disorder in children and parents after pediatric traffic injury." Pediatrics. 1999;104(6):1293-9."
Fatal child cervical spine injuries in motor vehicle collisions: Analysis using unique linked national datasets." Injury. 2009;40(8):864-7."
Pediatric abdominal injury patterns generated by lap belt loading." J Trauma. 2009;67(6):1278-83; discussion 1283."
Social marketing: an overview of approach and effects." Inj. Prev.. 2006;12 Suppl 1:i38-43."
Barriers to booster seat use and strategies to increase their use." Pediatrics. 2002;110(4):729-36."
Parent involvement in novice teen driving: a review of the literature." Inj. Prev.. 2006;12 Suppl 1:i30-7."


text:
About Contact Join Donate
March 6, 2013, at 2:40 PM
By Tim Drake |
The U.S. bishops' Committee on Doctrine will meet with the nation's theological societies, March 16, in Washington at The Catholic University of America.
The goals of the meeting includes developing relationships among the academic societies and with U.S. bishops and exploring current theological issues, said Capuchin Father Thomas Weinandy, executive director of the Secretariat for Doctrine of the U.S. Conference of Catholic Bishops.
Societies to be represented at the meeting include the Catholic Theological Society of America, Fellowship of Catholic Scholars, Academy of Catholic Theology, College Theology Society, Black Catholic Theological Symposium, and the Academy of Catholic Hispanic Theologians of the U.S.
The day-long meeting will include three sessions. Each will start with short presentations by a member of the Doctrine Committee and a scholar from one of the societies. Their task will be to enumerate the principal matters at stake and identify topics for conversation to provide a starting point for the discussion. Scholars from the academic societies will facilitate the discussion following each session.
Bishop presenters will include Archbishop William E. Lori of Baltimore, S.T.D., speaking on the relationship between catechesis and theology in a university setting in light of the New Evangelization. The respondent will be Aurelie Hangstrom, Ph.D., of Providence College, representing the Catholic Theological Society of America.
The second speaker is Bishop John O. Barres, Diocese of Allentown, S.T.D.,speaking on the role of a Catholic university or college in the promotion of the New Evangelization. Respondent will be Brian Benestad, Ph.D, University of Scranton, representing the Fellowship of Catholic Scholars.
The third speaker is Archbishop Allen H. Vigneron, Ph.D, S.T.L. of Detroit, speaking on the intellectual, theological, and moral needs of contemporary undergraduates in the age of the New Evangelization. Respondents will be James Keating, Ph.D., Providence College, representing the Academy of Catholic Theology, and Sandra Yocum, PhD, University of Dayton, representing the College Theology Society.
A report on the proceedings will be published after the meeting.
Catholic Education Daily is an online publication of The Cardinal Newman Society. Click here for email updates and free online membership with The Cardinal Newman Society.
Contributors Contact
Join thousands of Catholic families and individuals standing with The Cardinal Newman Society for faithful Catholic education. Members receive news roundups by email, about weekly.
Start your no-cost membership now!
Our work is possible only through the generosity of countless supporters who share our mission. We have promoted and defended faithful Catholic education for 20 years! Please support our successful work by making a donation today.
Keep up with the latest developments by joining our social media networks:
Google Plus

subset: commoncrawl


text:
Lawrence Borha had a season-high 11 points against Washington State on Saturday night.
Dec. 4, 2006
Wednesday, December 6, 2006 7:07 p.m. (MST)
Dee Glen Smith Spectrum (10,270) Logan, Utah
Complete Release in PDF Format
Download Free Acrobat Reader
UTAH (3-3) Head Coach: Ray Giacoletti Alma Mater: Minot State, 1985 At Utah: 46-24 (3rd Season) Career: 163-107 (10th Season)
UTAH STATE (6-1) Head Coach: Stew Morrill Alma Mater: Gonzaga, 1974 At USU: 196-64 (9th Season) Career: 414-202 (21st Season)
MEDIA COVERAGE Television: KJZZ-TV 14 Steve Brown (play-by-play), Pace Manion (analyst) Radio: Sports Radio 700 The Zone Bill Riley (play-by-play), Joe Cravens (analyst), Scott Gerrard (host) Internet Audio/Live Stats: www.UtahUtes.com Get Utah All-Access Here
THE SERIES Overall: Utah leads 128-90 Utah Home/Away/Neutral: 78-33/50-57/0-0 Current Streak: Utah has won 1 Last Meeting: Utah won 67-66 on Nov. 20, 2005 in Salt Lake City
The Runnin' Utes play the second of back-to-back road games at Rhode Island on Saturday at 2:05 p.m. (EST) in Kingston, R.I. Utah then takes a week off for final exams before hosting Cal Poly on Saturday, Dec. 16 at 1:00 p.m. (MST).
The Runnin' Utes (3-3) begin at two-game road swing against the Utah State Aggies (6-1) on Wednesday at 7:07 p.m. (MST) at the Dee Glen Smith Spectrum in Logan, Utah. Utah is 0-1 on the road this season. The game will be televised on KJZZ-TV 14 and broadcast on Sports Radio 700 The Zone.
Utah has won three in a row with all of those wins coming at home. Last week, the Utes defeated Weber State, 67-55, on Wednesday night and previously unbeaten Washington State, 69-55, on Saturday night.
Sophomore center Luke Nevill (7-1, 265) is the Utes' leading scorer (18.3 ppg) and rebounder (8.2 rpg). He is shooting 68.9 percent from the field, and has 11 assists and a team-best seven blocked shots. Junior guard Johnnie Bryant (6-0, 180) is second on the team in scoring (16.2 ppg) and has connected on 51.4 percent (18-for-35) of his three-point attempts. Bryant also leads the Utes in assists (2.8 apg). Sophomore forward Shaun Green (6-8, 208) is third on the team in scoring (13.2 ppg) and second in rebounding (5.5 rpg). He is shooting 65.1 percent from the field and 68.0 percent from three-point range (17-for-25). Green also leads the Utes in steals (10) and is second in both assists (2.5 apg) and blocked shots (4).
In the NCAA statistical rankings released on Dec. 3, Utah ranked first in three-point percentage (49.5), 11th in field goal percentage (52.0), 57th in free throw percentage (73.4) and 82nd in three-pointers made per game. Green ranked first in the nation in three-point percentage (68.0).
Utah has won three in a row for the first time it won its first four games of the 2005-06 season. That follows up Utah's first 0-3 start since 1970-71.
Utah has clamped down defensively in its last two and a half games. After allowing Rice to shoot 54.2 percent from the field and score 39 points in the first half on Nov. 25, Utah held the Owls to 34.8 percent shooting and 25 points in the second half. In its last two games, Utah held both Weber State and Washington State to 55 points each. The teams combined to shoot 41.6 percent from the field and 36.7 percent from three-point range.
The Utes have shot at least 50 percent from three-point range in four of the six games this season.
The Aggies are 6-1 overall and 2-0 at home this season. Last week, Utah State won at South Dakota State, 56-50, on Wednesday night and defeated Idaho State, 83-46, at home on Saturday night.
Senior guard Jaycee Carroll (6-2, 175) leads the Aggies in scoring (22.7 ppg) and rebounding (5.6 rpg). Carroll is shooting 60.2 percent from the field, 46.3 percent (19-for-41) from three-point range and 91.9 percent from the free throw line. Senior guard/forward Durrall Peterson (6-3, 200) is second in scoring (10.3 ppg) and is shooting 40.6 percent (13-for-32) from beyond the arc. Junior forward Stephen DuCharme (6-8, 230) is the third Aggie averaging double figures in scoring (10.3 ppg) and is second in rebounding (5.0 rpg). Junior guard Mikel Watson (6-2, 180) leads USU in assists (3.4 apg).
Utah Utah St. Record 3-3 6-1 Scoring 70.0 74.9 Scoring Defense 65.5 64.6 FG% .520 .516 FG% Defense .491 .449 3-Pt. FG% .495 .367 3-Pt. FG% Defense .456 .360 FT% .734 .676 Rebound Margin +4.5 +4.1 Assists 15.2 14.4 Turnovers 14.0 16.3 Opp. Turnovers 13.7 16.3 Steals 5.5 7.1 Blocked Shots 2.3 2.4
Stew Morrill is in his ninth season at the helm of the Utah State basketball program with a 196-64 record. Morrill is 414-202 in 20 years as a head coach.
Morrill directed the Aggies to the NCAA Tournament for the fifth time in seven years in 2006. He led the Aggies to their first NCAA Tournament win in 31 years in 2001 as USU defeated Ohio State 77-68 in the first round.
Morrill was the head coach at Colorado State for seven seasons before taking over at Utah State, recording a 121-86 record (1991-98). Prior to his stint at CSU, Morrill spent five seasons as the head coach at Montana (1987-91), where he went 97-52. He has been involved in postseason action eight times.
Utah and Utah State meet for the 219th time on Wednesday night. The Aggies are the Utes' second-oldest rival behind BYU (242 meetings). Utah leads the all-time series 128-90.
Utah State has a 57-50 advantage over the Utes in Logan and has won four in a row. In their last match-up at the Spectrum, the Aggies won 71-45 on Dec. 4, 2004. The Utes' last win in Logan was 60-41 on Nov. 26, 1996.
Utah State has won four of the last six and five of the last eight games against the Utes. Before then, the Utes had won five in a row dating back to 1993-94.
Ray Giacoletti is 1-1 against Utah State.
Stew Morrill is 10-12 against Utah all-time, including a 5-3 record while at Utah State.
Utah has a 225-107 (.678) record against the WAC's current teams and is 82-68 (.547) in road games.
Sophomore center Luke Nevill (7-1, 265) is the Utes' leading scorer (18.3 ppg) and rebounder (8.2 rpg). He is also shooting 68.9 percent from the field, and has 11 assists and a team-best seven blocked shots.
Nevill has led the Utes in scoring three times and in rebounding four times this season. He has scored in double figures all six games.
He ranked 81st in the NCAA in scoring (18.3 ppg), sixth in field goal percentage (68.9) and 89th in rebounds per game (8.2 rpg) as of Dec. 3.
The Perth, Australia, native has had double-doubles in three of the last four games to bring his career total to seven. Most recently against Washington State on Dec. 2, Nevill had 16 points (5-6 FG, 6-6 FT) and 12 rebounds in 30 minutes.
Sophomore forward Shaun Green (6-8, 208) is third on the team in scoring (13.2 ppg) and second in rebounding (5.5 rpg). He is shooting 65.1 percent from the field and 68.0 percent from three-point range (17-for-25). Green also leads the Utes in steals (10) and is second in both assists (2.5 apg) and blocked shots (4).
As of Dec. 3, Green leads the nation in three-point field goal percentage (68.0) and ranks 72nd in three-point field goals per game (2.8).
Green has scored in double figures in all six games this season to give him 15 double-figure scoring games in his career.
The Salt Lake City native tied his career high with 17 points in 33 minutes against Washington State on Saturday night. He hit 5-of-5 three-pointers against the Cougars to tie the school single-game record for three-point percentage. Three other Utes have also gone 5-for-5 in a game.


text:
Get Access Now!
Best selling eGuides
- of
Top eGuide pre-orders
- of
2.7 Extract Turian Survivors
As soon as you descend the ladder, turn left sharply to greet the oncoming Cannibals. Toss a grenade ahead of you, or use a similarly explosive Biotic power. Make short work of the Cannibals, because the Harvester is directly behind them, and its attention is focused solely on you and your squad.
The sooner you eliminate the Reapers between you and the Harvester, the better.
Once they're gone, rush up the debris-filled path and order your squad to take cover behind the rubble just ahead of you...
Related Walkthrough
UNLOCK THE FULL GUIDE NOW! FOR ONLY $4.99 buy now


text:
Sony Computer Entertainment Inc. (SCEI) boss Kazuo Hirai has stated his belief that it may take another decade before the games industry embraces a digital-only future.
Speaking during a chinwag with MCV, Hirai commented, "We do business in parts of the world where network infrastructure isn't as robust as one would hope," he said.
"There's always going to be requirement for a business of our size and scope to have a physical medium."
"To think everything will be downloaded in two years, three years or even ten years from now is taking it a little bit to the extreme."
Former Sony Worldwide Studios chief Phil Harrison was quoted back in 2006 saying he'd be "amazed if the PlayStation 4 has a physical disc drive."


text:
Full-Service Legal Firm in Ukraine
Nikolaev 54001
+380 67 5156709
+380 67 5123617
Law Firm Overview
Law firm "InJurConsulting" LLC is young but inspite of that permanently developing union of solicitors and barristers admitted in Ukraine. Our firm set up the head-office in Nikolaev in 2007.
Nikolaev is an active business city, and also is the heart of ship building industry of Ukraine.
InJurConsulting - Providing services in the following areas of law:
- Admiralty and Maritime
- Alimony
- Alternative Dispute Resolution
- Antitrust and Trade Regulation
- Appellate Practice
- Arbitration
- Banking and Finance
- Banking Law
- Business and Industry
- Business Formation
- Business Law
- Child Custody and Visitation
- Child Support
- Civil Litigation
- Commercial Law
- Commercial Litigation
- Contracts
Articles Published by InJurConsulting
Nuances of the 1980 Hague Convention on the Civil Aspects of International Child Abduction Application in Ukraine
If you married a foreigner and live with him abroad, if your child was born on the territory of the other state, and if the marriage relations became worth, morally you must be ready that in the future you can run into such concept as an illegal moving of children.Read Article
Marriage Agreement in Ukraine
A marriage agreement is an agreement of persons, incoming in marriage, or it is an agreement of the married couples, determining property right and duties in marriage and in the case of divorce. By its nature it is the variety of civil legal agreement, possessing a certain specific. This specific is that a document consists in the field of marriage-domestic relations and has certain subjective composition.Read Article
Private Ownership in Land for Foreigners - Ukraine
In accordance with the Land Code of Ukraine, land legal relations are public relations governing the use and disposal of land in Ukraine. This article briefly explains legal regulations in this regard.Read Article
How to Start a Business in Ukraine?
As a consultant to foreign investors on business risks in Ukraine, the author is frequently asked about the best ways to start a business in that country. In this article, he highlights the key issues.Read Article
Matrimonial Relations in Ukraine
We used to live in the swiftly developing society. Puritanical rules have been replaced by morality liberty. A person is burdened by the freedom of choice. We are free to choose religion, place of sit and solemnization. In this article we shall answer the most frequently asked questions covering all crucial issues of international marriage. If you make the most out of these materials, it will help you to make an easy choice.Read Article


text:
Cart | Secure Check Out
Path: Online
- New Drum Gear & Drum Stuff - Drumsticks - Drumsticks - All
For a more precise listing of
Select Brand:
Pro -Mark
Vic Firth
All Brands of Drumsticks - All
Low prices, fast shipping & personal service when you buy drumsticks! Find your Vic Firth and Pro-Mark drumsticks here! All in stock drumsticks ship in 1-2 days.
Click formore details
L=16", Dia.=.440" - Vic Firth offers a collection of world music percussion products under the World Classic® banner. This line features unique sticks and mallets from three of today's leading world music...
Stock Number:
Brand: Vic Firth
Model: World Classic
List Price: $8.00
Our Price: $6.00
Store | Home | Search
| Contact Us | Ordering
Help | Privacy
Policy | Shopping | Resources
Museum | About
VDC | Sellers
Secure Site
Vintage Drum Center is not responsible for typographical
errors in pricing or product specification
inaccuracies in our Web site. Prices subject to change without notice.
Copyright © 1999-2013 Vintage Drum Center. All rights reserved.
As seen on Yahoo
and DMOZ


text:
One of our premier dealers is Joe Rankin of Rankin Arms and one of his signature items is the RDP, the "Rankin Defense Pistol" that we build to his elite specifications. These guns are uniquely Joe's-they have a unique set of options and grips tailored to his experienced customer's needs . Joe's customers have long..read more
A patient customer received a very special CQB built to his ideal specifications. With adjustable sights, Speed-Chute and all Bullet-Proof upgrade the end result is a pistol that works equally well in a carry or competition role. The peerless Doug Turnbull charcoal bluing shows off the meticulous hand polishing performed by one of our top pistolsmiths. All..read more
One of our most famous compact carry guns has received a practical extreme-makeover as a special edition for one of our Premier dealers, Joe Rankin at Rankin Arms. Starting with our famous .45 Stealth model, Joe added performance and cosmetic options and features that his customers have demanded in their Wilson custom guns over the..read more
We build a lot of spectacular pistols at Wilson Combat but some of our custom ordered Supergrades are the best of the breed. This is one of our favored packing pistols, the Professional .45 in Supergrade trim. This Pro wears exquisite charcoal bluing from the peerless Doug Turnbull. You may notice the highly polished Nitre..read more
This is your not-so-basic Tactical Elite-a powerhouse pistol that is easy to shoot very, very well due in large part to the heavy flanged, tapered cone match grade barrel. This all-business blaster is a customer's rendition of his perfect packing piece-a .45 Tactical Elite with Tritium Battlesights and and our exclusive extreme dehorn-where every edge..read more


text:
Commenting as a Guest. Sign in or Join.
Seriously guys, I cannot stress enough how perfect Jared Leto's hair is. His hair truly stole the show at this year's Grammy awards, but we'll forgive him.
Click to here to check out the hair & see what's going on with the potential Oscar-winner!


text:
The Priscilla legacy began in 1945 when fashion designer Priscilla Kidder opened the Bride's Shop on Newbury Street in Boston, Massachusetts. Priscilla's (more)
33 years of experience specializing in Couture Bridal and Couture Ready to Wear alterations. Customizing performed by a master seamstress with careful (more)
Darius Cordell Fashion Ltd is a team of designers who specialize in couture bridal gowns and custom wedding dresses - for all shapes and sizes. All of (more)
Wilene Creations is your one-stop shop for all your Weddings, Prom and Quinceanera/Sweet 16 needs. We offer the best selection of 2011 Prom Dresses and (more)
A beautiful and peace bridal boutique in a charming house on West Lovers Lane, specializing in off the rack and special order designer gowns. We have (more)
DressMyWay is reviving the dress creation and sales process by creating an interactive platform of matching designers with customers to bring luxury dress (more)
A charming bridal boutique on West Lovers Lane, specializing in creating a memorable experience for our brides! We feature over 200 designer gowns in (more)
We have a the most fashion-forward styles for Homecoming, Prom and all the events in-between. Terry Costa also has one of the best Bridal Salons in Dallas (more)


text:
Why do I wake up feeling sick everytime I take a nap?
tiff3 Asked: Why do I wake up feeling sick everytime I take a nap?
I started napping after school 2 years ago but I stopped after about a month because I started feeling sick after waking up. Today I was really tired after shook and then work and I fell asleep for about an hour. When I woke up I felt like I used to feel after napping 2 years ago. I have this weird taste in my mouth and I feel nauseas and I feel like I'm in a very stuffy room when I'm not. When this started I used to feel lightheaded after napping and for 10 minutes I have no perception of one and think its the net mornig. Do I have a sleeping disorder only effecting naps?
That happens to me sometimes but I get migraines often and that's usually the case with me.
Got a better answer? Share it below!
Incoming search terms:
- yhs-fh_lsonsw
- if i take a nap when i wake up i feel nauseous


text:
Bluetooth StreamingStream music from your smartphone.
Silk Dome Speaker TechnologyDiscover less distortion, clearer sound and a better sound experience with LG's silk dome speaker technology.
Wall MountableSupplied wall bracket gives you the option of mounting the sound bar on your wall.
Connectivity made easyTwo optical inputs provide greater flexibly with connecting multiple audio devices.
LG Sound Bar 12/17/2013James from Arlington, TX
This sound bar was easy to set up and is working good.
Not sure what happened. 9/25/2013adolphus from memphis, tn
i have tried diffent options to get this product to work . i like the companies over all quality. i have never bought a refurbished product before.
LG Sound Bar: 8/13/2013
Sound bar works and sounds great. good price.
Trustworthy and Good Value 8/7/2013Anand Murugan from Miamisburg, Ohio
I was a bit skeptic about ordering this, since the price seemed unbelievable, but I made the right choice. The product was like New even though it was listed as Refurbished. I ordered this since I need an external speakers for my Samsung smart TV which has very low volume and this worked out pretty well. The sound clarity through Bluetooth is amazing and 3.5mm jack gives out better sound than the digital out, may be because of the quality of the cable included (Not sure)
A GOOD PRODUCT AND EXCELLENT SERVICE. 7/31/2013Adamsons from Springfield, VA
its ok... 7/26/2013
you're not going to get amazing sound of this, its more a virtual surround. almost no bass but if bass was what you were looking for you shouldn't be looking at a sound bar for this price. worked well in my sisters living room (small) because her tv volume stunk
Delivered 7/24/2013Jeff from Lake Saint Louis, MO
rec'd as promised. Appearance was as if brand new. Works as promised. Would purchase again!
Great Deal 7/24/2013Tom from St Pete FL
This sound bar is new, the box was a little beaten up but you throw that away and for a cost of 25% of retail who cares what the box looks like, they packed this like they where shipping glass it really surprised me, so there was no chance of any damage while shipping. A great deal, great price and super fast shipping makes me glad I waited to buy a sound bar until this came along
LG bluetooth speakers 7/24/2013
Excellent speakers, fast delivery, well packed, A+ seller
Good features, low quality sound. 7/22/2013
This sound bar has very good features with 2 optical input, 1 analog input, and bluetooth.
Even plays MP3 file from USB port.
However, sound quality of very disappointing. It has very good tweeter. Voice is very clear and loud tress. However, it lacks bass. There is almost no bass.
My cheap VIZIO sound bar has better sound. But it lacks optical input and ground loop noise. I bought LG sound bar as replacement, but now I ended up installing it on other TV.
The purchase price is excellent. The speaker is be 7/15/2013
The purchase price is excellent. The speaker is better than internal speaker of plat TV.
But, the speaker is not dramatic.
It was worth the investment. 6/25/2013Lucas from Bronx, New York.
The item even so is refurbished is like new, came with all the manuals and cables needed for installation.
Great deal 6/7/2013
I knew this model didn't produce much base from other reviewers, but for the price(50) it was an unbeatable deal. It's exactly what I was looking for, a high quality speaker that's super convenient to use with any bluetooth device.
DO NOT BUY 5/13/2013ROBERT from DORAL, FLORIDA
No Bass 4/18/2013
This sound bar is in desperate need of an additional Sub. I purchased refurbished for a very low price so is was a decent value but only slightly better than the TV's internal speakers. I'll be searching for another sound bar with separate sub to go in it's place... Moved it to the Garage to listen to the iPhone while I work on my cars
Awful Sound 3/25/2013Juan from Hartford, CT
The sound is terrible. Zero bass,
Great LG Sound bar system. 3/21/2013Herb from Georgia
Just what I needed for my 55" Smart TV. The bluetooth technology was an added bonus. It was easy to mount on the wall below my TV. For a referbished item, it was like new. The sound quality is far better than my TV. I would definitly recommend it to anyone .
Not for computers 3/21/2013Subsen from FLorida
I thought I would match this up with my desktop computer which happens to have Bluetooth. The product description does indicate it could not be used by USB connection to a computer, but I can now say its a poor match even for a computer with Bluetooth, with which this product is equipped.
Great Soundbar 3/20/2013D. Walker from Spirit Lake, Id.
only had it for 2 days but for right now it's doing what it says it should do.
Great addition for LG 55" TV 3/19/2013Alan from Newbury Park, CA
A perfect complement to my LG 55" 3D TV, whose sound could some times barely be heard. Now it booms. A perfect combination. Only a true audiophile could find faults with the sound quality, certainly not me.
Great product for a great price!!! 3/19/2013
I was looking for a simple sound bar to amplify the sound on my LCD tv but many products were more expensive than what I wanted to spend. This soundbar is exactly what I am looking for.
Happy I got It 3/18/2013
Easy to hook up. Looks and sounds good
LG has finally disappointed me 3/18/2013
I am very keen with electronics and a sound enthusiast, i did not expect bass from this at all and in fact all i did expect was the bar to enhance my t.v's sound as the speakers on the t.v are in back of the t.v and i have it mounted on a wall so it is very low. Buying the sound bar would fix that for me. When LG says 160 watts, i have to question LG! where is it?. This sound bar is more than likely not even 10 watts. My t.v is rated 10 and it's louder than the sound bar. Very disappointing LG!!
Very good refurb unit 3/14/2013ZChurchZ from Plymouth Mi
You can tell it was actually refurbed because the box was a mess inside except for the factory sealed bar. All the parts were included and the unit functions perfectly.
LG Sound Bar 3/14/2013P Rogers from Orlando, FL.
This thing works GREAT !!! I'm impressed !!!
Good 3/14/2013Huong from North Carolina
I bought second one for my daughter, very good
More Bass 3/14/2013
blue tooth works great, easy to use. needs more bass
Good for cheap enhancement of secondary HDTV 3/5/2013Josh from Bellevue WA
Obviously the bass is not really there because there is no sub. I opted for this model and I'm happy with my purchase because I like that it has digital optical audio in, as well as Bluetooth pairing to my laptops, tablets, and phone. Sound quality is not very far above that of the TV itself, but it is better nonetheless, and the additional placement and connectivity capabilities make it worth the purchase.
LG soundbar 2/24/2013LG user from Lombard, IL
I purchased this soundbar because of bluetooth connectivity. I did not expect the sound quality to be any less than my LG LED set. It is, in fact, capable of sounding better than the internal speakers of the set. My main reason for using the soundbar is for late nite listening. Mounting the unit between my rear surround speakers, I can have the sound at a low level instead of using ear buds or headphones.
Great Value Item 2/22/2013
The quality is way better than I thought with $50 dollor only (refurbished)
Great soundbar! 2/21/2013renejavoue from okc, ok
My soundbar works great! It was a refurbished item, but it looked like brand new...everything works well also.
my daughter set it up! 2/20/2013Steve from Belleville, IL
Bought this to go with my daughter's TV and she was able to do the interface on her own. She loves it.
works great 2/20/2013
Good 1/22/2013
works as expected
Quality product and price 1/1/2013Michelle from WV
Quality product, very easy to install and set up.
Awesome surround sound 12/31/2012Josh from Ventura ca
If you have limited space like my self than you will love this product. It is easy to use easy to set up and you can mount it vertually anywhere.
hard to please 12/30/2012
great sound. could use a subwoofer. midrage for voice is OK.
Still waiting to install & use 12/27/2012Joe Lopez from San Bernardino, CA
Product appears to be everything I expected, still waiting to install & use, but am optimistic about performance based on the LG name alone.
Read the Reviews before buying or you'll be disapp 12/27/2012
I was Black Friday weekend shopping online when I came across a deal for this LG Soundbar for $50 with free shipping. As most deals were time restricted I didn't spend my usual time researching the product and checking the reviews as I think it showed a high rating from the deal. My advice is to do your research and pay more for something you know will fit your needs. I'm disappointed in this product's performance as well as the way in which the product was shipped by the seller w/o batteries.
Bang for your buck 12/26/2012
I got this on sale far below retail and sale prices on the internet (by 60% or more). It's not a super sound system, so don't expect that you'll get the effects without a real subwoofer. But it's got the right touch and makes a huge difference! It's perfect for an office, but we are using it in the dining room placed on top of an upright piano because it was a bit too wide to fit on corner desks. Setup was instantaneous! It would be really nice if LG sells a Bluetooth subwoofer separately. HINT!
Sharp! 12/26/2012Billebob from Cherry Hill NJ
This soundbar does everything you could want! USB- Just load all your music on a flash drive and play all your favorite songs! It has a file/folder and even displays the album titles. Bluetooth- Play songs from your bluetooth device. 3.5mm jack- Play just about anything that doesn't have bluetooth capabilities. 2 Optical inputs- Allows you to connect several devices independently such as a blu-ray and tv at the same time. The design is sharp and the sound is pretty decent for the price.
satisfied 12/24/2012
Very satisfied with product.
Great deal 12/24/2012
great product for the money. Sound is very good
Slick BT Speaker 12/21/2012
Great Crisp/Clear Sound to Max Vol, nice 3D effects, easy menus w/ no setup required plug pwr and go! I got this for the wireless BlueTooth (BT) connection with Iphone/Ipod and it works GREAT! BT doesn't connect automatically each time (have to select "connect LG Speaker" from Iphone/Ipod BT) but links and plays from anywhere/system in the room. I don't have fiber sys to use (x2 ports) but standard stereo headphone jack is good. I have yet to experiment with the MP3 file playing from USB stick.
Nice Features at a great price. 12/21/2012Alex from North Bergen, NJ
Was looking for a mid range sound bar for a friend who is not tech-savy. I did not want the subwoofer because of space limitations so I took a look at the LG which has fantatastic features for the price. Aside from the surround sound and display the sound bar also features bluetooth connectivity which funny enough turned out to be the feature most used. I was surprised at the clarity and volume that this device delivers. Great value, highly recommended.
Very Nice 12/18/2012Bill from utica, mi
The LG sound bar sounds very good for the price. I often here that you get what you pay for, Well this time I got alot more than that. The only problem I have with it is were they put the connection for the audio wire. pretty hard to plug into. Other than that its a sweet deal.
Nice product, good price! 12/18/2012Juan from Laredo
It includes de optic cable, ++++must have!
So so 12/17/2012Cary from New York, NY
If you want better sound than the built-in speakers of a TV, then its a go.
good Find 12/17/2012geo from missouri
This sound box is extremely cool. Can set different sound types. Improved my HDTV sound.
Excellent 12/17/2012


text:
Images: 451st BWC [Image 9 of 22]
Photo by Staff Sgt. Jeff Hansen
Spc. Colin Chambers, an Army Reserve Soldier assigned to the 443rd Transportation Company in Lincoln, Neb., inspects the open chamber of a .50-caliber machine gun April 11 in Salina, Kan. Chambers was competing in the 451st Sustainment Command (Expeditionary) Best Warrior Competition, where he was the winner of the junior enlisted category.
This work, 451st BWC [Image 1 of 22], by SSG Jeff Hansen, identified by DVIDS, is free of known copyright restrictions under U.S. copyright law.
Date Taken:04.11.2014
Date Posted:04.18.2014 10:32
Photo ID:1257979
Size:327.42 KB
Location:SALINA, KS, US


text:
Using People as Evidence: Witnesses
A witness is a person called by either side in a lawsuit to give testimony before the judge. It could be you, other people who have direct and relevant information about the case, people who keep records, or experts who are qualified to give an opinion in an area of the case. Usually, the witness must be present in court for the hearing or trial.
He or she should be ready to state:
a. His or her legal name and address
For an expert witness (by declaration, usually):
a. His or her legal name and address
Remind your witnesses that they must tell the truth. It is ok to say, "I don't know" or "I don't remember," if that is the truth.
TIP: You may want to write down ahead of time why you want to offer this witness. Then, when the judge asks, you can answer even if you're nervous.
You can ask the court to order a witness to appear at your hearing. The court order is called a subpoena.
NOTE 1: Some witnesses may want to appear but need to be served with a subpoena in order to get the time off of their work to go to court.


text:
Looks like the runaway popularity of Apple's (Nasdaq:AAPL) iPhone is continuing to take a serious bite out of the competition.
IN PICTURES: 9 Ways To Use A Tax Refund
Shares Nosedive on Weak Outlook
Recently, mobile handset chip maker Qualcomm (Nasdaq:QCOM) saw its share price plunge more than 8% following the release of earnings and revenue guidance for the next quarter then fell short of analyst's expectations. After reporting expectation-topping earnings of 59 cents per share during the current quarter, Qualcomm now expects earnings for the next quarter to fall into the 51 to 55 cent a share range. (Learn about the controversies surrounding companies commenting on their forward-looking expectations in Can Earnings Guidance Accurately Predict The Future?)
As the world's biggest maker of cell phone chips, the bulk of Qualcomm's profits comes from fees paid to it by mobile phone handset makers that incorporate Qualcomm's chips. Under such arrangements, the amount of revenue Qualcomm gets is tied to the final selling price of the handset. Korean electronics giants Samsung Electronics and LG Electronics are among the company's larger clients.
Competing Smartphone Makers Losing Ground To The iPhone
As snappy as some of the new smartphone handsets made by Samsung and LG are these days, their appeal appears to be eclipsed by the apparently irresistible tech-cachet of owning an iPhone. That desire is reducing the sales of these competing products, and also lowering their prices producing a double-whammy effect to Qualcomm's bottom line. And average prices for these new handsets are expected to continue trending lower for the foreseeable future.
With global sales of smartphones now expected to grow by 46% - four times the rate of the overall handset market - a loss of competitive edge in this arena can have a serious impact on future profitability.
Google's Android Phones Can Be iPhone Killers
If there a chance that Qualcomm can maintain its profit momentum in the current environment, it lies with the company's Snapdragon processor, a higher margin product that now has found a home in new line of smartphones sporting Google's (Nasdaq:GOOG) Android operating system. Manufactured by China's HTC and carried by Verizon (NYSE:VZ), the handsets have gotten rave revues by tech pundits, who have claimed that they come close to rivaling the iPhone's elegance. However, with only 38,000 applications available for download, Google's Android offering is still miles behind Apple's massive library of 185,000 apps.
The Bottom Line
If Google's Android offering turns out to be the iPhone killer that everyone seems to be hoping for, then Qualcomm will be one of the clear winners in that scenario. But with recent numbers from Apple showing no letup in the overwhelming demand for the iPhone, the odds that anyone can steal Apple's momentum in this market are getting longer by the day. (For related reading, take a look at 6 Professional Apps Worth Buying.)
Use the Investopedia Stock Simulator to trade the stocks mentioned in this stock analysis, risk free!
Looks like the runaway popularity of Apple's (Nasdaq:AAPL) iPhone is continuing to take a serious bite out of the competition.


text:
Finance minister Pranab Mukherjee on Sunday said the human resource development ministry will be allocated Rs 2.31 lakh crore over the next three years to set up infrastructure in order to implement the Right to Education Act.
The HRD minister has said Rs 2,31,000 crore will be required for implementing the Right to Education Act in the next three years to set up schools, appoint teachers and build infrastructure. I said that the money will be provided, Mukherjee said at a seminar here. His comments come against the backdrop of the Centres recent decision to embark upon a nationwide consultation process with stakeholders to overcome teething troubles in implementing the Right To Education Act.


text:
On my list of "What to see in NZ" was Penguins! There is something about these birds (that don't fly) that are simple irresistible and I really wanted to see them. Well I got my chance in Omarau near Dunedin on the South Island of NZ. It was absolutely pouring rain that night so we decided to pay the $20 each to see the Little Blue Penguins from a covered viewing spot.
It turned out to be an excellent decision as these penguins don't return home from fishing all day at sea until dusk. After dark it would be very difficult to spot these 12" high small penguins, especially with our old eyes. The center had a special light that didn't bother the penguins but helped us to see them waddling up the beach and into their nests on shore to spend the night. The Blue Penguins are the smallest penguins in the world and are totally adorable.
Yellow Eyed Penguins are a little taller than their blue cousins and are very rare and they do indeed have yellow colouring around their eyes. We hiked out to Victory Beach the next evening on the Otago Peninsula by Dunedin to try and spot these birds and were rewarded by a private viewing of 2 families - mom, dad and youngsters. We didn't want to frighten the penguins so we hid among the tall grasses viewing them with binoculars and a telephoto camera lens. Norm got some great early evening shots!
Penguins! You can't resist seeing them when you're in New Zealand.
Our cruising buddies, Neal and Ruthie from the S/V Rutea are also exploring NZ by road. We exchanged emails from time to time to see if there was a chance we might meet up. Our chance came and it was decided that Mt. Cook would be the spot, the highest peak in New Zealand. We drove over from Christchurch to meet our friends. As we rounded Lake Pukaki, the tip of Mt. Cook peaked up from the clouds. It was magnificent! The view kept getting better the closer we drove to the mountain. I swear we must have 100 photos of this great mountain!
The Hooker Valley Trail is a hike "not to be missed" according to the Lonely Planet Guide! On this day, the guide was incredibly accurate. The skies were blue, the sun hot and the company outstanding as we hiked this trail together with our friends. We crossed swing bridges, viewed glaciers, and arrived at a lake full of glacier ice with amazing views of Mt. Cook. New Zealand's favourite son, Sir Edmund Hilary used Mt. Cook as a training ground for his ascent of Mt. Everest in 1953.
Great hiking, great views and great friends! Thanks Mt. Cook!
Today, Feb. 22, 2012 marks the one year anniversary of the earthquake in Christchurch, NZ that claimed 185 lives. We visited Christchurch last week and were saddened by what we found. The downtown core of 10 square blocks remains fenced off to the public. This is where most of the devastation occurred including the catastrophic damage to the historic Christchurch Cathedral. The efforts to rebuild the city core have been slowed by insurance claims, continuing tremours and controversy on the methods for rebuilding.
There is an exhibit in the excellent Museum of Canterbury showcasing a room full of handmade hearts. A woman from Napier in the North Island began making hearts for the people of Christchurch after the devastating earthquake. It caught on and soon people from all over NZ were making hearts for Christchurch. It is an impressive sight, this room full of hearts of all colours... it brought tears to my eyes.
Our hearts go out to Christchurch.
Red wine has always been our favourite, a merlot or a cabernet sauvignon but here in New Zealand white wine is what you will find. The climate here is best suited for growing the grapes for white wine. It doesn't get hot enough for red wine grapes to mature. What an excellent opportunity for us to expand our horizons and taste some local white wines in the Marlborough region of NZ! These vineyards are near Blenheim on the South Island, only a stone's throw from the ferry from Wellington. We rented some bikes at our holiday park and off we went, vineyard map in hand.
The biking in this region is easy, quite flat and the vineyards are relatively close together. It's a very fun way to taste the wines of the region. So you ask, did we like the white wines? YES! The Savignon Blancs were our favourite, a dry white wine and very refreshing on a warm sunny day. The pinot noirs were also excellent, a lighter red wine choice. A couple of bottles of our favourites from the wine tastings were purchased to enjoy in the holiday parks as we cruise in "Gertie" down the east coast of the South Island of New Zealand!
02/22/2012, Abel Tasman
Our paddles dipped silently in the water beside our double kayak. We were listening to Sam tell us a story of Abel Tasman and how he discovered this beautiful corner of the world back in the 1600's. Sam is an amazing young Kiwi man who, like many others New Zealanders, loves the outdoors. In the winter he is a ski patroller on one of the South Island ski hills. During the summer you'll find him leading kayak and hiking tours in Abel Tasman National Park. I was so impressed with his knowledge of the local flora and fauna. There wasn't a bird that he did not know or a tree he could not name. We learned so much from this 23 year old!
I spotted a Pied Shag, a bird that looks like a penguin from a distance because of its white chest. Fur seal pups were frolicking on Pinnacle Rock with their moms. Most of the males had headed out to sea to fish but the adolescent males were already assuming the assertive pose with their heads tossed back, very typical of the males.
We paddle around a point and yet another beautiful beach comes into view. The water is clear and turquoise in colour. Some people are swimming but it feels cool to us who have just spent 6 months in warm tropical waters. Sam is telling us another story, about a local fellow who once owned a piece of this park but reluctantly gave it up to the government. There are very few privately owned homes in the park. It consists mostly of well kept trails and deserted beaches.
Abel Tasman National Park - a real gem. If you go kayaking there, ask for Sam. He's amazing!
The NZ Metservice weather report said that tomorrow would be "fine". In NZ that is supposed to mean sunshine. Well we woke up in our holiday park (campground) in the Tongariro National Park, looked outside our campervan to see only clouds and drizzle. AND it was cold - 8 degrees C, due to the high altitude. That didn't look very "fine" to us for walking what the guide book described as "The Best One Day Walk in NZ". Norm & I decided to wait another day as the forecast for the next day was "fine". Maybe the forecast would be right this time.
The next day was more of the same - clouds, fog and drizzle. Well we decided we couldn't wait forever so off we went in our layered clothing, toques and waterproof jackets. The "Tongariro Alpine Crossing" is a challenging one day 6-8 hour, 19 km hike rising up to 1886 m. You pass volcanos, climb lava flows, witness emerald lakes and experience stunning views. Well we couldn't see 10 feet in front of our face with the fog, let alone see mountains or the emerald lakes!
Mt. Ngauruhoe is called "Mt. Doom" from the movie "Lord of the Rings" that was filmed here. It's a very large, black, almost perfect dome shape mountain that we did finally see the following morning when the weather cleared. An impressive sight.
The hike was memorable despite the weather. We certainly felt like we had accomplished something significant and we hiked alongside many friendly Kiwis. The sun actually did shine in the afternoon with the fog lifting eerily to reveal the mountains in a scene that looked like it was from "Lord of the Rings".
The fatigue we felt at the end of the day was definitely worth it, but left us thinking "I wonder, where is the second best day hike in NZ?"


text:
Trevor Wishart is one of the best known composers of electro-acoustic music in the world today. He has held composer residencies in Australia, Canada, Holland, Berlin and the USA, and is currently on the staff of Durham University. He lives in York and is published by UYMP.
Website: UYMP Catalogue


text:
The Edge Pouch
Sold OutShipping, Exchange & Returns
Shipping, Exchange & Returns
You can choose from different delivery service levels:
Standard Shipping
Delivery in 4-6 working days
£ 5.00
£ Complimentary
Express Shipping
Delivery in 1-3 working days
£ 20.00
Cash on Delivery supplement
£ 5.00
Saturday Shipping
Delivery guaranteed on Saturday morning
£ 20.00
Next Day Shipping
Delivery guaranteed next working day
£ 20.00
Bubble leather pouch with zip pouch closure and handle, features signature embossed baroque McQ logo edging on both corners.
Material Leather
Product code
Need help?
Order by phone 08000517411
Back to top


text:
Deployment Update
In This Issue
August/September 2012
VTrckS Connection Newsletter
Due to flu season activity and to accommodate grantee schedules, there will be a deployment blackout period in which no grantees will Go-Live on VTrckS during October; however, deployment preparation activities, including manual and module sessions and training, will be on-going for grantees that will deploy beginning in November.
Did You Know?
Over 3 million vaccine orders processed through VTrckS to date (~153 million doses)
Images and logos on this website which are trademarked/copyrighted or used with permission of the trademark/copyright or logo holder are not in the public domain. These images and logos have been licensed for or used with permission in the materials provided on this website. The materials in the form presented on this website may be used without seeking further permission. Any other use of trademarked/copyrighted images or logos requires permission from the trademark/copyright holder...more
This graphic notice means that you are leaving an HHS Web site. For more information, please see the Exit Notification and Disclaimer policy.
Contact VTrckS
For VTrckS users:
Email: Vaccine Order Management Contact Center, or
Call: 1-877-878-6247
Contact Us:
- Centers for Disease Control and Prevention
1600 Clifton Rd
Atlanta, GA 30333
Contact CDC-INFO


text:
SSRG Honours Thesis Projects
The thesis topics listed here are available to strong undergraduate students. They are mostly associated with research projects and generally quite challenging; many topics have the potential to lead to a publication, and in average we get about one paper a year from the work of one (or more) undergraduate thesis students. Students who are not aiming for excellence are in the wrong place here.
Note that the below list is constantly updated, new topics are added as we identify them as work on various research projects proceeds. Topics marked are recent additions.
UNSW students can access all of our recent student theses.
Undergraduate Thesis Topics in Software Engineering and Cloud Computing
- topics supervised by Liming Zhu
- topics supervised by Paul Bannerman
- topics supervised by Ingo Weber
- topics supervised by Daniel Sun
- topics supervised by Adnene Guabtni
- topics supervised by Vincent Gramoli
- topics supervised by Sherry Xu
- How to apply
- info for postgraduate students
Undergraduate Thesis Topics in Operating Systems and Formal Methods
- topics supervised by Gernot Heiser
- topics supervised by Ihor Kuz
- topics supervised by Gerwin Klein
- topics supervised by Kevin Elphinstone
- topics supervised by Toby Murray
- topics supervised by Leonid Ryzhyk
- How to apply
- info for postgraduate students
Undergraduate Thesis Topics in Software Engineering and Cloud Computing
Software engineering/cloud projects can be applied by
students from Usyd, UTS, UNSW and ANU. Please email the
supervisors for details.
Topics supervised by Liming Zhu (UNSW official list)
Dependable Auditing on Operations of
in-Cloud Applications
Despite the tremendous potential of cloud computing, organisations that deploy their applications in the cloud may have concerns related to loss of control and dependability issues (e.g. security, privacy and availability). Operations of in-cloud applications are usually a mix of (semi-) automated tasks by both in-house administrators and cloud infrastructure providers reacting to rapidly changing environment.
It is often difficult to establish assurance cases and track accountabilities of these operations in three cases 1) for compliance testing with respect to legal requirements such as Basel III 2) forensic operations when there has been a secuirty breach, and 3) when the applications encounter problems and it is necessary to get compensation from the cloud vendor..
This project will investigate the both the technical mechanisms and legal issues in auditing operations of in-cloud applications. Specifically, the student will examine the current logging facilities related to typical operations of in-cloud applications and cloud infrastructure vendors's comliance process and evidence requirements. The student will then propose improvements in logging and auditing so better assurances and accountability could be established.
References: email firstname.lastname@example.com
Supervisor: Len Bass (firstname.lastname@example.com) & Liming Zhu (firstname.lastname@example.com)
Requirements: System administrators skills preferred. Business and legal background is a plus.
Availability Analysis for
Applications in Public Cloud
The cloud is a disruptive technology and is quickly being adopted. Putting applications in the cloud will introduce uncertainties for operations that have traditionally been under the direct control of an enterprise. Enterprises will be dependent on cloud providers and will need to use indirect means to understand and guarantee their quality goals such as performance and availability.
In this project, you will get exposures to Amazon's public cloud services and working with system engineers from Yuruware on their real world products and problems regarding achieving high availability through analysing deployment architectures and performing measurement. This project is suitable for individual or group.
References: http://www.ssrg.nicta.com.au/projects/cloud/managing-qos.pml, http://www.yuruware.com/
Supervisor: Liming Zhu (email@example.com)
Requirements: Programming skills required. System administration skill is a plus.
Big Data Platform
Heavy use of computing is producing a large amount of valuable data everyday. There have been advances (e.g. MapReduce) at the infrastructure level for processing large amount of data. However, the challenges remains at the upper layer on connecting business data silos, accommodating entrenched but efficient domain-specific analysis tools, making analysis results usable in real-time to business operations, all in end-user friendly ways.
The aim of this project is to connect a set of existing open-source tools through programmable web-interfaces to tackle the above challenges. NICTA's Software Systems Research Group (SSRG) has developed a web-based tool mashup technology to make this task easier. Work in this project would include understanding big data tools and NICTA's mashup tool, writing web-layer wrappers and programmable interfaces for existing tools and build a demonstration system.
The key novelty is its ability to advertise the capabilities of existing tools and connect them through the basic Web. The outcome would be a proof of concept and demonstration system for web-coordinated analysis tools and data sources. This project is suitable for individual or group.
References: Liming Zhu, Len Bass and Xiwei Xu, Data management requirements for a knowledge discovery platform, Architectures and Platforms for Knowledge Discovery from Data, Helsinki, Finland, pp. 4, August, 2012.
Supervisor: Liming Zhu (email@example.com)
Requirements: Programming skills required.
Understanding and Improving Operational
Processes in Large-scale Distributed
Most failures of modern large-scale distributed systems happen during sporadic operational processes (such as upgrade, backup, recovery and configuration changes).
The overall goal of the project is to understand the characteristics of these complex operational processes so that we can improve the overall dependability of the systems especially during sporadic operational activities. These operational processes are always a combination of automated processes and human-intensive processes which require different types of resources (software artifacts, computation power and humans) to carry out. These resources show a wide range of different characteristics in terms of their error-proneness, undoability, availability over time and dependency and etc.
These put significant challenges in choosing and scheduling these resources appropriately and their impact on overall system dependability. The project will expose students to a set of real world operational processes for large-scale distributed systems. The project involves the modelling these processes in (semi-) formal process languages and investigation of analysis methods (and tools) to determine the impact of an operational processes on system dependability.
References: email email@example.com
Supervisor: Liming Zhu (email@example.com)
Requirements: Modelling experiences and strong communications skills required.
Fault Tolerance Platforms for
Large-Scale Distributed Applications
Fault tolerance is a major concern of modern large-scale distributed applications. However, many such applications are running on top of commodity computing infrastructures (such as public cloud) which provide little fault-tolerance mechanisms and very limited controls over the underlying infrastructure. This requires the applications to deal with the faults and uncertainties by themselves, which is difficult and cumbersome.
The purpose of this project is develop new fault-tolerance platforms on top of commodity computing infrastructure for large-scale distributed applications. One example effort towards this direction is the open source projects from Netflix (http://netflix.github.com/). In this project, students will be exposed to real world cloud computing platforms and build new fault-tolerance platforms on top of them.You will be working with senior researchers and other students in a friendly environment.
References: Netflix technical blog and email email@example.com
Supervisor: Liming Zhu (firstname.lastname@example.com)
Requirements: Strong programming skills (e.g. Java) is required
Application Design and Measurement in
Cloud Platforms
Designing and deploying an application in Cloud platforms (e.g. Amazon AWS, Rackspace...) is not easy especially dealing with failures and recovery. There are two aspects of the project. One is concerned with recovery-based design, which explores the different mechanisms and patterns for designing a recovery-friendly application from the very beginning. The second is concerned with the measurement of recovery time and state under different types of failures, configurations and designs.
Students will be exposed to the lastest cloud computing platforms and technologies, for example, directly deploying in Amazon cloud platform.
References: email firstname.lastname@example.com
Supervisor: Liming Zhu (email@example.com)
Requirements: Strong system administration and operation skills are required.
Tablet-based Control Interface for
Distributed Systems Deployment
Modern large-scale distributed systems require sophisticated deployment and constant changes of deployment reacting to external workload, events and failures. This project is about developing a game-like control interface for system deployment. It works like the game Galcon (see references) on Tablets.
A set of "planets" represent the data centers and the "swarms of battle ships" represent the computing resources you need to relocate from one data center to another due to resource exhaustion on the source data center or other reasons.
There might be underlying re-deployment policies and auto-migration tools to help but it also allows the system operators to redeploy using the touch interface. This project will allow you to play with Tablet applications, game designs and expose to distributed systems concept.
References: email email@example.com, http://www.youtube.com/watch?v=r-z-Pd9RcGM, https://play.google.com/store/apps/details?id=com.galcon.igalcon
Supervisor: Liming Zhu (email@example.com)
Requirements: Interests in Tablet-based application/game designs.
Cloud-in-Cloud: Software Defined Data
Center for the Next Generation of Cloud
This project will explore the design of future "software defined data centers" inside public cloud. It will use light virtual machine - LXC (http://lxc.sourceforge.net/) and network virtualization (i.e. software defined virtual networks) to define new data centers optimized for agility and highly shared resource environments.
Students will be exposed to real world cloud computing platforms, setup and test new software-defined cloud on top of them. Students will be working with senior researchers and other students in a friendly environment.
References: email email@example.com
Supervisor: Liming Zhu (email@example.com)
Requirements: Strong system administration and operation skills are required.
Topics supervised by Ingo Weber (UNSW official list)
Topic Theme: Process Mining for Cloud
With developments such as virtualization and cloud computing, system operation (such as installation, deployment, upgrading) has become a significantly more complex task: an operator might be responsible for thousands of machines, which are built and connected in ever more complex ways. Therefore it is important to support operators to make sure that, e.g., an upgrade process is executing correctly and has the desired result.
Our work thus is concerned with (i) discovering how processes are executed for log files, and (ii) making sure a running process corresponds to the correct execution. Initial works of ours have been published - see below.
In the context of this work, there are numerous open topics for future research:
- Predicting success likelihood. From partial executions of a process, e.g. when done manually by an operator, we want to be able to tell the operator how likely he is to achieve his goal. This may help to prevent hours of unnecessary work.
- Multi-instantiation of sub-processes. Certain cloud operation processes have sub-processes that are executed multiple times in parallel, where beforehand it is unknown how many such parallel executions will be required. Previous techniques for process mining do not deal with such cases.
- Mining error handling procedures. Our current efforts in process mining focus on detecting the successful executions of a process. One missing aspect is error handling: if something goes wrong, and automatic error handling is invoked, when do we have to start worrying, and when is everything in order?
- Automatic abstraction. One issue in discovering a process model from logs is the level of abstraction: usually, the logs are a lot more fine-grained and detailed than the level of abstraction we want in our process models. The abstraction is currently done in a largely manual fashion. When trying to abstract automatically, several hard research challenges arise: which events belong together? And when is a model appropriate, e.g., easy to understand for a human?
References: Detecting Cloud Provisioning Errors Using an Annotated Process Model
Supervisors: Ingo Weber (email@example.com) and Len Bass (email@example.com)
Requirements: Java or another equivalent language. The student should be able to rapidly understand and manipulate new technologies
Topic Theme: Supporting Undo in API-controlled
With the advent of cloud computing and related developments, more and more capabilities become available as APIs. For instance, instead of ordering a new server, waiting a few weeks, and installing the new server in one.s network, nowadays a few API calls suffice to get hold of a new server in a public cloud. While such powerful APIs can provide enormous increases in productivity and time-to-solution, they open new possibilities significant mishaps . e.g., if an administrator inadvertently deletes a virtual disk, all of the contained data is irrecoverably lost. In essence, many administrators operate without a safety net.
In our work, we investigate the undoability of changes. On the one hand, we can check which operations can be undone, and under which circumstances. On the other hand, if undo is required, we can find a sequence of operations that brings a system back to a previously defined, desirable state: a checkpoint. Both techniques make use of Artificial Intelligence (AI) planning, and have been published - see below.
In the context of this work, there are numerous open topics for future research:
- Parallelization of undo plans. When the undo tool creates a sequence of operations to revert to a checkpoint, this plan should be examined on how it can be parallelized. Since the operations can fail, the plan can contain backup plans that specify what to do if an operation does not result in the desired outcome. Due to the presence of backup plans, parallelization becomes tricky.
- Quality aspects of undo plans. Theoretically, infinitely many plans exist for many undo problems. The question is: which are the good plans? Quality aspects include overall duration, likelihood of success / robustness, and specific aspects like overall downtime of a specific service based on the resources manipulated by a plan. Depending on the user requirements, the planner should find a plan (or several meaningful alternatives) that suits the user's needs.
- Automatic checkpointing. One problem of our undo approach is that it relies on the user setting a checkpoint before doing anything critical. If the user fails to do so, undo is not possible later on. The research question is: when should checkpoints be set, and how can we build / modify systems which automatically set checkpoints?
- Scalability. Currently, our techniques scale to 50 or 100 resources, but not to thousands. Optimization and filtering strategies are required to focus the application of the techniques to only relevant aspects.
- Extension into a general-purpose undo framework. At the moment, the undo work addresses specific resource types, mostly part of Amazon Web Services EC2. The existing work needs to be extended into a controller of a general-purpose undo framework, which can be easily extended through plugins. These plugins could provide integrated checkpointing / undo across various systems, e.g., internal configuration management of applications, snapshotting and restoring virtual harddrives, software-defined networks, etc.
References: Automatic Undo for Cloud Management via AI Planning and Supporting Undoability in Systems Operations
Supervisors: Ingo Weber (firstname.lastname@example.com), Len Bass (firstname.lastname@example.com) and Alan Fekete (firstname.lastname@example.com)
Requirements: Java or another equivalent language. The student should be able to rapidly understand and manipulate new technologies
Supporting Recovery During Deployment
of New Application Versions in the Cloud
Deploying a new version of an application into a cloud platform is a difficult undertaking, as the application may be executing on 1000s of servers, so the changeover between versions can't happen instantaneously, and the actions of a new version may conflict with actions of the old version. It is no surprise that errors occur during deployment and the old version must be restored.
This project will design an approach that can automatically restore an application to the prior version. This will extend a recent result of Weber et al from NICTA which uses AI planning technology to restore a previous platform configuration.
Weber's method is independent of the application being deployed, while the proposed project will be targeted to the case where the application is aware that a new version is being deployed, and so it can set up the necessary environment, and save appropriate state, to support a rollback.
References: Automatic Undo for Cloud Management via AI Planning and Supporting Undoability in Systems Operations
Supervisors: Ingo Weber (firstname.lastname@example.com), Len Bass (email@example.com) and Alan Fekete (firstname.lastname@example.com)
Requirements: Java or another equivalent language. The student should be able to rapidly understand and manipulate new technologies
Topics supervised by Adnene Guabtni
Determining Configuration Errors on
Deployment in the Cloud
Many recent software disasters have been caused by errors occurring during deployment of a new version of the software. The Knight Capital Trading Company, for example, suffered a $440 million loss as a result of a deployment error. One common source of deployment errors is the mis-setting of configuration parameters.
A typlical stack for an application in the cloud might be Joomla, PhP, MySQL, and the Apache Server. Each of these elements may have 50 or more configuration parameters. An ongoing project at NICTA involves monitoring the activities of applications in the cloud. This project aims to extend this to monitor the connection between configuration change and system behaviour.
To begin, the project will work with the existing monitoring software and add an element that a) recognizes modifications to a configuration file, a) monitors parameters of interest, e.g. CPU usage, network usage, transaction rate, and c) raises an alarm when the deviation of these parameters from prior to the configuration change to after the configuration change is significant.
As evaluation, we will then look for examples where the tool actually detects flaws. This would involve finding a change that was incorrect in some open source bugzilla repository, replicate the change and show that the tool actually detects a problem.
References: An empirical study on configuration errors in commercial and open source systems
Supervisor: , Adnene Guabtni (firstname.lastname@example.com) Len Bass (firstname.lastname@example.com) and Alan Fekete (email@example.com)
Requirements: Java or another equivalent language. The student should be able to rapidly understand and manipulate new technologies
Topics supervised by Vincent Gramoli
Reconfiguration of Datacenters with
Datacenter networks and services are at risk in the face of disasters. Existing fault-tolerant storage services cannot even achieve a nil recovery point objective (RPO) as client-generated data may get lost before the termination of their migration across geo-replicated data-centers. Software defined network (SDN) has proved instrumental in exploiting application-level information to optimise the routing of information.
The goal of this project is to leverage Software Defined Edge (SDE) or the implementation of SDN at the network edge to achieve nil RPO. The key idea is to duplicate and redirect the storage requests to multiple servers to guarantee fault tolerance. By implementing this duplication and redirection at the network level instead of the traditional application level we expect to improve the performance and overall fault-tolerance.
The project requires skills in python and Java as well as knowledge of distributed systems and network technologies.
Research Environment: The successful applicant will work in a dynamic and highly innovative environment in the Software System Research Group at NICTA in close collaboration with internationally recognised researcher. The applicant will benefit from strong collaborations with NICTA's industrial and academic partners. This project will be primarily based at the NICTA ATP laboratory and the candidate is expected to interact with other members of the team consisting of junior and senior research staff, and PhD students. The institution will provide IT support and resources.
Topics supervised by Sherry Xu
Automate Error Detection of Cloud Operation:
Case study of Migration/Deployment in
Cloud is a popular platform, but once a task exceeds one machine, the consumer must be an operator, configuring etc. Chef/Puppet is a well-used framework/tool for executing system operations.
This project will develop tools based on recent NICTA research, that allow automatic error detection during runtime of application migration between cloud providers.
Deliverables: Chef scripts that do migration and detect errors as they occur. Extensions may respond effectively, diagnose root causes, etc.
References: email email@example.com
Supervisor: Xiwei (Sherry) Xu (firstname.lastname@example.com)
Requirements: Good Java programming. Desirable is AWS experience or operational experience.
Collecting Cloud Environment Errors
and Distribution: Case study of
Designing and deploying an application in Cloud platforms (e.g. Amazon AWS, Rackspace...) is not easy especially dealing with failures and recovery due to the uncertainty of Cloud infrastructure. Understanding and modelling of uncertain cloud infrastructure heavily rely on investigating the documentation provided by Cloud provider and experiment.
This project will provide students an opportunity to learn the hot Cloud platforms and technologies and and working with system engineers from Yuruware
Deliverables: Automatic data collection of API calls and Errors
References: email email@example.com
Supervisor: Xiwei (Sherry) Xu (firstname.lastname@example.com)
Requirements: Good Java programming.
Automatic Tracking Error Code of
Deploying applications in cloud environments will introduce uncertainties for operations that have traditionally been under the direct control of an enterprise. Understanding and modelling of uncertain cloud infrastructure heavily rely on investigating the documentation provided by Cloud provider and doing experiment. The Cloud API is being updated once a while.
In this project, the students will learn the hot Cloud platform (e.g. Amazon, AWS, Rackspace..) and technologies, get their hand dirty, and build a tool to automatically track the changing of API regarding to the error messages/codes and handling.
Deliverables: A tool that automatically tracks the changing Cloud API References: email email@example.com
Supervisor: Xiwei (Sherry) Xu (firstname.lastname@example.com) and Len Bass (firstname.lastname@example.com)
Requirements: Good Java programming.
Automatic Mining Error Handling Relevant
Information from Technical Forum through Natural Language
Deploying applications in cloud environments will introduce uncertainties for operations that have traditionally been under the direct control of an enterprise. Understanding and modelling of uncertain cloud infrastructure heavily rely on investigating the documentation provided by Cloud provider, browsing technical forum, and doing experiment.
In this project, the students will learn the hot Cloud platform (e.g. Amazon, AWS, Rackspace..) and technologies, get their hand dirty, and build a tool to automatically mine the error handling relevant information from a technical forum through natural language processing technique.
Deliverables: A tool that automatically mines the error handling relevant information from technical forum through natural language processing technique References: email email@example.com
Supervisor: Xiwei (Sherry) Xu (firstname.lastname@example.com) and Len Bass (firstname.lastname@example.com)
Requirements: Good Java programming.
Undergraduate Thesis Topics in Operating Systems and Formal Methods
We are generally looking for honours candidates, or students with outstanding performance in operating systems. Specifically we guarantee a thesis topic to any student who has obtained a HD grade in UNSW's Operating Systems or Advanced Operating Systems course, no matter what their other grades are!
Present topics supervised by Gernot Heiser (official list)
- 3628: Message-passing vs migrating threads
Message-passing and migrating threads are two basic ways of implementing cross-domain communication (IPC). seL4, like all previous L4 kernels, uses the former. The kernel of the Composite OS, designed for similar application domains, uses the latter.
This thesis is to examine and evaluate the Composite model and compare it to seL4, with the aim of understanding the main trade-offs and performance limitations, as well as the implications for resource management.
Novelty and Contribution: evaluation of microkernel communication models in the context of a real-time capable system.
- 3627: Secure network OS for SDN
Present "network OSes" for SDN controllers are applications that run on top of a standard OS, such as Linux. They also provide little or no security against buggy or malicious control apps.
The recent Rosemary work proposes a micro-kernelish NOS that runs on top of Linux. A sensible approach would be a minimal seL4-based system that runs natively, and uses seL4's protection and IPC mechanisms. This should be able to achieve better protection as well as better performance than Rosemary.
This project is to design such a system, implement a prototype and evaluate it. Results are likely publishable.
- 3587: Interrupt-Related Covert Channels on seL4
seL4 is the world's only general-purpose kernel with a proof of confidentiality that applies to its binary implementation. This proof provides very strong guarantees that the kernel enforces data confidentiality --- i.e. prevents information leakage that would violate the system's access control policy --- with some side conditions. The side conditions include interrupts being disabled and that the proof does not cover covert timing channels.
One such timing channel arises when interrupts are enabled: the arrival of interrupts causes the time-slice of the current thread to be extended, because interrupt-servicing pre-empts the currently running thread, allowing it to indirectly observe interrupts that should otherwise remain secret. The goal of this project is to investigate mechanisms to mitigate and close such channels, while ensuring adequate interrupt response latencies.
We expect a natural trade-off between channel bandwidth and interrupt-response latency, so further work in this project would investigate this trade-off by applying existing tools to measure the effectiveness of various mitigation strategies against benchmarked latencies. This project therefore involves a combination of kernel implementation, benchmarking and analysis.
Novelty: If successful, the results of this project could be incorporated into future versions of seL4, and be applied to relax the assumptions of the seL4 confidentiality proof, increasing seL4's applicably for applications that demand both high-performance and high-assurance. seL4 would become the world's only kernel with a code-level confidentiality proof that holds when interrupts are enabled.
Outcome: The design, implementation and empirical evaluation of kernel mechanisms to mitigate interrupt-related covert channels for seL4.
References: Existing work on measuring timing channels; seL4's confidentiality proof
- 3586: Sloth vs eChronos
eChronos is an RTOS designed for deeply-embedded systems with no memory protection and single-mode execution, that is being developed and formally verified by NICTA. Sloth is a system for a similar application domain, which takes the unusual approach of leaving all scheduling to hardware, by running everything in an interrupt context. This limits the use of Sloth to processors where interrupts mode can be entered by software. This project is to evaluate and quantify the performance advantage of Sloth over eChronos.
Novelty: Sloth is presently the world's fastest RTOS. eChronos, which has the advantage of formal verification and less dependence on hardware features, is a more traditionally-designed RTOS. This project will determine whether the performance advantage of Sloth is significant enough to justify the different (and more limiting) design.
Outcome: A better understanding of RTOS design tradeoffs, eminently publishable results.
- 3584: Protected-Mode eChronos
eChronos is an RTOS designed for deeply-embedded systems with no memory protection and single-mode execution, that is being developed and formally verified by NICTA. However there are interesting use cases for a verified kernel on mid-range processors that feature a simple memory-protection unit (MPU). A particularly interesting case is the ARM Coretex M4, which eChronos already supports, albeit without utilising the MPU. This project is to design a protected-mode version of eChronos, implement and evaluate it.
Novelty: NICTA has produced the first verified kernels for high-end microprocessors with full virtual memory (seL4) as well as for low-end single-mode microcontrollers (eChronos). The remaining middle ground are MPU-only processors. Success of this project will complete coverage.
Outcome: eChronos version that uses memory protection
- 3582: Effective Cross-Kernel Communication
For reasons of scalability and verifiability, seL4 uses a multikernel approach where cores do not share an L2 cache. This implies that kernels on different cores do not share state, and communicate asynchronously via mailboxes.
This project is to design, implement and evaluate a user-level communication package for threads running on different cores on top of the kernel's minimal mechanisms, and compare to other approaches, e.g., Linux IPC. This will, no doubt, require work on the seL4 mechanisms too. In fact, the project could be split between two students, one working inside the kernel and one at user level.
NICTA's Trustworthy Systems team are world leaders in research for providing unprecedented security, safety, reliability and efficiency for software systems. Successes include deployment of the OKL4 microkernel in billions of devices, and the first formally verified OS kernel, seL4. Present activities include covert channel mitigation, mixed-criticality real-time systems, and automatic code-proof co-generation. We are building a complete seL4-based high-assurance system for autonomous helicopters, like Boeing's Unmanned Little Bird, in a project funded by US DoD. You will work with a unique combination of OS and formal methods experts, producing high-impact work with real-world applicability, driven by ambition and team spirit.
Novelty: Multikernels are new, and other than the Barrelfish paper there is little evaluation, and what there is is on x86, with vastly different tradeoffs to our ARM platforms. Furthermore, seL4's idiosyncrasies mean that previous resuts are not necessarily transferrable. Given the significance of seL4, this work can lead to publishable results.
Outcome: Understanding of how to do user-level communication in an seL4 multikernel; report describing design, implementation and evaluation.
References: Baumann et al, The multikernel: A new OS}architecture for scalable multicore systems, SOSP'09
- >3210: Making the TPM useful
The Trusted Platform Module (TPM) specified by the Trusted Computing Group (TCG) and implemented on many PC platforms supports a secure boot and remote attestation (where an external agent can ascertain that the system is in a particular software configuration). However, the TCG approach has been a considered a failure for end-user devices, as it does nothing to ensure that the "trusted" software is trustworthy and does not support upgrading it when it has found to be vulnerable.
The formally-verified seL4 microkernel presents an opportunity to make TPMs useful: seL4 is truly trustworthy, so attesting that it is running provides real assurance of trustworthiness. seL4 itself can then be used to instantiate a trusted software stack, and protect it from untrusted components, and it can be used to upgrade the trusted software securely. The Ironclad approach uses a similar idea, but requires verification of the full system, ruling out use of any untrusted compoenents. Instead, we use seL4's isolation properties for protecting critical components from untrusted ones.
This thesis is to build a demonstrator of an seL4-based trustworthy system. This will require implementing TPM-facilitated secure boot of seL4 and some trusted base which can be remotely attested. If time allows, demonstrate secure software evolution.
Novelty and Contribution: Such an approach to a practical TPM-based trusted system has not been demonstrated, and will constitute publishable research.
References: Chris Hawblitzel, Jon Howell, Jacob R. Lorch, Arjun Narayan, Bryan Parno, Danfeng Zhang, Brian Zill: Ironclad Apps: End-to-End Security via Automated Full-System Verification, OSDI'14.
seL4 is designed for microprocessors with full virtual-memory support. However there are interesting use cases for a verified kernel on lower-end processors that only have a simple memory-protection unit (MPU). A particularly interesting case is the ARM Coretex M4, which has the same instruction-set architecture as the A9/A15 processors whcih seL4 presently supports, so a port to the M4 would be trivial except for memory management.
seL4's approach to memory management should be easier to adapt to MPUs than earlier L4 kernels. This project is to investigate the design and implementation changes required for an MPU-based seL4, do the port and evaluate it.
Novelty: NICTA has produced the first verified kernels for high-end microprocessors with full virtual memory (seL4) as well as for low-end single-mode microcontrollers (eChronos). The remaining middle ground are MPU-only processors, such as the M4. Success of this project will complete coverage.
Outcome: seL4 version that runs and performs on M4 processors.-->
I will not take on students who have not shown a convincing performance in COMP3231 ``Operating Systems''. I normally expect students to have done COMP9242 ``Advanced Operating Systems'', although I make exceptions in special cases.
Most topics can lead to publications.
Present topics supervised by Ihor Kuz (official list)
3287: Secure terminal on seL4
seL4 is a formally verified microkernel for building secure systems. A key element of such systems is secure access to terminal I/O (i.e. the screen, keyboard, and mouse), which means that different applications can get user input and output without worrying that other malicious applications (such as a key logger) can interfere. Nitpicker is a secure display architecture developed at Technical University of Dresden. In this project implement a version of Nitpicker for seL4, and use it as the basis for building a secure windowed terminal. Evaluate the resulting system by analysing its functionality, performance, and security.
3288: seL4 AUTOSAR
seL4 has been developed to be the basis for building secure systems, however, it can also be used as the basis for safety-critical systems, such as those used in cars. With seL4 in such systems, it becomes possible to provide guarantees about memory isolation properties, which is crucial for safety-critical systems. Besides memory isolation, seL4 also has known timing properties, making it possible to give timing guarantees, which is important for real-time systems such as those found in cars. The goal of this project is to investigate the role that seL4 can play in such systems by implementing the AUTOSAR automotive framework to use seL4 as the underlying OS.
3289: Qubes on seL4
Qubes is a new operating system architecture for developing secure desktop systems. It is based on isolation, running each application in a separate virtual machine so that they cannot maliciously interfere with each other. However, Qubes is based on Xen, which is a relatively heavyweight, and unsecure, hypervisor. Qubes would be much better if it ran on, and relied on, seL4 for its isolation. In this project you will implement a version of Qubes on seL4, and evaluate it by running various applications to analyse the security benefits that seL4 provides.
1268: Shared resources in an microkernel-based
One of the key services that an OS provides is a managing access to shared resources. For example, a file system manages access to shared disk space, a network stack manages access to a network device, a window system manages access to the display, etc. In a modular, microkernel-based OS, these shared resources are managed by user-level services. In this project you will investigate ways of modelling such shared resource managers within the CAmkES component framework on seL4 and develop a suitable model for building such services in a componentised environment. You will assess the suitability of this model by designing, implementing, and evaluating one or more such services (e.g., a file system, a network stack, etc.).
IK10: Click Modular Router on L4
Related topics supervised by Gerwin Klein (official list)
GWK01: Formal Model of an ARM Processor in
Develop a specification of an ARM processor (e.g. Xscale) suitable for use in formal verification of programs. A similar such model for an MMU-less ARM6 core has been developed by Anthony Fox at Cambridge in the HOL4 system. This should be examined for its usability, and for what is missing with respect to a full model of an Xscale processor. If time allows, an instruction-set level simulator should be generated from the model. This project is an integral part of the formal verification of the L4 micro kernel at NICTA. It connects cutting edge OS research with real-world large-scale system verification. You will work with the developers of L4 and Isabelle in an international team of PhD students and researchers in NICTA's SSRG group.
GWK02: Verifying the core of standard C library in
You will work with a state-of-the-art interactive theorem prover (Isabelle/HOL) to formally verify the functional behaviour of a small number of basic C functions like memcpy, memset, etc. The verification of these functions is at the basis of any undertaking that wants to provide guarantees about programs implemented in C. This project is an integral and important part of the formal verification of the L4 micro kernel at NICTA. You will work with the developers of L4 and Isabelle in an international team of PhD students and researchers in NICTA's SSRG group.
GWK03: Formal Model of L4 IPC and/or Threads in
Develop a specification of a subsystem of the L4 microkernel in the theorem prover Isabelle/HOL. L4 provides three basic abstractions - address spaces, threads and IPC. An abstract model has been developed for address spaces and the virtual memory subsystem, the aim of this project is to provide a similar model for one or both of the remaining abstractions. In addition, an investigation into high-level properties of this model will be undertaken, together with the development of proofs that the models satisfy these properties. If time allows, the model will be refined towards the L4Ka::Pistachio implementation on ARM. This project is an integral part of the formal verification of the L4 micro kernel at NICTA. It connects cutting edge OS research with real-world large-scale system verification. You will work with the developers of L4 and Isabelle in an international team of PhD students and researchers in NICTA's SSRG group.
Related topics supervised by Kevin Elphinstone (official list)
2981: Secure microkernel-based web server
using Linux instances
Our research group has developed a formally verified secure microkernel that supports virtualisation. We have a version of Linux that runs on top of this kernel. The goal of this project is to develop a secure web server platform consisting of a instance of Linux running in the DMZ and an instance of Linux running on the trusted network - all actually running on the same machine using the secure microkernel to separate them. This project has the chance to be deployed as a demonstrator for our groups web site.
KJE15: A Secure Bootstrapper for the
The seL4 microkernel is a high assurance microkernel capable of acting as a seperation kernel when it and the encompassing system is instantiated correctly. The goal of this thesis is to develop a simple component model that can specific an initial system state - i.e. the servers and applications that will run on the microkernel. THe component model is then used to generate the boot strapping code to instantiate the system with the specified seperation guarantees. The project may involve evaluating the existing CAMKES framework for the component model, and looking at formal models and guarantees for both the component model, and the generation of the boot strapper.
KJE16: Linux as a component.
NICTA has various versions of Linux that run para-virtualised on various versions of micro-kernels developed here at NICTA. However, the connection between Linux and the platform is rather ad-hoc, which makes is difficult bring Linux into the principled componet framework (CAMKES) developed here at NICTA. This project would involve examining the interface between the micro-kernel and the support infrastructure to allow Linux to be just another component in the CAMKES framework.
KJE17: ARTEMIS robotic clarinet player
NICTA is entering the ARTEMIS intrument playing robot competition. This project involves developing the system software side of the robot, with an eye to making it general enough to use it for future entries. It involves low-level embedded controller programming, Linux kernel programming, and application programming. A familiarity with music is also helpful.
Present topics supervised by Toby Murray (official list)
Toby's topics, along with advice for prospective research students.
Present topics supervised by Leonid Ryzhyk (official list)
3221: Design and implementation of an algorithm for automatic
device driver synthesis
Device-driver development is a notoriously difficult and error-prone task. An alternative approach to manually writing device drivers is to automatically synthesize them from a formal specification of the device and a specification of the interface between the driver and the OS. In this thesis project you will design, implement, and evaluate an algorithm for automatic driver synthesis. The main challenge involved in this project is dealing with state explosion that occurs when analysing realistic device specifications. In order to overcome this problem you will explore techniques such as compositional synthesis and abstraction refinement. This work will be carried out in close collaboration with other NICTA students and researchers working on driver synthesis.
3222:Modelling of I/O devices for automatic device-driver
Device-driver development is a notoriously difficult and error-prone task. An alternative approach to manually writing device drivers is to automatically synthesize them from a formal specification of the device and a specification of the interface between the driver and the OS. In this project you will develop specifications of several I/O devices for use in driver synthesis. Such a specification constitutes a model of device operation written in a high-level hardware description language (HDL) such as SystemVerilog or DML. You will then use these specifications to synthesise working drivers for the selected devices. In the course of this work you will identify limitations in the synthesis tool and will work with other students and researchers on improving the tool and the underlying algorithms.
3071:Reliable Device Driver Framework for
As part of an effort to put an end to the numerous software failures caused by buggy device drivers, our research group is developing a new device driver architecture for Linux. This architecture eliminates certain types of bugs by design and makes writing correct drivers easier. In addition it facilitates automatic detection of driver bugs by model checking tools. In this project, you will develop Linux kernel components as part of our driver development framework and will implement and one or more drivers using this framework. You will also come up with a formal specification of the interface between the driver and the OS and will use a model checker to verify the your drivers comply with this protocol. The outcome of this work will be published in one of the top OS conferences and will be proposed for inclusion in the Linux kernel.
How to apply:
Contact the relevant supervisor.
Note for OS/FM related topics: We promise a thesis topic to every interested student who has obtained a HD grade in COMP3231/COMP9201 Operating Systems or COMP9242 Advanced Operating Systems. If necessary we will define additional topics to match demand.
We will not turn down any students doing exceptionally well in OS courses. However, this does not mean that an HD in OS or Advanced OS is a prerequisite for doing a thesis with me. Interested students with lower OS marks are welcome to talk to me if they feel they can convince me that they will be able to perform well in an OS thesis.
Keep in mind that these topics are all research issues and generally at the level of Honours Theses. They are not suitable for marginal students or students with a weak understanding of operating systems. We expect you to know your OS before you start.
Past thesis reports and DiSy thesis rules (internal access only)
Postgraduate thesis topics:
Undergraduate thesis topics are also suitable for coursework Master's projects. Same conditions apply: You must have a pretty good track record in OS courses for OS and FM related topics.


text:
TARPON SPRINGS — The first day of school always brings about a mix of emotions, so Adventist Health System and Florida Hospital North Pinellas continued efforts to help make it go as smoothly as possible for some area youngsters.
The city-based hospital delivered a truckload of backpacks and other school supplies for Tarpon Springs Elementary School students and teachers last Friday, just in time for Monday's opening bell.
"We are thrilled to be able to help provide much needed school supplies and backpacks to our local school," said Vernon Elarbee, the hospital's human resources director, and coordinator of the project. "We made a promise to the school a long time ago that we will continue this effort every year — I'm hoping we can keep increasing our donations year by year."
Tarpon Springs Elementary has more than 500 students in grades kindergarten through fifth.
In other news, the hospital's auxiliary and volunteer program is looking for individuals willing to contribute their time.
Opportunities exist in all areas of the hospital and in interaction with patients, their families or other visitors.
Volunteers of all ages can express interest to the hospital by calling (727) 942-5072 or by filling out an online application at www.fhnorthpinellas.com/about-us/volunteer-services.


text:
Festive 4th of July Table Setting
Setting the table for any occasion makes me happy. I love to keep it simple and festive, especially for the 4th of July. Yes the classic red, white and blue. One of my favorite go to items is ribbon. I . . . Continue reading