text:
Abdelkader scores twice, Red Wings blank Canucks 2-0 to spoil Tortorella's return
- Image 1 of 2
- Image 2 of 2
DETROIT – Justin Abdelkader scored early in the second period and again in the final seconds while Jimmy Howard finished off a shutout that Jonas Gustavsson started for the Detroit Red Wings in a 2-0 victory over the Vancouver Canucks on Monday night.
Two Red Wings goalies combined on a shutout for the first time since Oct. 27, 2001, when Manny Legace and Dominik Hasek did it in a 1-0 win at Nashville, according to STATS.
Gustavsson started and stopped all eight shots he faced in the first period, but didn't return to play because of dizziness. Howard had 16 saves and stopped David Booth on a penalty shot.
The Canucks had coach John Tortorella behind their bench and forward Henrik Sedin on the ice after both missed six games.
Tortorella was suspended for 15 days by the NHL for his conduct after a brawl in a game against the Calgary Flames. Tortorella went to Calgary's locker room following the first period, which began with several fights.
Sedin had been out since he was unable to finish the Jan. 18 game against Calgary because of an upper-body injury.
The Red Wings wanted to rest Howard, who had played two straight games following a four-game absence after aggravating a left knee injury, but he was forced into action.
Howard helped Detroit keep its slim lead early in the second period when he denied Booth's penalty shot.
The Canucks went on a power play for the fourth time 5:29 into the third period, but didn't take advantage. They had an extra skater again when Detroit had too many men on the ice with 4:37 left in the game. It turned into a 4-on-3 advantage when players from both teams were called for a penalty, but Vancouver couldn't convert.
Eddie Lack, starting a second straight game in place of Roberto Luongo, made 28 saves.
Lack gave up what appeared to be a soft goal, failing to stop a long shot from Abdelkader with his blocker, but helped Vancouver stay within a goal when Detroit had a 5-on-3 power play midway through the second period.
Lack also made three straight stops when Darren Helm had chances to score during Vancouver's final power play, including one sprawling stop in which he dove and got some of his glove on the puck.
The Canucks pulled Lack late in the game to add an extra skater, but teammate Alexandre Burrows was called for cross-checking with 38.7 seconds left. Abdelkader sealed the win with an empty-net goal with 15.7 seconds remaining.
NOTES: Vancouver acquired forward Dale Weise from Montreal and scratched him from the lineup in Detroit. ... The Red Wings recognized people from both franchises who will represent their countries at the Sochi Games, including Detroit forward Gustav Nyquist, who is replacing injured teammate Johan Franzen on Sweden's roster.


text:
All News Releases By Date
Cell Phone Recycling is an Easy Call
Release Date: 01/08/2008
Contact Information: Roxanne Smith, (202) 564-4355 / firstname.lastname@example.com
(Washington, D.C. - Jan. 8, 2008) The nation's leading cell phone makers, service providers, and retailers have teamed up with the U.S. Environmental Protection Agency to answer America's call for easy cell phone recycling. As part of EPA's Plug-In to eCycling program, partners supporting the cell phone recycling campaign include AT&T Wireless, Best Buy, LG Electronics, Motorola, Nokia, Office Depot, Samsung, Sony Ericsson, Sprint, Staples, and T-Mobile.
"Thanks to our Plug-In partners' efforts, recycling an old cell phone has become a quick and easy way for Americans to help protect the environment," said Susan Bodine, assistant administrator for EPA's Office of Solid Waste and Emergency Response. "By dropping it off at a store or sending it through the mail, Americans have more recycling options today than ever before."
To kick-off the campaign, EPA released today a series of print public service announcements, "Recycle Your Cell Phone. It's An Easy Call," which highlight the convenience and environmental and social benefits of recycling a cell phone. EPA also introduced a podcast that addresses many common questions on cell phone recycling.
EPA started the campaign because many consumers still do not know where or how they can recycle their unwanted cell phones. Consequently, less than 20 percent of unwanted cell phones are recycled each year.
Recycling a cell phone offers an opportunity for everyone to help reduce greenhouse gas emissions, save energy, and conserve natural resources. An estimated 100 to 130 million cell phones are no longer being used, many languishing in storage. If Americans recycled 100 million phones, we could save enough upstream energy to power more than 194,000 U.S. households for a year. If consumers were able to reuse those 100 million cell phones, the environmental savings would be even greater, saving enough energy to power more than 370,000 U.S. homes each year.
Plug-In To eCycling is a voluntary partnership between EPA and electronics manufacturers, retailers, and service providers to offer consumers more opportunities to donate or recycle their used electronics. In 2007, as part of their commitment to the program, retailers and electronics manufacturers voluntarily recycled more than 47 million pounds of electronics, mostly computers and televisions. For example, in 2007 Staples and Office Depot both launched in-store electronics take back programs across the continental U.S. and Sony teamed up with Waste Management Inc. to expand local TV recycling opportunities. Efforts like these have helped the Plug-In program to recycle more than 142 million pounds of electronics since 2003.
Information about the cell phone recycling campaign: epa.gov/cellphone
Information about the Plug-In to eCycling program: epa.gov/plug-in/
Search this collection of releases | or search all news releases
View selected historical press releases from 1970 to 1998 in the EPA History website.

subset: commoncrawl


text:
Pages: 1
I have an application that sets itself to "always on top" somehow, but when I right click on the title bar, the "Always on top" option is grey. Any idea what could be causing this? The application is using SDL for the window in question, but has some additional Xlib code. I have access to the source code, but don't know what exactly to search for. Any ideas?
The application probably does not allow you to change the desktop. So it sets the _NET_WM_ACTION_CHANGE_DESKTOP and _NET_WM_ACTION_STICK flags.
I found out what it is. The "Always on top" option is enabled only if the application is in either the "normal" or "above" layers (as per wmctrl). Put it in any other position (below for example) and although the window manager respects that on my desktop (and doesn't on a custom built machine), the "Always on top" option is grayed out.
Pages: 1


text:
FOXBOROUGH, Mass. – All season the New England Revolution's approach has been the same: prepare for the upcoming opponent, devise a game plan, execute that game plan and then move on to the next opponent.
But what happens when the next opponent is the team you just played?
That will be the case this weekend when the Revs close out the regular season with the back end of a home-and-home set with the Columbus Crew. Just eight days after defeating the Crew in a 3-2 thriller at Gillette Stadium, New England now heads to Ohio knowing another victory will clinch a postseason berth.
Preparing for the same opponent on back-to-back weekends is a unique task for head coach Jay Heaps, who admits game-planning does take on a different element in these situations.
"There are little nuances, little things that you picked up from what they did," he said. "So you devise a game plan as if you're playing the same team, but you have to look outside what you looked at in the first preparation game.
"I think you've also got to take into account the last game. They learned some things, we learned some things; it's just a matter of implementing a little different strategy, but at the same time, bringing a similar focus."
In short, it's about making adjustments. Last weekend's meeting revealed which elements of the game plan worked and which didn't; now it's about tweaking the approach accordingly.
As unique as this scheduling quirk is for the regular season, it actually simulates the exact scenario playoff teams will see in the two-leg conference semifinals and conference finals. So should the Revs make a postseason run, this experience could serve to benefit the young side when they encounter similar situations.
"It's great for our young team to kind of be in this situation of playing home and away," said goalkeeper Matt Reis. "I think a lot of the guys haven't been in this (situation), and if we do want to go far in the playoffs, we're going to have to do this.
"It's going to be tough going in there. It's going to be a tough place to play. They're going to be obviously highly motivated to try and dent our playoff hopes and it's going to be a great atmosphere."


text:
The Nemours Children's Specialty Care, Jacksonville, is proud to announce that Nemours team members have been honored for their research surrounding new treatments of juvenile diabetes.
Patient Care
Patient Satisfaction: See what families say about our care.
News & Recognition
Nemours Juvenile Diabetes Study Group Receives Clinical Research Award
Larry Fox, MD
Tim Wysocki, PhD, Larry Fox, MD, Nelly Mauras, MD, Kim Englert, RN, BSN, Joe Permuy, MSN, and Tina Ewen, MA, were part of the Continuous Glucose Monitoring Study Group chosen to receive the prestigious 2011 Mary Tyler Moore/S. Robert Levine, MD Excellence in Clinical Research Award given by the Juvenile Diabetes Research Foundation (JDRF). The annual award, presented on May 19, recognizes leadership "in providing next generation technologies that are helping patients live healthier lives as we drive towards a cure."
Tim Wysocki, MD
During the JDRF-funded research, 450 patients at ten centers using continuous glucose monitoring (CGM) and finger stick monitoring were followed for periods of six months to track blood sugar levels and health outcomes related to quality of life, disease control, and satisfaction with monitoring devices.
By showing glucose levels at all times of the day, including during sleep and in between meals, CGM has proven to be more helpful in improving the quality of life for people with type 1 diabetes, compared to the finger stick method of monitoring.
Nelly Mauras, MD
It was particularly useful for adults and children ages 8-14, but less helpful for young people 15-25 years (an age range in which compliance with treatment and health maintenance is often challenging).
As Dr. Wysocki, Director of the Center for Pediatric Psychology Research, explained it, the difference between the finger stick and the CGM is like the difference between a snapshot and a video.
Rather than readings at isolated points in time, patients using continuous glucose monitoring have more information about what is happening throughout the day, allowing them to better manage their disease, to spot trends, and to be prompted when glucose levels are dangerously high or low.
"This was one of the most challenging studies to conduct for us in Endocrinology. Recruiting and caring for over 40 kids with diabetes wearing sometimes 2 devices, their pumps and their glucose monitoring for a whole 12 months put a lot of responsibility on the kids and their families," said Dr. Mauras, Chief of the Division of Endocrinology, Diabetes and Metabolism at Nemours Children's Specialty Care, Jacksonville.
Dr. Larry Fox, Medical Director of the Northeast Florida Pediatric Diabetes Center added,"This was a major effort that required the whole team of doctors, nurses, dieticians involved in the care of these children. Our nurse coordinators, Kim Englert and Joe Permuy, and research assistant, Tina Ewen, in particular did a great job for us."
The Endocrinology and Diabetes Program at Nemours Children's Specialty Care, Jacksonville has been ranked among the nation's best by U.S. News and World Report.
Dr. Wysocki said, "I am honored to receive this award along with my colleagues at institutions across the involved in the CGM project. The work that came out of this study has improved treatment and quality of life for thousands of children and adults with diabetes. We continue to work towards novel and effective approaches to understanding and treating this all too common disease."
Previously, Wysocki was Nemours' principal investigator in a collaborative research network studying CGM for children and adolescents with diabetes, funded by the National Institutes of Health (NIH) from 2001-2007.
Dr. Mauras, Dr. Fox, and the division of Endocrinology continue to be involved in a variety of cutting edge studies in children with diabetes, funded by NIH, JDRF and industry.
Learn more about the "Excellence in Clinical Research" Award Presentation »


text:
Catalog Details
BI5110 - Cell Structure and Function
Credits: 3
Addresses the diversity of form and function found in the basic units of life, the cells. The first segment centers on the various techniques, especially electron microscopy, which are used to study microscopic anatomy. The components, organelles, which comprise a "generalized cell" are examined and their functional relationships discussed. The second segment centers on the structural differences between tissues of the body (classical histology). Finally, this knowledge of cell and tissue structure will be employed to understand organs and organ systems. This course will not be purely morphological. The development and functional properties of these systems will be examined. There will be a laboratory component in this course. Falls.


text:
Financial Literacy - Did You Know
Did You Know?
- "Americans owe some $914 billion in student loans ... more than the nation's entire
credit card debt... unlike other kinds of debt, they generally cannot be shed in bankruptcy."
(Time, Oct 29, 2012, p 35)
But it pays to get a college degree:
- The 2011 college graduate unemployment rate was 8.8 percent, compared to a 19.1 unemployment
rate for high school grads.
(Bradenton Herald, 10/18/2012)
- Two year college Associate's Degree graduates earn an average of $39,884 compared
to an average salary of $32,552 for High School grads. Four year college Bachelor's
Degree graduates averaged $53,967.
(Bureau of Labor Statistics Oct 2011)
However, you must be cautious when taking out a loan:
- Defaulting on a student loan can result in garnished wages, collection agency costs and many years of bad credit rating.
- Student loan delinquency may make it very difficult to sign up for utilities, rent an apartment or even get a cell phone plan.
- Shopping for the best loan may save you between $8,000 and $12,000 over the life of the loan, or about $1,000 a year for ten years, and that is after taxes.
- During the three year period from 2009-2011, 25.2% of the State College of Florida borrowers who entered repayment on federal student loans defaulted on their payments.
- "Defense Secretary Leon Panetta told reporters that the No. 1 reason troops lose security
clearances was financial troubles, which include things like overwhelming debt for
mortgages, credit cards and student loans."
(http://www.nasfaa.or, Oct 2012)


text:
Wednesday, September 16, 2009
Fire Brian Fuentes: Red Sox 9, Angels 8
Brian Fuentes needs to no longer be the Angels' closer. Two consecutive infield singles was horrible; the BS call by the home plate umpire in Nick Green's at-bat is unconscionable, but it wouldn't have mattered if Fuentes hadn't sucked in the first place.
That is all, for the moment.
Update, morning after edition: Apparently first base umpire Jeff Kellogg's check swing call earlier in the at-bat was also bogus, as Scioscia complained bitterly to the press afterward:
"What was the count -- 3 and 4, to Green?" Angels manager Mike Scioscia asked a media crowd gathered around his desk in the visitors' clubhouse.I dunno. But I still blame Fuentes for that.
The sad thing is that it marred multiple comebacks in the face of a foe that the Angels have really had to work to beat in recent years, and all while the Sox were down two of their best hitters. The worst part is the smirking Sawx fans who can't get their heads around the fact that they were given the game. Still, Fuentes had Boston to two out with nobody on and imploded. You just can't do that.
Steve Bisheff reminds us — aside from the things I've had problems with in this game, i.e. Fuentes — that Vlad got drilled in the ribs in this one, and he'll probably be out a few games. But even I'm not sure I want Howie Kendrick in there every day, as his striking out with the bases loaded attested. But then, I look at his monthly splits and he seems to be still doing pretty well overall.
Eastern Sports Propaganda Network Box • Angels recap
Maybe those two calls, especially the last one, were a giant eff-u to Scioscia, who barks a lot about balls and strikes. On the other hand, he'll have the Angels playing as hard as ever tomorrow.
Newer› ‹Older


text:
CIT can broadcast your seminar, conference or meeting live to a world-wide audience over the Internet as a real-time streaming video. The event can be recorded and made available for viewers to watch at their convenience as an on-demand video or a downloadable podcast. CIT can also broadcast NIH-only or HHS-only content.
National Center for Advancing Translational Sciences Advisory Council/Cures Acceleration Network Review Board - January 2017


text:
LOS ANGELES (Reuters) - Unionized Southern California supermarket employees at Albertsons, Ralphs and Vons ratified a contract deal reached last week that averted a threatened strike, said the union representing the workers.
The United Food and Commercial Workers union said in a statement that members voted on Friday and Saturday to approve the three-year agreement reached on Monday covering 62,000 grocery workers. It did not release the vote count.
"This package protects our members` access to affordable comprehensive health care for themselves and their families," the union said in a statement late on Saturday. The union has said the agreement increases wages and protects healthcare and pension benefits through the life of the contract.
Southern California is one of the most competitive food retailing markets in the United States. Many analyst see the region as a trend-setter for the rest of the industry.
Parties to the latest talks were involved in a bitter 141-day strike in Southern California that spanned 2003 and 2004. It was the longest work stoppage in the history of the U.S. grocery industry, costing an estimated $1.5 billion in lost sales to competitors and permanently shifting the loyalties of some shoppers.
Since that time, nonunion food sellers ranging from Wal-Mart Stores Inc, Costco Wholesale Corp and Target Corp have been chipping away at their overall market share. At the same time, niche players, ranging from upscale grocer Whole Foods Market Inc to ethnic chains and even dollar stores, have taken a bite.
Ralphs stores are operated by Kroger Co, Vons is owned by Safeway Inc and Albertsons' parent company is Supervalu Inc.


text:
The Banshee (Gaelic spelling beannsidhe) is a Dark creature native to Ireland and Scotland. Banshees have the appearance of women and their cries are fatal to anyone that hears them. The Laughing Potion is effective against them.
The Bandon Banshee was supposedly defeated by Gilderoy Lockhart, which he described in his book Break with a Banshee; though he admitted to stealing credit for his books. The only thing known about the actual witch who defeated the Bandon Banshee was that she had a hairy chin.
Seamus Finnigan was afraid of Banshees, as his Boggart demonstrated. Seamus also mentioned it when Harry Potter opened the golden egg and heard a screeching sound.
The singer Celestina Warbeck is known to perform with a backing group of banshees, demonstrating not all Banshees are malevolent. Another possible banshee was the Bogle-banshee, mentioned by a student on the "Second Year Essential Knowledge Test" that Gilderoy Lockhart gave his second year Defence Against the Dark Arts class in 1992.[2]
Biology and description
Banshees have the appearance of a woman with floor length black hair, a skeletal face, and green skin. A banshee's scream is fatal to the ears, in a manner similar to fully grown Mandrakes.
Behind the scenes
- Mrs Mason "screamed like a banshee" when the owl post letter warning Harry Potter about his supposed Underage magic transgression (actually committed by Dobby) was dropped on her head.[3]
- Due to their similarities, it is possible that Banshees are related to Dementors, and may like them be considered amortal.
- Harry Potter and the Chamber of Secrets (Mentioned only)
- Harry Potter and the Chamber of Secrets (film) (Mentioned only)
- Harry Potter and the Prisoner of Azkaban (Seen as boggart)
- Harry Potter and the Goblet of Fire (Mentioned only)
- Daily Prophet Newsletters
- Wonderbook: Book of Potions
- Pottermore (Seen as boggart)
Notes and references
- ↑ Zygmunt Budge described the banshee as a spirit in Wonderbook: Book of Potions
- ↑ Harry Potter Page to Screen: The Complete Filmmaking Journey, p. 74 (see this image)
- ↑ Harry Potter and the Chamber of Secrets, Chapter 2 (Dobby's Warning)


text:
The official Optimize Minneapolis book launch is finally upon us. Tomorrow from 5:30pm-7:30pm over 200 of the Twin Cities top Marketers and PR professionals will gather at Aria in Minneapolis to mix, mingle, and learn a little bit about optimization from Lee Odden.
With the SEO is dead stories coming from traditional media, Google making major changes and consumer shifts towards social media consumption and sharing, the notion of what optimization is has really changed. The good news is that Optimize gives readers a roadmap and specific tactics on how to integrate the best of search, social and content into an "optimized state of mind". The Optimize Minneapolis book launch will give our friends in the Minneapple a taste of why some of the top marketers in the world are saying such great things about Optimize.


text:
Style # 204747
Silk Slit Back Button Up Blouse is rated out of 5 by 3.
Rated 5 out of 5 by Veronica40 from Beautiful Shirt I truely love the shirt but I brought this shirt on two different occasion and on both time the shirt was coming apart in the back by the slits.
Date published: 2013-01-10
Rated 5 out of 5 by Mango from Elegant and Sharp This red silk blouse is very elegant and classy. I especially like the slit detail in the back. The blouse is perfect for pairing with a blazer. The colour is bright enough for a night out and also offers a nice pop of colour for a business look.
Date published: 2012-12-31
Rated 3 out of 5 by DancingDiva from Great fabrics I love the combination of fabrics. However, the cut of the shirt felt a little boxy and squared off. Not as flattering as some of their designs.
Date published: 2012-11-17


text:
Jeremiah Trotter is going to get a chance to see if it's true what they say about the third time.
The Eagles signed the former Pro Bowl middle linebacker to a one-year deal at the league minimum. The move would have come as a surprise a week ago, but seemed to become a formality yesterday when Trotter worked out for a second time. Trotter, a four-time Pro Bowler, last played for the Eagles in 2006. It's not exactly clear what role Trotter will play in his return to the Eagles.
"I don't think they brought me back to play special teams," Trotter said today at the NovaCare Complex.
Trotter said he was still in a state of shock. It's safe the say he's probably not the only one. Nevertheless, Trotter is back and he'll be wearing his old No. 54 after he made a deal with linebacker Tracy White.
"I always dreamed I would retire as an Eagle," said Trotter, who felt like he had at least three years of football left in his 32-year-old body. "Hopefully, that can still happen."
Trotter said that he did better than he expected on a physical the Eagles gave him yesterday. "They said my knees looked better" than last time he was with the Eagles, Trotter said. "Which is odd for me." Trotter said he had his right knee cleaned out a few months after he was released by Tampa Bay following the 2007 season. He spent the 2008 season out of the league.
He said today that he weighed around 257 pounds. He also revealed that he worked out for the St. Louis Rams in the off-season, but nothing came of it. Still, he kept training and kept believing that this day would come.
"Jeremiah Trotter has always been one of my favorite players," head coach Andy Reid said in a press release. "He has worked very hard to keep himself in shape and we are pleased with where he is physically. We are excited to give him an opportunity to contribute to our football team."
To make room for Trotter on their 53-man roster, the Eagles have released quarterback Jeff Garcia.
"Jeff Garcia is a true professional and I know the players and coaches appreciated having him around these last two weeks," Reid said. "There is no doubt Jeff can still perform at a championship caliber level in the National Football League."
Here's the rest of the release:
Originally a third-round draft choice of the Eagles in 1998, Trotter racked up 100-or-more tackles and led the team in that category in five of his seven seasons in Philadelphia. He also became the fourth linebacker in team history with four-or-more Pro Bowls, joining Chuck Bednarik (8), Maxie Baughan (5), and Bill Bergey (4).
He was released by the Eagles prior to the start of the 2007 season. Trotter has played in 134 games (117 starts) in his ten-year career, tallying 1,201 tackles, 12.5 sacks, nine interceptions (two touchdown returns), and eight forced fumbles.
Trotter spent his first four years in Philadelphia (1998-2001), garnering Pro Bowl honors following the 2000 and 2001 seasons before joining the Washington Redskins in 2002. He was released by the Redskins after the 2003 season, and re-signed with the Eagles in 2004. He spent the first seven games of that season as a reserve linebacker, but re-claimed the starting middle linebacker spot midway through the year and was instrumental in the Eagles run to the Super Bowl. Trotter went on to earn his third and fourth Pro Bowl nominations following the 2004 and 2005 seasons.


text:
Thursday, January 19, 2012
The ache between sorrow and longing is a razor's edge of sameness. We grieve what is not and in the same breath long for what could be.
What is it that you enjoy and long for? I am coming to a solid place in my own personal theology that that is where God meets with me. Yes, we've all heard of Eric Liddell's famous and beautiful quote: "When I run I feel His pleasure." We've heard the succinct beauty of the Westminster catechism: "The chief end of man is to glorify God and enjoy Him forever." We've heard modern day theologians explain that God is most glorified when we are most satisfied in Him - and yes, yes, yes - I believe and love each of these truths. I have been rescued and built up by Manning's books like the Ragamuffin Gospel and Nouwen's teachings on the love of the waiting Father. I have stood naked before grace and I have - and am - learning to let it be the only thing that clothes me.
But what does that look like in our lives? In our bodies? In our hearts and in our longings?
I am starting to believe it's our bodies and senses that the Holy Spirit often uses to show us the way. What brings you alive? What makes your heart beat faster and gives you that ache that makes you wish you were doing it, not reading about others doing it? What are you willing to endure pain and pressure for?
What reeks of enjoyment for you? What makes you sparkle and suffer all at the same time and makes others want to come do it with you?
Wheelchair bound, sick-bed bound, bound by the constraints of little kids and their needs-induced sleep deprivation - I know what I dreamed of year after year. I read book after book after book about hiking steep mountains and running mountain trails. I devoured and treasured book after book and touched the type written words and played with them in my head. I loved the words as much as the beauty they sang about and captivated me with.
What does your body dream of? Not what is it capable of now, but what speaks to its core?
That may be your place of worship - and when consecrated to the Great Enjoyer - maybe that is what you were born to do.
We were asked on Sunday at church: What does it mean to you to be a follower of Jesus? We sit around tables for our gatherings and we turned to our table-mates to share and discuss. I could only think of the words someone told me a long time ago: Your faith is as deep and real as the last time you let Jesus love you.
Yes, there are seasons of dying to this fulfillment. Yes, there are seasons of it dying altogether for the sacrifice and sake of loving others. But our bodies were made to crave and move and hunger and enjoy - and what if that is all a patterning to teach us the longing and fulfillment of worship as an activity?
I have a friend who once sat at our dining room table and described skin diving (no air tank) deep under the waters around our Pacific Northwest islands. He spoke reverently of the ocean life and beauty he saw at 180 feet below water. As he talked his eyes spontaneously filled with tears. "That is my church," he said. "It is impossible not to have worship yanked out of you surrounded by that type of wonder."
Our dining room table hummed with a sacred silence as we all stopped and felt his words. My eyes filled with tears, too, as my heart ached. The inevitable question in the room was what activity breathes with that level of worship for you?
5 comments:
- Cari said...
Beautiful post - rich and challenging and so seemingly authentic. Thank you for taking the time to share when you do. You're one of the few voices I keep on my reader because I know each time you dare to share, my heart is moved and challenged.
- January 19, 2012 at 1:47 PM
- Anonymous said...
I discovered your blog about four or five posts ago and each one has spoken to me, convicted me, reminded me of the truth. Your writing has become something that I anticipate, looking forward to. :)
Have you read 'Desire' by John Eldredge? As someone who seemed to be consumed by desire and longing for so many things, so much of the time, I literally grabbed that book off the shelf in tears one day and sat down to read it, hoping it would answer some of my questions. It did, opening the door to the beginning of a new journey: one of contentment where I begin to see where each longing fits and where it's taking me and why it's there. I highly recommend it!
- January 20, 2012 at 6:57 AM
- Chelle said...
You make me think.
You stir heart wrenching + beautiful things up in my heart and mind friend...thank you so much for your words...they are such a beautiful, life giving gift. Your words inspire Worship. Thank you. Love you.
- January 21, 2012 at 12:33 AM
- Nikki said...
So beautiful....you make me ask questions it may have taken me years to come to, on my own.
- January 21, 2012 at 2:57 PM
- Sarah said...
Creating anything usually makes me alive. But I have to say that in the past 10 years of my life I have been playing roles in my life that are ill fitting to me. They chaff at my very personality, but I am not depressed, I am elated. I am not a victim, I am triumphant because in every difficult thing, take details they can make me cry, I see Jesus doing them for me as I rest and watch His life flowing ever so faithfully through me. It is as if every difficult task is a chance to win. When I let go and let him mother my children, let him live in this foreign land I feel lost in, I am alive in a very mysterious way. I sense the victory that I CAN do all things because it is Christ who lives in me. So I also worship in my weakness because then I see His power in my life changing it, making it alive!
- January 22, 2012 at 5:59 AM


text:
Department of Revenue News Release
May 19, 2009Boonville, Cameron, Chaffee, Marshall, Monett & St. Clair License Offices Are Put Up for Bid
The state of Missouri put six more local motor vehicle/license offices up for bid today as part of Gov. Jay Nixon's plan to improve customer service in Missouri government.
"The management of all 183 of Missouri's local license offices will be put up for bid this year," Gov. Nixon said. "While some of the offices have been run by local chambers of commerce and other civic groups, the vast majority were given away to political supporters of past governors. The six bid proposals that are going out this week are just one more indication of the reform that is taking place in Missouri government."
The governor also noted that the Missouri General Assembly approved legislation last week that will permanently put his bidding process into state law.
"There's no turning back from the progress we've made," Gov. Nixon said.
The six offices that have been put up for bid this week are Boonville, Cameron, Chaffee, Marshall, Monett and St. Clair. Bidders will have five weeks (or until June 23) to respond to bid proposals administered by the Office of Administration (OA). Teams from the Missouri Department of Revenue will evaluate the bids.
Karen King Mitchell, director of the Department of Revenue, noted some of the criteria that the department will use when considering bids.
"Customer service, hours of operation, the accessibility and security of the office location, the past business or license office experience of the office staff, and a possible return of some revenues to the state are just some of the standards the department will evaluate," Mitchell said.
Common transactions that take place at local license offices include renewing or applying for a driver's license, renewing or applying for registration on motor vehicles, boats and outboard motors, and applying for titles and paying sales taxes on these units.
Copies of the Request for Proposals (RFPs) that bidders will use to develop their bids can be viewed at https://www.moolb.mo.gov/. To review an RFP, select "Guest" on the home page, click on "Open Bids By Agency," then scroll through the list of bids until the appropriate bid is located. (Bid numbers for this week's offices are located below.) Additional information regarding the bidding process can be obtained at http://oa.mo.gov/purch/vendorinfo/DORoffices.pdf or by calling OA at (573) 751-2387.
The time to bid for 72 of Missouri's 183 license offices has ended. The list of bidders on offices for which the bidding time has closed can be obtained at http://oa.mo.gov/purch/dorlist.pdf. Fourteen offices have been awarded under the bidding process. For a list of winning bids for license offices, please go to http://oa.mo.gov/purch/awardedfeeoffices.pdf.
|St. Clair


text:
Ryan Kalish Returns Tonight
He's baaack!
On Thursday night for the first time in 105 days, Ryan Kalish will take the field in a game that counts as he begins a rehab stint with the Single-A Lowell Spinners. The 23-year-old outfielder is scheduled to be Lowell's designated hitter on Thursday before playing the outfield on Saturday. If there are no setbacks, Kalish is likely to return to the PawSox lineup for the last few weeks of the season.
"We're not going to put any time frame on it," said Red Sox farm director Mike Hazen. "We'll see how those two games go and then we'll make the determination based on what we see.
"We're very encouraged by this step. Obviously we want to still remain cautiously optimistic given that he's missed so much time with this injury, but getting back on the field is encouraging and hopefully he is able to take the next step. It's going to be like a first spring training game almost, so it's going to take a few days to get ramped back up, but he should be back in Pawtucket soon if all goes well."
"I don't care what my numbers are at this point," Kalish told Brendan McGair from The Pawtucket Times on Tuesday. "I just want to play and feel right about it. Out of this season, I may get 150 total at-bats, meaning it's tough to judge where I'm at as far as my development. Personally the numbers aren't going to mean a thing. I just want to feel good and healthy and be able to go into the offseason knowing that I can come into next season feeling good rather than answering questions about my health."
Shoulder and neck injuries have forced Kalish to miss Pawtucket's last 96 games, but he's responded to treatment over the last few weeks, and has been able to increase his baseball activities.
"The shoulder healed in about five weeks," Kalish told McGair. "Next thing you know I have a neck injury. I've had stiff necks in the past and it's taken 3-4 days, but I've probably been set back four or five times, just not feeling good enough to play.
"It's been about 10 consecutive days that I've felt really good. It's been a long time since I felt good."
"I talked to him yesterday and he was very excited about getting back out on the field," Hazen said. "It's been a long year for him obviously and not something that any of us wanted to see. Hopefully he gets back healthy and can help us here in the second half of the season."
* * * * *
After enjoying their only off-day in the month of August, the PawSox continue their 8-game homestand as they open a 4-game series against Buffalo on Thursday night at 7:05.
I hope you'll join us for radio coverage beginning with the pre-game show at 6:50 on the PawSox radio network and pawsox.com.
I'd love to hear from you. The address is firstname.lastname@example.com.
If you Twitter, you can follow my tweets at http://twitter.com/Dan_Hoard
And I've finally joined Facebook. Just search for Dan Hoard and look for the photo of me with the handsome lad.


text:
...that I am something of a crypto-Jansenist, or at least that I have strongly Jansenist tendencies. Too long in the camp of those who unthinkingly wander down the aisle at Communion, without regard for worthiness or the probability of sacrilege in the unprepared heart, I found myself committing an equal and opposite sin or sacrilege: refraining too eagerly. Though Augustinian predestination holds no appeal for me whatsoever, much about the Jansenist view of our sinful nature appeals. GK Chesterson's famous bit about reading the daily paper to confirm the doctrine of original sin seems mere inches from the Jansenist worldview, only needing to be updated to viewing the web every day, and even reading a fair number of Catholic blogs.
There's a line in the song "Grace" by Phil Wyckam that says "I need a voice that's louder than mine!" and that sort of sums it up: the necessity of grace; the roughness of our sinful nature; and a strong propensity for vacillation between a libtertine and scrupulous worldview. I do in fact need a voice that's louder than mine--most days just to get from the shower to the office, let alone through to the end of the work day.
Stressing the need for frequent confession is a good thing: it's good psychologically, as well as theologically. (For a pretty thorough explanation of why I think this is so, you can go here, and here, plus a conversational piece about it here.) Stressing the importance of approaching the Sacrament worthily is good too. And yet...St. Pius X advocated, contra Jansenism, frequent, even daily reception, and wanted First Communion to be as early as possible.
So we have modern day, would-be Jansenists like me, and we have an almost Protestant view of Eucharist as symbol, not substance (or Transsubstance), both present in the Church, and both busily judging others. This post touches on a particular case, going way back, that came up through the folks at Catholic Light.
There has to be a medium, that doesn't reduce God and the Sacrament to a syllogism, that doesn't seek to confine the supernatural within the natural. There has to be a place where Jansenism is condenmed but people remain serious, and take worthiness seriously, but also where people are open to God's Grace and calling, open to the sudden recognition of perfect contrition.
Still finding my feet again, obviously.


text:
Spring 2012 has sprung in the Flannestad back yard.
Tree Fern has fresh leaves.
Cyclamen flowering.
Uh, whatever you call these orange flowers are also flowering. Oh right, Clivia miniata, aka fire lily.
Borage seeds planted last year finally flowered.
The irrepressible Jasmine.
The Climbing Rose.
Climbing Hydrangea making a move.
The Hellebore is just about done.
Bleeding Heart vine flowering.
Forget Me Nots flowering.
And the Euphorbia is putting out its alien display.


text:
Cons 40.7%
Libs 25.5%
Greens 10.5%
The Conservatives gain another percent this week, Liberal number unmoved, NDP down. The poll obviously takes all the days into totality, but because of the holiday gap, EKOS did a huge sample this past Tuesday (881 people, MOE 3.3%). Because of the size, the results are worth a look:
Cons 37.3%
Libs 26.5%
Greens 12.3%
Less than a 11% lead on this last day. I'm curious if this is the first indication of some return to more normal margins, because we've seen this dynamic before when the Conservatives pull way ahead. With the Liberals problems settling down, in terms of exposure, MAYBE the worst has past. A strong number for the Greens, who actually outpolled the NDP on Oct 9.
In terms of the regionals, another strong number for the Conservatives in Quebec, tied with the Liberals at a rounded off 23%, Bloc at 36%, Greens 10%, NDP 8%. Despite the Liberal retreat, the Bloc hasn't really gained support, those voters seem to be returning to the Conservatives.
In Ontario, another impressive number for the Conservatives at 44%, the Liberals at 31% and the NDP at 14%. What is particularly relevant here, and we see it elsewhere, despite the Liberal collapse, the NDP haven't gained anything, even down in some cases. This dynamic is a bit troubling, because it suggests that the NDP isn't part of the consideration, it's all about the jockeying back and forth between the two principles. These Ontario numbers are quite soft and volatile, but a lagging NDP has been a constant. In other regions, we see little evidence of the NDP gaining at the Liberals expense.
Eric provides a seat breakdown, based on these numbers, which shows a Con majority. Interestingly, the Liberal seat total remains in tact, whatever losses are countered by seat pickups over the NDP:
Cons 160
Libs 76
Bloc 50
Moving forward, let's see if these numbers hold, because my bias aside, I see a reasonable scenario where the percentages narrow somewhat. If the Conservatives can sustain this level of support, it will mean an entirely new circumstance, a real shift, rather than temporary blips. It remains to be seen if these type of gaps have "staying power", that's really the thing to watch for a month or two out.


text:
Thank you for choosing to give to Devereux
Click here to find your employer and matching gift procedure.
ABOUT SSL CERTIFICATESIs it safe to use my credit card?
All donations are tax deductible.
Human Resources | Privacy | HIPAA | CIPA | Disclaimer | Contact Us
Follow the DCRC on Twitter!
The Devereux Foundation
(800) 345-1292


text:
Judging Saddam Hussein
Inside the Trial of the Iraqi Dictator
In 2004, Michael Scharf wrote that the Iraqi High Tribunal set to try Saddam Hussein would be seen as no more than a "puppet court of the occupying power." In numerous op-ed pieces, the war crimes expert and Nobel Peace Prize nominee criticized the fledgling court, as well as the war in Iraq. When he received a phone call from Baghdad asking him to help train the tribunal's judges, just as he had for the trials of Yugoslavian and Rwandan war criminals, he was incredulous. The voice at the other end of the phone argued that he could either guide the proceedings from the inside or mock them from the outside. It was a good argument. Scharf accepted the invitation.
Along with fellow war crimes expert Michael Newton, Scharf helped write the rules of procedure, train judges and provide legal advice throughout the overthrown Iraqi dictator's trial. In their new book, Enemy of the State: The Trial and Execution of Saddam Hussein, Newton and Scharf offer an inside look at the real-life courtroom drama, shedding new light on the historic proceedings.
On July 1, 2004, seven months after he had been captured, 67-year-old Saddam Hussein was brought before an Iraqi High Tribunal judge for arraignment. Under Western practice, the word "arraignment" can mean either the defendant's first appearance in court before a magistrate or a later appearance, in which the defendant is advised of the formal charge and called upon to enter a plea. The purpose in this case was to inform Saddam of his rights and that he was a defendant in a criminal case before the Iraqi High Tribunal. The timing was critical because the occupation was about to officially end and it was important that the Iraqis establish their lawful right to maintain Saddam and the others in custody following the return of Iraqi sovereignty.
The former leader of Iraq was flown from the detention center by helicopter to a hastily converted building at Camp Victory, a sprawling U.S. military base near the Baghdad airport. Flanked by two Iraqi prison guards and four Iraqi policemen, Saddam was ushered into the small courtroom in handcuffs and with a chain around his waist. Dressed in a dark suit, polished brown shoes, and a crisp white shirt buttoned to the collar, Saddam sported stylishly coiffed hair and a neatly trimmed beard that was a far cry from his scraggly Ted Kaczynski/Unabomber look at the time of his capture in December 2003. The Arab world had never seen anything like this scene, which was broadcast repeatedly over the next 24 hours. In a region of the world accustomed to tyrants and despots, a seemingly invincible dictator was hauled before a court of his own citizens.
The television broadcasts of the event showed only the back of the judge's head and his name was not mentioned for security reasons, but a few months later the world would learn that the man who read Saddam his rights and summarized the charges on that July day in Baghdad was 35-year-old Ra'id Juhi.
Built like a football player, the youthful judge was a graduate of Baghdad Law School. He was originally one of the investigative judges of the CCCI, Iraq's newly established criminal court for ordinary crimes. Judge Ra'id had come to the attention of American authorities in 2003 while serving in Najaf when he courageously signed an indictment for notorious Shiite warlord Moqtada al-Sadr, charging him with murder. The public revelation of the Moqtada al-Sadr indictment placed the young judge and his family in great danger, and they were relocated for their protection to the International Zone in Baghdad, where they resided until the end of the Dujail trial [Saddam's trial for attacks on the town of Dujail]. Because of his solid command of English and his unflappable demeanor, Ra'id Juhi became an obvious choice to head the investigation phase.
When the authors asked him why he agreed to serve as the investigative judge for such a sensational, challenging, and dangerous case Judge Ra'id answered simply: "This is my job, my responsibility, my duty to my society." He added, "Many Iraqi people thought that there was no law, no rules, no order, and we wanted to bring the rule of law and justice back to Iraq." In response to the follow-up question of how it felt to be face-to-face with one of the world's most ruthless dictators, Judge Ra'id merely shrugged his shoulders and said, "I just tried to think of him as an ordinary criminal defendant."
The guards removed Saddam's handcuffs and gently guided him to his chair across from Judge Ra'id, who sat behind a table. The dictator and the judge faced each other about eight feet apart, with a low railing separating them. The first moments were palpably tense. Saddam, who apparently thought he was about to be summarily executed, was visibly anxious. But in a preview of things to come in the later trial, during the 26-minute session, Saddam went from being nervous and hesitant to being confrontational and belligerent, while at the same time displaying legal acumen and even a sense of humor. CNN correspondent Christiane Amanpour, who was one of three reporters permitted to observe the proceedings, described Saddam as looking like a shadow of his former self, alternatively downcast and defiant. Answering the judge's request to state his name for the record, Saddam said, "I am Saddam Hussein, the president of Iraq."
"Former president of Iraq," Judge Ra'id corrected. To which Saddam insisted, "No. Present. Current. It is the will of the people."
As the hearing got under way, Saddam began to challenge Judge Ra'id, asking who he was and under what authority he was holding the hearing. Judge Ra'id proceeded to explain that the tribunal that would be trying him had been set up under the U.S.-led occupation. "So you are representing the coalition?" Saddam asked. "No," the young jurist replied, without showing emotion or raising his voice. "I am an Iraqi representing the Iraqi judicial system."
Next, Judge Ra'id summarized the general charges against the former dictator, which included gas attacks on Kurdish villages, mass murders in the suppression of uprisings, political assassinations, and the invasion of Kuwait. Saddam sat passively as the judge read the charges until Kuwait was mentioned, at which point he exploded: "How could Saddam [referring to himself in the third person] be tried over Kuwait? He defended Iraq's honor and revived its historical rights over those dogs." And when Judge Ra'id told Saddam that Iraqi law would be governing the proceedings, the former dictator remarked, "So now you are using the law that Saddam signed against Saddam."
When Judge Ra'id asked him if he could afford a lawyer, Saddam sarcastically replied, "The Americans say I have millions hidden in Switzerland. How can I not have money to pay for one?" He then added with a smile, "I don't want to make you feel uneasy, but you know that this is all a theater by Bush, the criminal." As the session drew to a close, Judge Ra'id handed Saddam a sheet of paper to sign, indicating that he had been informed of the charges and understood his rights. But Saddam refused to pen his name to the document, saying he would not sign anything without lawyers present. By this time, Saddam's wife and daughters had retained a team of 20 foreign defense lawyers, among the best money could buy.
The hearing ended with Saddam asking the judge, "Have you finished?" "Yes," Judge Ra'id answered. "Khalas! [meaning 'finished']," Saddam exclaimed. The scene was essentially repeated 11 more times that day, as Judge Ra'id arraigned each of the other senior members of the Baathist regime. Over the next several months, Judge Ra'id would interview the defendants (always with their lawyers present), and compile a dossier, called a referral file, against Saddam and the others, containing over a thousand pages of witness statements and incriminating documents—many bearing the former leader's signature. In the Iraqi system, the investigative judge serves to collect all available evidence, whether it tends to incriminate or exonerate a potential defendant. Judge Ra'id told the authors [of this book] that during the Dujail investigation, he kept at least four copies of the entire referral file hidden in various places at all times because he was worried about things that could derail the investigation—bombs, rockets, fires. One was stored in the secure evidence unit, one was kept in the Iraqi High Tribunal office building, and two more were kept in secret places that he changed from week to week.
Training the Judges
While Judge Ra'id and the other investigative judges were busy poring over witness statements and documents, the Regime Crimes Liaison Office (RCLO) decided the time had come to begin to train the newly appointed Iraqi High Tribunal judges to preside over some of the most complex and challenging cases ever to be tried. First the Department of Justice and JAG lawyers who made up the RCLO held a series of afternoon sessions in Baghdad to familiarize the judges with the substantive offenses, unique defenses, and procedures that would govern their trials. Next, in a trip organized by the U.S. Institute of Peace, a dozen of the judges were transported to The Hague for three days of informal meetings with the international judges and the prosecutors of the Yugoslavia Tribunal. The group especially benefitted from the discussion of lessons learned from the plodding trial of Slobodan Milosevic, and from viewing the sophisticated software and monitors that the Hague-based tribunal employed in its three high-tech courtrooms.
The third phase of their training would consist of several weeklong sessions featuring some of the world's foremost experts in international criminal law; these sessions were held in London and Stratford-upon-Avon. In early September 2004, the RCLO enlisted the authors to design and lead these sessions. (First-person references in this section are to Michael Scharf.) Although I had recently conducted a series of human rights training sessions for Iraqi judges and lawyers held in Dubai, UAE, I was quite surprised by the call from Baghdad.
"Professor Scharf, would you be willing to help us train and provide legal advice to the judges who will be presiding over the trial of Saddam Hussein?" Greg Kehoe, of the Regime Crimes Liaison Office, asked in a surprisingly clear voice. "I'm not sure you have the right guy," I replied. "Are you aware that I've taken strong public stands against the U.S. invasion of Iraq, and I have been highly critical of the Iraqi High Tribunal?"
In fact, I had recently published an article in the widely read Journal of International Criminal
Justice that advocated for an international trial for Saddam Hussein and opined that the Iraqi High Tribunal would be viewed as a U.S. puppet court and that the Iraqi judges would not be up to the challenge of prosecuting the former dictator.
"Yes, we've done our homework," the voice from Baghdad answered. "We also know that you helped create the Yugoslavia Tribunal when you worked for the Department of State Offi ce of Legal Adviser, that you've trained judges from all over the world in international humanitarian law, and that the War Crimes Research Office you run at Case Western Reserve University currently provides research assistance to the Yugoslavia Tribunal, the Rwanda Tribunal, the Special Court for Sierra Leone, and the International Criminal Court." He then told me that the content of my training sessions would be completely up to me to design, and that I could publicly say anything I wanted about the IHT when I returned from the training sessions. "Listen, Professor Scharf," he pressed. "Do you want to stay on the sidelines and hurl criticisms at the tribunal, or do you want to get involved in an effort to make it a more fair and effective judicial process?"
I found this appeal hard to resist, as it reminded me of a favorite quote from President Theodore Roosevelt that Mike Newton had long ago shared with me—words upon which we have both endeavored to approach life's challenges. Roosevelt said: "It is not the critic who counts; not the man who points out how the strong man stumbles, or where the doer of deeds could have done them better. The credit belongs to the man who is actually in the arena, whose face is marred by dust and sweat and blood; … who at best knows in the end the triumph of high achievement, and who at the worst, if he fails, at least fails while daring greatly, so that his place shall never be with those cold and timid souls who neither know victory nor defeat."
A month later, on Oct. 13, 2004, Mike Newton, four other international trainers, and I arrived at the Crowne Plaza London—St. James Hotel, where we were introduced to the 42 newly appointed judges of the Iraqi High Tribunal. The other trainers included Geoffrey Robertson, an internationally recognized author in the field and a sitting judge serving on the Special Court for Sierra Leone; Professor Christopher Greenwood of the London School of Economics; Joanna Korner, former senior prosecutor at the Yugoslavia Tribunal; and Gabrielle Kirk McDonald, the former president of the Yugoslavia Tribunal.
The judges were a mix of ethnic Shiites and Kurds (including some Sunni Kurds), but no former Baathists as the IHT statute precluded their appointment. They ranged in age from the youngest, 35-year-old Ra'id Juhi, to Judge Ra'ouf Rasheed Abdul Rahman who was 30 years his senior.
They were dignified and professional, and their sincerity was apparent even across linguistic barriers. But they knew that they were unprepared for the rigors that lay ahead. Saddam had prevented Iraqi lawyers from traveling abroad to learn the detailed provisions of modern international criminal law. Iraqis were often embarrassed that the regime had kept them from staying abreast of the latest developments in the integrated body of law that developed since the end of the Gulf War in 1991. The trainers in London were notable experts in the complex body of international law that would need to be used by the Iraqis.
The judges were attentive both in large groups and in the small working groups. This week of training was followed by a mock trial held at Stratford-upon- Avon, as well as more training at the International Institute for Higher Studies in the Criminal Sciences in Siracusa, Italy. The tribunal investigators had a special training session dedicated to their unique needs held in Bournemouth, England. The director of the RCLO at the time, Greg Kehoe, helped to arrange and fund these training events. Kehoe, an American, is a booming man with an imposing presence. He believed that the Iraqis could deliver a fair and independent trial. "The whole process is very important for re-establishing the rule of law in Iraq," he would say. "The trials not only have to be fair, but also have to be seen to be fair. A rush to judgment would do nothing to restore the Iraqis' faith in the rule of law." These aspirations would be put to the test in the Baghdad courtroom almost exactly two years later.


text:
CHICAGO -- Travis Wood and the rest of the Chicago Cubs pitchers are starting to turn the ninth spot in the batting order into a productive part of the lineup.
CHICAGO -- Travis Wood and the rest of the Chicago Cubs pitchers are starting to turn the ninth spot in the batting order into a productive part of the lineup.
Wood hit a fourth-inning grand slam off Jake Peavy and allowed two runs in six innings to lead the way in an 8-3 victory over the Chicago White Sox at Wrigley Field on Thursday.
"Our whole staff has been hitting," Wood said, after his grand slam gave Cubs pitchers 19 RBIs for May, a National League record for one month according to the team.
"We take pride in our hitting, being able to help ourselves out, just being able to handle the bat.
"That way we're not just a dead out."
Wood wasn't the only Cubs player hitting home runs against the White Sox on a day with the wind blowing out 24 mph.
Nate Schierholtz and Luis Valbuena each hit their sixth home runs of the year in an 11-hit effort by the Cubs offense, keying a fourth straight win overall and third consecutive convincing victory over their crosstown rivals.
However, it was Wood (5-3) who broke open the game with his fifth career home run and second this year in the fourth inning with the Cubs leading 2-1.
"Woody can flat-out hit," Cubs manager Dale Sveum said. "He hits any fastball. They've (pitchers hitting) all been a big key to these wins.
"They're not just getting a single and driving a run in. They're getting two-run doubles and home runs, and we're able to put games away."
Welington Castillo and Valbuena started the fourth inning with singles and Jake Peavy hit Darwin Barney before Wood's grand slam on a 2-1 pitch. It was the first grand slam by a Cubs pitcher since Jason Marquis hit one Sept. 22, 2008, in New York against the Mets and first by a Cubs pitcher in Wrigley Field since Burt Hooton hit one Sept. 16, 1972, against the New York Mets.
"I don't like it," Cubs first baseman Anthony Rizzo joking about Cubs pitchers driving in 19 runs in May. "It's embarrassing all of us (position players)."
Rizzo added: "It's great. It's unbelievable."
The last time any team's pitching staff had more than the Cubs' total of 19 runs batted in for a month was 1940 when the Detroit Tigers had a month with 20.
Peavy (6-3) allowed six earned runs and eight hits in four innings. He also gave up four straight hits in the second inning for two runs that put the Cubs ahead for good as they went on to clinch this year's Crosstown Cup - the first time they've won the series since 2007.
It was Peavy's worst start since giving up six runs April 9 at Washington in 5 1-3 innings.
"I think man for man everybody in here will tell you we got outplayed," Peavy said. "We didn't play with the intensity we need to play with. We didn't make plays. We didn't make pitches. We didn't get hits.
"We played, just not good ball baseball."
With two outs in the second, Valbuena doubled, Barney singled him home, Wood singled and David DeJesus singled in Barney for a 2-0 Cubs lead.
Schierholtz homered leading off the fifth against reliever Nate Jones for a 7-1 lead and Valbuena hit a leadoff homer off Brian Omogrosso in the eighth.
"We came out this series, we struck the ball well, played great defense and the pitching has been outstanding," Wood said. "We played just great all-around baseball."
Paul Konerko drove in the first two White Sox runs, one with a third-inning, two-out single and the other on a double in the sixth after Alex Rios had doubled. Alejandro De Aza drove in the final run with a ninth-inning single.
The White Sox came into the series at .500 (24-24) for the first time since April 8 after winning five of six games.
"Anytime you have three games like this at any point it's discouraging," White Sox manager Robin Ventura said. "You know, again, you've got to regroup and go.
"We've show that we can play a lot better than this and we're going to have to prove it again."
NOTES: The Cubs called up right-hander Zach Putnam from Triple-A Iowa and sent down right-hander Alex Burnett, a former Baltimore pitcher whom they signed off waivers Monday. Putnam had one inning of scoreless relief. ... A day after hitting three home runs in one game, Cubs catcher Dioner Navarro was back on the bench with starting catcher Welington Castillo in the lineup. ... The Cubs came into the game with the third-most errors in the NL (39) and the White Sox with the most in the AL (35), and both teams committed errors in the first inning.


text:
Well guys, I know your waiting for the next Fiddly installment. It won't be long now.
I have worked through my troubles, and even as we speak, Godpoop and I are taking full advantage of this hiatus to get our selves a little breathing room in the form of a buffer of about three strips. Have no fear that as soon as we can get this done, we will be returning to the grind.
In the mean time, I am also trying to get some more t-shirt ideas on paper so that we can drop a few of the older designs, as they don't really match up to my current style of drawing.
Bear with us, we will return.


text: Natural Area Rugs has natural rugs of all kinds, but our 100-percent natural seagrass rugs are particularly popular. These earth-friendly rugs are designed and hand crafted right here in the U.S. by artisan rug makers with years of experience, tradition and pride in their craft. Available in a wide array of styles, shapes and sizes, these rugs can fit any purpose in any home or office. You'll be glad to know that for safety's sake, they also include a nonslip, latex backing. Stain resistant and naturally durable, these rugs will make a valuable, beautiful and natural addition to your home or office.


text:
Gems & Jewels of an Indian Kitchen: All about lentils and legumes
Route To India
Multiple Dates
Event Details
Eat your Daal and you will get strong! That's what my vegetarian upbringing taught me. Lentils is our go to source of protein. In India you have a daal with every meal in addition to green vegetables . Sounds boring but that not at all true. There are enough legumes and lentils that you never have to repeat a single one through the week, but then of course all of us have a favorite that we could really have every day.
Sample Menu
Makhani Daal
Mung bean sprout salad
Sambaar and Basmati rice
Have questions about Gems & Jewels of an Indian Kitchen: All about lentils and legumes? Contact Route To India
Soma Cookloft
16 Jessie Street
San Francisco,
Multiple Dates
Add to my calendar
Route To India
Nalini Mehta is a culinary, yoga and meditation instructor who has taught at various holistic institutions around the US. Natural Gourmet Institute for Food and Health, NY, Whole Foods Culinary Center, Institute of Culinary Education, NY Open Center and offers online cooking and wellness classes through her businesswww.routetoindia.com. Rooted in the wisdom of Indian culture, Route To India brings ancient techniques of Ayurveda, yoga and meditation to the modern appetite. Speaking Engagements Speaker at several institutes including UCSF, Baruch College, NY, Rubin Museum of Art NY, Asian Art Museum, San Francisco, Princeton University, and United Nations Spice Club, New York.


text:
Simple Sprigs in Recycled Vases
Elaborate bouquets have their place, but I think the loveliest arrangements are often the simplest — unadorned blooms in unassuming vases. Causal groupings and a variety of vessels create indoor display that imitate the wild blooms outdoors. And the best part? You probably already have the vases right in your kitchen!
• 1, 2Ferns have traditionally been used as greenery in more elaborate arrangements, but they can hold their own especially when grouped in bottles of varying sizes (1) or floating whimsically within a bottle (2). With their elegant forms and the variety of types, ferns are some of the easiest sprigs to arrange.
• 3. Cut branches in jugs are my favorite. All this arrangement took was a few small branches, and some old bottles…namely a very classy $10 gallon of Carlo Rossi Chianti, a jar of Trader's Joes balsamic vinegar, and a bottle of Pyrat Rum.
• 4, 5Classic mason jars and vintage bottles, grouped on a picnic table (4) or suspended tea-light style (5) make some of the prettiest containers.
• 6 We've seen old lightbulbs reinvented as terrariums and ship holding vessels, but this suspended bud vase option is my favorite reuse.
• 7 Antique jars always call my name at flea markets and junk shops, but I usually resist because the thought of so many of them together is too much like clutter for my tastes. Howver, add a few blooms, and you've got an indoor garden.
• 8-10 Cheery gerber daisies seem made for these types of simple displays. Cut the stems so the flower heads barely peek over the rim of the jar to insure that your heavy-headed blooms won't wither too quickly.
Images: 1: Midwest Living, 2: Jane Cumberbatch, 3, 10: Leah Moss, 4: Country Living, 5: Design Sponge, 6: Craftzine, 7: Martha Stewart, 8: Real Simple, 9: Coastal Living


text:
Home > News & Events > Wayland Press Release Archives > 2005 News Releases > January 2005 > Religion professor receives faculty award
Religion professor receives faculty award
PLAINVIEW – Dr. Gary Manning, professor of religion at Wayland Baptist University, was honored with the Maloney Faculty Award on Wednesday during Wayland's annual Heritage Chapel ceremony.
Established by WBU-Phoenix faculty member Dr. Mary Maloney, the award recognizes outstanding faculty members for their academic leadership and excellence, Christian commitment and contributions to the lives of students. It carries with it a monetary award as well.
Manning was nominated for the award by Dr. Fred Meeks, chairman of the Division of Religion and Philosophy. In his nomination, Meeks called Manning a role model for students.
"He is a loving husband, caring and nurturing father and a devout disciple of Jesus Christ," Meeks wrote. "His professional expertise and authentic concern for students is truly a treasure that they normally grow to realize and appreciate."
Meeks also said Manning's work and ministry has had a profound impact on area churches and church members and said that experience is beneficial to students.
"I believe this fact is critically important for one who teaches ministry students. There is credibility in his teaching that comes from the fact that he has done ministry and still does it," Meeks wrote.
An employee at Wayland since 1982, Manning also is director of the In-Service Guidance program for ministerial students and has served previously as golf coach. He has a bachelor's degree from Howard Payne University and both the Master of Religious Education and the Doctor of Philosophy degrees from Southwestern Baptist Theological Seminary.
He and wife Paulette, who works for the Plainview Independent School District, have two grown children, Tammy and Troy.


text:
Staff Report
The Associated Press
AUSTIN, Texas (AP) - Austin police say a fourth person has died after being struck by a drunken driving suspect earlier this month during the South By Southwest festival.
Police tweeted Thursday that DeAndre Tatum died of injuries suffered March 13. Police spokeswoman Veneza Bremner confirmed the accuracy of the tweet. But she said the department would have no further updates.
Tatum was in a crowd outside an Austin club when the driver smashed his car through a street barricade and accelerated into the festivalgoers.
Twenty-seven-year-old Jamie West of Austin and 35-year-old Dutchman Steven Craenmehr were killed at the scene. Twenty-six-year-old Sandy Le (lee) died of her injuries March 17.
More than 20 others were injured.
Twenty-one-year-old Rashad Owens has been charged with capital murder and aggravated assault with a motor vehicle.


text:
But we'll probably stun the Mavs again, just for the hell of it.
Ooh, what'd I say.
Moderators: Mr. Crackerz, JREED, Guybrush, 32
drfrank wrote:hahahha i love that shot of monty just sitting there no paying attention to the game fixing his cuffs instead of telling fisher to actually run some sort of offense.
South Island wrote:I have been reading this site for the last year. The entire time I have been on the South Island in New Zealand. I finally regestered with this site just so I could ask Migya about how he is watching the games. I have been just reading play by plays and the is seriously lacking. Anyway if you could PM me or reply on that url you were mentioning that would be sweet as. Cheers from across the ditch.


text:
😉 – That's when you see sparks
As promised, a garden update and a freebie!
Garden first, well lets call it the Micro-farm cuz that's kinda what were trying to do here. The apple trees are bearing up well and we discovered a surprise on the new pear tree, an actual PEAR!
I am so planning on doing this in a few years
The beans are climbing all over the fence, the peas are beginning to flower and the tomatoes are really beginning to take off. Over in the main garden we are almost done with the first bed of radishes, a few more coleslaws and salads and we'll be ready for a second planting.
We also have a bunch of little berry patches that we hope to consolidate for next year. Black raspberries, I feel a pie coming on!
The cockerels and pullets have been separated. The male Steves are living in the new "dude-coop" and the lady Steves have moved down with the hens.
We also picked up 5 Leghorn chicks, from Mr. Lipman's 2nd grade again, whicj brings us to a grand total of 35 chickens. I know, but really, we're pretty sure that 2 of the leghorns are male so that means that by the end of the summer we'll be down to 21 hens. Holy shit, did I just say 21 hens?
Who needs eggs? You do, right? Right!
And how do we corral all these chickens? a Liberal use of chicken wire and other fencing which brings me to the freebie!
My hair is kind of a crazy thing to begin with and the summer humidity does terrible things to it. I often wear my hair in a ponytail but sometimes I just want it out of my face. So what's a girl to do?
Chicken Wire!
This is a simple mesh kerchief that ties at the back neck to help corral your frizzy summer locks (it also doubles as a great neckerchief!)
Grab the PDF of Chicken Wire here or over on <a href="download now">Ravelry


text:
Apache OpenOffice v4.1.5
Vista / Win10 / Win7 / Win8 / WinXP
Openoffice.org is written in C and with documented APIs licensed under the LGPL and SISSL Open Source licenses, OpenOffice.org allows any knowledgeable developer to benefit from the source. And, because the file format for OpenOffice.org is XML, interoperability is easy, making future development and adoption more certain.
Other editions:
HTML code for linking to this page:
openoffice openoffice.org open source writer calc draw impress
1License and operating system information is based on latest version of the software.
three years now and have saved many hundreds of dollars not having to buy MSFT products
because my old computer bit the dust. I luv it and so will you. It reads and writes microsoft format. WOW! Microsoft must hate these guys.
All the packages are there (word processor, spreadsheet, presentation, database, Drawing, Web Editing etc.) and all work well with M$ Office files as well as their own xml formats...
Their are Plenty of features available for newbies and professionals alike, as well as the usual proofing tools like spell checking, hyphenation and thesaurus... The only thing I couldnt find was a grammar-checker, but then again, I dont really use it myself...
Oracle patches 29 Java, OpenOffice vulnerabilities (4 posts)Latest post: 10/18/2010
Forum room: Announcements / News comments
OpenOffice updated to version 3.2 (4 posts)Latest post: 02/12/2010
Forum room: Announcements / News comments
OpenOffice is on my PC. Can someone tell for what purpose it serves (2 posts)Latest post: 04/10/2007
Forum room: Software, operating systems and more / Windows - General discussion
FREE.....Move to a New Office,Ready to ditch Microsoft Office and Outlook? OpenOffice and Thunderbird have plenty to offer. (1 posts)Latest post: 11/20/2005
Forum room: Announcements / News comments


text:
FRESNO, Calif. – Junior outfielder Cameron Newell stroked a go-ahead RBI single to score Joey Epperson in the tenth and sophomore closer Dillon Tate provided three innings of shutdown relief to steer No. 10 UC Santa Barbara to a 5-4 win at Fresno State's Beiden Field on Tuesday night.
The win, UCSB's sixth straight, improved the team's record to 18-3, extending the team's second-best start in program history (only 1984's 19-2 team was better through 21 games). The Gauchos are now a perfect 4-0 in midweek games this season.
Fresno State, the 2008 College World Series champion, dropped to 15-10.
Newell's game-winning hit, part of a 3-5 day, completed the comeback for the Gauchos after they had fallen behind 4-3 on an eighth inning home run from Chris Mariscal that gave the Bulldogs their first lead of the day.
Right after falling behind, UCSB answered back with a run in the top of the ninth to move the game to extra innings. Sophomore Robby Nesovic led off the ninth with a pinch-hit double down the left field line before making way for pinch-runner Scott Quinlan.
Senior catcher Jackson Morrow then strode to the plate attempting to sacrifice Quinlan over to third. After taking a pair of borderline strikes, Morrow was able to bunt the 0-2 pitch down the third base line, perfectly hugging the chalk and coming to rest in fair territory for an infield single to give UCSB runners on the corners with no outs.
Quinlan would score later in the inning when Bulldogs reliever Derick Velazquez uncorked a wild pitch to the backstop. UCSB was prevented from scoring any further runs when Morrow was doubled off on a botched squeeze attempt that also claimed shortstop Peter Maris on the strikeout.
UCSB's offense didn't wait long to make up for that lost opportunity however, as Epperson started off the tenth with a base hit into center field, giving him hits in 26 of his last 27 games. Epperson, who entered the game with the second-highest batting average in the country, moved to second on a Tyler Kuresa sac bunt before being plated by Newell's single.
In by far his longest outing as a Gaucho, Tate was outright dominant en route to his first career win, striking out five and allowing just two hits in three innings. After allowing a single to the first batter he faced, the fireballer retired nine of the next 10 batters he faced, with only a Jordan Luplow one-out infield single in the ninth marring his line. Tate recovered and closed out the game by inducing back-to-back popouts from Taylor Ward and Jordan Luplow.
UCSB starting pitcher Shane Bieber was solid if not spectacular in his return to the mound following a Mar. 8 injury, allowing two earned runs in five innings to go along with a pair of strikeouts and three walks. He left the game in line to win after the offense had staked him to a 3-2 lead.
The Gauchos opened the day's scoring with a two-run second. A leadoff Billy Fredrick hit by pitch was followed by singles from Newell and Morrow to load the bases, then reigning Big West Field Player of the Week Andrew Calica knocked in a run with a base hit through the left side before Maris plated another with a sac fly to left.
Fresno State answered right back with a two-run single from Manny Argomaniz in the bottom half, but UCSB took its second lead of the day with a Morrow squeeze bunt to score Newell in the fourth inning and make the score 3-2.
In a predetermined staff day, the Bulldogs employed eight different pitchers in the loss. The Gauchos spread out the damage among the relief corps, as four Bulldog hurlers surrendered at least one run. Starter Will Munro went two innings, allowing two runs on four hits. Connor Chase (2-1) received the loss after Epperson, who reached against him, came around to score.
For Fresno State, Luplow (3-5) and shortstop Ryan Dobson (2-4) had strong days with the bat, but Mariscal's big fly was one of just two extra-base hits for the Bulldogs.
This weekend, UCSB will welcome the start of Big West Conference play by hosting Hawai'i for a three-game series at Caesar Uyesaka Stadium starting on Friday at 3:00 p.m. All three contests will be broadcasted over the air on AM 1290 and online through UCSBgauchos.com.


text:
Major Section: EVENTS
Examples: (defun-sk exists-x-p0-and-q0 (y z) (exists x (and (p0 x y z) (q0 x y z)))) (defun-sk exists-x-p0-and-q0 (y z) ; equivalent to the above (exists (x) (and (p0 x y z) (q0 x y z)))) (defun-sk forall-x-y-p0-and-q0 (z) (forall (x y) (and (p0 x y z) (q0 x y z))) :strengthen t)
Some Related Topics
fn is the symbol you wish to define and is a new symbolic
name (see name),
(var1 ... varn) is its list of formal
parameters (see name), and
body is its body, which must be
quantified as described below. The
&key argument
doc is an optional
documentation string to be associated with
fn; for a description
of its form, see doc-string. In the case that
n is 1, the list
(var1) may be replaced by simply
var1. The other arguments are
explained below.
For a simple example, see defun-sk-example. For a more elaborate example,
see Tutorial4-Defun-Sk-Example. See quantifier-tutorial for a careful
beginner's introduction that takes you through typical kinds of
quantifier-based reasoning in ACL2. Also see quantifiers for an example
illustrating how the use of recursion, rather than explicit quantification
defun-sk, may be preferable.
Below we describe the
defun-sk event precisely. First, let us
consider the examples above. The first example, again, is:
(defun-sk exists-x-p0-and-q0 (y z) (exists x (and (p0 x y z) (q0 x y z))))It is intended to represent the predicate with formal parameters
z that holds when for some
(and (p0 x y z) (q0 x y z))
holds. In fact
defun-sk is a macro that adds the following two
events, as shown just below. The first event guarantees that if
this new predicate holds of
y and
z, then the term shown,
(exists-x-p0-and-q0-witness y z), is an example of the
x that is
therefore supposed to exist. (Intuitively, we are axiomatizing
exists-x-p0-and-q0-witness to pick a witness if there is one.
We comment below on the use of
defun-nx; for now, consider
to be
defun.) Conversely, the second event below guarantees that if
there is any
x for which the term in question holds, then the new
predicate does indeed hold of
y and
(defun-nx exists-x-p0-and-q0 (y z) (let ((x (exists-x-p0-and-q0-witness y z))) (and (p0 x y z) (q0 x y z)))) (defthm exists-x-p0-and-q0-suff (implies (and (p0 x y z) (q0 x y z)) (exists-x-p0-and-q0 y z)))Now let us look at the third example from the introduction above:
(defun-sk forall-x-y-p0-and-q0 (z) (forall (x y) (and (p0 x y z) (q0 x y z))))The intention is to introduce a new predicate
(forall-x-y-p0-and-q0 z) which states that the indicated conjunction
holds of all
x and all
y together with the given
z. This time, the
axioms introduced are as shown below. The first event guarantees
that if the application of function
forall-x-y-p0-and-q0-witness to
z picks out values
x and
y for which the given term
(and (p0 x y z) (q0 x y z)) holds, then the new predicate
forall-x-y-p0-and-q0 holds of
z. Conversely, the (contrapositive
of) the second axiom guarantees that if the new predicate holds of
z, then the given term holds for all choices of
x and
y (and that
(defun-nx forall-x-y-p0-and-q0 (z) (mv-let (x y) (forall-x-y-p0-and-q0-witness z) (and (p0 x y z) (q0 x y z)))) (defthm forall-x-y-p0-and-q0-necc (implies (not (and (p0 x y z) (q0 x y z))) (not (forall-x-y-p0-and-q0 z))))The examples above suggest the critical property of
defun-sk: it
indeed does introduce the quantified notions that it claims to
Notice that the
defthm event just above,
may not be of optimal form as a rewrite rule. Users sometimes find that when
the quantifier is
forall, it is useful to state this rule in a form where
the new quantified predicate is a hypothesis instead. In this case that form
would be as follows:
(defthm forall-x-y-p0-and-q0-necc (implies (forall-x-y-p0-and-q0 z) (and (p0 x y z) (q0 x y z))))ACL2 will turn this into one
rewrite rule for each conjunct,
(p0 x y z) and
(q0 x y z), with hypothesis
(forall-x-y-p0-and-q0 z) in each case. In order to get this effect, use
:rewrite :direct, in this case as follows.
(defun-sk forall-x-y-p0-and-q0 (z) (forall (x y) (and (p0 x y z) (q0 x y z))) :rewrite :direct)
We now turn to a detailed description of
defun-sk, starting with a
discussion of its arguments as shown in the "General Form" above.
The third argument,
body, must be of the form
(Q bound-vars term)where:
Q is the symbol
forall or
exists (in the "ACL2"
bound-vars is a variable or true list of variables
disjoint from
(var1 ... varn) and not including
state, and
term is a term. The case that
bound-vars is a single variable
v is treated exactly the same as the case that
bound-vars is
The result of this event is to introduce a ``Skolem function,'' whose name is
the keyword argument
skolem-name if that is supplied, and otherwise is
the result of modifying
fn by suffixing "-WITNESS" to its name. The
following definition and one of the following two theorems (as indicated) are
introduced for
skolem-name and
fn in the case that
(see above) is a single variable
v. The name of the
defthm event
may be supplied as the value of the keyword argument
:thm-name; if it is
not supplied, then it is the result of modifying
fn by suffixing
"-SUFF" to its name in the case that the quantifier is
exists, and
"-NECC" in the case that the quantifier is
(defun-nx fn (var1 ... varn) (let ((v (skolem-name var1 ... varn))) term)) (defthm fn-suff ;in case the quantifier is EXISTS (implies term (fn var1 ... varn))) (defthm fn-necc ;in case the quantifier is FORALL (implies (not term) (not (fn var1 ... varn))))
In the
forall case, however, the keyword pair
:rewrite :direct may be
supplied after the body of the
defun-sk form, in which case the
contrapositive of the above form is used instead:
(defthm fn-necc ;in case the quantifier is FORALL (implies (fn var1 ... varn) term))This is often a better choice for the "-NECC" rule, provided ACL2 can parse
term as a
rewrite rule. A second possible value of the
:rewrite argument of
defun-sk is
:default, which gives the same
behavior as when
:rewrite is omitted. Otherwise, the value of
:rewrite should be the term to use as the body of the
fn-necc theorem
shown above; ACL2 will attempt to do the requisite proof in this case. If
that term is weaker than the default, the properties introduced by
defun-sk may of course be weaker than they would be otherwise. Finally,
note that the
:rewrite keyword argument for
defun-sk only makes sense
if the quantifier is
forall; it is thus illegal if the quantifier is
exists. Enough said about
In the case that
bound-vars is a list of at least two variables, say
(bv1 ... bvk), the definition above (with no keywords) is the following
instead, but the theorem remains unchanged.
(defun-nx fn (var1 ... varn) (mv-let (bv1 ... bvk) (skolem-name var1 ... varn) term))
In order to emphasize that the last element of the list,
body, is a
defun-sk checks that the symbols
forall and
exists do
not appear anywhere in it. However, on rare occasions one might
deliberately choose to violate this convention, presumably because
forall or
exists is being used as a variable or because a
macro call will be eliminating ``calls of''
forall and
In these cases, the keyword argument
quant-ok may be supplied a
nil value. Then
defun-sk will permit
forall and
exists in the body, but it will still cause an error if there is
a real attempt to use these symbols as quantifiers.
The use of
defun-nx above, rather than
defun, disables certain
checks that are required for evaluation, in particular the single-threaded
use of
stobjs. However, there is a price: calls of these defined
functions cannot be evaluated; see defun-nx. Normally that is not a
problem, since these notions involve quantifiers. But you are welcome to
replace this
declare form with your own, as follows: if you supply a
list of
declare forms to keyword argument
:witness-dcls, these will
become the declare forms in the generated
defun. Note that if your
value of
witness-dcls does not contain the form
(declare (xargs :non-executable t)), then the appropriate wrapper for
non-executable functions will not be added automatically, i.e.,
will be used in place of
defun-nx. Note also that if guard
verification is attempted, then it will likely fail with an error message
complaining that ``guard verification may depend on local properties.'' In
that case, you may wish to delay guard verification, as in the following
(encapsulate () (defun-sk foo (x) (exists n (and (integerp n) (< n x))) :witness-dcls ((declare (xargs :guard (integerp x) :verify-guards nil)))) (verify-guards foo))
Defun-sk is a macro implemented using
defchoose. Hence, it should
only be executed in defun-mode
logic; see defun-mode and
see defchoose. Advanced feature: If argument
:strengthen t is passed to
defun-sk, then
:strengthen t will generate the extra constraint that
that is generated for the corresponding
defchoose event; see defchoose.
You can use the command
pcb! to see the event generated by a call
of the
defun-sk macro.
If you find that the rewrite rules introduced with a particular use of
defun-sk are not ideal, even when using the
:rewrite keyword
discussed above (in the
forall case), then at least two reasonable
courses of action are available for you. Perhaps the best option is to prove
rewrite rules you want. If you see a pattern for creating rewrite
rules from your
defun-sk events, you might want to write a macro that
executes a
defun-sk followed by one or more
defthm events. Another
option is to write your own variant of the
defun-sk macro, say,
my-defun-sk, for example by modifying a copy of the definition of
defun-sk from the ACL2 sources.
If you want to represent nested quantifiers, you can use more than one
defun-sk event. For example, in order to represent
(forall x (exists y (p x y z)))you can use
defun-sk twice, for example as follows.
(defun-sk exists-y-p (x z) (exists y (p x y z))) (defun-sk forall-x-exists-y-p (z) (forall x (exists-y-p x z)))
Some distracting and unimportant warnings are inhibited during
Note for ACL2(r) users (see real): In ACL2(r), the keyword
is also supported. Its legal values are
t (the default) and
nil, and
it determines whether or not (respectively) ACL2(r) will consider
fn to
be a classical function. It must be the case that the value is
t (perhaps implicitly, by default) if and only if
body is classical.
Note that this way of implementing quantifiers is not a new idea. Hilbert
was certainly aware of it 60 years ago! Also
see conservativity-of-defchoose for a technical argument that justifies the
logical conservativity of the
defchoose event in the sense of the paper
by Kaufmann and Moore entitled ``Structured Theory Development for a
Mechanized Logic'' (Journal of Automated Reasoning 26, no. 2 (2001),
pp. 161-203).


text:
If you start the day dirt jumping, session the street all afternoon and finish off with a trip to the skatepark, Specialized's Rhythm Lite Control is the tire for you. It features a fast-rolling center section with large and deep knobs on the shoulders for awesome cornering traction. Plus, the dual-compound tread strikes the perfect balance of great handling, excellent grip and light weight.
|Manufacturer's Part Number
|Vendor Number
|Store SKU
REVIEW SNAPSHOT®by PowerReviews
Best Uses
Reviewed by 1 customers
Sort by
Displaying reviews 1
Best Uses
I use this as a rear tire on my dirtjumper along with a slick in the front. This tire accelerates fast on the street with almost no knob squish, its smooth rolling and gives great grip in the corners both on the street and on hard pack dirt. Not sure about wet traction since I havent been caught in the rain yet or how well the tire wears since I have only had it for two weeks. The rhythm lite is also super nice as far as getting it on the rim. So far couldnt be happier with it great value for the money
Displaying reviews 1
Previous | Next


text:
32 libraries lead the way to Web-scale innovation—OCLC Web-scale Management Services on target for July 1 general release
DUBLIN, Ohio, USA, 2 June 2011—Since OCLC announced it was making its cloud-based library management services available to early adopters just 10 months ago, 32 libraries have committed to using OCLC Web-scale Management Services, the Web-based cooperative library management tools for metadata management, acquisitions, circulation, license management and workflow improvement. The early-adopter phase has now ended, and July 1 will mark general release of these innovative cloud-based services.
Among the libraries that have led the way for general availability of the new services:
In addition to the 32 committed libraries in the United States, BIBSYS, the Norwegian library consortium signed an agreement with OCLC to base its new library management system on Web-scale Management Services, which will include management tools for more than 100 libraries in Norway.
Boundary County District Library was among the first to join the early adopters, 15 of which are now using the services in full production. "There was no question—we were on board. OCLC had proved its value through WorldCat and FirstSearch," said Sandy Ashworth, Director at Boundary, about her library's decision to become a pilot library. "Above all, we liked that OCLC is a library cooperative. We are members working together toward a common vision sharing many of the same challenges. And it is through this shared vision that we hope to eliminate many of the barriers that prevent access to information."
"One of the things I see with Web-scale Management Services is that it's a continuation and an expansion of a partnership that we've had a long, long time with OCLC," said David Jones, Director of the Library, Jacksonville University, an early adopter library.
Andrew Pace, OCLC Executive Director of Networked Library Services, said this kind of acceptance and rapid implementation of the brand new services are possible through the extraordinary efforts of the original pilot libraries, the early adopter libraries, an active and engaged library advisory council and the cloud-based architecture of the new services. "I'm really excited about the rate of adoption thus far," said Pace. "Seeing 15 libraries live and in production before the summer is an amazing accomplishment for everyone involved."
"Staff at early adopter libraries have worked tirelessly with OCLC staff through planning and testing," added Pace. "Since this is a brand new service we knew there were going to be challenges along the way. But through hard work and an enthusiastic commitment to this project, we have been able to overcome challenges and solve problems together as we progress."
Jay Jordan, OCLC President and CEO, said the OCLC cooperative is fortunate to have librarians who are willing to get involved in research product development and testing of innovative new services and programs.
"OCLC's new Web-scale Management Services have brought forth a new generation of pioneering librarians," said Jordan. "We are grateful to these early adopter libraries for their ground-breaking efforts on behalf of the entire OCLC cooperative."
Libraries using Web-scale Management Services will lower the total cost of ownership for their library's management and free staff time for higher-priority services. As more institutions migrate to Web-scale Management Services, libraries will be able to share data, applications and workflow improvements with peer institutions, end users and partners.
With the early-adopter phase of the project completed, OCLC is now accepting orders for libraries interested in using Web-scale Management Services. More information on OCLC Web-scale Management Services can be found on the OCLC website. See video and other presentations from early adopters at Web-scale Management Services presentations page.
About OCLC
Founded in 1967, OCLC is a nonprofit, membership, computer library service and research organization dedicated to the public purposes of furthering access to the world's information and reducing library costs. More than 72,000 libraries in 170 countries have used OCLC services to locate, acquire, catalog, lend, preserve and manage library materials. Researchers, students, faculty, scholars, professional librarians and other information seekers use OCLC services to obtain bibliographic, abstract and full-text information when and where they need it. OCLC and its member libraries cooperatively produce and maintain WorldCat, the world's largest online database for discovery of library resources. Search WorldCat on the Web at www.worldcat.org. For more information, visit www.oclc.org.
OCLC, FirstSearch, WorldCat and WorldCat.org are trademarks and/or service marks of OCLC Online Computer Library Center Inc. Third-party product service and business names are trademarks and/or service marks of their respective owners.
Bob Murphy
Manager, Media Relations


text:
Preparing professionals today.
The College of Health and Human Services at WMU is home to exceptional undergraduate degrees and nationally respected graduate programs. US News & World Report ranks six of our programs in the top 100 of their kind and four of our programs in the top 50. From the top-ranking master's degree in occupational therapy to the brand new minor in Peace Corp health preparation, CHHS continues to grow and expand the academic reach of WMU.
- Blindness and Low Vision Studies
- Occupational Therapy
- Physical Therapy
- Physician Assistant
- Speech, Language and Hearing Sciences
Ph.D. Programs
Plus there are several other interdisciplinary programs that are not specifically affiliated with CHHS schools or departments.
WMU College of Health and Human Services: Preparing professionals today. Transforming health care and human services tomorrow.


text:
I have been reading a bit about online investigation. I've researched the FBI Carnivore Program and I've talked to some individuals that are leading the market in investigative technology. I realize that many things that are public record use to only be available and now are easily accessible on the internet. i.e. you can go to your local clerk of court homepage type in your name, or names of your friends and get their driving ticket history etc...
My concern/question is this. I've talked to a local acquaintance that is the active in investigative technology for AT&T and he was briefly telling me about the program that they were finishing. Details: Very high power PC organized to search through net and other resources to search and compile information about individuals including: websites visited, programs used(I guess through some sort of packet analyzing via IP), etc... I tried not to pry for information because he seemed very hesitant to speak on the subject.
Does anyone know about any similar programs or any details?
Wouldn't these types of programs be irrelevant because of how dynamic the web information is?
Do you think IP spoofing and the fact that many people use nicknames and other computers (friends, work, coffee shop) to access the net would cause a lot of problems and mis-information in the program?
I have some private investigation background and it is very apparent that the future of investigation will be purely computer based. With this in mind, I just wanted to see if anyone in the Antionline community has been researching similar things or have details that might be interesting.


text:
Posted 8 years ago
(10 items)
I salvaged this lamp from being sent to the dump!
Shade is not torn, base is not chipped. I can tell it's antique from the "ancient" wiring.
I have no idea the style or type or maker.
Can anyone tell from this single picture?


text:
12 Adorable Plates of Food Shaped Like Animals By Ida Skivenes
And you thought you were done playing with your food! Instagram user Ida Skivenes has been making food plate art since January 2012 and has constructed some truly inspirational dishes, including these cute plates inspired by animals.
According to her website, Skivenes creates these artistic plates because "It has become a creative outlet for [her] to play with healthy ingredients and [her] favorite meal, breakfast." It takes Skivenes about five to fifteen minutes to assemble the plates and she eats everything after she photographs it.
Alongside the animals, Skivenes recreates famous paintings, characters from movies, cartoons, and anything else that inspires her. Now that's what I call a fun plate of food.
→ Follow Ida Skivenes on Instagram for more adorable plates: Idafrosk
(Images: Ida Skivenes)