### 1 Datalog - Single Step Operator

Codey 08/19/2018 at 17:08. 1 answers, 0 views logic sets
I am currently taking a class called Logic for Computer Scientist. During the first four weeks or so now we have been studying a concept Datalog with subsections Syntax and Formal Semantics and Fixed-Point Semantics. In these weeks we have...

### 1 Error message in bibliography [closed]

Nischal 08/19/2018 at 15:09. 0 answers, 0 views bibtex bibliographies
Can you please help with this error. It started suddenly. I didn't do anything at my .bib file My bib file code is @book{Hutton, author = "Hutton, David V", title = "Fundamentals of Finite Element Analysis", publisher = "McGraw-Hill",...

### Sobolev embedding for a specific family of weighted Sobolev spaces

Delio Mugnolo 08/19/2018 at 13:59. 0 answers, 0 views fa.functional-analysis sobolev-spaces
Consider the weighted Sobolev-type space $$W_\alpha:=\{f\in L^2(0,\infty):\hbox{id}^\alpha\cdot f'\in L^2(0,\infty)\}.$$ Are there any known embeddings? Ideally, I am looking for an embedding of the above space into $L^p(0,\infty)$ for some $p>2$, some $\alpha_0$, and all $\alpha \in [0,\alpha_0]$. The...

### 5 All unions of finite intersections of elements of subbasis can be the empty set?

Sitaraman 08/19/2018 at 13:10. 3 answers, 119 views general-topology
Munkres definition says the following: A subbasis $S$ for a topology on $X$ is a collection of subsets of $X$ whose union equals $X$. The topology generated by the subbasis $S$ is defined to be the collection $\mathcal T$ of...

### 6 Short story with retired selfdriving cars

Andrew bennett 08/19/2018 at 13:08. 1 answers, 48 views story-identification short-stories
I'm looking to identify a short story involving self driving cars. The thrust of the story is a man sets up a sanctuary/farm for retired selfdriving cars. There is a dispute with someone mistreating the cars. I remember a reference...

### 3 Use Custom Error in Nodejs with async

abarr 08/19/2018 at 12:47. 1 answers, 0 views javascript node.js error-handling async.js
I am using async in a Nodejs application to run a series of functions in series. Each function calls the callback with an err (Can be null) and a result. What I want to do is check in the series...

### 2 Tikz: Define line and marker object in preamble

meister hubert 08/19/2018 at 12:32. 1 answers, 20 views tikz-pgf pgfplots
I have a lot of different plots for specific configurations (c1,c2,...,c10) where I only compare some of the configurations. Lets say plot 1: (c1,c4,c10) and in the next plot (c2,c3,c5). Also I will have the same configuration in dashed or...

### 2 TikZ: centering nodes and paths relative to each other

I'm trying to draw a textbox over an image like this: Here's what I have so far: \documentclass{article} \usepackage[paperwidth=50cm,paperheight=70cm,margin=1.3cm]{geometry} \usepackage{xcolor} \usepackage{tikz} \definecolor{background}{HTML}{2C414C} \definecolor{foreground}{HTML}{FFFFFF} \begin{document} \pagecolor{foreground} \begin{center} \begin{tikzpicture}[y=0.80pt, x=0.80pt, yscale=-1, xscale=1, inner sep=0pt, outer sep=0pt] % IMAGE \node[anchor=north west,inner sep=0] at...

### 4 Please use latin2 or utf8 (inputenc) with magyar babel warning

Tamas Ferenci 08/19/2018 at 09:19. 2 answers, 79 views babel hungarian
Here is a minimal reproducible example: \documentclass[a4paper]{article} \usepackage[utf8]{inputenc} \usepackage[T1]{fontenc} \usepackage[magyar]{babel} \begin{document} Árvíztűrő tükörfúrógép. \end{document} Compiling this results in a Please use \usepackage[latin2]{inputenc} or \usepackage[utf8]{inputenc} with \usepackage[magyar]{babel} warning. An earlier question addressed this, but I still receive this warning, despite the...

### 4 For each pair of strings, eliminate the characters they have in common

wiTcH_doCtoR 08/19/2018 at 06:38. 1 answers, 0 views java strings programming-challenge time-limit-exceeded
In the below code there are 3 inputs. First line of input is the number of testcases for which the program will run where (1<=testcases<=10) and i is an int. For each testcase Second and third input will be a...

### 4 Problem with titleformat: Don't want Chapter Style to be Applicable on Table of Contents & Bibliography

Sandeep Singh 08/19/2018 at 03:38. 1 answers, 0 views sectioning formatting titletoc
Please consider the following code: \documentclass[11pt,twoside,openany]{book} \usepackage[svgnames,x11names]{xcolor} \usepackage{wallpaper} \usepackage{changepage} \usepackage[explicit]{titlesec} \usepackage{tikz} \usetikzlibrary{shapes,positioning} \usepackage{lipsum} \usepackage{geometry} \geometry{ paperwidth=216mm, paperheight=303mm, left=23mm, %% or inner=23mm right=18mm, %% or outer=18mm top=23mm, bottom=23mm, headheight=\baselineskip, headsep=7mm, footskip=7mm } %% Command to hold chapter illustration image \newcommand\chapterillustration{} %%...

### 5 Existence of a transitive model is strictly stronger than consistency?

Spencer 08/19/2018 at 01:24. 1 answers, 63 views logic reference-request set-theory
It seems like we should be able to prove that the existence of a transitive model for ZFC is strictly stronger than Con(ZFC), but I can't find anything saying so / giving an argument for it. Is there a standard...

### 5 Lattice-based cryptography

Steven Sagona 08/19/2018 at 01:05. 1 answers, 155 views post-quantum-cryptography lattice-crypto
How viable is lattice-based cryptography in a "practical" setting? It has been said that lattice-based cryptography would be a "post-quantum" cryptography scheme, but is it feasibly implementable?

### 2 Where did Dumbledore live while working at Hogwarts?

To me it seems like he would either live in the castle or somewhere near. I can't find any proof of either of those so any help would be appreciated.

### 6 \includegraphics and \includepdf both remove all copy (text) from my (R outputted) pdf graphs, using pdfTeX

gakera 08/19/2018 at 00:31. 1 answers, 0 views pdftex pdf graphics
I'm using pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009) (format=pdflatex 2010.8.30) in TexMaker 2.1 on Mac OSX. I installed the whatever latex packages using the "easier" method at http://guides.macrumors.com/Installing_LaTeX_on_a_Mac - the MacTex batch. I'm outputting some graphs to PDFs in R...

### 3 Twelfth rebus to exercise your brain on

Wordster 08/19/2018 at 00:17. 2 answers, 20 views rebus
I think it would be a blast to get paid for creating rebuses!

### 7 Is this “inverse the limit” process right?

Pedro yesterday at 23:23. 1 answers, 239 views real-analysis limits
Suppose you have two (nice enough) functions $f$ and $g$ and a constant $\lambda$ such that $$\lim_{x\to\infty}\frac{f(x)}{g(x)}=\lambda$$ Is it true that $$\lim_{x\to\infty}\frac{f^{-1}(x)}{g^{-1}(x/\lambda)}=1$$ The "reasoning" goes like this: $$\frac{f(x)}{g(x)}\approx\lambda$$ $$f(x)\approx\lambda g(x)$$ $$x\approx f^{-1}(\lambda g(x))$$ $$g^{-1}(x/\lambda)\approx f^{-1}(x)$$ $$\frac{f^{-1}(x)}{g^{-1}(x/\lambda)}\approx 1$$ all of this...

### count number of lines provided to Python script before and after task

αԋɱҽԃ αмєяιcαη yesterday at 23:01. 0 answers, 8 views text-processing awk sed grep python
Input: {"case":"0901","emailed":"yes","vote":1,"accepted":"no"}, {"case":"0908","emailed":"yes","vote":8,1"accepted":"yes"}, {"case":"0911","emailed":"no","vote":10,1"accepted":"yes"}, {"case":"0090","emailed":"yes","vote":3,1"accepted":"no"}, Script Written to accept the input even if it's like the following: {"case":"0901","emailed":"yes","vote":1,"accepted":"no"},{"case":"0908","emailed":"yes","vote":8,1"accepted":"yes"},{"case":"0911","emailed":"no","vote":10,1"accepted":"yes"},{"case":"0090","emailed":"yes","vote":3,1"accepted":"no"}, Output {'case': '0901', 'vote': 1, 'accepted': 'no', 'emailed': 'yes'} {'case': '0090', 'vote': 3.1, 'accepted': 'no', 'emailed': 'yes'} Lines Before: 4 Lines After:...

### 1 What is the meaning of “e pluribus smart assimus”

I am just curious what a phrase "e pluribus smart assimus" means.

### 1 non parametric alternative to simple t-test

Germán Ruelas yesterday at 22:26. 2 answers, 23 views t-test nonparametric levenes-test
I will try to write my problem as accurate as possible, sorry if I forgot to say something. I have 5 numeric variables of 2 populations (each of them with 60 individuals) and for each of those 5 variables I...

### 4 Funding faculty position for a spouse

Nachiket Patil yesterday at 22:06. 2 answers, 330 views job-search
My wife is looking for a faculty position. It seems its not so easy to get a position in biology though she is doing postdoc at top 5 genetics programs in USA. I am wondering if I can offer a...

### 4 How to extract geo location of city and plot the map

Okkes Dulgerci yesterday at 22:02. 1 answers, 0 views city-map
I would like to construct Turkey's map using Geocoordinate of each city. This link has all coordinate of of cities but I don't know how to extract the data from website. I did manually two cities and it seems it...

### 3 Eigenvalues of a sum of operators

Charlie yesterday at 21:29. 1 answers, 63 views quantum-mechanics homework-and-exercises operators
If we have a quantum operator that is composed of the sum of other operators, let's say, $A=B+C$, and we want to find it's eigenvalues, is it the same as finding the eigenvalues of each operator and then just adding...

### 2 Are normal packets ever combined into jumbo packets?

Fred Phillips yesterday at 21:04. 1 answers, 0 views ethernet
Do routers ever combine multiple small frames into a jumbo frame then split them up again on the other end? I know that most of the time it wouldn't make sense to do because you would add latency by waiting...

### 1 Why doesn't the gender of French nouns correspond to how those objects are used in real life?

elli yesterday at 20:50. 1 answers, 78 views articles
Why is the word "soutien-gorge" considered masculin in French while this cloth is only used for women? On the other hand, the word chemise which belongs to men is féminin ? There are so many other words as well which...

### 12 Can a multiclassed Warlock (2)/Abjuration Wizard (+2) with the Armor of Shadows invocation continuously cast Mage Armor to recharge Arcane Ward?

Dumpcats yesterday at 20:46. 1 answers, 73 views dnd-5e spells wizard warlock multi-classing
The warlock's Armor of Shadows eldritch invocation says: You can cast mage armor on yourself at will, without expending a spell slot or material components. The School of Abjuration wizard's 2nd-level Arcane Ward feature (PHB, p. 115) says: When you...

### 1 Can the idea of “modulation” be applied outside of harmony?

lightning yesterday at 20:31. 3 answers, 44 views terminology melody modulation
If you have a "pivot motif", which shares, for example, rhythmic properties of theme A and theme B, and is used to move between the two themes, could you consider this a modulation? What other musical phenomena can be described...

### 2 Split a big table on two pages

user3832272 yesterday at 20:21. 2 answers, 21 views tables longtable tabularx
I'm trying to fix a table in my latex file. The table is too long and few last rows go over the number of pages and also partially into the footnote. I thought of using longtable package to break the...

walksignison yesterday at 20:18. 2 answers, 16 views bash shell-script shell
In my current directory /home/user/Desktop/projects, I have a folder (dev_12) which has a symbolic link another folder (now) in the same directory. I'm running the following command, to get which folder dev_12 is pointing to: readlink dev_12 to which I...

### 1 Revert killall -KILL Dock

Ancinek yesterday at 20:06. 2 answers, 82 views macos finder dock
I'm playing around with Dock and until now I was using killall Dock command to relaunch it. Now I used killall -KILL Dock and my Dock went down without relaunching itself. I tried restarting my mac but it did not...

### 1 formal definition of the qqline used in a qqplot

Jonathan Dunne yesterday at 19:31. 2 answers, 20 views r distributions fitting
I'm doing some distribution fitting work and I'm looking at Q-Q plots and how they can be used visually to interpret goodness of fit. My data is heavy-tailed so I am looking at Weibull, log-normal, Pareto and log-logistic distributions initially....

### 5 Redefine \S - problem with indices

user372565 yesterday at 19:27. 2 answers, 50 views math-mode indexing
Why are the subscripts placed under the letters and not in the right bottom corner like usual? \documentclass[a4paper,12pt,twoside]{article} \usepackage[utf8]{inputenc} \usepackage[T1]{fontenc} \usepackage[ngerman,english]{babel} \usepackage{csquotes} \usepackage{amssymb} \usepackage{amsmath} \usepackage{amsthm} \let\origS\S\renewcommand{\S}{\ifmmode\mathop{\mathsf{S}}\else\origS\fi} \begin{document} $$\label{eqn:decS} \S=\S_0 \oplus\S_1 .$$ \end{document} ...

### 3 grep the line contains only the match

fini r yesterday at 19:03. 1 answers, 41 views grep
I have the below file for example, Hello world cheers Hello world Hi Hello world Hi Hello world, How are you? I would like to grep the line which contains only the Hello world with the line number.

### 1 Which one is faster GCM AES-128 or Curve25519?

Aymn Alaney yesterday at 18:48. 1 answers, 67 views elliptic-curves gcm
As I know the symmetric encryption algorithms are faster than asymmetric encryption algorithms. But when I test GCM AES-128 and Curve25519 encryption time. I find Cure25519 are faster then GCM AES-128. Is that normal? Is GCM AES-128 slow? By the...

### 3 Swapping around the three Jewels

Ilya Grushevskiy yesterday at 18:44. 2 answers, 55 views personal-practice
The Buddha stated in SN 6.2 that he doesn't have a teacher but instead look up to the Dhamma, and in MN22 he states: Bhikkhus, when the gods with Indra, with Brahmā and with Pajāpati seek a bhikkhu who is...

### 3 My variable's value is 0, but I didn't set it to 0

HappyFace yesterday at 18:37. 1 answers, 37 views zsh variable

### 4 What is this insect with funny color pattern?

Aleksandar M yesterday at 15:11. 2 answers, 220 views identification pests
What is this insect, does she dp any harm?