Questions tagged [research]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1
vote
1answer
17 views

Can I include some manual effort in creating an otherwise automated research prototype tool?

I am a research student in the area of programming language/software engineering. I am claiming to provide an automated technique to solve a research problem in one of my papers. The prototype tool ...
1
vote
1answer
135 views

What does “Temporal extent” mean?

I am reading Long-term Temporal Convolutions for Action Recognition and under the Section 3.1, I read this: To investigate the impact of long-term temporal convolutions, we here study network inputs ...
63
votes
14answers
17k views

How can I explain to my parents that I study programming languages?

I am currently finishing my MSc in computer science. I am interested in programming languages, especially in type systems. I got interested in research in this field and next semester I will start a ...
1
vote
0answers
48 views

Why is most research in logic and verification conducted in Europe rather than the US?

This is the CSRankings output for logic and formal verification for the last 10 years, worldwide: http://csrankings.org/#/index?log&world For the International Conference on Computer Aided ...
4
votes
0answers
33 views

What are some advanced background topics I'll need for distributed systems and networks research?

I am a new graduate student in Computer Science who would like to be able to read and understand modern and new distributed systems research papers. My current background / courses and understanding ...
0
votes
0answers
18 views

How to create a database of meta-model transformations with real data?

I am currently working on meta-model transformation and the coevolution of models. I have already done some kind of a state of the art, and the next step in my research would be to collect some (...
0
votes
0answers
13 views

Parallel colouring to minimize collisions?

I have a graph in which there is a set of leader vertices $L$. There is no edge between any pair of leader vertices. Each leader vertex $u$ has a common set of colours $C$ and a set of neighbour ...
0
votes
0answers
14 views

Good citation/source for size of the internet

I am writing an introduction for a paper and want to cite something for a sentence such as "over the past thirty years, the internet has grown from hundreds of nodes to blah blah blah" (basically ...
2
votes
2answers
166 views

What goes into proving two complicated programs are equivalent?

Say I wanted to prove that two programs were equivalent (either rigorously if possible, or informally if not). More specifically, say I have something relatively complex such as an HTTP server ...
0
votes
0answers
16 views

Research papers related the Android OS's Adaptive Battery and Screen Brightness

I want to read the details of the Adaptive Battery Optimization and Adaptive Brightness techniques used in the Android operating systems as mentioned in this wired.co.uk article. I tried looking for ...
1
vote
0answers
28 views

Paging operations research people: how is the field evolving? [closed]

I asked this question to the OR community (https://or.stackexchange.com/questions/1498/how-is-the-field-of-operations-research-evolving) but, since there are quite a few CS people working in OR, I ...
0
votes
0answers
39 views

How to validate usability of software frameworks

My thesis will produce a software framework that can be used by programmers to solve problems in a paticular domain. One of the case studies I want to do to verify the contribution I'm making is to ...
1
vote
1answer
46 views

Question is about a paper “A Block-sorting Lossless Data Compression Algorithm” by M. Burrows and D.J. Wheeler

In the paper A Block-sorting Lossless Data Compression Algorithm by M. Burrows and D.J. Wheeler Link. On page number 5. please describe this line If the original string $S$ is of the form $Z^p$ for ...
1
vote
1answer
11 views

Help with understanding why we need an expectation in the loss

I am reading the paper SV2P - Stochastic Varaiational Video Prediction (https://arxiv.org/abs/1710.11252). In it the authors use the loss shown in the image: Why do we need expectation in the ...
2
votes
1answer
111 views

How is Pure Maths utilized in Computer Science research?

How can People with a background in Mathematics pursue PhD in Computer Science" Although I have a Postgraduate degree in Mathematics with basic programming knowledge,it sounded quite interesting how ...
0
votes
1answer
63 views

Did Date and Darwen's “Third Manifesto” have a lasting impact?

In 1995, two DB theory researchers, C.J. Date and H. Darwen, published a text with the rather impressive-sounding name "The Third Manifesto" with their ideas regarding future DBMSes, which would ...
1
vote
0answers
17 views

Great papers about actor model

I finally started working on my Master's thesis, and have a problem with literature sources. My thesis is about distributed system built on top of custom library implementing actor model. But I can't ...
2
votes
1answer
107 views

What are the recents topics of research that combine both systems research and theoretical computer science?

I am an undergraduate majoring in Computer Science and Mathematics. For my undergraduate research, I would like to work on something that lies in the overlap between systems research and theoretical ...
0
votes
1answer
148 views

Topics from theoretical computer science suitable for a bachelor (undergrate) thesis? [closed]

Is the field of theoretical computer science so complex, that it is just "too much" for a bachelor thesis? Unfortunately I haven't found any old thesises because the relevant chair of the university ...
0
votes
0answers
17 views

Presentation topic for computational solutions to problems involving probability

I'm looking for interesting applications of computing science for finding the probability of otherwise difficult problems. This is for an undergraduate level presentation in a probability course of ...
0
votes
0answers
37 views

Gradient Descent in MLPs using Computational Graphs

I'm working through Deep Learning by Goodfellow et al. The textbook introduces backpropagation for MLPs in page 203 (http://www.deeplearningbook.org/contents/mlp.html). However, it does not expand ...
3
votes
0answers
872 views

Is Chinese Checkers a solved game

Is there a machine or algorithm available to solve the board game "Chinese checkers"? If there is please let me know about relevant material. I have already searched over internet unfortunately i am ...
0
votes
0answers
89 views

Generating a Covering Array Matrix with Simulated Annealing

I've been reading the following paper to understand how I can develop a non deterministic algorithm for test cases generation https://www.researchgate.net/publication/293043297_A_two-...
2
votes
1answer
78 views

What problems are believed to have an efficient algorithm?

Just out of curiosity, What problems are believed to have an efficient algorithm, yet haven't been found such an algorithm for them? This question came up to my mind after reading about PRIMES ...
0
votes
0answers
49 views

Quantitatively speaking, what's the most popular area of computer science research?

Like this one, for example, but for computer science. Maybe some survey of that kind was conducted for CS as well?
1
vote
0answers
46 views

Algorithm that shifts points in the x-y plane to maximize distance but keep one axis constant

Suppose I am running an experiment with some subjects, and I obtain some numerical data from them. The subjects are divided into 2 experimental groups. Rather than display the means of each group in a ...
1
vote
1answer
74 views

Searching related works for papers [closed]

How do you search related works for your papers? To be concrete I have implemented few techniques of indirect call promotion for pure C and want to share my results. But at first I want to understand ...
1
vote
0answers
46 views

What Computer Science projects for undergrads are mostly in demand by European and American firms? [closed]

Computer Science has a broad spectrum of disciplines ranging from AI, Big Data, Cryptography to Human Computer Interaction and Bioinformatics. I would like to know what projects are ideal for ...
1
vote
1answer
76 views

I'm looking for a construct that is to semantic-analysis what NFA/DFA are to scanning and DPDA is to parsing

What maps to Semantic Analysis the way automata like Finite State Machines and Pushdown automatons map to Lexing and Parsing? A couple of years ago I came across a paper that presented such a ...
1
vote
1answer
8k views

differences between theoretical research and applied research

What would be the differences between these two branches of research? For what I know the theoretical research is the one that will not necessarily end up with an application part, but the applied ...
1
vote
0answers
77 views

Importance of Needham–Schroeder Protocol

I'm working on a paper about model checking on cryptographic protocols and many of the papers I have read, base their approaches in the Needham-Schroeder protocol. I undestand this was one of the ...
1
vote
0answers
29 views

Soft Question : Is there any website for weak negative results?

I have noticed that while doing research in computer science you come across many weak but negative results. Now, not every negative result deserves a paper of its own. So I was wondering, is there a ...
1
vote
0answers
42 views

Gradient Direction Equation: Color Value

I've been trying to implement this paper from Boris Epshtein, Eyal Ofek, and Yonatan Wexler, the pioneers of Stroke Width Transform . On computing the gradient direction, given the equation: theta = ...
1
vote
1answer
310 views

Stroke Width Transform: Gradient Direction Computation

I've been trying to implement this paper from Boris Epshtein, Eyal Ofek, and Yonatan Wexler, the pioneers of Stroke Width Transform . Having a simple image with random texts, that underwent gray ...
3
votes
1answer
330 views

Stroke Width Transform: Gradient Direction and Rays

I've been trying to implement this paper from Boris Epshtein, Eyal Ofek, and Yonatan Wexler, the pioneers of Stroke Width Transform . Having a simple image with random texts, that underwent gray ...
0
votes
0answers
40 views

Is there any recent research on $(2+p)$-SAT?

I've read a few papers (searched by Google Scholar) about $(2+p)$-SAT, but they're all quite old (2001 and earlier). Do newer publications exist? I'm looking for solvers, theorems and so on. I want to ...
2
votes
1answer
141 views

Classification of technologies used for communication in distributed systems

I am currently writing a State of Art about technologies used for distributed communication (like CORBA for example). I want to structure the document in way that I don't leave any subset of this ...
3
votes
1answer
634 views

HandyAR finger tip detection and tracking

I am reading this paper Handy AR. As suggested I am adding certain quotes from paper to get basic idea of what is it about : Intro In this paper, we present and evaluate a method to use a user’...
4
votes
4answers
779 views

Where can I read CS papers? [closed]

I am a self taught programmer, with no formal degree in CS. I have read couple of papers which were recommended on some or other blog and found them interesting. Where can I read papers on computer ...
0
votes
1answer
68 views

Is it possible to get information from websites as a human? [closed]

If I want to read any websites and get some information as names (or dates) on some part of the site as a human. What solution I could use in order to get these datas using deep learning or machine ...
0
votes
0answers
66 views

Keywords for the science articles search (parallel computing)

Often, similar ideas or works have vastly different namings or covers. This is a hassle for searching in distant fields, especially in a non-native language. Idea. We mathematically model (Petri ...
-1
votes
1answer
66 views

Is it okay to select the best performers of test cases for scientific publication in neural network machine learning [closed]

If I split my data properly into 75% train, 15% test, and 15% validation, and there are over 100,000 samples, is it appropriate for me to train 100s of neural networks then select only a couple based ...
2
votes
0answers
44 views

Are there any research papers rethinking browser architecture? [closed]

I am interested in any research that reviews the state of affairs when it comes to browsers today, be it their concurrency models, their performance, or anything relevant to such topics. Specifically, ...
0
votes
1answer
123 views

How does a language abstract away from underlying byte machines?

So as the title suggests, How does a programing language, such as Java or C, abstract itself away from underlying byte machines? Im curious, because I know that static/dynamic typing, data ...
1
vote
0answers
229 views

Knowledge Vault - Please explain the local closed world assumption

Background I'm currently reading a paper on the google knowledge vault here : http://www.cs.cmu.edu/~nlao/publication/2014.kdd.pdf. I'm having trouble with the Local Closed World Assumption (LCWA). ...
-1
votes
1answer
358 views

Are there any papers published proving how University Time Table Scheduling Problem is NP-Complete?

I have been researching on finding optimal solutions to generating University Time Table using Genetic Algorithm. I am searching for a Academic Paper, that properly defines the University Time Table ...
1
vote
1answer
711 views

The 50 value problems in TAoCP [closed]

This is just a question for fun and specifically for those who have read the reference pervasively. I have been reading the work of Knuth's The Art of Computer Programming and struggling and having a ...
1
vote
1answer
206 views

Why computer science papers rarely use advanced mathematics? [closed]

I am a M.Sc. student in computer science, working on information networks and recommender systems. This days when I went through the top-tier conferences papers in the field I have seen most of them ...
4
votes
0answers
61 views

“Programing in goals” as an alternative to defining APIs (from B. Victor's talk The Future of Programming )

In his talk The Future of Programming, in the third section of the talk about "programming using goals", Bret Victor says this: https://vimeo.com/71278954 [15:20] What won't work, what would ...
8
votes
2answers
118 views

Computer science fields that deal with peer-to-peer systems

I'm an undergraduate and am looking forward to becoming an academic; do the whole PhD stuff and start doing research. I'm interested in a variety of computer science related things but lately P2P ...