I have Windows 10 Home x64 running on Dell Inspiron 3537. All the drivers are ok (sidetrack; gave it on a warranty service, hdd failure; they put a new drive in and reinstalled it with win10 home) and for the first few days, it worked great. Then came the problem. Whenever I close the lid or put the PC to sleep, it will sometimes go to sleep, but sometimes everything will shut down (hdd, wifi led etc.), but the fan will stay on and the pc will stay in on state instead of sleep (power led blinking) state. Same is for shutting down: sometimes it will shutdown ok (it takes up to 10-15 secs) but sometimes it will stay on indefinitely. Any help would be appreciated.  Edit: the windows installation is brand new and as i said, it sometimes shuts down / sleeps and sometimes it doesn't; i can't see what is the problem
Windows 7 msconfig lets users select the options No GUI boot and OS boot information to have a list of drivers being loaded during boot. Is it possible to have similar detailed messages during shutting down/restarting/logging off? Here's the screen I want disable or give me more details:
I'm planning to use USB port for an application(from a device to a PC) but the distance between the device and the PC will be around 15m. The recommended maximum USB cable length is 5m.  How can I buffer the data without loosing any information, safely? Would a USB hub work? Is there any way to see the timetable for a  bus route?  On their website I can see the routes map, but I'd me more interested in seeing where the bus is going to stop for a given route.  E.g. if a bus goes from Rotterdam to Amsterdam, I'd like to see each stop. When is the finalize() method called in Java? How to find out who deleted some data SQL Server My boss had a query from a customer yesterday asking how they could find out who deleted some data in their SQL Server database (it is the express edition if that matters).  I thought this could be found from the transaction log (providing it hadn't been truncated) - is this correct? And if so how do you actually go about finding this information out? Restoring a backup to an older version of SQL Server When trying to restore a backup to a SQL Server Express 2008 database I got the following error:  Restore failed for Server '...\SQLEXPRESS'.  (Microsoft.SqlServer.SmoExtended) System.Data.SqlClient.SqlError: The database was backed up on a server running version 10.50.1600.  That version is incompatible with this server, which is running version 10.00.2531.  Either restore the database on a server that supports the backup, or use a backup  that is compatible with this server. (Microsoft.SqlServer.Smo)   Is there a way to get a backup which is compatible with the older (in my case 10.00.2531) version from the newer (in my case 10.50.1600) version of SQL Server Express? Symbolic coordinates for a hyperbolic grid? Rephrasing     (one year later)    (original question is below)   Apparently the original question wasn't clear, or nobody knows an answer (or both).  So I will try to rephrase it.   Look at your favorite .  This question asks for a labeling system for the points.  Of course we could draw the grid on the Poincare disk, and use real numbers (the (x,y) coordinates of each point), but in practice that would raise all sorts of precision issues that could surely be avoided if one had a proper symbolic coordinate system.  You shouldn't need real numbers if you're staying on grid points!  Just like (2,3)+(0,1) is trivial to do by hand (or in your head) for the square grid, we'd like some form of symbolic coordinates (i.e. consisting of finite sequences of symbols) for a hyperbolic grid, in which simple operations on small grid vectors are similarly easy.  If you take some sequence of left and right turns in a hyperbolic grid city, what should you keep track of in your head so you can take the optimal route back to your starting point?  In a Euclidean square grid, it is {(int)X, (int)Y, (enum)direction you are facing}, and we all know how to use this.  Is there any hyperbolic grid where this question has a nice answer?    Original Question  If we consider the Euclidean plane, then a square grid works well with using two integers (the coordinates) as a representation for vectors that lie on the grid.  Does anybody know of a similarly nice representation for working in the hyperbolic plane?  Desirable features of any such system:  $-$ It should be easy to add two vectors.  $-$ It should be easy to see if two vectors are the same.  $-$ It should be easy to see if two vectors are close.  $-$ It should be easy to rotate a vector by an angle that is a symmetry of the grid.  $-$ Every point in the plane should be near some vector. (The grid shouldn't have large empty regions.)   Note that "addition" using continuous coordinates would most naturally be defined in terms of parallel transport, and it is neither commutative nor associative.  On a grid, however, the issue of orientation needs to be addressed differently, since parallel transport along arbitrary grid vectors will introduce rotations that are not a symmetry of the grid, so to remain on the grid, addition will need to be defined using something other than parallel transport.  Since hyperbolic grids have an exponential number of points (as a function of distance from the origin), our symbolic coordinates will need to have a length proportional to the length of the vector.  Don Hatch has a web page which gives some .  ("Easy" means an efficient algorithm that is doable by hand, like how the algorithms for addition and subtraction using the standard digit-sequence representation of integers can be used for the Euclidean square grid. Using hyperbolic functions of real numbers, always keeping track of enough digits to identify the nearest grid point, does not count as easy!)    Addendum: Many readers seem to be disturbed by a little voice saying "But vectors don't make sense in the hyperbolic plane!": What that voice is really saying is that the hyperbolic plane doesn't give you all the nice properties you are used to in Euclidean space or in vector spaces.  So if you define vectors as objects having specific properties you are used to (such as having a direction that is unaffected by parallel transport), then that definition may not correspond to anything in the hyperbolic world.  You could use the term isometry, but that is typically a fixed mapping from the space to itself, and in the hyperbolic plane the isometry corresponding to a vector would depend on the starting point. (However, isometries will be central to any solution, I assume.) And a geodesic is a fixed path within the space, no different from a hyperbolic line or segment.  The paper  offers one solution.  offer another.  I deliberately leave them undefined in this question, as I am looking for any workable system. I am trying to remember the title of a children's SF book I once read, maybe 20 to 25 odd years ago.   I don't have a great number of details (and some of what I recall may be completely wrong), but the details (such as they are):   A war between two alien groups ended, and some technology that should have been destroyed was instead imprinted into a human baby. A few years later, both groups find this out and attempt to retrieve it. The main characters are the child, and an alien that I believe was called "Yacob" (or similar) who was sent to protect the child/retrieve the technology, and the antagonists were the other group of aliens that had previously lost the war and were trying to get the technology to start it up again (again, I don't remember the exact details, but I think it was a fairly simple black &amp; white/good vs. bad scenario, being a children's book and all). There was a scene in which Yacob/the alien gives the child blue food, who complains that it's blue, and the alien states "close your eyes and it's just food". The alien had a space shuttle/some other piece of tech disguised as a van. I vaguely recall a scene in which it is under attack and it flies or something. I'm trying to do raster algebra with two rasters, but when I transform the rasters to array I can't do the operation because the files do not have the same extent  example:  from osgeo import gdal import numpy as np  IMG1 = gdal.Open('C:/IMG1.TIF') IMG2 = gdal.Open('C:/IMG2.TIF')  img1 = IMG1.ReadAsArray() img2 = IMG2.ReadAsArray()  img1+img2 &gt;&gt;&gt;&gt;&gt; ValueError: operands could not be broadcast together with shapes (5353,3352) (5548,3232)    So.. if I see the gt of every img show that img1 and img2 have the same size of the pixel (100) but different extent  g1 = IMG1.GetGeoTransform() gt1 &gt;&gt;&gt;&gt;&gt; (482084.999999999, 100.0, 0.0, 5652715.00001374, 0.0, -100.0) g2 = IMG2.GetGeoTransform() gt2 &gt;&gt;&gt;&gt;&gt; (475184.999999999, 100.0, 0.0, 5643715.00001535, 0.0, -100.0)   So.. I used this operation in order to get the intersect extent.. but I don't know how to apply  r1 = [gt1[0], gt1[3],gt1[0] + (gt1[1] * IMG1.RasterXSize), gt1[3] + (gt1[5] * IMG1.RasterYSize)] r2 = [gt2[0], gt2[3],gt2[0] + (gt2[1] * IMG2.RasterXSize), gt2[3] + (gt2[5] * IMG2.RasterYSize)] intersection = [max(r1[0], r2[0]), min(r1[1], r2[1]), min(r1[2], r2[2]), max(r1[3], r2[3])] How to parse a string into a nullable int Specify a field in attribute table with raster calculator Zero-dimensional ideals and finite-dimensional algebras Prove the Probability of Two Events I'm taking my first course in Probability and one of my homework problems is to prove that for any two sets:  $$P(A \cup B) = P(A) + P(B) - P(A \cap B) $$  Note that the function $P$ is the probability of an event happening.  From the third axiom, we are given that for any two disjoint sets, that is $ A \cap B = \emptyset$:  $$P(A \cup B) = P(A) + P(B)$$    My thought process follows from this third axiom, but I run into a problem near the end:  Since $A$ and $B$ are disjoint sets, $P(A)=P(A-B)$ and $P(B)=P(B-A)$, so  $$P(A \cup B) = P(A) + P(B)=P(A-B)+P(B-A)$$  From this, it appears that we are essentially taking the symmetric difference of A and B.  This, to me, seems to be equivalent to:  $$P(A-B)+P(B-A)=P(A)+P(B)-P(A \cap B)$$  Hence, by my logic:  $$P(A \cup B) = P(A)+P(B)-P(A \cap B)$$  Which, in essence, doesn't care whether two sets are disjoint or not as we are subtracting the intersection of them.  If the sets are disjoint, then the intersection is merely null.  If they intersect, then we are removing the "extra pieces".  I feel like this is inadequate proof despite my ability to convince myself that it is true..  Where, if anywhere, did I go wrong?  Thanks! Force pagebreak after every sentence/paragraph Is there a way to force a pagebreak after every sentence or paragraph?  This may seem like an odd thing to do, but for catching typos and just general editing I find it much easier to look at a sentence or paragraph in isolation so that I am not tempted to skip ahead.  Currently, I just zoom in so I can only see a few word at a time, but this is not a perfect solution. Delete specific line number(s) from a text file using sed? Cannot install Oracle JDK via apt in Ubuntu 16.04 I created a new Ubuntu 16.04.3 VM and am attempting to install JDK 9. Unfortunately, the latest version of the JDK apt installer, 9.0.1-1~webupd8~0, is failing to download the binaries and I suspect that the reason is because   I carried out the typical steps for installation:    add-apt-repository ppa:webupd8team/java apt-get update &amp;&amp; apt-get install oracle-java9-installer   I am then prompted with the following error message:  Downloading Oracle Java 9... --2018-01-16 15:15:07--  http://download.oracle.com/otn-pub/java/jdk/9.0.1+11/jdk-9.0.1_linux-x64_bin.tar.gz Resolving download.oracle.com (download.oracle.com)... 23.200.70.136 Connecting to download.oracle.com (download.oracle.com)|23.200.70.136|:80... connected. HTTP request sent, awaiting response... 302 Moved Temporarily Location: https://edelivery.oracle.com/otn-pub/java/jdk/9.0.1+11/jdk-9.0.1_linux-x64_bin.tar.gz [following] --2018-01-16 15:15:11--  https://edelivery.oracle.com/otn-pub/java/jdk/9.0.1+11/jdk-9.0.1_linux-x64_bin.tar.gz Resolving edelivery.oracle.com (edelivery.oracle.com)... 23.35.226.115, 2600:1404:21:49d::2d3e, 2600:1404:21:493::2d3e Connecting to edelivery.oracle.com (edelivery.oracle.com)|23.35.226.115|:443... connected. HTTP request sent, awaiting response... 302 Moved Temporarily Location: http://download.oracle.com/otn-pub/java/jdk/9.0.1+11/jdk-9.0.1_linux-x64_bin.tar.gz?AuthParam=1516137431_0e89d10b30203a572ea858768475ef74 [following] --2018-01-16 15:15:11--  http://download.oracle.com/otn-pub/java/jdk/9.0.1+11/jdk-9.0.1_linux-x64_bin.tar.gz?AuthParam=1516137431_0e89d10b30203a572ea858768475ef74 Connecting to download.oracle.com (download.oracle.com)|23.200.70.136|:80... connected. HTTP request sent, awaiting response... 404 Not Found 2018-01-16 15:15:11 ERROR 404: Not Found.  download failed Oracle JDK 9 is NOT installed. dpkg: error processing package oracle-java9-installer (--configure):  subprocess installed post-installation script returned error exit status 1 Errors were encountered while processing:  oracle-java9-installer E: Sub-process /usr/bin/dpkg returned an error code (1)   I found , but it does not appear that the  works for JDK 9.0.4+11. I've updated the SHA checksums (), set the major version to 9.0.4, and set the minor version to 11, but I'm still not having success.  What steps need to be carried out to get the JDK apt installer to work until the WebUpd8 team is able to update the PPA? Do tenses in a time clause never back-shift in reported speech? Do tenses in a time clause never back-shift in reported speech?  For example, does      "I went to Italy when I finished school."    become      She said she had gone to Spain when she finished school.   -or-   She said she had gone to Spain when she had finished school.   and does      "I will go to Italy when I finish school."    become     She said she would go to Italy when she finishes school.   -or-   She said she would go to Italy when she finished school. Would real Moody have taught 4th year students about Unforgiveable curses? Would real Moody have taught 4th year students about Unforgiveable curses the way fake Barty Crouch Moody did?  In other words, did Barty teach about them (leaving aside his hands-on teaching approach) just to satisfy his Death Eater wishes, or did he teach them as part of his cover as Moody impersonator because Moody would have taught about them? Reprojecting vector layer in QGIS? I have a series of layers of lines (shapefiles) in My Project. The CRS of some are different and to merge them they all must have same CRS.  When I use Processing/Toolbox/Qgis_algorithims/Reproject_layer the reprojection only works if it is allowed to save to temporary file somewhere (it will not change the CRS when I reproject if I try to save and replace it in My Project directory);   I must remove the original from the layer list and reproject the temp file (without changing the CRS) to get it into my project and name it appropriately.  Is there a better way to reproject a layer in Qgis? Suppose $\int_{[a,b]}f=0,\text{ then }f(x)=0 \forall x\in[a,b]$ Let $a&lt;b$ be real numbers. Let $f:[a,b]\to\mathbb{R}$ be a continuous non-negative function. Suppose $\int_{[a,b]}f=0,\text{ then }f(x)=0 \forall x\in[a,b]$    Proof: Suppose for the sake of contradiction $\exists x_0\in[a,b] \text{ such that } f(x_0)= D&gt; 0$  Since the function is continuous at $x_0$, we have $$\forall \epsilon&gt;0, \exists \delta&gt;0 \text{ such that } |f(x)-f(x_0)|\leq\epsilon\text{ whenever } x\in[a,b]\cap(x_0-\delta,x_0+\delta)$$ choose $\delta=\delta_1$ such that $\epsilon=D/2$, then we can say: $$-D/2 \leq f(x)-f(x_0)\leq D/2$$ $$-D/2 \leq f(x) - D$$ $$f(x)\geq D/2&gt;0$$ This implies that $\int_{[a,b]\cap(x_0-\delta_1,x_0+\delta_1)}f &gt;0$  Now since $\int_{[a,b]} f = 0$. we have  $$\int_{[a,b]}f=\int_{[a,x_0-\delta_1]}f+ \int_{(x_0-\delta_1, x_0+\delta_1)} f + \int_{[x_0+\delta_1,b]}f=0$$ $$\int_{[a,x_0-\delta_1]}f+\int_{[x_0+\delta_1,b]}f&lt;-D/2,$$ but this is a contradiction since $f(x)\geq 0$ and hence $\int_{[a,x_0-\delta_1]}f+\int_{[x_0+\delta_1,b]}f\geq 0$  Is my proof correct? Share question to Social Media option or button is much needed