text:
Home / Biometrics to adapt to the 'New Normality'
Biometrics to adapt to the 'New Normality'
David Antonio Pérez
Security Division Director of everis ADS
Read more about David Antonio Pérez
With the gradual lifting of lockdown measures which has already begun in Spain, we face the challenge of adapting the protocols and spaces to the 'new normality', which brings new needs and norms. In the case of enclosed spaces, adequate access and movement control will be of particular importance, and we must find the right combination of technology and gadgets that will help us to be both freer and safer.
Reducing the number of people in places like shops or restaurants gives rise to the need for access control. And, in addition, the mechanisms of those controls which already existed in places such as airports, offices, hotels or stadiums will need to be changed. All of them must be contactless and paperless, and, moreover, in many cases that must be combined with the identification of people. In that regard, facial biometrics will become very important, as it permits identification without contact with the fingers or access cards, combined with new measures such as measurement of the body temperature in order to detect fevers.
Once we are inside the establishment, we must continue to make checks, such as counting the number of people in those cases where there is no access control, calculating the social distance between people in order to avoid crowding, or checking the use of PPE such as masks or goggles.
Those types of solutions - contactless and paperless systems, advanced identification with facial biometrics or developments in artificial intelligence and deep learning - may seem to be future aspirations which will take years to be implemented. However, those technologies are already available, and everis has been routinely implementing them for years with our own developments. In other words, the market trends are being consolidated and the process of implementation is speeding up, but, in most cases, they are measures that were already in place.
In addition, we are now adapting our solutions in order to rapidly respond to this health situation in particular. For example, the Security Division of everis Aerospace, Defense and Security (everis ADS) is now implementing temperature control systems in our identification devices (kiosks, facepods, totems) by means of thermographic technology which makes it possible to measure the temperature while carrying out the biometric identification process. And, for processes in which identification is not necessary, we integrate wrist temperature detection, so the person places their wrist close to the sensor, without any kind of contact, making it possible to obtain more precise data in a collaborative manner.
Those technologies may be particularly useful at airports. For example, in Milan, together with our partner dormakaba, we recently implemented a self-boarding pilot system in which there is no contact or physical documents. The passenger can register from home via mobile phone using one of our applications, then access the security control and board the plane solely by means of facial recognition, thanks to our devices installed in the terminal. Now, in cases like this, we could also include temperature measurement.
But is it possible to transfer those systems to other environments? Not only is it possible, in this 'new normality' it becomes a necessity in places like offices, hotels or football stadiums. In the case of stadiums, for example, the gates could open automatically by means of facial biometrics systems once the fan has registered from home via an official mobile application. Inside the stadium, advanced video analytics would help control the distance between spectators if there are crowds in certain areas, check whether spectators are wearing the recommended protective equipment, or monitor body temperatures.
If we think about the case of a company, we can also model a contactless and paperless journey to manage visitors. A visitor could register from home using the appropriate ID by means of an application and receive a biometric QR code. When they arrive at the office, they show their code and face at an unmanned kiosk, which will then inform the contact person in the company. Then, they would identify themselves at a facepod using facial biometrics, which would permit access through automatic doors or turnstiles.
The technologies and solutions are very varied and they can be adapted to each specific case, so we could see these types of protocols at places like restaurants, shops, museums, libraries, hotels, government agencies, etc.
In the coming months, we will increasingly see the implementation of technologies which help us to overcome this health situation. But not just that. The 'new normality' is already taking shape, and the processes and behaviours will change forever, so we are not talking about temporary measures but rather protocols which will probably become part of our lives.
new normaityl


Serving as an ongoing showcase for some of the best and heaviest bands emerging from the underground, each instalment shines a light on those worthy of your attention. Consisting of one, 12" slab of multicoloured vinyl with full colour sleeves and inserts, the series is designed to be saved and treasured, like a fine anthology of books. So much so, when the albums are filed next to each other, the complete collection of aligned spines forms a mind-blowing image direct from the underground.
Following on from the series' first instalment released last summer featuring Geezer and Borracho, and February's Chapter II's split between Supervoid and Red Desert the latest chapter, released this June offers up new music from hard hitting Michigan quartet BoneHawk and Sweden's Kingnomad.


It's a pleasure when a cafe and restaurant doesn't simply set itself down somewhere, but instead becomes a vital part of the local community. Rushcutter's Bay is fortunate to have found such a friend in Bay 88, a chic and intimate place for refuelling and rejoicing over breakfast, lunch, and dinner (or just a good cup of coffee) on the corner of Bayswater Road and Waratah Street. Bay 88 is the kind of Sydney eatery that likes to know your name, and we recommend you cosy up to it soon.
Open early throughout the week to serve famished Rushcutter's Bay locals, Bay 88 conducts the business of breakfast in earnest, though thankfully not so seriously that one's fragile morning mood is in danger of tipping over into grumpiness. Something as simple as toast is elevated to artisanal status: choose from The Bread & Butter Project's sourdough, dark rye, or buttery croissants or a gluten-free loaf from Organic Republic, and lather it up with your choice of spreads. Too simple for your discerning Sydney palate? Go for Bay 88's signature five-grain almond milk porridge, pancakes, or the big brekky – already favourites along Bayswater Road. Lunch time showcases this boutique restaurant's gourmet sambo selection – Wagyu brisket slow-braised for five hours in Sydney Brewery dark ale on sourdough, grilled chicken with kale pesto on the house bread – and a mouthwatering dry-aged Angus beef burger with homemade BBQ sauce.
Tuesdays to Saturdays, from 6pm until 9pm, Bay 88 move into dinner service, with dishes featuring homemade gnocchi, Cumberland pork sausage, super healthy poached salmon, lamb shoulder with spiced rice and a snow pea, feta, and pomegranate salad. Matched with Bay 88's supreme, considered wine selection (BYO is okay, too) and a micro-version but equally gourmet kids' menu, this Bayswater Road dining institution is ideal for an evening spent with a gaggle of friends or the whole family. For the teetotallers out there, or for those who simply like to sip a good tisane, Bay 88 has called upon its friends at Sydney's The Rabbit Hole to craft a range of bespoke organic teas ideal for all sorts of meditative moments: the Refresh-A-Mint, an ode to the Mint Julep, is an ideal digestif, while the Pu-erh is a strong and earthy black tea renowned as a curative for those days after a dig in the wine cellar or beer fridge. A welcome addition to the Rushcutter's Bay restaurant scene, Bay 88 is more than ready to welcome you as its guest.


Here's a list of service closures and changes, as well as local events on Martin Luther King Jr. Day, Monday, Jan. 18.
Garbage pickup: All collection services will remain the same.
Library: All branches will be closed.
Police, fire: Active patrols and response teams are operational; records and administrative services are closed.
U.S. Postal Service: All Palo Alto offices will be closed.
Caltrain: Service will operate on regular weekday schedule. See caltrain.com.
SamTrans: Service will operate on regular, non-school day schedule. See samtrans.com.
Stanford Marguerite: Limited service. The only routes operating will be Line EB, Line HD, Medical Center, Medical Center: Holiday, Line R Research Park, Shopping Express: Special, VA and Line W.
VTA: Buses operate on regular schedule.
Celebrations honoring civil-rights leader Martin Luther King Jr. are set to begin Friday. Here is a list of events in the Palo Alto area.
King Institute open house and musical celebration: The King Institute will be hosting two events this week to honor the legacy of Dr. King, including an open house at the King Institute on Friday, Jan. 15 and a musical celebration of the civil rights leader's life on Sunday, Jan. 17. The open house, which will feature an exhibit of King-related photos and documents, will take place 3-5 p.m. Parking is available in parking structure 2 at Panama Street and Via Ortega or nearby surface lots. Parking is free after 4 p.m. Hear social gospel music that inspired Dr. King on Sunday, 3-5 p.m., at Tresidder Memorial Union, Oak Lounge, on the second floor. Parking, which is free on weekends, is available at the Tresidder parking lot.
Celebration Train: The new "Celebration Train", hosted by , the Northern California Dr. Martin Luther King, Jr. Community Foundation (NorCalMLK) and Caltrain, will make its debut ride up the Peninsula on Martin Luther King Jr. Day. The train will provide free service to those attending the MLK2016 celebration event in San Francisco. There will be onboard activities during the ride, according to Caltrain. The train will depart from the San Jose Diridon Caltrain Station at 9:45 a.m. It will make stops in Palo Alto at 10:05 a.m. and San Mateo at 10:22 a.m. before arriving in San Francisco by 10:55 a.m. There is no special southbound service, but Celebration Train tickets will be accepted on southbound trains departing San Francisco after 1 p.m. that day, according to Caltrain. For ticket registration, visit eventbrite.com.
Community-Wide Mitzvah Day: Community members are invited to join hundreds of others in a communitywide day of "tikkun olam" ("repair of the world") to honor the life and legacy of Dr. Martin Luther King Jr. on Monday, Jan. 18. Volunteers can take part in hands-on service projects addressing issues of hunger, housing, homelessness, the environment and more at various locations, including in Palo Alto, East Palo Alto and Mountain View. Event starts at 8 a.m. For more information, visit paloaltojcc.org, call 650-223-8700 or email info@paloaltojcc.org.
MLK Jr. Family Day of Service: Youth Community Service and the City of Palo Alto is hosting its sixth annual Day of Service to honor Dr. Martin Luther King Jr. on Monday, Jan. 18. The free event will run from 11 a.m. to 2 p.m. at Mitchell Park Community Center, 3700 Middlefield Road, and will feature guest speakers, performing groups, educational activities, a children's corner and food trucks and vendors. Information will also be available about community resources and volunteer opportunities. For more information, visit youthcommunityservice.org or call 650-858-8019.


Creating buzz in school communities everywhere.
Eliminate teacher websites, reduce email and replace messaging apps – SchoolBzz consolidates many of the products used to communicate with families so you can build a thriving school community.
Post reminders, volunteer requests and fundraising updates – SchoolBzz helps parent groups get the word out and increase involvement at school functions.
Announcements, assignments and resources – our free SchoolBzz app is a one stop shop for school information allowing parents to be more connected and actively involved in their child's education.


text:
A healthy, climate-resilient future must ensure access to WASH
defeatDD
This blog was originally published on the Global Handwashing Partnership Community Forum.
The COVID-19 pandemic has thrown into stark relief longstanding inequities. Families without access to primary healthcare, vaccines, nutrition, or safe water, sanitation, and hygiene (WASH) have been more heavily impacted by the pandemic and its related disruptions, and this uneven burden is hardly new: children in these families suffer the worst outcomes and long-term consequences of diarrheal infections, too.
Building back better from the pandemic must include an appreciation of how climate change further exacerbates these inequities:
Heavy rains and flooding overwhelm water and sanitation systems, contaminate water supplies, and spread water-linked diseases such as diarrhea, cholera, and typhoid.
During droughts, water scarcity forces people to skip handwashing, removing an essential disease prevention measure. In the South Pacific island nation of Tuvalu, for example, a severe drought coincided with a diarrhea outbreak, and an investigation connected the outbreak to decreased handwashing frequency.
The impacts of climate change are not just a future concern; they are already happening now. According to the 2021 report of the Intergovernmental Panel on Climate Change, we are past the point of mitigation and now need to focus on adaptation. Weather extremes such as flooding and droughts are becoming more frequent due to climate change, and both will lead to additional diarrhea cases. Places already struggling with insufficient WASH are likely to be the most heavily hit by climate extremes and related health impacts. On top of climate change, overcrowding trends in cities and refugee settlements increase infectious outbreak risks.
It has never been more urgent to ensure all people can access the right to safe water, sanitation, and hygiene. As the world is determining how to build back post-COVID, let's build forward, not backward. When it comes to water, sanitation, and hygiene, let's reimagine and reinvent what we think we know about clean drinking water, toilet design, and hygiene access.
Moving toward a better, healthier future will require working in new ways; mining insights from the health, WASH, and climate sectors; and tapping into new types of modeling to determine where, when, and how to have the greatest impact. It will require the same sense of urgency with which the world responded to COVID-19.
A healthy future is in our hands. Let's get them to work.
Photo Credit: PATH/Anthony Karuma
Redoubling efforts to combat diarrhea is a form of climate change adaptation
Photo: A latrine in Ecuador floods after heavy rains, causing sewage to seep into groundwater. Credit: Karen Levy
Health for all and clean hands for all go – well, hand in hand
Universal health coverage can't live up to its name if it doesn't include WASH.
Hand Hygiene for All: A call to action for universal hand hygiene beyond the COVID-19 pandemic
The Hand Hygiene for All Global Initiative, led by WHO and UNICEF, aims to ensure lasting infrastructure and hygiene behavior.

redpajama_set_name: RedPajamaCommonCrawl


text:
Walking Tours & Events
Phil Goodstein Talks and Tours
Wednesday, June 1: Quality Hill, 6:30 pm–8:30 pm
Meet at the Zang Mansion, 709 Clarkson Street. (Clarkson Street is eight blocks east of Broadway and four blocks west of Downing Street.) The cost is $10.00. A copy of this schedule is at LeonardLeonard.com/neighborhoods/ walkingtours. Information about Goodstein's books is at capitolhillbooks.com
Sunday, June 5: The Robert Speer Centennial, 5:00 pm–7:00 pm
This is a free event commemorating or mourning the 100th anniversary of Robert Speer's return to power. I draws on Phil Goodstein's book, Robert Speer's Denver. It is at the Book Bar at the southeast corner of W. 43rd Avenue and Tennyson Street.
Wednesday, June 8: West Highlands, 6:30 pm–8:30 pm
Meet in front of Edison School on the east side of Quitman Street between West 33rd and West 35th avenues. (Quitman is the "Q" in the alphabet west of Lowell Boulevard.) The cost is $10.00.
Saturday, June 11: Ghost Walk, 7:00 pm–9:00 pm
Meet at the statute of the Indian on the east lawn of the Capitol along Grant Street between Colfax and 14th avenues. The cost is $20.00.
Wednesday, June 15: South Broadway, 6:30 pm–8:30 pm
Meet at 131 West Byers Place. This is a private residence half a block west of Bannock Street. (Byers is one block directly north of Alameda Avenue. Bannock is one block west of Broadway.) The cost is $10.00.
Saturday, June 18: The Seamy Side of Denver, 5:00 pm–7:15 pm
Meet at City Stacks, 1743 Wazee Street. The cost is $20.00 per person.
Wednesday, June 22: Swallow Hill, 6:30 pm–8:30 pm
Meet near the horseshoe pits in the park along Park Avenue just to the south of 17th Avenue on the west side of the street between Downing and Marion streets. The cost is $10.00.
Sunday, June 26: North Park Hill bicycling tour, 6:00 pm–8:00 pm
Meet in front of Stedman School on the east side of the 2900 block of Dexter Street. (Dexter is seven blocks east of Colorado Boulevard.) The cost is $10.00.
Wednesday, June 29: Seventh Avenue Parkway, 6:30 pm–8:30 pm
Meet at the bench near the northeast corner of Seventh Avenue and Williams Street. Williams Street is six blocks east of Downing Street and five blocks west of York Street. This is the Cheesman Park Esplanade extending south from the park at Eighth Avenue.) The cost is $10.00.
Thursday, July 7: Capitol Hill, 6:30 pm–8:30 pm
Meet at the Capitol Hill Mansion, 1207 Pennsylvania Street—Pennsylvania Street is five blocks east of Broadway. The cost is $10.00.
Saturday, July 9: Ghost Walk, 7:00 pm–9:00 pm
Thursday, July 14: Montclair, 6:30 pm–8:30 pm
Meet in front of the Montclair Community Building, 6820 12th Avenue (the southwest corner of 12th Ave. and Oneida Street—Oneida Street is four blocks east of Monaco Street Parkway). The cost is $10.00.
Friday, July 15: The Seamy Side of East Colfax, 7:00 pm–8:00 pm
This is a free lecture at Counterpath, an art gallery/bookstore in an old filling station at 7935 14th Avenue (the northwest corner of Tamarac Street. (Tamarac is the 8000 east block, 7 blocks east of Quebec Street.)
Saturday, July 16: The Seamy Side of Denver, 5:00 pm–7:15 pm
Phil Goodstein (303) 333-1095
Arlington Park
Bonnie Brae
Cheesman Park
Cherry Hills Vista
Circle Drive
City Park South
Country Club North
Crestmoor Park
Driving Park
Humboldt Island
Morgan's Addition
Platt Park
7th Avenue Historic District
University Park & Observatory Park
Uptown/City Park West
Whittier & Cole
Wyman's Historic
Denver's Architectural Styles
Books on Denver
Neighborhood Restaurants


text:
Do We Really Need The Matrix 4?
Cole Simpson
Media by Cole Simpson.
For the first time since 2003, fans will take a trip back inside the simulated reality that is the Matrix for one of the most hotly anticipated upcoming movies, The Matrix 4. The next chapter in the science-fiction franchise, which is currently untitled, has been shrouded in secrecy ever since it was first announced.
The first Matrix film was released in 1999 and told the story of Neo, a hacker who discovers that the world he lives in is a simulated reality. This world, the Matrix, was created by artificial intelligence to distract humans while using their bodies as an energy source. The real world has become a barren dystopian society where the few free humans live in hiding. Neo is drawn into a rebellion against the machines, led by Morpheus and Trinity. Morpheus believes that Neo is "The One," an especially powerful human who is destined to free humanity from the Matrix. The rebels are hunted down by Agent Smith, a sentient program of the Matrix who exists for the sole purpose of keeping humans from escaping. After a confrontation with him, Neo discovers that he has boundless strength and abilities, including the ability to perceive and control the Matrix. In the following sequels, The Matrix Reloaded and The Matrix Revolutions, an all-out war breaks out between the machines and the people of Zion, the city in which the free humans took refuge. Meanwhile, Agent Smith has become a rogue program and has gained powers on par with Neo. He attempts to destroy both the Matrix and Zion, but Neo makes a deal with the machines to destroy him in exchange for freedom for all humans. Neo succeeds, but he is killed in the process while the world is finally at peace, fulfilling the prophecy.
The original Matrix featured Keanu Reeves in the role of Neo and Carrie-Anne Moss as Trinity, both of whom are confirmed to be returning for The Matrix 4. Since Neo died at the end of The Matrix Revolutions, fans are curious as to how he will return and in what capacity. Laurence Fishburne and Hugo Weaving, however, will not be returning as Morpheus and Agent Smith. Virtually nothing is known about the premise of the film, but fans can assume that it will be going in a different direction than the first three due to the conclusion of the war between humans and machines and the numerous first-time cast members.
Media by Vanity Fair.
While many fans are ecstatic that the Matrix franchise is making a comeback, others expressed concern. Some feel that The Matrix 4 coming after all this time is yet another example of studios trying to milk as much money as they can out of a big-name franchise. When you consider that The Matrix Reloaded and The Matrix Revolutions were far less well-received than the original Matrix, there is some validity to that claim. Nonetheless, Lilly Wachowksi, one of the creators of The Matrix who is not involved in the new film, was confident that her creation is in good hands. Wachowksi stated, "I like it when stories go out into the world and then come back to you in different ways. I mean, that's what storytelling is all about. I'm part of a bigger thing. I don't have any ownership over stuff like that, so whatever story anybody wants to tell, I can't wait to hear. I hope it's better than the original."
The Matrix 4 is scheduled to be released theatrically on December 22nd, 2021. It will also stream digitally on HBO Max in the United States for a month on that same date.
Previous articleHabitable Life on Mars?
Next articleTrack & Field History Continues with Coach Brian Patton
I am a sophomore Digital Media major from Olney, Illinois. I also run cross country and track. I enjoy watching movies and reading in my free time.


text:
Joseph Philips III
Professor of Pediatrics
jphilips@peds.uab.edu
jphilips@uab.edu
Children's of Alabama
Associate Professor (S), OB/GYN , School of Medicine
Division Director, OB/GYN , School of Medicine
Professor (P), Pediatric - Neonatology , Pediatrics
Assistant Professor (S), Physiology & Biophysics (Retired Org) , Academic Joint Departments
2020 Oxygen saturation histogram monitoring to reduce death or retinopathy of prematurity: a quality improvement initiative. Journal of Perinatology. 40:163-169. 2020
2020 Past, current and future perspectives of the use of inhaled NO as a primary therapeutic for the newborn. Nitric Oxide: Biology and Chemistry. 94:92-94. 2020
2019 Menkes disease complicated by concurrent Koolen-de Vries syndrome (17q21.31 deletion). Molecular Genetics and Genomic Medicine. 7. 2019
2018 Congenital bilateral eyelid eversion and chemosis: A case study 2018
2018 A case report of chromosome 17q22-qter trisomy with distinct clinical presentation and review of the literature.. Clinical Case Reports. 6:612-616. 2018
2018 Early-Onset Neonatal Sepsis with Extended Spectrum Beta-Lactamase Producing Escherichia Coli in Infants Born to South and South East Asian Immigrants: A Case Series. American Journal of Perinatology Reports. 8:e277-e279. 2018
2016 Trisomy 18: A survey of opinions, attitudes, and practices of neonatologists. American Journal of Medical Genetics Part A. 170:2638-2643. 2016
2016 Trisomy 18: A single-center evaluation of management trends and experience with aggressive obstetric or neonatal intervention. American Journal of Medical Genetics Part A. 170:838-846. 2016
2016 Extremely early onset IPEX syndrome caused by a novel small exonic deletion in FOXP3. Journal of Pediatric Gastroenterology and Nutrition. 63:e119-e120. 2016
2015 Topical nystatin for the prevention of catheter-associated candidiasis in ELBW infants. Advances in Neonatal Care. 15:220-224. 2015
2010 Vitamin A and retinoic acid act synergistically to increase lung retinyl esters during normoxia and reduce hyperoxic lung injury in newborn mice. Pediatric Research. 67:591-597. 2010
2009 A pumpless lung assist device reduces mechanical ventilation-induced lung injury in juvenile piglets. Pediatric Research. 66:671-676. 2009
2009 Evaluation of a pumpless lung assist device in hypoxia-induced pulmonary hypertension in juvenile piglets. Pediatric Research. 66:677-681. 2009
2009 The Role of Patent Ductus Arteriosus Ligation in Bronchopulmonary Dysplasia: Reexamining a Randomized Controlled Trial. Journal of Pediatrics. 154:873-876. 2009
2008 Population structure of invasive and colonizing strains of Streptococcus agalactiae from neonates of six U.S. academic centers from 1995 to 1999. Journal of Clinical Microbiology. 46:1285-1291. 2008
2006 Phylogenetic lineages of invasive and colonizing strains of serotype III group B streptococci from neonates: A multicenter prospective study. Journal of Clinical Microbiology. 44:1257-1261. 2006
2005 Doxycycline inhibits matrix metalloproteinase-2 (MMP-2) production by neonatal pulmonary artery endothelial cells 2005
2004 Level of maternal IgG anti-group B streptococcus type III antibody correlated with protection of neonates against early-onset disease caused by this pathogen. Journal of Infectious Diseases. 190:928-934. 2004
2002 Endothelin-A receptor blockade in porcine pulmonary hypertension. Pediatric Research. 52:913-921. 2002
2002 Endothelin-A receptor blockade in porcine pulmonary hypertension.. Pediatric Research. 52:913-921. 2002
2002 Feasibility of nitric oxide administration by oxygen hood in neonatal pulmonary hypertension. Journal of Perinatology. 22:50-56. 2002
2002 Feasibility of nitric oxide administration by oxygen hood in neonatal pulmonary hypertension.. Journal of Perinatology. 22:50-56. 2002
2001 Slow, programmed maturation of the immunoglobulin HCDR3 repertoire during the third trimester of fetal life. Blood. 98:2745-2751. 2001
2001 Level of maternal antibody required to protect neonates against early-onset disease caused by group B streptococcus type Ia: A multicenter, seroepidemiology study. Journal of Infectious Diseases. 184:1022-1028. 2001
2001 Hemodynamic effects of levcromakalim in neonatal porcine pulmonary hypertension 2001
2001 Effect of cigarette smoke extract on neonatal porcine vascular smooth muscle cells. Toxicology and Applied Pharmacology. 170:130-136. 2001
2001 The effectiveness of risk-based intrapartum chemoprophylaxis for the prevention of early-onset neonatal group B streptococcal disease. American Journal of Obstetrics and Gynecology. 184:1204-1210. 2001
2000 Antibiotic susceptibility profiles for group B streptococci isolated from neonates, 1995-1998. Clinical Infectious Diseases. 31:76-79. 2000
2000 Early expression of Iε, CD23 (FcεRII), IL-4Rα, and IgE in the human fetus. Journal of Allergy and Clinical Immunology. 106:911-917. 2000
1999 Role of nitric oxide in regulating neonatal porcine pulmonary artery smooth muscle cell proliferation 1999
1999 Hypoxia-induced release of peptide growth factors from neonatal porcine pulmonary artery smooth muscle cells 1999
1998 Antibiotic susceptibility profile of group B streptococcus acquired vertically. Obstetrics and Gynecology. 92:931-934. 1998
1998 Capsular polysaccharide types of group B streptococcal isolates from neonates with early-onset systemic infection. Journal of Infectious Diseases. 177:790-792. 1998
1998 Incidence, presenting features, risk factors and significance of late onset septicemia in very low birth weight infants 1998
1997 Capsular polysaccharide types of group b streptococcal isolates from neonates wtth early-onset systemic infection. Clinical Infectious Diseases. 25:439. 1997
1997 Changing frequency of early-onset group B streptococcal disease(EOGBS) in neonates from 1992 to 1996. Clinical Infectious Diseases. 25:409. 1997
1997 Regulation of neonatal pulmonary artery smooth muscle cell proliferation by nitric oxide † 1451. Pediatric Research. 41:244-244. 1997
1996 Endotoxin induces biphasic alterations in small intestinal myoelectric activity in fasted newborn piglets. Pediatric Research. 40:822-826. 1996
1996 Hyaluronidase promotes gbs invasion in newborn rats. Journal of Investigative Medicine. 44. 1996
1996 Inhaled nitric oxide in term infants with hypoxemic respiratory failure. Journal of Pediatrics. 129:279-286. 1996
1995 Delayed thromboxane or tumor necrosis factor-α, but not leukotriene inhibition, attenuates prolonged pulmonary hypertension in endotoxemia. American Journal of the Medical Sciences. 310:103-110. 1995
1994 A controlled trial of intravenous immune globulin to reduce nosocomial infections in very-low-birth-weight infants. New England Journal of Medicine. 330:1107-1113. 1994
1994 Comparison of the effect of three doses of a synthetic surfactant on the alveolar-arterial oxygen gradient in infants weighing ≥1250 grams with respiratory distress syndrome. Journal of Pediatrics. 124:294-301. 1994
1994 Effects of cholinergic blockade on hemodynamic disturbances and intestinal lesions in endotoxic shockin newborn piglets. Shock. 2:98-105. 1994
1994 Thromboxane and pulmonary morphometry in the development of the pulmonary hypertensive response to group B streptococcus. Critical Care Medicine. 22:506-514. 1994
1993 A multicenter randomized trial comparing two surfactants for the treatment of neonatal respiratory distress syndrome. Journal of Pediatrics. 123:757-766. 1993
1993 Age-related differences in responses to endotoxin infusion in unanesthetized piglets. Journal of inflammation. 41:40-47. 1993
1993 Capsular type-specific polysaccharide partially inhibits group B streptococcus-induced pulmonary hypertension. American Journal of Respiratory and Critical Care Medicine. 148:152-157. 1993
1993 Decreasing mortality associated with the introduction of surfactant therapy: An observational study of neonates weighing 601 to 1300 grams at birth. Pediatrics. 92:191-196. 1993
1993 Diabetes insipidus associated with symptomatic congenital cytomegalovirus infection. Journal of Pediatrics. 122:911-913. 1993
1993 Low-dose aspirin therapy to prevent preeclampsia. American Journal of Obstetrics and Gynecology. 168:1083-1093. 1993
1993 Predicting mortality risk for infants weighing 501 to 1500 grams at birth: A National Institutes of Health Neonatal Research Network report. Critical Care Medicine. 21:12-18. 1993
1992 Delayed thromboxane synthesis inhibition, but not cholinergic blockade, reverses group B streptococcus-induced pulmonary hypertension 1992
1992 Role of capsule in pulmonary hypertension induced by Group B streptococcus. Pediatric Research. 31:386-390. 1992
1991 Fused eyelids, airway anomalies, ovarian cysts, and digital abnormalities in siblings: A new autosomal recessive syndrome or a variant of Fraser syndrome?. American Journal of Medical Genetics Part A. 40:377-382. 1991
1991 Higgledy, piggledy. New England Journal of Medicine. 324:497. 1991
1990 Routine use of intraoperative epicardial echocardiography and Doppler color flow imaging to guide and evaluate repair of congenital heart lesions. A prospective study.. Journal of Thoracic and Cardiovascular Surgery. 100:297-309. 1990
1990 Effects of position changes on transcutaneous carbon dioxide tension in neonates with respiratory distress.. Journal of Perinatology. 10:35-37. 1990
1989 Methemoglobinemia in a neonate due to topical benzocaine cream.. Journal of Perinatology. 9:361-362. 1989
1989 A Randomized, Controlled Trial of Very Early Prophylactic Ligation of the Ductus Arteriosus in Babies Who Weighed 1000 g or Less at Birth. New England Journal of Medicine. 320:1511-1516. 1989
1989 Intraventricular haemorrhage and the renin-angiotensin-aldosterone system in very low birthweight infants. Early Human Development. 20:101-107. 1989
1989 The stability and short-term fluctuation in serum oxytocinase activity in pregnancy. International Journal of Gynecology and Obstetrics. 28:331-335. 1989
1989 Ureaplasmal pneumonia and sepsis associated with persistent pulmonary hypertension of the newborn. Pediatrics. 83:79-85. 1989
1988 Hemodynamic responses of chronically instrumented piglets to bolus injections of group B streptococci. Pediatric Research. 23:81-85. 1988
1987 Capillary and Venous Bilirubin Values: Are They Really Different?. JAMA Pediatrics. 141:1199-1200. 1987
1987 Low colloid osmotic pressure in very low birthweight infants receiving assisted ventilation. Journal of Paediatrics and Child Health. 23:189-192. 1987
1987 Thromboxane synthesis inhibition reverses group B Streptococcus-induced pulmonary hypertension. Critical Care Medicine. 15:644-647. 1987
1986 Effect of application pressure and gestational age on transfontanel pressure in healthy neonates 1986
1986 Influence of prostaglandin D2 on hemodynamic effects of group B streptococcus in neonatal lambs 1986
1986 The effect of assisted ventilation on creatinine clearance and hormonal control of electrolyte balance in very low birth weight infants. Pediatric Research. 20:447-452. 1986
1985 Reply. American Journal of Obstetrics and Gynecology. 153:594-595. 1985
1985 Hemodynamic effects of nifedipine in normoxic and hypoxic newborn lambs 1985
1985 Fatal meconium aspiration syndrome occurring despite airway management considered appropriate. American Journal of Obstetrics and Gynecology. 151:731-736. 1985
1985 Alkalosis attenuates hypoxic pulmonary vasoconstriction in neonatal lambs. Pediatric Research. 19:1268-1271. 1985
1985 Surgical closure of patent ductus arteriosus does notincrease the risk of intraventricular hemorrhage in the preterm infant. Journal of Pediatrics. 107:602-604. 1985
1984 Pharmacokinetics of cefoperazone in newborn infants 1984
1984 Characteristics, mortality, and outcome of higher-birth weight infants who require intensive care. American Journal of Obstetrics and Gynecology. 149:875-879. 1984
1984 Control of pulmonary vascular resistance in the fetus and newborn. Clinics in Perinatology. 11:551-564. 1984
1984 Prostaglandins and related compounds in the perinatal pulmonary circulation 1984
1983 The accuracy of amikacin administration in neonates 1983
1983 Caring for Other Physicians. New England Journal of Medicine. 308:1542-1543. 1983
1983 Persistent pulmonary hypertension and prostaglandin D2.. Progress in clinical and biological research. 127:21-32. 1983
1983 Prostaglandin D2 inhibits hypoxic pulmonary vasoconstriction in neonatal lambs. Journal of Applied Physiology. 54:1585-1589. 1983
1983 Reply. Journal of Pediatrics. 103:173-174. 1983
1982 Recommended amikacin doses in newborns often produce excessive serum levels 1982
1982 Subspecialty training in pediatrics: An academic model. Journal of medical education. 57:720-721. 1982
1982 Amikacin: Pharmacology, indications and cautions for use, and dose recommendations. Seminars in Perinatology. 6:166-171. 1982
1982 Prostaglandin D2 prevents hypoxic pulmonary vasoconstriction in neonatal lambs. Pediatric Research. 16. 1982
1982 Radionuclide angiography in the evaluation of ductal shunts in preterm infants. Journal of Pediatrics. 101:264-268. 1982
1982 Subspecialty training in pediatrics: An academic model. Academic Medicine. 57:720-721. 1982
1981 Effects of prostacyclin on the fetal pulmonary circulation 1981
1981 Coronary sinus thrombosis: A central venous catheter complication. Journal of Pediatric Surgery. 16:733-734. 1981
1981 Effects of prostaglandin D2 on perinatal circulation. American Journal of Physiology. 9. 1981
1981 Effects of prostaglandin D2 on perinatal circulation 1981
1981 Recommended amikacin doses in newborns often produce excessive serum levels. Pediatric Research. 15:355. 1981
1980 Effect of positive end-expiratory pressure on dynamic respiratory compliance in neonates 1980
1980 Fetal vascular responses to prostaglandin I2 (PGI2) and D2 (PGD2). Pediatric Research. 14. 1980
1979 USE OF PROSTACYCLIN IN PERSISTENT FETAL CIRCULATION 1979
1979 HYPOXÆMIA IN VENTILATED NEONATES AFTER PANCURONIUM PARALYSIS 1979
1979 Fetal vascular responses to prostaglandin I2 (PGI2). Clinical research. 27. 1979
1979 Hypoxaemia in ventilated neonates after pancuronium paralysis 1979
1979 The response of the perinatal pulmonary circulation to prostaglandinD2. Physiologist. 22:124. 1979
Primary laboratory research interests concern the regulation of fetal and neonatal pulmonary vascular tone and remodeling during normal development and in the pathophysiology of major diseases of neonates, such as persistent pulmonary hypertension, bronchopulmonary dysplasia, and sepsis. Whole animal models are used to elucidate the mechanisms of Group B streptococcus and hypoxia-induced pulmonary hypertension and to test potential remedies. Tissue culture is used to explore the role of oxygen tension, pH, and peptide growth factors and other signaling molecules in pulmonary vascular smooth muscle cell growth and remodeling. Clinical research interests include persistent pulmonary hypertension of the newborn, bronchopulmonary dysplasia, sepsis, neonatal immunity, necrotizing enterocolitis, and controlled clinical trials.
Principal Investigator On
Private Grant awarded by IKARIA
A Phase II Multi-site Study of Autologous Cord Blood Cells for Hypoxic lschemic Encephalopathy (HIE) awarded by Duke University
NICHD Neonatal Research Network (NRN) awarded by RTI INTERNATIONAL
Private Grant awarded by DISCOVERY LABORATORIES, INC.
Private Grant awarded by WINDTREE THERAPEUTICS, INC.
Mount Sinai Hospital, Internship
Duke University Medical Center, Residency
Mount Sinai Hospital, Residency
University of Florida/Shands Hospital, Postdoctoral Fellowship
Doctor of Medicine, University of North Carolina System : Chapel Hill 1975
Joseph Philips


The Love of Cacti maintains its place not only as our beloved indoor friend but now in the form of this wonderful pin. Perfect for cacti lovers and pin lovers. No need to water too!
This Cactus pin is made out of coloured high quality hard enamel set in gold plating, with 5 colours.
Comes displayed on a stripe graphic backing card.
Height: 34mm, Widest point: 18mm.


text:
Q: Replaced tag in aspx form after upload file picture in c# I have in the form aspx this field for upload file picture:
<asp:FileUpload ID="FileUpload1" runat="server" />

Once the file picture is uploaded in the server, the table of db is updated with the path of file picture.
Now I need to see in the same form the picture already uploaded and replaced the tag FileUpload with tag Hyperlink.
Anybody know how can I resolve do this?
Can you suggest?
Can you help me?
Thank you in advance.
Edit #1
Okay, this is my new code behind:
ImageOnDB = dr["ImageOn"].ToString();
if (ImageOnDB.ToString() != "")
{
    ImageOn.Visible = true;
    FileUpload1.Visible = false;
    ImageButton7.Visible = false;
}
else
{
    ImageOn.Visible = false;
    FileUpload1.Visible = true;
    ImageButton7.Visible = true;
}

And this code in aspx page:
<asp:HyperLink ID="ImageOn" runat="server" NavigateUrl='<%# Eval("ImageOnDB").ToString() %>'
    ImageUrl='<%# Eval("ImageOnDB").ToString() %>'
    ToolTip="ImageOnDB"
    Target="_blank" BorderStyle="None" ForeColor="Transparent">
</asp:HyperLink>

<asp:FileUpload ID="FileUpload1" runat="server" />

But the Hyperlink ImageOn is empty, I don't have error ... in DB the value of column ImageOn is
http://myserver/myaspnet/public/TEST.JPG

A: In your .cs file:
ImageOnDB = dr["ImageOn"].ToString();
if (ImageOnDB.ToString() != "")
{
    ImageOn.Visible = true;
    ImageOn.ImageUrl = dr["ImageOn"].ToString();
    ImageOn.NavigateUrl = dr["ImageOn"].ToString();
    ImageOn.ToolTip = dr["ImageOn"].ToString();
    ImageOn.Target = "_blank";
    FileUpload1.Visible = false;
}
else
{
    ImageOn.Visible = false;
    FileUpload1.Visible = true;
}

redpajama_set_name: RedPajamaStackExchange


Diabetes can be extremely dangerous to your feet, so take precautions now. You can avoid serious problems such as losing a toe, foot, or leg by following proper prevention techniques offered by your podiatrist.
Remember, prevention is the key to saving your feet and eliminating pain.
We use NIR-Near Infrared technology to help treat the neuropathy and use both prescription and natural oral vitamins to combat neuropathy.
For more information about diabetic foot care, call our Brooklyn, NY podiatry office at (718) 232-2100 to schedule an appointment.


The Amazon RDS resource that the tags are removed from.
The tag key (name) of the tag to be removed.
The Amazon RDS resource that the tags are removed from. This value is an Amazon Resource Name (ARN). For information about creating an ARN, see Constructing an ARN for Amazon RDS in the Amazon RDS User Guide.
resourceName - The Amazon RDS resource that the tags are removed from. This value is an Amazon Resource Name (ARN). For information about creating an ARN, see Constructing an ARN for Amazon RDS in the Amazon RDS User Guide.
tagKeys - The tag key (name) of the tag to be removed.
NOTE: This method appends the values to the existing list (if any). Use setTagKeys(java.util.Collection) or withTagKeys(java.util.Collection) if you want to override the existing values.


Until the industrial revolution, wood was the traditional fuel used in the UK. It was then replaced by coal, oil and gas. However, increasing awareness of the environmental damage caused by the use of fossil fuels, has led to the growing interest in using wood as a sustainable, renewable, low carbon alternative.
Which type of logs should I use?
The moisture content of wood has the greatest effect on it's calorific value – this is the amount of available heat per unit (volume) of fuel.
Any water present in your logs has to boil away before the wood will burn. This reduces the energy released. Damp logs will give you a fire that smoulders and creates tars and smoke. These tars can be corrosive and potentially damaging the lining of the flue – increasing the risk of a chimney fire.
Wet logs will also blacken glass the in your stove. Well-seasoned logs however, have approximately twice the calorific value of green logs.
When buying logs, you'll usually have the option of hardwood, softwood, or mixed. Hardwoods, (deciduous, broadleaved tree species) tend to be denser than softwoods (evergreen, coniferous species). This means that a tonne of hardwood logs will occupy a smaller space than a tonne of softwood logs. Denser wood tends to burn for a longer period of time, meaning fewer 'top ups' are required to keep a log stove burning for a given length of time.
If you buy wood by volume, you'll receive more kilowatt hours (kWh) of heat from a cubic metre (m3) of hardwood than softwood (at the same moisture content).


Do you think that rising oil prices affect your lifestyle?
Do you think that the rising of crude oil prices affect your lifestyle? If it does, please specify how? Additionally you could talk about how rising oil prices affect your driving.
How do rising oil/gasoline prices affect your life and why do you think so?


text:
Q: get a variable from constructor I used this code to verify a digital sign of a file, the constructor prints the context of the file but I wanted to know how to save the print as a variable , since a constructor uses only to "build" objects, this is the code:
public class VerifyMessage {
    private List<byte[]> list;

    @SuppressWarnings("unchecked")
    // The constructor of VerifyMessage class retrieves the byte arrays from the File and prints the message only if the signature is verified.
    public VerifyMessage(String filename, String keyFile) throws Exception {
        ObjectInputStream in = new ObjectInputStream(new FileInputStream(filename));
        this.list = (List<byte[]>) in.readObject();
        in.close();

       System.out.println(verifySignature(list.get(0), list.get(1), keyFile) ? "VERIFIED MESSAGE" + "\n----------------\n" + new String(list.get(0)) : "Could not verify the signature.");
    }

How can I "save" the System.out.println as a global member String variable outside of the constructor?
thanks ahead

A: Your class already contains a list field.
Similar to that, you declare a string field- and then you simply assign the value you are currently printing to that field.

A: public class VerifyMessage {
private List<byte[]> list;

Object variable = null;

public VerifyMessage(String filename, String keyFile) throws Exception {
    ObjectInputStream in = new ObjectInputStream(new FileInputStream(filename));
    this.list = (List<byte[]>) in.readObject();
    in.close();

    this.variable = this.verifySignature(list.get(0), list.get(1), keyFile);
}

private Object verifySignature(byte[] bs, byte[] bs2, String keyFile) {

    //
    return null;
}

}


Homework begins this week. This year your child will move from having weekly homework to nightly homework. Each night it is expected that your child will read a "just right book" for a minimum of twenty minutes. He/she will also have a math sheet/activity to complete and return the following day. The daily at home reading should be recorded in your child's planner/agenda. Please be on the look out for your child's red reading folder and an independent reading book-both will be needed to complete the nightly reading. Book responses are due at the end of the book. (Your child has been shown how to use the questions in his/her red reading folder to complete a response based on the genre of the book that was read.) Thank you in advance for all that you do at home to ensure your child's success!
Today was a fabulous first day! I was very impressed how well the students adjusted to not only being in third grade but also a new teacher, a new classroom, and even new classmates. Today was the kind of day that makes me very excited for the rest of the year! I hope that your child felt the same way.
*Today your child brought home the first of many classroom newsletters. The classroom newsletter will go home every Monday (or the first day of the week). You can always look for it to be in the clear pocket in the back of your child's planner/agenda. I strongly encourage you to review the newsletter because it is filled with lots of information about the class, school, etc. . .
*Great communication is key to a successful relationship. Please do not hesitate to write me a note in your child's planner, e-mail me, or call me (the classroom extension is our room number) if you have any questions and/or concerns. I will do my best to get back to you in 24-hours or less.
I am looking forward to a great rest of the year!!!
Today was orientation. I am every excited for this year and I hope that you and your child are too. Thank you so much to everyone that was able to take time out of your very busy schedules to stop by the classroom. This was a very informal "meet and greet;" for those of you who were unable to attend I hope you are able to stop by briefly on Monday morning so that we can meet.
If you took your back to school envelope home with you complete I would appreciate if it could be returned by next Friday, August 26. I know that there is a lot of information to be read over and signed so I hope that this deadline is not too demanding. If you have any trouble meeting this deadline please let me know and I will be happy to work with you.
Today was my first day back at school and I was very excited to begin getting the classroom ready for the first day of school with students. I was also able to see the class list and send out my letters to this year's students. The letters should be arriving in mailboxes within the next couple of days! It is an exciting time.
Along with the class assignment letter, you are also receiving a school supply list. Please remember that the supplies brought in are community supplies and are for the good of the entire class, please do not label the items that are sent to school. Just in case you need an additional copy of the supplies I will list them here for you now.
Don't forget to mark your calendars. As a reminder, orientation is this Friday, August 19, from 1:15-2:00 p.m. in our room (#154). I hope to see you there!
Well, this is it. This is the last official day of summer - preplanning begins on Monday. I am excited about starting a new year and getting a new group of students. I can't wait to get the "official" class list. This group of third graders coming up is the last group of first graders that I taught at Chaffee before being "asked" to teach third grade. I am anxious to see some familiar faces-maybe even some of those kiddos from that last year in first grade will be in this year's class. I will also begin working with my JU intern on Monday as she begins her student teaching.
As I sit here trying to decide what to do with my last day of summer vacation I look over at my dog and I wonder if she realizes what is about to happen. She's three and a half and we have had her since she was seven weeks old so she is not new to the back to school routine. I just hope that she isn't in for a shock on Monday. My husband, who is off on Fridays is also home. He's taken part in the back to school routine for seven years now. He knows the drill and he is very supportive. Interesting side note: I actually heard on the radio a couple of weeks ago that people that consider themselves as good jugglers of their time and activities aren't as good as they think. Yes, they may have a lot of "balls" in the air and they may not drop them, but they can't stay focused on one long enough to enjoy it before it must be tossed away so the next one can be caught. So that is it. That will be my new (school) year's resolution. I will no longer be a juggler. Instead, I make every effort to achieve better balance in my life. Wish me luck!
Do you like to sing? If you do, then you really need to check out this wonderful website that I was introduced to this morning by one of the fabulous blogs that I am following (thank you Third Grade Meanderings). The website is teachertipster.com and it is full of songs that are performed by a first grade teacher, Mr. Smith. He has a wonderful approach to involving his students so that they are learning very important math skills but not in the boring skill and drill way. This morning I was already trying to determine which songs that I thought might be beneficial to my third graders this year. I know that sometimes place value, time, and money can be tricky . . . and the best news is he has songs for all of those concepts and much, much more! So if you get a minute I would highly recommend that you check out Mr. Smith at teachertipster.com. You won't be sorry!!!
This summer has been so hot! Many states have experienced record highs for multiple days and even weeks. I have great news. I have the cure! This Thursday, August 11, Dairy Queen is having their Miracle Treat Day. That is right, you can order a blizzard that will help you beat the heat and help others at the same time. Please click on the link below for more information on this wonderful cause and/or stores near you.
First, I must say that I have thoroughly enjoyed reading this year's SSYRA books. I actually had a really hard time deciding on the order of the books-they were all great but for very different reasons. I think that there is enough variety that every reader will find something that they will enjoy. With that said, I will now rank this year's books according to my personal reading preferences from fifteen down to one.
and my all-time favorite book of the year is . . . drum roll please . . . .
So what is SSYRA anyway?
Do you know about SSYRA (Sunshine State Young Readers Awards) books? This is a statewide reading motivation program for students in 3rd-8th grades. Each year there is a list of books chosen to be on this list. This year's list of titles and authors can be found on the right side of this blog. Since the books on this list range from 3rd-5th grades they may be above your/your child's independent reading level. This is one of the many reasons why this summer I made it one of my goals to read all fifteen of the SSYRA books before school started. I am happy to announce that I was able to meet this goal with a few weeks to spare. Another reason why I wanted to read all of the books is because Mrs. Miller, our librarian, encourages the CTE students in grades 3rd-5th to read these books and even gives the incentive of ice cream to everyone who reads at least three of the books . . . and let's be honest I love ice cream. The third and most important reason that I wanted to read all of the books on the list is because I wanted to be able to make recommendations of the books to future readers.
My next post will include a ranking of this year's SSYRA books-according to my personal reading preferences. I am excited to hear/read about what you think. Until then . . .


Max diff block lines reached; 2359/5556 bytes (42.46%) of diff not shown.
Max diff block lines reached; 675/3856 bytes (17.51%) of diff not shown.
Max diff block lines reached; 1817/4864 bytes (37.36%) of diff not shown.
Max diff block lines reached; 2975/7269 bytes (40.93%) of diff not shown.


text:
\section{Introduction}

M.~Busaniche and R.~Cignoli (\cite{BC}) as well as by C.~Tsinakis and A.~M.~Wille (\cite{TW}) showed that if $(L,\leq,\cdot,\rightarrow,1)$ is a residuated lattice then $\cdot$ and $\rightarrow$ can be used to define binary operations $\odot$ and $\Rightarrow$ on the full twist product of $(L,\leq)$ such that the resulting structure becomes a residuated lattice again. For the construction of such operations $\odot$ and $\Rightarrow$ they used the lattice operations $\vee$ and $\wedge$. When going from lattices to residuated posets, the natural question arises whether also in this case the corresponding twist product can be equipped with certain operations $\odot$ and $\Rightarrow$ (without using lattice operations) such that the resulting structure is residuated again. We solve this problem in the positive. We define suitable operations $\odot$ and $\Rightarrow$ on the full twist product such that the arising structure becomes a left-residuated groupoid again. Unfortunately, this construction does preserve neither commutativity nor associativity of the original structure $(Q,\leq,\cdot,\rightarrow,1)$. Hence, we try another approach where instead of operations we use certain operators $\odot$ and $\Rightarrow$ in such a way that the full twist product becomes an operator residuated poset and commutativity as well as associativity of the original operation $\cdot$ are preserved. As the authors already showed in \cite{CL}, any poset $\mathbf Q=(Q,\leq)$ can be embedded into a pseudo-Kleene poset $(P_a(\mathbf Q),\leq,{}')$ where $(P_a(\mathbf Q),\leq)$ is a certain subposet of the full twist product of $\mathbf Q$. This motivated us to investigate whether our construction of the operators $\odot$ and $\Rightarrow$ can be extended also to this case, i.e.\ whether we can determine for a bounded commutative residuated monoid $(Q,\leq,\cdot,\rightarrow,0,1)$ a corresponding pseudo-Kleene poset which is operator residuated and into which $\mathbf Q$ can be embedded. We characterize those left-residuated posets for which our construction is possible.

\section{Preliminaries}

The concept of a Kleene lattice (alias Kleene algebra) was introduced by J.~A.~Kalman (\cite K), see also \cite{Ci}. Recall that a {\em Kleene lattice} is a distributive lattice $\mathbf L=(L,\vee,\wedge,{}')$ with an involution $'$ satisfying the so-called {\em normality condition}, i.e.\ the identity
\[
x\wedge x'\leq y\vee y'.
\]
This concept was generalized by the first author in \cite{Ch}: $\mathbf L$ is called a {\em pseudo-Kleene lattice} if it satisfies the above identity, but it need not be distributive.

Let $(P,\leq)$ be a poset, $a,b\in P$ and $A,B\subseteq P$. Then the lower cone $L(A)$ of $A$ and the upper cone $U(A)$ of $A$ are defined as follows:
\begin{align*}
L(A) & :=\{x\in P\mid x\leq A\}, \\
U(A) & :=\{x\in P\mid x\geq A\}.
\end{align*}
Here $x\leq A$ means $x\leq y$ for all $y\in A$ and, similarly, $x\geq A$ means $x\geq y$ for all $y\in A$. The expression $A\leq B$ means $x\leq y$ for all $x\in A$ and $y\in B$. Instead of $L(\{a,b\})$ and $L(U(A))$ we simply write $L(a,b)$ and $LU(A)$, respectively. Analogously, we proceed in similar cases. Let $\max A$ denote the set of all maximal elements of $(A,\leq)$. A unary operation $'$ on $P$ is called
\begin{itemize}
\item {\em antitone} if $x,y\in P$ and $x\leq y$ imply $y'\leq x'$,
\item an {\em involution} if it satisfies the identity $x''\approx x$.
\end{itemize}
The concept of a pseudo-Kleene lattice was generalized by the authors in \cite{CL} for posets as follows:

A {\em pseudo-Kleene poset} is a poset $\mathbf P=(P,\leq,{}')$ with an antitone involution satisfying the condition
\[
L(x,x')\leq U(y,y')
\]
for all $x,y\in P$. A {\em Kleene poset} is a distributive pseudo-Kleene poset. Recall that a {\em poset} $(P,\leq)$ is called {\em distributive} if it satisfies one of the following equivalent LU-identities:
\begin{align*}
L(U(x,y),z) & \approx LU(L(x,z),L(y,z)), \\
U(L(x,y),z) & \approx UL(U(x,z),U(y,z)).
\end{align*}
In \cite{CL} it was shown that an arbitrary poset can be embedded into a pseudo-Kleene poset by means of the so-called {\em twist construction}:

The {\em full twist product} of a poset $\mathbf Q=(Q,\leq)$ is the poset $(Q^2,\leq)$ where
\[
(x,y)\leq(z,v)\text{ if and only if }x\leq z\text{ and }v\leq y
\]
for all $(x,y),(z,v)\in Q^2$. We have
\begin{align*}
L((x,y),(z,v)) & =L(x,z)\times U(y,v), \\
U((x,y),(z,v)) & =U(x,z)\times L(y,v)
\end{align*}
for all $(x,y),(z,v)\in Q^2$.

\section{Left-residuated groupoids}

We will investigate when a residuated poset can be transferred to a residuated full twist product. For this purpose we will use the twist construction. For residuated lattices such a transfer was already published in \cite{BC} by using a construction developed in \cite{TW}.

From now on, let $(Q,\leq,\cdot,\rightarrow,1)$ denote a poset with constant $1$ endowed with two binary operations $\cdot$ and $\rightarrow$. For our next investigations, consider the following conditions.
\begin{enumerate}[(1)]
\item $x\leq y$ implies $z\cdot x\leq z\cdot y$ (right-isotony),
\item $x\leq y$ implies $x\cdot z\leq y\cdot z$ (left-isotony),
\item $x\cdot y\leq z$ if and only if $x\leq y\rightarrow z$ (left-adjointness),
\item $x\leq y$ implies $z\rightarrow x\leq z\rightarrow y$,
\item $x\leq y$ implies $y\rightarrow z\leq x\rightarrow z$,
\item $x\cdot1\approx x$,
\item $x\cdot y\leq x,y$
\end{enumerate}
for all $x,y,z\in Q$.

The above mentioned conditions are related as shown in the following Lemmas.

\begin{lemma}\label{lem2}
For $(Q,\leq,\cdot,\rightarrow,1)$ the following hold:
\begin{enumerate}[{\rm(i)}]
\item {\rm(1)} and {\rm(3)} imply {\rm(5)}.
\item If $\cdot$ is commutative then {\rm(1)} and {\rm(6)} imply {\rm(7)}.
\end{enumerate}
\end{lemma}

\begin{proof}
Let $a,b,c\in Q$.
\begin{enumerate}[(i)]
\item If $a\leq b$ then every one of the following statements implies the next one:
\begin{align*}
         b\rightarrow c & \leq b\rightarrow c, \\
(b\rightarrow c)\cdot b & \leq c, \\
(b\rightarrow c)\cdot a & \leq c, \\
         b\rightarrow c & \leq a\rightarrow c.
\end{align*}
\item We have $a\cdot b\leq a\cdot1=a$ and $a\cdot b=b\cdot a\leq b$.
\end{enumerate}
\end{proof}

\begin{lemma}\label{lem3}
Assume $(Q,\leq,\cdot,\rightarrow,1)$ with associative $\cdot$ to satisfy {\rm(2)} and {\rm(3)}. Then it satisfies
\begin{enumerate}
\item[{\rm(8)}] $(x\cdot y)\rightarrow z\approx x\rightarrow(y\rightarrow z)$.
\end{enumerate}
\end{lemma}

\begin{proof}
Let $a,b,c\in Q$. Then every of the following statements implies the next one:
\begin{align*}
                  (a\cdot b)\rightarrow c & \leq(a\cdot b)\rightarrow c, \\
 ((a\cdot b)\rightarrow c)\cdot(a\cdot b) & \leq c, \\
(((a\cdot b)\rightarrow c)\cdot a)\cdot b & \leq c, \\
         ((a\cdot b)\rightarrow c)\cdot a & \leq b\rightarrow c, \\
                  (a\cdot b)\rightarrow c & \leq a\rightarrow(b\rightarrow c).
\end{align*}
Moreover, every one of the following statements implies the next one:
\begin{align*}
                  a\rightarrow(b\rightarrow c) & \leq a\rightarrow(b\rightarrow c), \\
         (a\rightarrow(b\rightarrow c))\cdot a & \leq b\rightarrow c, \\
((a\rightarrow(b\rightarrow c))\cdot a)\cdot b & \leq(b\rightarrow c)\cdot b, \\
 (a\rightarrow(b\rightarrow c))\cdot(a\cdot b) & \leq(b\rightarrow c)\cdot b.
\end{align*}
Together with $(b\rightarrow c)\cdot b\leq c$ which follows from $b\rightarrow c\leq b\rightarrow c$ we obtain $(a\rightarrow(b\rightarrow c))\cdot(a\cdot b)\leq c$ which implies $a\rightarrow(b\rightarrow c)\leq(a\cdot b)\rightarrow c$.
\end{proof}

Now we define one of our main concepts.

\begin{definition}
$(Q,\leq,\cdot,\rightarrow,1)$ is called a {\em left-residuated groupoid} if it satisfies {\rm(3)} and {\rm(6)}. It is called
\begin{itemize}
\item {\em bounded} if $(Q,\leq)$ is bounded {\rm(}$0$ is the bottom and $1$ the top element{\rm)},
\item {\em commutative} if $\cdot$ is commutative,
\item {\em associative} if $\cdot$ is associative.
\end{itemize}
A {\em commutative residuated monoid} is a commutative and associative left-residuated \\
groupoid.
\end{definition}

An example of a bounded residuated monoid which is not a lattice is as follows:

\begin{example}\label{ex1}
The poset visualized in Figure~1:

\vspace*{-2mm}

\begin{center}
\setlength{\unitlength}{7mm}
\begin{picture}(6,12)
\put(3,1){\circle*{.3}}
\put(3,3){\circle*{.3}}
\put(1,5){\circle*{.3}}
\put(3,5){\circle*{.3}}
\put(5,5){\circle*{.3}}
\put(1,7){\circle*{.3}}
\put(3,7){\circle*{.3}}
\put(5,7){\circle*{.3}}
\put(3,9){\circle*{.3}}
\put(3,11){\circle*{.3}}
\put(3,3){\line(-1,1)2}
\put(3,3){\line(1,1)2}
\put(3,9){\line(-1,-1)2}
\put(3,9){\line(1,-1)2}
\put(1,5){\line(0,1)2}
\put(1,5){\line(1,1)2}
\put(3,5){\line(-1,1)2}
\put(3,5){\line(1,1)2}
\put(5,5){\line(-1,1)2}
\put(5,5){\line(0,1)2}
\put(3,1){\line(0,1){10}}
\put(2.85,.25){$0$}
\put(3.4,2.85){$a$}
\put(.3,4.85){$b$}
\put(3.4,4.85){$c$}
\put(5.4,4.85){$d$}
\put(.3,6.85){$e$}
\put(3.4,6.85){$f$}
\put(5.4,6.85){$g$}
\put(3.4,8.85){$h$}
\put(2.85,11.4){$1$}
\put(2.2,-.75){{\rm Fig.\ 1}}
\end{picture}
\end{center}

\vspace*{4mm}

together with the operations given by
\[
\begin{array}{c|cccccccccc}
\cdot & 0 & a & b & c & d & e & f & g & h & 1 \\
\hline
  0   & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\
	a   & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & a \\
	b   & 0 & 0 & a & 0 & 0 & a & a & 0 & a & b \\
	c   & 0 & 0 & 0 & a & 0 & a & 0 & a & a & c \\
	d   & 0 & 0 & 0 & 0 & a & 0 & a & a & a & d \\
	e   & 0 & 0 & a & a & 0 & a & a & a & a & e \\
	f   & 0 & 0 & a & 0 & a & a & a & a & a & f \\
	g   & 0 & 0 & 0 & a & a & a & a & a & a & g \\
	h   & 0 & 0 & a & a & a & a & a & a & a & h \\
	1   & 0 & a & b & c & d & e & f & g & h & 1
\end{array}
\quad\quad\quad
\begin{array}{c|cccccccccc}
\rightarrow & 0 & a & b & c & d & e & f & g & h & 1 \\
\hline
     0      & 1 & 1 & 1 & 1 & 1 & 1 & 1 & 1 & 1 & 1 \\
		 a      & h & 1 & 1 & 1 & 1 & 1 & 1 & 1 & 1 & 1 \\
		 b      & g & h & 1 & h & h & 1 & 1 & h & 1 & 1 \\
		 c      & f & h & h & 1 & h & 1 & h & 1 & 1 & 1 \\
		 d      & e & h & h & h & 1 & h & 1 & 1 & 1 & 1 \\
		 e      & d & h & h & h & h & 1 & h & h & 1 & 1 \\
		 f      & c & h & h & h & h & h & 1 & h & 1 & 1 \\
		 g      & b & h & h & h & h & h & h & 1 & 1 & 1 \\
		 h      & a & h & h & h & h & h & h & h & 1 & 1 \\
		 1      & 0 & a & b & c & d & e & f & g & h & 1
\end{array}
\]
is a bounded commutative residuated monoid which is not a lattice.
\end{example}

The next lemma shows some elementary properties of left-residuated groupoids.

\begin{lemma}\label{lem1}
The following hold:
\begin{enumerate}[{\rm(i)}]
\item Every left-residuated groupoid $(Q,\leq,\cdot,\rightarrow,1)$ satisfies {\rm(2)}, {\rm(4)} and
\begin{enumerate}
\item[{\rm(9)}] $1\rightarrow x\approx x$.
\end{enumerate}
\item If $(Q,\leq,\cdot,\rightarrow,1)$ satisfies {\rm(5)} and {\rm(9)} then it satisfies
\begin{enumerate}
\item[{\rm(10)}] $x\leq y\rightarrow x$.
\end{enumerate}
\end{enumerate}
\end{lemma}

\begin{proof}
Let $a,b,c\in Q$.
\begin{enumerate}[(i)]
\item
\begin{enumerate}
\item[(2)] If $a\leq b$ then every one of the following statements implies the next one:
\begin{align*}
b\cdot c & \leq b\cdot c, \\
       b & \leq c\rightarrow(b\cdot c), \\
       a & \leq c\rightarrow(b\cdot c), \\
a\cdot c & \leq b\cdot c.
\end{align*}
\item[(4)] If $a\leq b$ then every one of the following statements implies the next one:
\begin{align*}
         c\rightarrow a & \leq c\rightarrow a, \\
(c\rightarrow a)\cdot c & \leq a, \\
(c\rightarrow a)\cdot c & \leq b, \\
         c\rightarrow a & \leq c\rightarrow b.
\end{align*}
\item[(9)] We have $1\rightarrow a\leq1\rightarrow a$ implies $1\rightarrow a=(1\rightarrow a)\cdot1\leq a$, and $a\cdot1\leq a$ implies $a\leq1\rightarrow a$.
\end{enumerate}
\item We have $a=1\rightarrow a\leq b\rightarrow a$.
\end{enumerate}
\end{proof}

Now we show that every left-residuated groupoid naturally induces a left-residuated groupoid on its full twist product.

\begin{theorem}\label{th2}
Let $(Q,\leq,\cdot,\rightarrow,1)$ be a poset with binary operations $\cdot$ and $\rightarrow$ and a constant $1$, let $a,b\in Q$ and $f,g$ be surjective mappings from $Q^2$ to $Q$ satisfying $f(a,b)=g(a,b)=1$ and consider the full twist product $(Q^2,\leq,\odot,\Rightarrow,(a,b))$ of $(Q,\leq)$ with binary operations $\odot$ and $\Rightarrow$ defined by
\begin{align*}
      (x,y)\odot(z,v) & :=(x\cdot f(z,v),g(z,v)\rightarrow y), \\
(x,y)\Rightarrow(z,v) & :=(f(x,y)\rightarrow z,v\cdot g(x,y))
\end{align*}
for all $(x,y),(z,v)\in Q^2$ and the constant $(a,b)$. Then $(Q,\leq,\cdot,\rightarrow,1)$ is a left-residuated groupoid if and only if $(Q^2,\leq,\odot,\Rightarrow,$ $(a,b))$ has this property.
\end{theorem}

\begin{proof}
We investigate when $(Q^2,\leq,\odot,\Rightarrow,(a,b))$ satisfies (3) and (6). The following are equivalent:
\begin{align*}
& (Q^2,\leq,\odot,\Rightarrow,(a,b))\text{ satisfies (3)}, \\
& (x,y)\odot(z,v)\leq(t,w)\text{ is equivalent to }(x,y)\leq(z,v)\Rightarrow(t,w), \\
& (x\cdot f(z,v),g(z,v)\rightarrow y)\leq(t,w)\text{ is equivalent to }(x,y)\leq(f(z,v)\rightarrow t,w\cdot g(z,v)), \\
& (x\cdot f(z,v)\leq t\text{ and }w\leq g(z,v)\rightarrow y)\text{ is equivalent to} \\
& \quad\quad(x\leq f(z,v)\rightarrow t\text{ and }w\cdot g(z,v)\leq y), \\
& (Q,\leq,\cdot,\rightarrow,1)\text{ satisfies (3)}.
\end{align*}
Moreover, the following are equivalent:
\begin{align*}
& (Q^2,\leq,\odot,\Rightarrow,(a,b))\text{ satisfies (6)}, \\
& (x,y)\odot(a,b)\approx(x,y), \\
& (x\cdot f(a,b),g(a,b)\rightarrow y)\approx(x,y), \\
& (x\cdot1,1\rightarrow y)\approx(x,y), \\
& x\cdot1\approx x\text{ and }1\rightarrow y\approx y, \\
& (Q,\leq,\cdot,\rightarrow,1)\text{ satisfies (6) and (7)}.
\end{align*}
Now Lemma~\ref{lem1} completes the proof.
\end{proof}

\begin{corollary}
Let $(Q,\leq,\cdot,\rightarrow,1)$ be a poset with binary operations $\cdot$ and $\rightarrow$ and a constant $1$ and consider the full twist product $(Q^2,\leq,\odot,\Rightarrow,(1,1))$ of $(Q,\leq)$ with binary operations $\odot$ and $\Rightarrow$ defined by
\begin{align*}
      (x,y)\odot(z,v) & :=(x\cdot z,v\rightarrow y), \\
(x,y)\Rightarrow(z,v) & :=(x\rightarrow z,v\cdot y)
\end{align*}
for all $(x,y),(z,v)\in Q^2$ and the constant $(1,1)$. Then $(Q,\leq,\cdot,\rightarrow,1)$ is a left-residuated groupoid if and only if $(Q^2,\leq,\odot,\Rightarrow,$ $(1,1))$ has this property.
\end{corollary}

\begin{proof}
This is the special case of Theorem~\ref{th2} where $a=b=1$, $f$ is the first and $g$ the second projection.
\end{proof}

\begin{corollary}
Let $(Q,\leq,\cdot,\rightarrow,1)$ be a poset with   binary operations $\cdot$ and $\rightarrow$ and a constant $1$ and consider the full twist product $(Q^2,\leq,\odot,\Rightarrow,(1,1))$ of $(Q,\leq)$ with binary operations $\odot$ and $\Rightarrow$ defined by
\begin{align*}
      (x,y)\odot(z,v) & :=(x\cdot v,z\rightarrow y), \\
(x,y)\Rightarrow(z,v) & :=(y\rightarrow z,v\cdot x)
\end{align*}
for all $(x,y),(z,v)\in Q^2$ and the constant $(1,1)$. Then $(Q,\leq,\cdot,\rightarrow,1)$ is a left-residuated groupoid if and only if $(Q^2,\leq,\odot,\Rightarrow,$ $(1,1))$ has this property.
\end{corollary}

\begin{proof}
This is the special case of Theorem~\ref{th2} where $a=b=1$, $f$ is the second and $g$ the first projection.
\end{proof}

\section{Operator residuated posets}

One can easily see that the left-residuated groupoid $(Q^2,\leq,\odot,\Rightarrow,(a,b))$ from Theorem~\ref{th2} need neither be commutative nor associative even if $(Q,\leq,\cdot,\rightarrow,1)$ has this property. Hence, we define the next concept.

\begin{definition}\label{def1}
An {\em operator residuated poset} is an ordered six-tuple $(Q,\leq,\odot,\Rightarrow,0,1)$ such that
\begin{enumerate}[{\rm(i)}]
\item $(Q,\leq,0,1)$ is a bounded poset,
\item $\odot$ and $\Rightarrow$ are mappings from $Q^2$ to $2^Q$ {\rm(}so-called {\em operators}{\rm)},
\item $x\odot y\approx y\odot x$,
\item $\bigcup\limits_{u\in x\odot y}(u\odot z)=\bigcup\limits_{u\in y\odot z}(x\odot u)$ {\rm(}{\em operator associativity}{\rm)},
\item $x\odot y\leq z$ if and only if $x\leq y\Rightarrow z$
\end{enumerate}
for all $x,y,z\in Q$.
\end{definition}

The following result shows that when using an operator residuated structure on the full twist product, commutativity and associativity of the original bounded left-residuated groupoid are preserved.

\begin{theorem}\label{th1}
Let $(Q,\leq,\cdot,\rightarrow,0,1)$ be a bounded commutative resid\-u\-at\-ed monoid and $a_0\in Q$. Then $(Q^2,\leq,\odot,\Rightarrow,(0,1),(1,0))$ where $(Q^2,\leq)$ is the full twist product of $(Q,\leq)$ and the operators $\odot$ and $\Rightarrow$ on $Q^2$ are defined by
\begin{align*}
      (x,y)\odot(z,v) & :=\{(x\cdot z,x\rightarrow v),(x\cdot z,z\rightarrow y)\}, \\
(x,y)\Rightarrow(z,v) & :=\{(x\rightarrow z,x\cdot v),(v\rightarrow y,x\cdot v)\}
\end{align*}
for all $(x,y),(z,v)\in Q^2$ is an operator residuated poset and the mapping $x\mapsto(x,a_0)$ an embedding of $(Q,\leq)$ into $(Q^2,\leq)$.
\end{theorem}

\begin{proof}
Let $a,b,c,d,e,f\in Q$. According to Lemmas~\ref{lem2}, \ref{lem3} and \ref{lem1}, $(Q,\leq,\cdot,\rightarrow,0,1)$ satisfies (1) -- (10).
\begin{enumerate}[(i)]
\item It is evident that $(Q^2,\leq,(0,1),(1,0))$ is a bounded poset.
\item $\odot$ and $\Rightarrow$ are mappings from $(Q^2)^2$ to $2^{(Q^2)}$.
\end{enumerate}
We must prove (iii) -- (v) of Definition~\ref{def1}.
\begin{enumerate}
\item[(iii)] We have
\begin{align*}
(a,b)\odot(c,d) & =\{(a\cdot c,a\rightarrow d),(a\cdot c,c\rightarrow b)\}=\{(c\cdot a,c\rightarrow b),(c\cdot a,a\rightarrow d)\}= \\
                & =(c,d)\odot(a,b).
\end{align*}
\item[(iv)] We have
\begin{align*}
\bigcup_{(x,y)\in(a,b)\odot(c,d)}((x,y)\odot(e,f)) & =\bigcup_{(x,y)\in\{(a\cdot c,a\rightarrow d),(a\cdot c,c\rightarrow b)\}}((x,y)\odot(e,f))= \\
                                                   & =((a\cdot c,a\rightarrow d)\odot(e,f))\cup((a\cdot c,c\rightarrow b)\odot(e,f))= \\
                                                   & =\{((a\cdot c)\cdot e,(a\cdot c)\rightarrow f),((a\cdot c)\cdot e,e\rightarrow(a\rightarrow d)), \\
                                                   & \hspace*{6mm}((a\cdot c)\cdot e,(a\cdot c)\rightarrow f),((a\cdot c)\cdot e,e\rightarrow(c\rightarrow b))\}= \\
                                                   & =\{(a\cdot(c\cdot e),a\rightarrow(c\rightarrow f)),(a\cdot(c\cdot e),(c\cdot e)\rightarrow b), \\
                                                   & \hspace*{6mm}(a\cdot(c\cdot e),a\rightarrow(e\rightarrow d)),(a\cdot(c\cdot e),(c\cdot e)\rightarrow b)\}= \\
                                                   & =((a,b)\odot(c\cdot e,c\rightarrow f))\cup((a,b)\odot(c\cdot e,e\rightarrow d))= \\
                                                   & =\bigcup_{(x,y)\in\{(c\cdot e,c\rightarrow f),(c\cdot e,e\rightarrow d)\}}((a,b)\odot(x,y))= \\
                                                   & =\bigcup_{(x,y)\in(c,d)\odot(e,f)}((a,b)\odot(x,y)).
\end{align*}
\item[(v)] The following are equivalent:
\begin{align*}
& (a,b)\odot(c,d)\leq(e,f), \\
& \{(a\cdot c,a\rightarrow d),(a\cdot c,c\rightarrow b)\}\leq(e,f), \\
& a\cdot c\leq e,f\leq a\rightarrow d\text{ and }f\leq c\rightarrow b, \\
& a\leq c\rightarrow e,a\leq f\rightarrow d\text{ and }c\cdot f\leq b, \\
& (a,b)\leq\{(c\rightarrow e,c\cdot f),(f\rightarrow d,c\cdot f)\}, \\
& (a,b)\leq(c,d)\Rightarrow(e,f).
\end{align*}
\end{enumerate}
Finally, $(a,a_0)\leq(b,a_0)$ is equivalent to $a\leq b$.
\end{proof}

\begin{example}
If $(Q,\leq,\cdot,\rightarrow,0,1):=(\{0,1\},\leq,\cdot,(x,y)\mapsto1-x+xy,0,1)$ {\rm(}where $+$, $-$ and $\cdot$ denote addition, subtraction and multiplication of the reals, respectively{\rm)} then the tables for $\odot$ and $\Rightarrow$ look as follows:
\[
\begin{array}{c|c|c|c|c}
\odot &      (0,0)      &   (0,1)   &      (1,0)      &      (1,1) \\
\hline
(0,0) &    \{(0,1)\}    & \{(0,1)\} & \{(0,0),(0,1)\} & \{(0,0),(0,1)\} \\
(0,1) &    \{(0,1)\}    & \{(0,1)\} &    \{(0,1)\}    &    \{(0,1)\} \\
(1,0) & \{(0,0),(0,1)\} & \{(0,1)\} &    \{(1,0)\}    & \{(1,0),(1,1)\} \\
(1,1) & \{(0,0),(0,1)\} & \{(0,1)\} & \{(1,0),(1,1)\} &    \{(1,1)\}
\end{array}
\]
\[
\begin{array}{c|c|c|c|c}
\Rightarrow &      (0,0)      &      (0,1)      &   (1,0)   &      (1,1) \\
\hline
   (0,0)    &    \{(1,0)\}    & \{(0,0),(1,0)\} & \{(1,0)\} & \{(0,0),(1,0)\} \\
   (0,1)    &    \{(1,0)\}    &    \{(1,0)\}    & \{(1,0)\} &    \{(1,0)\} \\
   (1,0)    & \{(0,0),(1,0)\} &    \{(0,1)\}    & \{(1,0)\} & \{(0,1),(1,1)\} \\
   (1,1)    & \{(0,0),(1,0)\} & \{(0,1),(1,1)\} & \{(1,0)\} &    \{(1,1)\}
\end{array}
\]
\end{example}

\section{Pseudo-Kleene posets}

It was shown by the authors in \cite{CL} that every poset $\mathbf Q=(Q,\leq)$ can be embedded into a pseudo-Kleene one. For this we use a certain modification of the full twist product construction as follows.

Let $a\in Q$ and define
\begin{align*}
P_a(\mathbf Q) & :=\{(x,y)\in Q^2\mid L(x,y)\leq a\leq U(x,y)\}, \\
(x,y)\leq(z,v) & :\Leftrightarrow(x\leq z\text{ and }v\leq y), \\
        (x,y)' & :=(y,x)
\end{align*}
for all $(x,y),(z,v)\in Q^2$. The following was proved in \cite{CL}:
\begin{itemize}
\item $(P_a(\mathbf Q),\leq,{}')$ is a pseudo-Kleene poset,
\item the mapping $x\mapsto(x,a)$ is an embedding of $\mathbf Q$ into $(P_a(\mathbf Q),\leq)$,
\item $(P_a(\mathbf Q),\leq,{}')$ is a Kleene poset if and only if $\mathbf Q$ is distributive.
\end{itemize}

Since $P_a(\mathbf Q)$ is a subset of the full twist product of $\mathbf Q$, it is a question if residuation from $(Q,\leq,\cdot,\rightarrow,1)$ can be transferred to $P_a(\mathbf Q)$ as shown in Theorem~\ref{th2}. Unfortunately, this is not possible in general since $P_a(\mathbf Q)$ need not be closed under the operators $\odot$ and $\Rightarrow$ defined in Theorem~\ref{th2}. However, we can get necessary and sufficient conditions under which $P_a(\mathbf Q)$ is closed under these operators and hence becomes a pseudo-Kleene operator residuated poset.

If $\mathbf Q=(Q,\leq)$ is a poset, $a,b\in Q$ and every element of $P_a(\mathbf Q)$ is comparable with $(a,a)$ then $(a,b)\in P_a(\mathbf Q)$ and hence $(a,a)\leq(a,b)$ or $(a,b)\leq(a,a)$ whence $b\leq a$ or $a\leq b$, i.e.\ $b$ is comparable with $a$.

\begin{theorem}\label{th3}
Let $(Q,\leq,\cdot,\rightarrow,0,1)$ be a bounded commutative resid\-u\-at\-ed monoid and $a\in Q$ with $a\cdot a=a$, put $\mathbf Q:=(Q,\leq)$ and assume that all elements of $P_a(\mathbf Q)$ are comparable with $(a,a)$. Then
\begin{itemize}
\item $(P_a(\mathbf Q),\leq,\odot,\Rightarrow,(0,1),(1,0))$ where the operators $\odot$ and $\Rightarrow$ are defined by
\begin{align*}
      (x,y)\odot(z,v) & :=\{(x\cdot z,x\rightarrow v),(x\cdot z,z\rightarrow y)\}, \\
(x,y)\Rightarrow(z,v) & :=\{(x\rightarrow z,x\cdot v),(v\rightarrow y,x\cdot v)\}
\end{align*}
for all $(x,y),(z,v)\in P_a(\mathbf Q)$ is an operator residuated poset if and only if the following two conditions hold:
\begin{enumerate}
\item[{\rm(11)}] $a\cdot x<a$ implies $a\cdot x=0$,
\item[{\rm(12)}] $a<x$ implies $x\rightarrow a=a$.
\end{enumerate}
\item $(P_a(\mathbf Q),\leq,{}')$ where $(x,y)':=(y,x)$ for all $(x,y)\in P_a(\mathbf Q)$ is a pseudo-Kleene poset.
\item The mapping $x\mapsto(x,a)$ is an embedding of $\mathbf Q$ into $(P_a(\mathbf Q),\leq)$.
\item $(x,y)'\in(x,y)\Rightarrow(0,1)$ for all $(x,y)\in P_a(\mathbf Q)$.
\end{itemize}
\end{theorem}

\begin{proof}
Let $b,c,d,e\in Q$. According to Lemmas~\ref{lem2}, \ref{lem3} and \ref{lem1}, $(Q,\leq,\cdot,\rightarrow,0,1)$ satisfies (1) -- (10). If $a\leq x,y$ then $a=a\cdot a\leq a\cdot y\leq x\cdot y$ according to (1) and (2), i.e.\ we have
\begin{enumerate}
\item[(13)] $a\leq x,y$ implies $a\leq x\cdot y$.
\end{enumerate}
\begin{itemize}
\item Assume $(b,c),(d,e)\leq(a,a)$. Then the following hold: \\
$(b\cdot d,b\rightarrow e)\leq(a,a)$ because of (7) and (10). \\
$(b\cdot d,d\rightarrow c)\leq(a,a)$ because of (7) and (10). \\
Since $b\leq a$ we have $b\cdot e\leq a$ according to (7). \\
If $b\cdot e=a$ then $(b\rightarrow d,b\cdot e)$ is comparable with $(a,a)$. \\
If $b\cdot e<a$ then $(b\rightarrow d,b\cdot e)$ is comparable with $(a,a)$ if and only if $a\leq b\rightarrow d$. \\
$(e\rightarrow c,b\cdot e)\geq(a,a)$ because of (7) and (10).
\item Assume $(b,c)\leq(a,a)\leq(d,e)$. Then the following hold: \\
Since $b\leq a$ we have $b\cdot d\leq a$ according to (7). \\
If $b\cdot d=a$ then $(b\cdot d,b\rightarrow e)$ is comparable with $(a,a)$. \\
If $b\cdot d<a$ then $(b\cdot d,b\rightarrow e)$ is comparable with $(a,a)$ if and only if $a\leq b\rightarrow e$. \\
$(b\cdot d,d\rightarrow c)\leq(a,a)$ because of (7) and (10). \\
$(b\rightarrow d,b\cdot e)\geq(a,a)$ because of (7) and (10). \\
$(e\rightarrow c,b\cdot e)\geq(a,a)$ because of (7) and (10).
\item Assume $(d,e)\leq(a,a)\leq(b,c)$. Then the following hold: \\
$(b\cdot d,b\rightarrow e)\leq(a,a)$ because of (7) and (10). \\
Since $d\leq a$ we have $b\cdot d\leq a$ according to (7). \\
If $b\cdot d=a$ then $(b\cdot d,d\rightarrow c)$ is comparable with $(a,a)$. \\
If $b\cdot d<a$ then $(b\cdot d,d\rightarrow c)$ is comparable with $(a,a)$ if and only if $a\leq d\rightarrow c$. \\
Since $a\leq b,e$ we have $a\leq b\cdot e$ according to (13). \\
If $b\cdot e=a$ then $(b\rightarrow d,b\cdot e)$ is comparable with $(a,a)$. \\
If $a<b\cdot e$ then $(b\rightarrow d,b\cdot e)$ is comparable with $(a,a)$ if and only if $b\rightarrow d\leq a$. \\
If $b\cdot e=a$ then $(e\rightarrow c,b\cdot e)$ is comparable with $(a,a)$. \\
If $a<b\cdot e$ then $(e\rightarrow c,b\cdot e)$ is comparable with $(a,a)$ if and only if $e\rightarrow c\leq a$.
\item Assume $(a,a)\leq(b,c),(d,e)$. Then the following hold: \\
Since $a\leq b,d$ we have $a\leq b\cdot d$ according to (13). \\
If $b\cdot d=a$ then $(b\cdot d,b\rightarrow e)$ is comparable with $(a,a)$. \\
If $a<b\cdot d$ then $(b\cdot d,b\rightarrow e)$ is comparable with $(a,a)$ if and only if $b\rightarrow e\leq a$. \\
If $b\cdot d=a$ then $(b\cdot d,d\rightarrow c)$ is comparable with $(a,a)$. \\
If $a<b\cdot d$ then $(b\cdot d,d\rightarrow c)$ is comparable with $(a,a)$ if and only if $d\rightarrow c\leq a$. \\
$(b\rightarrow d,b\cdot e)\geq(a,a)$ because of (7) and (10), \\
Since $e\leq a$ we have $b\cdot e\leq a$ according to (7). \\
If $b\cdot e=a$ then $(e\rightarrow c,b\cdot e)$ is comparable with $(a,a)$. \\
If $b\cdot e<a$ then $(e\rightarrow c,b\cdot e)$ is comparable with $(a,a)$ if and only if $a\leq e\rightarrow c$.
\end{itemize}
Hence $(x,y)\odot(z,v)\subseteq P_a(\mathbf Q)$ and $(x,y)\Rightarrow(z,v)\subseteq P_a(\mathbf Q)$ for all $(x,y),(z,v)\in P_a(\mathbf Q)$ if and only if the following statements hold:
\begin{enumerate}[(a)]
\item $b,d\leq a\leq c,e$ and $b\cdot e<a$ imply $a\leq b\rightarrow d$.
\item $b,e\leq a\leq c,d$ and $b\cdot d<a$ imply $a\leq b\rightarrow e$.
\item $c,d\leq a\leq b,e$ and $b\cdot d<a$ imply $a\leq d\rightarrow c$.
\item $c,d\leq a\leq b,e$ and $a<b\cdot e$ imply $b\rightarrow d\leq a$.
\item $c,d\leq a\leq b,e$ and $a<b\cdot e$ imply $e\rightarrow c\leq a$.
\item $c,e\leq a\leq b,d$ and $a<b\cdot d$ imply $b\rightarrow e\leq a$.
\item $c,e\leq a\leq b,d$ and $a<b\cdot d$ imply $d\rightarrow c\leq a$.
\item $c,e\leq a\leq b,d$ and $b\cdot e<a$ imply $a\leq e\rightarrow c$.
\end{enumerate}
Now (a) is equivalent to the following statements:
\begin{align*}
& b\cdot a<a\text{ implies }a\leq b\rightarrow0, \\
& a\cdot b<a\text{ implies }a\cdot b\leq0, \\
& a\cdot b<a\text{ implies }a\cdot b=0, \\
& (11).
\end{align*}
In the same way one can see that (b), (c) and (h) are equivalent to (11). Moreover, (d) is equivalent to the following statements:
\begin{align*}
& a\leq b,e\text{ and }a<b\cdot e\text{ imply }b\rightarrow a\leq a, \\
& a<b\text{ implies }b\rightarrow a\leq a, \\
& a<b\text{ implies }b\rightarrow a=a, \\
& (12).
\end{align*}
In the same way one can see that (e), (f) and (g) are equivalent to (12). Moreover, we have
\[
(b,c)'=(c,b)\in\{(b\rightarrow0,b),(c,b)\}=\{(b\rightarrow0,b\cdot1),(1\rightarrow c,b\cdot1)\}=(b,c)\Rightarrow(0,1).
\]
The rest follows from Theorem~\ref{th1}.
\end{proof}

\begin{example}
Consider the bounded commutative residuated semigroup $(Q,\leq,\cdot,\rightarrow,0,$ $1)$ with $Q=\{0,a,1\}$, $0<a<1$ and
\[
\begin{array}{c|ccc}
\cdot & 0 & a & 1 \\
\hline
  0   & 0 & 0 & 0 \\
  a   & 0 & a & a \\
  1   & 0 & a & 1
\end{array}
\quad\quad\quad
\begin{array}{c|ccc}
\rightarrow & 0 & a & 1 \\
\hline
     0      & 1 & 1 & 1 \\
     a      & 0 & 1 & 1 \\
     1      & 0 & a & 1
\end{array}
\]
and put $\mathbf Q:=(Q,\leq)$. It is easy to check that $\mathbf Q$ is a distributive lattice and $(Q,\leq,\cdot,\rightarrow,0,1)$ is a bounded commutative resid\-u\-at\-ed monoid satisfying all the assumptions of Theorem~\ref{th3}. The poset $(P_a(\mathbf Q),\leq)$ is depicted in Figure~2:

\vspace*{-2mm}

\begin{center}
\setlength{\unitlength}{7mm}
\begin{picture}(4,10)
\put(2,1){\circle*{.3}}
\put(1,3){\circle*{.3}}
\put(3,3){\circle*{.3}}
\put(2,5){\circle*{.3}}
\put(1,7){\circle*{.3}}
\put(3,7){\circle*{.3}}
\put(2,9){\circle*{.3}}
\put(2,1){\line(-1,2)1}
\put(2,1){\line(1,2)1}
\put(1,3){\line(1,2)2}
\put(3,3){\line(-1,2)2}
\put(2,9){\line(-1,-2)1}
\put(2,9){\line(1,-2)1}
\put(1.35,.3){$(0,1)$}
\put(-.6,2.85){$(0,a)$}
\put(3.3,2.85){$(a,1)$}
\put(2.3,4.85){$(a,a)$}
\put(-.6,6.85){$(1,a)$}
\put(3.3,6.85){$(a,0)$}
\put(1.35,9.35){$(1,0)$}
\put(1.2,-.75){{\rm Fig.\ 2}}
\end{picture}
\end{center}

\vspace*{4mm}

Then the operators $\odot$ and $\Rightarrow$ have the following tables:
\[
\begin{array}{c|c|c|c|c|c|c|c}
\odot & 0a & 01 & a0 & aa & a1 & 10 & 1a \\
\hline
  0a  &  01   & 01 &  01   &  01   &  01   & 0a,01 & 0a,01 \\
  01  &  01   & 01 &  01   &  01   &  01   &  01   &  01 \\
  a0  &  01   & 01 &  a0   & a0,a1 & a0,a1 &  a0   & a0,a1 \\
  aa  &  01   & 01 & a0,a1 &  a1   &  a1   & a0,aa & aa,a1 \\
  a1  &  01   & 01 & a0,a1 &  a1   &  a1   & a0,a1 &  a1 \\
  10  & 0a,01 & 01 &  a0   & a0,aa & a0,a1 &  10   & 10,1a \\
  1a  & 0a,01 & 01 & a0,a1 & aa,a1 &  a1   & 10,1a &  1a
\end{array}
\]
\[
\begin{array}{c|c|c|c|c|c|c|c}
\Rightarrow &  0a   &  01   &  a0   &  aa   &  a1   & 10 &  1a \\
\hline
     0a     &  10   & a0,10 &  10   &  10   & a0,10 & 10 &  10 \\
     01     &  10   &  10   &  10   &  10   &  10   & 10 &  10 \\
     a0     &  0a   &  0a   &  10   & 0a,1a & 0a,1a & 10 & 0a,1a \\
     aa     & 0a,1a & 0a,aa &  10   &  1a   & aa,1a & 10 &  1a \\
     a1     & 0a,1a & 0a,1a &  10   &  1a   &  1a   & 10 &  1a \\
     10     &  0a   &  01   & a0,10 & 0a,aa & 01,a1 & 10 & 0a,1a \\
     1a     & 0a,1a & 01,a1 & a0,10 & aa,1a &  a1   & 10 &  1a
\end{array}
\]
Hence $(P_a(\mathbf Q),\leq,\odot,\Rightarrow,(0,1),(1,0))$ is an operator residuated poset $(P_a(\mathbf Q),\leq,{}')$ is a Kleene lattice.
\end{example}

\begin{example}
On the other hand, the bounded residuated monoid $(Q,\leq,\cdot,\rightarrow,1)$ from Example~\ref{ex1} has only two idempotents, namely $0$ and $1$. Every element of $P_0(\mathbf Q)=(\{0\}\times Q)\cup(Q\times\{0\})$ is comparable with $(0,0)$. But if $x\neq1$ then $0<x$, but $x\rightarrow0\neq0$ contradicting {\rm(12)}. Similarly, every element of $P_1(\mathbf Q)=(\{1\}\times Q)\cup(Q\times\{1\})$ is comparable with $(1,1)$. But if $x\neq0,1$ then $0<1\cdot x<1$ contradicting (11).
\end{example}

redpajama_set_name: RedPajamaArXiv


text:
most sought-after babysitters on the island." When kids discover Ariana's body on the beach, any hope Emily had for romance with Chief Insp. Thomas Moller goes by the boards. A bracelet belonging to Emily found on Ariana provides an additional puzzle. Meanwhile, Ariana's killer worries about possible witnesses who might be able to tie him to the victim. When a foolish resort guest tells the media that Peggy may have seen the killer, she becomes a target, as does Emily.
Ryan never manages to wring much suspense from her story, and the rather prosaic investigation doesn't provide much of interest either. Agent: Meg Ruley, Jane Rotrosen Agency. (Jan.)
The Blue Journal: A Detective
Anthony Walker Novel
L. T. Graham. Prometheus Books/Seventh Street, $15.95 trade paper (350p) ISBN 978-1-
This gripping mystery, the first in a projected series from the pseudonymous Graham, introduces Lt. Det. Anthony Walker, who recently left the NYPD to spend more time with his family in Connecticut, only to have his wife move out and ask for a divorce. Devoted to his new job on the local police force because it's all he has left, Anthony buries himself in the investigation of the shooting murder of Elizabeth Knoebel. His only clues are an unidentified gray car that sped away from the Knoebel house and an encoded diary describing in explicit detail Elizabeth's many sexual encounters. When decoded, the diary reveals that among Elizabeth's predatory conquests were women in her therapy group as well as some of their husbands participating in parallel sessions. Both groups are led by psychologist Randi Conway, who invokes patient confidentiality to avoid answering Anthony's questions. The action builds to an exciting and unexpected conclusion. Bob Diforio, D4EO Literary Agency. (Jan.)
The German Agent
J. Sydney Jones. Severn, $28.95 (224p) ISBN
Those expecting the sophisticated plot-
ting of Jones's Viennese mysteries (A
Matter of Breeding, etc.) will be disap-
pointed by this lackluster historical
thriller. Early in 1917, the British inter-
cept the real-life Zimmermann telegram,
which reveals German plans to work with
Mexico and Japan against the U.S. The
German agent of the title, war hero Max
Volkman, sets out for Washington, D.C.,
to stop British envoy Adrian Appleby
before he can communicate the contents
of the wire to Woodrow Wilson. The pres-
ident has been resolute in opposing
American entry into WWI, but the tele-
gram is expected to change his mind. The
cat-and-mouse game that follows offers
few surprises, and neither Volkman nor
his opposite number, Sen. Edward
Fitzgerald, whose callow wife is Appleby's
niece, has much personality. Plot contriv-
ances are a further obstacle to engage-
ment. Despite the sound premise, Jones
never manages to generate genuine
tension or suspense. Agent: John Talbot,
Talbot Fortune Agency. (Jan.)
Everybody Goes to Jimmy's:
A Jimmy Quinn Mystery
Michael Mayo. Open Road/Mysterious-Press.com, $14.99 trade paper (264p) ISBN 978-1-4976-6272-8
Set in 1932, Mayo's fast-paced sequel to 2012's Jimmy the Stick finds Jimmy Quinn, who runs a speakeasy in Manhattan, dealing with top criminals like Arnold Rothstein, crooked cops, and dames—in particular, a dame from his past, Anna Gunderwald, who challenges him to a foot race. More seriously, a bomb explodes in the alley next to his speak, a mysterious package of four indecipherable ledgers arrives, and suddenly all kinds of people are interested in Jimmy. A crooked cop, Betcherman, wants his share of something, but Jimmy doesn't know what; a German, Johann Klapprott, wishes to purchase his place on behalf of a second party; and Mercer Weeks, enforcer for numbers boss Jacob Weiss, pays him a call. Basically, everyone is after the pile of money Jimmy is believed to possess. Mayo spins several clever yarns off this premise as the quick-witted Jimmy hustles to keep one step ahead of the crowd. Agent: Otto Penzler. (Jan.)
Blood of the South:
An Aelf Fen Mystery
Alys Clare. Severn, $28.95 (240p) ISBN 978-0-
At the start of Clare's impeccably paced sixth Aelf Fen novel (after 2013's Land of the Silver Dragon), apprentice healer Lassair helps rescue a foreign woman and her infant son from a mob in Cambridge in the fall of 1093. When Lassair and the sheriff's man, Jack Chevestrier, later go looking for the woman's missing family members, receding flood waters reveal a body that raises suspicions of murder. Meanwhile, Lassair's Norman lover, Rollo, is on a covert mission to Miklagard (modern Istanbul) and the Holy Land for King William. New Age fans will appreciate how Lassair employs a "shining stone" to see events occurring elsewhere. As she grows more confident using the stone's power, she becomes more assertive within her extended family and community. Clare does a good job generating tension by shifting the narrative in between England and Byzantium. Adding period flavor are the religious feelings characters evince at the beginning of the Crusades. (Jan.)
Painting with Fire
K.B. Jensen. Crimson Cloud Media, $9.99 trade paper (209p) ISBN 978-0-615967-58-5
Jensen doesn't master the challenge she sets for herself: to sustain tension about whether someone is guilty of murder. Chicago resident Claudia Wilson has an ambiguous relationship with her roommate, Tom, a cashier with artistic ambitions, whom she met at a bar. Claudia, who's unemployed, finds him attractive, but resists getting involved with him romantically. Their routines are shattered after they find a corpse in the snow outside their apartment building. Claudia later learns the victim was bludgeoned to death after an encounter with some drug dealers. From the start, Claudia suspects that Tom might be responsible, and, unsettled by the possibility and with plenty of time on her hands, begins playing amateur sleuth. Other possible suspects in her building include a violent married couple, but her focus remains on Tom, especially after learning that he has a criminal record he's concealed from her. The plot unfolds without any significant surprises, and the characters lack depth. (BookLife)]


text:
// scalastyle:off

// scalastyle:on
/*
 * Prominent changes from original JVMObjectTracker code
 * - Made JVMObjectTracker thread safe by using TrieMap + Atomic Integer
 * - Add logging to JVMObjectTracker
 * - This works because we are running WorkflowExecutor using:
 *   "java" "-cp" "/opt/docker/we.jar:/opt/spark-2.0.2/conf/ \
 *   "io.deepsense.workflowexecutor.WorkflowExecutorApp"
 * - JVMObjectTracker from we.jar gets loaded first as "Specification order" on page
 *   http://docs.oracle.com/javase/7/docs/technotes/tools/solaris/classpath.html states
 */
package org.apache.spark.api.r

import java.util.concurrent.atomic.AtomicInteger

import scala.collection.concurrent.TrieMap
import org.slf4j.{Logger, LoggerFactory}
/**
  * Helper singleton that tracks JVM objects returned to R.
  * This is useful for referencing these objects in RPC calls.
  */
private[r] object JVMObjectTracker {
  @transient
  protected lazy val logger: Logger = LoggerFactory.getLogger(getClass.getName)
  private[this] val objMap = new TrieMap[String, Object]
  private[this] val objCounter = new AtomicInteger(0)

  def getObject(id: String): Object = {
    logger.info(s"Get object at  $id")
    objMap(id)
  }

  def get(id: String): Option[Object] = {
    logger.info(s"Get object at $id")
    objMap.get(id)
  }

  def put(obj: Object): String = {
    val objId = objCounter.getAndIncrement.toString
    val objName = obj.getClass.getName
    logger.info(s"Puts $objName at $objId ")
    objMap.put(objId, obj)
    objId
  }

  def remove(id: String): Option[Object] = {
    logger.info(s"Removed $id")
    objMap.remove(id)
  }

}

redpajama_set_name: RedPajamaGithub


A federal judge concluded Monday that dishonest and duplicitous testimony by a retired Merck scientist before and during a March trial played into the jury's finding that the company was responsible for early discoveries that led to the development of Gilead's Sovaldi and Harvoni medicines.
The scientist "intentionally fabricated testimony" and Merck supported his "bad faith conduct," U.S. District Judge Beth Labson Freeman in San Jose, California, said in her ruling.
The reversal of the fifth-largest U.S. verdict this year vindicates Gilead in its refusal to share royalties with Merck on the more than $20 billion revenue the hepatitis C drugs generated from 2013 through 2015 in the U.S. The Foster City, California-based company's sales have started to slow this year as competition for the liver disease market intensifies among drugmakers.
"We are pleased the court has ruled in Gilead's favor and determined that Merck's patents are unenforceable against Gilead, and therefore, Merck is not entitled to recover any damages," the company said in an email.
Labson Freeman re-opened the case in April after Gilead alleged that ex-Merck scientist Phil Durette gave conflicting statements about his participation in a key phone call some 15 years earlier when the drug's basic composition was first presented to Merck.
Durette initially said in a pretrial deposition he wasn't on a phone call in which secrets about the compound's basic chemistry were discussed while Merck was exploring a take-over of Pharmasset Inc., a company that was later acquired by Gilead. When testifying to the jury after checking his notes, Durette admitted to playing a role in the meeting.
"Dr. Durette's lying at his deposition, recanting that testimony at trial without proper prior notice to Gilead, and further untruthful testimony at trial all support the court's conclusion that Merck did intend to deceive Gilead and the court," the judge wrote.
She said Merck's actions were "even more egregious" because Durette was acting as the company's patent attorney.
Merck's victory at trial had set the stage for it to seek future royalty payments from Harvoni and Sovaldi, which sells for $1,000-a-pill in the U.S., before discounts and rebates.
While Gilead continues to dominate the market, the lull in its hepatitis C treatment revenue opened the door to Amgen Inc. retaking its place as the world's top biotech firm by market capitalization.
The case is Gilead Sciences Inc. v. Merck & Co., 13-cv-04057, U.S. District Court, Northern District of California (San Jose).


An updated version of the Accor directory app has been released which supports phones. The application is now a universal application that uses responsive design to size its self appropriately for whatever device it is running on – be that a 3 inch phone or a 10 inch tablet.
HotHot is the UNOFFICAL app for Sichuan House, melbourne. Do you ever have the problem of dining with a large group, then not knowing what to order? We did! Simply select the number of people, and number drinking then allow HotHot to do the rest.
Clean RPN is a simple and clean RPN calculator for android phones and tablets, supporting a many functions. Clean RPN support android 2.2+ and runs on both tablets and phones.
Unlike other RPN calculators which try and mimic the appearance 30 year old desk calculators, clean RPN takes advantage of the screen space and rich input that your phone or tablet provides. The results of your calculation appear while you type and a scrollable list of pervious calculations allows you to easily keep track of your history.
Grafting-tool.com is an e-commerce site, based off a customised install of Magento. Work on grafting-tool.com started with a full mockup in an image editing program. I then cut up the mockup and used CSS and HTML5 to modify a blank magento template. grafting-tool.com uses features such as CSS gradients, while maintaing backwards compatibility with older browsers, by using css graceful degradation.


Polish hottie Inez Lajblich is what we would call "a freaking hot babe". You don't have to give her a second glance to see that she has everything it takes to make up the perfect bikini model.
This brunette bombshell has all the right curves in all the right places and is part of the new wave of Polish models bombarding the modelling scene with their exotic looks and flawless figures. Lajblich is a firm favourite with bikini labels (no surprise there) and regularly models for Lupoline – which in our opinion – fit her like a glove.