Circuit Parameters:
Clock output device:
Master
Data output device:
Master
Slave
Both, same net
Both, separate net
Design variable:
Master timing
Slave timing
Board delays
Clock Parameters:
Clock period
Master t
co
edge:
Rising
Falling
Master setup/hold edge:
Rising
Falling
Slave t
co
edge:
Rising
Falling
Slave setup/hold edge:
Rising
Falling
Setup Time Parameters, Master Input:
Master input setup minimum
Clock board delay max
Data board delay max
Slave output t
co
max
Hold Time Parameters, Master Input:
Master input hold minimum
Clock board delay min
Data board delay min
Slave output t
co
min
Setup Time Parameters, Slave Input:
Slave input setup minimum
Clock board delay min
Data board delay max
Master output t
co
max
Hold Time Parameters, Slave Input:
Slave input hold minimum
Clock board delay max
Data board delay min
Master output t
co
min
Plot Parameters:
Units per tick
Tick offset
Arrow style
Zoom
Calculate
Master Input Setup Case:
Master Input Hold Case:
Slave Input Setup Case:
Slave Input Hold Case:
Master SDC Constraints:
Slave SDC Constraints:
Board Delay Constraints:
User is responsible for converting these time values to length (e.g., 6 inches per 1 ns) as well as evaluating the timing impact of signal integrity


[gecode-users] A constrain with 3 IntVar
Christian Schulte
cschulte at kth.se
Tue Sep 1 11:03:12 CEST 2009
There are also examples to be found here (from a course I teach):
http://www.ict.kth.se/courses/ID2204/assignments.html
Christian
-----Original Message-----
From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf Of Tias Guns
Sent: Tuesday, September 01, 2009 10:48 AM
To: users at gecode.org
Subject: Re: [gecode-users] A constrain with 3 IntVar
I've created a very simple propagator once, to show a student how to do it. It's attached, in case it would be helpfull for others too.
constr_myprop.hpp contains the propagator, example.cpp is an example of how to use it and the Makefile compiles it on *nix systems.
Note that the propagator is really silly: it assigns every unassigned variable to 1. However, it should be enough to start from...
Greetings,
Tias
On Mon, 31 Aug 2009 11:02:26 +0200, Guido Tack <tack at ps.uni-sb.de> wrote:
> amina kemmar wrote:
>
>> Hi,
>>
>> I am writing a new constraint "NewConstraint", which takes 3 IntVar
>> as arguments :
>>
>> #include <algorithm>
>> #include <gecode/int.hh>
>>
>> namespace Gecode {
>>
>> using namespace Int;
>>
>> void NewConstraint(Space& home, IntVar x0, IntVar x1, IntVar x3) {
>>
>> if (home.failed()) return;
>>
>> // Creation of an array x, which contains the 3 variables
>> x0,x1,x2;
>> // .....
>>
>> // ViewArray<IntView> xv(home,x);
>> // GECODE_ES_FAIL(home,
>> NewConstraint::Diff<IntView>::post(home,xv));
>> }
>> }
>>
>> To post the constraint i need to create a ViewArray, but i don't
>> understand how to create an IntVarArg containing these variables ?
>
> Just fill the array manually, no need for IntVarArgs:
>
> xv[0] = x0; xv[1] = x1; xv[2] = x2;
>
> Or change the definition of the NewConstraint class to take three
> views instead of one ViewArray.
>
> Cheers,
> Guido
>
>
> _______________________________________________
> Gecode users mailing list
> users at gecode.org
> https://www.gecode.org/mailman/listinfo/gecode-users
Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm
More information about the gecode-users
mailing list


Wave2Letter+¶
Model¶
This is a fully convolutional model, based on Facebook’s Wave2Letter and Wave2LetterV2 papers. The model consists of 17 1D-Convolutional Layers and 2 Fully Connected Layers:
We preprocess the speech signal by sampling the raw audio waveform of the signal using a sliding window of 20ms with stride 10ms. We then extract log-mel filterbank energies of size 64 from these frames as input features to the model.
We use Connectionist Temporal Classification (CTC) loss to train the model. The output of the model is a sequence of letters corresponding to the speech input. The vocabulary consists of all alphabets (a-z), space, and the apostrophe symbol, a total of 29 symbols including the blank symbol used by the CTC loss.
We made the following changes to the original Wave2letter model:
- Clipped ReLU instead of Gated Linear Unit (GLU): ReLU allowed to almost half the number of model parameters, without decreasing the Word Error Rate (WER).
- Batch normalization(BN) instead of weight normalization (WN): we found that BN is more stable than WN, and the model is less sensitive to the weight intialziation.
- The CTC loss instead of the Auto SeGmentation (ASG).
- LARC instead of gradient clipping.
In addition to this, we use stride 2 in the first convolutional layer. This decreased the time (T) dimension of the sequence, which reduced the model footprint and improved the training time by ~1.6x. We have also observed a slight improvement after adding a dilation 2 for the last convolutional layer to increase the receptive-field of the model. Both striding and dilation improved the WER from 7.17% to 6.67%.
Training¶
We achieved a WER of 6.58 (the WER in the paper is 6.7) on the librispeech test-clean dataset using greedy decoding:
| LibriSpeech Dataset | WER %, Greedy Decoding | WER %, Beam Search: 2048 |
|---|---|---|
| dev-clean | 6.67% | 4.77% |
| test-clean | 6.58% | 4.92% |
| dev-other | 18.68% | 13.88% |
| test-other | 19.61% | 15.01% |
We used Open SLR language model while decoding with beam search using a beam width of 2048.
The checkpoint for the model trained using the configuration w2l_plus_large_mp can be found at Checkpoint.
Our best model was trained for 200 epochs on 8 GPUs. We use:
- SGD with momentum = 0.9
- a learning rate with polynomial decay using an initial learning rate of 0.05
- Layer-wise Adative Rate Control (LARC) with eta = 0.001
- weight-decay = 0.001
- dropout (varible per layer: 0.2-0.4)
- batch size of 32 per GPU for float32 and 64 for mixed-precision.
Mixed Precision¶
To use mixed precision (float16) during training we made a few minor changes to the model. Tensorflow by default calls Keras Batch Normalization on 3D input (BxTxC) and cuDNN on 4D input (BxHxWxC). In order to use cuDNN’s BN we added an extra dimension to the 3D input to make it a 4D tensor (BxTx1xC).
The mixed precison model reached the same WER for the same number of steps as float32. The training time decreased by ~1.5x on 8-GPU DGX1 system, and by ~3x on 1-GPU and 4-GPUs when using Horovod.


Simple pricing for Everyone
Fully functional accounts are starting from $19/month only
Professional Pack
$19 / Month
- 10 GB Storage
- 500 GB Bandwidth
- No Domain
- Email Support
- 24x7 Support
Business Pack
$29 / Month
- 50 GB Storage
- 900 GB Bandwidth
- 2 Domain
- Email Support
- 24x7 Support
Enterprise Pack
$49 / Month
- 100 GB Storage
- Unlimited Bandwidth
- Unlimited Domain
- Email Support
- 24x7 Support


The following code processes a payment transaction. Unfortunately, the code executes the payment without verifying that the user is aware of the transaction.
public void ProcessPayment(PaymentInfo paymentInfo)
{
// Prepare and execute the transaction
}
The following code processes a payment transaction. Before executing the payment, the code verifies that the user is aware of the transaction by re-authenticating him.
public void ProcessPayment(PaymentInfo paymentInfo, string username, string password)
{
MembershipProvider membershipProvider = Membership.Provider;
if (membershipProvider.ValidateUser(username, password))
{
// Prepare and execute the transaction
}
}


if ( ASSETCHAINS_ALGO == ASSETCHAINS_VERUSHASH || ASSETCHAINS_ALGO == ASSETCHAINS_VERUSHASHV2 )
{
if ( PoSperc < ASSETCHAINS_STAKED )
{
// This means we are under PoS % required and we need some extra help getting an elegible utxo.
// Likley there is some math required here to make it work properly. But getting the data here is no1 priority.
//coinage = coinage * 1000;
if ( blocktime+iter+segid*2 > prevtime+70 )
coinage *= ((blocktime+iter+segid*2) - (prevtime+60));
}
}
I am tersting this atm, with a higher MINDIFF.


M
M
T
How it works
Why Us
Pricing
Contact Us
Log In
Sign Up
Welcome
Back
Kindly fill in details to sign in
Email Address*
Password*
Forgot Password?
Log In
Don't have an account?
Sign Up


Fast Canvas Table with 23.000 record
link
To-Do
- edit data
- use image if not need to full redraw
Supported
- Webworker
- multi col sort
- custom sort
- mulit group
- over row
- sepra grid
- custom render data
- custom drawing col
- custom style for row and col
- auto scroll X and Y


| Engine Type |
4 Stroke V Twin 75 Deg |
Wankel Rotary Twin Rotors |
| Displacement |
1301cc |
588cc or is it? |
| Camshafts |
Double OHC |
None |
| Valves per cyl |
Four |
None |
| Fuelling |
Fuel Injection |
Twin SU Carbs |
| Lubrication System |
Recirculating 3 pumps |
Total Loss Single pump |
| Engine Oil |
Fully Synthetic 10W-50 |
Monograde 40 Diesel oil |
| Bore/Stroke |
108/71mm |
NA |
| Power |
160hp @ 8750rpm |
85hp @ 9000rpm |
| Torque |
140Nm @ 6750rpm |
75.4Nm @ 7000rpm |
| Compression ratio |
13.1 to 1 |
9 to 1 |
| Cooling |
Liquid |
Liquid |
| Clutch |
Hydraulically operated slipper clutch |
Cable operated wet multi plate clutch |
| Final drive |
Chain 5/8" x 5/16" O-ring |
Chain 5/8" x 3/8" in sealed oil bath |
| Battery |
12 Volt. 11.2Ah |
12 Volt. 28Ah |
| Starter |
Electric |
Electric |
| Frame |
Chromium Molybdenum Steel trellis, powder coated |
Pressed steel monocoque, powder coated |
| Seat height |
860/875mm |
830mm |
| Wheel base |
1560mm |
1486mm |
| Ground clearance |
220mm |
180mm |
| Weight (without fuel) |
230kg |
235kg |
| Front suspension |
48mm WP USD Semi active electronic |
37mm Yamaha XJ 900 units |
| Rear suspension |
Monoshock WP Semi active electronic |
Twin fork with Koni Dial a Ride units |
| Front brakes |
twin 320mm disks with Brembo 4 Piston Radially mounted calipers |
Twin 265mm disks with Yamaha 2 piston calipers |
| Rear brakes |
267mm disk with single Brembo 2 piston caliper |
265mm disk with Yamaha 2 piston caliper |
| Silencer |
Stainless Steel with Catalytic converter |
Stainless Steel |
| Front wheel |
19" tubeless aluminium spoked rims |
18" Yamaha cast tubeless |
| Rear wheel |
17" tubeless aluminium spoked rims |
18" Yamaha cast tubeless |
| Front tyre |
120/70 R19 Continental Attack |
100/90 V18 Pirelli Phantom |
| Rear tyre |
170/60 R17 Continental Attack |
110/90 V18 Pirelli Phantom |
| Fuel capacity |
30 litres |
23 litres |
| Rider and Safety aids |
ABS (including cornering ABS) |
Daytime running lights |
| 4-mode traction control |
Double stop/tail and rear fog lights |
| Ride modes for engine power and semi-active front and rear suspension |
|
| Cruise control |
|
| Tyre pressure monitoring |
|
| LED daytime riding lights |
|
| LED cornering lights |
|
| Heated seats and handlebar grips |
|
| Immobiliser |
|


--- layout: archive title: Zulip Chat Archive permalink: /stream/113488-general/topic/make.20explicit.20argument.20implicit.html ---
Hi, is it possible to temprorarily make an argument implicit? Say, instead of id bool true
, I write something like id _ true
and let the elaborator to infer the omitted argument for me. (id : \forall A, A -> A is completely explicit)
funny, seems lean can already do it exactly like I demonstrated. never knew that.
You can already write id _ true
and the elaborator will infer the argument (though true
is a Prop
, not a bool
).
Did you have something else in mind?
Ah, okay.
A useful trick with this is also to define a notation local notation `id'` := id _
if you want to make an argument implicit in an entire file/section of code.
@Reid Barton good, thanks.
{% endraw %}Last updated: Apr 24 2020 at 19:02 UTC


Click this paragraph to change its background color.
Click the button below and then click on this paragraph (the click event is removed).


The Smart Way to Find Business Software
感谢您的点评！
我们希望了解您对{产品名}的体验
您向朋友推荐该产品的可能性有多大？
0
一定不会
1
2
3
4
5
中立
6
7
8
9
10
一定会
更多
(可选)
行业
请选择...
Accounting
Airlines/Aviation
Alternative Dispute Resolution
Alternative Medicine
Animation
Apparel & Fashion
Architecture & Planning
Arts and Crafts
Automotive
Aviation & Aerospace
Banking
Biotechnology
Broadcast Media
Building Materials
Business Supplies and Equipment
Capital Markets
Chemicals
Civic & Social Organization
Civil Engineering
Commercial Real Estate
Computer & Network Security
Computer Games
Computer Hardware
Computer Networking
Computer Software
Construction
Consumer Electronics
Consumer Goods
Consumer Services
Cosmetics
Dairy
Defense & Space
Design
Education Management
E-Learning
Electrical/Electronic Manufacturing
Entertainment
Environmental Services
Events Services
Executive Office
Facilities Services
Farming
Financial Services
Fine Art
Fishery
Food & Beverages
Food Production
Fund-Raising
Furniture
Gambling & Casinos
Glass, Ceramics & Concrete
Government Administration
Government Relations
Graphic Design
Health, Wellness and Fitness
Higher Education
Hospital & Health Care
Hospitality
Human Resources
Import and Export
Individual & Family Services
Industrial Automation
Information Services
Information Technology and Services
Insurance
International Affairs
International Trade and Development
Internet
Investment Banking
Investment Management
Judiciary
Law Enforcement
Law Practice
Legal Services
Legislative Office
Leisure, Travel & Tourism
Libraries
Logistics and Supply Chain
Luxury Goods & Jewelry
Machinery
Management Consulting
Maritime
Market Research
Marketing and Advertising
Mechanical or Industrial Engineering
Media Production
Medical Devices
Medical Practice
Mental Health Care
Military
Mining & Metals
Motion Pictures and Film
Museums and Institutions
Music
Nanotechnology
Newspapers
Non-Profit Organization Management
Oil & Energy
Online Media
Outsourcing/Offshoring
Package/Freight Delivery
Packaging and Containers
Paper & Forest Products
Performing Arts
Pharmaceuticals
Philanthropy
Photography
Plastics
Political Organization
Primary/Secondary Education
Printing
Professional Training & Coaching
Program Development
Public Policy
Public Relations and Communications
Public Safety
Publishing
Railroad Manufacture
Ranching
Real Estate
Recreational Facilities and Services
Religious Institutions
Renewables & Environment
Research
Restaurants
Retail
Security and Investigations
Semiconductors
Shipbuilding
Sporting Goods
Sports
Staffing and Recruiting
Supermarkets
Telecommunications
Textiles
Think Tanks
Tobacco
Translation and Localization
Transportation/Trucking/Railroad
Utilities
Venture Capital & Private Equity
Veterinary
Warehousing
Wholesale
Wine and Spirits
Wireless
Writing and Editing
公司规模
请选择...
个体经营
1-10人
11-50人
51-200人
201-500人
501-1000人
1001-5000人
5000人以上
点评体验
取消点评


54 (1998)
Director: Mark Christopher Cast: Ryan Phillippe, Mike Myers, Neve Campbell, Salma Hayek, Brecklin Meyer Screenplay: Mark Christopher Producers: Ira Deutchman, Richard N. Gladstein, Dolly Hall Runtime: 95 min. US Distribution: Miramax Rated R: language, sex, drug use
By Nathaniel R. Atcheson<EMAIL_ADDRESS>54 is dull, perfunctory, uninspired, and boring. A greater writer might have created a lyrical sentence for each of those adjectives, flowing in lovely arangements with soaring metaphors. I, however, would rather cut to the chase. 54 is dull, perfunctory, uninspired, and boring. There is nothing in it -- not a glimpse of depth, nor a shimmer of intelligence or insight. There is no electricity in any of the scenes, or a moment of interest in the story or its subplots. And it's underdeveloped, and features an array of bland characters played by actors who think they're in this year's Boogie Nights. They are so wrong. The picture has been assembled by Mark Christopher. Based on this film, I don't know how he got a job in the business.
54 is supposed to be an amazing insight into the world of the dance club of the same name, which originated in the 70s and closed down in the 80s. I don't know if this film went into production after Boogie Nights was released, but Christopher has managed to plagiarize Paul Thomas Anderson's brilliant work in every possible way, from the framework of the plot down to the style of the cinematography. What it lacks is everything that made Boogie Nights great: depth, intelligence, energy, fascinating characters, and challenging themes. 54 can't even measure up to The Last Days of Disco, which is flawed, but still smart and entertaining. It's remarkably bad timing, I'd say, to release a film this tedious after a couple of noteworthy pictures of the same kind.
I have exaggerated, though: there is one interesting character, and one terrific performance. That character is Steve Rubell, played with more perceptiveness by Mike Myers than this limp production deserves. Steve Rubell is the owner of Studio 54, and if Christopher had focused on him, then Myers could have forced a good film out of this wreck all by himself. Alas, we are instead guided to endure the trials of a young man named Shane (Ryan Phillippe), a going-nowhere New Jersey teen who gets a job in the club, thanks to Rubell's homosexual impulses. It's here that he meets his friends, the array of uninteresting characters: his co-worker, Greg (Brecklin Meyer), his wife, Anita (Salma Hayek), and, of course, the love interest, Julie Black (Neve Campbell).
Shane is just an innocent young fool in the beginning, and he has a reasonably sturdy home life. (Some of the scenes with his father border on interesting, while Heather Matarazzo, who plays his sister, pushes Phillippe off the screen.) But he decides to envelop himself in the disco scene, and succumb to peer pressure and to drugs. Why his "friends" push him into drugs is never really explained, but the fact that they are "friends" is questioned only is superficial ways (Greg gets really mad at Shane because he's been elevated to bartender status). There isn't a single conflict that takes center stage, except that Shane has some kind of unexplored reservation with the business in which he works.
Most of the film is dumb, and most of the dialogue is inane. There's a scene late in the film in which Shane confronts Julie Black, and, in the next scene, they're arm-in-arm without a bit of development. Then, they're kissing in a bowling alley! This is five minutes of material, thrown into the picture at the last minute (well past the one-hour mark, and this isn't a long film to begin with). Campbell is a talented actress, but she needs a role that gives her a little depth. This one doesn't. And Phillippe has almost no presence whatsoever; this performance pales in comparison to Mark Whalberg's star-making role in Boogie Nights.  I guess he was picked for the color of his hair and the shape of his body, but he seems pretty lanky to me. He's all wrong for a lead role, but it doesn't help that Christopher has forgotten to develop his characters.
The rest of the performances are wasted. Hayek is an energetic, talented young actress, and does almost nothing here. Meyer is endearing, but allowed to be no deeper than cardboard. Only Myers, by sheer force of talent, manages to rise above Christopher's wading-pool of a script. Rubell has been written just as depthless as the rest of the characters, but Myers is good enough to inject subtleties that help round out the performance. In fact, Myers is the sole reason to see 54, and all it really does is make you wish that the film had revolved around him.
I've read that Studio 54 has been recreated down to the last detail. Frankly, I don't care. It's easy to recreate something technical like this.  Besides, Christopher keeps the lights so low that the sets are invisible, anyway. Aside from Myers' performance, 54 is a complete failure. It's dull, perfunctory, uninspired, and boring. Some may find my comparisons to Boogie Nights unfair, but they're so obvious to me. In any event, 54 is pallid without the contrast. It doesn't even work as mindless entertainment: it's so shallow that the most escapist viewers are likely to dismiss it. So, don't forget those key words: dull, perfunctory, uninspired, and boring. Everything else I said was just padding.
*1/2 out of **** (3/10, D)
Visit FILM PSYCHOSIS at http://www.pyramid.net/natesmovies
Nathaniel R. Atcheson
The review above was posted to the
rec.arts.movies.reviews newsgroup (de.rec.film.kritiken for German reviews).
The Internet Movie Database accepts no responsibility for the contents of the
review and has no editorial control. Unless stated otherwise, the copyright
belongs to the author.
Please direct comments/criticisms of the review to relevant newsgroups.
Broken URLs inthe reviews are the responsibility of the author.
The formatting of the review is likely to differ from the original due
to ASCII to HTML conversion.
Related links: index of all rec.arts.movies.reviews reviews


--- layout: archive title: "Lab Members and Collaborators" permalink: /people/ author_profile: false member_categories: - faculty - PhD graduate - postdoc - graduate student - research intern - research staff - lab visitor --- {% comment %} ======================= The following part extracts all the tags from your posts and sort tags, so that you do not need to manually collect your tags to a place. ======================= {% endcomment %} {% assign rawtags = "" %} {% for person in site.people %} {% assign ttags = person.portfolio-item-tag | join:'|' | append:'|' %} {% assign rawtags = rawtags | append:ttags %} {% endfor %} {% assign rawtags = rawtags | split:'|' | sort %} {% comment %} ======================= The following part removes dulpicated tags and invalid tags like blank tag. ======================= {% endcomment %} {% assign people_tags = "" %} {% for tag in rawtags %} {% if tag != "" %} {% if people_tags == "" %} {% assign people_tags = tag | split:'|' %} {% endif %} {% unless people_tags contains tag %} {% assign people_tags = people_tags | join:'|' | append:'|' | append:tag | split:'|' %} {% endunless %} {% endif %} {% endfor %} {% assign categories = "" %}


ContractWrapperGenerator
public class EthereumContractWrapperGenerator extends java.lang.Object implements ContractWrapperGenerator
Classes built by this generator can natively convert the following application binary interface (ABI) types to their corresponding Java type and vice versa. However, be careful of potential precision loss when using primitive value types for big numbers.
| ABI Type | Java Type |
|---|---|
| bool | boolean |
| bytes, bytes8 - bytes256 | byte[] |
| uint, uint8 - unit256, int, int8 - int256 | BigInteger, byte, short, int, long |
| string, address | String |
| static array, dynamic array | [], List<> |
For every other type, type converters need to be registered.
However, in order to convert lists and arrays of custom objects, only a type converter for the specific object is
required.
Consider the following example. Assume the smart contract's method 'getSpecialObject' returns a uint[].
In order to be able to convert the smart contract result to List<SpecialObject>
,
only a type converter is needed that is able to handle objects of type SpecialObject
, arrays and lists
are unrolled automatically. The same applies for arguments.
public interface MyContract {
List<SpecialObject> getSpecialObjects();
public class SpecialObject {
public int number;
}
}
ContractMethod.isReadOnly()
, MethodInfo.isReadOnly()
)
has no effect.
Specifies the gas price used for the transaction in Wei.
If no such parameter is declared or its value is passed as null, a default value will be chosen.
A parameter declared as such needs to be of type BigInteger
or Number
.
Specifies the gas limit used for a transaction.
If no such parameter is declared or its value is passed as null, a default value will be chosen.
A parameter declared as such needs to be of type BigInteger
or Number
.
Specifies the amount of Ether (in Wei) to be sent in a transaction.
If no such parameter is declared or its value is passed as null, no Ether will be sent.
A parameter declared as such needs to be of type BigInteger
or Number
.
A method marked as special method and named 'deploy' (Constants.DEPLOYMENT_METHOD
) is mapped
to the constructor of the Ethereum smart contract. All parameters not marked as special arguments are converted
and passed to the constructor.
Such method can either be void
or return String
. In the later case, the address to which the
contract has been deployed is returned.
In order to be able to deploy the smart contract, its EthereumContractInfo
needs to specify the contracts binary.
| Constructor | Description |
|---|---|
EthereumContractWrapperGenerator(java.util.function.Supplier<org.web3j.protocol.Web3j> clientFactory,
java.util.function.Function<org.web3j.protocol.Web3j,org.web3j.tx.TransactionManager> transactionManagerFactory,
TypeConverters typeConverters) |
Initializes a new
EthereumContractWrapperGenerator . |
| Modifier and Type | Method | Description |
|---|---|---|
<TContractInfo extends ContractInfo<TContractType,?,?>,TContractType> |
generate(TContractInfo contractInfo) |
Generates a new wrapper for the smart contract described by
contractInfo . |
getWrapperName
public EthereumContractWrapperGenerator(java.util.function.Supplier<org.web3j.protocol.Web3j> clientFactory, java.util.function.Function<org.web3j.protocol.Web3j,org.web3j.tx.TransactionManager> transactionManagerFactory, TypeConverters typeConverters)
EthereumContractWrapperGenerator
.
For each contract wrapper, a new instances of Web3j
and TransactionManager
are retrieved via its factories.
It is possible for those factories to always return the same instance.
clientFactory
- factory producing Web3j
instances for communicating with an Ethereum node.transactionManagerFactory
- factory producing TransactionManager
instances for authorizing transactions. An instance of Web3j
produced via clientFactory
is passed to this function.typeConverters
- additional TypeConverter
, may be nullpublic <TContractInfo extends ContractInfo<TContractType,?,?>,TContractType> TContractType generate(TContractInfo contractInfo)
contractInfo
. contractInfo
needs to be of type EthereumContractInfo
.generate
in interface ContractWrapperGenerator
TContractInfo
- type of the contract info, required to be EthereumContractInfo
TContractType
- Java interface declaring the smart contracts methods and eventscontractInfo
- contract info representing the smart contractTContractType


<nui-popover>
is a popup control that can contain any HTML markup and be applied to block or
in-line elements. It can basically be thought of as a more data-rich tooltip.
NuiPopoverModule
A simple popover can be added to the page by adding an <nui-popover>
element and passing
a TemplateRef<string>
value to the template
input. The provided template serves
as the popover's body content. The simplest way to do this is to create an ng-template
element and pass its
template reference variable name to the template
input.
To debounce the displaying of the tooltip provide the time in milliseconds via the delay
input.
To add a title to the popover, pass a string via the popoverTitle
input.
If you need to hide overflow of long strings (for example long url) just wrap your popover content with div
which has overflow: hidden
.
Note: Popover must be used as an attribute when the trigger
input is set to 'focus'.
See the focus example under Trigger Events below.
Popover supports four trigger events: 'click' | 'mouseenter' | 'mouseleave' | 'focus'. To specify a trigger, set the
trigger
input to one or more of the supported events. If no event is not specified, 'mouseenter' will be used
as the default.
A popover can be configured to react to more than one event by specifying multiple trigger events as in the example below.
trigger='click mouseenter'
Note: The 'focus' trigger is only available when Popover is used as an attribute. See Usage as an Attribute above.
To allow the user to interact with components within the popover such as a checkbox, link, etc. and prevent
the popover from closing when this content is cliсked, set the preventClosing
input to true.
The default value is false
.
In this case popover can be closed via nuiClosePopover
subject that you provide to
nuiPopoverDirective
or closePopover
of PopoverComponent
.
So when you need to close popover you just call next()
method of this subject. No arguments are required.
Passing an HTMLElement via the container
input tells the popover which element to append itself to.
By default the popover is appended to the document body. The simplest way to do this is to append an Angular template
reference variable name to the container element and pass the name to the container
input.
Setting the hasPadding
input to false removes all padding from the popover body. hasPadding
is true by default.
Setting the unlimited
input to true removes all maximum and minimum limitations for width and height of the popover body.
unlimited
is false by default.
The (shown)
output emits an event upon display of the popover.
The (hidden)
output emits an event upon disappearance of the popover
To specify placement of popover set the placement
input to 'left', 'right', 'top' or 'bottom'.
The default is 'right'.
Note: Popover adapts to available space around it. So, if you set placement="left"
but there is not enough
free space on the left, the popover will be displayed to the right instead.
Pass an icon name to the icon
input to display an icon in the popover.
If the popover has a title, the icon will display to the left of the title. If, however, the popover does not have a title, the icon will be displayed to the left of the popover body.
If you want to use popover with status indicator overlay and underline, you can achieve it by writing your own markup like in the example below.
To display a popover in a modal style (with a darkened backdrop between the page and the popover)
set the modal
input to true.
To prevent popover from showing set the disabled
input to true
To open or close popover programmatically do next steps:
trigger="openPopoverSubject"
.
Subject
as input to [closePopover]
and [openPopover]
inputs.
this.openPopoverSubject.next()
or this.closePopoverSubject.next()
on needed event to trigger popover.


Preacher Sla:
What's this, then? Hmm...
(Preacher Sla reads Pupina's letter of recommendation.)
Well, well. You might be a person I can civilly converse with after all. Tell me, stranger, why are you here?
Give him the Temple Manifesto.


EVI-DSS documentation¶
EVI-DSS is a decision support system for electric vehicle infrastructure (EVI) design for the state of Washington, USA. The underlying modeling framework is general enough that the tool can be used at any scale, any where.
Note
The live demo of the EV Infrastructure Designer is here and some sample runs can be seen in the Results Viewer here.
The decision to build EVI is a complex one and is dependent on several factors. EVI-DSS uses combination of models to predict the EVSE utilization. The documents detail the various components of the EVI-DSS system and the component models involed.


- Canvas width (
u_resolution.x
): - Canvas height (
u_resolution.y
): - Mouse X (
u_mouse.x
): - Mouse Y (
u_mouse.y
): - Time (
u_time
):
This is a little showcase I made to show some fragment shaders I wrote; most of them
solutions for exercises for the excellent Book of Shaders.
The shaders are rendered using WebGL and Javascript; I also use the glmatrix library for linear algebra.
The code is editable live and the preview will be updated once the compile button below is activated,
or if auto-recompile is enabled, whenever the code is edited. Reset resets to the last successfully compiled
code. Save saves the fragment shader as a GLSL file on the harddrive.
A view below the preview shows uniforms and their values: u_time: float
is the time since page load.
u_mouse: vec2
is the mouse position on the canvas. u_resolution: vec2
is the canvas
resolution.
u_resolution.x
): u_resolution.y
): u_mouse.x
): u_mouse.y
): u_time
):


--- layout: post title: Meet the Teen Behind A Hugely Successful Android Messaging App thumbnail: /img/qksms-screenshot.png ---
I bet you didn’t drop out of college, build two companies, and launch an app with 200,000 users and rave reviews. Unless, of course, you’re today’s Geeky guest.
Moez Bhatti, did just that, and he’s already onto his next big idea, which has 10,000 beta users.
In this interview, we explore the secrets to his success, and his plans for the future.
Michael: When and why did you decide to build QKSMS?
Moez: I started working on it near the end of grade 11, so about two years ago It was about 2 months after I started learning android development.
At first it wasn’t going to be a full-features SMS app, it was just going to be a simple “quick-reply” window that you could use with any app. I wanted to do that because I thought it would be pretty easy, and because it was something that I actually wanted to use because all of the other quick-reply features in the big SMS apps were either too ugly, too slow, or part of an app with too much bloat. I wanted something that I could customize, and use with any SMS app.
I worked on it on and off for about 4–5 months, and then just before I was ready to release it, Google announced 4.4 Kitkat with new SMS APIs.
The major problem with this was the concept of a “Default SMS app”, which meant that if your app sent SMS, it’s the only app on the user’s phone that can send SMS. This wouldn’t work for me, because the user would *only* be able to reply to messages using my app. They couldn’t compose new ones, browse their SMS threads, etc.
At this point I had to decide if I was going to scrap the project, or go all out and make a full SMS app. And that’s what I picked.
I worked on QKSMS on and off for about 8 months and used it as a project to help me learn android development in my free time. Then, about a year ago I launched the alpha. That ran for a few months, and then in November I released the public version.
Michael: Is this the first app you’ve ever released?
Moez: Yes it is.
Michael: 200,000 downloads in six months is really impressive. What have you done to market your app?
Moez: I haven’t done any paid marketing, so it’s mostly just organic growth. I stay active with my users on reddit, and every few months I make a post talking about the progress, letting people know what’s new, et cetera. Last month I did a giveaway where I gave out 10000 premium activation codes for QKSMS+, which got quite a bit of attention. I may explore some paid marketing options in the near future, like banner ads, but I’m not really sure yet.
Michael: What did you do to kickstart your growth?
Moez: I shared it to Reddit’s R/Android and asked for feedback.
[In case you’re curious -> The text of that Reddit post, which received 200 upvotes and 210 comments]
Michael: Tell me a bit about your design process. Do you start your designs on paper, or go straight to prototyping/mocks?
Moez: In the beginning I just started building things right away Nowadays I use Sketch to mock things up before building them Pen and paper was never very useful for me for UI work
Michael: Alright. What IDE (Integrated Development Environment) do you use?
Moez: Android Studio, all the way. I’m a huge advocate for AS over Eclipse.
Michael: What other tools do you use to develop this?
Moez: Sketch (mockups), Photoshop (creating assets), Genymotion (testing multiple sizes). I also use Slicy for exporting assets… And git, if you count that (laughs).
Michael: Yeah. Git is life. That counts. Funny story actually. I run this blog through Github.
Moez: Alright. Add it to the list.
Michael: What operating system do you develop on?
Moez: OSX.
Michael: What’s your setup like?
At work I’ve got two 24” 1080p IPS monitors running off a 13” MBP (2015). At home I’ve got two 28” 4k monitors running off of my custom built desktop which is light-years ahead of this macbook.

Moez: Originally I left school to work for Enflick. I got the job at Enflick about 2 weeks after starting college, back in September of last year. I was working on OneSet and QKSMS on the side, but after about 6 months I realized that what I really want to do most is make something of my own.
Right now the majority of my time is spent working on OneSet, which is a fitness-based startup. It’s a community where users can share workout ideas through 15 second videos, and photos with the next update.
Michael: What are your future plans for QKSMS?
Moez: With QKSMS I’m just constantly working on making it more stable, as that’s the weak point right now. That, and MMS. Hopefully within the next few months I can develop those to the point where they’re not problems.
Michael: What feature has been most popular with your users? What makes QKSMS special?
Moez: People love the theming It’s by far the most beautiful SMS app, especially after the most recent update. I’m a very UI-focused developer, so I make sure there’s a lot of attention spent on little details that help make a delightful experience. Things like the level of customization, how everything looks so clean yet functional, subtle animations, etc.
So to sum it up into one word, the design is what makes it stand out most, in my opinion.
Michael: What’s the best example of this attention to detail?
Moez: The way that the theming is done. I’ve never seen an app that does it as seamlessly as QKSMS.
For pretty much any other app you see, when you change the theme, it’ll essentially reload the app using the new attributes. Some apps are pretty good at hiding it, but you’ll still notice things like janky animations and stuff like that.
With QK I built a pretty cool system that allows me to dynamically theme the entire app seamlessly. Currently I’m working on a feature that allows the user to pick from an RGB color picker with access to over 16 million colors. Because I’m doing everything dynamically at runtime, it was so easy to implement that it only took about 20 minutes and while making it easier for me, it makes for a much nicer experience for the user because they can animate or change anything they want.
Michael: That’s inventive. I understand you also sell a premium in-app purchase.
Moez: Premium costs $1.99 US It gives you: 200 extra themes (this will increase to 16 million in the next update) Delayed messaging Per-contact notifications Automatic night mode Custom quick-responses for Android Wear Scheduled messaging (coming soon)
Michael: I know iOS is really restrictive with 3rd-party access to messaging. Is it even possible to port something like this to iOS?
Moez: It’s not possible, at least not for users on unjailbroken phones, and I don’t think the market of rooted iOS users who want a 3rd-party SMS app is big enough for it to be worth doing.
Michael: Agreed. Tell me a bit more about OneSet. When did you start work on that?
Moez: We started it back around August. A couple of my cousins were very involved in the online fitness world, and what they found was that there wasn’t really a good place to consume fitness content on the go. Of course there’s YouTube and Instagram, but each have their own problems. The videos you find on YouTube are generally too long, and you find yourself skipping through them just to find the important stuff. And with Instagram, it’s far too cluttered. There’s a major lack of organization, and there’s tons of spam that you don’t really care about.
OneSet solves both of those problems by keeping videos at 15 seconds or less, and all of the content is completely categorized by muscle group and fitness type.
Michael: Solving a problem you experience. The time-honored theory of entrepreneurship. How many users do you have?
Moez: We launched the Android beta about 2 months ago, currently we have around 10,000 beta users We expect a major jump once our iOS version goes live though. We just submitted it for review last night!
Michael: It seems like Vine for fitness. Is that correct?
Moez: That’s our tagline!
Michael: It looks great. I almost created something in that category years ago. I was struggling to find golf-specific workouts, so I almost built an app where users could post short exercise videos categorized by sport.
Moez: Eventually we may be adding more deep levels of customization like individual sports, but right now we’re just keeping it nice and lean and seeing what the users are looking for.
Michael: What’s your role in all of this?
Moez: I’m the designer, and the lead on the Android development side.
Michael: What tools are you using to gather user feedback and track engagement? What key metrics are you tracking?
Moez: We’ve got an option in the app that’s very visible that allows people to email us with feedback.
We use Google and Flurry analytics. Some of the more important metrics we watch for are our daily active users, new users, screen views, video views, which categories people are clicking on, etc.
…And retention, one of the biggest ones and I forgot to mention it(laughs).
Michael: How often do people email you? Is it more complaints, compliments, or feature requests?
Moez: We generally get a couple a day In the beginning we had some complaints about our video loading performance, but we’ve done a lot of optimizations since then and more recently it’s been mainly feature requests
Michael: What features are users asking for?
Moez: One of the biggest one was auto-playing videos, like on Vine We actually just released this a couple days ago though. Previously you had to tap the video to get it to load
Push notifications was another thing that we revamped recently, due to user requests Now they provide a lot more contextual actions, so they’d take you to the user or video or whatever is the relevant place to go, rather than just opening up the notifications page.
Michael: Are you running this off of Amazon Web Services?
Moez: Yeah.
Michael: Serving video can get expensive.
Moez: We are for now, but we’re in negotiations with investors.
Michael: So what’s the ultimate dream?
Moez: Just to get it to a point where it’s as big as it can possibly be, and people love it.
Michael: I love the passion. Thanks for your time.
Moez: No problem.


{% extends "global/Base.html" %} {% load staticfiles otree_tags %} {% block title %} Dividend Distribution (Period {{ round_num }} of {{ num_of_rounds }}) {% endblock %} {% block content %}
The dividend per share for Period {{ round_num }} is {{ group.dividend_per_share }}. You have {{ player.shares }} shares thus receive {{ dividend_gain }} for dividends in total. Now your positions are the following:


9
1 Now about this collection of money for the believers in Jerusalem—all those people whom God has set apart for himself, I really do not need to write anything more to you.
2 I already know that you want to help, and I praised you for this to the believers of Macedonia. In fact, I told them that you and the other people of the province of Achaia, have been preparing for this collection since last year. Your enthusiasm is an example that has moved the believers of Macedonia to take action.
3 For I am sending the brothers ahead of me, so that when they meet you, they will see that we did not praise you for nothing; I also sent them ahead of me so that you would be ready to finish the work, as I promised others you would be.
4 I am afraid that some Macedonians might come with me when I come a little later, and that they might find that you are not ready to give all that you want to give. If that happens, we will be ashamed that we spoke so well about you—and you would be ashamed, too.
5 I decided it was necessary to make every effort to send the brothers to you, so they could set in order everything necessary to receive the money you have promised to give. In this way, this money will be something you freely offer, rather than a tax that we make you pay.
6 The point is, anyone who sows very little seed will also have a small crop to harvest, but anyone who sows a great amount of seed will gather a great harvest.
7 First decide in your heart how much money to give, so when you give it you will not regret doing it. You should not feel that anyone is forcing you to give, because God loves a person who is happy to give.
8 God can give you all kinds of gifts more and more, so that you will always have what you yourselves need, and also enough to do good things with.
9 As it is written in the Scriptures:
"He gives good things to people everywhere,
and he gives to the poor what they need.
He does these things forever.
10 God gives seed to the one who sows, and he gives bread to one who bakes it. He will also supply your seed and increase what you are able to give away to others.
11 God will make you rich in many ways, so that you can be generous. As a result, many others will thank God for what they receive through the work that we apostles have done.
12 We receive this money, not only to help our Christian brothers and sisters in need; we also do it so that many, many believers will thank God.
13 Because you began this task, you have shown what kind of people you are. You honor God by obeying him and believing what he says in the good news about Christ. You also honor him by giving generously.
14 The ones to whom you will give will greatly desire to see you; they will pray for you, because of the wonderful way in which God has been kind to you.
15 We give thanks to God for this gift from him—his gift is so great we cannot express it in words.


Verizon-Wireless
Verizon-Wireless UX Design & Presentation Layer Development
Delivered the needs’-based presentation layer for an internal ad CRM from the ground up alongside a software engineer. Prototyped the tablet experience for VZW's account management and device management interfaces. Reused my HTML/CSS to create a responsive, living pattern library while single-handedly refactoring the client-side markup and style sheets from offshore teams.
My second major contracting gig came in 2012 and relocated me to Atlanta, GA where I had attended college. I was attached to an in-house development team that collaborated with offices across the globe. I attended daily conference calls/stand-ups with various USA and offshore teams in India delivering UX Design and prototypes.
I was mostly responsible for the wireframing exploration and creation of tablet prototypes then I also circled back to help reign in the front-end markup for the presentation layer of the desktop experience.
Two of my most memorable experiences working with Verizon team:
Working with Bill: I was paired with a backend developer who was a genius. He knew it, I knew it... Everyone knew it. We were tasked with a package delivery content management tool that he wasn't too thrilled about since his skills far exceeded the requirement. I was tasked to come up with the UX and the UI and paired to "develop" the tool with him. After laying it all out in a whiteboarding sessions via sketching I took pictures an emailed to everyone. He got to work immediately with Java, Struts, and the rest of his tools... A few days later he wanted me to run some SQL commands that I had no idea about and then he started to hit me off with all sorts of programming questions that again... I knew nothing about. He was furious like, "How did you get this job?!" Thinking that I was going to need to know everything he did to pull it off. I kept telling him just keep on keep on. Here is the HTML for the forms, use this bit of markup in your code...  The next day I was like, give me six hours... and six hours later our UI was nearly completed. He came back and apologized and said he didn't realize that that was what I could do with CSS and jQuery. He was delighted and apologized again for his brash demeanor towards me and asked why I never said anything. I just laughed and said, "I wanted to see how mad you could get, I told you I wasn't a developer." We went out for lunch afterwards, he treated me to Chipotle, and had a good working relationship after that.
Working with Charlie: I was working on prototyping a tablet experience that I found to be very likened to the desktop experience and suggested we develop their presentation layers together (HTML/CSS). After finishing the prototype I was asked to circle back and help with the desktop version that had been developed by the offshore team and to my dismay I found a site that in almost no way shape of form matched the creative documents. I was asked to work with a developer in New Jersey, CHARLIE (MURPHY) GROLL, and fix it. With Thanksgiving approaching and a mess of nasty nested divs and spans and horrible CSS I told Charlie calm down, I have this, despite the other design team asking me "What's version control?" I began to refactor with a SMACSS approach and re-laid out the entire site and then sent Charlie a copy and told him to find areas of the site and we'll divvy the work out and begin to refactor based on the markup and styles I sent him. A day or so into it he was livid thinking we were screwed. But a few days later and IE7, 8, 9, Mozilla, and WebKit all looking as anticipated we were almost there. I had Charlie code up some STRUTS like I was familiar with JSTL and the site was getting better and better by the day. Total win! Him and I have kept in touch since leaving Atlanta, even though I never met him, but he's cool and I hope to race him from NJ to NYC someday on a bicycle! ** UPDATE ** I MET CHARLIE! His friends from Rutgers were in Seattle and he came out to hang out pre-marriage with one of them and about of a dozen of us went to the Alpine Lakes Wilderness and hiked to Dragonstail! I shook down their gear and showed them how to get the most out of a 20L for a weekend. No reason to carry a 60L! It's just 3-4 days on trail! Charlie's awesome!
February 2012-December 2012 / Atlanta, GA


Specifies the resources role that Jenkins scheduler will receive offers for. If role is set to
* (default), it will receive offers for unreserved resources. If role is set to something
else (e.g., jenkins), it will receive offers for only reserved resources of the given role.
See the Mesos Documentation for
details.


§661-23 Evidentiary determination; burden of proof. A determination that a person has violated the provisions of this part shall be based on a preponderance of the evidence. [L 2000, c 126, pt of §1; am L 2001, c 55, §28(2)]


Death rejected for man who killed ex-girlfriend's parents
by EndPlayCOLUMBUS, Ohio (AP) - The Ohio Supreme Court has rejected the death sentence for a man convicted of killing his ex-girlfriend's parents with a sledgehammer and ordered a new sentencing hearing.
Shawn Ford Jr. was convicted by a Summit County jury in 2015 of aggravated murder and other charges in the slayings of Margaret and Jeffrey Schobert two years earlier.
Defense attorneys argued that Ford's low IQ should have prevented the judge from sentencing their client to death. The high court's 5-2 ruling on Thursday upheld Ford's conviction but ordered a hearing to determine if Ford's intellectual disability prohibits his execution.
Summit County Prosecutor Sherri Bevan Walsh said the judge and jurors correctly determined that Ford should be sentenced to death. Walsh said she'll continue to fight for justice for the slain couple.


| DOSE: |
480 mg |
oral |
DXM |
(pill / tablet) |
[Erowid Warning: Most Coricidin contains CPM (Chlorpheniramine Maleate) which can be dangerous in high doses. See DXM Brand Warnings for more info.]
My friend and I were planning on going on a Robo-trip, so we each took 16 Coricidin tablets. I took 8 at first, but he insisted I finish the box. He downed his, threw up, and I went into the bathroom to throw up. As soon as I threw up I started seeing stars, like someone had punched me in the head or something. I layed down on the couch and looked outside. It was dark and grey. I knew I took too many. I didn't want anyone to touch me or anything like that. I told my friend I was going to die, and he said to me, 'no, you're not.  I didn't know what he was talking about, and I replied, 'It's okay. Everyone dies someday and today is my day to die.'
He went downstairs, and I picked up the box to try and find a 1-800 number to call about an overdose. I didn't find one, so I called 9-1-1. As soon as the guy answered I said, 'I just took a box of cold pills and I'm going to die.' An ambulance came over and I was hysterical in the back of the ambulance. They gave me some charcoal to drink (which tastes nasty) and left me in a room to trip.
I finally came down about 3 hours later, and decided I wanted to leave; so I pulled off my electrodes and pulled out my I.V.  They got a security guard to watch me after that, but I must say I will never put that crap into my system again. Be very careful with this drug, it will enhance whatever mood you're feeling at the time. Just because it's legal, doesn't mean it's safe.
Experience Reports are the writings and opinions of the individual authors who submit them.
Some of the activities described are dangerous and/or illegal and none are recommended by Erowid.


{% extends "layout.html" %} {% block main %} {% set k = pca_terms.shape[1] %}
K = {{k}}, N = {{pca_docs.shape[0]}}
The loadings of each component represent the words associated with each component. Each component is effectively a language model, where each word is assigned aweight ranging from −1 to +1. Words that cluster at each end of the spectrum -- words with very high or very low (negative) weights -- may be considered topics or themes that characterize the corpus. We consider the top 15 positive and negative words for each component.
{% set max_var = pca_items.explained_variance.max() %} {% for item in pca_items.index %} {% set var_percent = (pca_items.loc[item, 'explained_variance'] / max_var) * 100 %}➕ {{pca_items.loc[item, 'pos']}}
➖ {{pca_items.loc[item, 'neg']}}


RT @superdealloc: Just pushed v0.0.1 of Journalist into http://rubygems.org
Also set up an org at http://github.com/journalistrb
9/18/2014, 12:43:13 PM
Favs: 0
Retweets: 0
link--- layout: tweet ---
RT @superdealloc: Just pushed v0.0.1 of Journalist into http://rubygems.org
Also set up an org at http://github.com/journalistrb
9/18/2014, 12:43:13 PM
Favs: 0
Retweets: 0
link


CUT.COM
Utility allowing to peak a part of a file and copy or append it to another
file. The format is :
CUT From-file To-file length offset [/A]
To-file will have added up to length bytes of From-file, starting at offset.
If the switch /A is specified, then datas will be appended to To-file,
otherwise To-file will be replaced.
This small utility is useful to take parts or file, or to do copy/paste
with either binary nor ascii files.
Together with the specification of the offset in the XGET command, in case
of crash, first note the amount of datas already received (ie : 50300), save
the part of the file already received, and then ask "XGET filename 50000".
The transfer will start at offset 50000 and then you will be able to receive
the end of the file. The paste the two parts, either with COPY command or
with the CUT command. It is more secure to cut the first received part before
as the last bytes should be garbaged.
This page was last updated


:::: Wednesday, Feb 25th, 1pm, @ Recital Room, Falmer House 120 ::::
This talk will present the work Robert Thomas has been exploring with various companies over the last 5 years. He will be discussing how while music making technology has evolved radically over the last 20 years, the process of music distribution and the form of music itself has remained conceptually the same for many decades, stretching back to the beginning of recorded music and beyond. Through a range of projects he will present how music which is distributed as software, and using sensor technology, can behave in exciting new ways and relate very directly to user experience. The discussion will range from apps on smartphones, to wearables, VR and AR. Finally Robert will discuss how music as software can perform a quantifiable function for listeners. No longer ‘just’ entertainment – music can become a tool to achieve practical goals and create value or reduce risk.
Following the talk Robert will host a workshop demonstrating and under the hood view of how some of his projects work technically.
Robert Thomas, Adaptive Music Composer and Sound Designer
Over the last 10 years Robert Thomas has worked as a composer, sound designer, audio programmer and experience designer across a wide range of innovative projects. He specialises in innovative technical projects which often involve ways music and sound can adapt to listeners behaviour.
Robert is currently working on music apps which change based on heart rate and movement, using devices including the Apple Watch. Meditation music apps which create music out of the users brainwaves ( via EEG ) and help them meditate better. He has just completed an interactive virtual reality exhibit for a major TV brand using Oculus Rift. He has also worked on sound and music for the first holographic portrait of HRH Queen of England, video games ( published by Nintendo ) and concerts / ambisonic 3d sound installations ( with Imogen Heap for Reverb Festival 2014 ).
Previously Robert was CCO at RjDj where he worked on the viral hit app Inception The App. This app was no1 in the App Store and has had over 6 million downloads. He has collaborated with Hans Zimmer, Imogen Heap, Air, Carl Craig, Little Boots, Bookashade, Jimmy Edgar, Chiddy Bang, Console / Acid Pauli, Sophie Barker (Zero 7) and Kirsty Hawkshaw (Opus III, Orbital, Tiesto).


Problematic PDB Files¶
We include here an excellent overview of common problems in PDB files by Eric Martz. The original text is available here <https://www.umass.edu/microbio/chime/pe_beta/pe/protexpl/badpdbs.htm>_
Most published PDB files are handled correctly by PE, including those with sequence insertions or sequence microheterogeneity. (For further explanation and examples, see the help on Sequence Irregularities, also available from within the Sequences and Seq3D displays.) Disulfide bonds in multiple-model PDB files. A bug in Chime, makes it fail to separate disulfide bonds according to model in multiple-model PDB files, typically resulting from NMR experiments. The consequence is that when all models are displayed (in PE’s expert mode, or in the NMR Models/Animation control panel), spurious disulfide bonds are drawn between different models. An example is 1AS5.
Alternate Locations (Rotamers). Many, perhaps the majority, of PDB files have coordinates for alternate locations (rotamers) for a subset of the sidechains. Chime has no mechanism to distinguish these, and simply displays both rotamers on top of each other. Further, since Chime assigns covalent bond positions based on interatomic distances, it typically shows spurious bonds between atoms in the two rotamer positions. For example, 1CBN contains alternate rotamer positions for Thr1, Thr2, Ile7, Val8, Arg10, and so forth. In rare cases, even the alpha carbon atoms also have slightly different positions (Thr1 in 1CBN). Visualization programs that handles alternate locations much better include Cn3D and Jmol.
Sequence Irregularities: The following PDB files, published in the Protein Data Bank, have sequence irregularities that are handled incorrectly by PE.
When inserted residues lack insertion letters (probably illegal according to the PDB format specification), PE fails to show the inserted residues in Sequences/Seq3D. For example, the single unnamed chain in 1DPO contains insertions at postions 184 (Gly, Phe), 188 (Gly, Lys), and 221 (Ala, Leu) but no insertion letters. Clicking on Gly184 in Seq3D highlights both Gly184 and Phe184.
When insertions have more than one copy of the same amino acid (or nucleotide) in a single insertion block, clicking one copy in Seq3D highlights all copies within the same insertion block. For example, chain B in 1IGY contains a block of four residues inserted at sequence position 82. The block contains Leu-Ser-Ser-Leu. Clicking on either Leu highlights both of them in the molecular view, and similarly for either Ser. This results from the inability of Chime to use insertion codes in selecting atoms. For example, Chime cannot distinguish Leu82 from Leu82C.
PE always labels amino acids within an inserted block in alphabetic order, starting with A, in PE’s Sequences and Seq3D, regardless of how they are labeled in the ATOM records of the PDB file. For example, chain E in 1HAG begins with 1H, 1G, 1F, … 1A, then 1 (in reverse alphabetic order). PE labels the inserted block 1, 1A, 1B, 1C, … 1H (in alphabetic order). This is due to design flaws in PE. Because these cases are rare, the effort to remedy these flaws doesn’t seem worthwhile.
Sequence numbers in decreasing order within a single chain cause PE’s Sequences report to contain errors, and cause Seq3D to fail to work properly. This is due to design flaws in PE. Because these cases are rare, the effort to remedy these flaws doesn’t seem worthwhile. An example is 1NSA, which contains a single (unnamed) protein chain with sequence 7A-95A that continues 4-308. Another example is 1IAO, which contains in chain B (in this order) 1S, 323P-334P, 6-94, 94A, 95-188, 1T, 2T. PE detects such situations and alerts the user that the Sequences/Seq3D displays are garbled.
Chain naming irregularities.
When a single PDB file contains both an unnamed and named chains, PE’s mechanisms that depend upon chain names fail. This is probably quite rare, but occurs in 4CPA, where QuickViews’s SELECT menu lists the unnamed chain, but clicking on it selects all chains. Also, in Seq3D, clicking on D16 in the unnamed chain highlights D16 there and in chain I (which also happens to have D at position 16).
For reasons not apparent (by inspection of the PDB file), Chime’s “show sequence” report fails to include the chain name “A” for 1QCQ. This causes PE to think the chain has no name. In ConSurf, this causes PE to fail to apply the conservation colors in Seq3D.


So you want some random words, do you? Try these:
random-word: returns a random english word with length between min and max
random-isogram: returns a random english isogram with length between min and max
So you want some random words, do you? Try these:
random-word: returns a random english word with length between min and max
random-isogram: returns a random english isogram with length between min and max


Shout This!
Length: {{ shoutThis.length }}
Shouted: {{ shouted }}
Substring: {{ (shoutThis.length >= 6) ? shoutThis.substring(1, 5) : shoutThis.substring(0, 0) }}
Palindromic: {{ palindrome }}


US House Democrat Neal: No deal on USMCA today
by Ross J BurlandUS House Democrat Neal: No deal on USMCA today...
Key comments:
- Progress was made.
- Could be discussed later in year.
FX implications:
there were already doubts following House Speaker Nancy Pelosi stating that Congress has enough time left to pass the USMCA this year, even if House Democrats and the Trump administration work out a compromise on remaining issues – “I’m not even sure if we came to an agreement today that it would be enough time to finish, but just depends on how much agreement we come to,” Pelosi told reporters earlier. However, MXN is a touch bid, likely benefitting from the status quo as proposed changes by the Trump administration must get Mexico and Canada to approve the USMCA text, which leaders from all three countries signed in late November of 2018.


The GFAView project provides a specialised Uviewer macros that only contains those controls necessary for viewing GFA animations. The project also provides 3 other utility macros and applications.
The GFAView project provides 4 macros that allow the user to quickly and easily view Geometry Animations (GFA files). The most important of these is the GFA_Uviewer macro. If a GFA animation is viewed in a standard viewer several of the normal controls do not function as expected. For instance it is not possible to rotate the objects in a GFA animation independently of each other. It is not possible to do this due to the fact that the GFA file format only stores the geometry objects present in a view. Th GFA_Uviewer macro solves this problem by providing a specialised version of the standard Uviewer macro that removes the controls that are not necessary for viewing GFA animations. This results in a viewer that is smaller and easier to use.
The remaining 3 macros build upon the GFA_Uviewer macro in various ways to allow the user to more quickly and easily view GFA animations:
GFA_Viewer
This macro extends the GFA_Uviewer by integrating a geom_replay module into the viewer. This allows custom applications to quickly include a GFA viewer in their user interface.GFA_SingleWindowApp & GFA_MultiWindowApp
These applications replace the standard viewer with a GFA_Uviewer and include a geom_replay module. This allows normal users to quickly view GFA animation in either of the two standard types of applications.
The GFA_SingleWindowApp and GFA_MultiWindowApp applications both provide good examples of how the GFA_Uviewer component can be used.
xp_comm_proj/gfaview/gfavmacs.v contains the V definitions of the GFA_Uviewer and GFA_Viewer viewers, and the GFA_SingleWindowApp and GFA_MultiWindowApp applications.
The GFAView project does not contain any procedural code and hence does not need to be compiled.
Extensive technical notes on the operation of GFA_Uviewer macro can be found in the xp_comm_proj/gfaview/gfavmacs.v file.
Alfredo Vanelli ENI - Agip Division
AVS geom_capture, geom_replay modules.


PART III. GENERAL PROVISIONS
[§641-31] Bonds, costs, failure to file or pay, defects. Failure of an appellant to file a bond or to pay costs, or informality or insufficiency of a bond or payment of costs, does not affect the validity of the appeal, but is ground only for such remedies as are specified by the rules of court or, when no remedy is specified, for such action as the court having jurisdiction deems appropriate, which may include dismissal of the appeal. [L 1895, c 25, §2; am L 1905, c 14, §1; RL 1925, §2538; RL 1935, §3506; RL 1945, §9508; am L Sp 1949, c 41, §1; RL 1955, §208-8; HRS §641-43; am L 1972, c 89, pt of §5; ren HRS §641-31]
Rules of Court
Bond on motion for new trial, see HRCP rule 62.
Case Notes
The effectiveness of a notice of appeal is not conditioned upon payment of costs. 57 H. 168, 552 P.2d 355 (1976).


| SCM Tool | Supported types of authentication | How to create PAT (Personal access token) |
| Bitbucket Server | User/password and PAT | Click on your profile icon -> Manage account -> Personal access tokens -> Create a token (Assign Read permissions for both Projects and Repositories) |
| Github Cloud | PAT only | Click on your profile icon -> Settings -> Developer settings -> Personal access tokens -> Generate new token (Uncheck all scopes to grants read-only access) |
| Github Server | User/password and PAT |


{#-
This file was automatically generated - do not edit
NOTE: At line 9 -> 'background:' has the current color for the botom part of the cover
- current | #2a978d (OK w/ mkdocs.yaml -> palette -> /docs/assets/stylesheets)
- before | #2a978d (OK w/ mkdocs.yaml -> palette -> primary: "teal"
-#}
{% extends "main.html" %}
{% block tabs %}
{{ super() }}
The VAST Pipeline
A fast and modern image-plane radio transient detection
pipeline for the Variables and Slow Transients (VAST) survey
science project using data from the Australian Square
Kilometre Array Pathfinder.


Watch Awesome Nine-Year-Old Girl Drum Cover of Nirvana
The nine-year-old drummer Nandi Bushell conquered users online following a YouTube video of her performing a cover version of the song In Bloom (1991) by the band Nirvana.
The video showed the young drummer getting into the 'teen spirit' of the 1990's Seattle grunge band. It is also noted that the girl, in addition to drums, plays guitar and sings.
In several days, the video of the young drummer gained almost 360 thousand views.


ADVANCE TEK
- MAHINDRA GROUP (CHANKAN, ZAIRABAD, NASHIK, UTTARA KHAND)
- TATA MOTORS (TATA NAGAR), PUNE-PIMPARI & JAGWAR PLANT
- VOLKS WAGAN (CHAKAN)
- ISGEC
- EISHER MOTOR M.P
WE ARE IN THE BUSINESS OF ELECTRICAL & AUTOMATION PANLES & SERVICES
We, Shubhsree Electrical & Instrumentation, assure you professional & dedicated services with ‘SELF RESPONCIBILITY’ attitude!
Industrial experience of more than 30 years in various sectors of Electrical & Instrumentation Industries including, Project work & O.E.M.Customer's, is a value addition asset for Shubhashree Electrical & Instrumentation With this background. we assure to work more closely with our customers to maintain the highest professional standards.
ADVANCE TEK
ANS AIRCON
ARTVET
ACCURATE CUTTING SYSTEM
AVM
B.G SHIRKE CONSTRUCTION AGRO DIVISION
CAN GROUP
ENVIRO ABBRASION:-
GURU
INDPRO
MARKS TECHNOSYSTEM LESOR & MARKING MACHINE
NECTOR
ONYX AUTOMATION (MITSUBISHI SYSTEM HOUSE)
POWERCON
ENVIROCON LLP
RAJDEEP ENGG
TRUSTWELL ENGG
TNBI
ASSOCIATED BLENDARS
ASSOCIATED CAPSULE(SHIRVAL)
NIPRO INDIA LTD(SHIRVAL)
SAVEECO
JAIVIK FOOD
VARUN BEVERAGES
PORTO SILO
SAWAD MALI
MARKSMAN PUNE
NEDRMAN INDIA
TAKAVE FARM(KARACHIWALA)
TATA BATTERY RANJANGAON
DECCAN INDUSTRIRES (YAWAT)


Add a space here =>
Welcome, Bienvenue,
This page is a complement of an edit work named "Dive into Algoraves and live coded sounds" edited by me as a project for my art school degree in graphic design. If you read it you'll find some links inside related to the content of my edit and Algoraves/Live Coding.
To access to those links, who will provides you some videos, sounds and other surprising stuff, I created a "heyword language" that you have to enter in the adjacent command pannel where my "welcoming html intro" is for now (I recommend you to delete it when you would start).
This way allows you to create and generate your proper webpage content, and choose what you want to hear, watch and read. You can activate the links in reading the edit or in sipping a great bottle of beer with some friends, choice is yours.
The command pannel read "html" so if you have some basics, you can add everything you want, like this nice picture of caribbean sunset:
Power is yours, failure too!
Hope you will enjoy it, and learn some things about live coding,
Best,


C/C++ File Properties, Language mappings
Customize the use of C/C++ language associations in the Language Mappings preference panel for individual files.
- Language
- The language to use for this file and build configuration.
Available for :- CDT source files
- C/C++ Preferences
- Project Properties, C/C++ General category


824_danzhi.java
class Solution {
public int minOperations(int[] nums1, int[] nums2) {
int m = nums1.length;
int n = nums2.length;
int[] c1 = new int[7];
int[] c2 = new int[7];
int sum1 = 0;
for (int v : nums1) {
c1[v]++;
sum1 += v;
}
int sum2 = 0;
for (int v : nums2) {
c2[v]++;
sum2 += v;
}
if (sum1 == sum2) {
return 0;
}
if (m * 6 < n || n * 6 < m) {
return -1;
}
if (sum1 > sum2) {
int t = sum1;
sum1 = sum2;
sum2 = t;
int[] c = c1;
c1 = c2;
c2 = c;
}
int diff = sum2 - sum1;
// System.out.format("c1:%s c2:%s diff:%d\n", Utils.trace(c1), Utils.trace(c2), diff);
// Now always sum1 < sum2
// Turn 1 to 6 in A and 6 to 1 in B as much as possible
int ans = 0;
int d = 5;
while (diff > 0) {
// turn l in A to be 6, turn h in B to be 1 as much as possible
if (c1[6 - d] > 0) {
if (c1[6 - d] * d >= diff) {
ans += (diff + d - 1) / d;
return ans;
} else {
ans += c1[6 - d];
diff -= c1[6 - d] * d;
}
}
if (c2[d + 1] > 0) {
if (c2[d + 1] * d >= diff) {
ans += (diff + d - 1) / d;
return ans;
} else {
ans += c2[d + 1];
diff -= c2[d + 1] * d;
}
}
// System.out.format(" d:%d ans:%d diff:%d\n", d, ans, diff);
d--;
}
return ans;
}
}


[gecode-users] Identifying a view
David Rijsman
David.Rijsman at quintiq.com
Wed Feb 13 18:10:13 CET 2013
Hi Christian,
the use case I am looking at is if at some point in the branching you decide to order two (temporal) variables you would want to find these two variables in your graph to add the edges. I do not think a node to view mapping will help with this.
I think I know how to do this in my world as I have already a layer on top of the IntVar of Gecode. It would off course be nicer if my propagator does not have to know about my world. Like you suggest I was thinking of using the varimp addresses and indeed rehash etc. What we really need is some constant hash function on the varimp (an int or such) and can be used for this purpose. There must not be too many propagators that need this kind of information or aggregate multiple constraints in one datastructure. Let me think some more how it can be done...
David J. Rijsman
Algorithm Lead
Quintiq
T +31 (0)73 691 07 39
F +31 (0)73 691 07 54
M +31 (0)62 127 68 29
E david.rijsman at quintiq.com
I www.quintiq.com
>>>
From: "Christian Schulte" <cschulte at kth.se>
To: "'David Rijsman'" <David.Rijsman at quintiq.com>, <users at gecode.org>
Date: 13-2-2013 17:13
Subject: RE: [gecode-users] Identifying a view
I think I would turn it upside down: I would use integers as nodes in the
graph and maintain a mapping of these integers to their corresponding views.
Is that possible?
Otherwise, things get hairy: you could hash on the variable implementation
address to which the view is pointing to (if x is a view, then x.varimp()
gives you that). But each time you clone, you would have to rehash as the
varimp() changes.
Christian
--
Christian Schulte, www.ict.kth.se/~cschulte/
-----Original Message-----
From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of David Rijsman
Sent: Wednesday, February 13, 2013 11:36 AM
To: users at gecode.org
Subject: [gecode-users] Identifying a view
Another question on how we can do this best. Imagine I have a precedence
constraint:
void Gecode::precedence(Home home, IntVar x, IntVar y, int lb, int ub,
IntConLevel=ICL_DEF )
Post temporal propagator that maintains lb <= x - y <= ub
This will invoke
Precedence::post( Home home, View x, View y, int lb, int ub )
and this will update the shared handle to some shared distance graph. In the
distance graph we maintain a graph which has vertices for each view.
What is the best way of mapping a view to a vertex in this graph, that is
how can identify a view to see if it already has been mapped into a vertex
in for example a graph?
Posting a new precedence constraint has to extend the graph with vertices
for the views if they do not exist yet and add or update the edges between
these vertices.
any ideas?
David J. Rijsman
Algorithm Lead
Quintiq
T +31 (0)73 691 07 39
F +31 (0)73 691 07 54
M +31 (0)62 127 68 29
E david.rijsman at quintiq.com
I www.quintiq.com
_______________________________________________
Gecode users mailing list
users at gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users
More information about the users
mailing list


Implicit bindings for HTTP incoming- and outgoing data for a server.
More...
|
|
int | http_strand_id () |
| | The identity of the current asynchronous strand serving the request.
|
| |
|
http_in_t * | http_req () |
| | Return the current HTTP request.
|
| |
|
http_out_t * | http_resp () |
| | Return the current HTTP response.
|
| |
| void | http_resp_add_header (const char *name, const char *value) |
| | Add a header to the current HTTP response. More...
|
| |
|
bool | http_resp_status_sent () |
| | Return true if the HTTP response status was sent.
|
| |
| void | http_resp_send_status (http_status_t status) |
| | Send the headers and the response status without a body. More...
|
| |
| nodec_stream_t * | http_resp_send_status_body (http_status_t status, size_t content_length, const char *content_type) |
| | Send the headers and response status, and return a reponse body stream. More...
|
| |
| void | http_resp_send_ok () |
| | Send the headers and OK response without a body. More...
|
| |
|
void | http_resp_send_body_buf (http_status_t status, uv_buf_t buf, const char *content_type) |
| | Send headers, status, and full body as a buffer.
|
| |
|
void | http_resp_send_body_str (http_status_t status, const char *body, const char *content_type) |
| | Send headers, status, and full body as a string.
|
| |
|
const char * | http_req_url () |
| | Return the current request url.
|
| |
|
const nodec_url_t * | http_req_parsed_url () |
| | Return the parsed full request url, including the path, hash, query etc.
|
| |
|
const char * | http_req_path () |
| | Return the current request path.
|
| |
|
http_method_t | http_req_method () |
| | Return the current request method.
|
| |
| uint64_t | http_req_content_length () |
| | The value of the Content-Length header. More...
|
| |
| const char * | http_req_header (const char *name) |
| | Return the value of an HTTP request header. More...
|
| |
| const char * | http_req_header_next (const char **value, size_t *iter) |
| | Iterate through all headers. More...
|
| |
| nodec_bstream_t * | http_req_body () |
| | Return the current HTTP request body as a buffered stream. More...
|
| |
| uv_buf_t | async_req_read_body (size_t read_max) |
| | Read the full HTTP request body. More...
|
| |
| const char * | async_req_read_body_str (size_t read_max) |
| | Read the full body as a string. More...
|
| |
|
void | http_req_print () |
| | Print a request for debugging purposes.
|
| |
Implicit bindings for HTTP incoming- and outgoing data for a server.
The HTTP(S) server implicitly binds the current request and response objects (as dynamically bound implicit parameters). They can be accessed through http_req_xxx
for requests and http_resp_xxx
for responses.
◆ async_req_read_body()
| uv_buf_t async_req_read_body |
( |
size_t |
read_max | ) |
|
Read the full HTTP request body.
The returned buffer should be deallocated by the caller.
- Parameters
-
| read_max | maximum bytes to read (or 0 for unlimited reading) |
- Returns
- the buffer with the full request body. Handles
chunked
request bodies, and does automatic decompression if the request body had a Content-Encoding of gzip
.
◆ async_req_read_body_str()
| const char* async_req_read_body_str |
( |
size_t |
read_max | ) |
|
Read the full body as a string.
Only works if the body cannot contain 0 characters. The returned string should be deallocated by the caller.
- Parameters
-
| read_max | maximum bytes to read (or 0 for unlimited reading) |
- Returns
- the buffer with the full request body. Handles
chunked
request bodies, and does automatic decompression if the request body had a Content-Encoding of gzip
.
◆ http_req_body()
Return the current HTTP request body as a buffered stream.
Handles chunked bodies, and does automatic decompression if the Content-Encoding
was gzip
.
◆ http_req_content_length()
| uint64_t http_req_content_length |
( |
| ) |
|
The value of the Content-Length header.
- Returns
- 0 if the Content-Length header was not present.
◆ http_req_header()
| const char* http_req_header |
( |
const char * |
name | ) |
|
Return the value of an HTTP request header.
- Parameters
-
- Returns
- the header value (owned by the request object) or NULL if the header was not present. If there were multiple headers the values are joined with commas into one value. See http_header_next_field() for iterating through them.
◆ http_req_header_next()
| const char* http_req_header_next |
( |
const char ** |
value, |
|
|
size_t * |
iter |
|
) |
| |
Iterate through all headers.
- Parameters
-
| [out] | value | the value of the current header, or NULL if done iterating. |
| [in,out] | iter | the iteration state, should be initialized to 0. |
- Returns
- the name of the current header or NULL if done iterating.
◆ http_resp_add_header()
| void http_resp_add_header |
( |
const char * |
name, |
|
|
const char * |
value |
|
) |
| |
Add a header to the current HTTP response.
- Parameters
-
| name | the name of the header |
| value | the value of the header the name and value are copied into the header block and can be freed afterwards. |
◆ http_resp_send_ok()
| void http_resp_send_ok |
( |
| ) |
|
Send the headers and OK response without a body.
Just a shorthand for http_resp_send_status(HTTP_STATUS_OK).
◆ http_resp_send_status()
Send the headers and the response status without a body.
- Parameters
-
| status | The HTTP response status. |
◆ http_resp_send_status_body()
Send the headers and response status, and return a reponse body stream.
- Parameters
-
| status | The HTTP response status |
| content_length | The length of the response body. Use NODEC_CHUNKED for a chunked transfer encoding where the content length is unknown ahead of time. |
| content_type | The mime content type (like text/html ). The charset can be specified too (like text/html;charset=UTF-8 ) but is otherwise determined automatically from the mime type. if the content_type is NULL no Content-Type header is added. |
- Returns
- A stream to write the body to; this is automatically chunked if NODEC_CHUNKED was passed as the
content_length
.


Simply beautiful open source icons. For more info click here.
<i class="pe-ICON_NAME"></i>
New Websites is Created
Prepare For the Next Project
Decide the live Discussion Time
Team Review meeting
Prepare for Presentation


Pymaceuticals
Menu
Plots
Tumor Response
Metastatic Spread
Survival During Treatment
Tumor Changes - Percent
Comparison
Data
Click any plot to get an in-depth analysis.


BoI: Challenge Generator
Challenge #:
Character:
Starting Items:
Room:
Generate Seed
Share
Help
Daily
URL has been copied


Founded by Emon Datta, Yale Code4Good is an official student-run organization that connects students from the Computer Science and the Statistics and Data Science departments at Yale University with local nonprofits that can benefit from their technological skills. In addition, we host events such as talks and summits that show the Yale community how to use technology can be used for social good. All members of the Yale community are welcome!
We usually recruit new members for our board and tech teams in the Spring semester. To ensure that new members will be committed, we follow an online application by an interview to get to know each person better.
New opportunities sometimes come up in both the Spring and Fall semester, so make sure to subscribe to our panlist to find new ways of getting involved!
The board oversees all the recruitment process, events' organization, communication and reaching out with partner nonprofits, and all internal communications. The board consists of people who want to change the technological culture at Yale from one of technology for the sake of technology, to one where students reflect about and apply their skills to solve our most pressing social issues. Most members of the board have STEM backgrounds, but we always welcome non-STEM students who have great ideas to push forth our mission!
The tech teams are groups of students who work on projects for our partner nonprofits or organizations. They are independent, self-driven students who are willing to put on the necessary time and effort to learn the necessities of the nonprofit, and apply and learn the respective technologies to address them. Each tech team has a tech lead who is in charge of overseeing the project, communicate any updates to the nonprofit/organization, and report back to the board anything that is needed.
Co-President
Jessica is a senior from Los Angeles majoring in computer science. She is interested in cybersecurity, networks, and applying her knowledge in programming to improve society. In addition to be being part of Code4Good, she teaches elementary-school students how to code through CodeHaven. When she is finally done with her p-sets, Jessica likes reading, catching up with her favorite shows, and playing pranks on her suitemates.
Co-President
Maria is a senior from New York and Code4Good’s current Director of Partnerships. She is double majoring in Statistics & Data Science and Spanish with a keen interest on how statistical methods can be used to address global issues. Outside of the classroom, she is involved with the Yale Climbing Team, does research in the Political Science Department, and serves as a ULA and S&DS DSAC. In her free time, Maria enjoys running, exploring, and drinking tea.
Chief Technology Officer
Emmett is a third-year computer science major in Davenport College. Hailing from Long Island, NY, he is passionate about using technology to facilitate activism, enfranchise marginalized groups, and effect positive change on a societal scale. In addition to Code4Good, he is an undergraduate fellow with the Yale Law School Information Society Project, runs Yale Puzzle League, and sits on the board of Yale Queer + Asian.
Co-Director of Projects
Lukas Burger is a sophomore Computer Science and Cognitive Science major from New York City. His studies focus on the artificial intelligence and how the mind can be interpreted as a machine. Outside of school Lukas volunteers with the Yale Undergraduate Prison Project and plays on the club rugby team.
Co-Director of Projects
Katherine is a first-year in Pauli Murray College hailing from Saratoga, CA. She loves giving back to communities and has enjoyed coding for Khushi Baby. Outside of Code4Good, she directs YHack, Yale's annual computer science hackathon, and works as a ULA. Katherine's interests also include creative writing, prison reform, and figure skating. You can find her reading and attempting to psychoanalyze people in any building with lots of sunlight.
Director of Communications and Outreach
Vanessa Yan is a first-year in Pauli Murray College from Bradenton, Florida. She is a prospective Computer Science major. Besides working on the board of Code4Good, she coordinates a refugee catering initiative and is the Head of Finance for Yale Refugee Project's Snactivism enterprise. She is also involved in Yale Club Golf and Hong Kong Students' Association.
Director of Events
Vivek Gopalan is the Director of Events for Yale Code4Good. Vivek is a first-year in Grace Hopper College from Seattle, WA, and he intends to major in Computer Science and another practical discipline. Vivek is extremely interested in the applications of computer science to our transportation infrastructure, specifically in the scope of autonomous vehicles, signal retiming, and improving carbon emissions. He loves civics and fighting political apathy!
Director of Partnerships
Computer Science is filled with tools; Humanities with questions? Well, finishing these two majors, Pauli now seeks applications. How to do good with technology? As the Director of Partnerships, Pauli listens to project plans and brainstorms how Yale students might contribute. He also maps out existing resources. If you have a tool or task to share, Pauli looks forward to a chat!
Director of Finance
Hi everybody! My name is Tyler and I'm a first-year at Yale pursuing a B.S. in Computer Science and Mathematics. I love building and designing mobile applications, but am most interested in applying technology for social benefit. Specifically, I am interested in innovating new ways to improve Internet connectivity within the Yale community. On campus, I sing a cappella with the Alley Cats, brainstorm new ideas in Launch, and volunteer as an educator through MATHCOUNTS Outreach. When I'm not coding, I love to play pick-up basketball, and take late-night study breaks at Halal Guys.
Hackathon Specialist
Stephany Palaguachi is excited to serve as Hack-a-thon Specialist for Code4Good. She is a sophomore in Berkeley College and hails from Hartford, CT. Outside of classes, Stephany is legislative captain of Institutionalize Aid for Undocumented Students committee, is a tax preparer for VITA, and member of LWAY. In her free time, you can find her attending cena’s at La Casa or reading up on the latest White House scandal.
Khushi Baby Team Lead
Henry Townley is a computer science major in the class of 2019 who can’t get enough of his humanities classes. He’s particularly interested in artificial intelligence both technically and in terms of its impact on policy and culture. He’s also become a huge political junkie in recent years. Outside of classes, Henry is very active in the Yale theater community as an actor, singer, administrator and engineer.
Khushi Baby
Katherine is a first-year in Pauli Murray College hailing from Saratoga, CA. She loves giving back to the community and has enjoyed coding for Khushi Baby. Outside of Code4Good, she directs YHack, Yale's annual computer science hackathon, and works as a ULA. Katherine's interests also include creative writing, prison reform, and figure skating. You can usually find her reading and attempting to psychoanalyze people.
Khushi Baby
Kenia Hale is a first-year in Silliman College from Solon, Ohio. She is a Computer Science and Ethnicity, Race, and Migration double major, and is particularly interested in intersections between social justice and technology for creating change.
Khushi Baby
Neha Verma is a first-year in Davenport College from Forsyth, Illinois. She is a prospective Math and Computer Science major. Besides working on Code4Good's Khushi Baby tech team, she works at the Peabody Museum, dances with Yale Jashan Bhangra, and loves to bake treats for her friends.
Khushi Baby
William Hu is a first-year studying computer science. He is fascinated by the intersection of technology and civic life, and he hopes to use his technical knowledge to help local and global nonprofits.
MakeHaven Team
Eugene is a History and Computer Science major at Yale. On the side, he's a web developer who works in the digital humanities and government technology. He believes in the tremendous potential of technology to enhance strategic decision-making and works to make that happen.
MakeHaven Team
Annie is a computer science first year at Yale. Annie really likes horror movies despite being a wimp and totally incapable of watching them. She loves to cook, dance, and sing, and spends her free time browsing corgi pictures on reddit.
MakeHaven Team
Isabella is a sophomore in Berkeley majoring in Computer Science. Outside of Code4Good, she is a ULA for CPSC 223 (Data Structure and Programming Techniques), a member of Groove Dance Company, and raises funds for Yale Women's Leadership Initiative.
MakeHaven Team
Nadia is a sophomore in Benjamin Franklin College from Indonesia/Singapore studying Computer Science and Global Affairs (after a quarter-life crisis and giving up Neuroscience). She hopes to eventually use technology for environmental issues or socioeconomic inequality, buttttt is still figuring out how to get there. She really values being able to work on a real-life application and learn from teammates through C4G. On campus, she's also involved in Dwight Hall, Neuroscience research, and public health/CS research. When she can, she loves to eat, explore new places and kayak.
MakeHaven Team
Yi Chern hails from the sunny island of Singapore. As a double major in Computer Science and Ethics, Politics and Economics, he is interested in the intersection between technology and public policy. He hopes to contribute to local communities by integrating technology into communal and government work.
Android Team
Hey everyone! My name is Gabriel, and I'm from São Paulo, Brazil. I am a sophomore in Morse College, majoring in Computer Science & Psychology. Last semester, I joined Code for Good as I am very interested in learning how to leverage tech to tackle real-world problems.
Android Team
My name is Masayuki Nagase, and I am a First Year at Davenport College from Redmond, Washington. As a prospective Computer Science major, I hope to use what I learn towards climate research and bettering the health of our planet. Besides Code4Good, I am a part of the Yale Ultimate Frisbee Team and the Yale Hackathon organizing team.


Epilogue
- Vegetables are a must on a diet. I suggest carrot cake, zucchini bread, and pumpkin pie. ~Jim Davis
- There is a lot more juice in grapefruit than meets the eye. ~Author Unknown
- Sex is good, but not as good as fresh, sweet corn. ~Garrison Keillor
- Do vegetarians eat animal crackers? ~Author Unknown
- Shipping is a terrible thing to do to vegetables. They probably get jet-lagged, just like people. ~Elizabeth Berry
- Red meat is not bad for you. Now blue-green meat, that’s bad for you! ~Tommy Smothers
- As a child my family’s menu consisted of two choices: take it or leave it. ~Buddy Hackett
- My favorite animal is steak. ~Fran Lebowitz
- The poets have been mysteriously silent on the subject of cheese. ~G.K. Chesterton
- In Mexico we have a word for sushi: bait. ~Jose Simons
- I don’t think America will have really made it until we have our own salad dressing. Until then we’re stuck behind the French, Italians, Russians and Caesarians. ~Pat McNelis
- Chili represents your three stages of matter: solid, liquid, and eventually gas. ~Roseanne Barr
- A nickel will get you on the subway, but garlic will get you a seat. ~Old New York proverb
- It’s bizarre that the produce manager is more important to my children’s health than the pediatrician. ~Meryl Streep
- We are living in a world today where lemonade is made from artificial flavors and furniture polish is made from real lemons. ~Alfred E. Newman
- Hey yogurt, if you’re so cultured, how come I never see you at the opera? ~Attributed to Stephen Colbert
- I will not eat oysters. I want my food dead - not sick, not wounded - dead. ~Woody Allen
- Part of the secret of success in life is to eat what you like and let the food fight it out inside. ~Mark Twain
- Condensed milk is wonderful.  The original meal has never been found. ~Calvin Trillin
- If you ate pasta and antipasto, would you still be hungry? ~Author Unknown
- An onion can make people cry, but there has never been a vegetable invented to make them laugh. ~Will Rogers
- Training is everything. The peach was once a bitter almond; cauliflower is nothing but cabbage with a college education. ~Mark Twain
- And, of course, the funniest food of all, kumquats. ~George Carlin
- Pre-heat the oven? Really? If I was the sort of person who planned ahead, I wouldn’t be eating this Totino’s Party Pizza in the first place. ~Adam Peterson
- A fruit is a vegetable with looks and money. Plus, if you let fruit rot, it turns into wine, something Brussels sprouts never do. ~P.J. O’Rourke
- Avoid fruit and nuts. You are what you eat. ~Jim Davis
- I’m not sure what makes pepperoni so good - if it’s the pepper or the oni. ~S.A. Sachs
- Fish is the only food that is considered spoiled once it smells like what it is. ~P.J. O’Rourke
- We got married in a fever hotter than a pepper sprout. ~June Carter Cash
- Welcome to the Church of the Holy Cabbage.  Coincidence? I think not! ~Author Unknown
- Strength is the capacity to break a chocolate bar into four pieces with your bare hands - and then eat just one of the pieces. ~Judith Viorst
- There are four basic food groups: milk chocolate, dark chocolate, white chocolate, and chocolate truffles. ~Author Unknown
- Chocolate is an antidepressant, which is especially useful as you start to gain weight. ~Jason Love
- I’ve been on a diet for two weeks and all I’ve lost is fourteen days. ~Totie Fields
- I’m on a seafood diet. I see food and I eat it. ~Author Unknown
- The biggest seller is cookbooks and the second is diet books - how not to eat what you’ve just learned how to cook. ~Andy Rooney
- A balanced diet is a cookie in each hand. ~Author Unknown
- My doctor told me to stop having intimate dinners for four. Unless there are three other people. ~Orson Welles
- The only way to lose weight is to check it as airline baggage. ~Peggy Ryan
- Never eat more than you can lift. ~Miss Piggy
- Caffeine isn’t a drug, it’s a vitamin! ~Author Unknown
- In Seattle you haven’t had enough coffee until you can thread a sewing machine while it’s running. ~Jeff Bezos
- Ultimate office automation - networked coffee machines. ~Author Unknown
- Water is the most essential element of life, because without it you can’t make coffee. ~Author Unknown
- Vegetarian - that’s an old Indian word meaning “lousy hunter.” ~Andy Rooney
- If vegetarians eat vegetables, what do humanitarians eat? ~Author Unknown


Sample files
London Office
Omaha House
Bristol Commercial
Woolwich Arsenal
Coventry University
load files for individual contributions
Pamela's work on Bristol Commercial
Patty's work Bristol Commercial
Paul's work on Bristol Commercial
Peter's work on Bristol Commercial
add fresh data to current project
go back to:
gbxml to json lines
rotation