function begin_mini_page($nav = FALSE)
{
echo "<!DOCTYPE html>";
echo "<html lang=\"en\">";
print_head();
echo "<body>";
// print_scripts();
// print_iescriptblocks();
echo "<div class=\"nojs-display-none oldie-display-none\">";
if ($nav) {
print_navbar();
}
echo "<div class=\"container\">";
}
$type_text['netscaler_vsvr'] = "VServers";
$type_text['netscaler_services'] = "Services";
$page_title[] = "Load Balancer";
$navbar['brand'] = "Load Balancer";
$navbar['class'] = "navbar-narrow";
foreach ($loadbalancer_tabs as $type) {
if (!$vars['type']) {
$vars['type'] = $type;
}
if ($vars['type'] == $type) {
$navbar['options'][$type]['class'] = "active";
}
$navbar['options'][$type]['text'] = $type_text[$type] . " (" . $device_loadbalancer_count[$type] . ")";
$navbar['options'][$type]['url'] = generate_url($link_array, array('type' => $type));
}
print_navbar($navbar);
unset($navbar);
if (is_file("pages/device/loadbalancer/" . $vars['type'] . ".inc.php")) {
include "pages/device/loadbalancer/" . $vars['type'] . ".inc.php";
} else {
foreach ($loadbalancer_tabs as $type) {
if ($type != "overview") {
if (is_file("pages/device/loadbalancer/overview/{$type}.inc.php")) {
$g_i++;
if (!is_integer($g_i / 2)) {
$row_colour = $list_colour_a;
} else {
$row_colour = $list_colour_b;
}
echo '<div style="background-color: ' . $row_colour . ';">';
echo '<div style="padding:4px 0px 0px 8px;"><span class=graphhead>' . $type_text[$type] . '</span>';
//Xu Cao designed database schema and mysql queries
//Bohan Zhang designed user interface
//display information of every clip of one long video
$cwd[__FILE__] = __FILE__;
if (is_link($cwd[__FILE__])) {
$cwd[__FILE__] = readlink($cwd[__FILE__]);
}
$cwd[__FILE__] = dirname($cwd[__FILE__]);
require_once $cwd[__FILE__] . "/../citizen_science_grid/header.php";
require_once $cwd[__FILE__] . "/../citizen_science_grid/navbar.php";
require_once $cwd[__FILE__] . "/../citizen_science_grid/footer.php";
require_once $cwd[__FILE__] . "/../citizen_science_grid/my_query.php";
require_once $cwd[__FILE__] . "/../citizen_science_grid/csg_uotd.php";
$user = csg_get_user();
print_header("Writers Conference", "", "writers_conference");
print_navbar("Projects: Writers Conference", "Writers Conference", "..");
if ($user['id'] == 124821 or $user['id'] == 126547) {
$id1 = $_GET["id"];
//get information of all clips of one long video
$query = "select ID,name,userID1,userID2,status from video2 where ID1={$id1}";
$result = query_writers_db($query);
echo "<!DOCTYPE html>\r\n<html lang='en'>\r\n\r\n <head>\r\n <meta charset='UTF-8'>\r\n <meta http-equiv='X-UA-Compatible' content='IE=edge'>\r\n <meta name='viewport' content='width=device-width, initial-scale=1'>\r\n <link rel='stylesheet' href='css/bootstrap.min.css'>\r\n <link rel='stylesheet' href='css/styles.css'>\r\n <title>information</title>\r\n </head>";
echo "<body>\r\n\r\n <div class = 'row'>\r\n \t<div class = 'col-xs-8 col-xs-offset-2'> \r\n\r\n <h1>Video Information</h1>";
echo "<td><input type='button' onclick=\"window.location.href='information.php?id={$id1}'\" value='return'></td><br>";
echo "<table class='table table-striped'>";
echo "<tr>";
echo "<td> </td>";
echo "<td>Name</td>";
echo "<td>transcriber ID</td>";
echo "<td>reviewer ID</td>";
echo "<td>status</td></tr>";
<meta charset="utf-8">
<meta http-equiv="X-UA-Compatible" content="IE=edge">
<meta name="viewport" content="width=device-width, initial-scale=1">
<meta name="description" content="">
<meta name="author" content="">
<link rel="icon" href="./favicon.ico">
<title>MakeDieSS</title>
<link href="./css/bootstrap.min.css" rel="stylesheet">
<link href="./css/my.css" rel="stylesheet">
<link href="./css/my.css" rel="stylesheet">
</head>
<body>
<?php
print_navbar();
?>
<div class="container">
<!-- 内容 -->
<div class="row">
<div class="col-md-7">
<!-- 左侧内容 -->
<h2 id="labels" class="page-header">登录管理面板</h2>
<?php
if ($err_msg != '') {
echo "<div class='alert alert-danger' role='alert'>{$err_msg}</div>";
}
?>
<form class="form-horizontal" role="form" method="post">
<div class="form-group">
$navbar_b['options'][$type]['class'] = "active";
}
}
if ($vars['view'] == $option && $vars['graph'] == $type) {
$navbar['options'][$option]['suboptions'][$type]['class'] = "active";
}
$navbar['options'][$option]['suboptions'][$type]['text'] = $descr;
$navbar['options'][$option]['suboptions'][$type]['url'] = generate_url($link_array, array('view' => $option, 'graph' => $type));
}
}
$navbar['class'] = "navbar-narrow";
$navbar['brand'] = "Ports";
print_navbar($navbar);
unset($navbar);
if (is_array($navbar_b)) {
print_navbar($navbar_b);
}
if ($vars['view'] == 'minigraphs') {
$timeperiods = array('-1day', '-1week', '-1month', '-1year');
$from = '-1day';
echo "<div style='display: block; clear: both; margin: auto; min-height: 500px;'>";
unset($seperator);
// FIXME - FIX THIS. UGLY.
foreach (dbFetchRows("select * from ports WHERE device_id = ? ORDER BY ifIndex", array($device['device_id'])) as $port) {
echo "<div style='display: block; padding: 3px; margin: 3px; min-width: 183px; max-width:183px; min-height:90px; max-height:90px; text-align: center; float: left; background-color: #e9e9e9;'>\n <div style='font-weight: bold;'>" . makeshortif($port['ifDescr']) . "</div>\n <a href=\"" . generate_port_url($port) . "\" onmouseover=\"return overlib('\\\n <div style=\\'font-size: 16px; padding:5px; font-weight: bold; color: #e5e5e5;\\'>" . $device['hostname'] . " - " . $port['ifDescr'] . "</div>\\\n " . $port['ifAlias'] . " \\\n <img src=\\'graph.php?type=" . $graph_type . "&id=" . $port['port_id'] . "&from=" . $from . "&to=" . $config['time']['now'] . "&width=450&height=150\\'>\\\n ', CENTER, LEFT, FGCOLOR, '#e5e5e5', BGCOLOR, '#e5e5e5', WIDTH, 400, HEIGHT, 150);\" onmouseout=\"return nd();\" >" . "<img src='graph.php?type=" . $graph_type . "&id=" . $port['port_id'] . "&from=" . $from . "&to=" . $config['time']['now'] . "&width=180&height=45&legend=no'>\n </a>\n <div style='font-size: 9px;'>" . truncate(short_port_descr($port['ifAlias']), 32, '') . "</div>\n </div>";
}
echo "</div>";
} elseif ($vars['view'] == "arp" || $vars['view'] == "adsl" || $vars['view'] == "neighbours" || $vars['view'] == "fdb" || $vars['view'] == "map") {
include "ports/" . $vars['view'] . ".inc.php";
} else {
if ($vars['view'] == "details") {
<?php
$cwd[__FILE__] = __FILE__;
if (is_link($cwd[__FILE__])) {
$cwd[__FILE__] = readlink($cwd[__FILE__]);
}
$cwd[__FILE__] = dirname($cwd[__FILE__]);
require_once $cwd[__FILE__] . "/../../citizen_science_grid/header.php";
require_once $cwd[__FILE__] . "/../../citizen_science_grid/navbar.php";
require_once $cwd[__FILE__] . "/../../citizen_science_grid/news.php";
require_once $cwd[__FILE__] . "/../../citizen_science_grid/footer.php";
require_once $cwd[__FILE__] . "/../../citizen_science_grid/my_query.php";
require_once $cwd[__FILE__] . "/../../citizen_science_grid/csg_uotd.php";
print_header("SubsetSum@Home", "", "subset_sum");
print_navbar("Projects: SubsetSum@Home", "SubsetSum@Home", "..");
echo "\n <div class='container'>\n <div class='row'>\n <div class='col-sm-12'>\n";
$carousel_info['items'][] = array('image' => './images/spiral_resized.png', 'active' => 'true', 'text' => "<h4>The Subset Sum Problem</h4><p>The Subset Sum problem is described as follows: given a set of positive integers <tt>S</tt> and a target sum <tt>t</tt>, is there a subset of <tt>S</tt> whose sum is <tt>t</tt>? It is one of the well-known, so-called \"hard\" problems in computing. It's actually a very simple problem, and the computer program to solve it is not extremely complicated. What's hard about it is the running time – all known exact algorithms have running time that is proportional to an exponential function of the number of elements in the set (for worst-case instances of the problem).</p>");
$carousel_info['items'][] = array('image' => './images/spiral_resized.png', 'text' => "<h4>SubsetSum@Home Goals</h4><p>Over the years, a large number of combinatorial problems have been shown to be in the same class as Subset Sum (called NP-complete problems). But, depending on how you measure the size of the problem instance, there is evidence that Subset Sum is actually an easier problem that most of the others in its class. The goal of this project is to strengthen the evidence that Subset Sum is an easier hard problem.</p>");
$carousel_info['items'][] = array('image' => './images/spiral_resized.png', 'text' => "<h4>The Conjecture</h4><p>Suppose we have a set of n positive whole numbers <tt>S</tt> whose maximum number is <tt>m</tt>. We define the ratio <tt>n/m</tt> to be the density of the set and denote the sum of all elements in the set as <tt>∑S</tt>. If you look at the sums produced by subsets of <tt>S</tt>, you notice that very few are missing if <tt>S</tt> is dense enough. In fact, it appears that there is an exact density threshold beyond which no sums between <tt>m</tt> and half the sum of <tt>S</tt> will be missing. Our preliminary experiments have led to the following hypothesis: A set of positive integers with maximum element m and size <tt>n > floor(m/2)+1</tt> has a subset with sum is <tt>t</tt> for every <tt>t</tt> in the range <tt>m < t < ∑S − m</tt>.</p>");
$carousel_info['items'][] = array('image' => './images/spiral_resized.png', 'text' => "<h4>Help the Project</h4><p>So here's where you can help. So far, we haven't been able to prove the hypothesis above. If you want to be really helpful, you can send us a proof (or show us where to find one in the research literature), and the project will be done. But if you want to be slightly less helpful and have more fun, you can volunteer your computer as a worker to see how far we can extend the empirical evidence. You will also be helping us figure out better ways to apply distributed computing to combinatorial problems.</p>");
$projects_template = file_get_contents($cwd[__FILE__] . "/../../citizen_science_grid/templates/carousel.html");
$m = new Mustache_Engine();
echo $m->render($projects_template, $carousel_info);
echo "\n <div class='btn-group btn-group-justified' style='margin-top:20px;'>\n <a class='btn btn-primary' role='button' href='../instructions.php'><h4>Volunteer Your Computer</h4></a>\n </div>\n\n </div> <!-- col-sm-12 -->\n </div> <!-- row -->\n\n <div class='row'>\n <div class='col-sm-6'>";
show_uotd(2, 10, "style='margin-top:20px;'");
csg_show_news($project_name = "subset_sum", $limit = 10);
echo "\n </div> <!-- col-sm-6 -->\n\n <div class='col-sm-6'>";
include $cwd[__FILE__] . "/templates/subset_sum_info.html";
echo "\n </div> <!-- col-sm-6 -->\n </div> <!-- row -->\n </div> <!-- /container -->";
print_footer('Travis Desell and the SubsetSum@Home Team', 'Travis Desell, Tom O\'Neil');
echo "</body></html>";
