Tenth Week of RC
Day 2: Bogus Metric Indicator
April 23, 2019
Every other Tuesday we have non-technical talks, when Recursers get to present on topics we find fascinating or know well. Today I gave a presentation on the body metric indicator (BMI), or as I referred to it, the bogus metric indicator. Below are my slides.
If you'd like to learn more, here are some resources I recommend.
-
- Health at Every Size
-
- Body Respect
- The podcast "She's All Fat"
- The work of Dr. Melissa Fabello
Together, may we learn to understand that all bodies are good bodies, and the bmi is bogus.


--- layout: post date: 2008-07-22 time: "09:00:00" authors: ["Greg Wilson"] title: Reviving the Software Carpentry Mailing List tags: ["Content"] ---
Luke Petrolekas and I are thiiiiis close to having the Software Carpentry notes converted to a wiki. Once they are, I'm going to be working with Tina Yee to update them, do the examples in MATLAB as well as Python, and fix some longstanding bugs. I'm also going to resurrect the project's two mailing lists (one for occasional announcements, the other for people interested in developing new material and/or teaching the course). If you'd like to be on either or both, please let us know.


When I googled how to install CUDA toolkit on GTX1070, I came across multiple threads that explained how CUDA toolkit 8.0 cannot be installed with the new GTX 1070 (and 1080) because the card is newer than the toolkit and the drivers are not recognized by the toolkit. But when I proceeded to install CUDA toolkit 8.0 and to my surprise, I was able to have it configured without much of a hassle. So I figured it would serve well to lay out what I did.
Hardware Configuration
CPU: Core i5-6600(3.3GHz) / quadcore / Skylake Mother Board: GIGABYTE GA-B150M-DS3H Durable Edition PC direct Memory: Samsung DDR4 8GB PC4-19200 (X2) GPU: ZOTAC GeForce GTX1070 MINi D5 8GB
Software Configuration
OS: Ubuntu 16.4
When you fresh install Ubuntu 16.4 and use the default NVidia graphic driver recommended by the software manager, Ubuntu automatically detects GTX1070 without a problem. Now it remains to install CUDA toolkit 8.0.
Verify the system running Ubuntu
- verify which system the computer is running on. Type on the terminal:
$uname -m && cat /etc/*release
You should see a line with x86_64 if you are running a 64bit system.
- And verify that it has gcc installed.
$gcc --version
If gcc is not installed, install it first and proceed to the next.
- get the correct Linux kernel.
According to the CUDA installation guide, CUDA Driver requires that the kernel header and the development packages for the running version of the OS be installed when CUDA is being installed. Although the installation using .deb file will generate the up to date header if no header exists, it might not be the same header for the running kernel. Therefore it is important to manually check that the correct header is installed for the running system.
Type:
$uname -r
to check the current kernel, and type:
$sudo apt-get install linux-header-$(uname -r)
to update it to the correct kernel.
Verifying the system process is necessary for you to know which version of the CUDA toolkit is right for you.
Download CUDA toolkit 8.0
Download Cuda Toolkit 8.0 from https://developer.nvidia.com/cuda-downloads. Download the appropriate file that matches your system configuration found above.
Install
And in the terminal, move to the directory where the download file is. For those who need a bit more clarification, if you download the file to the “downloads” folder, type:
cd ~/downloads
At the time of writing the download file name was
cuda-repo-ubuntu1604-8-0-local_8.0.44-1_amd64
Type the following code (with the file name appropriately changed if the name is different):
sudo dpkg -i cuda-repo-ubuntu1604-8-0-local_8.0.44-1_amd64.deb
sudo apt-get update
sudo apt-get install cuda
Then reboot and set the environment variable by typing the followign code in the terminal:
export PATH=/usr/local/cuda-8.0/bin${PATH:+:${PATH}}
export LD_LIBRARY_PATH=/usr/local/cuda-8.0/lib64\
{LD_LIBRARY_PATH:+:${LD_LIBRARY_PATH}}
Then test run the following code in the terminal.
$cuda-install-samples-8.0.sh ~
$ cd ~/NVIDIA_CUDA-8.0_Samples/5_Simulations/nbody $ make
$ ./nbody
If a particle simulation window pops up, CUDA toolkit is correctly installed.


The Stereotype Threat
Phase 0. Week 6 - Friday, December 5th, 2014
Welcome back to my blog. I'm pretty sure no one is reading it by now, but if you are thanks. This installment is on the stereotype threat. There were a few sources I used for research on this topic and by far the best one was a lecture by Claude Steele at Columbia University. Links will be posed below. The results of some of his experiments really blew my mind so if you have time I really recommend that video. Anyway, the stereo type threat. Basically it's the threat of being reduced to a stereotype.
Imagine this...  The only problem is that you are a woman, and you were told that women do terrible on this test. So you take it and you do terrible. Now you already had pre-affirmed reason why you did terrible. Effectively placing the blame on the identity rather then the individual. It makes it very easy to justify why you did so terrible. What before the test they told you that women typically get the same scores as men? As you probably guessed, the women do significantly better.
The power of suggestion seems paramount here. If you think about it, society, our whole life has been suggestive. It's all about what social group you identify with. When put in a stressful or difficult situation it's natural for us to identify with whatever social group we feel fit the situation contextually. Claude Steele mad several awesome points pertaining to this type of situation. So seeing suggestive things all around our society is also shaping individuals to act like the identity.
It seems to work both ways. If the relevant group that you identify with contextually does poorly in said situation then the individual will more than likely underperform and meet standard set by the identity. If you take away the threat of being a stereotype, also not having your identity to blame if you come up short, you get more individual based results.
I know this is a lot easier said than done, but I think of Rene' Descartes... "I think, therefore I am(or exist)". I think this a good way to think about it. Rather than identifying with a social group try to channel yourself in stressful situations. Not having an excuse or a reason you acted a certain way. It's a new day in age and it's terrible to fall back on old stereotypes. Hopefully this good was food for thought. Check this video out!!
Thanks for reading my blog!!
Identity and Stereotype Threat Claude M. Steele (Video)


Here are some further examples of redirecting and rewriting with Apache’s rewrite module, mod_rewrite.
# rewrite only if file is not found
RewriteCond %{REQUEST_FILENAME} !-f
RewriteRule ^(.+)special\.html?$ cgi-bin/special/special-html/$1
# rewrite only if image is not found
RewriteCond %{REQUEST_FILENAME} !-f
RewriteRule images/special/(.*).gif cgi-bin/special/mkgif?$1
# rewrite rules for various directories
RewriteRule ^(.*)/aud/(.*)$ $1/audio-files/$2 [L,R=301]
RewriteRule ^(.*)/img/(.*)$ $1/image-files/$2 [L,R=301]
RewriteRule ^(.*)/fla/(.*)$ $1/flash-files/$2 [L,R=301]
RewriteRule ^(.*)/vid/(.*)$ $1/video-files/$2 [L,R=301]
# broswer sniffing via environmental variables
RewriteCond %{HTTP_USER_AGENT} ^Mozilla.*
RewriteRule ^/$ /index-for-mozilla.html [L]
RewriteCond %{HTTP_USER_AGENT} ^Lynx.*
RewriteRule ^/$ /index-for-lynx.html [L]
RewriteRule ^/$ /index-for-all-others.html [L]
# redirect query to google search
RewriteCond %{REQUEST_URI} /search/(.*) [NC]
RewriteRule (.*) http://www.google.com/search?q=$1 [R,NC,L]
# deny request based on request method
RewriteCond %{REQUEST_METHOD} ^(TRACE|TRACK|OPTIONS|HEAD)$ [NC]
RewriteRule (.*) - [F]
# redirect uploads to a better place
RewriteCond %{REQUEST_METHOD} ^(PUT|POST)$ [NC]
RewriteRule (.*) /cgi-bin/upload-processor.cgi?p=$1 [L,QSA]
Check out further examples and learn more about redirecting stuff with .htaccess.


Teaching with
Virtual Reality
In 2018, as part of the Education & Training Foundations' Outstanding Teaching Learning & Assessment grant programme, a partnership of Sussex training providers in the United Kingdom explored the effective use of 360°, augmented and virtual reality technologies within the classroom.
This website will be launched in July 2018.


Recently I have been involved in the process of designing and creating an academic poster detailing portions of my research in a manner that conveys it in a clear, meaningful way. This turns out to be very difficult task.
Poster and research writing bear many similarities. Both attempt to convey your ideas in a form that can be digested by an audience whom may or may not have the same background knowledge or skillset. Thus, conveying complex ideas through a research paper can be difficult; conveying complex ideas through a poster becomes insurmountable. [The Science of Scientific Writing](http://www.americanscientist.org/issues/feature/the-science-of- scientific-writing/1) said it best with the following:
Science is often hard to read. Most people assume that its difficulties are born out of necessity, out of the extreme complexity of scientific concepts, data and analysis.
But as they go on in the article, this isn't always the case. The major hurdle in the end is not the research itself but communicating the information to the reader. This leads me to my next point:
Academic Posters Suck
There I said it. They do. Perhaps not all of them, but definitely a large number of the posters I have run across.
Some attempt to mash what seems to be an entire paper on the same subject onto a small rectangular area. Others are aimless and seem to be splatter of charts and graphs with no coherence. But most of all, they all suffer from lack of design and lack of readability.
Design and Readability
Lack of design indicates the lack of structure and coherence in the poster and not simply the lack of aesthetics. Although the two may go hand-in-hand.
I posit that many of these problems are the consequence of trying to cram an enormous amount of information into a small area. This causes sections of text to be pushed around and consequently, different relevent sections may end up in locations that are simply not conducive to normal reading and scanning.
Additionally, even with a simple, decent design some posters still have difficultly conveying the information to the user.
Design of My Poster
As I created my poster, I tried to take all those observations to heart. Important elements are highlighted and cruft/filler are faded out but still easily found.
Layout
Before placing any content, I sketched out an initial layout. The layout was designed to keep in mind a left to right and top to bottom reading path. Columns of information are clearly cut-out and encapsulated.
A major problem I had with posters is the lack of structure and a clear flow of information. My design attempts to add a bit of that to aid reading and analysis.
Contrast
Readability is improved from normal posters by employing contrast in the correct amounts throughout the poster. The contrast shows up in the form of different colors and/or typography used to differentiate between different elements. For example, an image caption may be color highlighted with a different font in such a way that anybody skimming over the poster could easily jump over the information if needed.
Image captions and important text are easily distinguishable from normal text.
And after all that work... the final product!


RevelSix
Account
Logout
Login
Sign up
Sign up
Email address
Choose password
Choose bio
Choose a username
Sign up
Login
Email address
Your password
Login
Account details
Enter a message!


CRASH CHARGE
Scots BMW driver charged with dangerous driving after smashing into lamppost having failed to clear frosty windscreen
by Blair MeikleA SCOTS driver has been charged after crashing into a lamppost having failed to clear frost from his windscreen.
Road Policing officers attended in West Lothian after the BMW smashed into traffic lights this morning.
They say the crash was avoidable if they had taken to time to scrape their windscreen.
The driver has been charged with a number of alleged offences, including dangerous driving.
A report will be submitted to the procurator fiscal.
A spokesperson for Police Scotland said: "#WestLothianRP attended a collision this morning which was more than likely avoidable had they taken an extra few minutes to clear their windscreen.
"Driver has been charged with a variety of offences including dangerous driving and will be reported to the Procurator Fiscal."
We told how last night was the coldest night of the season so far, with -8.6C recorded in the Highlands.
And Scots are braced for another overnight freeze tonight with the subzero temperatures to return.
A homeless man died in Glasgow after taking unwell in a Glasgow multi-storey car park in the freezing temperatures.
The 43-year-old was discovered having taken unwell at the NCP car park on Mitchell Street at around 5.50pm yesterday.
And a Scots hillwalker has been missing overnight on the coldest night of the year after vanishing yesterday.
Paul Murphy, 51, was last seen leaving his home in Stenhousemuir, Falkirk, at around 7am yesterday, as he set off to go hillwalking.
He left in his car which has since been found at the Cairngorms Ski Centre in Aviemore.
He has not been seen or heard from since, and concerns are growing for his safety amid freezing temperatures.


Now it's time to make the web page dynamic — with AngularJS. We'll also add a test that verifies the code for the controller we are going to add.
There are many ways to structure the code for an application. For Angular apps, we encourage the use of the Model-View-Controller (MVC) design pattern to decouple the code and to separate concerns. With that in mind, let's use a little Angular and JavaScript to add model, view, and controller components to our app.
In Angular, the view is a projection of the model through the HTML template. This means that whenever the model changes, Angular refreshes the appropriate binding points, which updates the view.
The view component is constructed by Angular from this template:
app/index.html
:

...

{{phone.name}}

{{phone.snippet}}

We replaced the hard-coded phone list with the ngRepeat directive and two Angular expressions:
ng-repeat="phone in phones"
attribute in the

tag is an Angular repeater directive.
The repeater tells Angular to create a

element for each phone in the list using the

tag as the template.{{phone.name}}
and {{phone.snippet}}
) will be replaced
by the value of the expressions.We have added a new directive, called ng-controller
, which attaches a PhoneListCtrl
controller to the  tag. At this point:
{{phone.name}}
and {{phone.snippet}}
denote
bindings, which are referring to our application model, which is set up in our PhoneListCtrl
controller.ng-app="phonecatApp"
,
where phonecatApp
is the name of our module. This module will contain the PhoneListCtrl
.
The data model (a simple array of phones in object literal notation) is now instantiated within
the PhoneListCtrl
controller. The controller is simply a constructor function that takes a
$scope
parameter:
app/js/controllers.js
:
var phonecatApp = angular.module('phonecatApp', []);
phonecatApp.controller('PhoneListCtrl', function ($scope) {
$scope.phones = [
{'name': 'Nexus S',
'snippet': 'Fast just got faster with Nexus S.'},
{'name': 'Motorola XOOM™ with Wi-Fi',
'snippet': 'The Next, Next Generation tablet.'},
{'name': 'MOTOROLA XOOM™',
'snippet': 'The Next, Next Generation tablet.'}
];
});
Here we declared a controller called PhoneListCtrl
and registered it in an AngularJS
module, phonecatApp
. Notice that our ng-app
directive (on the
tag) now specifies the phonecatApp
module name as the module to load when bootstrapping the Angular application.
Although the controller is not yet doing very much, it plays a crucial role. By providing context for our data model, the controller allows us to establish data-binding between the model and the view. We connected the dots between the presentation, data, and logic components as follows:
The ngController directive, located on the
tag,
references the name of our controller, PhoneListCtrl
(located in the JavaScript file
controllers.js
).
The PhoneListCtrl
controller attaches the phone data to the $scope
that was injected into our
controller function. This scope is a prototypical descendant of the root scope that was created
when the application was defined. This controller scope is available to all bindings located within
the
tag.
The concept of a scope in Angular is crucial. A scope can be seen as the glue which allows the template, model and controller to work together. Angular uses scopes, along with the information contained in the template, data model, and controller, to keep models and views separate, but in sync. Any changes made to the model are reflected in the view; any changes that occur in the view are reflected in the model.
To learn more about Angular scopes, see the angular scope documentation.
The "Angular way" of separating controller from the view, makes it easy to test code as it is being
developed. If our controller is available on the global namespace then we could simply instantiate it
with a mock scope
object:
describe('PhoneListCtrl', function(){
it('should create "phones" model with 3 phones', function() {
var scope = {},
ctrl = new PhoneListCtrl(scope);
expect(scope.phones.length).toBe(3);
});
});
The test instantiates PhoneListCtrl
and verifies that the phones array property on the scope
contains three records. This example demonstrates how easy it is to create a unit test for code in
Angular. Since testing is such a critical part of software development, we make it easy to create
tests in Angular so that developers are encouraged to write them.
In practice, you will not want to have your controller functions in the global namespace. Instead,
you can see that we have registered it via an anonymous constructor function on the phonecatApp
module.
In this case Angular provides a service, $controller
, which will retrieve your controller by name.
Here is the same test using $controller
:
test/unit/controllersSpec.js
:
describe('PhoneListCtrl', function(){
beforeEach(module('phonecatApp'));
it('should create "phones" model with 3 phones', inject(function($controller) {
var scope = {},
ctrl = $controller('PhoneListCtrl', {$scope:scope});
expect(scope.phones.length).toBe(3);
}));
});
phonecatApp
module.inject
the $controller
service into our test function$controller
to create an instance of the PhoneListCtrl
Angular developers prefer the syntax of Jasmine's Behavior-driven Development (BDD) framework when writing tests. Although Angular does not require you to use Jasmine, we wrote all of the tests in this tutorial in Jasmine v1.3. You can learn about Jasmine on the Jasmine home page and at the Jasmine docs.
The angular-seed project is pre-configured to run unit tests using Karma but you will need
to ensure that Karma and its necessary plugins are installed. You can do this by running
npm install
.
To run the tests, and then watch the files for changes: npm test
.
You should see the following or similar output in the terminal:
info: Karma server started at http://localhost:9876/ info (launcher): Starting browser "Chrome" info (Chrome 22.0): Connected on socket id tPUm9DXcLHtZTKbAEO-n Chrome 22.0: Executed 1 of 1 SUCCESS (0.093 secs / 0.004 secs)
Yay! The test passed! Or not...
Add another binding to index.html
. For example:

Total number of phones: {{phones.length}}

Create a new model property in the controller and bind to it from the template. For example:
$scope.name = "World";
Then add a new binding to index.html
:

Hello, {{name}}!

Refresh your browser and verify that it says "Hello, World!".
Update the unit test for the controller in ./test/unit/controllersSpec.js
to reflect the previous change. For example by adding:
expect(scope.name).toBe('World');
Create a repeater in index.html
that constructs a simple table:

row number

{{i}}

Now, make the list 1-based by incrementing i
by one in the binding:

row number

{{i+1}}

Extra points: try and make an 8x8 table using an additional ng-repeat
.
Make the unit test fail by changing expect(scope.phones.length).toBe(3)
to instead use toBe(4)
.
You now have a dynamic app that features separate model, view, and controller components, and you are testing as you go. Now, let's go to step 3 to learn how to add full text search to the app.


Adding Remote Actions and Pages
When adding actions to your Remote, you can use example pages, add individual items to your own pages or use pre-defined pages included in workflows you've downloaded.
Adding actions to your Remote is done in Alfred's preferences on your Mac. Go to the Remote tab to get started.
1. Use Alfred's Example pages to get started
Under the + button at the bottom of the left sidebar, you'll find example pages for various types of actions. Adding a page from this list is a good way to get started, as you can then use it as-is or customise it.
You can remove an action by selecting it and pressing the backspace key, or you can right-click and choose "Delete".
2. Add Remote Actions to your own pages
Create a blank page and give it a title and colour scheme.
Drag applications and files from Finder or from Alfred's results
Find a file or application in Alfred or in Finder, and drag it into any of the 16 spaces on a page. The name and icon of the file or application will be automatically applied to that action.
Click a space on the page to add an action
You can add a new action by choosing a square and clicking its + button.
You can find out more about each action by clicking on the question mark in the action settings, or by taking a look at the Remote Actions documentation.
3. Creating a Remote Page within your Workflow
You can also create a pre-defined page of Remote actions within your workflow. Take a look at how you can create a workflow remote page here.
Looking for ideas on how to use Remote?
- Create a page with your most-used apps and clear out your Mac's Dock
- Use the iTunes example page to control music on your Mac
- Add a workflow trigger that launches all of the apps you need to start your day at once
- Create a text-to-speech action to call everyone else for lunch from the kitchen from your Mac's speakers
Remote Actions
Need help working out what each Remote Action does? Take a look at the Remote Actions pages to find out more about what each action can do.


Some of information on my summer vacation, school, and interests...
In my family, July is a very busy month. Not only does my birthday fall in July, but also my brothers and sister. We spent our birthdays at home and invited a couple of people to our house for dinner. Me and my older brother both share a birthday on July 29, my younger sister's birthday is on July 26, and my little brother's is on July 16. At the end of the day, I got four books: Harry Potter and the Cursed Child (Sort Of), Land Of Stories, and Quidditch Through the Ages/Tales of Beedle Bard a few gift cards, and a red backpack.
On my aunt's birthday, on June 30, we went to The Cove an Aquatic Center at Sierra Vista. There they had an indoor wave pool, two tube slides, diving boards, and a hot tub. Not only did I have a great time, but also my siblings and my parents.
I spent most of my summer at home. Where I did chores, cooked, watched my siblings, TV and lots of other things. I also started watching new TV shows on Netflix such as Naruto, Fairytail, and Sword Art Online. During the summer, I also had piano lessons every week. I managed to create a Legend Of Zelda Medley arrangement by ear and also learned a few songs such as Toccata and Fugue in D minor and Stairway To Heaven.
| Period | Class | Teacher |
|---|---|---|
|
1 |
Honors English 10 |
Ms. Mitchell |
|
2 |
AP European History |
Mrs. Tully |
|
3 |
Fundementals Information Technology |
Mr. Herring |
|
4 |
Honors Chemistry |
Mr. Woon |
|
5 |
Honors Geometry |
Mrs. Fimbres |
|
6 |
Honors Spanish 5-6 |
Mrs. Enfield |
Helps you understand and learn new things.
Find odd stuff to buy on the internet.


This page covers some special or black-belt issues for the Binospec spectrograph at MMT, and the BinoMask slitmask design software.
If you have a lot of targets, for example if you have a primary sample and a large catalog of 100s-1000s of lower-priority filler targets, slitmask design becomes more difficult. Two problems are: (1) it's hard to see where your primary targets are in the js9 sky view; (2) with many targets, optimizing the mask placement over RA/Dec and PA can take a long time and time out, giving you a "Problem connecting to backend server" error and failure to place slits.
A method for dealing with this is to make two catalogs: the first contains your primary targets only, and the second contains your primary and filler targets. (Thanks to Christopher Willmer for suggesting this method.) Begin designing the slitmask with only the primary targets, and in Generate Slits, vary the PA and mask center to optimize the mask placement. Then record the mask RA, Dec, and PA, but don't submit the mask. Go back to the Target List tab and select the full catalog with filler targets. (It should retain the optimized mask RA, Dec, and PA, but it is wise to record them to be sure.) Now go back to Generate Slits and keep the RA, Dec, and PA fixed at the previous values. This will place slits, including the optimized primary targets, and add filler targets as available.
Currently, BinoMask only allows you to select a global minimum slit length (6 arcsec is recommended). It will extend slits that don't collide with other objects, but you cannot specify that object 1 needs a 60 arcsec slit while objects 2 through 1000 can use 6 arcsec slits, (eg a large central galaxy and small satellites), or that two classes of objects need different lengths.
It is possible to make different slit lengths by designing a mask with the usual short slit lengths, and then hand editing the JSON file that is produced by Binomask to lengthen somme of them. Design the mask, and at the end, before submitting, save the mask to a file - this should download a file called mask.json. This is a text file with data structures, and is easiest to read in a JSON viewer/editor - there are many online, for example https://jsoneditoronline.org/.
You will need to find the structure of the slit of the object that you want to lengthen. The slits are numbered within the "sidea" and "sideb" structures, and each slit structure contains RA, Dec, and object id, along with many other numbers. The field "polygon" in the slit structure has 8 numbers (4 X,Y pairs) that specify the slit corners in mm, not in arcsec. X is the dispersion direction and Y is the direction along the slit; you want to edit the Y-numbers, which are indexes 1,3,5,7 (0-based). The plate scale of the 6.5-m f/5 MMT is 0.16 mm/arcsec. After you lengthen a slit, you must remove the slits that would overlap with it in the Y-direction, by deleting their data structures from the JSON file. The standard spacing between slits in the Y-direction is 1.5 arcsec (0.24 mm), so leave that margin between your new slit and the remaining slits.
Clearly, this is a black-belt technique that risks creating a bad mask specification or overlapping slits, so leave yourself plenty of time to work on it. You may be able to load the modified json file back into Binomask to visualize it. You may not be able to submit the modified file in the normal way; if so, email the JSON file to Sean Moran and Ben Weiner.
Normally, Binomask will simply query a server at the CDS for guide stars from GAIA and you won't have to worry about it. However, we have had an issue where the CDS server was down, and no guide stars were retrieved. If this happens, you can query the GAIA catalog from a mirror of Vizier, such as the CADC mirror. You want stars that are roughly between Gmag 11 and 18 - bright stars for wavefront, and guide stars of mag 16-18. You need to make a CSV file that has name, ra, dec, magnitude, pm-ra, pm-dec, epoch. Rough instructions follow.
Visit the GAIA DR2 Vizier at CADC.
This should download a .tsv file with perhaps several hundred stars. It has a long header, a footer, a header line of "RA_ICRS;DE_ICRS;Source;Epoch;pmRA;pmDE;Gmag", a line of dashes, and the data. Make a .csv file with a single comma-separated header line by editing the file:


The first approach to improving performance often is to tighten management control, especially in failing organisations, but this has some draw backs. Much of management control relies on feedback loops with a control loop being central.
<!– more –>
Harvard Business review argued that management control is a translation of strategic goals into accounting-based controls. This booklet tries so show management control in broader terms. Without some mechanism of coordination and control there is no organisation, the author argues. (Dee Hock argued that without some shared belief there is no organisation.)

A control process, as of Maciarello (1984) entails: 1. Set goals and performance measures 2. Measure achievement 3. Compare achievement with goals 4. Compute the variances as a result of the preceding comparison 5. Report the variances 6. Determine cause(s) of variances 7. Take action to eliminate the variances 8. Follow up to ensure that goals are met

Gareth Morgan suggested that it helps to understand organisations if you use metaphors, instead of trying to find the truth. The management control framework rests on two such metaphors: organisations as machines and organisations as information processing systems.

As machines it involves seeing an organisation as functional departments split in jobs which are clearly defined to operate precisely with regular patterns. The idea is that orders from the top flow down till the bottom without error. This is used efficiently in things like fast food chains where specifying each task will help provide a consistent product.

In terms of information processing systems (cybernetic approach) you envision as system that can respond to its environment. Think of a control loop with improvements possible anywhere within that loop.

The weaknesses in both of those that neither are people machines or tasks as clearly specified (machines metaphor is only viable sometimes) and in the information processing metaphor the goals are seen as static or are externally determined which introduced the second control loop: double-loop learning. The first is about learning to cope and respond and the second to find new ways of seeing the world. (Japanese companies have much less informal system for control. See page 11 book 2)

Morgan suggests three barriers to double-loop learning.

A: Due to different functions, goals, objectives, inside the company for different people/departments, you stop seeing the bigger picture and boundaries are created inside the company. People will keep their place. Single loops might prevent double loops as this is seen as a basic challenge to the company. B: There is usually a lot of playing with the numbers inside a company, often referred to as beaurocratic accountability. A change in goals involves uncertainty which many find hard to cope with. C: There is a gap between what people say and what they do. Current nature is not often questioned and this will result in a system that will effectively prevent understand or dealing with problems. You need to challenge the values and norms embedded in the theories you use.

To overcome this Morgan suggests: 1. Encourage and value and open and reflective approach and avoid a blame culture 2. Encourage the use of multiple viewpoints, constructive conflict and debate. 3. Do not impose overly specific goals, objectives or targets.

The booklet suggests that things are loosely coupled in today’s organisations and you need to understand performance from multiple perspectives, much like the balanced scorecard which is focussed on outcomes. What is needed is to look at enablers too, which is where the EFQM comes on, taking a holistic approach to performance and assumes that multiple stakeholders need to be satisfied at the same time. The holistic approach needs to look at dependencies as well as trade-offs and tensions that exist. (E.g. Hotel: tension between ROA and customer satisfaction in filling more rooms that are available)

Organisational rules are loosely coupled with how people behave and customer satisfaction is loosely coupled with coupled with customer loyalty, Xerox for example linked 1% in customer satisfaction to 0.05% in customer retention, which is rare precision.

The EFQM model suggests that there are five performance enablers and 4 performance outcomes. It suggests that it can be used for:

develop vision and goals

understand systemic nature, linkages, cause and effect

basis of the EFQM award

assessing current health of the organisation

More info at http://www.efqm.org/

Following is a case study of how United Utilities plc used a mix of balanced scorecard and the EFQM model to management performance. They broke down myths, changed attitudes, and used the balanced scorecard as more of a strategic framework. They also used the business excellence model for continuous improvement. Two key perspectives were used. The people perspective involved people satisfaction, culture and alignment with business goals. The customer perspective involved to consult, listen, act and demonstrate. They have turned out to radically change the role that the finance professionals will play in the future.

This example is for the financial department and shows how they re-examined both core goals and how they assess their performance.

Summarising, this showed how management control involves a control loop, how to achieve organisational goals to co-ordinating and controlling activities. It also showed how metaphors can be sued, what double-loop learning is and what role EFQM plays.


Greetings to earth
Hello, world!
Greetings to earth
{% if request.user.is_authenticated %}
The logged on user is {{ request.user.username }}.
{% else %}
No user is logged on.
{% endif %}
This button toggles the heading
This button opens another window.
This button toggles the existence (rather than the visibility) of an element.
This button toggles the message; it's similar to the heading except that it just changes the text of the element rather than switching the element altogether.


BridgeApp-Apple-SDK
Shared code for developing Research applications that use Sage Bionetworks Bridge services.
Framework Structure
BridgeApp Framework
This is the base framework to include in your applications to allow using the Research task model for archiving
and uploading results. This framework is built with Allow app extension API only
selected to allow building with
app extensions such as a custom keyboard or a Today widget.
BridgeAppUI Framework
This framework is intended for platform-specific main applications and includes some convenience view controller and app delegate classes that can be used in an application.
DataTracking Framework
This is a work-in-progress framework that Sage is currently developing for use in tracking user data and unioning results from various activities.
License
Sage BridgeApp SDK is available under the BSD license:
Copyright © 2018-2019, Sage Bionetworks All rights reserved.
Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met:
- Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer.
- Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution.
- Neither the name of Sage Bionetworks nor the names of BridgeSDk’s contributors may be used to endorse or promote products derived from this software without specific prior written permission.
 IN NO EVENT SHALL


Bose Gas
Contents
The Gross–Pitaevskii Approximation
Our first attack on the problem is variational. It’s very easy to come up with a variational wavefunction for the ground state of a Bose gas: put all the particles in the same single particle state!
A state with a macroscopic number of particles in a single particle state is known as a Bose condensate. You have probably studied the statistical mechanics of an ideal Bose gas before: the main feature is a condensation temperature below which macroscopic occupation occurs.
We know that if we have a noninteracting Hamiltonian
then the ground state has exactly the form \eqref{bose_GPW}, with $\varphi_0(\br)$ the ground state of the single particle Hamiltonian. After adding interactions to the Hamiltonian, in the form
it is no longer true that the exact ground state has the form \eqref{bose_GPW}, but we can treat $\varphi_0(\br)$ as a variational function that we must find. This leads to the Gross–Pitaevskii equation.
Gross–Pitaevskii Equation
From now on we will take a model of short-ranged interactions for simplicity
To implement the variational calculation we need to find
In fact, it turns out to be more convenient to minimize $\braket{\Psi}{H}{\Psi}$, using a Lagrange multiplier to fix the normalization. We have
For large $N$, we can neglect the difference between $N$ and $N+1$. Now we want to extremize this functional with respect to $\varphi_0(\br)$, keeping $\varphi_{0}(\br)$ normalized. To do this we introduce a Lagrange multiplier $\mu N$ (the factor of $N$ will become clear shortly) and extremize the functional
To find the extremum requires a standard application of the calculus of variations, yielding the equation
It’s convenient to deal with the stray factor of $N$ in \eqref{bose_static_PreGPEqn} by defining $\varphi(\br)\equiv\sqrt{N}\varphi_{0}(\br)$. $\varphi(\br)$ is known as the condensate wavefunction or order parameter. Later we will give a more general definition that does not depend on the above variational approximation. We have thus obtained the Gross–Pitaevskii equation
It remains to fix the Lagrange multiplier $\mu$. This is done by demanding that $\int d\br\,\abs{\varphi(\br)}^{2}=N$. Since $\braket{\Psi}{H}{\Psi}- \mu \int d\br \abs{\varphi(\br)}^{2}=\braket{\Psi}{H-\mu \mathsf{N}}{\Psi}$ was extremized under general variations, including those that changed $N$, we must have
so that $\mu$ is identified with the chemical potential.
A fundamental effect of the nonlinearity of the GP equation is that there exists a length scale set by the typical value of $|\varphi(\br)|^2\sim n$ and the interaction strength
This healing length determines the scale over which $\varphi(\br)$ is disturbed by the introduction of a localized potential of scale $\ll \xi$. It is a fundamental length scale in the system.
Some Observables
With the ansatz \eqref{bose_GPW} for the wavefunction, we can obtain various observables without difficulty. The density and current density are
Alternatively, one may write this is terms of the velocity field of the gas, using $\mathbf{j}=\rho \mathbf{v}$, and the decomposition of $\varphi(\br)$ into magnitude and phase
We thus find the superfluid velocity
The name is to distinguish this contribution from that arising from thermal excitations. For the moment we are considering zero temperature, so this is all there is.
The usefulness of the Gross–Pitaevskii equations lies in its ability to describe spatially nonuniform situations. Often, nonuniformity is imposed by an external potential, but there is an important class of configurations that are stable – or metastable – for topological reasons.
Example: Vortex
Since \eqref{bose_vs} tells us that the superfluid velocity is a gradient of something, we may expect it to be irrotational
or equivalently to have vanishing circulation
around any closed loop. However, it is possible for the phase of the wavefunction to increase by a multiple of $2\pi$ around a closed loop, which still gives a single-valued condensate wavefunction since $\varphi(\br)=\sqrt{\rho(\br)}e^{i\theta(\br)}$. Thus in general the circulation
which is known as the Onsager–Feynmann quantization condition. A localized configuration with finite circulation is called a vortex in fluid dynamics, but in a normal fluid there is no reason for the vorticity to be quantized. Restoring Planck’s constant just this once
shows that this is a truly quantum phenomenon.
A non-zero winding of the phase requires that $\rho(\br)$ vanishes at a point (in two dimensions) or on a line (in three). Let’s see how such configurations are described by the Gross–Pitaevskii theory.
We are going to look for 2D solutions where the phase winds $\ell$ times as we encircle the origin
We parameterize the solution as $\varphi(r,\theta) = \sqrt{n} f(r/\xi)e^{i\ell\theta}$, measuring distances in terms of the healing length. Substituting into the Gross–Pitaevskii equation gives an equation in $s\equiv r/\xi$.
We take $\mu = U_0 n$ to get the behaviour \eqref{bose_vortex} at infinity.
The region of suppressed density, of characteristic size $\xi$, is called the vortex core. In three dimensions, the vortex core is a line.
We can find the energy of the vortex state by substituting the solution back into the energy functional \eqref{bose_energy} to find the energy excess relative to uniform state of density $n$
The first integral is finite, and arises purely from the departure of the density away from its bulk value. The second represents the contribution to the kinetic energy arising from the winding of the vortex’s phase. Since we have
this contribution to the energy is logarithmically divergent.
There is far-reaching analogy between the superfluid velocity fields of vortices and the magnetostatics of current-carrying wires,
| Vortices | Magnetostatics |
|---|---|
| Vortex cores | Wires |
| Superfluid velocity $\mathbf{v}_s$ | Magnetic field, $\mathbf{B}$ |
| Kinetic Energy | Magnetostatic Energy |
Vortices with $\abs{\ell}>1$ are generally unstable, and will break into multiple vortices of winding $\ell=\pm 1$. Like vortices repel each other, and can form spectacular vortex lattices, akin to crystals.
Vortex lattice in a Bose–Einstein condensate of Sodium atoms. Source: Ketterle group, MIT.
Vortices are one manifestation of the phenomenon of superfluidity: persistent flow without resistance. The true ground state of the system does not have such flows, of course, so these flows are only metastable (as long as rotational symmetry is broken, so that angular momentum is not conserved). In the case of the vortex, it can only decay by its core leaving the system. An even simpler example is provided by currents flowing in a ring, a situation studied in Problem Set 2, which illustrates the important role played by repulsive interactions.
Bogoliubov Theory
How can we improve upon the Gross–Pitaevskii approximation? From now on we focus on a uniform condensate with no external potential $V(\br)$, in which case the condensate wavefunction is just a constant $\varphi(\br)=\sqrt{n}$. As usual we work in a plane wave basis, where the Hamiltonian takes the form
with $\epsilon(\bk)=\bk^2/2m$, and $V$ the volume. The Gross–Pitaevskii approximation to the ground state is
When $H_\text{int}$ acts on this state, the only terms that contribute are those with $\bk_3=\bk_4=0$
Thus, if we want a better wavefunction, we are going to have to add some $(\bk, -\bk)$ pairs!
Bogoliubov Hamiltonian
When interactions are weak, we expect that the true ground state is close to $\ket{\Psi_\text{GP}}$, so that most of the particles remain in the zero momentum state, with relatively few pairs created. Remembering that
we see that a term in the Hamiltonian with $\aop_0$ or $\adop_0$ is going to be more important – on account of the large occupancy of $\bk=0$ – than a term without. For this reason we divide up the interaction Hamiltonian according to the number of occurrences of these operators
The Gross–Pitaevskii approximation corresponds to the first term. We are now going to keep the second term, and neglect the third and fourth. Thus we study the Hamiltonian
In fact, it’s convenient to rewrite the second term of this Hamiltonian using
so that
In this approximation, we get
Even now it’s not so easy to solve this problem. One last vital simplification is needed. We are going to replace the operators $\adop_0$, $\aop_0$ with $\sqrt{N}$, giving a quadratic Hamiltonian. That may sound like a pretty odd thing to do: after all, the resulting Hamiltonian no longer conserves the number of particles! Let’s see why this is a good approximation.
Consider the action of the Hamiltonian \eqref{bose_Hpair} on a product state of the form $\ket{\Psi’}\otimes\ket{N_0}_0$, where we are ‘factoring off’ the Hilbert space of non-zero momentum states from the Fock state of the zero momentum state. The action of $\adop_\bk \aop_0$ on this state is
Likewise
Since $N_0$ is assumed to be large, we ignore the difference between $N_0$ and $N_0+1$. To be more precise, we are assuming that in the states we are going to find, $N_0$ will not fluctuate substantially. If this is the case, the matrix elements of $H_\text{pair}$ are approximately unchanged when we make the replacement mentioned above, leaving us with the Bogoliubov Hamiltonian
where $n_0 = N_0/V$ is the density of particles in the zero momentum state. The Hamiltonian \eqref{bose_Hpair3} can be diagonalized by a Bogoliubov transformation
The parameter $\kappa_\bp$ of the transformation is chosen in order that there are no ‘anomalous’ $\bdop_\bp\bdop_{-\bp}$ or $\bop_\bp\bop_{-\bp}$ terms left in the Hamiltonian, which then takes the form of a sum of oscillators
Here $\omega(\bp)$ is the Bogoliubov dispersion relation
and the ground state energy is
Somewhat annoyingly, this integral is divergent in the ultraviolet. However, this is actually nothing to do with the many body physics of the problem, but is rather related to the need to regularize a $\delta$-function potential in three dimensions. We can cure the problem by writing
In this form, the term we have added and subtracted is recognized as the next order in the Born approximation for the scattering length $a=a_0+a_1+\cdots$. The second term can now be evaluated to give
Where
The Ground State
So far, our ground state is just defined by the condition that it is a vacuum of Bogoliubov excitations
But what does it look like? A state (unnormalized) that satisfies the above equation is
The form \eqref{bose_BogWave} shows explicitly that the state consists of a superposition of pairs excited out of the $\bk=0$ condensate. As we’ve discussed, we don’t actually keep track of the loss of particles from the condensate in the Bogoliubov approximation, on the assumption that it is small.
We can get some feeling for the properties of the ground state by considering the density fluctuations. Recall that the Fourier components of the density operator are
On the basis of the logic that we’ve been following so far, the most important terms will be those where one of $\adop_{\bk-\bq}$ or $\aop_\bk$ acts on the condensate. Thus
where
The density fluctuations in the ground state are then
On the right hand side we have used the low momentum form of the Bogoliubov dispersion
where $c = \sqrt{\frac{n_0U_0}{m}}$ is the speed of sound. We see that the density fluctuations vanish as the wavevector goes to zero. This is to be contrasted with the result that we would find in the Gross–Pitaevskii ground state (or ground state of the ideal gas)
corresponding to uncorrelated, Poissonian fluctuations of number inside any volume of the gas. If we were to take a snapshot of the particles at any instant in the interacting gas, we would see a picture similar to the image of the Laughlin state in Lecture 1.
The other qualitatively new feature of the Bogoliubov ground state is that the zero momentum state is depleted. We find the momentum distribution by first writing the number operator $N_\bp=\adop_{\bp}\aop_{\bp}$ in terms of the Bogoliubov quasiparticles
and then finding the average
The radial density distribution $4\pi p^2 N_\bp$ is peaked around $\xi^{-1}$. Summing over $\bp$ gives the fraction of atoms not in the condensate
where we used the Born approximation for the scattering length $a=\frac{mU_0}{4\pi}$. Excluding the value $\bp=0$ has no effect, because of the vanishing phase space at small momentum in three dimensions.
Under typical experimental conditions in experiments on ultracold atoms the depletion does not much exceed $0.01$, which justifies the use of the GP approximation. Liquid He$^{4}$, the first superfluid to be discovered, can be described as an interacting Bose condensate, but the depletion is much larger. The Bogoliubov approximation does not provide a quantiatively accurate description in this case.
In the previous lecture we met another situation where the depletion can be increased. Applying a lattice effectively reduces the kinetic energy relative to the interaction, and leads eventually to a quantum phase transition out of the superfluid state.


Now that we've decided to start a new direction in life and begin coding it can be daunting trying to decide which language to learn. There are many options out there that are unique and attractive. It can be hard to discern which is best for you. Luckily, we're here to help!
By answering a few questions below, we can help to guide you through the process of choosing the best coding language for you. Good luck!


jQuery: Inline Edit Plugin Demo
A demonstration of the inline edit plugin with event delegation.
Person:
add
Joe Blogg
Read original blog post


{{myclinics['clinicinfo'][0].clinicname}}
Dr. {{myprofile['userinfo'].name}}
Reg No : {{myprofile['userinfo'].regno}}
{{myclinics['clinicinfo'][0].line1}},{{myclinics['clinicinfo'][0].nearmark}}, {{myclinics['clinicinfo'][0].location}}, {{myclinics['clinicinfo'][0].city}}-{{myclinics['clinicinfo'][0].pin}},{{myclinics['clinicinfo'][0].state}} Ph.{{myclinics['clinicinfo'][0].isd}}-{{myclinics['clinicinfo'][0].phone}}
No:
Date :
{{billdate}}
Received with thanks from Mr./Mrs./Mast./Miss.
The Sum of Rupees
(
) towards following
Particulars
Amount
Consultation & X-Ray :
Conservative Treatment
Silver Filling :
Composite Filling :
Root Canal Treatment :
Periodental Treatment :
Oral Surgery (Extraction) :
Orthodentic Treatment :
Metal Capping :
Ceramic Crown :
Ceramic Bridge :
Metal Bridge :
Others :
Total Rs. :
{{myclinics['clinicinfo'][0].clinicname}}
Dr. {{myprofile['userinfo'].name}}
Reg No : {{myprofile['userinfo'].regno}}
{{myclinics['clinicinfo'][0].line1}},{{myclinics['clinicinfo'][0].nearmark}}, {{myclinics['clinicinfo'][0].location}}, {{myclinics['clinicinfo'][0].city}}-{{myclinics['clinicinfo'][0].pin}},{{myclinics['clinicinfo'][0].state}} Ph.{{myclinics['clinicinfo'][0].isd}}-{{myclinics['clinicinfo'][0].phone}}
No:
Date :
{{billdate}}
Received with thanks from Mr./Mrs./Mast./Miss.
The Sum of Rupees
(
) towards following
Particulars
Amount
Consultation & X-Ray :
Conservative Treatment
Silver Filling :
Composite Filling :
Root Canal Treatment :
Periodental Treatment :
Oral Surgery (Extraction) :
Orthodentic Treatment :
Metal Capping :
Ceramic Crown :
Ceramic Bridge :
Metal Bridge :
Others :
Total Rs. :


Markdown is a very powerful tool to get some highlights into your texts!
Here are some quick tips how you can use it.
For more check out this cheatsheet
# H1
## H2
### H3
*italics* ➔ italics
_underline_ ➔ underline
~~strikethrough~~ ➔ strikethrough
1. First ordered list item
2. Another item
..* Unordered sub-list.
[Click here!](http://digital-programming.com)
Click here![alt text](http://mydomain.com/myimage.png "Title Text")


---
layout: post
status: publish
published: true
title: "
Podcast 4.06 - Bonus Interview Episode
Matt Szczur"
author:
display_name: Corey Fineran
login: Corey
email<EMAIL_ADDRESS>url: ''
author_login: Corey
author_email<EMAIL_ADDRESS>wordpress_id: 6933
wordpress_url: http://ivyenvy.com/?p=6933
date: '2012-03-16 13:53:37 +0000'
date_gmt: '2012-03-16 18:53:37 +0000'
categories:
- Minor Leagues
- Podcast
tags:
- Matt Szczur
- Matt Szczur Interview
comments:
- id: 5572
author: Ivy Envy2013 Cubs Caravan in Peoria on January 16th
author_email: ''
author_url: http://ivyenvy.com/2013-cubs-caravan-coming-to-peoria-on-january-16th/
date: '2013-01-04 10:00:54 +0000'
date_gmt: '2013-01-04 16:00:54 +0000'
content: "[...] Last year, I had the opportunity to speak with a few of the players,
including a short interview with Matt Sczcur, who was the #4 ranked prospect in
the Cubs organization at the time. You can listen to that interview here –
Ivy Envy Podcast Episode 4.06 – Matt Szczur interview. [...]"
- id: 9273
author: Ivy Envy"Sweet Chuck Mangione Horn Licks" - Episode 5.47 » Ivy Envy
author_email: ''
author_url: http://ivyenvy.com/sweet-chuck-mangione-horn-licks-episode-5-47/
date: '2014-02-01 10:39:17 +0000'
date_gmt: '2014-02-01 16:39:17 +0000'
content: "[…] Spring Training this year. Corey talked about being interested
in how Matt Szczur does this spring. Here is a short interview we did with Matt
Szczur a few years ago. Andy talks a little about the 3rd base situation and what
we may see play out at “the hot […]"
- id: 12358
author: '"Welcome to the Dardanelle Club" - Podcast Episode 6.30 - IvyEnvy.com'
author_email: ''
author_url: http://ivyenvy.com/welcome-dardanelle-club-podcast-episode-6-30/
date: '2014-08-18 23:31:51 +0000'
date_gmt: '2014-08-19 04:31:51 +0000'
content: "[…] There were lots of Chicago Cubs roster changes to talk about
on this week’s episode of The Ivy Envy Podcast. Dan Straily gets called
up for a Cubs spot start. Matt Szczur comes up and brings some speed to the team.
We’ll talk about what the future may hold for Szczur as a member of the
Chicago Cubs. If you’d like to hear an interview that I did with Matt Szczur
in the spring of 2012, you can listen to it here. […]"
---
Welcome to another bonus episode of the Ivy Envy Podcast. In January, I went to the Cubs Caravan stop in Peoria and had a few minutes to talk with Matt Sczcur. Most experts rank Matt as the 4th or 5th best prospect in the Cubs' system. The former Villanova wide receiver was picked by the Cubs in the 5th round of the 2010 draft. Szczur spent time in Peoria and Daytona last year and will most likely start 2012 with double A Tennessee.
This was a very short interview. The Cubs bus was very late because of weather and my time with him was limited. So here's my brief conversation with Matt Szczur.


{% extends '_layouts/layout_v1.4.4.html' %} {% block page_title %} Kenyon Medical Centres {% endblock page_title %} {% block pageTitle %} Kenyon Medical Centres {% endblock pageTitle %} {% block leftHalf %} {% include '_includes/v1_4/address.html' %} {% endblock %} {% block rightHalf %} {% include '_includes/v1_4/contact.html' %} {% endblock %} {% block onlineTasks %} {% include '_includes/online-tasks/online-tasks.html' %} {% endblock %} {% block content %} {% include '_includes/v1_4/reception-opening-times.html' %} {% include '_includes/v1_4/gp-appointment.html' %}


Gaining hands-on experience in Deep Learning.
Reading Rich Dad Poor Dad.
I am currently pursuing a course on Low Level Design Patterns.
Working towards improving my physical and mental health by establishing a good relationship with food, sleep and mind.


NGIN is a radically updating brand-new blockchain network, which is not a fork of ethereum or any other
chain.
NGIN's goal is to build a blockchain engine which acts more auditable, scalable, security-oriented and
supports more network tasks with vm.
NGIN uses modern models - Vault(Block), Account, Multi-type Tx models to build the
blockchain ecosystem. And NGIN strictly follow the idea of blockchain, locking items with hash to keep
engine work safely. Not only blockchain, but Vault(Block) will also link up to be a chain for account
security and powerful functions like fast ignition, free account state and so on. So It's safe and robust
like bitcoin and ethereum but more scalable and powerful on the node's operational capacity and p2p
network's speed and performance.
Wiki page
Telegram


?Proserpinaca
palustris
L.
var.
palustris
Determined
by
Dr.
P.M.
Catling
-
May
2002
Agriculture
&
Agri-Food
Canada
DAO
Herbarium
x5?-
PLANTS
OF
BAHAMA
ISLANDS
Proserpinaca
palustris
L.
New
Providence:
in
moist
depression
in
savanna
just
east
of
Airport.
February
16,
1975
D.
S.
Correli
44310
Herbarium
FAIRCHILD
TROPICAL
GARDEN
01500430
Legend -
Level of confidence that token is an accurately-transcribed word
extremely low
very low
low
undetermined
medium
high
very high


JALEO RESERVATIONS
Open Table Booking for JALEO DC
Make a Reservation Today
Make A Reservation
View Tables
Home
Jaleo
Current Reservations and Waiting List
Make Reservation
Home
Current Reservations
{{ atTable }}
Waiting List
{{ waiting }}
API Link
API Wait List
Clear Table


BACK ON THE AIRWAVES
Popular Scots dance station BEAT 106 to make radio comeback next year 14 years after it left airwaves
by Aidan SmithBEAT 106 Scotland is set for a radio return after leaving Scotland's airwaves 14 years ago.
The station, which was infamous for its massive club and party nights and dubbed “Scotland’s Music Revolution” in the early 2000s, will return online and via mobile app next year.
Owner and project founder Richard Wilkinson said: “It’s so exciting to announce the return of Beat 106 Scotland next year.
"For a while it was THE radio station that everyone that loved dance music listened to.
"Everyone involved as part of the original station launch in 1999 was always being asked, ‘When’s it coming back?’.
“It’s early days yet but the plan is to launch the station in summer 2020.
"A lot of the great Beat 106 DJs have agreed to come on board and I’m looking forward to being able to announce some huge Club 106 live events very soon.”
The station has also created a crowd funder for anyone that wants to help make the station launch via the newly launched website at www.beat106scotland.com.
Funders who donate will get perks of being the first to hear the details about the new station as well as getting tickets to all of Beat 106 Scotland’s live events.
Wilkinson added: “The station was such an important part of people’s lives.
"I know people that are now married with kids that met at Beat 106 Scotland club nights and there’s really not a Scottish based and owned radio station catering for an audience that are passionate about dance music.
"It’s time to bring the Beat back!”
Fans past and present can get all the latest updates via social media by searching for Beat 106 Scotland on Facebook and Twitter and Wilkinson also launched a new logo for the station.


Gaming is an ever-popular hobby in this day and age, and the rage does not appear to be going anywhere. With video games continuing to trend in news, entertainment and everyday lives, they serve as an excellent way to help you connect with new friends.
Super Smash Bros. Ultimate for the Nintendo Switch is a classic example of how to spend your time with people you’ve just met in college
Let’s say that you, your roommate and a decent group of students in your residence hall all agree to hang out one night but don’t feel like going out. If just one person has access to a Switch and Ultimate, there’s your answer. Ultimate is easy to have fun with, even for those who rarely touch video games, and the fast-pacing and unpredictability of its many modes can make for exciting memories with your friends.
Of course, your availability of multiplayer games isn’t limited to Switch titles. Older consoles such as the Nintendo Wii have exclusive options such as Wii Sportsor Mario Party 8. Depending on what current systems you own and how many people are in your group, titles such Halo Infinite or Rocket League also provide split-screen options for in-person fun.
What’s so handy about multiplayer games is that if someone is unavailable to appear in person whether it be due to illness, travel or any reason at all, there are options to connect with their friends online for gaming sessions. Want to play Smite with your pals, but you’re all the way back in your home town for a weekend? Just join an online lobby with your friends, hop in a voice call via Discord or another voice over software to talk and play together like you’re in the same room. Not all consoles, games and services have the same fees and policies, but options exist regardless of how you prefer to play.
Multiplayer games are not the only way to build bonds with new friends. Playing through a video game’s campaign, whether it be through co-op where you work together with one or multiple fellow players against in-game enemies, or taking turns in a single player experience, can be just as fun as working with or against a friend in a multiplayer setting. Elden Ring is a recent example of how friends can play together to strategize and take down tricky artificial opponents together. Or, you and a group of friends can go through a game with a fascinating story together, such as Xenoblade Chronicleson the Wii and Switch, theorizing and reacting to the most remarkable narrative moments along the way.
Whether it be through multiplayer, co-op or watching a single person play, video games are an effective and memorable way to build relationships that start in college and hopefully last beyond your years here.
Eli Feazell is a senior studying strategic communication at Ohio University. Please note that the views and opinions of columnists do not reflect those of The Post. What are your thoughts? Tell Eli by tweeting them at @elifeaz


Rob Schneider Slams Big Tech Censorship, Defends Free Speech & Medical Freedom
Actor criticizes Amazon, Facebook, Google and YouTube for burying information
by Kelen McBreenHollywood actor and vocal vaccine skeptic Rob Schneider is blasting Big Tech for censoring the free speech of those attempting to counter the mainstream medical establishment’s narratives.
“Sorry to have to repeat this again,” he wrote on Twitter. “Free Speech is ALL speech. Even the speech that you find repugnant. You are either for ALL of it or… you are for none of it. We don’t need people deciding FOR us what to think, see or hear.
Slamming Big Tech’s control over the flow of information, he explained how “Amazon is already banning books that dare question medical orthodoxy,” and that “Facebook, Google, YouTube bury information as well.”
Continuing the Twitter rant, Schneider said, “I know Free Speech and Democracy create a mess out of society, people being able to express and spew whatever they want.”
“But I can’t think of a better one,” he stated. “And I surely don’t want to live in a society where people decide for me what to think or watch or how I should interpret it.”
The comedian went on to warn people about the horrors that typically result from the suppression of free speech.
Next, Schneider ripped uninformed “liberals” and quoted Noam Chomsky to make a point about how important it is to support the free speech of those you disagree with.
“Silencing those we disagree with denies us the chance to question our preconceived notions. Either to reaffirm them or reassess them,” the Deuce Bigalow: Male Gigolo star wrote.
“Our ideas need and should always be consistently challenged and reconsidered so we don’t merely end up as consensus groupthink.”
The actor also voiced support for the thousands of people who gathered at the National Mall last week to bring attention to vaccine injuries.
“Democrats and Main Stream Media tell us to, ‘Believe Women!’ Then…  Don’t believe THOSE women!'” he tweeted, adding, “Contact your legislators!”
Will Schneider be the next victim of internet censorship after daring to oppose Hollywood’s liberal establishment and for calling out the establishment’s attempts to bury alternative information?


---
layout: archive
title: Lean Prover Zulip Chat Archive
permalink: 113488general/08602.html
---
The archive URL format has changed. Please find this page at:
https://leanprover-community.github.io/archive/stream/113488-general/topic/.E2.84.9A.2F.E2.84.A4.html


Hello everyone! My name is XYZ. I am a good human and I am 123 years old. Yeah, I am that old! Just Kidding my creator wanted me to just pass time so that I can make this paragraph really long. I hope you enjoyed!! Later...
Just a normal paragraph


An interactive app to edit and play with words! You can redact and enter text now with this new app! The app is made to interact with the text and redact words etc. This was created by four students during the summer as their internship to create something super interesting and fascinating!
Here is our intro to the team who created this app!
Hope Yim: an upcoming senior in Camas High School introduced to computer science and code. She helped with the HTML/CSS of the app and the visual structure.
Tyler Gee: an upcoming junior in Camas High School with experience in computer science and developed the first features of the app!
Julian McOmie: an upcoming junior in Camas High School with background in technology and computer science. Tyler and Julian developed the API*
Alex Kari: an upcoming freshman in Discovery High School with experience in computer science and high interest in this technology.
(I will definitely edit this later)


Some features of the HTL integration
Subpages:
Demonstration of various composum-platform-htl features
Exploration of various HTL features that would be very much needed here to make things better


--- layout: default title: Tangerine permalink: /software/tangerine/ section: software ---
A module based Discord framework.


| Home | Trees | Indices | Help |
|
|---|
|
|
object --+ | S3Permission
S3 Class to handle permissions
Author: Dominic König<EMAIL_ADDRESS>|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
Inherited from |
|
|||
TABLENAME = "s3_permission"
|
|||
CREATE = 0x0001
|
|||
READ = 0x0002
|
|||
UPDATE = 0x0004
|
|||
DELETE = 0x0008
|
|||
ALL = CREATE | READ | UPDATE | DELETE
|
|||
NONE = 0x0000
|
|||
PERMISSION_OPTS = OrderedDict([[CREATE, "CREATE"], [READ, "REA
|
|||
METHODS = Storage(create= CREATE, read= READ, update= UPDATE,
|
|||
ADMIN = 1
|
|||
AUTHENTICATED = 2
|
|||
ANONYMOUS = 3
|
|||
EDITOR = 4
|
|||
most_permissive = lambda self, acl:
|
|||
most_restrictive = lambda self, acl:
|
|
|||
|
Inherited from |
|
Constructor, invoked by AuthS3.__init__
|
Define permissions table, invoked by AuthS3.define_tables |
Get the ACL for the current user for a path
Note: if passing a Row, it must contain all available ownership fields (id, owned_by_user, owned_by_role), otherwise the record will be re-loaded by this function |
Get the ACL for a page
|
Get the ACL for a table
|
Establish the ownership of a record
Note: if passing a Row, it must contain all available ownership fields (id, owned_by_user, owned_by_role), otherwise the record will be re-loaded by this function |
List of modules to hide from the main menu |
Return a URL only if accessible by the user, otherwise False |
Query for records which the user is permitted to access with method Example: query = auth.permission.accessible_query(table, "read", "update")
|
Check if record ownership is required for a method
|
Check permission to access a record
Note: when submitting a record, the record ID and the ownership fields (="owned_by_user", "owned_by_role") must be contained if available, otherwise the record will be re-loaded |
Action upon insufficient permissions |
|
TABLENAME
|
CREATE
|
READ
|
UPDATE
|
DELETE
|
ALL
|
NONE
|
PERMISSION_OPTS
|
METHODS
|
ADMIN
|
AUTHENTICATED
|
ANONYMOUS
|
EDITOR
|
most_permissive
|
most_restrictive
|
| Home | Trees | Indices | Help |
|
|---|
| Generated by Epydoc 3.0.1 on Tue Mar 29 14:25:41 2011 | http://epydoc.sourceforge.net |


#include <Node.hpp>
◆ Node()
| Node::Node |
( |
const std::string & |
user_agent | ) |
|
◆ ~Node()
◆ accept_incoming_connections()
| void Node::accept_incoming_connections |
( |
bool |
accept | ) |
|
Call with true to enable listening for incoming connections
◆ add_node()
| void Node::add_node |
( |
const fc::ip::endpoint & |
ep, |
|
|
int32_t |
oper_flag = 1 |
|
) |
| |
Add endpoint to internal level_map database of potential nodes to attempt to connect to. This database is consulted any time the number connected peers falls below the target.
◆ block_node()
| void Node::block_node |
( |
std::string |
node, |
|
|
bool |
block |
|
) |
| |
◆ broadcast()
| void Node::broadcast |
( |
const Message & |
item_to_broadcast | ) |
|
|
virtual |
◆ clear_peer_database()
| void Node::clear_peer_database |
( |
| ) |
|
Instructs the node to forget everything in its peer database, mostly for debugging problems where nodes are failing to connect to the network
◆ close()
◆ connect_to_endpoint()
| void Node::connect_to_endpoint |
( |
const fc::ip::endpoint & |
ep | ) |
|
|
virtual |
◆ connect_to_p2p_network()
| void Node::connect_to_p2p_network |
( |
| ) |
|
|
virtual |
◆ disable_peer_advertising()
| void Node::disable_peer_advertising |
( |
| ) |
|
◆ get_actual_listening_endpoint()
| fc::ip::endpoint Node::get_actual_listening_endpoint |
( |
| ) |
const |
|
virtual |
Returns the endpoint the node is listening on. This is usually the same as the value previously passed in to listen_on_endpoint, unless we were unable to bind to that port.
Reimplemented in hsrcore::net::SimulatedNetwork.
◆ get_advanced_node_parameters()
| fc::variant_object Node::get_advanced_node_parameters |
( |
| ) |
|
◆ get_block_propagation_data()
◆ get_blocked_ips()
| std::vector< std::string > Node::get_blocked_ips |
( |
| ) |
const |
◆ get_call_statistics()
| fc::variant_object Node::get_call_statistics |
( |
| ) |
const |
◆ get_connected_peers()
| std::vector< PeerStatus > Node::get_connected_peers |
( |
| ) |
const |
- Returns
- a list of peers that are currently connected.
◆ get_connection_count()
| uint32_t Node::get_connection_count |
( |
| ) |
const |
|
virtual |
◆ get_node_id()
◆ get_potential_peers()
◆ get_transaction_propagation_data()
◆ is_connected()
| bool Node::is_connected |
( |
| ) |
const |
◆ listen_on_endpoint()
| void Node::listen_on_endpoint |
( |
const fc::ip::endpoint & |
ep | ) |
|
Specifies the network interface and port upon which incoming connections should be accepted.
◆ listen_on_port()
| void Node::listen_on_port |
( |
uint16_t |
port, |
|
|
bool |
wait_if_not_available |
|
) |
| |
Specifies the port upon which incoming connections should be accepted.
- Parameters
-
| port | the port to listen on |
| wait_if_not_available | if true and the port is not available, enter a sleep and retry loop to wait for it to become available. If false and the port is not available, just choose a random available port |
◆ listen_to_p2p_network()
| void Node::listen_to_p2p_network |
( |
| ) |
|
|
virtual |
◆ load_configuration()
| void Node::load_configuration |
( |
const fc::path & |
configuration_directory | ) |
|
◆ network_get_info()
| fc::variant_object Node::network_get_info |
( |
| ) |
const |
◆ network_get_usage_stats()
| fc::variant_object Node::network_get_usage_stats |
( |
| ) |
const |
◆ set_advanced_node_parameters()
| void Node::set_advanced_node_parameters |
( |
const fc::variant_object & |
params | ) |
|
◆ set_allowed_peers()
| void Node::set_allowed_peers |
( |
const std::vector< NodeIdType > & |
allowed_peers | ) |
|
◆ set_node_delegate()
◆ set_test_net()
| void Node::set_test_net |
( |
bool |
is_test_net | ) |
|
◆ set_total_bandwidth_limit()
| void Node::set_total_bandwidth_limit |
( |
uint32_t |
upload_bytes_per_second, |
|
|
uint32_t |
download_bytes_per_second |
|
) |
| |
◆ sync_from()
| void Node::sync_from |
( |
const ItemId & |
current_head_block, |
|
|
const std::vector< uint32_t > & |
hard_fork_block_numbers |
|
) |
| |
|
virtual |
Node starts the process of fetching all items after item_id of the given item_type. During this process messages are not broadcast.
Reimplemented in hsrcore::net::SimulatedNetwork.
The documentation for this class was generated from the following files:
- F:/hshare_org/Hcash/libraries/include/net/Node.hpp
- F:/hshare_org/Hcash/libraries/net/Node.cpp


|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object edu.mit.csail.sdg.alloy4.SafeList<T>
T
- - the type of elementpublic final class SafeList<T>
This list allows add() but disallows remove() and set(); null values are allowed.
By making this sacrifice, we are able to provide a very cheap "duplicate method" that simulates making a copy without actually making a copy.
Furthermore, this class's iterator allows concurrent insertion and iteration (that is, we can iterate over the list while adding elements to the list at the same time). The iterator is guaranteed to iterate over exactly the elements that existed at the time that the iterator was created.
Thread Safety: Safe.
| Constructor Summary | |
|---|---|
SafeList()
Constructs a modifiable empty list. |
|
SafeList(java.util.Collection<? extends T> initialValue)
Constructs a modifiable list containing the elements from the given collection. |
|
SafeList(int initialCapacity)
Constructs a modifiable empty list with the initial capacity. |
|
SafeList(java.lang.Iterable<? extends T> initialValue)
Constructs a modifiable list containing the elements from the given iterable. |
| Method Summary | |
|---|---|
boolean |
add(T item)
Add an element into the list. |
void |
addAll(java.util.Collection<? extends T> items)
Add a collection of elements into the list. |
boolean |
contains(java.lang.Object item)
Returns true if the list contains the given element. |
SafeList<T> |
dup()
Constructs an unmodifiable copy of an existing SafeList. |
boolean |
equals(java.lang.Object that)
Returns true if (that instanceof List or that instanceof SafeList), and that contains the same elements as this list. |
T |
get(int i)
Get an element from the list. |
int |
hashCode()
Computes a hash code that is consistent with SafeList's equals() and java.util.List's hashCode() methods. |
boolean |
isEmpty()
Returns true if the list is empty. |
java.util.Iterator<T> |
iterator()
Returns an iterator that iterates over elements in this list (in the order that they were inserted). |
ConstList<T> |
makeConstList()
Constructs an unmodifiable ConstList containing the same elements as this list. |
java.util.List<T> |
makeCopy()
Constructs a modifiable ArrayList containing the same elements as this list. |
int |
size()
Returns the size of the list. |
java.lang.String |
toString()
Returns a String representation of this list. |
| Methods inherited from class java.lang.Object |
|---|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
| Constructor Detail |
|---|
public SafeList()
public SafeList(int initialCapacity)
public SafeList(java.util.Collection<? extends T> initialValue)
public SafeList(java.lang.Iterable<? extends T> initialValue)
| Method Detail |
|---|
public SafeList<T> dup()
public java.util.List<T> makeCopy()
public ConstList<T> makeConstList()
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object that)
equals
in class java.lang.Object
public boolean contains(java.lang.Object item)
public boolean add(T item)
public void addAll(java.util.Collection<? extends T> items)
public T get(int i)
public int size()
public boolean isEmpty()
public java.util.Iterator<T> iterator()
Note: This iterator's remove() method always throws UnsupportedOperationException.
Note: This iterator always returns exactly the list of elements that existed at the time that the iterator was created (even if the list is modified after that point).
iterator
in interface java.lang.Iterable<T>
public java.lang.String toString()
toString
in class java.lang.Object
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |


|
Soldier
(Eminem) |
|
I'm
a soldier X4
Verse 1 Yo... Never was a thug, just infatuated with guns, Never was a gangsta, till I graduated to one And got the rep of a villain, for weapon concealin'.      Chorus Yo Left, Yo Left, Yo Left, Right, Left X4 |


Name
Contact Name
Phone
Email
Shipping Method
Select shipment method
Standard 3 - 5 Business Days
Expedited Next-Day Delivery
Item1
Item2
Item3
Item4
----------------
Select shipment method
Standard 3 - 5 Business Days
Expedited Next-Day Delivery


Despite their popularity in many households, numerous myths and misconceptions float around in common culture. Here's some ideas which you might here tossed around, and why they're wrong.
| Myth | Fact |
|---|---|
| Cats are low-maintenance pets. | Cats require just as much care and attention as any other animal. They require play, a proper diet, medical care, and socialization to the same degree that a dog does. A bored and lonely cat may be prone to anxiety, destruction, and restlessness. |
| Cats are bad luck. | Owning a cat or dog is linked to decreased blood pressure, lower stress, and less anxiety and depression. Additionally, cats purr at a frequency that can improve bone growth and healing. |
| Cats are mean. | Cats have specific body language that cannot be equated to human or dog behavior. Some cats are more easily overstimulated than others, and may lash out when stressed. |
| Cats can be vegan. | All cats are obligate carnivores. Refusing to give a pet its proper diet is animal cruelty. Without meat, cats can experience cardiomyopathy and blindness. Consider instead looking for brands with humane farming practices, or buying a pet that can thrive off of vegetarian diets, such as rabbits, some rodents, or herbivorous fish. |
| Cats can have milk. | A little bit of milk won't hurt your cat, but most cats are lactose intolerant, and may experience upset stomachs, vomiting, and diarrhea. In general, you should always research whether something is toxic before letting your pet try it. |


"Properly practiced, knitting soothes the troubled spirit, and it doesn't hurt the untroubled spirit either."
"It is nice to knit a while, put down the needles, write a while, then pick up the sock again."
"I watch my wife knitting, and it's like watching close-up magic to me."
Signup for our monthly newsletter to get the latest news, updates and amazing offers delivered directly to your inbox.


WITNESS LIST Financial Institutions Committee March 12, 2001-3:00P HB 1268 For: Kopfer, Randall (Foundation Appraisers Coalition of Texas (FACT)) On: Barnes, Rodger (TALCB) Registering, but not testifying: For: Schneider, Rob (Consumers Union - Southwest Regional Office) HB 1522 For: Heasley, John (Texas Bankers Association) Hightower, Rick (American Bank of Commerce) Moore, James S. (Self and American Bank of Commerce) Neeley, Karen (Independent Bankers Assn of Texas) Stick, Jack (American Bank of Commerce) Thompson, E. Powell (American Bank of Commerce) On: Hamby, Kevin (Texas Credit Union League) James, Randall S. (Self and TX Dept. of Banking) Registering, but not testifying: On: Shirley, Sarah (Texas Department of Banking) HB 1522 Committee Substitute (Solomons) For: Bernard, Michael (Disrict Attorney Susan Reed, Bexar County, TX) Harris, Margaret (The Harris County District Attorney) Hendrix, Joyce (Self) Hendrix, Kenneth R. (Self) Herberg, Jr., Clifford C. (Bexar County District Attorney's Office) HB 1768 On: James, Randall S. (Texas Dept. of Banking) Registering, but not testifying: For: Graham, Ann (Texas Bankers Assoc.) Roberts, Michelle (Texas Bankers Association Trust Division) Williston, Chris (IBAT) On: Jobe, Everette (TX. Dept. of Banking) HB 1869 For: Allison, Jim (County Judges & Commissioners Assoc. of TX) Briesemeister, Janee (Consumers Union) Carter, Jim (Denton County) Gilmore, Don (Self and TX Assoc. of Assessing Officers, Metro Group Chief Appraisers, TX Assoc. of Appraisal Districts) Horn, Mary (Self and Tax Assessor/Collector Asso.) Irvin, Monica (Godley Independent School District) Nelson, William (Johnson County Public Work) Orr, Rob (Self) Thompson, Troy (Self and Johnson Co Comm #4) Against: Rogers, Steven (Texas Manufactured Housing Association) On: Rothermer, John (Stewart Title Guaranty Co.) Stinson, Bill (Texas Association of Realtors) Registering, but not testifying: For: Carr, Snapper (Texas Municipal League) Graham, Ann (Texas Bankers Assoc.) Neeley, Karen (Independent Bankers Assn of Texas) Sandberg, Eric (Texas Savings & Community Bankers Assoc.) On: Garcia, Joe A. (TDHCA) Hill, Bobbie (TDHCA) Johnson-Henley, Monita (Texas Dept. of Housing & Community Affairs) HB 1869 Committee Substitute (Marchant) For: Hubbard, James (Wise County) Lee, Donald (Texas Conference of Urban Counties) Registering, but not testifying: For: Sugg, Paul (Texas Association of Counties) HB 2153 On: Edwards, Kimberly K. (Texas Public Finance Authority)


Record your interview question
Note:
Current demo works only in Firefox, tested in 35.0.1. Don't record long videos, there is a limit of 10 MB for each video.
Record
Stop
Company name:
Upload video
Links:
Distribute:
Candidates can leave their video replies on this link.
Answers:
You can view all replies on this link.


com
.
adenium
utils
package
utils
Visibility
Public
All
Type Members
trait
Monoid
[
A
]
extends
AnyRef
case class
WOption
[
L
,
+A
]
(
log:
L
,
option:
Option
[
A
]
)
extends
Product
with
Serializable
Value Members
object
Args
Created by SecudiumDev on 2017-10-18.
object
IpUtil
object
Logger
extends
Serializable
Created by SecudiumDev on 2017-10-18.
object
May
object
Monoid
object
StringUtil
object
Timer
object
WOption
extends
Serializable
Ungrouped


7.5. Local ObjectsIn C++, names have scope, and objects have lifetimes. To understand how functions operate, it is important to understand both of these concepts. The scope of a name is the part of the program's text in which that name is known. The lifetime of an object is the time during the program's execution that the object exists. The names of parameters and variables defined within a function are in the scope of the function: The names are visible only within the function body. As usual, a variable's name can be used from the point at which it is declared or defined until the end of the enclosing scope. 7.5.1. Automatic ObjectsBy default, the lifetime of a local variable is limited to the duration of a single execution of the function. Objects that exist only while a function is executing are known as automatic objects. Automatic objects are created and destroyed on each call to a function. The automatic object corresponding to a local variable is created when the function control path passes through the variable's definition. If the definition contains an initializer, then the object is given an initial value each time the object is created. Uninitialized local variables of built-in type have undefined values. When the function terminates, the automatic objects are destroyed. Parameters are automatic objects. The storage in which the parameters reside is created when the function is called and is freed when the function terminates. Automatic objects, including parameters, are destroyed at the end of the block in which they were defined. Parameters are defined in the function's block and so are destroyed when the function terminates. When a function exits, its local storage is deallocated. After the function exits, the values of its automatic objects and parameters are no longer accessible. 7.5.2. Static Local ObjectsIt is can be useful to have a variable that is in the scope of a function but whose lifetime persists across calls to the function. Such objects are defined as static. A static local object is guaranteed to be initialized no later than the first time that program execution passes through the object's definition. Once it is created, it is not destroyed until the program terminates; local statics are not destroyed when the function ends. Local statics continue to exist and hold their value across calls to the function. As a trivial example, consider a function that counts how often it is called:
size_t count_calls()
{
static size_t ctr = 0; // value will persist across calls
return ++ctr;
}
int main()
{
for (size_t i = 0; i != 10; ++i)
cout << count_calls() << endl;
return 0;
}
This program will print the numbers from 1 through 10 inclusive. Before count_calls is called for the first time, ctr is created and given an initial value of 0. Each call increments ctr and returns its current value. Whenever count_calls is executed, the variable ctr already exists and has whatever value was in the variable the last time the function exited. Thus, on the second invocation, the value is 1, on the third it is 2, and soon.
|


Doctrine doesn't impose any style at all - your CSS, markup and presentation are entirely yours. What it does is to extract the head and body elements from your standalone HTML pages and inject them into the head and body sections of a master page.
Doctrine runs as part of an ASP.NET MVC website. You write HTML pages; Doctrine generates navigation, headers and footers for you.
It's not a content management system - it's for people who are happy writing HTML and want an easy way to make it look good.