"Computer Science is no more about computers than astronomy is about telescopes (Edsger Dijkstra)".
Seeking summer 2019 internship in the tech industry!
A third-year Computer Science student of the University of Virginia School of Engineering and Applied Sciences (2016 - 2020) majoring in Computer Science. Primary interests in computer science: web development (front-end web design, full-stack web application), machine learning (natural language processing). Strong background in Natural Language Processing, project & work experience in web development in the FinTech industry.
What I learned from past project and work experiences:
Ever since I was little, I was always fascinated by the idea of "worlds beyond our own". Primary interest in Astronomical research: Planetary Science / exoplanet observing techniques. Research experience in high-altitude balloon-based telescopes.
I am a driven twenty-year-old student of the University of Virginia grown up in Guangzhou, China.
Having always fascinated by the immense possibitliy space offers and the prospect of a multi-panetary civilization, I chose to study Astronomy and Computer Engineering (later Computer Science) at the University of Virginia, the first American University that offered bachelor's degrees in Astronomy in Charlottesville, Central Virginia.
Concurrent to my rapidly broadening knowledge and passion for my fields of studies was an abrupt transformation of mind. Experiencing the drastic cultural shift from China to the U.S. at the age of 17, I suddenly became afraid of being “just” one of the many Asian students residing in the United States, who, for conceivable reasons, have yet to escaped from largely negative media portrayal and the seemingly harmless classification of "model minority".
Struggling to find myself a true identity, I picked up an Asian American history class, spent some sleepless nights in Kellogg, and, at some point, decided to try road cycling. Don’t get me wrong-I was never considered an athlete under any circumstances or someone with exceptional physical capabilities. Nor does my family have a strong background in any sport or traditions to support a athletic son. While I had fallen in love with bikes at a very young age, my scope of riding was limited to just middle school commuting, some long-distance weekend rides, and one local teenager mountain bike race.
Nevertheless, road cycling has became a somewhat central part to how I now perceive myself. The unique cycling scene in Charlottesville and broader Atlantic region has helped elevate me from an absolute road newbie to a somewhat ambitious cyclist. After some great but brief time racing in the ACCC (Atlantic Collegiate Cycling Conference) and constant friend-making, I became determined to pursue higher categories in this sport, and move up the ladder as much as possible.
Some may question my motive: after all, I might never attempt to claim to be specially talented in this sport and reach the professional rank - so why bother spending so much time and resources? To a certain degree, these doubts are true. But perhaps more importantly, entering the sport was where I learned the benefits of persistence, self-discipline and openmindedness. Through pedaling, I have gained the ability to be dedicated to one thing and defy some of my deepest concerns and fears. To this end, my cycling career has helped me a lot, and I’ll be more than happy to just keep it happening.
It is now an era of rapid digitization and cybernetic technology. Usually I would think of the Internet as a physical place like the wild west, and this site being my house - so here it is! I decided to acquire this URL of my name and birth and put together this site along with a custom CMS, haotian9850.com
from scratch with HTML, CSS, some PHP and JavaScript. Yes, this site is still using the LAMP stack (something you propably don't see that often on today's Internet, lol)! I have a future plan to refactor this site's CMS with MEAN (or MERN?), so check back often!
Wanna follow me on Strava? Follow me on Strava!
This is a test article
A brief look on how to use Stanford CoreNLP server to perform simple NLP operations with Python's NLTK package
While attending a 3-month internship in San Jose, California, I attempted the prestigious Mt. Hamilton climb 8 times.
USAC Men's Cat 4 race recap of Charlottesville's annual Jefferson Cup road race
ACCC Men's C race recap of the 13th William and Mary Tidewater Classic road race
Do you like history, or alternate history? Click below to learn about one of my favorite show, The Man in the High Castle and watch it on Amazon!
It seems Game of Thrones and Stranger Things are taking over every screen these days, but underdogs like The Expanse are still entralling hardcore sci-fi lovers. Click below to watch an introductory video on The Expanse!


fun getFeeForAddPublicAddress(fioAddress: String): GetFeeResponse
Compute and return fee amount for mapping a fio address to a block chain public address
fioAddress
- The FIO Address which will be mapped to public address.
Return
GetFeeResponse


{% extends "base.html" %} {% block content %}
Server time: {{ curr_time }}
Click here to login.
Click here to view recent submissions.
{{ num_problems }} problems.
{{ num_submissions }} submissions.


Subject Update on Dylan, IRC
From Dilyn Corner
Date Wed, 19 May 2021 17:27:00 -0500
Two small updates to share with you all here!
Bottom line up front:
1) Dylan is okay!
2) We have moved from Freenode to Libera.Chat
Details:
Previous attempts at divining Dylan's location or ways of contacting him were,
as previously discussed, discarded. We wished him the best, and left it at that.
However! Someone (not Dylan) recently reached out to me with some news. They
contacted who we assume to be Dylan's mum and kindly inquired as to how he was
doing. She appreciated the concern for his wellbeing, and was able to confirm
one of our suspicions: the mad lad was simply experiencing burn out. It's to be
expected, given how hard he had been working for the last 18+ months! He was,
after all, the sixth most active person on Github for a time - and is still in
the top thirty [1].
We don't know if or when he'll return to this little project, but I think I
speak for everyone when I say that we're glad to hear he's doing good and taking
care of himself :)
For those of you not in-the-know, there has been a fair bit of drama in the land
of IRC! Freenode is basically synonymous with IRC for many of us, but there has
been a massive shakeup for the last long-while, ultimately culminating in the
upheaval which occurred today! You can read a lot more details here [2] and I do
not plan on rehashing a lot of it. Many projects have moved to alternatives
already, from the tiniest communities to the far larger organizations. KISS is
following suit. We are migrating to where many other people are going:
#kisslinux @ libera.chat. The #kisslinux channel on Freenode will be around for
who knows how long, though it is now set to invite-only. Make your way over to
libera.chat at your leisure. For those who can't access Libera for whatever
reason (a Matrix bridge is in the works apparently, and they are still
experiencing expected stability issues), the mailing lists are still available
for people who prefer not to deal with IRC at any level :) We don't currently
have a logbot in the channel, though one will probably makes it appearance soon
(tomorrow, mayhaps).
That's all I had for you fine folx. Until next time!
---
Dilyn
[1] https://commits.top/worldwide.html
[2] http://kline.sh/
________________________________________________________________________________
Dylan Araps (C) 2019-2020
kiss-community (C) 2020-2021
Dilyn Corner (C) 2021
Linux(R) is the registered trademark of Linus Torvalds in the U.S. and
other countries.


Note that the current compiler version in trunk
repository is a very hot software with support for .NET 2.0
generics.
Running the testsuite with this version requires lots of memory.
1GiB of phisical memory is recommended. We will try to sort this
out before the next release.
You can now use the released version of .NET 2.0 with Nemerle.
You need runtime and optionally SDK. Installing SDK is a good idea if you
want Framework documentation and development tools. It is a must if you're
going to compile from sources.
Because of a MS. NET Bug
we cannot correctly emit IL for the following code:
interface IMap ['a] {
Remove (x : 'a) : IMap ['a];
}
class Map ['a] : IMap ['a]
{
// note that this method returns a subtype of IMap['a]
public Remove (x : 'a) : Map ['a] {
...
}
}
You can still use Mono to generate code. It will run fine on MS .NET.
Mono 1.1.9 or SVN trunk.
You can check if you already have both of them installed in Add/Remove Software in Control Panel.
A reasonably new version of Mono.
|


The slight alteration in the spelling of Sarai’s name to Sarah changed the meaning from “Little Princess” to an actual royal title. Sarah means “A True Princess,” one who will be the mother of kings and princes.
Genesis 17:15-16
Hearing their new names spoken by God must have been an awesome moment, one where God painted a clear picture of the future He had in mind for them. That little letter revealed a God who wanted to dwell in their hearts, making His presence as accessible as their next breath, as well as the new life awaiting them—a life that was fruitful and reproductive, infused with hope for a family they had dreamed of and a God who would surround and bless them.
Mark the significance of this simple yet profound name change for Abraham and Sarah. Record the meaning of each name in the chart below.
|
Old Name |
Meaning |
New Name |
Meaning |
|
Abram |
Abraham |
||
|
Sarai |
Sarah |
How do you think these name changes might have affected Abraham and Sarah?
Too often we underestimate the value of small changes God makes in our lives. What looks like one little letter to us meant the world to Abraham and Sarah. Dramatic testimonies are inspiring, but if we miss the small changes God is making, we will miss the big picture He’s painting for a big future.
“God works powerfully, but for the most part gently and
gradually.”
—John Newton, writer of the lyrics to “Amazing Grace”
When I think about the changes God wants to make in our lives, I think of Nicodemus. I’ve always been fascinated by the story of Nicodemus, a man who had to sneak around to meet with Jesus in the middle of the night. He brings to mind what my parents would tell me when they reminded me of my curfew as


Translation units are on the way...
Failed to load translation units in file: {{ selectedXliffFile }}
For more details, please visit the following location(s):
{{ ctx.sourceFile }}#L:{{ ctx.lineNumber }}
{{ msg }}


|
eccodes
|
Data Structures | |
| struct | codes_index |
Functions | |
| codes_index * | codes_index_new_from_file (codes_context *c, char *filename, const char *keys, int *err) |
| Create a new index form a file. More... | |
| codes_index * | codes_index_new (codes_context *c, const char *keys, int *err) |
| Create a new index based on a set of keys. More... | |
| int | codes_index_add_file (grib_index *index, const char *filename) |
| Indexes the file given in argument in the index given in argument. More... | |
| int | codes_index_get_size (codes_index *index, const char *key, size_t *size) |
| Get the number of distinct values of the key in argument contained in the index. More... | |
| int | codes_index_get_long (codes_index *index, const char *key, long *values, size_t *size) |
| Get the distinct values of the key in argument contained in the index. More... | |
| int | codes_index_get_double (codes_index *index, const char *key, double *values, size_t *size) |
| Get the distinct values of the key in argument contained in the index. More... | |
| int | codes_index_get_string (codes_index *index, const char *key, char **values, size_t *size) |
| Get the distinct values of the key in argument contained in the index. More... | |
| int | codes_index_select_long (codes_index *index, const char *key, long value) |
| Select the message subset with key==value. More... | |
| int | codes_index_select_double (codes_index *index, const char *key, double value) |
| Select the message subset with key==value. More... | |
| int | codes_index_select_string (codes_index *index, const char *key, char *value) |
| Select the message subset with key==value. More... | |
| codes_handle * | codes_handle_new_from_index (codes_index *index, int *err) |
| Create a new handle from an index after having selected the key values. More... | |
| void | codes_index_delete (codes_index *index) |
| Delete the index. More... | |
The codes_index is the structure giving indexed access to messages in a file.
| codes_handle* codes_handle_new_from_index | ( | codes_index * | index, |
| int * | err | ||
| ) |
Create a new handle from an index after having selected the key values.
All the keys belonging to the index must be selected before calling this function. Successive calls to this function will return all the handles compatible with the constraints defined selecting the values of the index keys. When no more handles are available from the index a NULL pointer is returned and the err variable is set to CODES_END_OF_INDEX.
| index | : an index created from a file. |
| err | : 0 if OK, integer value on error. CODES_END_OF_INDEX when no more handles are contained in the index. |
| int codes_index_add_file | ( | grib_index * | index, |
| const char * | filename | ||
| ) |
Indexes the file given in argument in the index given in argument.
| index | : index |
| filename | : name of the file of messages to be indexed |
| void codes_index_delete | ( | codes_index * | index | ) |
Delete the index.
| index | : index to be deleted. |
| int codes_index_get_double | ( | codes_index * | index, |
| const char * | key, | ||
| double * | values, | ||
| size_t * | size | ||
| ) |
Get the distinct values of the key in argument contained in the index.
The key must belong to the index. This function is used when the type of the key was explicitly defined as double or when the native type of the key is double.
| index | : an index created from a file. The index must have been created with the key in argument. |
| key | : key for which the values are returned |
| values | : array of values. The array must be allocated before entering this function and its size must be enough to contain all the values. |
| size | : size of the values array |
| int codes_index_get_long | ( | codes_index * | index, |
| const char * | key, | ||
| long * | values, | ||
| size_t * | size | ||
| ) |
Get the distinct values of the key in argument contained in the index.
The key must belong to the index. This function is used when the type of the key was explicitly defined as long or when the native type of the key is long.
| index | : an index created from a file. The index must have been created with the key in argument. |
| key | : key for which the values are returned |
| values | : array of values. The array must be allocated before entering this function and its size must be enough to contain all the values. |
| size | : size of the values array |
| int codes_index_get_size | ( | codes_index * | index, |
| const char * | key, | ||
| size_t * | size | ||
| ) |
Get the number of distinct values of the key in argument contained in the index.
The key must belong to the index.
| index | : an index created from a file. The index must have been created with the key in argument. |
| key | : key for which the number of values is computed |
| size | : number of distinct values of the key in the index |
| int codes_index_get_string | ( | codes_index * | index, |
| const char * | key, | ||
| char ** | values, | ||
| size_t * | size | ||
| ) |
Get the distinct values of the key in argument contained in the index.
The key must belong to the index. This function is used when the type of the key was explicitly defined as string or when the native type of the key is string.
| index | : an index created from a file. The index must have been created with the key in argument. |
| key | : key for which the values are returned |
| values | : array of values. The array must be allocated before entering this function and its size must be enough to contain all the values. |
| size | : size of the values array |
| codes_index* codes_index_new | ( | codes_context * | c, |
| const char * | keys, | ||
| int * | err | ||
| ) |
Create a new index based on a set of keys.
| c | : context (NULL for default context) |
| keys | : comma separated list of keys for the index. The type of the key can be explicitly declared appending :l for long, (or alternatively :i) :d for double, :s for string to the key name. If the type is not declared explicitly, the native type is assumed. |
| err | : 0 if OK, integer value on error |
| codes_index* codes_index_new_from_file | ( | codes_context * | c, |
| char * | filename, | ||
| const char * | keys, | ||
| int * | err | ||
| ) |
Create a new index form a file.
The file is indexed with the keys in argument.
| c | : context (NULL for default context) |
| filename | : name of the file of messages to be indexed |
| keys | : comma separated list of keys for the index. The type of the key can be explicitly declared appending :l for long, (or alternatively :i) :d for double, :s for string to the key name. If the type is not declared explicitly, the native type is assumed. |
| err | : 0 if OK, integer value on error |
| int codes_index_select_double | ( | codes_index * | index, |
| const char * | key, | ||
| double | value | ||
| ) |
Select the message subset with key==value.
The value is a double. The key must have been created with double type or have double as native type if the type was not explicitly defined in the index creation.
| index | : an index created from a file. The index must have been created with the key in argument. |
| key | : key to be selected |
| value | : value of the key to select |
| int codes_index_select_long | ( | codes_index * | index, |
| const char * | key, | ||
| long | value | ||
| ) |
Select the message subset with key==value.
The value is a long. The key must have been created with long type or have long as native type if the type was not explicitly defined in the index creation.
| index | : an index created from a file. The index must have been created with the key in argument. |
| key | : key to be selected |
| value | : value of the key to select |
| int codes_index_select_string | ( | codes_index * | index, |
| const char * | key, | ||
| char * | value | ||
| ) |
Select the message subset with key==value.
The value is a string. The key must have been created with string type or have string as native type if the type was not explicitly defined in the index creation.
| index | : an index created from a file. The index must have been created with the key in argument. |
| key | : key to be selected |
| value | : value of the key to select |


Sunrisesunset
See dynamic graphs of sunrise and sunset for all locations worldwide in real-time.
Select your location
Find Location:
Marker Coordinates:
,
Clear Coordinates


My research interests are in algebraic geometry. Below is a description of some of my projects.
Right now I am thinking about a mirror symmetry theorem for non-abelian Landua-Ginzburg model. Look for a preprint soon!
I’m also working on a project involving BHK mirror symmetry for K3 surfaces. See for example, this.
While at ETH, I collaborated on the following papers:
Rationality of descendent series for Hilbert and Quot schemes of surfaces
The virtual K-theory of Quot schemes of surfaces
My most recent paper, joint with Alexander Polishchuk is Birational models of M_2,2 arising as moduli of curves with nonspecial divisors. Our paper will appear in Advances in Geometry. We give geometric characterizations of the stable curves for various stability conditions, and then use the explicit coordinates to show that one of the moduli spaces is the blow down of the Weierstrass divisor.
This work is concerned with a conjecture of Le Potier about a “strange duality” for sections of theta bundles on moduli spaces of sheaves on surfaces. We considered the case of del Dezzo surfaces. Our result (joint with Aaron Bertram and Thomas Goller) provides supporting evidence for this conjecture by performing two very different computations: a computation of sections of the theta bundles on Hilbert schemes (via a theorem of Ellingsrud, Goettsche, and Lehn) and a multiple point computation (from a algorithm suggested by Marengell and Rimanyi). Surprisingly, these two computations match!
Our paper is on the arXiv: Le Potier’s strange duality, quot schemes, and multiple point formulas for del Pezzo surfaces.
My thesis contains some things not in the paper, such as a the full output of our computations, but the paper above should be preferred for most purposes.
My more recent paper Universal Series for Hilbert Schemes and Strange Duality explains how the “finite quot scheme method” of strange duality for surfaces (used in our paper above) leads to conjectures connecting certain universal generating series. Parts of my conjecture have now been proved. See here and here.
A related project involves studying strange duality at the level of SL(3) representations induced by the action on the projective plane.
I spent some time thinking about tropical geometry, where replacing multiplication and addition with addition and minimum produces a world where the combinatorial shadows of classical algebraic geometry can be seen. My paper is about understanding the conditions under which a tropical hypersurface is uniquely determined by incidence conditions. Determining Tropical Hypersurfaces.
For my master’s thesis, I proved a result about a mirror symmetry conjecture involving an isomorphism between Frobenius algebras obtained from FJRW theory and an orbifold Milnor ring. My thesis is here, and a small generalization was added and published in String-Math 2011 as Landau-Ginzburg Mirror Symmetry for Orbifolded Frobenius Algebras.
Also, as part of my work, I wrote code in Sage to compute FJRW invariants. I also wrote some code, inspired by Faber’s Maple program, that computed top intersections on the moduli space of curves. Recently, I wrote some more code that calculates any product on the moduli space. Both of these projects are now distributed on PyPI for easy installation!
As an undergraduate in the IMPACT group, I experimented with various algorithms for analyzing gas chromotography/mass spectrometry data. My write up can be found here. I learned MATLAB while working on this.
My first undergraduate research experience was with Gary Lawlor at BYU, where we investigated a new technique for proving the minimality of certain soap films. My result about the bubble-in-a-tetrahedron (pictured below) was eventually simplified, generalized, and published as Isoperimetric surfaces with boundary, but I have included my first attempt at writing a mathematical paper here because I think the explicit computations are interesting.


Occupancy: {{door.roomId.occupancy}} Capacity: {{door.roomId.capacity}} Filled: {{progress}}%
Oops! There was an error retrieving information for this door.


IPT Webstore Demo shows how to build a single page appplication using Angular 2 and Angular Router, HTTP Client, Forms, etc. modules. It is written completely in TypeScript and utilizes reactive event processsing using RxJS client side library. Styling is done using Angular Material and Material Flexbox. Application demonstrates following functionality:


This is a Hobby Project yet not completed. This project aims to provide a management utility to Authorisation and Authentication for Kubernetes from a simple UI
Read bit about RBAC On Medium
Status of Project. Currently, it can Authentication via web. you can see password hard coded in project ;-) It can connect to Kubernetes via kubernetes client.go library
It can do all (Create, Read, Update, and Delete) on Kubernetes Authentication and Authorization part which are.
NOTE:- I am not(yet) a GO or HTML/CSS Developer the code is written by me as an amateur code so it will be buggy and not fully tested. only try in minikube. You can browse code and if like idea provides star for encouragement or provide feedback to me one below social networks.
Twitter https://twitter.com/yogeshkunjir LinkedIn https://www.linkedin.com/in/yogeshkunjir/


Adverse drug reaction
Search here
Submit
The output is:
Developed by
Surya Gokul,
Ritika gupta,
Gaby Srivastava,
Gayathri Devi,
Pushyami Keerthi,
Sayyed Nizamuddin Kaleem,
Sunanda Mahanta,
Simran Srivastava,
Mohit Keshwani,
Surya Bhoite,
Biswajit Kumar Singh,
Meet Patel,
Akshat
Drug addiction doesn't last forever.


Minority report
Or why you should always google it first!
Created by AST, NNA and NSE (with the priceless help of the Internet)
Leap Motion
Some technical details
- 2 infrared cameras
- 3 infrared LEDs
- cameras generate almost 300 frames per second of reflected data
SDK architecture
How to use it in the browser


Progressive Webapps
1. Initial Webapp
2. Webapp with Manifest
3. Webapp with Service Worker and Cache
4. Webapp with Offline Capability
5. Webapp with Notification


Issue 3296: Form's action doesn't change and it isn't shown in HTML panel
Steps to reproduce
- Open Firebug
- Switch to the HTML panel
- Inspect the text field above (
#formField
)
- Reload the page
Expected result
issue3296.html
should be displayed as value for the action
attribute of the <form>
tag.


Syntax:
tagbody {tag | statement}* => nil
Arguments and Values:
tag---a go tag; not evaluated.
statement---a compound form; evaluated as described below.
Description:
Executes zero or more statements in a lexical environment that provides for control transfers to labels indicated by the tags.
The statements in a tagbody are evaluated in order from left to right, and their values are discarded. If at any time there are no remaining statements, tagbody returns nil. However, if (go tag) is evaluated, control jumps to the part of the body labeled with the tag. (Tags are compared with eql.)
A tag established by tagbody has lexical scope and has dynamic extent. Once tagbody has been exited, it is no longer valid to go to a tag in its body. It is permissible for go to jump to a tagbody that is not the innermost tagbody containing that go; the tags established by a tagbody only shadow other tags of like name.
The determination of which elements of the body are tags and which are statements is made prior to any macro expansion of that element. If a statement is a macro form and its macro expansion is an atom, that atom is treated as a statement, not a tag.
Examples:
(let (val) (tagbody (setq val 1) (go point-a) (incf val 16) point-c (incf val 04) (go point-b) (incf val 32) point-a (incf val 02) (go point-c) (incf val 64) point-b (incf val 08)) val) => 15 (defun f1 (flag) (let ((n 1)) (tagbody (setq n (f2 flag #'(lambda () (go out)))) out (prin1 n)))) => F1 (defun f2 (flag escape) (if flag (funcall escape) 2)) => F2 (f1 nil) >> 2 => NIL (f1 t) >> 1 => NIL
Affected By: None.
Exceptional Situations: None.
See Also:
Notes:
The macros in the next figure have implicit tagbodies.
do do-external-symbols dotimes do* do-symbols prog do-all-symbols dolist prog*
Figure 5-10. Macros that have implicit tagbodies.


About
Portfolio
Contact
Ry Hull
Portfolio
Connected Politics
1UP VideoGame Database
Burgerama Express App
Github Repository


{% block html_attr %} {% endblock %} {% block html_head %}
{% for item in gt.layout.footer_ext_links %} {% endfor %}
Powered by {{ gt.layout.powerby_name }}. Copyright © 2016. [{{ gt.layout.manage_name }}]
{{ gt.layout.rights_name }}. All rights reserved.


gnmanalyse
Analyses networks
Synopsis
gnmanalyse [--help][-q][-quiet][--long-usage]
[dijkstra <start_gfid> <end_gfid> [[-alo NAME=VALUE] ...]]]
[kpaths <start_gfid> <end_gfid> <k> [[-alo NAME=VALUE] ...]]]
[resource [[-alo NAME=VALUE] ...]]]
[-ds <ds_name>][-f <ds_format>][-l <layer_name>]
[[-dsco NAME=VALUE] ...][-lco NAME=VALUE]
<gnm_name>
Description
The gnmanalyse program provides analysing capabilities of geographical networks in GDAL. The results of calculations are return in an OGRLayer format or as a console text output if such layer is undefined. All calculations are made considering the blocking state of features.
- dijkstra <start_gfid> <end_gfid>
Calculates the best path between two points using Dijkstra algorithm from start_gfid point to end_gfid point.
- kpaths <start_gfid> <end_gfid>
Calculates K shortest paths between two points using Yen's algorithm (which internally uses Dijkstra algorithm for single path calculating) from start_gfid point to end_gfid point.
- resource
Calculates the "resource distribution". The connected components search is performed using breadth-first search and starting from that features which are marked by rules as 'EMITTERS'.
- -d <ds_name>
The name and path of the dataset to save the layer with resulting paths. Not need to be existed dataset.
- -f <ds_format>
Define this to set the format of newly created dataset.
- -l <layer_name>
The name of the resulting layer. If the layer exist already - it will be rewritten.
- <gnm_name>
The network to work with (path and name).
- -dsco NAME=VALUE
Dataset creation option (format specific)
- -lco NAME=VALUE
Layer creation option (format specific)
- -alo NAME=VALUE
Algorithm option (format specific)


Open Source Smartphone Libraries for Computational Social Science.
N. Lathia, K. Rachuri, C. Mascolo, G. Roussos.
In 2nd ACM Workshop on Mobile Systems for Computational Social Science. Zurich, Switzerland. September 8, 2013.
Contextual Dissonance: Design Bias in Sensor-Based Experience Sampling Methods.
N. Lathia, K. Rachuri, C. Mascolo, P. Rentfrow.
In ACM International Joint Conference on Pervasive and Ubiquitous Computing. Zurich, Switzerland. September, 2013.
InterruptMe: Designing Intelligent Prompting Mechanisms for Pervasive Applications.
V. Pejovic, M. Musolesi.
In ACM International Joint Conference on Pervasive and Ubiquitous Computing. Seattle, WA, USA. September 2014.
SenSocial: A Middleware for Integrating Online Social Networks and Mobile Sensing Data Streams.
A. Mehrota, V. Pejovic, M. Musolesi.
In Proceedings of the 15th ACM/IFIP/USENIX International Middleware Conference. Bordeaux, France. December 2014.
Emotion Sense. Emotion Sense is an Android application developed by researchers at the University of Cambridge that lets you explore how your mood relates to the data that your smartphone can invisibly capture as you carry it throughout the day.
Easy M. Easy M is an application for researchers to conduct experience sampling studies that collect smartphone sensor data.
Q Sense. Q Sense is a smartphone app being developed by researchers at the University of Cambridge for people who want to quit smoking. It works by learning about your high-risk locations and situations before you quit, so that it can send situation-specific personalised support once you begin your quit attempt.


Next: summary buffer, Previous: inspect buffer, Up: extra buffers [Index]
(version: development)
The context buffer for Cedille allows the user to see the local variables in scope for the currently selected node. To display the context buffer, select a node and press C
; this will open the context buffer and jump to it. If you just want to open the context buffer (but not jump to it), press c
instead.
The context buffer has several built-in features to organize data:
a/z
Sort all entries alphabetically from a-z/z-a
d/u
Sort all entries according to binding position in parse tree (descending/ascending)
e
Filter out entries that do not have an ’≃’ symbol
E
Filter out entries that are not literal statements of β-equality
f
Clear current filter so all entries are shown
s
Toggle display of shadowed variables
w
Hide or unhide type or kind of line currently under cursor
W
Unhide all types and kinds hidden with ’w’
c/C
Close the context mode window
h
Open information page for context mode
(version: development)
M-c
Copy the contents of the current buffer to the scratch buffer
+
Increase the size of the buffer by one line
-
Decrease the size of the buffer by one line
=
Reset the buffer’s size
f
Moves to the next defined variable in the buffer
b
Moves to the previous defined variable in the buffer
a
Moves to the first defined variable in the buffer
e
Moves to the last defined variable in the buffer
j
Jumps to the definition of the selected variable
Next: summary buffer, Previous: inspect buffer, Up: extra buffers [Index]


--- layout: api title: "v2.1.6 JavaScript Library: L.mapbox.gridLayer(id|url|tilejson, options)" categories: api version: v2.1.6 permalink: /api/v2.1.6/l-mapbox-gridlayer/ ---
An L.mapbox.gridLayer
loads UTFGrid tiles of
interactivity into your map, which you can easily access with L.mapbox.gridControl
.
| Options | Value | Description |
|---|---|---|
| id or url or tilejson (required) | string if id or url object if tilejson |
|
| options | Object | The second argument is optional. If provided, it may include:
|
Example:
// the second argument is optional
var layer = L.mapbox.gridLayer('examples.map-20v6611k');
Returns a L.mapbox.gridLayer
object.
Class: L.mapbox.GridLayer
Bind an event handler to a given event on this L.mapbox.gridLayer
instance.
GridLayers expose a number of useful events that give you access to UTFGrid
data as the user interacts with the map.
| Options | Value | Description |
|---|---|---|
| event (required) | string | the event name |
| handler (required) | function | a callback function run every time that the event is fired |
| context (optional) | object | the context of the handler function: this is the value of this when that function returns |
After binding an event with .on
, you can unbind it with .off
, with the
same argument structure.
The default events are:
click
: mouse has clicked while on a feature in UTFGrid. Event has { latLng: location, data: featureData }
as its data.mouseover
: mouse has moved onto a new feature in UTFGrid. Event has { latLng: location, data: featureData }
as its data.mousemove
: mouse has moved within a feature in UTFGrid. Event has { latLng: location, data: featureData }
as its data.mouseout
: mouse has moved from a feature to an area without any features. Event has { latLng: location, data: featureData }
as its data, in which featureData
is the feature data the mouse was previously on.Example:
map.gridLayer.on('click', function(e) {
if (e.data && e.data.url) {
window.open(e.data.url);
}
});
Returns this layer's TileJSON object which determines its tile source, zoom bounds and other metadata.
Example:
var layer = L.mapbox.gridLayer('examples.map-20v6611k')
// since layers load asynchronously through AJAX, use the
// `.on` function to listen for them to be loaded before
// calling `getTileJSON()`
.on('ready', function() {
// get TileJSON data from the loaded layer
var TileJSON = layer.getTileJSON();
});
Returns: the TileJSON object
Load data for a given latitude, longitude point on the map, and call the callback function with that data, if any.
| Options | Value | Description |
|---|---|---|
| latlng | object | latlng a L.LatLng object |
| callback | function | callback a function that is called with the grid data as an argument |
Returns: the L.mapbox.gridLayer object


{% comment %} youtube video, can pass a parameter to this include file to determine which youtube video to play. \{\% include youtube.html youtube_id="YIiHiMXOeYU" \%\} {% endcomment %}


High priority: {{ item.dataItem.document + (last ? '.' : ', ') }}
This example demonstrates asynchronous loading in the tree grid. The data
attribute is bound to a function which
returns a promise for the child items of the provided data item.
The
tree-data
attribute is used to examine and control the tree grid. The buttons above the grid use it to locate all “folder” type
rows, and invoke the contract
, expand
or reload
functions on them.
It is also watched for changes made by the controls in the Priority column, and an array of the high
priority items is maintained in the controller.


Company profile - Canadian Company Capabilities
Third-Party Information Liability Disclaimer
Some of the information on this Web page has been provided by external sources. The Government of Canada is not responsible for the accuracy, reliability or currency of the information supplied by external sources. Users wishing to rely upon this information should consult directly with the source of the information. Content provided by external sources is not subject to official languages, privacy and accessibility requirements.
Klein Systems Group Ltd.
Mailing Address:
360-4400 Dominion StBURNABY, British Columbia
V5G 4G3
Location Address:
360-4400 Dominion StBURNABY, British Columbia
V5G 4G3
Tel.:<PHONE_NUMBER>
Tel.:<PHONE_NUMBER>
Fax:<PHONE_NUMBER>
Logo
Company Profile
International software and services company specializing in enterprise software solutions for maritime ports and pilotages. KSG has almost 30 years of experience delivering software solutions for maritime ports, vessel traffic and coastal surveillance organizations, pilotage authorities, tug operators and maritime community systems
Full profile
Full profile
Contact information
Company description
Product / Service / Licensing
The system is capable of managing data for multiple ports from a single user interface and database with access being controlled through user privileges. A number of customers are using KleinPort to manage vessel traffic and business operations across multiple ports.
The application modules are:
Visit Management
Find all the information related to a visit is in one, easy to access location. Minimize phone interruptions and faxes with Web-initiated visit requests. Manage vessel scheduling, berth planning, conflict resolution, waypoint and route management, VTS/AIS integration and document management. Reduce data entry time and deal with conflicts proactively, saving time and effort later.
Resource Management
Plan, schedule, request and allocate various resources such as Pilots, Tugs, Linesman and Port equipment. Ensures resources are available at the planning stage thereby reducing delays later. Efficiently monitor and utilize service providers and Port facilities.
Cargo Management
Electronically import cargo manifests, dangerous goods handling, errors and omission processing, commodity code mapping. Accurate cargo data imported electronically reduces data entry time and ensures accurate billing and reporting.
Billing Management
Reduce your cost and effort to collect revenue with rate table based tariffs, multiple inputs for a single tariff, customer or vessel contract management, automated billing processes and Accounts Receivables.
Tariffs are easy to update, complex tariffs are automatically handled reducing billing errors and calculation time. Contract management is automatic, reducing the time to generate appropriate discounts, special rates and manage minimum guarantees. All invoicing is automatic and operational data and financial data are kept synchronized.
Property Management
Make it easier to manage your properties. Manage details of agreements, tenants, produce rent rolls, expiration notifications. Rent invoices are automatically created reducing preparation time and ensuring accuracy. Ports can specify rent increases to be automatically applied. Lease renewal dates are flagged ensuring all charges are billed accurately and on time.
Mobile Management
Automatically receive job assignments. Capture pertinent data and submit worksheets when a job is completed from a mobile device. Delays are reduced. Inputting data remotely speeds up the billing process.
System Management
Manage the system the way that best suits your organization. These system tools let you control user privileges, security, operational workflow, interfaces to 3rd party systems and the reporting and messaging functions of the system. Messages and alerts can be sent automatically based upon specified events, greatly improving communications. Key data changes are recorded automatically, providing an easily accessible audit trail. The system comes with a robust report generator, making it simpler for you to get the information you need to run your business.
The system is capable of managing data for multiple locations from a single user interface and database with access being controlled through user privileges.
The application modules are:
Dispatch Management
Reduce your data entry time, deal with conflict resolutions up front saving time and effort later on and ensure the right pilot is dispatched to the right job. Features include customer-initiated job requests via the Web; optimized pilot dispatching based on pre-defined rules, qualifications; rotation and schedule management; intelligent pilot fatigue ranking for optimized dispatching ; capture Pilot activities, time logs, and services from the Pilot’s mobile device; tidal window determination; automation of recurring schedules; interface with external systems.
Billing Management
Speed up your billing process with automatic invoice generation based on your tariffs and rules. Tariffs are easy to update, complex tariffs are automatically handled reducing billing errors and calculation time, and all invoicing is automatic. Operational data and financial data are kept in synchronization. Features include rate-table based tariffs, multiple inputs for a single tariff, automated billing processes and Accounts Receivables; available General Ledger systems interface.
Pilot Mobile Management
Give your Pilots mobile access to the information they need on the go. Pilot delays are reduced and the billing process is accelerated. Automatically send and receive job assignments and updates from a mobile device. Pilots can record ship defects and remarks with their device. They can exchange messages with the pilotage office, acknowledge assignments and critical messages. Alarms are reset automatically based on updated job start time.
System Management
Manage the system the way that best suits your organization. These system tools let you control user privileges, security, operational workflow, interfaces to 3rd party systems and the reporting and messaging functions of the system. Messages and alerts can be sent automatically based upon specified events, greatly improving communications. Key data changes are recorded automatically, providing an easily accessible audit trail. The system comes with a robust report generator, making it simpler for you to get the information you need to run your business.
http://www.saabgroup.com/en/Civil-security/Maritime-Transportation-and-Port-Security/?tab=150
The Marine Traffic Management product area comprises 5 product segments addressing various needs of ports, pilots, governments and other groups involved in the management and/or supervision of vessel, cargo and passenger activities.
The product segments are:
• Vessel Traffic Systems: provided by Saab Netherlands BV
• Hydrography and Precision Navigation software provided by QPS
• Port Management and Pilot Management Software provided by Klein Systems Group
• Precision Navigation systems (Portable Pilot Units) – provided by AD Navigation
• AIS Transponder, Base stations and networks – provided by Saab TransponderTech
Klein Systems and MTM can offer a single source supplier for integrated solutions such as port management and VTS (KleinPort and V3000), and AIS (KleinPort or V3000 and Transpondertech base stations).
KSG has perfected the implementation process and provides the following services to ensure a well-executed project and assure you that we are there to meet your ongoing needs:
Business Process Consulting
KSG offers in-depth consulting services on maritime port, pilotage and VTMIS business processes. Our staff has years of experience with best practises in ports around the world and can provide you with expert recommendations on how to make your business processes as efficient and cost effective as possible.
Requirements Analysis
Any IT project has to start with a detailed collection and documentation of the organization’s specific requirements and an analysis of those requirements against the available IT solutions. KSG provides a full range of consulting services to assist our customers in this process. For qualified prospects, KSG offers a free on-site, no obligation Requirements Analysis. Click here for more information.
System Design
Based on the results of the Requirements Analysis, the KSG technical team develops a detailed customer specific system design for each of its project implementations. The system design documents the application specific configuration which will be applied to each of the system modules to ensure that the solution functionality meets a customer’s unique operational needs.
Project Management
One of the key reasons for KSG’s success is a robust Project Management Lifecycle that is executed in a logical and staged sequence. The result is an ability to consistently meet project deadlines and deliver the required functionality.
Quality Assurance Testing
Each customer’s system configuration is subjected to a standardized quality assurance process and testing regiment to ensure that it meets the customer’s requirements. All product releases are run through a Quality Assurance process using the customer’s specific configured solution to ensure the release does not adversely affect the customer’s operations. These releases may contain corrective, preventive, perfective and adaptive modifications as per ISO/IEC 14764 standards:
On Site Deployment
A KSG team attends each deployment on site to install the solution database and application, address any technical issues and ensure that the application is functioning according to specification.
On Site Training
KSG provides project specific end-user and system administrator training services including instructional material. These services are delivered on-site and/or via remote video conference depending on the project needs. As a part of the project plan, a formal training plan and a training schedule will be submitted to the customer.
Product Support and Maintenance
All KSG solutions include a comprehensive Product Support and Maintenance program including regular product releases tested against each customer’s specific configured solution.
Post installation support is a key factor in a successful long-term implementation of the KSG solution. The customer’s configured solutions are supported by qualified in-house support and maintenance specialists, backed up by our highly skilled Product Development group. Support is available by phone, e-mail and/or an online issue tracking system and can be available 24 hours/day/365 days a year.
KSG’s customers are automatically enrolled in KSG’s Customer Advisory Group (CAG) and Technical User Group (TUG) to provide them with the opportunity to provide first hand input into the future direction of the product.
Market profile
Industry sector market interests:
- Transportation
Geographic markets:
Export experience:
- Australia
- Bahamas
- Barbados
- Cayman Islands
- Dominica
- Malaysia
- Netherlands
- Papua New Guinea
- Qatar
- Trinidad and Tobago
- United Kingdom
- United States
- Virgin Islands (British)
- Alaska
- California
- Florida
- Indiana
- Mississippi
- Oregon
- Texas
Actively pursuing:
- Antigua and Barbuda
- Chile
- Colombia
- Dominican Republic
- Mexico
- Panama
- Puerto Rico
Third-Party Information Liability Disclaimer
Some of the information on this Web page has been provided by external sources. The Government of Canada is not responsible for the accuracy, reliability or currency of the information supplied by external sources. Users wishing to rely upon this information should consult directly with the source of the information. Content provided by external sources is not subject to official languages, privacy and accessibility requirements.
Contacts
Contact information
Description
Company description
Products, services and licensing
Product / Service / Licensing
The system is capable of managing data for multiple ports from a single user interface and database with access being controlled through user privileges. A number of customers are using KleinPort to manage vessel traffic and business operations across multiple ports.
The application modules are:
Visit Management
Find all the information related to a visit is in one, easy to access location. Minimize phone interruptions and faxes with Web-initiated visit requests. Manage vessel scheduling, berth planning, conflict resolution, waypoint and route management, VTS/AIS integration and document management. Reduce data entry time and deal with conflicts proactively, saving time and effort later.
Resource Management
Plan, schedule, request and allocate various resources such as Pilots, Tugs, Linesman and Port equipment. Ensures resources are available at the planning stage thereby reducing delays later. Efficiently monitor and utilize service providers and Port facilities.
Cargo Management
Electronically import cargo manifests, dangerous goods handling, errors and omission processing, commodity code mapping. Accurate cargo data imported electronically reduces data entry time and ensures accurate billing and reporting.
Billing Management
Reduce your cost and effort to collect revenue with rate table based tariffs, multiple inputs for a single tariff, customer or vessel contract management, automated billing processes and Accounts Receivables.
Tariffs are easy to update, complex tariffs are automatically handled reducing billing errors and calculation time. Contract management is automatic, reducing the time to generate appropriate discounts, special rates and manage minimum guarantees. All invoicing is automatic and operational data and financial data are kept synchronized.
Property Management
Make it easier to manage your properties. Manage details of agreements, tenants, produce rent rolls, expiration notifications. Rent invoices are automatically created reducing preparation time and ensuring accuracy. Ports can specify rent increases to be automatically applied. Lease renewal dates are flagged ensuring all charges are billed accurately and on time.
Mobile Management
Automatically receive job assignments. Capture pertinent data and submit worksheets when a job is completed from a mobile device. Delays are reduced. Inputting data remotely speeds up the billing process.
System Management
Manage the system the way that best suits your organization. These system tools let you control user privileges, security, operational workflow, interfaces to 3rd party systems and the reporting and messaging functions of the system. Messages and alerts can be sent automatically based upon specified events, greatly improving communications. Key data changes are recorded automatically, providing an easily accessible audit trail. The system comes with a robust report generator, making it simpler for you to get the information you need to run your business.
The system is capable of managing data for multiple locations from a single user interface and database with access being controlled through user privileges.
The application modules are:
Dispatch Management
Reduce your data entry time, deal with conflict resolutions up front saving time and effort later on and ensure the right pilot is dispatched to the right job. Features include customer-initiated job requests via the Web; optimized pilot dispatching based on pre-defined rules, qualifications; rotation and schedule management; intelligent pilot fatigue ranking for optimized dispatching ; capture Pilot activities, time logs, and services from the Pilot’s mobile device; tidal window determination; automation of recurring schedules; interface with external systems.
Billing Management
Speed up your billing process with automatic invoice generation based on your tariffs and rules. Tariffs are easy to update, complex tariffs are automatically handled reducing billing errors and calculation time, and all invoicing is automatic. Operational data and financial data are kept in synchronization. Features include rate-table based tariffs, multiple inputs for a single tariff, automated billing processes and Accounts Receivables; available General Ledger systems interface.
Pilot Mobile Management
Give your Pilots mobile access to the information they need on the go. Pilot delays are reduced and the billing process is accelerated. Automatically send and receive job assignments and updates from a mobile device. Pilots can record ship defects and remarks with their device. They can exchange messages with the pilotage office, acknowledge assignments and critical messages. Alarms are reset automatically based on updated job start time.
System Management
Manage the system the way that best suits your organization. These system tools let you control user privileges, security, operational workflow, interfaces to 3rd party systems and the reporting and messaging functions of the system. Messages and alerts can be sent automatically based upon specified events, greatly improving communications. Key data changes are recorded automatically, providing an easily accessible audit trail. The system comes with a robust report generator, making it simpler for you to get the information you need to run your business.
http://www.saabgroup.com/en/Civil-security/Maritime-Transportation-and-Port-Security/?tab=150
The Marine Traffic Management product area comprises 5 product segments addressing various needs of ports, pilots, governments and other groups involved in the management and/or supervision of vessel, cargo and passenger activities.
The product segments are:
• Vessel Traffic Systems: provided by Saab Netherlands BV
• Hydrography and Precision Navigation software provided by QPS
• Port Management and Pilot Management Software provided by Klein Systems Group
• Precision Navigation systems (Portable Pilot Units) – provided by AD Navigation
• AIS Transponder, Base stations and networks – provided by Saab TransponderTech
Klein Systems and MTM can offer a single source supplier for integrated solutions such as port management and VTS (KleinPort and V3000), and AIS (KleinPort or V3000 and Transpondertech base stations).
KSG has perfected the implementation process and provides the following services to ensure a well-executed project and assure you that we are there to meet your ongoing needs:
Business Process Consulting
KSG offers in-depth consulting services on maritime port, pilotage and VTMIS business processes. Our staff has years of experience with best practises in ports around the world and can provide you with expert recommendations on how to make your business processes as efficient and cost effective as possible.
Requirements Analysis
Any IT project has to start with a detailed collection and documentation of the organization’s specific requirements and an analysis of those requirements against the available IT solutions. KSG provides a full range of consulting services to assist our customers in this process. For qualified prospects, KSG offers a free on-site, no obligation Requirements Analysis. Click here for more information.
System Design
Based on the results of the Requirements Analysis, the KSG technical team develops a detailed customer specific system design for each of its project implementations. The system design documents the application specific configuration which will be applied to each of the system modules to ensure that the solution functionality meets a customer’s unique operational needs.
Project Management
One of the key reasons for KSG’s success is a robust Project Management Lifecycle that is executed in a logical and staged sequence. The result is an ability to consistently meet project deadlines and deliver the required functionality.
Quality Assurance Testing
Each customer’s system configuration is subjected to a standardized quality assurance process and testing regiment to ensure that it meets the customer’s requirements. All product releases are run through a Quality Assurance process using the customer’s specific configured solution to ensure the release does not adversely affect the customer’s operations. These releases may contain corrective, preventive, perfective and adaptive modifications as per ISO/IEC 14764 standards:
On Site Deployment
A KSG team attends each deployment on site to install the solution database and application, address any technical issues and ensure that the application is functioning according to specification.
On Site Training
KSG provides project specific end-user and system administrator training services including instructional material. These services are delivered on-site and/or via remote video conference depending on the project needs. As a part of the project plan, a formal training plan and a training schedule will be submitted to the customer.
Product Support and Maintenance
All KSG solutions include a comprehensive Product Support and Maintenance program including regular product releases tested against each customer’s specific configured solution.
Post installation support is a key factor in a successful long-term implementation of the KSG solution. The customer’s configured solutions are supported by qualified in-house support and maintenance specialists, backed up by our highly skilled Product Development group. Support is available by phone, e-mail and/or an online issue tracking system and can be available 24 hours/day/365 days a year.
KSG’s customers are automatically enrolled in KSG’s Customer Advisory Group (CAG) and Technical User Group (TUG) to provide them with the opportunity to provide first hand input into the future direction of the product.
Market
Market profile
Industry sector market interests:
- Transportation
Geographic markets:
Export experience:
- Australia
- Bahamas
- Barbados
- Cayman Islands
- Dominica
- Malaysia
- Netherlands
- Papua New Guinea
- Qatar
- Trinidad and Tobago
- United Kingdom
- United States
- Virgin Islands (British)
- Alaska
- California
- Florida
- Indiana
- Mississippi
- Oregon
- Texas
Actively pursuing:
- Antigua and Barbuda
- Chile
- Colombia
- Dominican Republic
- Mexico
- Panama
- Puerto Rico


Topic of the research project: In this user study, we evaluate how an AI system can provide educative assistance during linear regression modelling.
General description of study method: This is a controlled experiment where you will carry out simple linear regression modelling tasks using the provided system. Tutorials will be provided to help you in the tasks.
Purpose of the study. The purpose of the study is to understand how an AI assistant can help in completing modelling tasks by educating the user about key concepts proactively.
Research group's experience of the method: The members of the group have experience in over 50+ controlled studies in human-computer interaction. There are no reported incidents of ethical misconduct.
Funding and responsible researcher: European Research Council Starting Grant 2014 ID 637991. Funding period 2015-2020. Principal investigator Prof. Antti Oulasvirta (tel<PHONE_NUMBER>).
Time commitment: Participation in this study will take less than one hour.
Suitability for the study: Legally competent adults are allowed as participants. The following criteria are required: Generally healthy and able to use the user interface under study, in particular: Normal or corrected-to- normal vision; No known motor or cognitive deficit; Not under the influence of medication or drugs.
Compensation: The compensation is one movie ticket (equivalent to about EUR 12.00).
Voluntary participation: Participation in the study is voluntary. You have the right to discontinue participation at any time without obligation to disclose any specific reasons.
The rights of the study participant: As a research participant, you have the following rights: the right to access stored personal information, to correct inaccurate personal information, to oppose the processing of your personal information and to delete your information. It might be necessary to depart from the participant's rights if the research is conducted for the purpose of public interest and if the participant's rights prevent or greatly hinder achieving this purpose. If, however, it is possible to achieve the aims of the study and the achievement of the purpose is not greatly hindered, Aalto University will actualize your rights as defined in the GDPR. The extent of your rights is related to the legal basis of processing of your personal data and exercising your rights required proof of identity.
Possible risks and their prevention: 1) Exhaustion and fatigue. We prevent this by asking you to take breaks frequently and allowing breaks at will. 2) Tripping, strain injury, or falling: This is prevented by disallowing dangerous postures, as well as pointy or sharp objects in the movement area.
Communication with the research staff during testing: You can stop the trial and ask the experimenter at any time if you have questions about the study or your participation.
Description of study situation: You will be instructed to carry out simple modelling tasks. Interactions with the system will be logged. These data are not used to assess you, rather to evaluate our tools. Your opinions and experiences will be asked with a questionnaire.
Collection of data: 1) Behavioural measures of the interaction process: text input; 2) Performance metrics: command usage, completion time; 5) Questionnaire data: opinions and experiences, 6) Personal information: name, email address, sex, age, and professional experience. Personal information is collected to enable communication with the subject and for statistical information about the participants.
Transferring data outside EU: Your data will not be transferred outside the EU.
Anonymity, secure storage, confidentiality: The data will be used for scientific purposes only and are confidential. All data will be anonymized. No explicit clues of your identity will be left to the stored data. All data will be stored securely and accessible only to the members of the research project: Pierre-Alexandre Murena, Mustafa Mert Celikok, Kashyap Todi, Antti Oulasvirta, and Samuel Kaski. The personal information is deleted when it is no longer needed.
Measures taken in cases of unexpected incidental findings: This study has not been designed to provide clinical information. In case the data reveal an illness, or any other incidental finding which you are not aware of, the finding will be consulted with a medical expert and based on his/her estimation you shall be forwarded to appropriate further examinations.
Insurance coverage: You are covered by Aalto-level insurances for accidents and damages during the study.
Contact details: Aalto University is the data controller in this research. In questions regarding research you can contact the responsible researcher: Kashyap Todi<EMAIL_ADDRESS>+358 504 723 177. You can contact the Aalto University data protection officer if you have questions about data processing and protection: Jari Söderström<EMAIL_ADDRESS>+358505665186. If you notice a violation in the data protection legislation, you can contact the Data Protection Ombudsman (http://www.tietosuoja.fi/en).
If you agree to take part in the study, please sign the consent form on the next page.


[gecode-users] Combining of LDSB with Branch and Bound algorithm.
Chris Mears
chris.mears at monash.edu
Wed Oct 29 01:21:49 CET 2014
Hello,
> Hi,I have two questions please:
> 1- I want to know the theoretical principle of LDSB for symmetry
> breaking.
The principle and inner workings of LDSB are described in this paper:
Lightweight dynamic symmetry breaking.
Christopher Mears, Maria Garcia de la Banda, Bart Demoen, Mark Wallace.
Constraints 19(3), pp. 195-242. 2014.
You can get a copy from Springer
(http://link.springer.com/article/10.1007/s10601-013-9154-2)
or from here (http://www.cmears.id.au/files/papers/2013-LDSB.pdf).
> 2- if in an algorithm i would combine a branch and bound algorithm
> with the use of the LDSB layer for symmetry reduction ( declaration
> of symmetries), so how the solver (algorithm) works ? Can someone
> explain to me the sequential steps of the execution of the set
> (Branch and bound, LDSB).
For LDSB there's no difference between DFS and branch-and-bound. LDSB
adds some extra constraints at certain choice points; it doesn't
interact directly with the solver engine (DFS/BAB). In the Gecode
sense, it's just a special kind of Brancher.
More information about the users
mailing list


--- layout: default title: "Rebble" date: 2015-06-12 11:56:42 ---
The Rebble Hackathon is a weekend-long event on the 18th-20th of November where anyone and everyone is invited to build something cool for the Pebble platform.

There will be stickers sent out to anyone who submits a new app to the store, and a prize for our overall favourite submission(s).
Choose a date
Announce the hackathon!
Provide a VM image for easy developing
Spread the word
Run a great event
Send out stickers and other goodies to participants
Confirm attendance
Setup your development environment
Create a developer account
Wait patiently for
Join us on Discord and have fun!
A hackathon! A weekend where Pebble enthusiasts can get together (virtually) and build something cool for the Pebble platform.
This hackathon is all about fun. We'd love to see some new apps on the store, new functionality for the watches, or old developers getting back into building watchfaces. It's a bit of an experiment on our part, and looking forward we'll probably theme future hackathons. For hackathon-001 it's all about building something new for the smartwatch that refuses to die.
All you have to do is fill out this form, then join us on Discord during the hackathon weekend! We'll have dedicated channels where you can ask questions and see what other people are up to.
The Pebble SDK is old, the quickest way is use the official hackathon VM image. It's about 7GB, so you'll want to be sure to get it set up in advance. For alternative installation instructions (including a native install), see here.
It starts Friday evening and runs until Sunday evening, from the 18-20th of November. You don't need to be at your computer the entire time! Just work on your project when you can, and drop by on Discord to chat.
If you make a Watchface or Watch app that's ready to be published, please publish it to the Rebble appstore. If you want to write up about your project, or if it's not something you want (or can) publish to the appstore, then submit it as a project to our hackster community.
Sure! Jump on the Discord server and see if anyone else needs help. You could always make some artwork, logos, or designs etc.
Anyone who uploads an app to the appstore during the hackathon weekend (or immediately after it) can receive free Rebble stickers! We'll add more details once we get the first batch back from the printers.
Anyone who submits something will recieve some stickers! Plus we plan to give a special prize to our favourite submission(s). The winner(s) will be chosen by the Rebble team, taking public feedback into consideration too!
Yes! This first one is a bit of an experiment on our part, but we hope it's the first of many to come.


{% extends "legal/legal_base.html" %} {% block post_header %} {% for minutes in object_list %} {{minutes.date}} Uploaded {{minutes.uploaded|date:"d/m/Y"}}. {% endfor %} {% endblock post_header %}
Uploaded {{minutes.uploaded|date:"d/m/Y"}}.


CEA
Rewritten Prompt Reflection
In the short story, "The Lottery", the government seemingly obtains and maintains their power by means of fear, and of youth education. Forced compliance by fear could be executing people if they choose to disagree with the government's ideals. An example of this is when Tessie begins to question the lottery by saying that "it isn't fair ... it isn't right." This causes Mrs. Hutchinson to become the person who wins the lottery. Education of the young in "The Lottery" can be explained by how children are eager to kill other people, even their own parents. An example of this is when "... someone gave little Davy Hutchinson [a] few pebbles." This allows me to infer that children are taught that these lotteries are necessary when they are young. In conclusion, both youth education and fear were used as methods of forced compliance by the government in "The Lottery".


A student major in Web & Mobile,
focus on UI Development, UX Design and Motion Graphic.
hwlcy.com/h2>
"hwlcy.com" is an online full-featured presentation software to create Web-based slides which are linkable, sharable, cross-platform and without delivery friction. It differentiate from traditional presentation tools such as Powerpoint and Keynote due to its web-friendly and its strong belief in Web.
Wepiao Boxoffice app provides huge amounts of data and visualization of movies and cinemas including times, box office, attendance, ranking with a real-time analyzing back-end, which available on Web, iOS and Android. As the Lead Front-end Developer this project, we built this app in the Single-page Application Model to provide a more fluid user experience with awesome React.js


| Table 1 |
Variability across seven polymorphic microsatellite loci in ... |
| Table 2 |
Percentage (%) contribution of Octopus tetricus individuals ... |
| Table 3 |
Descriptive statistics for Octopus tetricus along the east c ... |
| Table 4 |
F ST among collection sites for Octopus tetricus along the e ... |
| Table 5 |
Inferred (posterior mean) migration rates of Octopus tetricu ... |
| Table 6 |
Heterozygosity excess tests results to detect genetic bottle ... |


Yourstube.com is an online directory of videos just for you. Learn how to build your own youtube. Youtube has become the premier video service in the world. What if you could learn the ropes to build yours Video transcoding, transformations, LHS. Learn how to leverage Cloudinary end-to-end solution in building your youtube in no time!
Basically it's built on the Mean Stack & Angular-Bootstrap.


The toast module launches a container to display a message over a page's content. The
The
Selector
Specifies the configuration options to set up a toast.
An object that represents a single displayed toast.
Toasts are appropriate when:
Toasts provide lightweight, time-sensitive information that is relevant to users when it appears. They guide users on actions to take and should include links for those actions whenever possible.
The text must be clear and concise, and punctuation is subjective depending on the scenario.
If toasts are the only place users can see the message, display the toasts until the user manually closes them. Only close toasts automatically if users can access the messages after the toasts close.


Immersive experience technology is one of the most promising and interesting of emerging techs. While the idea of virtual reality is often attached to video games, the technology has much broader applications. Yes, immersive experience technology is used in the adult industry, in art, and in entertainment. But, this tech is also being used in medicine, in education, and in the military and could drastically change our society.
Virtual reality means a fully digital environment. Currently virtual reality is mostly restricted to the audiovisual. However companies like Qualcomm are working to add or improve technologies for the other senses as well. Haptic technology, which adds the ability to feel is making it into the mainstream. Companies are also working on machine olfaction (smell) and artificial gustation (taste).
 Augmented reality works by bringing digital elements into the real world. When a computer displays height elevations over a map in real time, this is a type of augmented reality.


About
My Biography
“Photography is a way of feeling, of touching, of loving.What you have caught on film is captured forever… It remembers little things, long after you have forgotten everything
— Aaron Siskind
Hi! I am Nancy and i love taking photographs I love photography and the camera is just a sketchbook,an instrument of intuition and spontaneity.My interest in photography is not to capture an image I see or even have in my mind but to explore the potential of moments I can only begin to imagine
A camera alone does not make a picture. To make a picture you need a camera, a photographer and above all a subject. It is the subject that determines the interest of the photograph.
As a photographer,I was motivated to create Shots-kit photography which basically means a kit of photograph shots and just capture moments in life and how best to recreate memories.
I believe in finding beauty even in the messy places


public class KerningTable
extends java.lang.Object
| Constructor and Description |
|---|
KerningTable(Kern[] entries)
Creates a KerningTable from an array of Kern entries.
|
| Modifier and Type | Method and Description |
|---|---|
float |
getKerningValue(int glyphCode1,
int glyphCode2,
java.lang.String glyphUnicode1,
java.lang.String glyphUnicode2)
Returns the amount of kerning that should be added between the given
glyphs.
|
public KerningTable(Kern[] entries)
entries
- The array of Kern objects that represent the kerning
entries for the font that this kerning table belongs to.public float getKerningValue(int glyphCode1, int glyphCode2, java.lang.String glyphUnicode1, java.lang.String glyphUnicode2)
glyphCode1
- The id of the first glyph in the kerning pairglyphCode2
- The id of the second glyph in the kerning pairglyphUnicode1
- The unicode value of the first glyph in
the kerning pairglyphUnicode2
- The unicode vlaue of the second glyph in
the kerning pairCopyright © 2022 Apache Software Foundation. All Rights Reserved.


ResourcedKC
About
Login
Contact
Welcome to
ResourcedKC
Check some boxes below to start your search!
Services:
Emergency Shelter
Domestic Abuse Shelter
Homeless Shelter
Housing
Financial Assistance
Food Pantry
Health Clinic
Clothing Closet
Rehab and Detox
Commercial Sex Trafficking
Demographic Information:
Families
Women
Men
LGBTQ+
African American
Hispanic
Foreign Language Speakers
Infants & Early Childhood
Children
Teens
Elderly
Religiously-Affiliated
HIV+
Search for Results


Trivium Learning Corporate Website
HTML & CSS from original design
HTML & CSS from original design
HTML & CSS website
HTML & CSS website from original design
HTML & CSS from Photoshop design comp
Interactive Javascript map
Interactive Javascript game
I have an eye for design and a passion for usability.
Having spent the last four years as a high school English teacher, I know the value of good communication and seek to build websites that speak clearly to real people. I am proficient in HTML/CSS, Javascript, and Ruby. When not coding, I love to read, dance, watch tv, and play with my two cats.
If you have any questions about my work or just want to chat, I'd love to hear from you!


building-reports.Rmd
Example usage reports are built into this package (as vignettes) with the aim to make the analysis more accessible to new users. Developers can add to the collection of reports by creating a new vignette using devtools
devtools::use_vignette(name = "Report title", package = "gemtcPlus")
Executing the line above will create an R Markdown file in the vingettes
directory of the package root. All R Markdown files in this directory are built as vignettes when the package is built by running
devtools::build(vignettes = TRUE)
This document will not cover the details of R Markdown, for a good reference I recommend this resource.
During a build
(with argument vignettes = TRUE
) the package is first installed, so the code can be used, and then the vignettes are built. This means that in order to access the functions/datasets that come with the package in the vignette you will need to make a call to library(gemtcPlus)
at the start of the document.
However there are two conventions which are specific to the vignette building used in this package. The conventions concern reading/writing files. NMAs may involve running very long MCMCs. This can take some time and can have outputs of sizes larger than 100Mb. For this reason it’s practical to break the generation of results and presentation of them into separate steps. It’s also a good idea to break the output objects required to do so into smaller chunks. Another requirement of running NMA analyses here is the use of BUGS
code which is most conveniently loaded in from a text file. This necessitates a process to read/write files when building the package vignettes. To handle this properly there are two functions you need to use.
For reading system files the system.file()
function which will produce a directory path string. Here is an example of loading a BUGS
file using system.file()
fit <- jags(model.file = system.file("BUGScode", "tte_piece-wise-cst_fe.txt", package = "gemtcRoche"), data = c(dat_jg, list(prior_mean = 0), list(prior_prec = 0.0001)), parameters = c("d", "mu"), n.chains = n.chains, n.iter = n.iter, n.burnin = n.burnin, n.thin = n.thin)
The call to system.file()
bases it’s root around the inst
directory which is in the package root. So here the .txt
files have been previously placed into the inst/BUGScode
directory.
This solves the file read issue but unfortunately system.file()
only generates a path to a file that already exists and can not be used to create a path to an output file. Instead we use the here()
function from the here
package. Here is an example of the usage when writing output files from a results generation script.
for(i in seq_along(out_all)){ out <- out_all[[i]] save(out, file = here::here("inst", "extdata", "results", paste("fit-pwe-", i, ".RData", sep = ""))) }
The syntax is very similar to system.file()
however the root is actually the package root and not inst
. Output files are therefore stored in the inst/extdata/results/
directory and are read from there when building the output reports using system.file()
.
This means that any output results are built into the package. Users should be careful not to save many large files here.


public interface Era extends TemporalAccessor, TemporalAdjuster
Most calendar systems have a single epoch dividing the time-line into two eras.
However, some calendar systems, have multiple eras, such as one for the reign
of each leader.
In all cases, the era is conceptually the largest division of the time-line.
Each chronology defines the Era's that are known Eras and a
Chronology.eras
to get the valid eras.
For example, the Thai Buddhist calendar system divides time into two eras, before and after a single date. By contrast, the Japanese calendar system has one era for the reign of each Emperor.
Instances of Era
may be compared using the ==
operator.
| Modifier and Type | Method and Description |
|---|---|
default Temporal |
adjustInto(Temporal temporal)
Adjusts the specified temporal object to have the same era as this object.
|
default int |
get(TemporalField field)
Gets the value of the specified field from this era as an
int . |
default String |
getDisplayName(TextStyle style,
Locale locale)
Gets the textual representation of this era.
|
default long |
getLong(TemporalField field)
Gets the value of the specified field from this era as a
long . |
int |
getValue()
Gets the numeric value associated with the era as defined by the chronology.
|
default boolean |
isSupported(TemporalField field)
Checks if the specified field is supported.
|
default <R> R |
query(TemporalQuery<R> query)
Queries this era using the specified query.
|
default ValueRange |
range(TemporalField field)
Gets the range of valid values for the specified field.
|
int getValue()
All fields, including eras, have an associated numeric value. The meaning of the numeric value for era is determined by the chronology according to these principles:
default boolean isSupported(TemporalField field)
This checks if this era can be queried for the specified field.
If false, then calling the range
and
get
methods will throw an exception.
If the field is a ChronoField
then the query is implemented here.
The ERA
field returns true.
All other ChronoField
instances will return false.
If the field is not a ChronoField
, then the result of this method
is obtained by invoking TemporalField.isSupportedBy(TemporalAccessor)
passing this
as the argument.
Whether the field is supported is determined by the field.
isSupported
in interface TemporalAccessor
field
- the field to check, null returns falsedefault ValueRange range(TemporalField field)
The range object expresses the minimum and maximum valid values for a field. This era is used to enhance the accuracy of the returned range. If it is not possible to return the range, because the field is not supported or for some other reason, an exception is thrown.
If the field is a ChronoField
then the query is implemented here.
The ERA
field returns the range.
All other ChronoField
instances will throw an UnsupportedTemporalTypeException
.
If the field is not a ChronoField
, then the result of this method
is obtained by invoking TemporalField.rangeRefinedBy(TemporalAccessor)
passing this
as the argument.
Whether the range can be obtained is determined by the field.
The default implementation must return a range for ERA
from
zero to one, suitable for two era calendar systems such as ISO.
range
in interface TemporalAccessor
field
- the field to query the range for, not nullDateTimeException
- if the range for the field cannot be obtainedUnsupportedTemporalTypeException
- if the unit is not supporteddefault int get(TemporalField field)
int
.
This queries this era for the value of the specified field. The returned value will always be within the valid range of values for the field. If it is not possible to return the value, because the field is not supported or for some other reason, an exception is thrown.
If the field is a ChronoField
then the query is implemented here.
The ERA
field returns the value of the era.
All other ChronoField
instances will throw an UnsupportedTemporalTypeException
.
If the field is not a ChronoField
, then the result of this method
is obtained by invoking TemporalField.getFrom(TemporalAccessor)
passing this
as the argument. Whether the value can be obtained,
and what the value represents, is determined by the field.
get
in interface TemporalAccessor
field
- the field to get, not nullDateTimeException
- if a value for the field cannot be obtained or
the value is outside the range of valid values for the fieldUnsupportedTemporalTypeException
- if the field is not supported or
the range of values exceeds an int
ArithmeticException
- if numeric overflow occursdefault long getLong(TemporalField field)
long
.
This queries this era for the value of the specified field. If it is not possible to return the value, because the field is not supported or for some other reason, an exception is thrown.
If the field is a ChronoField
then the query is implemented here.
The ERA
field returns the value of the era.
All other ChronoField
instances will throw an UnsupportedTemporalTypeException
.
If the field is not a ChronoField
, then the result of this method
is obtained by invoking TemporalField.getFrom(TemporalAccessor)
passing this
as the argument. Whether the value can be obtained,
and what the value represents, is determined by the field.
getLong
in interface TemporalAccessor
field
- the field to get, not nullDateTimeException
- if a value for the field cannot be obtainedUnsupportedTemporalTypeException
- if the field is not supportedArithmeticException
- if numeric overflow occursdefault <R> R query(TemporalQuery<R> query)
This queries this era using the specified query strategy object.
The TemporalQuery
object defines the logic to be used to
obtain the result. Read the documentation of the query to understand
what the result of this method will be.
The result of this method is obtained by invoking the
TemporalQuery.queryFrom(TemporalAccessor)
method on the
specified query passing this
as the argument.
query
in interface TemporalAccessor
R
- the type of the resultquery
- the query to invoke, not nullDateTimeException
- if unable to query (defined by the query)ArithmeticException
- if numeric overflow occurs (defined by the query)default Temporal adjustInto(Temporal temporal)
This returns a temporal object of the same observable type as the input with the era changed to be the same as this.
The adjustment is equivalent to using Temporal.with(TemporalField, long)
passing ChronoField.ERA
as the field.
In most cases, it is clearer to reverse the calling pattern by using
Temporal.with(TemporalAdjuster)
:
// these two lines are equivalent, but the second approach is recommended temporal = thisEra.adjustInto(temporal); temporal = temporal.with(thisEra);
This instance is immutable and unaffected by this method call.
adjustInto
in interface TemporalAdjuster
temporal
- the target object to be adjusted, not nullDateTimeException
- if unable to make the adjustmentArithmeticException
- if numeric overflow occursdefault String getDisplayName(TextStyle style, Locale locale)
This returns the textual name used to identify the era, suitable for presentation to the user. The parameters control the style of the returned text and the locale.
If no textual mapping is found then the numeric value
is returned.
style
- the style of the text required, not nulllocale
- the locale to use, not nullDracula Javadoc Sample, Made with Allan Im.


The Social Computer is a prototype of a computing machine that is fully driven by human activity and input. The engine reacts upon bursts of activity on the social Web and autonomously engages with human users to stimulate their contributions to crowdsourcing microtasks. Currently the system can interact with users on Twitter and facebook as well as via a Chrome extension.
The Social Computer supports a set of fundamental instructions. By responding with these instructions and your additional input to messages the Social Computer sends out via Twitter or facebook the users shape the algorithms the Social Computer runs.
| Instruction | General syntax | Example usage |
| Prioritize message | PRIO [+1|-1] | |
| Pass message | SHARE [userid1,userid2,...,useridN] | |
| Enrich message | ENRICH [your message, hashtags or URIs] | |
| Translate message | TRANS [your translation of original content] | |
| Resolve message | RESOLVE [your message to resolve this message] |
The detailed documentation is currently under development. You can access the source code of the middleware components and the Chrome extension to run with a demo instance here
If you have any questions please contact Markus Luczak-Roesch


Admin Dashboard
Send to trainPerson Records Trained
40,000
Vehicle Records Trained
215,000
Without picture records
50
Pending for training
18


Ocean [bf54], ocean, in Crystal Sea ------------------------------------------------------------------------ 11: It has begun to rain. Routes leaving Ocean: North, mountain, to Dragonrock [be54], Tenka, impassable East, to Ocean [bf55], 6 days West, to Ocean [bf53], 6 days It is raining.


Shaundegr8's RainMeter Skin Repository
Shaundegr8's RainMeter Skin Repository
is a repository for my Custom RainMeter Setups and Skins.
Hosted Packages on This Repository
Wordy Launcher
A wordy launcher! With background replacement built in!
More info
Download
Fountain of Colors Music Visualizer
An awesome audio visualizer!  Includes everything you need!!
More info
Download
Do I Need A Jacket?
Do you truly need a jacket? If so this will tell you!
More info
Download


The Kantumruy fonts are designed in three styles (Light, Regular
and Bold) and are made for the Khmer script, the national language of
Cambodia. It works well for both text and posters, on websites and in
print. It was designed in 2013 by Tep
Sovichet, a high school student from Cambodia, who learned
typeface design with local expert Danh Hong. It is his first
font published in Google Fonts.


Defines an abra task to run under ant (in a buildfile). first define the task with
<taskdef name="abra" classname="org.ephman.abra.ant.AbraTask"/>
Then define an abra task as follows.
| Attribute | Description | Value Type | Required |
| classpathref | the classpath to use which contains abra-tools | Reference | No (defaults to $CLASSPATH) |
| outdir | the directory to generate code into | String | No (defaults to $PWD) |
| noClasses | turn off class generation | boolean (true,yes,on = true; anything else = false) | No (defaults to false) |
| factories | generate factories to go from object to sql database. | boolean | No (defaults to false) |
| validation | turn on validator generation | boolean | No (defaults to false) |
| schema | generate schema; use the argument as the schema file to generate in path is relative to outdir attribute | String | No |
| abraXmlParser | whether to use the abra xml parser (defaults to false : using Xerces). | boolean | No |
| procs | whether to use stored procedures if 'true' then use if other value use that for package name (if the db supports packaging). | String | No (defaults to false) |
| debugLevel | How much should be printed about what is going on | (mega | verbose | short | supress) | No (defaults to short) |
<abra classpathref="abra.classpath" outdir="${basedir}/java" debugLevel="verbose" schema="generated/family.sql" abraXmlParser="true"> <include name="f*.xml"/> </abra>
Copyright © 2000,2001,2002 Paul Bethe and Richie Bielak. All rights Reserved.