text:
\section{Motivation}

The first level muon trigger of the ATLAS experiment~\cite{ATLAS2008} is based on Resistive Plate Chambers (RPC) in the barrel region and Thin Gap Chambers (TGC) in the end-cap regions of the Muon Spectrometer (MS).
They provide high timing resolution for precise bunch crossing identification, but have a limited spatial resolution of a few centimetres resulting in a limited muon momentum resolution.
Hence, at most half of the muons with transverse momentum between \GeV{10} and \GeV{20} are selected with a nominal trigger threshold of \GeV{20}.
At HL-LHC luminosities, this leads to unacceptably high trigger rates.

In order to reduce the trigger rate, the momentum resolution of the first level trigger system has to be increased to the level of the current Level-2 trigger resolution based on the Monitored Drift Tubes (MDT) tracking chambers~\cite{LoI}.
The most efficient solution with the best resolution is to use the MDT chambers at the first trigger level~\cite{L1_Improvement2013}.

\section{Using MDT Data for the First-Level Muon Trigger}

In order to include the MDT hit information in the first level trigger, a fast MDT read-out has to be implemented.
Furthermore, a fast track reconstruction algorithm with latency below 6~$\mu$s seeded by the region-of-interest information of the trigger chambers has to be developed.
The track reconstruction has to be performed with high efficiency at high background occupancies of up to 14\% expected in the MDT chambers at HL-LHC~\cite{LoI}.

\begin{figure}[t]
	\centering
	\includegraphics[width=1.0\linewidth]{RO-schematic}
	\caption{Schematics of the MDT chamber read-out with additional fast read-out path (yellow) for the MDT based first-level muon trigger.}
	\label{fig::technical}
\end{figure}

Figure~\ref{fig::technical} shows the proposed fast MDT read-out scheme.
The digitized drift time measurement of the MDT front-end electronics is sent via the on-chamber data concentrator and a fast read-out path to the trigger logic where fast processors
(SoCs-``System-on-a-Chip'', FPGA-CPU combinations) are used for hit buffering and track reconstruction.
When the trigger chambers detect a muon candidate, this coarse position information is used for fast track reconstruction within the MDT chambers.

A histogram-based pattern recognition algorithm has been developed for fast track reconstruction~\cite{TIPP} (see \fig{fig::histogram}).
Based on the angle of incidence of the muons known with sufficient precision from the trigger chambers (seed angle), the algorithm resolves the ambiguity in the hit positions from the
drift radius measurements in the drift tubes and projects the hit coordinates perpendicular to the expected track direction filling a one-dimensional histogram which is scanned for
peaks corresponding to track candidates.
A linear track fit is applied to the associated hits and the ${\chi}^2$ per degree of freedom of the fit is used as a measure of the fit quality ($\chi^2/N_{dof}<6.6$).
The $\chi^2$-cut leads only to 1.9\% efficiency loss, but reduces the fraction of badly reconstructed tracks\footnote{$|\alpha_{rec}-\alpha_{ref}|>$3~mrad with $\alpha_{rec}$
($\alpha_{true}$) the reconstructed (true) track angles.} by 23\%.

In order not to wrongly reject energetic muons, events without a track fulfilling the requirements (less than 10\%) are always accepted and the transverse momentum is determined and
selected at a higher trigger level~\cite{TIPP}.

\section{Performance Studies}

\begin{figure}[t]
	\centering
	\begin{subfigure}[b]{0.45\linewidth}
		\includegraphics[width=1.1\linewidth]{MDT_pattern_recognition}
		\caption{}
		\label{fig::histogram}
	\end{subfigure}
	\qquad
	\begin{subfigure}[b]{0.45\linewidth}
		\includegraphics[width=1.1\linewidth]{GIF_result_rad_spread}
		\caption{}
		\label{fig::result_irr}
	\end{subfigure}
	\caption{(\subref{fig::histogram}) Illustration of the histogram based pattern recognition method which projects the measured drift radii of the MDT tube layers perpendicular to the expected track direction~\cite{TIPP}.\\
	(\subref{fig::result_irr}) Results of the MDT trigger demonstrator test at the CERN Gamma Irradiation Facility for the maximum background occupancy expected at HL-LHC.
	The black numbers indicate the fraction of low-quality tracks and Geant4 simulation results are given in parentheses.}
	\label{fig::results}
\end{figure}

In order to test the trigger concept and to study the fast track reconstruction algorithm, a hardware demonstrator has been constructed and used for fast reconstruction
of cosmic muon tracks in an MDT chamber under $\gamma$ irradiation at the CERN Gamma Irradiation Facility (GIF).
The trigger demonstrator comprises two parallel read-out chains for data with high and with reduced time resolution (see \fig{fig::technical}).

The residual distribution of the incidence angle $\alpha_{rec}$ of the fast reconstructed tracks with respect to the offline reconstructed angle $\alpha_{ref}$ is shown in
\fig{fig::results} and is in agreement with the Geant4~\cite{Geant4_1, Geant4_2} simulation of the demonstrator test set-up.
Due to the preliminary long dead time (1500~ns) of the fast read-out, the fraction of tracks with a small number of hits is enhanced leading to a higher uncertainty in the track fit.
Therefore, the fraction of wrongly reconstructed tracks with $|\alpha_{rec}-\alpha_{ref}|>$3~mrad is 10.2\% at the maximum expected background rate at HL-LHC.
For the implementation in ATLAS, a dead time of 200~ns is envisaged to reduce the fraction to 1\%.

\begin{figure}[t]
	\centering

		\centering
		\includegraphics[width=1.0\linewidth]{TimeGIF}
	\caption{Processing time of the fast track reconstruction algorithm by a 200~MHz CPU for the data taken at the CERN GIF at different background occupancies.}
		\label{fig::timing}
\end{figure}

The fast tracking algorithm has been implemented in assembler language on an ARM Cortex-M4F CPU, commonly used in SoCs.
The processing times of the reconstruction algorithm for the data taken at the GIF are shown in \fig{fig::timing}.
With the highest clock frequency (200~MHz), the track can be reconstructed within 11~$\mu$s.
The use of a more advanced CPU architecture (e.g. ARM Cortex-A9 implemented on Xilinx Zynq SoC) allowing a reduction of the maximum processing time below the expected first-level trigger latency of 6~$\mu$s at HL-LHC.

\section{Summary}

In order to improve the transverse momentum resolution and the acceptance of the ATLAS muon trigger at HL-LHC, the MDT precision tracking chambers will be included in the first level muon trigger with a foreseen latency of 6~$\mu$s.
Performance studies with a hardware implementation of the required new fast read-out of the MDT chambers and of the fast tracking algorithm demonstrate the feasibility of the concept.

redpajama_set_name: RedPajamaArXiv


Millions of Miles: What's Up?
I got to hook up with 7 of the original Cincinnati 14 retreat gals for a grown up slumber party this weekend! It was Fabulous with a capital F. There was tons of laughter, a Just Dance tournament and enough homemade caramel corn to give me some insane indigestion that lead to an hour long case of hiccups. I loved every minute of it! There is nothing in the world like having wonderful girlfriends.
Aside from the caramel corn, I've been killing it on my "be kinder to my body" diet. I've eaten good healthy food. I've been running three or four days a week and have lost exactly 0.000 pounds. Ugh.
I discovered mentholated Breath Rite strips this week. My life will never be the same. I love oxygen.
I am in the final stages of planning our annual Congo vacation raffle. (HINT: skiing in Colorado! Woop Woop!) If anyone has any airline miles they would be willing to donate to the vacation package, I would love you forever. It is tax deductible. Please Please Please- I'm begging you. My goal is to raise $10,000 for vulnerable children in Congo and I think it would be much easier to get there with some airline miles.
Miles dreadlocks look dreadful. He refuses to sleep in a cap and they are the fuzziest, most horrendous looking little locs I've ever seen. I'm trying to give them some time to mature, but they are looking so bad, I don't really want to take him out in public. Noah says it looks like Miles has woolly worms on his head. That is about the truth of it.
I had a jalapeno pepper that was so hot it took the skin off the top of my mouth. And since I am in contention for mother of the year- I then dared my children to eat one also. Fortunately, they were all smart enough to turn me down.
Noah is obsessed with doing chores for money lately. He has been doing massive amounts of chores for mere pennies, since he has no idea of the value of money. We've tried to teach him, but he just doesn't get it. He swept the floor, picked up the toys, and windexed the glass doors for 17 cents and a chuck e cheese token. Score!
I'm crossing quite a few things off of my goals list. My cabinets have all been cleaned out and organized. I am embarrassed to say that I threw away copious amounts of food that expired in 2007. The fridge and freezer have been cleaned out. The bathroom stuff has all been organized and I realized that I will never need to buy soap or mouthwash again. I thought about throwing away all the pots, pans and skillets that had all the non-stick stuff burned off of them until I realized that would only leave me with one tiny pot. Maybe I should add new cookware to the goal list.
My van is in the shop. I'm hoping it won't take a million years to fix. Thankfully, my husband had the forsight to buy the extended warranty that I was certain was a waste of money. He's good like that. Until then, I am stranded at home with two wild boys who are eating me out of house and home and who are finding it hysterical to take turns punching each other and licking each other's faces like dogs. I have yet to see why that is funny. Boys are gross.
I'm counting down the days until hubby's W-2 gets here. I love tax season. How nice it is of our government to give me back my own money they borrowed from me interest free. I get pumped about the windfall. We have got to get a new mattress before my spine grows into the spring that digs into me at night.
I love google analytics. I frequently crack up when I see the search words that lead people to my blog. This weekend's funny one: "I poured gasoline on my children." WTF? I can guarantee that has never happened in this house.


text:
package org.openqa.selenium;

import com.thoughtworks.selenium.CommandProcessor;
import com.thoughtworks.selenium.DefaultSelenium;
import com.thoughtworks.selenium.HttpCommandProcessor;
import com.thoughtworks.selenium.Selenium;
import com.thoughtworks.selenium.SeleniumException;
import com.google.common.collect.ImmutableMap;

import org.openqa.selenium.firefox.internal.Executable;
import org.openqa.selenium.internal.selenesedriver.SeleneseFunction;
import org.openqa.selenium.internal.selenesedriver.ClearElement;
import org.openqa.selenium.internal.selenesedriver.ClickElement;
import org.openqa.selenium.internal.selenesedriver.FindElement;
import org.openqa.selenium.internal.selenesedriver.GetCurrentUrl;
import org.openqa.selenium.internal.selenesedriver.GetElementText;
import org.openqa.selenium.internal.selenesedriver.GetElementValue;
import org.openqa.selenium.internal.selenesedriver.GetTagName;
import org.openqa.selenium.internal.selenesedriver.GetTitle;
import org.openqa.selenium.internal.selenesedriver.GetUrl;
import org.openqa.selenium.internal.selenesedriver.NewSession;
import org.openqa.selenium.internal.selenesedriver.QuitSelenium;
import org.openqa.selenium.internal.selenesedriver.GetElementAttribute;
import org.openqa.selenium.internal.selenesedriver.GetPageSource;
import org.openqa.selenium.internal.selenesedriver.IsElementDisplayed;
import org.openqa.selenium.internal.selenesedriver.IsElementEnabled;
import org.openqa.selenium.internal.selenesedriver.IsElementSelected;
import org.openqa.selenium.internal.selenesedriver.SendKeys;
import org.openqa.selenium.internal.selenesedriver.SetElementSelected;
import org.openqa.selenium.internal.selenesedriver.SubmitElement;
import org.openqa.selenium.internal.selenesedriver.ToggleElement;
import org.openqa.selenium.internal.selenesedriver.ExecuteScript;
import org.openqa.selenium.remote.BeanToJsonConverter;
import org.openqa.selenium.remote.Capabilities;
import org.openqa.selenium.remote.Command;
import org.openqa.selenium.remote.CommandExecutor;
import org.openqa.selenium.remote.DesiredCapabilities;
import org.openqa.selenium.remote.JsonToBeanConverter;
import org.openqa.selenium.remote.Response;
import org.openqa.selenium.remote.DriverCommand;
import org.openqa.selenium.remote.ErrorCodes;
import static org.openqa.selenium.remote.DriverCommand.*;

import java.io.File;
import java.net.URL;
import java.util.HashMap;
import java.util.Map;

public class SeleneseCommandExecutor implements CommandExecutor {
  private final ErrorCodes errorCodes;
  private final Selenium instance;
  private Map<DriverCommand, SeleneseFunction> functions;

  public SeleneseCommandExecutor(URL seleniumServer, URL remoteAddress, Capabilities capabilities) {
    this(new HttpCommandProcessor(
            seleniumServer.getHost(), seleniumServer.getPort(),
            startCommand(capabilities), remoteAddress.toString()));
  }

  public SeleneseCommandExecutor(CommandProcessor processor) {
    instance = new DefaultSelenium(processor);
    errorCodes = new ErrorCodes();

    prepareCommands();
  }

  public Response execute(Command command) throws Exception {
    SeleneseFunction function = functions.get(command.getName());
    if (function == null) {
      System.out.println("command.getMethodName() = " + command.getName());
      throw new UnsupportedOperationException("cannot execute: " + command.getName());
    }

    try {
      Response response = new Response();
      response.setValue(function.apply(instance, command.getParameters()));
      return response;
    } catch (Exception e) {
      return prepareExceptionResponse(e);
    }
  }

  private Response prepareExceptionResponse(Exception e) throws Exception {
    Response response = new Response();

    Exception toUse = e;
    if (e instanceof SeleniumException) {
      // World of fragility. *sigh*
       if (e.getMessage().matches("ERROR: Element .+ not found")) {
        toUse = new StaleElementReferenceException(e.getMessage(), e);
      }
    }
    response.setStatus(errorCodes.toStatusCode(toUse));

    // It's like a lesson in inefficiency
    Object raw = new JsonToBeanConverter().convert(Map.class, new BeanToJsonConverter().convert(toUse));
    response.setValue(raw);
    return response;
  }

  private void prepareCommands() {
    functions = ImmutableMap.<DriverCommand, SeleneseFunction>builder()
        .put(CLEAR_ELEMENT, new ClearElement())
        .put(CLICK_ELEMENT, new ClickElement())
        .put(GET_CURRENT_URL, new GetCurrentUrl())
        .put(EXECUTE_SCRIPT, new ExecuteScript())
        .put(FIND_ELEMENT, new FindElement())
        .put(GET, new GetUrl())
        .put(GET_ELEMENT_ATTRIBUTE, new GetElementAttribute())
        .put(GET_ELEMENT_TEXT, new GetElementText())
        .put(GET_ELEMENT_VALUE, new GetElementValue())
        .put(GET_ELEMENT_TAG_NAME, new GetTagName())
        .put(GET_TITLE, new GetTitle())
        .put(IS_ELEMENT_DISPLAYED, new IsElementDisplayed())
        .put(IS_ELEMENT_ENABLED, new IsElementEnabled())
        .put(IS_ELEMENT_SELECTED, new IsElementSelected())
        .put(NEW_SESSION, new NewSession())
        .put(GET_PAGE_SOURCE, new GetPageSource())
        .put(SEND_KEYS_TO_ELEMENT, new SendKeys())
        .put(SET_ELEMENT_SELECTED, new SetElementSelected())
        .put(SUBMIT_ELEMENT, new SubmitElement())
        .put(TOGGLE_ELEMENT, new ToggleElement())
        .put(QUIT, new QuitSelenium())
        .build();
  }

  private static String startCommand(Capabilities capabilities) {
    String browser = capabilities.getBrowserName();
    if (DesiredCapabilities.firefox().getBrowserName().equals(browser)) {
      String path = new Executable(null).getPath();
      return "*chrome " + path;
    } else if ("safari".equals(browser)) {
      String path = findSafari();
      return "*safari " + path;
    } else if (DesiredCapabilities.chrome().getBrowserName().equals(browser)) {

      return "*googlechrome /Applications/Google Chrome.app/Contents/MacOS/Google Chrome";
    }

    throw new IllegalArgumentException(
        "Cannot determine which selenium type to use: " + capabilities.getBrowserName());
  }

  private static String findSafari() {
    if (Platform.getCurrent().is(Platform.WINDOWS)) {
      File[] locations = new File[] {
          new File("C:\\Program Files (x86)\\Safari\\safari.exe"),
          new File("C:\\Program Files\\Safari\\safari.exe")
      };

      for (File location : locations) {
        if (location.exists()) {
          return location.getAbsolutePath();
        }
      }
    }

    return "";
  }
}

redpajama_set_name: RedPajamaGithub


text:
Politics|Republicans Try to Balance Immigration Action While Avoiding a Shutdown
Republicans Try to Balance Immigration Action While Avoiding a Shutdown
John Boehner, the House speaker, and his Republican leadership team have been clear both publicly and privately about their desire to avoid a government shutdown at almost all costs. CreditCreditJabin Botsford/The New York Times
By Ashley Parker
WASHINGTON — Congressional Republicans returning to Washington on Monday found themselves facing a treacherous 10 days as they try to balance their desire to fight President Obama's executive action on immigration with the political imperative not to shut down the government.
Congress must pass a broad spending bill before Dec. 11 to prevent a government shutdown. But Mr. Obama's executive action last month, which could allow up to five million people now in the country illegally to live and work without threat of deportation, has inflamed Republicans and complicated their calculation over what has often been a routine spending fight.
House Republicans are reviewing a plan by Representative Tom Price of Georgia, who is popular among more conservative members, that offers a hybrid solution: a combination of a broad-based spending bill that would keep the government funded through September 2015 and a stopgap spending measure to pay for operations of the Department of Homeland Security, the agency with primary responsibility for carrying out Mr. Obama's immigration action.
That plan, which is being called the "Cromnibus" for its combined elements of a continuing resolution for the short-term portion and omnibus for the broader-based spending, is likely to be considered when House Republicans gather Tuesday morning in a closed-door meeting.
The rationale behind the short-term measure is that Republicans could revisit it early next year when they will control both chambers of Congress and, they believe, have more leverage in negotiating with Mr. Obama over immigration.
A complicating factor, however, is that the primary agency responsible for carrying out the president's executive action is the United States Citizenship and Immigration Services, which is financed entirely through fees collected from immigration applications and therefore cannot be defunded in the appropriations process.
Members of the House and Senate Appropriations Committees are still pushing for a clean spending bill, which they plan to have ready by next week. But Mr. Price, who is not a member of the Appropriations Committee, could help rally reluctant Republicans behind the legislation.
House Republicans also are considering taking legal action, either adding an immigration component to a lawsuit Speaker John A. Boehner filed last month against the Obama administration over the Affordable Care Act, or filing a new suit challenging the president's executive action.
Some of them are also talking about a separate bill to undo the executive action — though unless Republicans attach it to a broader piece of policy legislation Mr. Obama supports, Senate Democrats are unlikely to bring it to a vote. And even if they do, Mr. Obama is likely to veto it.
Republicans have another avenue to try to force Mr. Obama to agreement: blocking the president's nominations. Senators Ted Cruz of Texas and Mike Lee of Utah have already promised to subject Loretta Lynch — the president's choice to replace Eric H. Holder Jr. as attorney general — to tough scrutiny over her views on the constitutionality of Mr. Obama's executive action. And the recent resignation of Chuck Hagel as secretary of defense sets up another tough nomination fight for Mr. Obama.
Speaking on the Senate floor Monday, Senator Harry Reid, Democrat of Nevada and majority leader, warned that with the long list of tasks lawmakers hope to accomplish in the lame-duck session — funding the government, approving new ambassadors and extending some tax cuts, among other issues — they should be prepared to work into their winter recess.
Jeh Johnson, the secretary of Homeland Security, is to testify before a House committee on Tuesday.CreditAlex Wong/Getty Images
He added that Congress might have to stay in Washington until the week before Christmas but, he hoped, "not into the Christmas holiday."
Mr. Boehner and his Republican leadership team, as well as Senator Mitch McConnell of Kentucky, the incoming majority leader, have all been clear about their desire to avoid a government shutdown at nearly all costs. The shutdown last year, over Mr. Obama's signature health care law, hurt Republicans, who say they need to show the country that they are capable of governing.
Nonetheless, a handful of conservative Republicans are so incensed at Mr. Obama's immigration action that they refuse to take any option off the table, including a shutdown.
Another group of House Republicans, including Representative Mario Diaz-Balart of Florida, is quietly continuing to work on its own incremental immigration legislation. The proposal would most likely start with the border security measures favored by all Republicans, but also address other issues within the immigration system, including the illegal immigrants already in the country. No legislation out of the House is likely to happen until the new Congress.
Representative Mick Mulvaney, Republican of South Carolina, said that Republicans were likely to settle on some version of Mr. Price's plan. But, he said, House Republicans nonetheless need to send a strong public message that conveys their anger and frustration with Mr. Obama's unilateral action on immigration.
"Folks understand we won't fix it now, but they won't understand if we don't send a message to the president that we don't agree with what he did," Mr. Mulvaney said.
On Tuesday, both the House Homeland Security Committee and the House Judiciary Committee have scheduled hearings on Mr. Obama's executive action. Jeh Johnson, the secretary of Homeland Security and one of the architects of Mr. Obama's action, is set to testify before the Homeland Security Committee.
Mr. Johnson will tell the committee that the unauthorized immigrants who will receive protection under Mr. Obama's order "are not priorities for removal."
"It's time we acknowledge that and encourage them to be held accountable," he will say, according to his prepared remarks that were released Monday. "This is simple common sense."
Democrats are eager to keep the pressure on their Republican rivals. As news of Mr. Price's plan spread before the Thanksgiving break, House Democrats were quick to label the option "a government shutdown, partial or otherwise."
Senate and House negotiators also worked through the afternoon Monday to save legislation that would reinstate around 55 tax breaks for businesses and individuals, which expired last year and would have to be revived retroactively by Dec. 31. If Congress fails, taxpayers will not be able to claim the tax benefits this year.
The House is preparing to vote soon on a measure that would restore the tax breaks retroactively for this year only, effectively putting off the broader tax discussion to next year, when Republicans control Congress.
Mr. Reid and Representative Dave Camp, Republican of Michigan and chairman of the Ways and Means Committee, had neared a $440 billion tax agreement last week before a presidential veto threat sent them back to the negotiating table. Now, Senator Ron Wyden, Democrat of Oregon and Finance Committee chairman, is trying to add more benefits for the working poor to win over the White House.
Jonathan Weisman contributed reporting.
A version of this article appears in print on , Section A, Page 15 of the New York edition with the headline: Republicans Try to Balance Immigration Action While Avoiding a Shutdown. Order Reprints | Today's Paper | Subscribe
Boehner Uses New Mandate to Muffle Talk of a Shutdown
Boehner Says Obama's Immigration Action Damages Presidency

redpajama_set_name: RedPajamaCommonCrawl


text:
An archive aiming to document feminist bands of the 1970s and 1980s in the UK and Ireland has launched. The Women's Liberation Music Archive, put together by Dr Deborah Withers and Frankie Green, collates cuttings, recordings, photography, memorabilia, and oral histories from those involved. The focus is on grassroots musicians who were part of the Women's Liberation Movement (although contemporaneous female artists and groups, and those who achieved considerable success have also been included).
Green and Withers said in a blog post: "The archive has always been seen as a work in progress and once the process of networking, gathering material and mapping women's music during the 1970s and 80s began, we realised how much there is to document, and that this is – hopefully – just the beginning!"
Listen to a track from the archive by Amy And The Angels below:
Amy and the angels - I hate being in love - komplett by DeborahM
Released in August, the three albums are available for pre-order now


This is the fifth release of Western Ridge. Giving significance to the place that the wine comes from is integral to the future of the Barossa and, of course, Elderton. The hamlet of Greenock sits on the Western Ridge of the Barossa Valley. We thought it was a nice name to give to our 'reserve' Grenache blend – without mentioning the concept of 'reserve' which often struggles for meaning in a world full of marketers.
Our vineyard, located in Greenock in the west of the Barossa Valley was added to the Elderton family in 2010 and is a great addition to the portfolio. The 60 acre vineyard has plantings back to 1915 and a terroir that has been in demand by many of the Barossa's elite winemakers. Estate grown on the old Helbig vineyard; Grenache planted in 1969 and Carignan in 1915.
The two varieties were handpicked and placed into the crusher simultaneously. Fermentation in open top concrete fermenters at relatively cool temperatures to ensure the freshness of the fruit character was preserved, with intention that the wine be luscious and textural, yet be as far from the blockbuster concept as possible.
Free draining and rich in ironstone. Very sandy in some spots.
Truth be told, it's a beautiful wine.


Back in Berlin I started an explorative study under the supervision of PD Dr. med Adrian Schreiber, who specializes on ANCA vasculitis – a rare autoimmune disorder. Using flow-cytometry we investigated several leukocyte subpopulations in urine samples from affected patients to assess disease activity and identify new biomarkers to facilitate diagnostic and therapeutic decision making. We hope this could eventually serve as surrogate for renal biopsy.
After establishing a protocol and recruiting patients in Berlin for six months, I was able to move to London to continue the project at University College London (UCL) under the supervision of Prof. Alan Salama, thanks to the TRENAL program.
Through this unique opportunity I can recruit even more patients suffering from this rare condition and compare patient populations from Berlin and London, thus hopefully making my results more reliable. Moreover, I can learn new skills and techniques while enjoying a very young and international workplace. On top of all that living abroad for some time, especially in an amazing city such as London, is a great experience that I will never forget.


text:
Real Scout
San Francisco Neighborhood Guide
North Bay Neighborhood Guide
Past Developments
Vanguard Experience
Culture & DNA
320-330 Judah Street
San Francisco, CA 94122 / Inner Sunset, SF District 2, SAN FRANCISCO COUNTY
MAP HERE
Mortgage Calculator Schedule a viewing
We are pleased to present the extraordinary opportunity to acquire a 100% fee simple interest in 320 Judah Street, a three story over basement office building totaling 11,509 square feet. This remarkable building served as the headquarters, warehouse and sales office of prolific San Francisco builder Henry Doelger. Constructed in 1932 in a bold Art Deco design, the Doelger Building was one of the neighborhood's first Modern buildings and functioned as Doelger's base of operations for nearly two decades. 320 Judah has been painstakingly renovated into a thoroughly modern building while retaining its extensive historic attributes and character. Historical Landmark Designated Building Combination of Art Deco and Streamline Modern Design Completely Remodeled in 2015 Fully Modernized and Seismically Retrofit Eligible for Residential Condominium Conversion Building includes three APN numbers: 1763-020, 021, and 019c
Courtesy of Robert Kirsten, Keller Williams San Francisco. The data relating to real estate for sale on this web site comes in part from the Internet Data Exchange (IDX) of the San Francisco Association of REALTORS Multiple Listing Service. Real estate listings held by brokerage firms other than Vanguard Properties, Inc. are marked with the IDX logo and detailed information about them includes the name of the listing brokers. The information being provided is for consumers' personal, non-commercial use and may not be used for any purpose other than to identify prospective properties consumers may be interested in purchasing.
Information has not been verified, is not guaranteed, and is subject to change. Last Updated: 01/22/2020
Search Luxury & International
Sign up to Receive our Weekly Open Homes Newsletter
info@vanguardsf.com
© 2008-2020, Vanguard Properties. | Terms & Conditions
Vanguard Properties, Lic. 01486075. Robert Brisbane, Lic. 01431866
Site Design & Development: HDSF & MattEwers.com


The plant has been growing nicely and is about four feet high. The flowers have been drying up and the top leaves have been curling. I have seen aphids and have applied an Ortho product for vegetables and flowers. Is there anything else I can do since the insecticide doesn't seem to be making any difference?


You may be closer to earning a Degree than you know!
The Life Experience Assessment Program (LEAP) is designed to apply college credits towards the Degree Program of the student's choice. This affords the student to be credited with what they have already learned. In addition, students who qualify for LEAP may be able to reduce their course load by as much as 30%.
LEAP is designed to bestow college level credits to individuals who submit valid and verifiable information on their resume to be accredited towards their Degree Program. Prior learning, work/ministry/military experience, seminars attended, books read and professional licenses, certificates and diplomas are evaluated for credit. LEAP also allows a student to have up to 30 credits awarded towards their Degree Program.
The applicant must complete a Portfolio Assessment Evaluation which is required to review and calculate total credits to be awarded for prior learning and professional credits earned. The cost of the Portfolio Assessment is $300.00. This Assessment Fee must be paid in full at time of application/enrollment and is non-refundable.
There will be a $13.33 assessment fee applied towards every Life Experience credit awarded towards your degree program.
In addition to completing the Portfolio Assessment Evaluation, the student must also complete a 400 question Bible knowledge exam. This is a College-Level Examination. This rigorous program allows students from a wide range of ages and backgrounds to demonstrate their mastery of introductory college-level material and earn college credit. Students can earn credit for what they already know by getting qualifying score upon completing this examination.
Complete and submit the CBIS LEAP application. There is a one-time non-refundable $300.00 Portfolio Assessment fee that is due and must be made payable upon submission of your LEAP Application.
Your application will not be reviewed if payment has not been received for the Portfolio Assessment. You may mail your completed LEAP Application to the CBIS school address along with the required fee in the amount of $300.00.
If you qualify for the LEAP Program you will also be required to pass the 400 question CBIS Bible Knowledge Equivalency Exam. There is an $100.00 fee for taking this exam.
Submit your completed LEAP Application along with the required documents to complete your Portfolio Assessment.
Receive a passing score of no less than 70% on the Bible Knowledge Equivalency Exam.
Be sure to follow the following instructions carefully before submitting your LEAP Application. Failure to submit accurate information will be grounds for rejection of your application.
The CBIS Bible Knowledge Equivalency Exam will be emailed to you after the Portfolio Assessment fee has been made.
Email us at leap@christianbibleinstitute.net for more information or call us at 888-360-0004.


The Farnum House Inn is a historical bed and breakfast & event venue. A stately antebellum colonial farmhouse, circa 1785. It's seated in a beautiful setting of live oak trees on five acres of gardens.
The Farnum House Inn is located between Charleston and Columbia. Only 26 minutes outside of Columbia the state capitol of South Carolina. The Farnum House Inn is just 12 minutes north of Orangeburg, 2.2 miles off I-26 Burke Road–Exit 139. 75 minutes to Charleston. Two hours to Hilton Head, 2.5 hours to Charlotte, NC or 3 hours to Atlanta, GA.
Contact the innkeeper to book your stay!
Large friendly dogs are on the property and will enjoy greeting and playing with you. You won't want to miss the 10-week-old Saint Bernard puppy, aptly named, Farnum Rumph.


text:
Auf dieser Unterseite zum Frauenturnier im Beachhandball bei den Central American and Caribbean Sea and Beach Games werden die Kader und ausgesuchte Statistiken zu den Mannschaften gesammelt.

Dominikanische Republik

 Trainer: Marcos Benítez Javier
 Co-Trainer: Jorge Peralta

Kolumbien

 Trainer: Carlos Luis Miranda Romero
 Co-Trainerin: Sandra Corima Bonilla Pardo
 Betreuer: Marcio Da Rocha Magliano, Padro José Martínez

Martinique

Als einzige der sechs Mannschaften schöpfte Martinique nicht die mögliche Zahl von zehn nominierbaren Athletinnen aus und trat mit nur sieben Spielerinnen an. Die Mannschaft war zudem überaus jung, fünf Spielerinnen waren zwischen 20 und 21 Jahren, mit der 16 Jahre und acht Monate alten Assia Salomé Aavit hatte die Mannschaft auch die jüngste Spielerin in ihren Reihen. Einzig die kurz vor dem Turnier 42 Jahre alt gewordene Stéphanie Marie Edon stach altersmäßig heraus und brachte Erfahrung in die Mannschaft bei ihrem ersten internationalen Nationalmannschaftsturnier ein.

 Trainer: Rodolfo Romain Mata
 Co-Trainer: Laurence Andrea Germany

Mexiko

 Trainer: Miguel Ángel Contreras de la Mora

Puerto Rico

Venezuela

Hernairy Vargas, Iskary Águilar und ersetzten kurzfristig Saimer Loyo, Elaine Pacheco und Anglys Noguera.

Anmerkungen

2022
Beachhandball-Wettbewerb in Kolumbien
Sport (Santa Marta)
Handballveranstaltung 2022
Kaderliste
Liste (Beachhandball)

redpajama_set_name: RedPajamaWikipedia


It was two weeks after the massive 7.8 magnitude earthquake hit Nepal when we finally, cautiously, starting moving back into our homes. After spending rainy nights in tents and cars, we were ready to be back in our beds. Nepal suffered tremendous losses, and there would be years of recovery to come. But for now, aftershocks were minor, rubble was cleared away, and media outlets and geologists verified that it was safe to move back into our homes. The worst seemed to be over.
Not everyone was lucky enough to resume their lives so quickly. Some houses were unlivable after the earthquake. Rural districts near the epicentre of the quake experienced the worst of it. Older buildings without concrete foundations were more vulnerable to earthquake damage. Villages in Gorkha and Sindhuli were nearly entirely flattened by the earthquake. Once our team was back in the office in Kathmandu, we refocused our efforts on how to provide relief to people who lost everything.
On May 12th our team was in the office when we heard the glass window of the office rattle and ground beneath us tremble. At first we thought it was just another minor aftershock that would pass in a couple of seconds, but what started out as a slow rumble was now getting larger in amplitude and didn't seem to stop.
We rushed outside and headed to an open space nearby. We held on to each other till we found our balance. When we looked around we saw the metal structure of the indoor soccer ground behind our office swinging from left to right like it was balancing on jelly. A terrified woman began crying beside us and one of us held her in our arms to comfort her. There were people all around us, elderly men and women, and children--even two dogs had found their way to safety.
A few minutes later, the ground stopped shaking. We ran into the office to grab our phones, and found the cell phone network was jammed with people trying to connect with their loved ones. When we were able to reach our families and make sure they were alright, we returned home.
Thankfully, the second earthquake wasn't as deadly as the last because so many people were still on high alert from the continuing tremors. But buildings that were weakened by the first earthquake were flattened by the second one. A health clinic in Kathmandu had been evacuated due to structural damage after the April 25th earthquake and the second earthquake left it in ruins.
Another disaster hit us just as we were starting to believe that it was safe. The second earthquake has left us with psychological damage. Riding around Kathmandu, we still see people camped in tents in nearly every open space, and it's hard to imagine they will find more permanent shelters any time soon.
These earthquakes have left thousands of people without a place to call home. Some areas in Nepal are no longer accessible by road and have lost access to all their basic needs including food and shelter. These people have now lost their source of income and are entirely dependant upon food donations.
Over the past few weeks, we've been working round the clock to distribute solar lanterns, charging stations, and water purification systems to communities in need. But we know that the road to reconstruction will be a long one, and we must allocate resources wisely in order to maximize our long term impact. For example, we want to make sure that community solar systems end up in schools and health clinics where they can continue to benefit entire communities. We are working closely with our partners to ensure that we can keep track of the systems once they have been distributed.
But the second earthquake has left people with psychological scars which will take longer to heal. During relief work with our partners, our team has seen strength and resilience from the people of Nepal. We believe that Nepal has a long journey to recovery but with the outpouring help that the country is receiving, we will rebuild stronger than before.


text:
Law Finder Live
India's first Intelligent Legal Database. Live updates as it happens.
DocId Search
Whether an FIR can be registered against a person accused of offence punishable under section 174-A IPC?
Sachin Kaushik, Advocate
Punjab & Haryana High Court, Chandigarh
What prodded me to write this Article is that in a slew of orders passed by the subordinate courts of Judicial Magistrates, especially in Haryana state, it is usually observed as a general practice that the said courts after declaring the accused a proclaimed offender or proclaimed person under section 82 of Code of Criminal Procedure, 1973 (hereinafter referred to as CrPC) direct the SHO of concerned local police station having jurisdiction to register FIR under section 174-A of Indian Penal Code, 1860 (hereinafter referred to as IPC) against the said proclaimed offender or person, as the case may be. This particular approach of the said courts is against the mandate of procedural law governing criminal trials i.e. CrPC and hence, such illegal orders are liable to be quashed on this score only. Needless to say that such type of orders passed by the said courts transcend the machinery of law and would impinge on the civilized society.
Now, what makes us perturbed that if this is so, then, what would be the appropriate procedure to be followed by the subordinate courts while initiating legal action against such a person who disobeys the orders of the court and does not appear in response to proclamation u/s 82 CrPC? In order to demystify this, we must take aninsight into the provisions enumerated in the CrPC prescribing the procedure to be pursued while initiating a legal action against a person accused of offence punishable under section 174-A IPC. Section 195 is the only provision governing mode of procedure to be kept in mind and followed by the courts while taking cognizance of the said offence. The relevant portion of Section 195 is being reproduced below for the sake of expediency:
195. Prosecution for contempt of lawful authority of public servants, for offences against public justice and for offences relating to documents given in evidence. - (1) No Court shall take cognizance -
(a) (i) of any offence punishable under sections 172 to 188 (both inclusive) of the Indian Penal Code (45 of 1860), or
(ii) of any abetment of, or attempt to commit, such offence, or
(iii) of any criminal conspiracy to commit such offence, except on the complaint in writing of the public servant concerned or other public servant to whom he is administratively subordinate;
(b) (i) of any offence punishable under any of the following sections of the Indian Penal Code (45 of 1860), namely, sections 193 to 196 (both inclusive), 199, 200, 205 to 211 (both inclusive) and 228, when such offence is alleged to have been committed in, or in relation to, any proceeding in any Court, or
(ii) of any offence described in section 463, or punishable under section 471, section 475 or section 476 of the said Code, when such offence is alleged to have been committed in respect of a document produced or given in evidence in a proceeding in any Court, or
(iii) of any criminal conspiracy to commit, or attempt to commit, or the abetment of, any offence specified in sub-clause (i) or sub-clause (ii), except on the complaint in writing of that Court or by such officer of the Court as that Court may authorise in writing in this behalf, or of some other Court to which that Court is subordinate.
The section falls under the "Chapter XIV - Conditions Requisite for Initiation of Proceedings" and starts with a headline `Prosecution for contempt of lawful authority of public servants, for offences against public justice and for offences relating to documents given in evidence'. The headline and explicit wordings of the section suggest that the ambit of this section is limited for the prosecution of prescribed offences i.e. Sections 172 to 188 IPC (both inclusive) and Sections 193 to 196 IPC (both inclusive) and Sections 199, 200, 205 to 211 IPC (both inclusive) and section 228 IPC and sections 463, 471, 475 or 476 IPC or their attempt or conspiracy or abetment and no court shall take cognizance of the said offences, except on the complaint in writing of the public servant concerned or court, as the case may be. From the bare and meticulous reading of the said section, it is conspicuous that no court can take cognizance of offence punishable under section 174-A IPC, except on the complaint in writing forwardedby the concerned court to the Magistrate having jurisdiction or to the Chief Judicial Magistrate, which implies that any direction or order by the Magistrate for registration of FIR u/s 174-A IPC is nothing but a flout.
Two more points would bolster and espoused my stand on this particular issue are that firstly, it can be argued easily by the ones who lambasting that the meaning of the word `complaint' in section 195 can be liberally interpreted to the extent that an FIR can be regarded and treated as complaint in these circumstances. Yours truly answer to this flak is a big NO as the legislature never intended to do so. The obvious reason is that the object of imposing this limitation is to save the accused from vexatious or baseless prosecutions prompted by vindictive feelings and to adopt one of the principles of natural justice i.e. no one can be judge in his own cause (NemoJudex In CausaSua) and further, the section starts with words `No Court Shall Take Cognizance' and coupled with exception `except on the complaint in writing' which in itself shows the court can take cognizance only on the complaint in writing forwarded to it. Moreover, section 2(d) of CrPC postulates that complaint means any allegation made to a Magistrate and the word complaint used in section 195 also entails the same meaning. Secondly, one can easily say that the particular provision was inserted in the code in the year 1973, but, section 174-A was incorporated in IPC by way of amendment in year 2006 and the legislature did not amend section 195 corresponding to that section and therefore, section 195 is not applicable on section 174-A IPC. This argument is absolutely fallacious and is superfluous as had it been the intention of the legislature to make section 195 CrPC not applicable on section 174-A IPC, then, it would have amended section 195 to that extent and carved out an exception, but, this has not been done so and moreover, it is trite law that the legislature is presumed to know the existing laws. Further, section 195 CrPC applies to offences punishable for contempt of lawful authority of public servants and Section 174-A IPC also falls under the Chapter -X"Of Contempt of Lawful Authority of Public Servants", which makes the intention of the legislature to include section 174-A IPC in section 195 CrPC very apparent.
"Justice must not only be done, but must be seen to be done". While rendering a decision and imparting justice, the above said golden lines of legal jurisprudence must be clung to the dogmatic and unprejudiced approach of the courts. It is a clarion call for adopting a just mechanism of law to mete out justice. Courts must adopt a procedure which can pave the way for both the parties to seek justice.
With these remarkable words, it is, hereby, concluded that it is the bounden and unforgettable duty of the subordinate courts that the must adopt and follow the prescribed procedure before initiating proceedings against an accused so as to espouse the tenacious belief of people in the judicial system. Therefore, the prescribed procedure as enumerated in section 195 CrPC must be followed by the subordinate courts after declaring a person as proclaimed offender or proclaimed person, as the case may be.
© Chawla Publications (P) Ltd.


Searching for hotels in Yeovil (United Kingdom) or Yeovil accommodation? The town of Yeovil is located in England's West Country, in the county of Somerset, is small, but offers a wide range of fairly unique attractions to the visitor.
There are two train stations in Yeovil – Yeovil Junction and Yeovil Pen Mill, so trains are a popular means of reaching the town. You could also opt for a bus, and once in town, walking should get you to most of the attractions in the town.
For something a little different, make use of the helicopter taxis, which are offered for free by Augusta Westland Helicopter Company, which has its factory in the town. The singer PJ Harvey is also from this small town, and still spends time there, so you might just be able to do a little celeb watching while you are in Yeovil too.
You will not find big hotels in this little town, but there is a local establishment, namely the Hollies Hotel, that is worth considering. Since the hotel also contains a restaurant and pub, it is also a great place to enjoy a meal, and mingle with the locals over drinks.
- Browse the Yeovil Map or compare Yeovil accommodation from Hotels, Motels, B&Bs, Lodging & Hostels to Holiday & Caravan Parks.
Resources, Information and guides on Yeovil. For things to do, attractions, restaurants, holidays and sites refer below.
About Page: Yeovil Motels, Family Packages, Holiday Stays, Caravan Parks, Apartments, Hostels, Last Minute Yeovil accommodation, 5 star Luxury to 2 star Budget hotels and resort deals. Compare Yeovil hotel reservations, bookings and cheap rates.


In California many guns remain in the hands of abusers. "We have these federal laws and these state laws, but they're not necessarily being enforced," said Nancy Lemon, who teaches domestic violence law at UC Berkeley.
When Colsaria Henderson first saw the letters, she was shocked.
As the director of programs for Next Door Solutions to Domestic Violence in San Jose, several survivors who had filed restraining orders started coming to her with letters they received this year from the Superior Court of California, County of Santa Clara.
"The restrained person has failed to offer satisfactory proof that he or she has relinquished the guns, firearms, or ammunition as required by law," the letters all said, alerting survivors that their abusers had not surrendered their guns as required by law.
Knowing this, said Henderson, often caused survivors intense fear.
One survivor, a mother of two from Santa Clara County, had come to Next Door Solutions after her long-term partner repeatedly assaulted her—including strangulation. She secured a restraining order and notified law enforcement about the firearms he kept at his workplace, and finally felt safe, said Henderson. But he violated the restraining order, and months later she got the letter saying he never surrendered his guns.
"She was really frightened upon receiving the letter," said Henderson.
So instead of continuing to seek help through law enforcement, the woman went into hiding, leaving her home to go live in a place where she hoped he couldn't find her.
This woman is not alone. Despite having some of the country's toughest gun laws related to domestic violence, a lack of resources at local police departments often means that gun relinquishment laws go unenforced—leaving survivors in danger.
Federal law bars those who have been convicted of a domestic violence misdemeanor or who are the subject of a domestic violence restraining order, from possessing firearms.
California has even tougher laws that restrict an abuser's access to ammunition and require law enforcement to confiscate firearms—either in plain view or discovered during a consensual search—at the scene of a domestic violence incident. In addition, anyone who is the subject of a domestic violence restraining order must relinquish their guns by selling them to a licensed dealer or by giving them to law enforcement within 24 hours.
These laws are associated with lower rates of intimate partner homicides, according to a 2017 study published in the Annals of Internal Medicine. State relinquishment laws such as California's are associated with a nearly 10 percent lower rate of intimate partner homicide, and a 14 percent lower rate of gun-related intimate partner homicide.
Still, in California many guns remain in the hands of abusers.
"We have these federal laws and these state laws, but they're not necessarily being enforced," said Nancy Lemon, who teaches domestic violence law at UC Berkeley.
More than 10,000 Californians are barred from having guns because of domestic violence or felony convictions—but remain armed, according to the state's Department of Justice.
"This is trusting the word of a person who is alleged to be an abuser," she said.
Henderson said that in her work—Next Door Solutions gets 20,000 domestic violence hotline calls per year, she said—she has yet to see relinquishment properly enforced.
The consequences of leaving a gun in an abuser's hands can be deadly.
Every month, 50 women in the United States are shot and killed by intimate partners, according to the nonprofit Everytown for Gun Safety, and the presence of a gun makes it five times more likely that a woman will be killed in a domestic violence incident.
Guns can also be used for harm in other ways.
"Even if a gun is never fired, it can be used to keep one's partner compliant, and just knowing that the firearms exist in the house, or if their partner owns one in general, can make them fear for their safety," said Jessica Merrill, communications manager for the California Partnership to End Domestic Violence.
But some law enforcement agencies have proven effective.
In 2007, the San Mateo County Sheriff's Office started a pilot Domestic Violence Firearms Compliance Unit to investigate all civil domestic violence restraining orders. (Butte County was also part of the pilot program.) A state grant funded two full-time detectives to review orders and check firearm and other law enforcement databases to determine how many guns may be in the restrained party's possession. If firearms haven't been relinquished, a judge could issue a search warrant to seize the firearms.
"Right around the same time, our firearm-related domestic violence homicides dropped significantly," said Sgt. Linda Gibbons, who oversees the program.
In the first three years of the program, said Gibbons, San Mateo County had zero firearm-related domestic violence homicides. In the previous three years, there had been three.
Since the program started, the unit has confiscated 1,640 guns.
The Domestic Violence Compliance Unit lost state funding in 2010, but its success led to permanent support from the San Mateo Board of Supervisors. While it's the only program of its kind in California, Gibbons said it could be replicated throughout the state.
"You could institute this program anywhere as long as you have the personnel and resources," she said.
Getting guns out of the hands of batterers isn't just about protecting the lives of partners and children—it's also about protecting the entire community, research has shown.
According to Everytown, 54 percent of mass shootings are connected to domestic or family violence—with shooters killing intimate partners or family members—and 34 percent involved an assailant who was prohibited from possessing firearms.


Isolation of human adenovirus type 5 variants resistant to the antiviral cidofovir.
Department of Ophthalmology, Eye and Ear Institute, University of Pittsburgh Medical Center, Pennsylvania 15213, USA.
Y J Gordon, T P Araullo-Cruz, Y F Johnson, E G Romanowski, P R Kinchington; Isolation of human adenovirus type 5 variants resistant to the antiviral cidofovir.. Invest. Ophthalmol. Vis. Sci. 1996;37(13):2774-2778.
PURPOSE: Cidofovir (S-HPMPC) is a potent broad-spectrum antiviral drug with potential clinical application against infections caused by human cytomegalovirus, herpes simplex virus, and adenovirus (AD). This study sought to determine whether variants of AD5 could be isolated in vitro that demonstrated increased resistance to this new antiviral drug. METHODS: Homogenous stocks of wild-type AD5 (ATCC strain VR-5) were generated from isolated plaques grown in A549 cells. The stocks subsequently were serially passaged in cells containing increasing levels (from 5 to 75 micrograms/ml) of cidofovir. The recovered virus either was passaged, titrated, or assayed for 50% inhibitory concentration (IC50) of cidofovir. RESULTS: Three independently isolated variants were obtained that demonstrated increased resistance to cidofovir. Viral resistance to the drug increased on stepwise passage in higher concentrations. Compared to the ATCC AD5 reference (IC50 = 6.2 micrograms/ml), stable cidofovir-resistant variants showed fivefold to eightfold resistance (AD5 RI IC50 = 36.5 micrograms/ml; AD5 R2 IC50 = 36.7 micrograms/ml; and AD5 R3 IC50 = 32.6 micrograms/ml; analysis of variance, P = 0.000001). However, a variable number of passages (1 to 13) at each concentration of cidofovir was performed to obtain robust infectious virus suitable for testing at the next higher concentration. All resistant virus isolates grew to levels of virus titer comparable to the parental virus and showed no apparent phenotypic changes in growth rates, plaque size, or efficiency of plaque formation. CONCLUSIONS: The successful isolation of AD5 variants in tissue culture resistant to cidofovir has important clinical implications with respect to the anticipated use of this antiviral drug in treating adenoviral ocular infections.


text:
Q: How to convert the datatype from Integer to Text? For one Column situation, the the duplicated question with answer is shown in: Parameter substitution for a SQLite "IN" clause
I want to copy data from ColA and ColB of the oldTable into the newTable. The ColA and ColB in oldTable have datatype of INTEGER.
By copying the data, I also want to check if ColA or ColB are a part of a string (in this case, the TextTemp).
My problem is: ColA and ColB have the datatype of INTEGER, and the TextTemp is TEXT format. Different datatype cannot be compared.
Thus the question: How can I convert data in ColA and ColB from INTEGER into TEXT?
Here is my code in Python. The 15, 3, 44 and 9 from ColA or ColB should be copied.
TextTemp = "15 3 44 9"  #String format, but all numbers, with empty spaces
TextTemp = "15 3 44 9".split() #Convert TextTemp into TEXT format
cur.execute('''CREATE TABLE newTable AS
             SELECT * FROM oldTable
             WHERE ColA IN (%s)
             OR ColB IN (%s)''' %
             (','.join('?'*len(TextTemp)), TextTemp)
             (','.join('?'*len(TextTemp)), TextTemp))

The error message: TypeError: not enough arguments for format string
I am pretty sure that the code above is very near its final correct version, but I just don't know how to change it.
PS: I cannot use a for loop, so please help me to solve the problem in the above method.

A: It is easiest to make placeholders for the query outside the cur.execute.
Both of your in queries need n comma separated question marks.
>>> to_find = "15 3 44 9"  # String format, but all numbers, with empty spaces
>>> to_find = to_find.split() # Convert TextTemp into TEXT format
>>> to_find
['15', '3', '44', '9']
>>> placeholders = ','.join('?' * len(to_find))
>>> placeholders
'?,?,?,?'

Then we fill in the query. I will use .format instead of the old-style formatting as it is easier to substitute the same value many times with the new-style formatting:
>>> query = '''CREATE TABLE newTable AS
               SELECT * FROM oldTable
               WHERE ColA IN ({0})
               OR ColB IN ({0})'''.format(placeholders)
>>> print(query)
CREATE TABLE newTable AS
               SELECT * FROM oldTable
               WHERE ColA IN (?,?,?,?)
               OR ColB IN (?,?,?,?)

As each ? is bound to a distinct parameter from the parameter list and we now have 2 * n placeholders, we need to duplicate the substituted values too, hence tofind * 2:
>>> to_find * 2
['15', '3', '44', '9', '15', '3', '44', '9']
>>> cur.execute(query, to_find * 2)

And here's the code in final compact form
to_find = to_find.split()
placeholders = ','.join('?' * len(to_find))
query = '''CREATE TABLE newTable AS
           SELECT * FROM oldTable
           WHERE ColA IN ({0})
           OR ColB IN ({0})'''.format(placeholders)
cur.execute(query, to_find * 2)

redpajama_set_name: RedPajamaStackExchange


Motion to approve the minutes of the August 31, 2013 Fall Membership meeting as posted on the Association website (Hatch/Hubbard). Motion carried.
Motion made to accept the Treasurer's Report as presented by Patrick Maioho with a total fund balance of $142,778.61 (Julien/Korhonen). Motion carried. The Weed Assessment Fund has a balance of $46,402.91. Professional Lake Management has been paid in advanced for proposed treatments in order to achieve a significant discount.
Guest: Pierson Township Supervisor, Brian Longcore: Due to budget constraints, there will be no updates/renovations to the boat launch this year. The township will fund the trash receptacle and port-a-john for the summer season. There have been discrepancies in regard to the sewer funds as collected from Little Whitefish Lake residents. Montcalm County has requested the township to raise the assessment for LWL by $400 for the next 27 years in order to resolve the problem. Brian has thus far refused to tax the LWL this additional amount until a full written account of the funds has been provided by the county. This has no bearing on the sewer funds as assessed and collected for BWL.
Winterfest (Mary Underwood) — A successful February 2014 event. In the future Winterfest will always be held on the 1st Saturday of February.
Meet & Greet Party (Kathy Gleason) — Laura Roggenbuck & Patty Zerkle have secured new live entertainment for this year's event which will take place on June 27 at the Loon's Nest. Discounted tickets for advance purchase. Volunteers are needed.
Fun Run/Walk (Eric Cavalli) — Requesting volunteers to help with this event (the largest attended Association function).
Boat Parade (Cheryl Stormzand) — Pictures of all entries from the 2013 parade are in this year's directory. The theme for 2014 will be "Favorite Movie", participation wanted!
Fire Works (Jerry Poisson) — The contract with Wolverine Fireworks has been signed and a great firework show by this crew is anticipated for the 4th of July.
Gar Pike & Dogfish Contest (Steve Herrema) — Please refer to the directory for details and turn-in time for this event which will take place on July 12.
Fishing Contest (Steve Herrema) — This event will take place on August 4 and the check-in dock will be at the Beyer/Mediema cottages in the cover area (same as last year). Check-in time will close at 7pm sharp. All children 6 years and younger will receive a participation trophy. Results will be published on the new Association website and in the 2015 lake directory.
Pontoon Tie-up (Kathy Gleason) — The date for the annual pre-pontoon tie-up golf scramble is August 9 with a noon shot-gun start at the Whitefish Golf Course, followed by the pontoon tie-up. Be on the lookout for a "to-be-determined" tie-up sometime in July.
BWL Attire (Kathy Gleason) — The orders are not in from the supplier and thus not yet ready for distribution to the members who have purchased items. Janie Durren will call individuals when they are ready and can then be picked up at the Durren cottage (Zone B). Janie may implement a "logo contest" the summer of 2015 which would be used for the 2016 products.
Boat Safety, Regulations & Launch (Jerry Poisson) — The township is not able to control the number and use of the launch for numerous bass contests without involving the DNR.
Dam & Channel Regulations (John Holmes) — A new board has been installed.
Directory (Bob Winkel) — The committee would appreciate more pictures sent by the membership for inclusion in future directories.
Government Liaison/Road Maintenance (Walt DeVries) — Due to reduced budgets the number of roads slated for repair in the Township is down and none of those scheduled are roads around BWL. Elmwood Drive project is being held up as a portion of the road is private. County attorneys will let us know what needs to be done to make this portion of the road public.
Historical Publication (Bert Korhonen) — Books are available for sale for the cost of $35. The books can be purchased from a committee member or at Whitefish Golf Course. A recommendation was made to contact those listed in the directory as "new neighbors" for potential sales.
Land Use & Development (Miles Underwood) — The committee has cleaned off the courts and the Rollins have the nets up.
Membership/Neighborhood Watch (Kathy Gleason) — The Under-Sheriff continues to communicate via email updates. Chris Florentine has requested that another member take over as Chair of this committee. Diane Gilfillan has volunteered to do so.
Sewer Advisory (Bob Cichewicz) — Many cottages left last winter with their power completely off. Power MUST be left on during the winter months in order not to impede the sewer system. All water softeners must be installed so that they do NOT drain into the sewer system. BWL sewer bonds have both been paid off in full. Recommendation made to email residents two times a year to remind them of the "dos and don'ts" of the sewer system.
Trash Pickup (Patrick Maioho) — any issues with trash, please contact Patrick or Don Reichle.
Web Page (Judy Wells Warner) — The new website is up and running (www.bigwhitefishlake.org). All information that is currently found in the lake directory is also available on the website. Pictures can be sent via email to Judy to be added to the site. There is a "members only" section, all members will receive an email with a pass-code to access this section.
Professional Lake Management (Patrick Maioho) — PLM will be out this week to survey the lake. Due to the unusual spring weather, the only treatment used to date was spot treatment for algae. There has thus far been no sightings of Eurasian milfoil. The health of the lake is excellent.
Lake Ecology (Patrick Maioho) — Swan & gull permits have been obtained, no activity has been required for either as of yet.
Loosestrife beetle planting at Rush Point is showing signs of success. High water limited the number of beetle plantings in the cove. The plantings done near the Hubbard residence will be surveyed when the water level drops.
The DNR will be utilizing the boat launch sometime in August to demo portable boat washing systems.
It is not uncommon to see some fish that have fallen to "winter kill" due to the heavy snow and ice cover. Most of these fish will not appear until 4 to 6 weeks after the final ice has melted. Anything out of the ordinary should be reported to this committee in order that they may monitor the situation and report to the DNR.
The new website has information and photos to help in identifying invasive species, please use this guide and again, contact the committee if you spy something. The website also has information regarding recycling options in Howard City.
Tom Boman reports that there have been incidents of pike in the lake that have Lymphosarcoma. It only effects pike & muskie and is spread by contact with other fish. These fish are not recommended for eating, Dan Buyze will be contacting the fisheries division of the DNR to get a better understanding of the implications of having this in the lake.
President Patrick Maioho would like thank all current volunteers and encourages all members to volunteer. There will be four board terms ending in August 2014. These positions will be voted on at the August 2014 meeting. To find out more information and/or put your name on the ballot contact Patrick.
Meeting adjourned at 10:26 am.


text:
Donkin on Work
Donkin on Fishing
Donkin on Travel
Donkin on Sailing
Donkin Life
Tight Lines - Fishing Blog
Cardinal Points - Sailing Blog
Media Clinic
Donkin on Work - Women
February 2008 – Why women mean business
A few weeks ago I was having some lunch not far from my nearest Volvo dealer. A mobile phone message from the dealer mentioned a special offer. Our family car is a Volvo and we had been thinking about a change so I called at the showrooms, partly out of curiosity, wondering if some startling new technology was tracking my phone.
It turned out to be nothing more than a co-incidence, but since I was there and since the salesman knew he had a potential buyer, we began the ritual of looking and talking about this and that latest model, culminating in a test drive and some serious haggling.
The haggling was very close to a deal. It wouldn't have taken much to swing it. But the salesman seemed curiously diffident, as if he thought he had done as much as was necessary.
I felt frustrated about the whole episode because I knew that he could have done so much better. It's something I have noticed before, dealing with other car salesmen, and I'm wondering if the problem is cultural, based, as I'm sure it is, on the outdated assumption that buying cars involves men selling to men.
This belief was confirmed when reading a new book, Why Women Mean Business, by Avivah Wittenberg-Cox and Alison Maitland who make a convincing case for more women in senior business roles.
The case is supported by sound research. Goldman Sachs, for example, has suggested that gender equality in the labour force could boost gross domestic product by as much as 9 per cent in the US, 13 per cent in the Eurozone and 16 per cent in Japan.
Research published in 2004 by Catalyst, a US think tank, found that the Fortune 500 companies with the highest representation of women in their top management teams significantly outperformed those with the lowest averages. Return on equity was 35 per cent higher while the total return to shareholders was 34 per cent.
Catalyst found the out-performance was even more impressive when three years later it compared the financial results of companies with the highest and lowest representation of women on their boards. The authors quote many such studies telling a similar story. There is no shortage of evidence supporting the contention that the promotion of women in to senior roles is good for business.
So why isn't it happening? Why after a generation of women has moved through careers, protected by equal opportunities and sex discrimination legislation, are there still so few women in the most senior jobs?
Why, when Indra Nooyi was appointed chief executive of PepsiCo in 2006 could the Fortune 500 companies muster just 11 women chief executives? It is not only, as the authors call it, a "yawning gender gap," it is persistent, troubling and wasteful. Women have become probably the greatest neglected resource in business, both in their market potential as consumers and in their productive potential as employees.
Indeed this could well be the reason that I am not driving around in a new car. Had that sale been handled by a woman, had my wife who also came along to see the car, been handled differently, the outcome for the dealer might have been successful.
Carlos Ghosn, chief executive of Renault and Nissan, recognised as much, speaking at the Women's Forum in Deauville, France, in 2006, when he said that women directly made or influenced two-thirds of car purchases in Japan. Nissan carried out surveys, showing that 80 per cent of women buyers and half of men would like to see women sales executives in car showrooms. Yet only one in 10 of the salespeople in the Japanese car industry are women.
I would count myself among that male group. I am sick and tired of badly-dressed salesmen, wearing oversized car coats and poorly-knotted ties, spending too much time talking and too little listening. Are they stupid enough to believe that I am going to buy a car without my wife's approval?
As the authors point out: "It is now fairly common knowledge that the majority of car-buying decisions are made or heavily influenced by women." Yet so little of this understanding has permeated the motor industry that websites have been established in the US to handle women's car buying queries.
The reasons for women's limited advancement in business are many fold and complex as the book makes clear, but I think this particular observation of the authors, which applies across so many other industries, is getting to the root of the problem. It is a fundamental weakness of business models that were designed for a male-dominated world.
Yes there are other factors - including an under-representation of women among MBA students. Many of these issues are associated with the "male environment" of business that tolerates long hours of working and management systems that make a virtue of assertiveness while underplaying other approaches that can be equally, if not more, effective depending on the circumstances.
"Companies are learning that they need to change how they market to women. They also need to change how they manage them," write the authors.
You would imagine, then, that more flexible working arrangements, would have created more openings for women, yet, according to Charles Russam who runs Russam GMS, an interim management agency, relatively few have taken up this kind of work where executives undertake short-term contracts, moving from one to another.
"I have a database of 8,000 interims but only 10 per cent of them are women. I think, however, that more women will be turning towards this kind of work in future," he says.
One problem may be a lack of familiarity with the concept of interim management among women. Carole Harden, who has undertaken an impressive string of interim assignments at human resources director-level, believes that many women do interim work but call it something else. "They may work through word of mouth. I find it helps to make sure your CV and employment details are listed with a number of agencies," she says.
Rachel Youngman who worked in a full time role as deputy executive director of the International Bar Association, left six years ago because she wanted greater flexibility around her work. Today she combines interim roles with consultancy work.
"I wanted diversity, flexibility and opportunities for self-expression, all the things you don't always get in full time employment. In the interim role I feel I'm in the driving seat. I can put my foot on the accelerator and ease off as I choose. But it's very much a career and it's hard work," she says.
In spite of such alternatives, thousands of successful women continue to leave the workforce in mid-career and the number may be increasing according to a recent study by PriceWaterhousecoopers that reported a sharp fall in the number of senior women managers in the FTSE 350 over the last five years.
The real issue, I believe, is not that women need to change but that business needs to change. Senior careers for women should not be about women fitting the demands of the job, but about work changing to meet the needs of women. As the book suggests, we need a revolution in thinking. It could start on the sales floor.
Why Women Mean Business, Understanding the Emergence of Our Next Economic Revolution, by Avivah Wittenberg-Cox and Alison Maitland, is published by Jossey-Bass, price £16.99.
See also: How Women Can Fill The Talent Gap
©2006 Richard Donkin - all rights reserved
site designed & maintained by sgp web design


Nice find, Chris! But I still don't see any comments. By not posting any dissenting comments, and by only presenting one side of the debate, it looks more like this person is generating propaganda instead of academia.
I, of course, believe this blog should be questioned and challenged by what is supposed to be a world class university. If university officials don't publicly challenge this blog, then we must do so in whatever form is most effective.
I intend to question this blog in the media via a letter to the original author of the article in the Toronto Star as well as in an opinion piece to the editor.
The more Dr. Weese tries to control this agenda, the more I will expose him.


Glug | Glug LA: Launch!
Glug HQ with the help of ICHI Worldwide and The Mill LA, present the launch of #GlugLA, the first in a series of engaging, energetic and inspiring talks for the design and creative community. All hosted in a friendly after work atmosphere at WeWork La Brea.
Two Bit Circus (a creative engineering company), Light Sail VR (a VR production company) and Starbeast (a visual effects and storytelling company).
Matthew is a skilled filmmaker with an eye towards telling authentic stories. He's spent the last 10 years in the industry producing, directing, shooting, and editing a variety of narrative and nonfiction projects for Warner Bros. Chevrolet, NBC, Unilever, and others. Light Sail VR is a #storyfirst immersive cinema production company that offers a complete end-to-end solution for creating compelling live action 360 content. Founded by managing partners Matthew Celia and Robert Watts in 2015, Light Sail VR specializes in telling stories with great characters and compelling narratives.
Lou is CFO and Head of Corporate Development at Two Bit Circus. When he is not quashing robot uprisings or risk-managing accidental violations of physics and occasional eyebrow injuries, he is supporting all aspects of the Circus troupe's endeavors to amaze people and get them playing/interacting in meaningful ways. Two Bit Circus is a band of mad scientists, artists, inventors, storytellers and performers who regularly renegotiate the laws of physics in the name of entertainment. Two Bit Circus is currently building its first micro-amusement park, which will be a permanent, 30,000+ square foot social playspace packed with insane immersive entertainment.
Nick found his calling early on, growing up a comic book and film enthusiast and accomplished illustrator. After pursuing formal education at UCLA, he started working as a designer and 3D artist at Los Angeles based VFX/Design studios Motion Theory and MPC in their nascent years. While at these companies he developed into a creative director and director, working on campaigns for clients including Budweiser, Nike, Xbox, Sony, Acura, Guinness, HP and more. Nick's unique brand of storytelling Shortlisted his work for Cannes' Young Director award in 2012 for his short film "Metamorphosis,"created for Conrad Hotels. With expertise spanning live action direction, design, and animation Nick continually pushes the boundaries of physical and digital techniques to create a cohesive vision that stands out and draws audiences in. Nick currently runs and operates Starbeast Digital, a production studio that focuses on creating unique and multi-platfrom media for advertising.


text:
4 day work week: What we know already from scientific research
4 day work week: What we know ...
Breaking away from work has never been more difficult, thanks to the rise of popular work chat programs and easy access to business email via our cellphones at any time. Many businesses, however, have been experimenting with a four-day workweek.
It appears that employee burnout is on the rise. Gallup found that 23 percent of workers said they were burned out at work "often or very often," while another 44 percent said they were burned out "sometimes" in a study of 75,000 employees released in June of last year. In a 2017 research of 614 human resource leaders done by Kronos Incorporated and Future Workplace, nearly half of those polled stated burnout is responsible for up to half of their annual worker turnover.
Now, it appears that an increasing number of businesses are attempting to offset this trend by trying to enhance work-life balance, most notably by trying to implement a four-day workweek. While the four-day workweek is still uncommon, it does appear to be gaining favor.
In an April 2019 poll performed by the Society for Human Resource Management, 15% of the 60,000 US employers claimed they provide a 4-day workweek of 32 hours or less. This is an increase from 13% in 2017 and 12% in 2018. Furthermore, according to the study, firms that implemented the reduced workweek did not experience a loss in production or revenue.
Microsoft recently made headlines when it released the findings of a trial it conducted at a Japanese subsidiary, during which it shuttered its offices every Friday in August. The company discovered that doing so resulted in a 40% increase in productivity.
What countries have a 4 day work week?
1. Spain
The four-day workweek received a notable boost recently when Spain announced a pilot project for employers interested in a trial run of the concept.
Researchers in Iceland discovered that a four-day workweek enhanced workers wellbeing and productivity without reducing their income. Employees in Iceland started working 4 days a week. It didnt hurt productivity, researchers say.
According to a study published by Autonomy, a progressive think tank located in the United Kingdom, researchers tracked 2,500 employees who decreased their workweek to 35 to 36 hours for four years. "Worker wellbeing considerably increased across a range of indices, from perceived stress and burnout to health and work-life balance," the researchers discovered.
At the same time, most workplaces productivity stayed constant or improved, according to the report. Hospitals, offices, playschools, and social service offices were the venues where participants worked.
In Iceland, most employees work 40 hours per week on average, and working more than 13 hours per day is forbidden. When the trial began, staff worked 40-hour weeks, later reduced to 35 to 36 hours. Participants indicated that working fewer hours allowed them to spend more time exercising and socializing, which helped them perform better at work.
The trial reflected the working populations wishes.
"By the time this report is published in June 2021, 86 percent of Icelands working population will have been placed on contracts that have either shifted them to reduced working hours or allow them the right to do so in the future," according to the study. "As a result, these trials are an outstanding success story of working time reduction, which will pique the curiosity of campaigners and employees all over the world."
Is working 4 days a week good?
From Shake Shack to Uniqlo, some other notable companies have attempted converting to a four-day workweek.
Shake Shack is experimenting with a 4-day work week
Since March 2019, the popular burger business has been experimenting with a four-day workweek at several of its Las Vegas stores, with around one-third of the companys outlets currently following suit. Although the four-day workweek is still in its early stages, CEO Randy Garutti stated that the results so far are good on the companys most recent earnings call.
"Were paying attention to our managers, trying to figure out what their lifestyles are like and what they desire," he said. "People are saying, Wow, this is very strong." According to Garutti, the four-day workweek has saved some employees from having to pay for childcare on the fifth day, and it has also prompted others to apply for the position.
Basecamp allows employees to work four days per week during the summer
During the summer, the team at Basecamp, a project management software startup, works four days a week for 32 hours. Although new employees may be required to undergo a training period, the policy is from May 1 to August 31, 2020.
According to Chase Clemons, Basecamps customer service team lead, the 32-hour workweek allows employees to focus on the most critical things to their jobs. "We have to prioritize what we work on since we only have 32 hours," Clemons told the site. "Its not about working quicker, but about working smarter," says the author.
Uniqlo ran a trial that allowed employees to work 40 hours over 4 days instead of 5
Uniqlos parent company, Fast Retailing, stated in 2015 that one-fifth of its employees would be allowed to work a four-day workweek. However, workers must still work 40 hours per week.
Fast Retailing gave the benefit to full-time shop employees to deter employees from transitioning to part-time work to attain a better work-life balance, according to Bloomberg at the time.
Perpetual Guardian adopted the 4-day work week long-term after a successful trial
Andrew Barnes, the founder of Perpetual Guardian, a New Zealand-based estate planning firm, may be the most outspoken backer of the 4-day work week yet. In March 2018, his company conducted an experiment where all 240 of its employees in New Zealand were given one paid day off per week. Employees worked 30 hour weeks but were paid the same and had the same amount of work to complete.
The organization discovered that team engagement had grown considerably following the trial, while work-life balance and stress had decreased. Since November, the corporation has started applying the policy on a long-term opt-in basis. Since then, Barnes has been a strong proponent of the four-day work week, even founding a foundation to support the concept.
Wildbit implemented a four-day workweek in 2017 and has been iterating on the approach since
Software Company Wildbit also ran a trial in 2017 that involved taking Fridays off.
In 2017, cofounder and CEO Natalie Nagele said, "Were pushing ourselves that by limiting our time, well do more focused and essential work than when we had 40 hours to get it all done."
Since then, the corporation has tweaked the format to accommodate busier times of the year. According to Fast Company, it finally switched to giving some support team members Mondays off instead of Fridays, and it has discussed considering shorter workdays instead of entire days off.
Nagele said the company launched more features in its first year of implementing the four-day workweek compared to the previous year. Employees were also able to avoid distractions and focus on important tasks thanks to the technology.
Is working 4 days a week bad?
Treehouse CEO Ryan Carson found that the 4-day work week didnt pan out as planned
Not all trial runs of the four-day workweek have proven successful.
In 2015, Treehouse, a firm that provides virtual seminars for learning to code, experimented with a four-day workweek. However, according to firm CEO Ryan Carson, the policy was scrapped in 2016. Carson remarked, "It generated this lack of work ethic in me that was really damaging to the business and our mission." "It was a horrible situation."
An article by Fadzai Danha, a consultant at Industrial Psychology Consultants, outlines other major aspects of a 4 day work week:
https://www.thehumancapitalhub.com/articles/The-4-day-Work-Week-Everything-You-Need-To-Know
The Association for Sustainable Democracy and Autonomy conducted its research from 2015 to 2019 in two large-scale trials that monitored 2,500 workers. Researchers noted that workers transitioned from stress and burnout to a healthier "work-life balance," according to the study.
Nyasha D Ziwewe is a Software Developer at Industrial Psychology Consultants (Pvt) Ltd a management and human resources consulting firm. Phone +263 4 481946-48/481950 or email: nyasha@ipcconsultants.com or visit our website at www.ipcconsultants.com
Nyasha Ziwewe
This article was written by Nyasha a Guest at Industrial Psychology Consultants (Pvt) Ltd


text:
package aegis

//Licensed under the Apache License, Version 2.0 (the "License");
//you may not use this file except in compliance with the License.
//You may obtain a copy of the License at
//
//http://www.apache.org/licenses/LICENSE-2.0
//
//Unless required by applicable law or agreed to in writing, software
//distributed under the License is distributed on an "AS IS" BASIS,
//WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
//See the License for the specific language governing permissions and
//limitations under the License.
//
// Code generated by Alibaba Cloud SDK Code Generator.
// Changes may cause incorrect behavior and will be lost if the code is regenerated.

// ActionListItem is a nested struct in aegis response
type ActionListItem struct {
	GmtModified  int    `json:"GmtModified" xml:"GmtModified"`
	Id           int    `json:"Id" xml:"Id"`
	AliUid       int    `json:"AliUid" xml:"AliUid"`
	GmtCreate    int    `json:"GmtCreate" xml:"GmtCreate"`
	Url          string `json:"Url" xml:"Url"`
	IntervalTime int    `json:"IntervalTime" xml:"IntervalTime"`
	ActionName   string `json:"ActionName" xml:"ActionName"`
}


What would happen to the HR Director who had to report zero percent retention over a three-year period? Add to this scenario that this is zero retention from a global workforce of 50,000 working from hundreds of offices spread over 84 countries and territories – and you have what most people would understandably say is a bit of a problem.
This situation, however, is one that is not only accepted, but thrived upon by one 50-year-old organisation that is a recognised leader in its field.
Please download the case study using the link on the left.


text:
Q: Why is E-matching for conjunctions sensitive to order / case-splitting strategy? Given the following simplified quantifiers, with the Z3 options set according to those generated by Boogie (full details below), I get "unknown" as a result:
(declare-fun F (Int) Bool)
(declare-fun G (Int) Bool)

(assert (forall ((x Int)) (! (and
  (F x) (G x))
  :pattern ((F x))
)))
(assert (not (forall ((x Int)) (! (and
  (G x) (F x))
  :pattern ((F x))
))))
(check-sat)

My understanding for what (I think) Z3 would do with this problem, is skolemise the existential (not forall), which would yield ground instances of both F and G. Given these in the e-graph, we should be able to instantiate the other quantifier, and get unsat. I can see that Z3 probably has to case-split to do this, but I would expect this case-splitting to take place after removing the quantifier and populating the e-graph.
Instead, the first quantifier doesn't get instantiated in the above problem. I've made a number of observations:

*

*Swapping the order of the (F x) and (G x) terms in the first quantifier results in "unsat" without any quantifier instantiations (I suppose some simplification spots the similarity between the two quantified assertions?).

*Swapping the order of the (G x) and (F x) terms in the second quantifier (as well as those in the first) results in "unsat" with a single quantifier instantiation (which is the behaviour I'd expect in general).

*Changing the smt.case_split option affects the behaviour. Set to 3 (as chosen by Boogie) or 5, we get "unknown". Set to 0,1,2 or 4, I get "unsat".

It would be great to understand the scenarios above, and why (in the failing cases) these terms don't always make it to the e-graph after skolemisation. I'm not sure what the effects of changing the case_split option are in general. At the moment, I don't think Boogie allows that to be changed (and overrides any choice made on the command-line). But I have the feeling that the e-graph should get the information in all cases, ideally.
Here's the full file (removing most of the options set doesn't seem to make a difference to the failing cases, except for the smt.case_split one):
(set-option :print-success false)
(set-info :smt-lib-version 2.0)
(set-option :AUTO_CONFIG false)
;(set-option :MODEL.V2 true)
(set-option :smt.PHASE_SELECTION 0)
(set-option :smt.RESTART_STRATEGY 0)
(set-option :smt.RESTART_FACTOR |1.5|)
(set-option :smt.ARITH.RANDOM_INITIAL_VALUE true)
(set-option :smt.DELAY_UNITS true)
(set-option :NNF.SK_HACK true)
(set-option :smt.MBQI false)
(set-option :smt.QI.EAGER_THRESHOLD 100)
(set-option :smt.QI.COST |"(+ weight generation)"|)
(set-option :TYPE_CHECK true)
(set-option :smt.BV.REFLECT true)
(set-option :TIMEOUT 0)
(set-option :smt.QI.PROFILE true)
(set-option :smt.CASE_SPLIT 3)
; done setting options

(declare-fun F (Int) Bool)
(declare-fun G (Int) Bool)

(assert (forall ((x Int)) (! (and
  (F x) (G x))
   :pattern ((F x))
)))
(assert (not (forall ((x Int)) (! (and
(G x) (F x))
  :pattern ((F x))
))))
(check-sat)

A: This is settled by the answer from https://stackoverflow.com/users/1096362/nikolaj-bjorner to this question:
Surprising behaviour when trying to prove a forall
The translation of the proof obligation into a disjunction, followed by corresponding relevancy of the clauses, explains why Z3 doesn't see both conjuncts as potential triggers.


text:
Current Stocklist
MG MIDGET MK III 1275cc 1969
1969 MG Midget MK III 1275cc. Tartan red with black upholstery and a black hood and red factory style hard top. Essentially a slightly more expensive badge-engineered version of the Austin-Healey Sprite MkII, the MG Midget was launched in 1961, initially with a 948cc twin carb A-Series engine producing 46bhp.
In 1962 the engine was uprated to a 1,098cc unit now with 56bhp and brake discs replaced the drums at the front. With the launch of the MkIII version in 1966, the engine was enlarged yet again to 1,275cc and now produced 67bhp. The rear axle ratio was also increased for more relaxed cruising along with a host of minor revisions to the interior and exterior, including more rounded rear wheel arches from 1972.
Eminently tuneable, the MkIII is now particularly popular in the many race series that are organised for MG Midgets to compete in. On the road it is an exhilarating car to drive as you always feel like you are going twice as fast as you really are!
Dating from March 1969, this Tartan Red MkIII is one of those modified cars with numerous sporting touches including a tuned engine with larger twin SU carbs (hence the bulge in the bonnet), full-flow exhaust manifold, front and rear bumpers removed, rounded rear arches, sports steering wheel and works-type hard top. It rides on a set of sporty wire wheels with good tyres (including the spare). Recently fitted with new carpets, it also comes with a soft top and a tonneau cover.
It has been in the current ownership since 2007 but has been more polished than driven in recent times, 10 old MOTs showing that it has only covered around 1,200 miles in the last 10 years. Starting promptly and running nicely as we drove it to take the pictures, it has a pleasingly fruity exhaust note and is in very good order throughout. We have a nice history folder with the car containing some bills and invoices, old mot's and owners handbooks. Absolutely any inspection is welcome. All major debit cards accepted. Delivery can be arranged.
Road Tax 12 months: Zero Rated
MOT Exp Date: 09-01-2019
Viewing Strictly By Appointment Only
Ryehill Close
NN5 7UA
mark@morseclassics.co.uk
Morse Classics


Northeast Ohio had a busy week in data news. This Week in Open will keep you in the know as our local ecosystem grows – hopefully to include you! How? By signing up for our blog feed, following us on Twitter or visiting and liking us on Facebook.
This week's roundup of news and upcoming events highlights the expanding media coverage of open data and opportunities that raise awareness about its presence and purpose in every day life. Did we miss something you know about? Let us know!
On May 26, we received the official announcement of the United States Department of Justice consent decree with the City of Cleveland. This settlement, aimed at the police department, contains extensive requirements related to data collection, analysis and use that align with open data best practices. Implementation will, of course, be key. It's already controversial. Follow OpenNEO as we unpack what's expected.
Did you hear the sound of open data wafting over the airwaves in this ideastream story? Or see it discussed on public television as The State of Ohio hosted our own Jill Miller Zimon and Catherine Turcer of Common Cause Ohio? The reportage is growing (check out the EVENTS section below for more!).
Hack Cleveland's first event, #Fix216, brought together more than 70 developers, community members and good government advocates on May 29 and 30. Watch OpenNEO for a Storify of the very successful hackathon. You can see one of its creations in this Cleveland consent decree Wikipedia entry.
The bulk collection of United States residents' telephone data expired at midnight Sunday, May 31. Edward Snowden's work led to this result but Congress and the President have plans to get around it. Let us know what you think on Twitter @openneo.
JUNE 2: Tomorrow (Tuesday), WCPN's The Sound of Ideas will explore Hack Cleveland's Fix 216 civic hackathon and the environment we're growing around open data locally. Check here for the blurb, the guest list and how to connect with the show during its broadcast.
JUNE 3: Cleveland's got its own Code for America Brigade, Open Cleveland, and they meet this Wednesday. Learn more here.
JUNE 6: Just a few days until the National Day of Civic Hacking! The Cleveland Public Library (CPL) will be ground zero for Cleveland NDOCH activities, 10am-4pm. Many thanks to Open Cleveland (our area's Code for America Brigade) for planning hands-on civic hacking projects for kids and adults. Read more and sign up here.
JUNE 6: At the same time (but ending at 6pm), in the same place, you can experience Cleveland's Mini Maker Faire. It's powered by CPL and Ingenuity Festival. Innovation, creativity and sharing what you're learning and, of course, making, will be on display for the day. Learn more here.
JUNE 10: There's big potential in open data related to sustainability issues. So it's great to see Clean Water, Powered by PechaKucha coming up next Wednesday from 5:30-8:00pm at the Music Box Supper Club (1148 Main Ave, Cleveland, OH 44113). Read more here.
JUNE 11: Where's all that data GO? Come to the grand opening of ByteGrid's Cleveland Data Center – 330,000 square feet of it – from 3pm-6pm. It's free and bound to be an unique learning experience. Sign up here.
JUNE 13: Father-Daughter Hack Day anyone? Presented by HER Ideas in Motion, it's from 9:30 am – 1:30pm at the LeanDog (1151 North Marginal Road, Cleveland, OH, 44114 – boat docked at Burke Lakefront Airport. FREE parking but there's a fee for your duo). Register here.
JULY 16: Do you like deals? Then lucky you, the discount for the City Club of Cleveland's forum featuring Dustin Haisler is still active! Haisler is a leader in the public sector when it comes to the use of tech for good and better government. Register as a nonmember, then use the discount code OpenNEO15 and get 20% off.
Do you know of open data-oriented events that should be publicized? Let us know and we will.