Mount Everest is the highest peak in the world. The Nile is the longest river in the world. Lake Victoria is one of the largest lakes in Africa. London is on the Thames.   My question is why haven't we used the in Mount Everest and Lake Victoria? They are almost identical to the ones where the are used. Do we have to learn all the topics/things where the is used?
Possibly two questions in here: Are these sentence constructions logical, and if they are, why are they different?     I swam across the Ocmulgee River.   I swam across the Pacific Ocean.   I swam across the Red Sea.   I swam across Lake Winnipeg.   I can't think of a way of phrasing the lake example while using an article with a proper noun. I thought at first it was because Lake Winnipeg is different; it's generic portion (the "Lake") comes first and the name of that body comes second, but I swam across Falls Lake is the same.   Yet the sentence I swam across the lake sounds right to me. ...Why?
In general, in most places, it is said that using TeX defaults is the best. However, TeX does provide things like \, and \quad etc. When one should use them? Both in general and in math mode in particular. Utopia of children brought up by robots I am looking for the title of a science-fiction book describing a colony (utopia) on another planet that has been established as a social experiment. The inhabitants had been brought up only by robots and therefore work perfectly as a society. I think there is no formal government and people work on what they are interested. If any catastrophe happens, they are able to form groups of specialists who react to the threat. Later there comes a group of outsiders who decide to join and live in the utopia. I am not sure, but author was probably Canadian. Create UEFI bootable USB stick to install Windows AND Ubuntu from it I know how to make a UEFI bootable stick to install Ubuntu (explained ) and I know how to make one to install Windows 7 (, sorry). I guess for Win 8 the procedure would be similar, but I haven't looked into it.  I also know how to make a legacy bootable stick from which I can install Windows and Ubuntu using YUMI. I have failed so far though at creating a UEFI bootable stick that can do this. When I do a UEFI boot from my YUMI multiboot stick it gives me no option to choose between Ubuntu and Windows (hardly surprising I guess) and instead simply UEFI boots Windows (which I find kind of surprising to be honest but maybe this is due to the fact that I added the Windows image after the Ubuntu image and this simply replaced Ubuntu's EFI boot files).  So how would I proceed to create such a bootable stick? I'm very new to classical propositional logic, and my lecturer is using a system with the following axioms:  A1. X→(Y→X)  A2. (X→(Y→Z))→((X→Y)→(X→Z))  A3. (¬Y→¬X)→(X→Y)  Use uniform substitution and Modes Ponens (MP) as rule of inference. Deduction Theorem also allowed.  I'd like to deduce the following:  (a) X, Y ⊢ ¬(X→(¬Y)) (conjunction, but expressed in terms of NOT and IMPLIES)  (b) X→((X→Y)→Y)  (c) (X→Y)→(((¬Y)→X)→Y)  (d) (((¬Y)→X)→Y)→(X→Y)  Remark: The last two are to show that the axiom (A3) can be replaced with a different axiom:  B3. (¬Y→¬X)→(((¬Y)→X)→Y).  Solution: Bram28 proves (b) and (c) below. I demonstrate (a) and (d).  (d) is alright; first, I claim that X, ((¬Y→X)→Y) ⊢ Y.  Axiom (A1) gives ⊢X→(¬Y→X) so that ((¬Y→X)→Y)⊢X→Y by Hypothetical Syllogism (HS), which Bram28 shows to be valid.  Now that we have ((¬Y→X)→Y)⊢X→Y just apply the deduction theorem to get what we want: ⊢((¬Y→X)→Y)→(X→Y).  (a) is slightly trickier. Axiom (A1) gives ⊢ Y→(X→Y) so that X, Y ⊢ (X→Y).  Next, by part (b), we have as a theorem that ⊢X→((X→¬Y)→¬Y).  Therefore X, Y ⊢(X→¬Y)→¬Y.  But ⊢(¬¬(X→¬Y))→(X→¬Y) by DN Elim, which Bram28 shows to be valid.  By HS, X, Y ⊢(¬¬(X→¬Y))→¬Y.  By Axiom (A3) and MP, X, Y ⊢(Y→¬(X→¬Y)).  Also, rather trivially X, Y ⊢Y.  Finally by MP we conclude X, Y ⊢¬(X→¬Y) as required. Independence of Gaussian variables Why can't I import a file in the init.m file? What is the smallest (installed size) ubuntu based distribution? For ridiculously small hard drives (8GB), what Ubuntu Based (although not necessarily official) distribution offers the smallest installed size?  Let me clarify: I still want a certain amount of personal file space, preferably a few gig. I also don't have a problem with performance, while it is mediocre, a 2.6GHz single-core and 1GB of ram suffice to run ubuntu fine, but i find that it  uses 6-7GB of space. I am aiming for closer to 4GB. How to make a circular array using offset object as center? We know that the there is an Object Offset option for Array modifier, but when trying to make a circular array with that offset object as the center of the array circle, it always doesn't behave quite like what's expected. So how to make a nice and controllable circular array?  P.S.: There is an old  about moving the object's origin. I wonder if there is any way to do this without changing the location of the origin. :) Delete with Join in MySQL How to pass the password to su/sudo/ssh without overriding the TTY? Here is an interesting piece of code that my fellow team members were just having a slightly heated discussion about...    Dim fred As Integer    If True Then fred = 5 : fred = 3 : fred = 6 Else fred = 4 : fred = 2 : fred = 1   After executing the above code snippet, what is the value of fred?  Try not to cheat and debug the code.  This is a highly contrived code example that started out as an example of using the colon with an If statement, but then someone decided to take it upon themselves to proffer a result for fred.  UPDATE: I would not normally write code like this and this snippet only serves as an example. As it so happens, this question originated from a discussion involving the creation of a coding standards document for our team. ModelBuilder not adding output feature class to Table of Contents? I'm trying to create a tool in ModelBuilder that will take a new point from a user, create a feature class for this point and display it on a map.  What I've done is:   I've created a feature class for a point-like feature in ArcCatalog. I've prepared a really simple model in ModelBuilder, that starts with a feature set variable (which takes the feature class as a schema and symbology file). The variable is marked as a parameter. Next I'm using the Copy Features tool that takes the variable as input and saves it as a feature class in my scratch workspace. The output feature class is marked as a parameter with the 'add to display' option.   After the module is run I get a shapefile in my scratch workspace. I can add it manually to TOC and it contains the selected point. However no matter what I do, I can't display it in TOC automatically after the model completes.  There is a known issue described in several places that doesn't allow to display newly created layers in TOC when model finishes with the 'add to display' option. However there's a quick workaround, which is to mark the output layer as parameter. In my case it doesn't work.  I'm using ArcGIS for Desktop 10.1 on Windows 7 x86_64. Is there any way in unix to find out who accessed certain file in last 1 week? It may be user or some script ftp it to some other place. Can I get a list of user name who accessed certain file? How can I find out who is accessing particular file?? Filter bibliography by author? I would like to create a template for a publication list that can then be used by several people. The idea is that there is one bib-file which contains all of the publications. Peer-reviewed entries are marked with the keyword = pr. Then there is the master-file of the type scriptreport in which everyone can integrate their chapter-file in order to merge the publication lists of everybody into one file. The chapter file is the core of everything and should be reusable. It should filter out the entries for the respective author from the bib file and print them out in two lists (peer-reviewed and non-peer-reviewed). My problem is that I don't really know how to filter by author in this case. Here are the rough codes of the two files: Master: \documentclass[a4paper]{scrreprt}  \usepackage{biblatex}  \title{Publication list}  \addbibresource{sample.bib}  \begin{document}     \maketitle          \tableofcontents     \newpage          \include{Researcher}     \newpage \end{document}  chapter: \chapter*{Researcher} \addcontentsline{toc}{chapter}{Researcher}          \nocite{*}     \printbibliography[keyword={pr}, title={Peer-reviewed}]          \nocite{*}     \printbibliography[notkeyword={pr}, title={Non-peer-reviewed}] How should you interview for QA *Automation* positions? Usage of "but" in a sentence. I'm reading Robinson Crusoe and came across many of these constructions with "but" in it. I can't help but thought they were a little unusual. I don't consider myself fluent in English, that's why I ask.  Here is an example:     This I saw no remedy for but by making an enclosure about it with a   hedge; which I did with a great deal of toil, and more, because it   required speed.   Second one:      However, as my arable land was but small, suited to my crop, I got   it totally well fenced in about three weeks' time;   By typing the second out I figured it is actually the normal textbook case of "but", just an, in my opinion, screwed ordering in the sentence. Is this what it means?     However, as my arable land was suited to my crop but small, I got it   totally well fenced in about three weeks time;   Why did the author do this? Can you comment on the first sentence too? It's not a textbook-but-usage as I see it. After Google Play Service update to version 13 I got an error Find $\lim_{n \to \infty} \left[\frac{(n+1)^{n + 1}}{n^n} - \frac{n^{n}}{(n-1)^{n-1}} \right]$ (a question asked at trivia) I have a Dirichlet distribution from which I'm maximizing $\alpha$ by calculating the log likelihood with the following equation  $p\left(s|\alpha\right) = \sum\limits_{i=1}^O\log\left(\frac{n_i!}{\prod\limits_{j=1}^kn_{ij}!}\frac{\Gamma\left(\alpha_0\right)}{\Gamma\left(\sum\limits_{j=1}^k\left(n_{ij}+a_j\right)\right)} \prod\limits_{j=1}^k \frac{\Gamma\left(n_{ij}+\alpha_j\right)}{\Gamma\left(\alpha_j\right)}\right)$  I have a python script to calculate the log likelihood. It works for small values, but when $n_{ij}$ gets high $\Gamma\left(\sum\limits_{j=1}^k\left(n_{ij}+a_j\right)\right)$ and $\Gamma\left(n_{ij}+\alpha_j\right)$ python runs into overflow error (the max for math.gamma is between 171 and 172).   Is there a way to change the likelihood function so that $\Gamma\left(\sum\limits_{j=1}^k\left(n_{ij}+a_j\right)\right)$ and $\Gamma\left(n_{ij}+\alpha_j\right)$ don't run into overflow errors. Can I just divide the values in $\Gamma$ by for example 100, if I then compare the likelihood between $p(s|\alpha)$ with different $\alpha$ values do the best $\alpha$ values still have the highest likelihood? How does bash interpret the equal operator with no surrounding spaces in a conditional? The following script does not behave as I would have expected.  Adding spaces around the '=' in the conditional made it perform how I wanted, but it got me thinking, what is it actually doing inside the conditional?  #!/bin/bash S1='foo' S2='bar' if [ $S1=$S2 ]; then     echo "S1('$S1') is equal to S2('$S2') fi echo $S1 echo $S2   The output is:  S1('foo') is equal to S2('bar') foo bar   The contents of S1 and S2 don't change from what they are assigned, so the = doesn't perform an assignment.