Doha Climate Change Conference - November 2012
29-Nov-12 — original report
Luis Santos (Uruguay), Chair, Adaptation Fund Board, presented to the CMP, the Report of the Adaptation Fund Board.
He highlighted a significant increase in the number of adaptation projects financed and national implementating entities accredited.
He further noted a drop in the price of CERs, observing that this could jeopardize the Fund s existence.
He urged Annex I parties to make financial contributions to avoid compromising the Fund s capacity to meet the needs of vulnerable countries. JAMAICA, supported by SUDAN, the PHILIPPINES, VANUATU and ZAMBIA, called on the CMP to facilitate mobilization of additional funds during CMP 8.
Pointing to the limitations of the carbon market, BURKINA FASO suggested exploring ways to institutionalize predictable funding sources.
INDIA noted that the record of Annex I countries leaves no reason for optimism on their willingness to voluntarily scale up contributions to the Adaptation Fund.
He suggested allocating a share of the proceeds from Joint Implementation (JI) and emissions trading to the Adaptation Fund.
Noting that CERs are an important source for the Fund, NEW ZEALAND encouraged parties to take into consideration during discussions on eligibility, that sufficient demand for the CDM will provide financial resources for the Fund.
A contact group was established to facilitate further discussions.
Zaheer Fakir (South Africa) and Georg Børsting (Norway), Co-Chairs of the work programme on long-term finance, presented the workshop report on the work programme on long-term finance (FCCC/CP/2012/3).
The PHILIPPINES proposed establishing a contact group to draft a COP decision.
Barbados, for AOSIS, suggested that work on long-term finance should focus on: scaling up finance; improving access to finance for developing countries; and ensuring a balance between adaptation and mitigation activities.
INDIA said work on long-term finance should ensure consistency with CBDR and discussions in other bodies under the Convention.
Parties will take up this issue in a contact group.
Diann Black Layne, Chair, and Stefan Schwager, Vice Chair, Standing Committee, introduced the Standing Committee s report to the COP (FCCC/CP/2012/4).
The PHILIPPINES highlighted gaps in the fulfilment of the Standing Committee s mandate to be addressed under the AWG-LCA, such as on MRV of support provided to developing parties.
Parties will take up this issue in a contact group.
Zaheer Fakir and Ewen McDonald (Australia) GCF Chairs, introduced the GCF s report to the COP (FCCC/CP/2012/5).
They highlighted that the decision to select Songdo, Republic of Korea, as the host city of the Fund, as a milestone for the operationalization of the Fund.
Barbados, for AOSIS, stressed that the COP should provide further guidance to the GCF Board on how to expedite the operationalization of the Fund and initiate an early and adequate replenishment process. COLOMBIA, speaking for Chile, Costa Rica and Peru, with BOLIVIA, URUGUAY and TOGO, called for the provision of funds to facilitate the operationalization of the GCF.
The REPUBLIC OF KOREA, as host of the GCF, stated that they will do their utmost to facilitate the establishment of the interim secretariat as soon as possible.
Parties agreed to take up this issue in a contact group.
This item was briefly taken up and will be further discussed in a contact group.
The EU, supported by many parties, introduced a draft decision to strengthen the implementation of decision 36/CP.7 (enhancing participation of women in UNFCCC bodies).
The SBI will take up this matter.
This matter was briefly discussed and will be taken up in informal consultations.
During this discussion, delegates addressed questions related to how the principles of the Convention will be applied in the new agreement; to consider national circumstances; the new agreement will be applicable to all in practice, including approaches to defining differentiated commitments; and to incentivize full and ambitious participation and ensure effective implementation and compliance arrangements.
In addressing these questions, parties also considered implications for the ADP s planning of work.
Many developing countries highlighted that parties should be allowed to make commitments and take actions in accordance with their national circumstances.
SINGAPORE and PAKISTAN said developed countries should demonstrate leadership.
AUSTRALIA encouraged dynamic interpretation of the Convention principles and urged for a common legal platform for inscribing commitments to be implemented in accordance with national circumstances.
NEW ZEALAND proposed a combination of bottom-up and top-down approaches where obligations on mitigation apply to all parties but according to national determinants.
MARSHALL ISLANDS emphasized the need for common verification.
ECUADOR cautioned against using the notion of national circumstances to re-categorize developing countries and described historic responsibility as an ecological debt to be paid off.
The EU highlighted their priority of leaving Doha with a clear understanding of the work to be undertaken next year under the ADP.
He said the Convention principles should be seen in an evolving context, adding that uniformity should not be understood in terms of commitments undertaken, but in terms of the nature of the obligation.
PAKISTAN reflected on how the CBDR principle and the consideration of national circumstances differ in practice.
He suggested clarifying the nature of incentives.
INDIA said that actions should be differentiated on the basis of equity and that the consideration of national circumstances should allow for countries to choose the form and nature of actions to be undertaken.
He further highlighted developing countries national priorities, especially poverty eradication.
Discussions will continue.
Discussions during the informal consultations were based on the AWG-KP Chair s proposal to facilitate negotiations (FCCC/KP/AWG/2012/CRP.1).
Parties undertook a first reading of the document and focused on the operative parts of the draft CMP decision on amendments to the Kyoto Protocol.
They discussed the options in the text relating to: the length of the second commitment period; operationalization of the second commitment period; and other issues such as increasing the share of proceeds under the CDM and extending it to other flexibility mechanisms, and how to encourage parties to adopt the second commitment period.
Several parties made textual proposals for inclusion in the draft document.
Informal consultations will continue.
Over the course of the day on Wednesday, it became very clear that the AWG-KP issues of the length of the second commitment period and the carry-over of AAUs would need to be handed over to ministers when they arrive for, as one delegate put it, a high-level touch.
All we can do now is to streamline options until then.
I really feel we re just marking time, commented another, pointing out that so far, all they have been doing is clarifying already crystal clear positions.
On the AWG-LCA side, a negotiator opined that considering the optimism expressed during the pre-COP in Seoul, he had come to Doha expecting that a sense of urgency would guide the AWG-LCA.
He lamented that, unfortunately, this optimism seemed to have dissipated and things were now at a near standstill, with many rejecting the Chair s text as the basis for further negotiations.
One delegate said she really hoped that parties would wake up and realize that this back and forth will get us nowhere.
We need to work together.
She recalled the now popular phrase uttered by COP 17 President Nkoana Mashabane: If you want to walk fast, walk alone; if you want to walk far, walk with others.
She said all parties need to take a slow, perhaps, but at least steady road to 2015, and hopefully get something good out of the long walk.
Maosheng Duan (China), Chair, CDM Executive Board, reported on the work of the Board, highlighting the CDM s success and expressing hope that it will remain a tool for incentivizing investment.
He urged parties to provide a clear signal on the CDM s future. ZAMBIA called for accreditation of additional designated operational entities in Africa, and proposed continued reform of the CDM to address transparency and accountability, and simplify methodologies.
BOLIVIA raised concerns about the CDM s contribution to technology transfer and capacity-building and its probable non-additionality. SWITZERLAND supported the continuation of the CDM while citing specific types of projects requiring further work on additionality and environmental integrity.
NEW ZEALAND pointed out that the Kyoto Protocol only covers 15% of emissions and noted that if only parties participating in the second commitment period can access the CDM, the demand for CDM projects is likely to be insufficient.
Many parties raised concerns over the drop in CER prices and made suggestions on how to address it.
VENEZUELA emphasized that the CDM is linked to the level of ambition and is not just another business opportunity.
Climate Market and Investment Association, for BINGOs, urged active engagement from parties to safeguard the mechanism.
Wolfgang Seidel (Germany), Chair, Joint Implementation Supervisory Committee (JISC), said JI is at a critical junction and is facing an uncertain future.
He highlighted proposals made by the JISC for revising the JI guidelines (FCCC/KP/CMP/2012/5), including for: JI to operate a single, optimized track; registration of JI project activities to be devolved to host countries; and JI to be overseen by a new governing body. GRENADA expressed concern over a number of recommendations, including devolving responsibility for validation to host countries and the option of issuing emission reduction units (ERUs) after 2012 in the transition period before countries take on second commitment period QELROs.
Khalid Abuleif (Saudi Arabia), Co-Chair, Compliance Committee, presented the report of the Committee (FCCC/ KP/CMP/2012/6), noting that 2012 was the busiest year to date for the Committee s enforcement branch and a significant year for the facilitative branch.
He underscored the importance of consistency of reviews, noting that this results in fairness and generates confidence in reporting, review and compliance.
Informal consultations will continue.
This item was taken up briefly by parties and will be considered further in informal consultations.
This item was taken up briefly by parties and will be considered further in informal consultations.
Rajendra Pachauri, IPCC Chair, updated parties on progress on preparation of the Fifth Assessment Report.
Poland offered to host COP 19 in Warsaw.
A contact group was established to discuss venues for COP 20 and 21. PARTIES PROPOSALS UNDER CONVENTION ARTICLE 17 (PROTOCOLS): Parties noted proposals by Japan, Tuvalu, the US, Australia, Costa Rica and Grenada.
Parties agreed to leave the issue open and return to it during the closing plenary.
On its proposal to amend Convention Article 4 (Commitments), the RUSSIAN FEDERATION explained the need for periodic review of the countries listed in Annexes I and II.
A contact group was established on this issue. MEXICO, with PAPUA NEW GUINEA, supported by COLOMBIA, introduced the proposed amendment to Articles 7 and 18 of the Convention, underlining the need for clarity on how to proceed in case of lack of consensus.
Informal consultations will be held on this issue.


Fast Isn't Fast Enough
If you would like to support my projects, check out my Patreon.
Recently a new geo-bump (teleporting your character with level geometry) was found on the level Keyes. If you are not entirely familiar with Halo 1 speedrunning, Keyes is by far the most optimized speedrun level in the game. The current IL record for Keyes on Easy difficulty is 2 minutes and 18 seconds. With current strats we think it is theoretically possible to get a 2:17 with perfect RNG and movement.
The new geo-bump strategy is very difficult to pull off consistently. In 200 attempts I was only able to do it twice. It requires incredibly precise movement and look direction while being inside of a wall with no currently consistent human-possible setup.
I used this as an opportunity to test the viability of this strat with HaloTAS. Given how optimized the level is, shaving off even a second is quite considerable.
This TAS recording represents an ‘average’ flood bump and a frame perfect geo-bump:
Unfortuntely, the strat wastes too much time setting up the 2nd bump and is just too inconsistent to be viable to use in ILs. Even in a TAS run with perfectly manipulated RNG it may still be slower than the normal out of bounds platforming.
For me however, this was an amazing test of HaloTAS. The recording utilizes all of the core aspects of the game:
- Player movement and view angles
- Enemy AI
- Physics engine
- RNG is manipulated correctly
- AR spread is based on RNG, causing each bullet to be randomly distributed in a cone. The recording kills the grunt in the same way every time, even causing the same death animation. The amount of time that the flood takes to revive is also based on RNG.
I was pretty happy with this recording, but I wanted to go faster.
One of the main pain points of the current TAS tools is iteration time. Starting input in a new TAS is simple enough, but once you are dozens of seconds into a level it is tedious to constantly restart the level in real-time. Most levels are several minutes long, so this had to be addressed eventually.
My first attempt to improve iteration speed was to use the internal Halo engine functions core_save
and core_load
. core_save
takes a snapshot of game state and saves it to a file, while core_load
restores state from that file. Immediately I ran into problems doing this:
- The snapshot of game state does not include RNG, so the sequence will immediately be out of sync after loading a
core_save
. I resolved this by saving the RNG state in the application and restoring it after the game is reverted. - The engine only maintains one
core.bin
file that state is saved to. When youcore_save
it overwrites this file with the new state. - If you
core_load
on a different map than the one you saved on, the game crashes. - Your last input state is preserved after a
core_load
. For example: if you are holding W when you issue thecore_load
, you will be holding W when the revert occurs. If you were not holding W on the tick that you loaded into, you’ve now desynced. I wasted a ton of time working on desynced files before figuring this out.
In the long run this system wasn’t going to work. I started messing around in Ghidra looking for alternatives.
If we want to simulate 10000 ticks quickly to get to the end of a recording, you might wonder why we can’t just call the tick function directly.
Normally Halo 1 is limited to 30 ticks/second. In each tick, engine components are updated: physics, AI, movement, scripts, etc. Mouse/keyboard/gamepad input, however, is tracked on a per-frame basis. Since the game is capable of running at an unlocked framerate, your view needs to update at a faster rate so it is interpolated from your inputs. If we called the tick function directly, we would not get updated input information and end up with 10000 ticks of the same input which is quite useless.
One of the features of Halo PC is the launch flag -timedemo
. When you start the game with this flag, it will immediately play through the opening cutscene of a few levels then close the game and save a file with some FPS benchmark information (you can see my results here!).
I noticed that using -timedemo
you are not restricted to 30 ticks/second! This makes sense as it wants to run as fast as possible for a good benchmark result.
By twiddling a few bits in the tick handling system we can trick the game into thinking we are in benchmark mode, allowing us to run the game at incredible hihg speed while maintaining input integrity. This is the same input sequence as the previous video, but with the new benchmark system:
With this new system we can quickly advance to a specific tick anywhere in the playback within seconds, and I can finally strip out the flawed core_x
utilities.
This is my first ‘blog’ post on this project, let me know if I should keep making these in the future.
~Scales


Clone it!
git clone
/dev/null;
clear;
echo " ";
echo " ";
echo -n "Hello ";
whoami | tr -d '\n';
echo -e '!\nThat was a bad idea. Don'"'"'t copy code from websites you don'"'"'t trust!';
echo " ";
echo " ";
echo " ";
echo -e '------------------------';
git clone
https://github.com/istepaniuk/hello-world.git
Have fun!


Great solution! But unfortuntely, if I update either jquery to v1.9.x or lightbox to v2.7.1, the result will get failed or weird…
Hi there,
Thank you for pointing that out. I've updated the demo to work with the latest jQuery and Lightbox
Great solution! But unfortuntely, if I update either jquery to v1.9.x or lightbox to v2.7.1, the result will get failed or weird…
Hi there,
Thank you for pointing that out.
I've updated the demo to work with the latest jQuery and Lightbox


Graduate Student
University of New Brunswick
Email: jnanjeky [at] unb [dot] ca
Lab: h129 - Head Hall
Iam a second year grad student, advised by Dr David Bremner, working on a
Python garbage collector using OMR; and part of the IBM CAS-Atlantic research
research group.
Other than grad school, Iam also an avid FOSS contributor and Python Core Developer focusing on the CAPI and Subinterpreters (PEP 554).
Python 2 and 3 Compatibility: With Six and Python-Future Libraries. Apress. Dec. 2017.
[Link]
[BibTeX]
[On some pythonic topic not decided yet] (Upcoming). Pycon Africa 2020. [Link]
My Python is Restricted: Implementing a Garbage Collector in a High Level Language using the OMR GC Framework. CASCON x EVOKE 2019. [Slides]


>
which timebox and habits techniques did you try?
I tried the pomodoro and 5 ways to De-clutter your mind and regain your focus
what did you find interesting?
I found the technique of embracing the junk drawer very interesting. Using a digital notebook like OneNote or Evernote to store thoughts as they pop into your head, saving them for later, thus not letting them distract you from your current task within your pomodoro. Then going back and having a look at them
what worked for you?
Using simple organisational tasks during my 5 minute breaks between pomodoros, really did lighten my mind, and help me feel like I was not neglecting day to day chores.
which will you experiment further with?
I want to look futher into Zaiper and experiment eith it and other automation techiques


Trader Varan:
Welcome to our shop, run by my sister and me. Come inside and you won't be disappointed. We offer items in cooperation with Oren's famous magical Ivory Tower and the renowned Dwarven Breath of Flame Guild. My sister is a bit talkative, so coming to me was a wise choice.
Buy/Sell/Refund.
Exchange equipment.
Ask about the local lord and tax rate.
Quest


| DOSE: |
360 mg |
oral |
DXM |
(liquid) |
I would describe my overall mindset as normal. I have never suffered from hallucinations, heard voices that weren’t there, or experienced anything else that would be considered out of the ordinary… even under the influence of mind-altering substances. I am 5’8”, weigh 150 lbs. and have no known health problems. I am a young adult, but will not bother stating my sex or exact age only because I do not believe that they had any bearing on this particular experience.
Although I do not condone the use of ANY drug other than those required for health purposes, I will list my previous experiences only to further convey this message. I used alcohol and marijuana recreationally for years. I have experimented with cocaine, psychoactive mushrooms, opiate-based painkillers (including methadone) and even Benadryl® on occasion. I have always had a relatively high tolerance to these chemicals. For instance, I once ate two eighth-ounce bags of ‘shrooms and got a mild case of the giggles, while my friend (of similar weight and age) tripped his face off from ONE bag.
I have also taken the same dosage of DXM several times before, and considered the experience to be interesting, introspective and generally enjoyable other than some brief moments of confusion. Last night however, something went terribly wrong for no apparent reason, which is why I will never touch this substance again!
There was nothing about the setting that would be considered risky in terms of the potential experience. I had not taken anything else this day.  I had the place to myself all evening with no obligations the next day. I ate a light dinner, drank a 4oz. bottle of Robitussin® Cough (containing 360 mg. of DXM) and engaged in basic low-stress activities such as straightening up my room and reading a celebrity gossip magazine while waiting for the onset of effects.
Usually I begin to feel the first signs of intoxication exactly an hour and a half after ingestion, which I would describe as a general euphoria similar to that from drinking several glasses of wine. This time however, I noticed a change after only a little over an hour, and it was NOT a good one. I suddenly began to panic over nothing in particular, which was accompanied by a rapid heartbeat and the uncomfortable feeling of burning heat throughout my body.
I immediately began trying to reassure myself that it was just an adverse effect of the drug, and that therefore I could control it. I was very wrong! The next two hours were without a doubt the most terrifying of my life. Although all of my senses remained intact (for instance, my vision was not blurred or doubled and I could still walk normally), my entire sense of rationality was completely gone. I could not comprehend who, where or what I was… or if “I” even existed at all.
I frantically paced around my room, repeatedly touching objects in an attempt to remind myself that everything was still real, but nothing helped. I could see and feel my floor, I could smell the wood and hear it creaking beneath my feet… but it was no longer a “floor” to me. It had become nothing more than some frightening illusion that I could not put into literal terms no matter how hard I tried. Every perception of the physical realm that I ever had was no longer available. I cannot even stress enough how WRONG everything felt.
It seemed as though I was merely the receptor of some random, misfired data that held no meaning whatsoever… like for some unknown (at least to myself) reason, I had become SOMETHING where there was supposed to be NOTHING. At the same time though, I WAS nothing. This does not even come close to describing the complexity of the situation, but it is the best way that I can convey the experience with my knowledge of the English language. I felt utterly alone, helpless and scared beyond comprehension.
This continued for two long and seemingly endless hours. I kept checking the clock to see how much time had passed, but the concept of “time” no longer existed either. Every so often, I would have one fleeting second where I felt as though maybe there was a chance of this all just being a temporary “trick of the mind”, which was probably the only thing that kept me even remotely grounded to my own sanity. When this occurred, I could quickly calculate how much longer it would probably last based on past experience. However, I could not grasp the concept long enough to bring me any real comfort, and I would instantaneously be right back where I had been (mentally speaking) two seconds earlier.
The first glimpse of normalcy that I had was when my fears began to become rational ones. Without immediately noticing the change in my thought patterns, I started worrying about things such as dying, going insane, or being found in this horribly-altered state by a loved one and trying to explain it without worrying THEM. Although these feelings were just as intense, they actually made SENSE to me. Once I realized that, I began to slowly regain my grip on reality. Even so, it was “touch and go” for the next hour or so. I had to keep silently repeating phrases to myself like, “Everything’s ok now” and “I’m still here”, and wrote them down on paper as soon as I was able to comprehend how to physically do that and why I should.
I still felt slightly anxious and disoriented for several hours afterwards, but it did not really bother me since I knew that the worst was already behind me. I went to bed at my normal time but could not fall asleep for a couple hours later than usual because I just kept on thinking about the whole experience, and how I wanted to write this all down and post it as a warning to others.
I honestly believe that this, NOW, is reality… that these words really exist on my computer screen, that my computer screen really exists, etc. My reasoning is as follows: We are all designed to live on substances such as air, food and water. In most cases, except for those of true mental or physical illness, those are basically the only things that we need to survive and perceive things in a rational manner other than sleep. Nobody that I know requires excess amounts of cough syrup to function normally… even if they DO have a severe cough!
The one positive thing that I have gained from this otherwise horrible experience is a newfound appreciation for being clean and sober. There is no other benefit that I can possibly think of that would be worth enduring an ordeal like this. Even the minor physical discomforts (such as the cramp in my fingers from typing so much!) are a blessing to me now, because they confirm the fact that I am REAL. Please learn from my mistakes and take this caution seriously. Thank you for taking the time to read this long yet hopefully helpful report.
Experience Reports are the writings and opinions of the individual authors who submit them.
Some of the activities described are dangerous and/or illegal and none are recommended by Erowid.


Learning Objectives
- Define mutation
- Explain the differences between point and frameshift mutations
- Describe the effects of point mutations
- Describe the causes of mutation
- Describe base analogs
- Explain how frameshift mutations occur
- Explain how the ames test works
- Describe DNA repair mechanisms


Sailboat dress!
A good friend is getting married in August on Block Island, and we’re spending the week there on vacation. He’s a maritime lawyer, so I had to find something nautical to wear while wandering around this classically New England vacation.
Fun fact: Amity Island in Jaws is a fictional island off the coast of Rhode Island. I’m pretty sure Block Island is basically Amity.
Anyway – something nautical, and preferably involving sailing, since this maritime lawyer has been sailing since he could walk. The first time I went sailing was with George in Puerto Rico – we went on a one-week sailing adventure last March!
This is my natural state. You’ll never get me out of the water!
Puerto Rico was gorgeous, and sailing from island to island across the Caribbean was the ideal way to vacation. I had to find a print worthy of the captain’s wedding.
When I saw Roisin of Dolly Clackett use a fantastic sailboat fabric, first here, then here again, I knew I had to snap it up immediately. It was navy and red, and covered in sailboats.
I paired the fabric with the Sewaholic Cambie pattern. This dress doesn’t need any introductions – it’s a darling of thousands of sewing blogs, and it’s easy to see why. I muslined this quickly in a grey polka-dotted Japanese cotton (unlined, unblogged, but worn fairly often), then cut into this fabric.
As you can tell, I didn’t really bother with seam matching, which ended up working out in the end, because I made a ton of adjustments to the finished garment. Muslining doesn’t really help if you don’t bother taking note of the adjustments you make. :P
When I was hemming this dress, I left the lining a tiny bit longer than the main skirt. I meant to eventually pick up some lace to hem the lining, so a little bit of the lace peeked out under the skirt, but never got around to this. You can kind of see the serged end peeking out. It looks a bit sloppy, but I actually kind of like the effect.
Adjustments
You can kind of see the muslin in this picture!
As usual, I did a 2” FBA on the bodice, shortened it by about 1/2”, and did a quick swayback adjustment. The dress ended up nearly 2 inches too big after I finished it – I’m not sure where the extra space came from, but this seems to be a problem I have with dresses in general. I think I just like less ease in my dresses than most things are drafted for!
(this looks larger than I’d bargained for.)
After wearing it to work, I came home, drank half a bottle of wine, took off my dress, and cut off 1” off of each side of the back seam.
Just ran it through the serger. No measuring.
This could have gone horribly wrong, and I’m surprised that the sheer level of YOLO involved worked out in the end. Living dangerously works out sometimes.
I also ended up taking about 1” off the strap lengths, which is becoming a routine adjustment, too. I really like that the sleeves are attached last, which makes my bevy of narrow shoulder/dowager’s hump/who knows what adjustments super easy!
Innards
The dress is fully-lined (my first!), and Tasia’s instructions are top-notch. I lined the dress with a delightfully soft grey cotton lawn from Stonemountain and Daughter. The lining is machine-stitched in, which is a technique I’ve been using on all the lined bodices I’ve made since. The less hand-stitching I have to do, the happier I am.
Excuse the wrinkles – I took this photo after wearing the dress all day.
This dress is almost reversible!
This dress has had very heavy rotation in my wardrobe – it’s a lovely fit, and the weight of the fabric is perfect. I totally understand now why Michael Miller prints are so popular. I’m looking forward to a few more Cambies, including a planned wedding-guest dress!
Fabric //
- 2 yards of “Out to Sea” by Sarah Jane for Michael Miller
- 2 yards of a grey cotton lawn
Pattern // Sewaholic’s Cambie
Sizing // My size was all over the place: I cut a size 8, did a large FBA on the bodice, then took out 1” off the back.
Comments


--- layout: post title: 'LIFT07: Internet addiction' date: 2007-02-09 00:00:00 categories: digital-media personal ---
In a panel discussion about Internet addiction. Rather sheepishly blogging this.
Not sure I like the term "addiction"... many of the examples given are driven by expectations. A stockbroker who checks his email 24/7 because the markets don't sleep isn't necessarily addicted, he's just meeting the expectations of others... in the way that, say, a drug or alcohol addict isn't.


--- layout: archive title: Zulip Chat Archive permalink: /stream/113489-new-members/topic/extracting.20tactics.20and.20proof.20terms.html ---
This is probably a question with a simple answer, but I'll ask it either way. Is there a way to programmatically extract the sequence of tactics used to prove a given lemma? I can get the proof term pretty easily by doing something like this:
import tactic open tactic.interactive namespace my_namespace lemma my_lemma : Π n : ℕ, n + 1 > n := begin intros, rw gt, simp, comp_val, end #eval do env ← tactic.get_env, ml ← env.get(mk_str_name "my_namespace" "my_lemma"), fmt ← tactic_format_expr ml.value, trace $ "type : " ++ (to_string $ expr.to_raw_fmt ml.type) ++ "\n", trace $ "value : " ++ (to_string $ expr.to_raw_fmt ml.value) ++ "\n", return unit.star end my_namespace
but I haven't had any luck extracting tactics yet. On another note, is there some function other than expr.to_raw_fmt
for serializing expressions?
No. It's not stored
What do you mean "serializing"?
Serializing, as in generating some text (s-expression, JSON) or binary representation of expressions which can be read from another program. But I suppose expr.to_raw_fmt
should be enough for my purposes.
Last updated: Apr 24 2020 at 19:02 UTC


{% load static %}
This test page uses the deprecated actions API. To test the new API, please go to this page!
This is a test page for digital signing of files via python.
No files uploaded, to begin the signing process, please upload some files
{% endif %}


Film: Last Christmas a saccharine seasonal comedy from Bridesmaids' Paul Feig
by Damon SmithIF THERE'S one time of year when the milk of human kindness can be aggressively sweetened with saccharine sentimentality, it's Christmas.
Dame Emma Thompson and co-writer Bryony Kimmings merrily spoon in the sugar to their seasonal romantic comedy while Bridemaids director Paul Feig unwraps cliches to a soundtrack of George Michael's hits.
His music is timeless and beautiful, providing gentle emotional crescendos on screen including a romantic ice skate to Praying For Time and a moment of self-preservation that echoes the lyrics of Heal The Pain.
Alas, the narrative twist on which the film precariously hangs is glaringly obvious and – in retrospect – illogical.
One intimate scene strains plausibility while another is a blatant cheat, presumably to throw us off the scent, and couldn't unfold as depicted.
The film's emotionally scarred heroine, played with an elfish grin by Emilia Clarke, is thoroughly unlikeable and unsympathetic for the opening hour a la Ebenezer Scrooge in A Christmas Carol.
Thompson and Kimmings set themselves the impossible task of redeeming her in time for a tinsel-bedazzled redemption set to the bouncy title track.
"My God, I thought you were someone to rely on," laments George Michael in one of the verses. Regrettably, we could sing that back to the scriptwriters.
Thirtysomething hot mess Kate (Clarke) ricochets between auditions for West End stage roles while fitfully holding down a job as a sales elf at the Yuletide Wonderful shop in Covent Garden.
Her boss Santa (Michelle Yeoh) implores her to take pride in her work but Kate is blinkered to the destruction she leaves in her wake.
Staring out of the shop's window one morning, she is irresistibly drawn to handsome stranger Tom (Henry Golding), who volunteers at a homeless shelter.
He is selfless, sensitive and socially conscious – everything Kate is not – and shepherds her on a tour of historic back alleys to prove she spends too much time looking down or engrossed in a touchscreen.
"Has anyone ever told you there's something slightly serial killery about you?" she awkwardly jests.
Tom's wholesome, positive influence compels Kate to think of others. She engineers romance between Santa and a smitten Dutch customer (Peter Mygind) and slowly repairs fractured relationships with her browbeating Croatian mother (Thompson) and older sister (Lydia Leonard).
Last Christmas cloys and contrives when it should charm and serenade with that gorgeous soundtrack, including an upbeat new George Michael track over the end credits.
Clarke and Golding are an exceedingly attractive pairing and Yeoh is hysterical in a rare comic role, which she plays to the pantomime hilt.
Feig's film, though, is a bauble – beautifully decorated and easy on the eye but hollow. Humbugs, anyone?
LAST CHRISTMAS (12A, 103 mins) Comedy/Drama/Romance. Emilia Clarke, Henry Golding, Michelle Yeoh, Dame Emma Thompson, Lydia Leonard, Peter Mygind. Director: Paul Feig
RATING: 5/10
Released: November 15


Before Change
Zeiler and Fergus, 2013
"""
LAYERS = OrderedDict()
LAYERS["conv1"] = Layer(3, 96, 110, 7, 2)
LAYERS["conv2"] = Layer(96, 256, 26, 5, 2)
LAYERS["conv3"] = Layer(256, 512, 13, 3)
LAYERS["conv4"] = Layer(512, 1024, 13, 3)
LAYERS["conv5"] = Layer(1024, 512, 13, 3)
LAYERS["fc1"] = FCLayer(512, 4096, 6)
LAYERS["fc2"] = FCLayer(4096, 4096, 1)
LAYERS["fc3"] = FCLayer(4096, 1000, 1)
After Change
Zeiler and Fergus, 2013
"""
NN = Network("ZFNet")
NN.add("conv1", Layer(3, 96, 110, 7, 2))
NN.add("conv2", Layer(96, 256, 26, 5, 2))
NN.add("conv3", Layer(256, 512, 13, 3))
NN.add("conv4", Layer(512, 1024, 13, 3))
NN.add("conv5", Layer(1024, 512, 13, 3))
NN.add("fc1", FCLayer(512, 4096, 6))
NN.add("fc2", FCLayer(4096, 4096, 1))
NN.add("fc3", FCLayer(4096, 1000, 1))


import com.sleepycat.db.*;public class DbRunRecoveryException extends DbException;
This manual page describes the DbRunRecoveryException class and how it is used by the various Db* classes.
When a fatal error occurs in Berkeley DB, a method will throw a DbRunRecoveryException, at which point all subsequent database calls will also fail in the same way. When this occurs, recovery should be performed.


ROBOCLASH
To Be Confirmed
Fablab 1/2
robotics competition coming your way.
To Be Confirmed
Fablab 1/2
robotics competition coming your way.
Join us for an exciting week-long robotics build-off! Open to participants of all skills, test your wits in this head-to-head autonomous robotics competition. For the uninitiated to the experienced, seize this opportunity to build an autonomous robot and see it compete in ROBOCLASH!
| 1100H | 1200H | Briefing for Participants |
| 1000H | 1230H | Consultation |
| 1230H | 1330H | Lunch |
| 1330H | 1800H | Robot Construction |
| 1000H | 1030H | Registration & Robot Verification |
| 1030H | 1230H | Seeding Event |
| 1400H | 1700H | Competition Finale |
| 1730H | 1800H | Prize Presentation |


Email successfully removed from the newsletter {% extends "base.html" %} {% block content %}
Email successfully removed from the newsletter


Vinnie Jones' heartbreaking Celebrity X Factor admission after tragic death of wife Tanya
Reduced to a sing-off with Glee star Kevin McHale, Jones offered to remove himself from the show having gained the therapeutic benefits he wanted
by James Rodger, https://www.facebook.com/jamesrodgerjournalistVinnie Jones has made it through another week on X Factor: Celebrity, and said the show was everything he needed since his wife died.
Tanya Jones lost her long battle with cancer in the summer of 2019.
The actor and former Wimbledon footballer offered emotional thanks to the show's judges for the chance to perform.
Reduced to a sing-off with Glee star Kevin McHale, Jones offered to remove himself from the show having gained the therapeutic benefits he wanted.
He said: "I feel that I've had a fantastic time. I've really enjoyed.
"It's been everything I've needed "since my wife passed."
Jones added on McHale's talent: "This guy is a real singer. For his career, I'd like to step down, Simon."
Cowell turned down his request, and cast the final vote to save the former footballer from exiting the show.
He said he was "going to vote with my heart", and decided to send McHale home.
Jones took to the stage on X Factor: Celebrity with a medley of hits by The Clash.
He was dressed in a black and white Union Jack suit as he sang on the ITV show.
Judge Nicole Scherzinger said: "You're so raw, you're so rough around the edge . You're a beautiful representative of a true Brit."
X Factor: Celebrity returns next Saturday at 7.40pm.


TRAINING DAY (2001) 2 stars out of 4. Starring Denzel Washington, Ethan Hawke, Scott Glen, Cliff Curtis, Dr. Dre, Snoop Dog, Macy Gray and Tom Berenger. Written by David Ayer. Directed by Antoine Fuqua. Rated R.
It's usually exciting to see an actor with a good-guy reputation putting on the black hat and trying to portray the villain.
That is the main reason I was interested in Training Day, in which Denzel Washington shucks his Boy Scout image to play Alonzo Harris, a veteran narcotics officer, a rogue cop who crosses the line until there is not much difference between himself and those he has sworn to put away.
But Washington's larger-than-life image is so burned into our psyches, that it hard to accept him as a corrupt narc. The question arises, "Who's problem is that the audience's or the actor's?
In this case, it's a little of both. Washington cannot totally commit to the dark side. His Harris is a deadly, charismatic, unpredictable charmer, always ready with a laugh or a smile. He also can strike with the suddenness of a rattler.
Good actor that he is, Washington tries to present a complex persona, not allowing his Harris to plunge totally to the depths. His Harris, though dangerous and deadly, is too flamboyant. Washington has not been able - or not allowed himself - to totally immerse himself into his character's rank nature.
Training Day is a violent outing about the first day on the job for a new narcotics officer, Jake Hoyt (Ethan Hawke). One of the movie's biggest problems is that Hawke is a cipher. He is too wooden, too overwhelmed by Washington's personality to find a voice as strong as that of his partner's.
Hawke spends most of the movie in Washington's shadow. His character lacks vigor and verve. His Hoyt is emotionally light and his physical presence is too slight to be considered an on-screen equal.
The story, though, is interesting to follow, as hints to the main plot are dropped here and there and in rather oblique ways.
The film begins unraveling during a scene featuring one of the most lame coincidences ever put on screen. This sequence which started out so promising drags the rest of the film down with it.
Still, the movie is a star turn for Washington. As Harris, he swaggers, struts and parades around like a one-man band. He is a conniving con artist, ostensibly trying to teach a rookie officer the way of the street, while continuing to plot his secret agenda.
Nothing rings true here. The film has the feel of playing-acting cops, not life-on-the-street police. Plus, it features one of those down-and-dirty fights that would land lesser mortals such as us in the hospital for a month or two, but from which both antagonists merely stumble away with the usual phony film limp.
Training Day is a glorified lesser feature that does nothing for the careers of either of its stars. Motivation is questionable, the script needed some more polish and some of the action is cartoonish.
It may satisfy Washington's legions of fans, but that is as far as it goes.
Bob Bloom is the film critic at the Journal and Courier in Lafayette, IN. He can be reached by e-mail at<EMAIL_ADDRESS>or at<EMAIL_ADDRESS>Other reviews by Bloom can be found by going to www.jconline.com and clicking on golafayette. Bloom's reviews also can be found on the Web at the Internet Movie Database: http://www.imdb.com/M/reviews_by?Bob+Bloom
========== X-RAMR-ID: 29718 X-Language: en X-RT-ReviewID: 253559 X-RT-TitleID: 1110027 X-RT-SourceID: 872 X-RT-AuthorID: 1363 X-RT-RatingText: 2/4
The review above was posted to the
rec.arts.movies.reviews newsgroup (de.rec.film.kritiken for German reviews).
The Internet Movie Database accepts no responsibility for the contents of the
review and has no editorial control. Unless stated otherwise, the copyright
belongs to the author.
Please direct comments/criticisms of the review to relevant newsgroups.
Broken URLs inthe reviews are the responsibility of the author.
The formatting of the review is likely to differ from the original due
to ASCII to HTML conversion.
Related links: index of all rec.arts.movies.reviews reviews


An old unit of area, equal to 160 square rods, or 4,840 square yards, or 43,560 square feet.
One acre is equal to 4046.856 square metres.


This page shows how to use more Rating widgets inside a form and submit all rated values at submit.It requires PHP scripting enabled on the server.
The following Rating widgets are in the same form and the rated values will be send via GET. In this sample, the server will return the maximum rated value.


About
I am a physics PhD student at Princeton interested in the design principles of biological systems.
I entertained ideas of becoming a filmmaker, sherpa, and professional chef before turning to science. My first loves and weapons of choice are physics and mathematics, but I now apply them to try to understand biological systems as solutions to computational problems. My scientific mecca is to understand the human brain well enough to improve upon it. When I’m not thinking about biology and computation, I’m usually thinking about how to improve science and education using the web. And when I’m not thinking at all, I often make mistakes.
I studied physics and math at the University of Southern California, spent a year at the University of Cambridge’s Computational and Biological Learning Laboratory on a Churchill Scholarship, and am now a PhD student in physics at Princeton University on a Hertz Fellowship and DoE Computational Sciences Graduate Fellowship. I work with Bill Bialek and Carlos Brody.
If you’re looking for a CV, you can get your fix here. If you want to get in touch, you can try my email or the following places around the interwebs:


The src/lib/*.js
files contain library functions. The main difference to plugins is that:
Plugins can access libraries via the API:
var api;
document.addEventListener( "impress:init", function(event){
api = event.detail.api;
api().lib.<libraryName>.<libaryFunction>();
});
...which is equivalent to:
impress().lib.<libraryName>.<libraryFunction>();
Create a file under src/lib/
.
Start with the standard boilerplate documentation, and the (function(document, window){})(); wrapper.
The library should implement a factory function, and make its existence known to impress.js core:
window.impress.addLibraryFactory( { libName : libraryFactory} );
The library function should return a similar API object as core impress()
function does:
var libraryFactory = function(rootId) {
/* implement library functions ... */
var lib = {
libFunction1: libFunction1,
libFunction2: libFunction2
}
return lib;
};
While rarely used, impress.js actually supports multiple presentation root div elements on a single html page. Each of these have their own API object, identified by the root element id attribute:
impress("other-root-id").init();
(The default rootId obviously is "impress"
.)
Libraries MUST implement this support for multiple root elements as well.
impress.init(rootId)
.rootId
.impress(rootId).tear()
, the same root element might be
initialized more than once, and each of these MUST be treated as a new valid initialization.Putting all of the above together, a skeleton library file will look like:
/**
* Example library libName
*
* Henrik Ingo (c) 2016
* MIT License
*/
(function ( document, window ) {
'use strict';
// Singleton library variables
var roots = [];
var singletonVar = {};
var libraryFactory = function(rootId) {
if (roots["impress-root-" + rootId]) {
return roots["impress-root-" + rootId];
}
// Per root global variables (instance variables?)
var instanceVar = {};
// LIBRARY FUNCTIONS
var libraryFunction1 = function () {
/* ... */
};
var libraryFunction2 = function () {
/* ... */
};
var lib = {
libFunction1: libFunction1,
libFunction2: libFunction2
}
roots["impress-root-" + rootId] = lib;
return lib;
};
// Let impress core know about the existence of this library
window.impress.addLibraryFactory( { libName : libraryFactory } );
})(document, window);


I was doing the Manipulating Objects kata in Sprint 4. I was stuck and feeling really confused on one of the early tests for quite a while. Then I decided to start doing some googling to figure out why I couldn’t get it to work. While looking at my google search results I vaguely remembered there being a few exercises on FreeCodeCamp I did about it. So I went and redid those exercises and I felt so relieved because it was exactly what I needed to know for that kata. I was able to complete it really quickly after that. What I learnt was that I need to keep practicing more so that I can remember without having to go back and relearn.
It was the FizzBuzz (Super Edition) kata in Sprint 4. The problem solving techniques I used were just trying something and reading the error messages. There were 2 functions for this kata. For the second one, I thought it would be a good idea to basically use the same code as the first function but change it slightly so it would run with the different parameters. At first it didn’t work but I kept making slight adjustments, while also looking at the error messages that were coming back after I ran the code. In the end it worked and I thought this was an elegant and simple way to solve the problem, so I felt pretty happy with that. What I learnt was that it’s good to try things to see if they work and that reading the error messages are very helpful when trying to figure out exactly where you went wrong.


GetNA
The GetNA function returns the network
address of the primary adapter.
|
:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
:GetNA na
::
:: By: Ritchie Lawrence, 2003-09-22. Version 1.0
::
:: Func: Obtains network address of primary adapter. For NT4/2000/XP/2003.
:: If functions fails, <IP_ADDRESS>
is returned.
::
:: Args: %1 var to receive network address (by ref)
:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
setlocal ENABLEEXTENSIONS & set "i=<IP_ADDRESS>" & set
"n=<IP_ADDRESS>" & set "j="
for /f "tokens=4" %%a in ('route print^|findstr <IP_ADDRESS>.*<IP_ADDRESS>')
do (
if not defined j (for %%b in (%%a) do set "i=%%b" &
set j=1)) & set "k="
for /f "skip=1 tokens=1,3-4" %%a in ('route print^|findstr/b
/c:" "') do (
for %%e in (%%a) do set "x=%%e" & for %%f
in (%%b) do set "y=%%f"
for %%g in (%%c) do set "z=%%g"
for /f "tokens=1-3" %%a in ('echo/%%x%% %%y%%
%%z%%') do (
if not defined k if "%%c"=="%i%"
if "%%b"=="%i%" set k=1 & set n=%%a))
endlocal & set "%1=%n%" & goto :EOF
::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: |
|
Parameters
%1 var to receive network address (by ref)
Return Values
See parameters above.
Example
@echo off & setlocal ENABLEEXTENSIONS
call :GetNA na
echo/Network address: %na%
goto :EOF
Remarks
If the machine has more than one interface, the network address returned
will be that of the interface whose IP address is attached to the default
route.
Note the third, fourth and fifth FOR loops strip whitespace for compatability
with NT4.0 without using a TAB character in the script.
See Also
|


Remember that multiple variables can refer to the same object.
In the diagram below, there are only 2 Room
objects, total. (There are more in the game, obviously, but in this diagram, there are 2.)
There are 5 variables. 3 of them point to the one Room object that is the foyer:
room['foyer']
room['outside'].n_to
player.location
The remaining 2 point to the one Room object that is the outside:
room['outside']
room['foyer'].s_to
room['outside'] -> Room("Outside Cave Entrance")
^
|
room['foyer'].s_to
room['foyer'] -> Room("Foyer") <- player.location
^
|
room['outside'].n_to
If you want to move the player (who is in the foyer in the diagram) to another room, you just need to reassign that to any variable that points to that other room.
So if the player is in the foyer and types s
to go south, we could set:
player.location = room['foyer'].s_to # we were in the foyer, then went south
and after that, the variable references would look like this, with player location pointing to the outside object:
player.location
|
v
room['outside'] -> Room("Outside Cave Entrance")
^
|
room['foyer'].s_to
room['foyer'] -> Room("Foyer")
^
|
room['outside'].n_to
Assigning doesn’t copy the object. It just makes another reference to the same object.


Interface IVSAMDataComponentStatistics
-
public interface IVSAMDataComponentStatistics
VSAM data component statistics.Examples:
To retrieve VSAM data component statistics:IVSAMDataComponentCharacteristics vsamDataComponentCharacteristics = ... // get the VSAM data component statistics from the VSAM data component // characteristics IVSAMDataComponentStatistics vsamDataComponentStatistics = vsamDataComponentCharacteristics .getStatistics();
For examples on how to retrieveIVSAMClusterCharacteristics
seeIVSAMClusterCharacteristics
.
For examples on how to retrieveIVSAMDataComponentStatistics
seeIVSAMDataComponentStatistics
.
For examples on how to retrieveIVSAMIndexComponentCharacteristics
seeIVSAMIndexComponentCharacteristics
.- Since:
- 1.0.0
- Version:
- 2.0.0
- See Also:
IVSAMDataComponentCharacteristics.getStatistics()
- Restriction:
- This interface is not intended to be extended by clients.
- Restriction:
- This interface is not intended to be implemented by clients.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description int
getControlAreaSplitCount()
Returns the number of control area (CA) splits in the associated VSAM data component.int
getControlIntervalsPerControlArea()
Returns the number of control intervals (CIs) contained in each control area (CA) of the associated VSAM data component.int
getControlIntervalSplitCount()
Returns the number of control interval (CI) splits in the associated VSAM data component.IVSAMDataComponentCharacteristics
getDataComponentCharacteristics()
Returns the characteristics of the associated VSAM data component.int
getDeletedRecordCount()
Returns the number of records that have been deleted from the associated VSAM data component.int
getInsertedRecordCount()
Returns the number of records that have been inserted into the associated VSAM data component.int
getIOOperationCount()
Returns the number of input/output (I/O) operations that have been issued against the associated VSAM data component.int
getRecordCount()
Returns the number of records in the associated VSAM data component.int
getRetrievedRecordCount()
Returns the number of records that have been retrieved from the associated VSAM data component.int
getUpdatedRecordCount()
Returns the number of records that have been updated in the associated VSAM data component.boolean
isValid()
Returns whether the statistics of the associated VSAM data component are valid.
-
-
-
Method Detail
-
getDataComponentCharacteristics
IVSAMDataComponentCharacteristics getDataComponentCharacteristics()
Returns the characteristics of the associated VSAM data component.- Returns:
- the VSAM data component characteristics
- Since:
- 1.0.0
-
isValid
boolean isValid()
Returns whether the statistics of the associated VSAM data component are valid.The statistics of a VSAM data component are considered invalid when the system has detected that the VSAM data component has not been closed properly, and therefore some or all of the statistics may be inaccurate.
- Returns:
true
if the statistics are valid,false
otherwise- Since:
- 1.0.0
-
getControlIntervalsPerControlArea
int getControlIntervalsPerControlArea()
Returns the number of control intervals (CIs) contained in each control area (CA) of the associated VSAM data component.- Returns:
- the number of CIs per control area
- Since:
- 1.0.0
-
getRecordCount
int getRecordCount()
Returns the number of records in the associated VSAM data component.- Returns:
- the number of records
- Since:
- 1.0.0
-
getDeletedRecordCount
int getDeletedRecordCount()
Returns the number of records that have been deleted from the associated VSAM data component.- Returns:
- the number of deleted records
- Since:
- 1.0.0
-
getInsertedRecordCount
int getInsertedRecordCount()
Returns the number of records that have been inserted into the associated VSAM data component.- Returns:
- the number of inserted records
- Since:
- 1.0.0
-
getUpdatedRecordCount
int getUpdatedRecordCount()
Returns the number of records that have been updated in the associated VSAM data component.- Returns:
- the number of updated records
- Since:
- 1.0.0
-
getRetrievedRecordCount
int getRetrievedRecordCount()
Returns the number of records that have been retrieved from the associated VSAM data component.- Returns:
- the number of retrieved records
- Since:
- 1.0.0
-
getControlIntervalSplitCount
int getControlIntervalSplitCount()
Returns the number of control interval (CI) splits in the associated VSAM data component.- Returns:
- the number of CI splits
- Since:
- 1.0.0
-
getControlAreaSplitCount
int getControlAreaSplitCount()
Returns the number of control area (CA) splits in the associated VSAM data component.- Returns:
- the number of CA splits
- Since:
- 1.0.0
-
getIOOperationCount
int getIOOperationCount()
Returns the number of input/output (I/O) operations that have been issued against the associated VSAM data component.- Returns:
- the number of I/O operations
- Since:
- 1.0.0
-
-


Simple lists
Testing float + no width, width > row contents, width < row contents
Grid with no column widths specified
Grid with column widths exceeding grid width
(for testing that nodes occupy correct widths -
pay attention to hover/selection style and scroll right)
Grid like previous, but with headers initially hidden


Graph-based representation of microstructure¶
The package is built on the concept of graph-based microstructure representation. The segmented and digitized morphology is represented using a labelled, weighted, undirected graph. Each pixel (or voxel in 3D) becomes a graph vertex with a label denoting its phase. The vertices are connected with edges that capture information about distances. Graph construction for simple two phase morphologies is illustrated in figure. Once the morphology is represented as a graph, the standard graph-theory algorithms are used to quantify information about shortest paths and connectivity.
Digitized and segmented morphology is the input to the software. Graph construction of a labeled weighted undirected graph \(G = (V,E,W,L)\) for a two-phase, two-dimensional morphology is described in this section. A vertex \(v \in V\) corresponds to an individual pixel (voxel in 3D) in the morphology. Each vertex \(v \in V\) is assigned a label \(L(v)\) of BLACK or WHITE, depending on the phase of the respective pixel. Vertices are connected via a set of edges \(E\). The inherent structure of the morphology (pixel locations on a uniform lattice) is used to construct the set \(E\). For each pixel in the digitalized morphology, the local neighborhood is established. For example, a pixel can have 8 neighbors in 2D and hence a vertex corresponding to a pixel can have up to 8 neighbors in the graph. An edge between a pair of vertices correspond to neighboring pixels positions. Each edge \(e=(u,v) \in E\) is assigned a weight \(W(e)\) equal to the Euclidean distance between the pixels corresponding to \(u\) and \(v\) in the morphology. First order neighbors one lattice distance away have an edge weight of \(1\), second order neighbors \(\sqrt{2}\) lattice units away have an edge weight of \(\sqrt{2}\) weight. For 3D systems, third order neighbors are included. To facilitate the graph descriptor computations we introduce the edge labels \(G = (V,E,W,L,L_e)\) (in addition to the vertex labels \(L\)). The edge color set consists of: \(f, s, t\), that correspodns to first, second and third order descriptors.
The graph \(G\) can be constructed for several types of data. In Figure, the graph construction is showcased for three types of data: structured two-phase morphology, structured three-phase morphology and unstructured two-phase morphology. To address various types of data GraSPI offers two options to input data required to construct the graph. The first option allows to read the structured morphologies and can be used when the phases of the input morphology are discretized on a structured grid. Here, the neighborhood is well defined and edges and vertices are simultaneously created and added to the graph. The second option corresponds to unstructured data. In this case, the data is read from the input file according to the internal format described in the appendix. This option allows to handle unstructured data sets where the neighborhood is location specific and needs to be determined externally (e.g., using Voronoi diagrams of knn-algorithm).
In the second step, more meta-vertices are added to the graph. For OSC morphologies, two types of meta vertices are added. The first type facilitates information extraction with respect to the electrodes: anode (red vertex) and cathode (blue vertex) (see Figure Step 2). The second type extracts information about the interface (green vertex). For two-phase morphologies, there exists only one type of interface between BLACK and WHITE vertices. This interface is tracked and the edges that connect a BLACK and a WHITE vertex are deleted, and subsequently connected via an added meta-vertex (green Once edges are added to the meta-vertices, weights are assigned to them. Edges of weight \(W=1\) are added between the anode/cathode and the vertices \(v \in V\) (which correspond to pixels) physically adjacent to the anode/cathode. Additionally, edges of weight \(0.5\) are added to represent the connections between the interface vertex and the BLACK/WHITE vertices, \(v \in V\). If \(v\) with \(L = BLACK\) and a \(v\) has an edge of or \(L = WHITE\) has an edge of weight \(1\) to another \(v\) with \(L = WHITE\) or \(L = BLACK\). The anode, cathode, and interface vertices have labels anode, cathode, and interface, respectively. The added vertices allow for a straightforward estimation of graph distances from any location on the domain of the morphology to the electrodes.
Once the graph is constructed, its quantification becomes independent of the original dimensions(2D or 3D) or type structured or unstructured). The morphology quantification is recast as graph query (Step 3 in Figure). The graph queries relies on algorithms from graph theory, e.g. Dijkstra algorithm, connected components that we describe in the next subsection.


Best Early Black Friday Smart Security Camera Deals
On the market for a great deal on a smart security camera this Black Friday? Look no further
by Lewis PainterBlack Friday is almost upon us, and that means one thing; deals. You’ll find money off just about everything during Black Friday, an event that in recent years has extended to a weeks-long shopping frenzy, which means there are plenty of great security camera deals available – you just need to know where to look.
That’s where we at Tech Advisor come in; we’ve spent a lot of time searching the web for the best early Black Friday security camera deals, and we list them all for you right here.
Best smart security camera deals right now
We’re always on the hunt for deals at Tech Advisor, but unlike other sites, we use our expertise to identify and list only the best value deals.
Logitech Circle 2
From: Amazon
Was: £169.99
Now: £119.49 (£50.50 off)
View Deal
Blink XT2 Security System (2 Cameras)
From: Currys PC World
Was: £179
Now: £134 (£45 off)
View Deal
Hive View
From: Amazon
Was: £179
Now: £129.99 (£49.01 off)
View Deal
Ring Floodlight Cam
From: Amazon
Was: £249.99
Now: £169 (£80 off)
View Deal
Swann Smart Security System (4 Cameras)
From: Currys PC World
Was: £499
Now: £329 (£170 off)
View Deal
Netgear Arlo Smart Security Camera
From: Currys PC World
Was: £119.99
Now: £74.99 (£45 off)
View Deal
<
>
There are a lot of smart security cameras on the market, some well-known and some not quite so. With security cameras, we’ve found that it’s generally better to stick to popular brands like Hive, Logitech, D-Link, Ring and Netatmo. That’s down not only to better protection against hackers but the quality of the connected apps – something that we think is important as the camera itself.
That does mean you’ll often be paying a premium for smart security cameras, but we’re confident that it’s worth spending the extra bit of money to get a quality product that won’t let you down when you need it most.
In terms of features, most smart security cameras offer night-vision, two-way talk via a smartphone app and a wide-angle POV, but some go further than that. Some offer waterproofing and long battery life for outdoor use, built-in sirens and a few even feature built-in AI to identify people it captures.
It’s worth mentioning that even with a discount on the initial purchase, you’ll likely be paying a monthly fee to access cloud recording capabilities and maybe even some of the advanced features of the camera – it all depends on the manufacturer.
If you want any more information about the range of smart security cameras on the market, we’d recommend taking a look at our selection of the best smart security cameras.
Where to find smart security camera deals
You’ll find security cameras in most electronics retailers, along with anywhere else that sells tech in-store or online.
When it comes to deals, Amazon generally has some of the best deals – especially as we get closer to Black Friday 2019 later this month. Some of the best deals are Lightning Deals, which run for a few hours and often offer only limited stock, so they tend to sell out quickly.
If you find you’re always a little too late, we’d recommend signing up for Amazon’s 30-day free trial of Prime, providing early access to Lightning deals along with all other benefits of the membership.
Amazon aside, here are a few of the best places to check for smart security camera bargains:
1. Logitech Circle 2
From: Amazon
Was: £169.99
Now: £119.49 (£50.50 off)
View Deal
The Logitech Circle 2 is a great smart camera that can be used both indoors and outdoors. It's compatible with Alexa, Google Assistant and Siri, making it smart home-friendly no matter your setup, and the 180-degree FOV is amongst the best available. At £119.49, it's an absolute bargain.
2. Blink XT2 Security System (2 Cameras)
From: Currys PC World
Was: £179
Now: £134 (£45 off)
View Deal
With free cloud backup, Alexa integration and a 110-degree wide-angle camera the Blink XT2 is a capable smart camera. This deal offers two cameras for £134, but if you only want one, you can pick up a single camera for £74.99.
3. Hive View
From: Amazon
Was: £179
Now: £129.99 (£49.01 off)
View Deal
The Hive View is a good-looking smart security camera that, thanks to a built-in battery, can be easily removed from the mount and temporarily relocated to another area of the home. It also offers person detection, allowing you to live free of false activations due to light changes and pets.
4. Ring Floodlight Cam
From: Amazon
Was: £249.99
Now: £169 (£80 off)
View Deal
A security floodlight with a camera built-in that can be monitored from afar, the Ring Floodlight Cam is ideal for monitoring the front or rear of your home.
5. Swann Smart Security System (4 Cameras)
From: Currys PC World
Was: £499
Now: £329 (£170 off)
View Deal
If you're serious about home security, the Swann smart security system is a good option to consider. It's slightly different to other cameras as it records locally to a 2TB hard drive, saving monthly costs, and offers both heat and motion detection capabilities. You get 4 cameras in this deal, but you can expand to up to 8 cameras if necessary.
6. Netgear Arlo Smart HD Security Cameras (x2) with Night Vision
From: Amazon
Was: £309.99
Now: £199 (36% off)
View Deal
Save over £110 on this two-camera security set from Netgear.
7. Netgear Arlo Smart Security Camera
From: Currys PC World
Was: £119.99
Now: £74.99 (£45 off)
View Deal
If you've already got an existing Arlo camera setup and want to add an additional camera, you can save £45 with this deal.


Namespace: |
|
Type: |
|
Content: |
complex, 2 attributes, 1 element |
Defined: |
XML Representation Summary |
|||||||||
| <tab:accession | |||||||||
|
|||||||||
| > | |||||||||
|
|||||||||
| </tab:accession> |
| <element maxOccurs="1" minOccurs="0" name="accession" type="tab:Accession"/> |
Type: |
boolean, predefined |
Use: |
optional |
Defined: |
| <attribute name="ambiguous" type="boolean"/> |
Type: |
string, predefined |
Use: |
optional |
Defined: |
| <attribute name="data-source" type="string"/> |
Type: |
tab:Column, complex content |
Defined: |
| <element minOccurs="0" name="column" type="tab:Column"/> |
This XML schema documentation has been generated with DocFlex/XML 1.8.5 using DocFlex/XML XSDDoc 2.5.0 template set. DocFlex/XML is a tool for programming and running highly sophisticated documentation and reports generators by the data obtained from
any kind of XML files. The actual doc-generators are implemented in the form of special templates that are designed visually
using a high-quality Template Designer GUI basing on the XML schema (or DTD) files describing the data source XML. DocFlex/XML XSDDoc is a commercial template application of DocFlex/XML that implements a high-quality XML Schema documentation generator with simultaneous support of framed multi-file HTML,
single-file HTML and RTF output formats. (More formats are planned in the future). A commercial license for "DocFlex/XML XSDDoc" will allow you:
Once having only such a license, you will be able to run the fully-featured XML schema documentation generator both with DocFlex/XML (Full Edition) and with DocFlex/XML RE, which is a reduced free edition containing only the template interpretor / output generator. No other licenses will be required! But this is not all. In addition to it, a commercial license for "DocFlex/XML SDK" will allow you to modify the XSDDoc templates themselves as much as you want. You will be able to achieve whatever was impossible to do with the template parameters only.
And, of course, you could develop any template applications by your own! Please note that by purchasing a license for this software, you not only acquire a useful tool,
you will also make an important investment in its future development, the results of which you could enjoy later by yourself.
 To purchase a license, please follow this link: http://www.filigris.com/shop/ |


Contact Form
Service Info
Location
NASA Headquarters, 300 E Street SW, Washington
Contact Info
Tel: +00 9999999
Opening Time
We offer 24/7 user support.
NASA Headquarters, 300 E Street SW, Washington
Tel: +00 9999999
We offer 24/7 user support.


EVȧL
This is a quick exercise to illustrate how evil is eval(). eval() is a dangerous function, which executes the code it's passed with the privileges of the caller. If you run eval() with a string that could be affected by a malicious party, you may end up running malicious code on the user's machine with the permissions of your webpage / extension.
Getting PAWNED means you agree that someone could run arbitrary code on your machine.
Get pwned »Press F12 on your keyboard and enter evail.connect()
in the console to get started.


Options
Main
Map
Time
Province
Renewable
Canada Powerplants - Renewable vs Non Renewable
Canada
British Columbia
Alberta
Quebec
Ontario
Newfoundland


After two years of legislative activity, the 115th Senate may be most notably remembered for their sweeping overhaul of our tax system, or their failure to come to terms on a revised version of the Affordable Care Act. However, amidst all of the political banter, who really was most loyal to their party?
| Percent Voted With Party | Missed Votes | Total Votes | |||
|---|---|---|---|---|---|
| {{ percentParty}}% | --- | {{ missedVotes }} | --- | {{ totalVotes }} | --- |
Not much of a surprise that Rand Paul voted least with the Republican party over the two-year period. As an ardent member of the Freedom caucus, he has been proud of his record to buck party trends.
For democrats, Joe Manchin of West Virginia has historically voted moderately. Being in a state that has shifted red over the last few decades, he's been concious of his electorate.
It's quite interesting to see that of the 51 Republicans in the Senate, all but three -- Rand Paul (KY), Mike Lee (UT), and Susan Collins (ME) -- voted with the party at least 90 percent of the time. In an era of strong partisanship among the two parties, this is an indication that Senate Majority Leader, Mitch McConnell, and his party's agenda were kept close in hand.


Fall
Alex Beers
Week of October 31
Alex Beers is a Junior in Mechanical Engineering from Alton, IL. He enjoys running, cooking, and camping. He is working on the ROV team's structures subteam and did outstanding work in manufacturing test parts, teaching new students design principles, and jumpstarting controls development for this year's ROV.
Brandon Dimitri
Week of October 24
Brandon Dimitri is a Masters student in AAE. He completed his bachelor's degree at Purdue last May. Branding is leading the air vehicle development of the PART R&D division. Outside of class, he is an active runner, winning the 2022 Purdue Half Marathon by almost 5 minutes.
Grant Cameron
Week of October 17
Grant is a sophomore in Mechanical Engineering and is a member of IEEE Racing. He is passionate about motorsports. In his free time, he enjoys hanging out with friends and playing guitar. Recently, Grant coordinated critical parts of the kart mechanical design and acts as the team's driver.
Aidan Bilger
Week of October 03
Aidan Bilger is a freshman from Seattle on the PART airframe team.  Next year he hopes to study aeronautical engineering and eventually work on aircraft design.
Hadi Ahmed and Alex Taylor
Week of September 26
Hadi Ahmed is a senior in Computer Engineering from Naperville, IL. He enjoys all things technology.
Alex Taylor is a junior in Computer Engineering. He loves the creative arts.
These two members worked together to perform critical upgrades to IEEE Infrastructure.
Yusuf Jarda
Week of September 19
Yusuf Jarada is a sophomore in Computer Engineering from Sunnyvale California. He enjoys robotics, hiking, music and sports. He is on ROV working on custom Electronic Speed Controllers that will be used to drive the thrusters and was instrumental in IEEE's victory in the tug-of-war vs ASME.
Spring
JP Schott Ymayo and Corey Auerbach
Week of February 28
JP Schott Ymayo is a sophomore in Aerospace Engineering from São Paulo Brazil. He loves playing soccer and is
interested in aircraft design and manufacturing.
Corey Auerback is a freshman in FYE. He is looking to study Aerospace Engineering and is the safety pilot for Aerial Robotics.
In his free time, Corey loves building and flying R/C aircraft and playing the guitar.
Diego Montes
Week of January 31
Diego Montes is a junior in Computer Engineering and the Software Lead for Aerial Robotics. He is interested in deep learning and software engineering. He hopes that this year's computer vision software will help the Aerial Robotics team place highly at the AUVSI-SUAS 2022 competition. Outside of PART, Diego enjoys playing soccer, traveling, and hiking.
Not Pictured: Shayak Chatterjee, Alex Taylor
Shayak Chatterjee, Alex Taylor, Kyler Harrison, Gaurab Das, Khoi Pham, Adam Piaseczny
Week of January 24
Shayak Chatterjee is a sophomore in Mechanical Engineering. He loves reading sci-fi novels and listening to Linkin Park.
Alex Taylor a sophomore in Computer Engineering. He has interests in game development, animation, and education.
Kyler Harrison is a junior in Physics who likes computers and science, sometimes at the same time.
Gaurab Das is a freshman in FYE. He currently serves as the Workshop coordinator for Computer Society, and loves playing basketball and reading books.
Khoi Pham is a freshman in FYE. He wears a silver bracelet on his left wrist, and he used it to distinguish left from right until high school.
Adam Piaseczny is a sophomore in Computer Engineering. He enjoys exploring new areas on his bike whenever he has time.


I am a web developer with front and back end experience and a certificate in full stack web developement from the University of Minnesota. In my previous career I was an area sales manager for a beverage distributor. When I began my territory was underdeveloped, and our team didn’t have a grasp on the fundamental problem solving skills necessary for growth. After uncovering issues of procedure, I developed winning level branding and customer service standards to help my team win a larger share of the market every single day. With much excitement, I am motivated to bring my skills into web development. I very much look forward to working in a team or independent atmosphere.
GPA: 3.76
Apart from being a web developer, I love to travel. Exploring the world is a passion of mine that goes hand in hand with this journey we call life. I also am big on health and fitness. I love to read up on the newest studies coming out on the newest diets, conditioning, and other methods of well being.
When forced indoors, I love to watch sports of all kinds. My favorite being football. I am a huge Minnesota Viking fan. Still patiently waiting for that one championship victory to make life complete. I also don't mind trying my hand at cooking. Some call me the undisputed "CrockPot Master".


EJECT(1) User Commands EJECT(1) NAME eject - eject removable media SYNOPSIS eject -h eject [-vnrsfmqp] [<name>] eject [-vn] -d eject [-vn] -a on|off|1|0 [<name>] eject [-vn] -c slot [<name>] eject [-vn] -i on|off|1|0 [<name>] eject [-vn] -t [<name>] eject [-vn] -T [<name>] eject [-vn] -x <speed> [<name>] eject [-vn] -X [<name>] eject -V DESCRIPTION Eject allows removable media (typically a CD-ROM, floppy disk, tape, or JAZ or ZIP disk) to be ejected under software control. The command can also control some multi-disc CD-ROM changers, the auto-eject feature sup‐ ported by some devices, and close the disc tray of some CD-ROM drives. The device corresponding to <name> is ejected. The name can be a device file or mount point, either a full path or with the leading "/dev", "/media" or "/mnt" omitted. If no name is specified, the default name "cdrom" is used. There are four different methods of ejecting, depending on whether the device is a CD-ROM, SCSI device, removable floppy, or tape. By default eject tries all four methods in order until it succeeds. If the device is currently mounted, it is unmounted before ejecting. COMMAND-LINE OPTIONS -h This option causes eject to display a brief description of the com‐ mand options. -v This makes eject run in verbose mode; more information is displayed about what the command is doing. -d If invoked with this option, eject lists the default device name. -a on|1|off|0 This option controls the auto-eject mode, supported by some devices. When enabled, the drive automatically ejects when the device is closed. -c <slot> With this option a CD slot can be selected from an ATAPI/IDE CD-ROM changer. Linux 2.0 or higher is required to use this feature. The CD-ROM drive can not be in use (mounted data CD or playing a music CD) for a change request to work. Please also note that the first slot of the changer is referred to as 0, not 1. -i on|1|off|0 This option controls locking of the hardware eject button. When enabled, the drive will not be ejected when the button is pressed. This is useful when you are carrying a laptop in a bag or case and don't want it to eject if the button is inadvertently pressed. -t With this option the drive is given a CD-ROM tray close command. Not all devices support this command. -T With this option the drive is given a CD-ROM tray close command if it's opened, and a CD-ROM tray eject command if it's closed. Not all devices support this command, because it uses the above CD-ROM tray close command. -x <speed> With this option the drive is given a CD-ROM select speed command. The speed argument is a number indicating the desired speed (e.g. 8 for 8X speed), or 0 for maximum data rate. Not all devices support this command and you can only specify speeds that the drive is capa‐ ble of. Every time the media is changed this option is cleared. This option can be used alone, or with the -t and -c options. -X With this option the CD-ROM drive will be probed to detect the available speeds. The output is a list of speeds which can be used as an argument of the -x option. This only works with Linux 2.6.13 or higher, on previous versions solely the maximum speed will be reported. Also note that some drive may not correctly report the speed and therefore this option does not work with them. -n With this option the selected device is displayed but no action is performed. -r This option specifies that the drive should be ejected using a CDROM eject command. -s This option specifies that the drive should be ejected using SCSI commands. -f This option specifies that the drive should be ejected using a removable floppy disk eject command. -q This option specifies that the drive should be ejected using a tape drive offline command. -p This option allow you to use /proc/mounts instead /etc/mtab. It also passes the -n option to umount(1). -m This option allows eject to work with device drivers which automati‐ cally mount removable media and therefore must be always mount(1)ed. The option tells eject to not try to unmount the given device, even if it is mounted according to /etc/mtab or /proc/mounts. -V This option causes eject to display the program version and exit. LONG OPTIONS All options have corresponding long names, as listed below. The long names can be abbreviated as long as they are unique. -h --help -v --verbose -d --default -a --auto -c --changerslot -t --trayclose -T --traytoggle -x --cdspeed -X --listspeed -n --noop -r --cdrom -s --scsi -f --floppy -q --tape -V --version -p --proc -m --no-unmount EXAMPLES Eject the default device: eject Eject a device or mount point named cdrom: eject cdrom Eject using device name: eject /dev/cdrom Eject using mount point: eject /mnt/cdrom/ Eject 4th IDE device: eject hdd Eject first SCSI device: eject sda Eject using SCSI partition name (e.g. a ZIP drive): eject sda4 Select 5th disc on multi-disc changer: eject -v -c4 /dev/cdrom Turn on auto-eject on a SoundBlaster CD-ROM drive: eject -a on /dev/sbpcd EXIT STATUS Returns 0 if operation was successful, 1 if operation failed or command syntax was not valid. NOTES Eject only works with devices that support one or more of the four meth‐ ods of ejecting. This includes most CD-ROM drives (IDE, SCSI, and propri‐ etary), some SCSI tape drives, JAZ drives, ZIP drives (parallel port, SCSI, and IDE versions), and LS120 removable floppies. Users have also reported success with floppy drives on Sun SPARC and Apple Macintosh sys‐ tems. If eject does not work, it is most likely a limitation of the ker‐ nel driver for the device and not the eject program itself. The -r, -s, -f, and -q options allow controlling which methods are used to eject. More than one method can be specified. If none of these options are specified, it tries all four (this works fine in most cases). Eject may not always be able to determine if the device is mounted (e.g. if it has several names). If the device name is a symbolic link, eject will follow the link and use the device that it points to. If eject determines that the device can have multiple partitions, it will attempt to unmount all mounted partitions of the device before ejecting. If an unmount fails, the program will not attempt to eject the media. You can eject an audio CD. Some CD-ROM drives will refuse to open the tray if the drive is empty. Some devices do not support the tray close command. If the auto-eject feature is enabled, then the drive will always be ejected after running this command. Not all Linux kernel CD-ROM drivers support the auto-eject mode. There is no way to find out the state of the auto-eject mode. You need appropriate privileges to access the device files. Running as root or setuid root is required to eject some devices (e.g. SCSI devices). The heuristic used to find a device, given a name, is as follows. If the name ends in a trailing slash, it is removed (this is to support file‐ names generated using shell file name completion). If the name starts with '.' or '/', it tries to open it as a device file or mount point. If that fails, it tries prepending '/dev/', '/media/' ,'/mnt/', '/dev/cdroms', '/dev/rdsk/', '/dev/dsk/', and finally './' to the name, until a device file or mount point is found that can be opened. The pro‐ gram checks /etc/mtab for mounted devices. If that fails, it also checks /etc/fstab for mount points of currently unmounted devices. Creating symbolic links such as /dev/cdrom or /dev/zip is recommended so that eject can determine the appropriate devices using easily remembered names. To save typing you can create a shell alias for the eject options that work for your particular setup. AUTHOR Eject was written by Jeff Tranter<EMAIL_ADDRESS>and is released under the conditions of the GNU General Public License. See the file COPYING and notes in the source code for details. The -x option was added by Nobuyuki Tsuchimura (tutimura@nn.iij4u.or.jp), with thanks to Roland Krivanek<EMAIL_ADDRESS>and his cdrom_speed command. The -T option was added by Sybren Stuvel (sybren@thirdtower.com), with big thanks to Benjamin Schwenk (benjaminschwenk@yahoo.de). The -X option was added by Eric Piel (Eric.Piel@tremplin-utc.net). SEE ALSO mount(2), umount(2), mount(8), umount(8) /usr/src/linux/Documentation/cdrom/ Linux 12 May 2005 EJECT(1)


Evening 10 Series 2019 Event 13
| Kib 4 |
16 July 19 |
|
10 |
miles |
| Name |
Position |
Road bike |
Actual Time |
Avg. mph |
| |
|
|
|
|
| Timothy Smith |
1 |
|
00:20:58 |
28.62 |
| Simon Price |
2 |
|
00:21:42 |
27.65 |
| Graeme Hall |
3 |
|
00:21:46 |
27.57 |
| James Lowe |
4 |
|
00:22:04 |
27.19 |
| Martin
Webster |
5 |
|
00:22:05 |
27.17 |
| Hans van
Nierop |
6 |
|
00:22:10 |
27.07 |
| Gary
Roberts |
7 |
|
00:22:12 |
27.03 |
| Jason
Williams |
8 |
1 |
00:22:26 |
26.75 |
| Jonathan
Durnin |
9 |
|
00:22:31 |
26.65 |
| Michael
Burke |
10 |
2 |
00:22:37 |
26.53 |
| James
Moore |
11 |
3 |
00:23:03 |
26.03 |
| Alistair
Watson |
12 |
|
00:23:28 |
25.57 |
| Rob
Hammond |
13 |
|
00:23:43 |
25.30 |
| Ian
Waterfield |
14 |
|
00:23:46 |
25.25 |
| Julian
Middleton |
15 |
|
00:23:57 |
25.05 |
| Lawrence
Cox |
16 |
4 |
00:24:06 |
24.90 |
| Marcus Buksh |
17 |
|
00:24:26 |
24.56 |
| Dominic
Switzer |
18 |
5 |
00:24:32 |
24.46 |
| Bill
Barrie |
19 |
|
00:24:40 |
24.32 |
| Stuart
Dawkins |
20 |
6 |
00:25:01 |
23.98 |
| David Reay |
21 |
|
00:25:04 |
23.94 |
| Ian Murdey |
22 |
|
00:25:15 |
23.76 |
| Linda
Hubbard |
23 |
|
00:25:19 |
23.70 |
| Mitchell
James |
24 |
|
00:25:24 |
23.62 |
| Vic
Barnett |
25 |
7 |
00:25:58 |
23.11 |
| Mike Sirett |
26 |
|
00:26:15 |
22.86 |
| Maria
Senior |
27 |
|
00:26:32 |
22.61 |
| Michael Church |
28 |
|
00:26:39 |
22.51 |
| Jennifer
Clegg |
29 |
|
00:26:47 |
22.40 |
| Simon Ward |
30 |
|
00:27:03 |
22.18 |
| Tom Evans |
31 |
|
00:27:46 |
21.61 |
| Steve
Alden |
32 |
|
00:28:53 |
20.77 |
| Will & Trevor Wise |
33 |
|
00:28:58 |
20.71 |
| Chris
Dunkley |
34 |
8 |
00:29:28 |
20.36 |
| Claire Moore |
35 |
9 |
00:30:07 |
19.92 |
| Debbie
Ward |
36 |
10 |
00:31:27 |
19.08 |
| William
Lowe |
37 |
|
00:31:32 |
19.03 |
| Sophie
Ward |
38 |
11 |
00:33:44 |
17.79 |
| Christine Wise |
39 |
|
00:35:00 |
17.14 |
|
|
|
|
|