Career Profile
I studied Applied Mathematics at Sofia University in Bulgaria; specialised in Data Analysis at the University of Electro-Communications in Tokyo and then moved to Berlin. Here I joined a Statistics Master at Humboldt University, but I found startups more fun, so I dropped in favour of joining the scene.
I started with an internship in Machine Learning at SoundCloud, then worked on freelance projects in software development and data science before joining mobile analytics company Adjust, where I took engineering and data science roles for over 6 years.
Following a short break after I left Adjust, I started my own consultancy www.bi-outsourced.com, through which I’ve been offering Business Intelligence and Data Science services to my clients.
Experiences
I provide consulting services and build/integrate solutions for my customers in the areas of:
- Data Warehouse Design and Implementation
- ETL processes
- Business Intelligence/Reporting/Growth Accounting
- Statistical Data Analysis
- Development, Deployment & Monitoring of Data Science products
- Project Management/Training/Team Management
Portfolio:
- fatmap.com - Data Warehouse Design, ETL, BI Reporting and Visualisation, Statistical Data Analysis
- viaeurope.com - Analytics Database, Query Optimisation, ETL, BI Visualisation
Technologies:
- PostgreSQL/PLpgSQL
- Python/R
- pandas/data.table
- Apache Airflow
- Metabase/Jupyter/Superset
- 3rd Party Integration (Mixpanel, Adjust, Facebook Marketing API, Chartmogul, etc.)
- AWS
Data Science challenges grew at Adjust in the areas of Anti Fraud, Business Intelligence, Anomaly Detection, Marketing and others. I was in charge of hiring and leading the Data Science team, which within the first year:
- Built and deployed a custom Anomaly Detection system, monitoring our customers’ apps data streams and alerting Customer Success team on suspicious patterns.
- Deployed a company-wide (more than 100 users) Metabase instance, currently serving as an interface to nearly all of Adjust’s internal data analytics needs.
- Built and maintained the computation pipelines serving product features like www.app-benchmarks.adjust.com
- Built data science models for user-level churn-prediction, lead-scoring and others
- Built automations for analysis of large, multidimensional datasets
Involvement:
- Overseeing the development of all data science products during all phases from statistical modelling to deployment
- Coordinated the company-wide cross-team effort to adopt Metabase
- Hiring and training the data science team
Technologies:
- R, Python, PostgreSQL, Flink, Metabase, R Shiny, Apache Airflow, UNIX automation
- Clustering, XGBoost, various Anomaly Detection techniques
By mid 2016 Adjust had reached an incoming traffic rate of 100K HTTP requests per second and our tracking SDK was already estimated to be found in every second mobile device in the world. We had two clusters of data - raw and aggregated, each consisting of doezens of PostgreSQL servers. We had introduced Flink and Kafka to our technology stack.
I joined the growing Database team contributing by maintaining and developing PostgreSQL extensions and building the Analytics toolsets for our sharded environment.
Technologies:
- PostgreSQL, Flink, Kafka, C, R
I joined Adjust at a very early stage as the company’s 5th employee. Over the following years, Adjust experienced a rapid growth in scale and team members and I contributed in multiple roles, everywhere where the company expansion required it.
Involvement:
- Building analytics features of the product such as Sentiment Analysis on Mobile App Reviews, the GlobalRank algorithm for the iTunes and PlayStore apps and others
- Numerous Data Analysis projects involving big and rich datasets of app-tracking (installs, events, sessions) and app-store (rankings, reviews) data
- Development of microservices, based Ruby on Rails and Golang
- PostgreSQL development and optimisation
Technologies:
- R, PostgreSQL, Ruby on Rails, Golang, C, Microservices, 3rd party APIs
As a freelance contractor I analysed my customer’s web-scrapped data and developed Regression-based software for price-prediction of used cars, properties and boats. The software is still in use by insurance customers of my employer.
Technologies:
- R, PostgreSQL, GLM models
I analysed data from SoundCloud comments, posts and group messages to develop an ML prototype that achieved 97% accuracy.
Technologies:
- Ruby, Bayesian Inference
During that period I had numerous contracts for web development for startups in Berlin and outside. Most significant project was at digitaleseiten.de building the Ruby on Rails platform supporting the company’s product websites.
Technologies:
- Ruby on Rails, Php, PostgreSQL, MySQL, Javascript, etc.
Projects
The following is a list of selected Open Source projects I've authored or contributed to.
Publications
During my study at the University of Electro-Communications in Tokyo, I joined the Data Analysis workgroup at the Reliability Research Lab and performed simulation studies on methods for statistical parameter estimation. For my contribution I received an acknowledgement in this paper, presented on several reliability conferences in 2008 and 2009.


This program doesn't do anything
It just fetches the token from Spotify...
This is just for testing... not use it for production


'Tears' - Nottingham Forest fans react to Reds revealing exciting new image of City Ground redevelopment
The redevelopment of the City Ground will involve around £100m of investment
by James PallattNottingham Forest fans have been reacting with excitement to the Reds revealing a fresh image of the proposed City Ground redevelopment.
The transformation of the Reds’ home into a world-class stadium will see the Peter Taylor Stand rebuilt to cater for an increased capacity of about 10,000 fans.
The plans were unveiled earlier this year, and the club have today provided a new glimpse of what to expect.
It is anticipated planning application for the project will be submitted before the end of this year, and should permission be granted, it is hoped work could get underway during the first half of 2020.
The redevelopment of the City Ground will involve around £100m of investment and as well as additional seating in the Peter Taylor Stand, new state of the art dressing rooms, a museum, club shop, executive boxes and media suites will also be included.
Improvements will also be made to the other three sides of the ground, with the Bridgford Stand also extended.
Here's what fans have been saying...


you
what were you doing.
can you remember
the exact moment
The feeling that washed over
A gap of explanation
the fact
you know where and when
it happened


| Key | Feature | ||||
|---|---|---|---|---|---|
| Radar Plugin | Radar plugin takes responsibility to paint radar | ||||
| Dimension | Dimension is defined by angle and local scale dimension | ||||
| Metrics | Metrics defines point marker labels along radar dimension | ||||
| Anchor | Anchor is agiven point anchor for radar surface | ||||
| Surface | Create radar surface with radar anchors. | ||||


Here is content for our about us
Here is content for our About Our Culture
Here is content for our About Our Vision


$def with (models) $var title: SmartThings HTM Bridge
This is a work in progress.
SmartApps can POST data to this URL to relay it into HTM.
POST
See Charts
This web server relays SmartThings data from a SmartApp into an HTM HTTP server.


Hello, Code School!
My name is Jalisa.
I'm here to learn:
How to build a portfolio page using HTML & CSS.
How to fit my code to bect practices.
how to throw some nice javascript in the mix!


| 1 | /* | |
| 2 | * Licensed to the Apache Software Foundation (ASF) under one or more | |
| 3 | * contributor license agreements. See the NOTICE file distributed with | |
| 4 | * this work for additional information regarding copyright ownership. | |
| 5 | * The ASF licenses this file to You under the Apache License, Version 2.0 | |
| 6 | * (the "License"); you may not use this file except in compliance with | |
| 7 | * the License. You may obtain a copy of the License at | |
| 8 | * | |
| 9 | * http://www.apache.org/licenses/LICENSE-2.0 | |
| 10 | * | |
| 11 | * Unless required by applicable law or agreed to in writing, software | |
| 12 | * distributed under the License is distributed on an "AS IS" BASIS, | |
| 13 | * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. | |
| 14 | * See the License for the specific language governing permissions and | |
| 15 | * limitations under the License. | |
| 16 | */ | |
| 17 | package org.apache.commons.collections4.functors; | |
| 18 | ||
| 19 | import java.io.Serializable; | |
| 20 | ||
| 21 | import org.apache.commons.collections4.Closure; | |
| 22 | ||
| 23 | /** | |
| 24 | * Closure implementation that calls another closure n times, like a for loop. | |
| 25 | * | |
| 26 | * @since 3.0 | |
| 27 | * @version $Id: ForClosure.java 1477798 2013-04-30 19:49:02Z tn $ | |
| 28 | */ | |
| 29 | public class ForClosure<E> implements Closure<E>, Serializable { | |
| 30 | ||
| 31 | /** Serial version UID */ | |
| 32 | private static final long serialVersionUID = -1190120533393621674L; | |
| 33 | ||
| 34 | /** The number of times to loop */ | |
| 35 | private final int iCount; | |
| 36 | /** The closure to call */ | |
| 37 | private final Closure<? super E> iClosure; | |
| 38 | ||
| 39 | /** | |
| 40 | * Factory method that performs validation. | |
| 41 | *
 | |
| 42 | * A null closure or zero count returns the NOPClosure. | |
| 43 | * A count of one returns the specified closure. | |
| 44 | * | |
| 45 | * @param <E> the type that the closure acts on | |
| 46 | * @param count the number of times to execute the closure | |
| 47 | * @param closure the closure to execute, not null | |
| 48 | * @return the for closure | |
| 49 | */ | |
| 50 | @SuppressWarnings("unchecked") | |
| 51 | public static <E> Closure<E> forClosure(final int count, final Closure<? super E> closure) { | |
| 52 |
3
1. forClosure : changed conditional boundary → KILLED 2. forClosure : negated conditional → KILLED 3. forClosure : negated conditional → KILLED |
if (count <= 0 || closure == null) { |
| 53 |
1
1. forClosure : mutated return of Object value for org/apache/commons/collections4/functors/ForClosure::forClosure to ( if (x != null) null else throw new RuntimeException ) → KILLED |
return NOPClosure.<E>nopClosure(); |
| 54 | } | |
| 55 |
1
1. forClosure : negated conditional → KILLED |
if (count == 1) { |
| 56 |
1
1. forClosure : mutated return of Object value for org/apache/commons/collections4/functors/ForClosure::forClosure to ( if (x != null) null else throw new RuntimeException ) → KILLED |
return (Closure<E>) closure; |
| 57 | } | |
| 58 |
1
1. forClosure : mutated return of Object value for org/apache/commons/collections4/functors/ForClosure::forClosure to ( if (x != null) null else throw new RuntimeException ) → KILLED |
return new ForClosure<E>(count, closure); |
| 59 | } | |
| 60 | ||
| 61 | /** | |
| 62 | * Constructor that performs no validation. | |
| 63 | * Use forClosure if you want that. | |
| 64 | * | |
| 65 | * @param count the number of times to execute the closure | |
| 66 | * @param closure the closure to execute, not null | |
| 67 | */ | |
| 68 | public ForClosure(final int count, final Closure<? super E> closure) { | |
| 69 | super(); | |
| 70 | iCount = count; | |
| 71 | iClosure = closure; | |
| 72 | } | |
| 73 | ||
| 74 | /** | |
| 75 | * Executes the closure count times. | |
| 76 | * | |
| 77 | * @param input the input object | |
| 78 | */ | |
| 79 | public void execute(final E input) { | |
| 80 |
3
1. execute : changed conditional boundary → KILLED 2. execute : Changed increment from 1 to -1 → KILLED 3. execute : negated conditional → KILLED |
for (int i = 0; i < iCount; i++) { |
| 81 |
1
1. execute : removed call to org/apache/commons/collections4/Closure::execute → KILLED |
iClosure.execute(input); |
| 82 | } | |
| 83 | } | |
| 84 | ||
| 85 | /** | |
| 86 | * Gets the closure. | |
| 87 | * | |
| 88 | * @return the closure | |
| 89 | * @since 3.1 | |
| 90 | */ | |
| 91 | public Closure<? super E> getClosure() { | |
| 92 |
1
1. getClosure : mutated return of Object value for org/apache/commons/collections4/functors/ForClosure::getClosure to ( if (x != null) null else throw new RuntimeException ) → NO_COVERAGE |
return iClosure; |
| 93 | } | |
| 94 | ||
| 95 | /** | |
| 96 | * Gets the count. | |
| 97 | * | |
| 98 | * @return the count | |
| 99 | * @since 3.1 | |
| 100 | */ | |
| 101 | public int getCount() { | |
| 102 |
1
1. getCount : replaced return of integer sized value with (x == 0 ? 1 : 0) → NO_COVERAGE |
return iCount; |
| 103 | } | |
| 104 | ||
| 105 | } | |
Mutations | ||
| 52 |
1.1 2.2 3.3 |
|
| 53 |
1.1 |
|
| 55 |
1.1 |
|
| 56 |
1.1 |
|
| 58 |
1.1 |
|
| 80 |
1.1 2.2 3.3 |
|
| 81 |
1.1 |
|
| 92 |
1.1 |
|
| 102 |
1.1 |


--- layout: post title: Some Things Fell Into My Suitcase date: 2011-04-15 20:18:28.000000000 +01:00 tags: - Vibram Five Fingers - VFF - Merrell - Bikila - Trail Glove type: post published: true ---
I've just been in Orlando, Florida giving a presentation at Collaborate 11 and just happened to come home with 4 news things in my suitcase...
A left and right one of these...
... and a left and right one of these (despite the picture, it comes with a right one too 😉 ) ...
I also got a new pair of the Vibram Five Finger Classics I already have - grey and orange - as they were on special as the colour has apparently been discontinued.
Thanks to a favorable exchange rate, I've saved an absolute fortune. Now to give them each a good spin and then I'll write a review on each of them. Both pairs of shoes have had a single 6km run and so far so good, but I want to give them a few more kilometers to get a good feel for them. Watch this space.


- Channel - Class in com.samsung.multiscreen
-
Base communication channel for MultiScreen-enabled devices.
- Channel.OnClientConnectListener - Interface in com.samsung.multiscreen
-
Interface to listen for client connect events, when clients
join the specified channel.
- Channel.OnClientDisconnectListener - Interface in com.samsung.multiscreen
-
Interface to listen for client disconnect events, when clients
leave the specified channel.
- Channel.OnConnectListener - Interface in com.samsung.multiscreen
-
Interface to listen for connect events.
- Channel.OnDisconnectListener - Interface in com.samsung.multiscreen
-
Interface to listen for disconnect events.
- Channel.OnErrorListener - Interface in com.samsung.multiscreen
-
Interface to listen for error events.
- Channel.OnMessageListener - Interface in com.samsung.multiscreen
-
Interface to listen for user-defined event messages on the specified
channel.
- Channel.OnReadyListener - Interface in com.samsung.multiscreen
-
Deprecated.
- Client - Class in com.samsung.multiscreen
-
Encapsulates a client subscribed to the the specified
Channel
.
- Clients - Class in com.samsung.multiscreen
-
Provides convenience methods for working with a set of
Client
s
subscribed to the specified channel.
- com.samsung.multiscreen - package com.samsung.multiscreen
-
Contains classes for using the MultiScreen SDK Android API
- connect(Map<String, String>, Result<Client>) - Method in class com.samsung.multiscreen.Application
-
- connect() - Method in class com.samsung.multiscreen.Channel
-
Connect to the specified channel.
- connect(Result<Client>) - Method in class com.samsung.multiscreen.Channel
-
Connect to the specified channel.
- connect(Map<String, String>, Result<Client>) - Method in class com.samsung.multiscreen.Channel
-
Connect to the specified channel.
- create(Context) - Static method in class com.samsung.multiscreen.MDNSSearchProvider
-
Create an instance of the MDNSSearchProvider
.
- create(Context) - Static method in class com.samsung.multiscreen.MSFDSearchProvider
-
Create an instance of the MSFDSearchProvider
.
- createApplication(Uri, String) - Method in class com.samsung.multiscreen.Service
-
Create an application with the given uri and channel id.
- createApplication(Uri, String, Map<String, Object>) - Method in class com.samsung.multiscreen.Service
-
Create an application with the given uri and channel id.
- createApplication(String, String) - Method in class com.samsung.multiscreen.Service
-
Create an application with the given app and channel id.
- createApplication(String, String, Map<String, Object>) - Method in class com.samsung.multiscreen.Service
-
Create an application with the given app and channel id.
- createChannel(Uri) - Method in class com.samsung.multiscreen.Service
-
Create a channel with the given uri.
- get(String) - Method in class com.samsung.multiscreen.Clients
-
Returns the client with the specified client id.
- getAttributes() - Method in class com.samsung.multiscreen.Client
-
Returns a map of attributes associated with this client.
- getById(Context, String, Result<Service>) - Static method in class com.samsung.multiscreen.Service
-
Retrieve the service given by the specified id.
- getByURI(Uri, Result<Service>) - Static method in class com.samsung.multiscreen.Service
-
Retrieve the service given by the specified uri.
- getByURI(Uri, int, Result<Service>) - Static method in class com.samsung.multiscreen.Service
-
Retrieve the service given by the specified uri.
- getChannel() - Method in class com.samsung.multiscreen.Client
-
Returns the channel associated with this client.
- getChannel() - Method in class com.samsung.multiscreen.Clients
-
The channel associated with the clients.
- getChannel() - Method in class com.samsung.multiscreen.Message
-
Returns the channel that this message is associated with.
- getClients() - Method in class com.samsung.multiscreen.Channel
-
Retrieve the clients subscribed to this channel.
- getCode() - Method in class com.samsung.multiscreen.Error
-
Returns the error code associated with this error.
- getConnectTime() - Method in class com.samsung.multiscreen.Client
-
Returns the time in milliseconds since epoch that this client connected
to the channel.
- getCountryCode() - Method in class com.samsung.multiscreen.Device
-
Returns the country code for this device.
- getData() - Method in class com.samsung.multiscreen.Message
-
The data for this message.
- getDescription() - Method in class com.samsung.multiscreen.Device
-
Returns a description for this device.
- getDeviceInfo(Result<Device>) - Method in class com.samsung.multiscreen.Service
-
Retrieve the underlying device information for the specified service.
- getDuid() - Method in class com.samsung.multiscreen.Device
-
Returns the device unique id.
- getEvent() - Method in class com.samsung.multiscreen.Message
-
Returns the channel event for this message.
- getFirmwareVersion() - Method in class com.samsung.multiscreen.Device
-
Returns the firmware version for this device.
- getFrom() - Method in class com.samsung.multiscreen.Message
-
The originating client for this message.
- getHost() - Method in class com.samsung.multiscreen.Clients
-
Returns the host for the channel associated with these clients.
- getId() - Method in class com.samsung.multiscreen.ApplicationInfo
-
Returns the id of the application.
- getId() - Method in class com.samsung.multiscreen.Channel
-
This channel's id.
- getId() - Method in class com.samsung.multiscreen.Client
-
Returns the unique id for this client.
- getId() - Method in class com.samsung.multiscreen.Device
-
Returns the id for this device.
- getId() - Method in class com.samsung.multiscreen.Service
-
Returns the id for this service.
- getInfo(Result<ApplicationInfo>) - Method in class com.samsung.multiscreen.Application
-
Retrieve information for the specified application.
- getIp() - Method in class com.samsung.multiscreen.Device
-
Returns the ip address for this device.
- getMessage() - Method in class com.samsung.multiscreen.Error
-
Returns the message associated with this error.
- getModel() - Method in class com.samsung.multiscreen.Device
-
Returns the model for this device.
- getName() - Method in class com.samsung.multiscreen.ApplicationInfo
-
Returns the name of the application.
- getName() - Method in class com.samsung.multiscreen.Device
-
Returns the name for this device.
- getName() - Method in class com.samsung.multiscreen.Error
-
Returns the name for this error.
- getName() - Method in class com.samsung.multiscreen.Service
-
Returns the name for this service.
- getNetworkType() - Method in class com.samsung.multiscreen.Device
-
Returns the network type this device is connected through.
- getPayload() - Method in class com.samsung.multiscreen.Message
-
The binary payload for this message.
- getResolution() - Method in class com.samsung.multiscreen.Device
-
Returns the resolution for this device.
- getServices() - Method in class com.samsung.multiscreen.Search
-
The list of services found during the search process.
- getServices() - Method in class com.samsung.multiscreen.SearchProvider
-
The list of services found with this provider.
- getSsid() - Method in class com.samsung.multiscreen.Device
-
Returns the ssid for this device.
- getType() - Method in class com.samsung.multiscreen.Service
-
Returns the type for this service.
- getUdn() - Method in class com.samsung.multiscreen.Device
-
Returns the unique device number for this device.
- getUri() - Method in class com.samsung.multiscreen.Channel
-
This channel's uri.
- getUri() - Method in class com.samsung.multiscreen.Service
-
Returns the endpoint uri for this service.
- getVersion() - Method in class com.samsung.multiscreen.ApplicationInfo
-
Returns the version of the application.
- getVersion() - Method in class com.samsung.multiscreen.Service
-
Returns the version for this service.
- Search - Class in com.samsung.multiscreen
-
Provides management facilities for discovering MultiScreen-enabled
Service
s.
- search(Context) - Static method in class com.samsung.multiscreen.Service
-
Get an instance of
Search
for service discovery.
- Search.OnServiceFoundListener - Interface in com.samsung.multiscreen
-
Interface to listen for service found events.
- Search.OnServiceLostListener - Interface in com.samsung.multiscreen
-
Interface to listen for service lost events.
- Search.OnStartListener - Interface in com.samsung.multiscreen
-
Interface to listen for search start events.
- Search.OnStopListener - Interface in com.samsung.multiscreen
-
Interface to listen for search stop events.
- SearchProvider - Class in com.samsung.multiscreen
-
SearchProvider
is the base search provider class.
- Service - Class in com.samsung.multiscreen
-
Encapsulates a MultiScreen-enabled service.
- setConnectionTimeout(int) - Method in class com.samsung.multiscreen.Channel
-
Sets the interval for checking the channel connection.
- setDebug(boolean) - Method in class com.samsung.multiscreen.Channel
-
- setOnClientConnectListener(Channel.OnClientConnectListener) - Method in class com.samsung.multiscreen.Channel
-
Set the listener for client connect (subscribe) events.
- setOnClientDisconnectListener(Channel.OnClientDisconnectListener) - Method in class com.samsung.multiscreen.Channel
-
Set the listener for client disconnect (unsubscribe) events.
- setOnConnectListener(Channel.OnConnectListener) - Method in class com.samsung.multiscreen.Application
-
- setOnConnectListener(Channel.OnConnectListener) - Method in class com.samsung.multiscreen.Channel
-
Set the listener for connect events.
- setOnDisconnectListener(Channel.OnDisconnectListener) - Method in class com.samsung.multiscreen.Channel
-
Set the listener for disconnect events.
- setOnErrorListener(Channel.OnErrorListener) - Method in class com.samsung.multiscreen.Channel
-
Set the listener for error events.
- setOnReadyListener(Channel.OnReadyListener) - Method in class com.samsung.multiscreen.Channel
-
Deprecated.
- setOnServiceFoundListener(Search.OnServiceFoundListener) - Method in class com.samsung.multiscreen.Search
-
Set the listener for service found events.
- setOnServiceLostListener(Search.OnServiceLostListener) - Method in class com.samsung.multiscreen.Search
-
Set the listener for service lost events.
- setOnStartListener(Search.OnStartListener) - Method in class com.samsung.multiscreen.Search
-
Set the listener for start (search) events.
- setOnStopListener(Search.OnStopListener) - Method in class com.samsung.multiscreen.Search
-
Set the listener for stop (search) events.
- size() - Method in class com.samsung.multiscreen.Clients
-
Returns the number of clients connected to the associated channel.
- start() - Method in class com.samsung.multiscreen.MDNSSearchProvider
-
- start() - Method in class com.samsung.multiscreen.MSFDSearchProvider
-
- start() - Method in class com.samsung.multiscreen.Search
-
Start the search process.
- start() - Method in class com.samsung.multiscreen.SearchProvider
-
Start a search using this provider.
- stop() - Method in class com.samsung.multiscreen.MDNSSearchProvider
-
- stop() - Method in class com.samsung.multiscreen.MSFDSearchProvider
-
- stop() - Method in class com.samsung.multiscreen.Search
-
Stop the search process.
- stop() - Method in class com.samsung.multiscreen.SearchProvider
-
Stop a search using this provider.


PSALMS 87
A psalm written by one of the descendants of Korah
1 The city that Yahweh established is on his sacred hills.
2 He loves that city, Jerusalem, more than he loves any other place in Israel.
3 You people in Jerusalem,
other people say wonderful things about your city.
4 Some of those who know our God are the people of Egypt and Babylonia,
and also the people of Philistia and Tyre and Ethiopia;
someday they all will say,
"Although I was not born in Jerusalem,
it is as though I was born there because I belong to Yahweh."
5 Concerning Jerusalem, people will say,
"All of these people were born there,
and Almighty God will cause that city to remain strong."
6 Yahweh will write a list of the names of the people of various groups who belong to him,
and he will say that he considers them all to be citizens of Jerusalem.
7 They will all dance and sing, saying,
"Jerusalem is the source of all our blessings."


--- layout: archive title: Zulip Chat Archive permalink: /stream/113488-general/topic/expr.2Eis_internal_cnstr.html ---
What does expr.is_internal_cnstr
do?
I've fiddled around with it but I can't get it to return anything except none
.
In the C++ it looks like it's just checking if the expr is a constant and checking that the name of the constant ends with _cnstr
. What would be an example of that?
Also get_nat_value
, extracts a nat from a "nat value macro". But I can't see where nat value macros are used.
What do I need to do to get rid of the failed to synthesize type class instance for ⊢ reflected e
error?
universes u v def e := Π a : Type u, Π b : Type v, a × b #check e #eval to_string $ expr.collect_univ_params $ `(e)
I think is_internal_cnstr
will rarely give you an answer. When it does, your expression will likely give you a bunch of trouble and that's why I wrote tactic.pis
in mathlib to replace expr.pis
.
What do I need to do to get rid of the
failed to synthesize type class instance for ⊢ reflected e
error?universes u v def e := Π a : Type u, Π b : Type v, a × b #check e #eval to_string $ expr.collect_univ_params $ `(e)
I don't know if there is a reflected
instance for types in general. You may have to go through to_expr
Last updated: Apr 24 2020 at 19:02 UTC


Suffolk poetry fans can enjoy two evenings in the company of former Scottish Poet Laureate Liz Lochhead. On Tuesday 25 October, she can be heard in conversation with award-winning poet Tiffany Atkinson at Beccles Library, and on Wednesday 26 October, she will be accompanied by local Celtic fusion band Aartwork at Woodbridge Library.
No one could say the stories were useless for as the tongue clacked five or forty fingers stitched corn was grated from the husk patchwork was pieced or the darning was done...
So goes one of Scotland’s favourite literary quotes, from The Storyteller Poems by Scottish poet Liz Lochhead, who has recently left the post of Scots Makar - the Scottish equivalent of Poet Laureate - and last year won the Queen’s Gold Medal for Poetry. She will be reading her evocative poetry in Suffolk on two consecutive nights as part of Suffolk Libraries Bookfest. Lochhead’s work, while warm and witty, has real power and seeks to challenge the reader. She has published 18 books since 1972.
Driving back in the slipstream of the windfarm, each arc of white- through-blue reaping ohms from clean air.
Tiffany Atkinson, Autobiography Without Pronouns
At Beccles Library on Tuesday 25 October, Lochhead has equal billing with award-winning poet and Professor of Creative Writing at the University of East Anglia Tiffany Atkinson. Both poets will perform readings and sign books, and they will also be discussing their work with library manager Ellen McAteer. Atkinson has published three volumes of funny and moving poetry, featuring unusual imagery that offers a fresh outlook on the everyday.
At Woodbridge Library on Wednesday 26 October, Lochhead will be played in by local Celtic folk fusion band Aartwork. Combining traditional Celtic style with elements of jazz and blues and liberal use of the effects pedal, while Aartwork are difficult to pin to one genre, they will undoubtedly offer a fitting warm-up for Lochhead’s pin-sharp descriptions of modern Scotland.
Liz Lochhead and Tiffany Atkinson in conversation at Beccles Library - Tuesday 25 October, 7:30pm, £6. There will be a cash bar serving refreshments and a book signing from 8:30pm. Buy tickets.
Liz Lochhead with Aartwork at Woodbridge Library - Wednesday 26 October, 7pm, £8. Poetry reading begins at 7:30pm and refreshments will be available. Buy tickets.


Knock me out!
Profiles
+ Add new profile
Is active:
Submit
Cancel
First Name
Last Name
Email
Registered
Total of Range
Tags


Cluster not connected
Configuration
Search
Drop Index/Type
Delete By Id
Routing key:
Delete By Query
*
Search Index
This is the default dialog which is useful for displaying information.
Cluster:
Connect
Username:
Password:
From:
Size:
Search Type:
query_then_fetch
query_and_fetch
dfs_query_then_fetch
dfs_query_and_fetch
Default Operator:
AND
OR
lowercase_expanded_terms:
analyze_wildcard:
Query Type:
Enable Index/Type Dropping:
Show JSON Results:
Show Mappings:
Show Cluster:
Json results are shown here
Show Mapping
Index Shard Info
Tabular format displays only most commonly used mapping attributes
Cluster layout by Nodes or Indices. Click on nodes/indices to drill down to shard level. Double click for more info
Plot By
Client Nodes
Data Nodes
Only Unassigned Indices
Index/Node filter


Team Meeting
Lorem Ipsum is simply dummy text of the printing and typesetting industry.
12:48PM
Updation of work
Lorem Ipsum is simply dummy text of the printing and typesetting industry.
4:01PM
New Project Information
Lorem Ipsum is simply dummy text of the printing and typesetting industry.
09:25PM


This time mainly core changed, without mutch of new features
Internal changes regarding co-browsing. Support for co-browsing session based on online visitor. These changes were done to allow plugin initiate co-browsing session without a chat. This is pure for extensions purposes. No UX changes.
NodeJS-Helper plugin update, chat became offline if no actions were processed for online timeout period. This happened only if NodeJS with publish notifications were used.
Chat start chat will have automatic height for first time. UX improvement
This time small, but usefull release for some of the users.
Autologin module. It simplifies integration with third party CMS or any other system. By default it's turned off.
Example of user can be found at doc/autologin/autologin.php
This module was sponsored by the way so say big thanks to community. More detailed article can be found here
And a lot of templates split's in order for automated hosting to allow easier enable disable features
Well, now everybody can easily host Live Helper Chat with XMPP support on VPSie see a video how easy it's to setup. Basically once you have running VPS the only thing you have to do is add dns record to provided VPS ip and you are ready to go or just enter IP in browser it will work also.
Have fun!
Everyone who want's to have an account there just register using this link
Option to provide chatbox name. E.g
For page embed code
var LHCChatboxOptionsEmbed = {identifier:'default','nick':'remdex44','chatbox_name' : 'custom name'};
For standard widget
var LHCChatboxOptions = {identifier:'default',status_text:'Chatbox','nick':'remdex44','disable_nick_change':true,'chatbox_name' : 'custom name right'}; https://github.com/LiveHelperChat/livehelperchat/issues/643
Co-Browsing now does not require dedicated sub-domain. It can use same domain sub-locations. This will save some users funds like they won't have to buy ssl for sub-domain
See doc/node_servers/cobrowsing
Operator now has ability to request permission to selected module. [Sponsored]
Many parts were splitted into separte templates to prepare for new features in automated hosting [Sponsored]


org.davidmoten.kool.internal.operators.maybe
Classes
MaybeDefer
MaybeDoOnEmpty
MaybeDoOnError
MaybeDoOnValue
MaybeError
MaybeFlatMap
MaybeFlatMapMaybe
MaybeFromCallable
MaybeIsPresent
MaybeIterator
MaybeMap
MaybeOrElse
MaybeSwitchOnError
MaybeToStream


From the manual for elders of Jehovah's Witnesses
"Pay Attention To Yourselves and to All the Flock"
UNIT 5 (c) -- Part 2 of 3
Appealing Judicial Decisions
If the accused believes that an error in judgment was
committed, he should make known in writing his reason
for requesting an appeal, doing so within seven days
from the time he was notified of the decision of the
committee.
-
His written statement should be addressed to the judicial
committee that decided the matter.
124 - "Pay Attention to Yourselves and to All the Flock "
-
The judicial committee chairman will promptly contact
the circuit overseer, who will then designate elders to serve
on the appeal committee.
-
If possible, elders selected by the circuit overseer for
hearing the appeal should not be from the same con-
gregation as the original committee.
If the basis for the appeal is not clear in the written
statement, try to determine which of the following is
claimed:
-
He contends that a disfellowshipping offense was not
committed.
He denies committing the alleged wrong.
He admits to wrongdoing but believes he was repen-
tant.
The appeal should be heard even if the basis for it may not
appear sound. (km 1/80 p. 4)
-
If the person should appeal after seven days, immedi-
ately contact the Society for direction.
The hearing is conducted in a manner similar to the first
judicial committee hearing.
-
It may be necessary to rehear all the evidence relevant to
the case, including that which was presented originally
and any new evidence now available.
The judicial committee that heard the original case should
be present at the appeal hearing(s).
-
Prior to the appeal hearing, the original committee
should furnish the appeal committee with the complet-
ed S-77 and S-79 forms along with whatever written
records it has from the first hearing(s).
If either the original committee or the accused believes
that earlier testimony or evidence is being changed, this
can be so stated following the presentation of the
alleged altered evidence.
Following the presentation of the evidence, the appeal
committee should deliberate in private.
-
The appeal committee may need to question either the
original committee or the accused separately.
UNIT 5 (c) - 125
The appeal committee is to determine whether there was
an error in judgment or the decision was basically sound
according to information available; it should also deter-
mine the attitude of the accused at the original commit-
tee hearing(s).
-
The appeal committee is to ascertain whether there was a
Scriptural basis for the original action taken and whether
the individual was repentant at the time of the hearing by
the original judicial committee.
-
There may be mitigating circumstances the committee
overlooked, such as a history of some type of abuse when
a child, emotional or mental disorders, or other.
-
While these do not justify wrongdoing, understanding the
underlying reason or causes of emotional or mental
problems can help the committee to reach a balanced and
compassionate judgment. (w90 2/15 pp. 21-3; w83 lO/1
pp. 27-31)
The wrongdoer may admit guilt on a disfellowshipping
charge hut claim that at the time of the original judicial
committee hearing, he was repentant. (w83 1/1 pp. 30-1)
The appeal committee will examine evidence to see if he
had genuinely repented. (Unit 5 (b) pp. 112-15; w81 9/1
pp. 25-6)
The appeal committee may find that while the original
basis for disfellowshipping was invalid, other valid
grounds for disfellowshipping exist.
-
If this happens, the individual should be given sufficient
time, even several days if needed, to present any evidence
or witnesses that he feels will disprove the new
allegations.
If the new allegations are nonetheless established and if
the person does not demonstrate genuine repentance, the
appeal committee may decide to disfellowship on these
new grounds.
The appeal committee should then inform the accused of
its decision to uphold the disfellowshipping and
126 - "Pay Attention to Yourselves and to All the Flock "
-
should also inform him of the steps he needs to take to
gain reinstatement.
New S-77 and S-79 forms should be made out giving the
proper information, and these along with the original
forms and correspondence related to the case should be
sent to the branch office.
When the disfellowshipping is upheld by the appeal
committee, there is no further right to appeal. However,
if an individual persists in believing a serious error in
judgment has occurred, the appeal committee should
inform him that he may submit his allegations in writing
to the appeal committee within seven days for transmittal
to the branch office.
-
The appeal committee will include this statement along
with the information being sent to the branch office.
No announcement of disfellowshipping should be made
until observations are received from the branch office.
If no written claim of a serious error in judgment has been
provided to the appeal committee within seven days (as
outlined above), the appeal committee should send in the
S-77 and S-79 forms and tell the original committee to
announce the disfellowshipping.
If the appeal committee disagrees with the decision to
disfellowship, the decision should be discussed with the
original judicial committee privately.
-
If both committees agree that the person should not be
disfellowshipped, the individual should be so advised.
The appeal committee will send the branch office a brief
explanation of the mutual conclusion not to disfellowship
reached by both committees, which should clearly state
that the original judicial committee agrees with the deci
sion.
-
The original committee will receive a copy of the
letter,which will be kept in a sealed envelope in the
congregation's confidential file.
UNIT 5 (c) - 127
-
At times the original committee and the appeal committee
may hold conflicting opinions.
-
When this occurs, the individual should not be given any
indication of the conclusions of the appeal committee.
Simply tell the person that the decision is pending.
The appeal committee should send the S-77 and S-79
forms to the branch office with a letter giving reasons for
its decision and should include a letter from the original
committee expressing the reason(s) for disagreement.
-
The appeal committee gives the original committee a copy
of its report. Both committees await a reply from the
branch office.
It may be that certain important factors are being
overlooked by one or both of the committees.
-
The branch office will be glad to comment on any such
factors and offer additional Scriptural assistance as may
be needed. Such information will be supplied for the
appeal committee.
Further meetings with the accused or between the
committees may or may not be necessary to conclude the
case.
Once any differences between the committees have been
resolved in the light of the Scriptural principles cited by
the branch office, the appeal committee should inform the
individual of the decision.
-
If the decision is to disfellowship, the original judicial
committee will arrange to make the announcement to the
congregation.
Reinstatement
While there should be no hasty action in reinstating
disfellowshipped individuals, consideration should be
given to a plea for reinstatement when this is requested.
Once a year the body of elders reviews a list of those in
the congregation territory who are disfellowshipped or
128 - "Pay Attention to Yourselves and to All the Flock"
disassociated. They will call on each one they select in
order to see if he wants to return. (w91 4/15 pp. 22-3)
-
The body will assign two elders to make each call,
preferably elders familiar with the case.
During a brief visit or two, the elders can kindly explain
what the individual can do to return.
They will report the results to the Congregation Service
Committee, and the body will be informed at the next
meeting of the elders.
If someone asks about reinstatement or if by changing his
course gives evidence of repentance and a desire to be
reinstated, the authorized elders may speak with the
individual and kindly explain what he needs to do in order
to he reinstated.
-
There is an advantage to having the elders who served on
the judicial committee that disfellowshipped the
individual also serve on the committee for the
reinstatement if this is possible and they are still serving
as elders in the congregation handling the request for
reinstatement.
In hearing pleas for reinstatement, elders need to be
balanced.
-
Genuine repentance and a turning away from the wrong
course--not the attitude of others or merely the time
elapsed--are the chief determining factors in deciding
when a person may be reinstated. (1 Cor. 5:1, 11-13; 2
Cor. 2:6, 7)
Elders should be sure that sufficient time has passed for
the disfellowshipped person to prove that his profession
of repentance is genuine. ( it-2 p. 771 )
Consider the overall pattern of his life. Does it now show
that he is repentant? (w77 3/1 p. 152)
-
If so, elders will guard against going to extremes by
exacting a point-by-point admission of sins that may not
have been clearly proved.
UNIT 5 (c) - 129
-
Where there is evidence of conspiracy between
individuals to put away their mates and marry each other,
considerable time should elapse before a hearing for
reinstatement may be held. (w79 11/15 pp. 31-2)
If it is determined that the wrongdoer is sincerely
repentant, has discontinued his former wrong conduct,
and is doing works that befit repentance, he can be
reinstated. (Compare Acts 26:20.)
-
The decision to reinstate is made by a judicial committee
of the congregation that took the disfellowshipping action.
The secretary should sign and return the S-79b card to the
Society immediately. (om pp. 149-50)
-
If the disfellowshipped person has moved, his request for
reinstatement may be heard by a local judicial committee
where he is now attending meetings. Thereafter, that
committee will give the body of elders of the congregation
that disfellowshipped the individual its recommendation.
If the two congregations are reasonably close to each
other, the judicial committee of the congregation that took
the disfellowshipping action should meet with the
disfellowshipped individual after receiving the
recommendation of the committee of the congregation
where he made his plea for reinstatement.
Reinstatement is announced in the congregation where the
person was disfellowshipped as well as in the
congregation where he now attends.
When an individual is reinstated, he will still need much
spiritual assistance.
-
The elders should see that definite arrangements are made
to help the person regain spiritual health and strength.
(Col. 2:7; Titus 2:1, 2)
-
They may arrange for a Bible study to be conducted,
which would be reported as field service.
130 - "Pay Attention to Yourselves and to All the Flock "
-
Restrictions should be imposed to help the person see the
need of continuing to make 'straight paths for his feet' and
also out of consideration for the congregation's
conscience. (Heb. 12:13)
-
The privilege of sharing in the field service is restored
when the individual is reinstated.
other privileges, such as commenting at meetings,
handling parts on the program, and offering prayer at
meetings, can be restored progressively when it is
determined that the individual has progressed spiritually
to the point that he is qualified and when it is judged by
the elders that the extending of such privileges will not be
offensive to the congregation.
-
It will be up to the elders of the congregation where he
now is located to decide when certain privileges may be
restored.
Circumstances of each case govern the length of time that
should elapse before recommending a reinstated brother
for additional privileges and responsibility.
-
Carefully consider possible effects if the individual were
to be appointed. Would it be a cause for stumbling among
the brothers?
The privilege of serving as ministerial servant or elder can
be recommended only after he has had ample time to
prove himself to be irreprehensible and is again "free from
accusation" and has "freeness of speech." ( 1 Tim. 3:2, 9,
10, 13)
-
He must live down the reproach and build up a convincing
record of righteousness, which may take a number of
years.
If wrongdoing occurred in another congregation, the
feelings of members of that congregation should be
considered.
In cases of scandal, he might not be able to live down
his wrongdoing sufficiently to qualify for an appoint-
ment to serve as a ministerial servant or an elder for a
very long time.
UNIT 5 (c) - 131
End of Part 2 (part 2 of 3)
"Pay Attention to Yourslves and to All the Flock"
[part 1] [part 3]


When making a simulation design based on a conceptual model of the system under investigation, we may abstract away from certain items of the conceptual model for obtaining a sufficiently simple design. The right degree of abstraction depends on the purpose of the model.
In our example of a medical department, the purpose of the simulation model is to compute the maximum queue length and the resource utilization for all types of activities. So, we may abstract away from the object type patients since we don't need any information about individual patients. If we don't need utilization statistics per doctor, but only the average utilization of all doctors, then we may also abstract away from the object type doctors This is the approach chosen in our design models Medical-Department-1a and Medical-Department-1b, while we keep the object type doctors for modeling individual doctors in the design model Medical-Department-1c.
Since we abstract away from individual patients, we rename patient arrival events to NewCase events, each of them representing a new case for an examination to be planned and performed.
The event type NewCase is a type of exogenous events,exogenous event which are not caused by any causal regularity of the system under investigation and, therefore, have to be modeled with a recurrencerecurrence function that allows to compute the time of the next occurrence of an event of that type.
We model the random variations of two variables, the recurrence of new cases and the duration of examinations, in the form of random variablesrandom variable as special class-level ("static") functions, with a stereotype «rv», in the class to which they belong, as shown in the diagrams below.
The recurrence of NewCase events is modeled as a random variable with an exponential distribution having an event rate of 0.7 per minute. The duration of examinations is modeled as a random variable with a uniform distribution having lower bound 5 and upper bound 9.
In the Medical-Department-1a information design model, instead of using the built-in generic resource management logic, we explicitly model the resource management of doctors with the help of a counter variable for available doctors in the form of an attribute nmrOfAvailableDoctors, and the operations isDoctorAvailable(), allocateDoctor() and releaseDoctor(), in the MedicalDepartment class:
The isDoctorAvailable function simply tests if nmrOfAvailableDoctors > 0, while the procedures allocateDoctor and releaseDoctor decrement and increment the nmrOfAvailableDoctors counter.
In addition to an information design model for defining the simulation's state structure, we also need to make a process design model for defining the dynamics of the simulation. The following DPMN process diagram defines two event rules:
Notice that this process design model contains the entire resource management logic for (de-)allocating doctors to (from) examinations. Since standard resource management procedures can be defined in a generic way, this logic (and the related code) can be moved from example models to the simulator, as explained in the next section.
The following table shows the two event rules defined by the above DPMN diagram, expressed in pseudo-code.
ON (event type) |
DO (event routine) |
NewCase( md) @ t |
newExam = new Examination( md); IF md.isDoctorAvailable() md.allocateDoctor(); SCHEDULE new ActivityStart( newExam); ELSE md.plannedExaminations.enqueue( newExam); |
Examination( md) @ t |
IF md.plannedExaminations.length = 0 md.releaseDoctor(); ELSE plannedExam = md.plannedExaminations.dequeue(); SCHEDULE new ActivityStart( plannedExam); |
In the Medical-Department-1b information design model we make two simplifications:
The resulting information design model only includes two classes: the event type NewCase and the activity type Examination, as shown on the left-hand side of the following class diagram.
On the right-hand side bottom of this diagram, the resource role doctor and its count pool doctors, instantiating the OES Core 2 library classes ResourceRole and CountPool (as a special type of ResourcePool), are shown. Notice that resourceRole assigns the OES resource role doctor with resource cardinality 1 to the activity type ExaminationSuch a resource role assignment is expressed in the UML class diagram as a link instantiating the corresponding class-level meta-property ActivityType.resourceRole., which is in turn linked to a count pool with name doctors. In OESjs-Core2, this is coded in the file Examination.js in the following way:
class Examination extends aCTIVITY { constructor({id, startTime, duration}={}) { super({id, startTime, duration}); } static duration() {return rand.uniform( 5, 10);} } Examination.resourceRoles = { "doctor": {card:1} }
The generic class-level ("static") property Examination.tasks is automatically created by the simulator. Likewise, the count pool "doctors" is automatically created and assigned to the resource role definition map entry Examination.resourceRoles["doctor"].
In the Medical-Department-1b process design model we make corresponding simplifications as in the information design model above:
In the resulting DPMN diagram, the event type NewCase is connected to the activity type Examination with a Resource-Dependent Activity Start arrow:
Using a Resource-Dependent Activity Start arrow from NewCase to Examination implies that upon a NewCase event a new planned Examination activity is enqueued by the simulator, if the required resources are not available; otherwise, a new Examination activity is scheduled to start immediately. Using this built-in standard resource management logic relieves the simulation developer from coding the resource availability tests and the enqueuing of a new Examination activity in a NewCase event rule.
Since in this model, NewCase events and Examination activities are handled according to the generic logic of Activity Networks built into the OES Core 2 simulator, we do not need to model/specify any event rules. For having NewCase events succeeded by Examination activities, we just need to specify this event flow relationship (in OESjs-Core2) in the following way:
NewCase.successorActivity = "Examination";
The simulator interprets this successorActivity assignment when creating follow-up events for NewCase events by enqueuing a planned examination activity in the following way
Examination.tasks.enqueue( new Examination())
In the Medical-Department-1c design model, the resource pool doctors is modeled as an individual resource pool instead of a count pool. This allows making the model more realistic, for instance, by assigning an individual work schedule to each doctor defining her availability.
Compared to the Medical-Department-1b information design model, we have to change the following:
The resulting information design model is shown in the following class diagram:
On the right-hand side bottom of this diagram, the resource role doctor and its individual pool doctors, instantiating the OES Core 2 library classes ResourceRole and IndividualPool (as a special type of ResourcePool), are shown. In OESjs-Core2, this is coded in the file Examination.js in the following way:
Examination.resourceRoles = { "doctor": {range: Doctor, card:1} }
The Medical-Department-1c process design model is the same as in the Medical-Department-1b process design model above:
In the Medical-Department-2a design model, we model two activity types: WalkToRoom activities involve a room and are performed by a nurse, while Examination activities involve a room and are performed by a doctor. The resource pools nurses and doctors are modeled as individual resource pools, while the resource pool rooms, which is used by both WalkToRoom and Examination activities, is modeled as a count pool.
The resulting information design model is shown in the following class diagram:
Notice that the generic class-level ("static") properties WalkToRoom.tasks and Examination.tasks don't have to be defined when coding the two activity types since they are automatically created by the simulator.
In the process design model, again, we leave the process owner implicit, not showing a container rectangle for MedicalDepartment:However, it is an option to show the performer roles with the help of corresponding Lanes:
In OESjs-Core2, the two Resource-Dependent Activity Start arrows between NewCase and WalkToRoom, as well as between WalkToRoom and Examination are coded as
NewCase.successorActivity = "WalkToRoom";
in the file NewCase.js, and as
WalkToRoom.successorActivity = "Examination";
in WalkToRoom.js.


This example will be hosted on jsFiddle at this address.
Check the source code of this page to see what happens backstage.


{% extends 'base_layout.html' %} {% set active_sidebar = "session-list" %} {% block extra_css %} {% endblock %} {% block mainpanel %} {% for as in status_list %} Click Here ;) {{ as }}
| User-Name | {{ as.user_name }} |
| State | {{ as.response }} |
| Class | CACS:c612851bC4rGaSM_6ASy99LgM296w_RWfKPdVyfTaLHhmKEGlig:web/294679184/1531451 |
| cisco-av-pair | url-redirect-acl=ISE_REDIRECT |
| cisco-av-pair | url-redirect=https://web.ise-en-001.dc-01.com:8443/portal/gateway?sessionId=c612851bC4rGaSM_6ASy99LgM296w_RWfKPdVyfTaLHhmKEGlig&portal=a6bb0db0-2230-11e6-99ab-005056bf55e0&action=cpp&token=d9ac01bb4d6a192cb24235c8a48e9f9b |
| License Type | Base license consumed |
| Steps | {{ as.execution_steps }} | |
| Source Timestamp | 2017-11-17 15:11:56.368 | |
| Received Timestamp | 2017-11-17 15:11:56.37 | |
| Policy Server | web | |
| Event | 5200 Authentication succeeded | |
| Failure Reason | unknown | |
| Resolution | unknown | |
| Root cause | unknown | |
| Username | 00:00:3A:00:00:00 | |
| Endpoint Id | 00:00:3A:00:00:00 | |
| Calling Station Id | 00:00:3A:00:00:00 | |
| Endpoint Profile | Unknown | |
| IPv4 Address | <IP_ADDRESS> | |
| IPv6 Address | unknown | |
| Authentication Identity Store | unknown | |
| Identity Group | unknown | |
| Audit Session Id | val | |
| Authentication Method | mab | |
| Authentication Protocol | Lookup | |
| Service Type | Call Check | |
| Network Device | aod-switch | |
| Device Type | All Device Types#Switches | |
| Location | All Locations#dCloud | |
| NAS IPv4 Address | <IP_ADDRESS> | |
| NAS IPv6 Address | unknown | |
| NAS Port Id | GigabitEthernet2/7 | |
| Authorization Profile | Posture_Redirect | |
| Posture Status | Pending | |
| Security Group | unknown | |
| MapLocation | unknown | |
| MSE Server | unknown | |
| MSE Response Time | unknown | |
| Response Time | 90 |


--- layout: post title: Python Interactive Habits published: true meta: posterous_60e8ef2b7d9ddd23e14a941a8878b49c_post_id: "25316792" posterous_60e8ef2b7d9ddd23e14a941a8878b49c_permalink: http://maxlynchmadison.posterous.com/python-interactive-habits tags: [] type: post status: publish ---
I need to get out of the habit of trying to do everything from the python interactive shell. Even with ipython most of the time I find myself having to re-enter my code over and over until I get it right. It's very frustrating.
Basically, if I need to do a loop, I find it faster to just write a small script than to try to get it right in the REPL.Not to mention that ipython has a nasty bug that complains about improper indentation levels when recalling a block of code. The solution is to call %autocall 0.


Uses of Interface
io.sf.carte.doc.style.css.nsac.SelectorList
Package
Description
This package provide an implementation of the
Document
Object Model (DOM) Level 3 Core Specification that can be used for XML or
HTML documents, albeit with a few deviations from the specification.
This package and its subpackages provide an implementation of the
CSS Object Model API.
NSAC: a non-standard revision to
W3C's SAC api.
Implementation classes for the CSS Object Model API.
Classes related to CSS parsing.
-
Uses of SelectorList in io.sf.carte.doc.dom
Modifier and TypeMethodDescriptionboolean
DOMElement.matches
(SelectorList selist, Condition pseudoElement) Does this element (with the provided pseudo-element, if any) match the provided selector list ? -
Uses of SelectorList in io.sf.carte.doc.style.css
Modifier and TypeMethodDescriptionCSSStyleRule.getSelectorList()
The selectors of this style rule.Modifier and TypeMethodDescriptionboolean
CSSElement.matches
(SelectorList selist, Condition pseudoElement) Does this element (with the provided pseudo-element, if any) match the provided selector list ?int
SelectorMatcher.matches
(SelectorList selist) Does this object match the given selector list? -
Uses of SelectorList in io.sf.carte.doc.style.css.nsac
Modifier and TypeMethodDescriptionPositionalCondition.getOfList()
Get the list of selectors that the children have to match.ArgumentCondition.getSelectors()
Get the list of selectors that were supplied as argument.Parser.parseSelectors
(Reader reader) Parse a comma separated list of selectors.Parser.parseSelectors
(String selectorText, Parser.NamespaceMap nsmap) Parse a comma separated list of selectors.Modifier and TypeMethodDescriptionvoid
CSSHandler.endSelector
(SelectorList selectors) Receive notification of the end of a style rule.void
CSSHandler.startSelector
(SelectorList selectors) Receive notification of the beginning of a style rule. -
Uses of SelectorList in io.sf.carte.doc.style.css.om
Modifier and TypeMethodDescriptionprotected abstract int
AbstractSelectorMatcher.indexOf
(SelectorList list) protected int
DOMSelectorMatcher.indexOf
(SelectorList selectors) int
AbstractSelectorMatcher.matches
(SelectorList selist) Does this selector match the given selector list?protected abstract int
AbstractSelectorMatcher.reverseIndexOf
(SelectorList list) protected int
DOMSelectorMatcher.reverseIndexOf
(SelectorList selectors) -
Uses of SelectorList in io.sf.carte.doc.style.css.parser
Modifier and TypeMethodDescriptionAnBExpression.getSelectorList()
If the expression contains a list ofof
-selectors, return it.protected abstract SelectorList
AnBExpression.parseSelector
(String selText) CSSParser.parseSelectors
(InputSource source) CSSParser.parseSelectors
(Reader reader) CSSParser.parseSelectors
(String seltext) CSSParser.parseSelectors
(String selectorText, Parser.NamespaceMap nsmap) Modifier and TypeMethodDescriptionvoid
EmptyCSSHandler.endSelector
(SelectorList selectors) static boolean
ParseHelper.equalSelectorList
(SelectorList list1, SelectorList list2) void
EmptyCSSHandler.startSelector
(SelectorList selectors)


UX services and training, tailored to your organization.
Providing user testing, wireframing, UI design, and front-end development to evolve your user experience.
Cycling '74 makes Max, the premier graphical programming environment for media. Max helps artists and musicians build their own software.
"Beyond the designs that we ended up implementing, Geoff left us with a large set of observations, concepts, and practices that transformed our organization for the better."
-David Zicarelli
CEO, Cycling ’74
Max is a visual coding environment. Modular code objects manipulate audio, video, and data, and can be patched together to create complex programs.
I worked as a usability engineer at C'74 for four years. During that time we made usability a primary focus of our development of Max 7. We also released Mira, a zero-config iOS controller for Max, and a new version of Max For Live, our plugin authoring platform for Ableton Live.
Mira, the zero-config Max controller for iOS, in situ.
From running C74's first usability tests to the formation of the Product Design team, I helped develop UX theory and practice throughout the company, making user research, prototyping, and iterative design a fundamental part of how C74 builds software.
Learn more at cycling74.com, or take a closer look at the new UX improvements in Max 7.
I worked with Envelop to develop a UI for their immersive audio platform. This interface allows musicians to create three dimensional compositions for ambisonic performance.
Envelop interface prototype
The foundation of ENVELOP’s technology is Ambisonics, an innovative open source sound mapping technique. Using Ambisonics, artists determine a virtual location in space where they want to place a sound source, which is then rendered to a spherical array of speakers. ENVELOP is 28.4 channel Ambisonic sound system can position and move sound elements above, below, in front of, behind, and completely around an audience. A high-fidelity video projection system and LED lights embedded within the ENVELOP columns can be controlled in unison with audio to build synchronized audio/visual compositions.
Envelop speaker towers concept sketch
ENVELOP's Kickstarter campaign successfully funded the fabrication and installation of the ambisonic environment at the new media performance center, The Midway, opening summer 2015 in San Francisco. If you'd like to get involved, check out the github repo.
Afield is a project to create spatialized field recordings using your mobile device.
expand_moreAfield is a timecapsule, a way of connecting to places you've left behind, a method of digitourism, and a means of collapsing physical distance.
Afield is a mobile app for creating shared auditory/ambulatory experiences. It’s like a sonic scavenger hunt where you follow your ears instead of a map. If you’re lucky, you’ll get well and truly lost in the process.
Make geotagged field recordings on your mobile device, and share them as a SonicWalk. Take a SonicWalk, and those recordings become audible beacons that you can follow as you explore your city, town, or countryside…
This storyboard outlines the basic user experiences of recording and sharing sonic walks, and touches on the signal processing concept that will be used to spacialize the sound.
Afield is under development. Check out the development blog at sonicwalk.tumblr.com
I designed educational content for this nuclear non-proliferation foundation.
expand_moreThe WJ Perry foundation wants to help create a new generation of activists to fight nuclear proliferation.
Former US Secretary of Defense William Perry founded this organization to raise awareness about the threat of nuclear weapons. I designed and deployed their homepage, and developed designs for educational materials to help engage a new generation of activists through interactive media.
Proposal for interactive mapping module on White Sands, NM, site of the first nuclear test.
Learn more at wjperryproject.org
I taught studio and seminar classes on new media art at the University of San Francisco.
expand_moreI developed and taught two classes for the University of San Francisco's Art and Design department: "Digital Literacy" a studio/seminar on new media art, and "Digital Media Lab" a course on graphic, interaction, and web design.
Some remnants of the course blog remain online at dliteracty.wordpress.com.
I developed websites, installations, and immersive experiences with the Art/Design collective Futurefarmers.
expand_moreWorking with Futurefarmers gave me my first experience in web development and interaction design and had a deep influence in my ongoing interests in art, technology, and community.
From their website:
Futurefarmers is a group of diverse practitioners aligned through an interest in making work that is relevant to the time and place surrounding us. Founded in 1995, the design studio serves as a platform to support art projects, an artist in residence program and our research interests. We are artists, researchers, designers, architects, scientists and farmers with a common interest in creating frameworks for exchange that catalyze moments of "not knowing".
The Free Soil project - mapping superfund sites in the Bay Area
I acted as project manager and web developer for the award winning project TransportationTown, which was featured in the MOMA's Interactive Design exhibit, Talk to Me.
Transportation Town - a city planning simulation game
Learn more about Futurefarmers at futurefarmers.com
One fateful night at the kitchen table, I created a new game. Now I want to teach the world to Citroll!
expand_moreOne fateful night at the kitchen table, I created a new game. Now I want to teach the world to Citroll!
Citrol is many things. A sport, an artform, a way of life...and an experiment in crowdsourcing, community engagement, design. Citroll founding fathers mufflepult, hardtoremember and I have created twitter feeds, blogs, and even Amazon Turk campaigns to spread the word and teach the world to Citroll.
All you need are a citroll ball, a citroll paddle, and a flat surface. Just roll the citroll ball onto your paddle, and lift off. That's the basic citroll, but the variations are endless...you try it!

Learn more at citroll.com
I started this label specializing in limited edition cassette releases of ambient and experimental music.
expand_moreI record and release my own and friends' ambient and experimental music on my label, Bunkerdays.
Bunkerdays pulls together many of the musical projects I've been involved in over the years, including ambient, experimental, folk, and electronic music.
Listen at bunkerdays.bandcamp.com
Flow: the state in which a person is fully immersed in a feeling of energized focus
I approach each client with an eye towards finding and alleviating points of friction in their design process. A fluid UX process can help steer development past breakdowns in communication, ambiguities, and ambivalence, freeing developers, managers, and designers do what they do best.
I sit real users down in front of a product, website, or prototype, and interview them as they try it out. Simple questions can yeild a wealth of qualitative information about how your product feels, where it succeeds, and how it can be improved.
 It explicitly answers essential questions which might have been taken for granted - Who is the user? What do they need? How can we help?
Wireframes provide a vision of the essential structure and user flow of an interaction, without getting involved in visual design or implementation details. They outline your product's user experience and provide the roadmap for development.
I strive to make nice things that work in a quiet way. Typography, color, and motion need to work together to create an interaction with the user that feels real, natural, and expected.
I'm always learning new tools and platforms. That's given me a broad base in modern frameworks for web and mobile development that allows me to quickly mockup interactive prototypes
I use A/B testing, funelling, and other metrics to make the impact of design choices tangible. Data provides insight and confidence, keeping your product's design aligned with your users' needs.


--- title: "ISWC2016 Home" updated: 2015-09-11 17:38:49 layout: default status: published ---
ISWC 2016 is the premier international forum, for the Semantic Web / Linked Data Community. Here, scientists, industry specialists, and practitioners meet to discuss the future of practical, scalable, user-friendly, and game changing solutions.


View our project
flash_on
View our Github
description
Documentation Links
User manual
file_download
Architecture Specification
file_download
Functional Specification
file_download
Testing Document
file_download
line_style
Waffle board
Manage and respond to leads and analyze your current customers.
Intergration Points
Facebook Lead Adds
Static Form Page
WeChat Messenger
Facebook Messenger
data_usage
Live analytics of your leads
Intergration Points
cast
Real time updates using Socket.io
data_usage
Graphing using Google Charts
my_location
Geostats
my_location
Geocharts
Feel free to contact us with any questions.
Contact Us
Loading...
Team: ValknutSolutions
Our team
Charl
Quinton
Kevin


Departments
Employees
Edit employee
Department
CEO
Accounting
Java
Testing
People management
Employee Name
Cancel
Save


| Blue-Red Party |
11/02/1988 |
this party Created by Gabriel |
4500 |
Edit
Delete
|
| Job Party |
11/02/1889 |
this party Created by John Smith |
7500 |
Edit
Delete
|
| Light Party |
01/05/1971 |
this party Created by John Doe |
5200 |
Edit
Delete
|
| Job Party |
11/02/1889 |
this party Created by John Smith |
7500 |
Edit
Delete
|
| Blue-Red Party |
11/02/1988 |
this party Created by Gabriel |
4500 |
Edit
Delete
|
| Light Party |
01/05/1971 |
this party Created by John Doe |
5200 |
Edit
Delete
|


A template class for representing row-major cuDNN device tensors of different data types.
More...
#include <CuDNNTensor.hpp>
|
| | CuDNNTensor (Scalar *data, std::size_t samples, std::size_t height, std::size_t width, std::size_t channels) |
| |
| | CuDNNTensor (std::size_t samples, std::size_t height, std::size_t width, std::size_t channels) |
| |
| std::size_t | samples () const |
| |
| std::size_t | height () const |
| |
| std::size_t | width () const |
| |
| std::size_t | channels () const |
| |
| const cudnnTensorDescriptor_t & | desc () const |
| |
| const cudnnFilterDescriptor_t & | filter_desc () const |
| |
| void | set_values (Scalar value) |
| |
| Scalar | reduce (cudnnReduceTensorOp_t op_type) const |
| | Performs a reduction along all ranks of the tensor. More...
|
| |
| Self | reduce (cudnnReduceTensorOp_t op_type, const std::array< bool, 4 > &ranks) const |
| | Performs a reduction along the specified ranks of the tensor. More...
|
| |
| Scalar | sum () const |
| |
| Self | sum (const std::array< bool, 4 > &ranks) const |
| |
| Scalar | avg () const |
| |
| Self | avg (const std::array< bool, 4 > &ranks) const |
| |
| Scalar | min () const |
| |
| Self | min (const std::array< bool, 4 > &ranks) const |
| |
| Scalar | max () const |
| |
| Self | max (const std::array< bool, 4 > &ranks) const |
| |
| Scalar | abs_max () const |
| |
| Self | abs_max (const std::array< bool, 4 > &ranks) const |
| |
| Scalar | l1_norm () const |
| |
| Self | l1_norm (const std::array< bool, 4 > &ranks) const |
| |
| Scalar | l2_norm () const |
| |
| Self | l2_norm (const std::array< bool, 4 > &ranks) const |
| |
| std::string | to_string () const |
| |
| | CUDAArray (Scalar *data, std::size_t size) |
| |
| | CUDAArray (std::size_t size) |
| |
| std::size_t | size () const |
| |
| const Scalar * | data () const |
| |
| Scalar * | data () |
| |
| bool | wrapper () const |
| |
| void | set_values (int value) |
| |
| void | copy_from_host (const Scalar *host_array) |
| | It populates the entire device array with data from the host memory. More...
|
| |
| void | copy_to_host (Scalar *host_array) const |
| | It copies the entire device array to the host memory. More...
|
| |
|
| static void | create_tensor_descriptor (cudnnTensorDescriptor_t &desc, std::size_t samples, std::size_t height, std::size_t width, std::size_t channels) |
| |
| static void | destroy_tensor_descriptor (const cudnnTensorDescriptor_t &desc) |
| |
| static void | create_filter_descriptor (cudnnFilterDescriptor_t &filter_desc, std::size_t samples, std::size_t height, std::size_t width, std::size_t channels) |
| |
| static void | destroy_filter_descriptor (const cudnnFilterDescriptor_t &filter_desc) |
| |
| static void | scale (Scalar alpha, Self &a) |
| | It scales the specified tensor by a certain factor. More...
|
| |
| static void | add (Scalar alpha, const Self &a, Scalar beta, Self &b) |
| | It adds tensor a to tensor b. More...
|
| |
| static void | op (const Self &a, Scalar alpha, const Self &b, Scalar beta, cudnnOpTensorOp_t op_type, Scalar gamma, Self &c) |
| | It performs the specified operation on tensors a and b and saves the result in c. More...
|
| |
| static void | reduce_op (Scalar alpha, const Self &a, cudnnReduceTensorOp_t op_type, Scalar beta, Self &b) |
| | It performs the specified reduction operation on tensor a and adds it to tensor b. More...
|
| |
template<typename Scalar>
class cattle::gpu::CuDNNTensor< Scalar >
A template class for representing row-major cuDNN device tensors of different data types.
◆ CuDNNTensor() [1/2]
template<typename Scalar >
- Parameters
-
| data | The device array to wrap in a CuDNNTensor. The ownership of the pointer is not transfered to the tensor. |
| samples | The batch size. |
| height | The height. |
| width | The width. |
| channels | The number of channels. |
◆ CuDNNTensor() [2/2]
template<typename Scalar >
- Parameters
-
| samples | The batch size. |
| height | The height. |
| width | The width. |
| channels | The number of channels. |
◆ abs_max() [1/2]
template<typename Scalar >
- Returns
- The absolute maximum of all elements of the tensor.
◆ abs_max() [2/2]
template<typename Scalar >
- Parameters
-
| ranks | A size 4 boolean array denoting which ranks are to be reduced. |
- Returns
- The reduced tensor.
◆ add()
template<typename Scalar >
It adds tensor a to tensor b.
\(B = \alpha * A + \beta * B\)
- Parameters
-
| alpha | The scaling factor of the tensor to add to the other one. |
| a | The tensor to add to the other tensor. |
| beta | The scaling factor of the target tensor. |
| b | The target tensor. |
◆ avg() [1/2]
template<typename Scalar >
- Returns
- The mean of all elements of the tensor.
◆ avg() [2/2]
template<typename Scalar >
- Parameters
-
| ranks | A size 4 boolean array denoting which ranks are to be reduced. |
- Returns
- The reduced tensor.
◆ channels()
template<typename Scalar >
- Returns
- The number of channels of the tensor.
◆ create_filter_descriptor()
template<typename Scalar >
| static void cattle::gpu::CuDNNTensor< Scalar >::create_filter_descriptor |
( |
cudnnFilterDescriptor_t & |
filter_desc, |
|
|
std::size_t |
samples, |
|
|
std::size_t |
height, |
|
|
std::size_t |
width, |
|
|
std::size_t |
channels |
|
) |
| |
|
inlinestatic |
- Parameters
-
| filter_desc | A reference to the filter descriptor object. |
| samples | The batch size. |
| height | The height. |
| width | The width. |
| channels | The number of channels. |
◆ create_tensor_descriptor()
template<typename Scalar >
| static void cattle::gpu::CuDNNTensor< Scalar >::create_tensor_descriptor |
( |
cudnnTensorDescriptor_t & |
desc, |
|
|
std::size_t |
samples, |
|
|
std::size_t |
height, |
|
|
std::size_t |
width, |
|
|
std::size_t |
channels |
|
) |
| |
|
inlinestatic |
- Parameters
-
| desc | A reference to the tensor descri ptor object. |
| samples | The batch size. |
| height | The height. |
| width | The width. |
| channels | The number of channels. |
◆ desc()
template<typename Scalar >
- Returns
- A constant reference to the tensor descriptor.
◆ destroy_filter_descriptor()
template<typename Scalar >
| static void cattle::gpu::CuDNNTensor< Scalar >::destroy_filter_descriptor |
( |
const cudnnFilterDescriptor_t & |
filter_desc | ) |
|
|
inlinestatic |
- Parameters
-
| filter_desc | A constant reference to the filter descriptor object. |
◆ destroy_tensor_descriptor()
template<typename Scalar >
- Parameters
-
| desc | A constant reference to the tensor descriptor object. |
◆ filter_desc()
template<typename Scalar >
- Returns
- A constant reference to the filter descriptor.
◆ height()
template<typename Scalar >
- Returns
- The height of the tensor.
◆ l1_norm() [1/2]
template<typename Scalar >
- Returns
- The L1 norm of the tensor.
◆ l1_norm() [2/2]
template<typename Scalar >
- Parameters
-
| ranks | A size 4 boolean array denoting which ranks are to be reduced. |
- Returns
- The reduced tensor.
◆ l2_norm() [1/2]
template<typename Scalar >
- Returns
- The L2 norm of the tensor.
◆ l2_norm() [2/2]
template<typename Scalar >
- Parameters
-
| ranks | A size 4 boolean array denoting which ranks are to be reduced. |
- Returns
- The reduced tensor.
◆ max() [1/2]
template<typename Scalar >
- Returns
- The maximum of all elements of the tensor.
◆ max() [2/2]
template<typename Scalar >
- Parameters
-
| ranks | A size 4 boolean array denoting which ranks are to be reduced. |
- Returns
- The reduced tensor.
◆ min() [1/2]
template<typename Scalar >
- Returns
- The minimum of all elements of the tensor.
◆ min() [2/2]
template<typename Scalar >
- Parameters
-
| ranks | A size 4 boolean array denoting which ranks are to be reduced. |
- Returns
- The reduced tensor.
◆ op()
template<typename Scalar >
It performs the specified operation on tensors a and b and saves the result in c.
\(C = op(\alpha * A, \beta * B) + \gamma * C\)
- Parameters
-
| a | The first operand. |
| alpha | The scaling factor of the first operand. |
| b | The second operand. |
| beta | The scaling factor of the second operand. |
| op_type | The operation type. |
| gamma | The scaling factor of the result tensor. |
| c | The result tensor. |
◆ reduce() [1/2]
template<typename Scalar >
Performs a reduction along all ranks of the tensor.
- Parameters
-
| op_type | The reduction operation type. |
- Returns
- The result of the reduction.
◆ reduce() [2/2]
template<typename Scalar >
Performs a reduction along the specified ranks of the tensor.
- Parameters
-
| op_type | The reduction operation type. |
| ranks | A size 4 boolean array denoting which ranks are to be reduced. |
- Returns
- The result of the reduction.
◆ reduce_op()
template<typename Scalar >
It performs the specified reduction operation on tensor a and adds it to tensor b.
\(B = \alpha * reduce_op(A) + \beta * B\)
- Parameters
-
| alpha | The factor by which the result of the reduction is to be scaled. |
| a | The tensor to reduce. |
| op_type | The reduction operation type. |
| beta | The scaling factor of the target tensor. |
| b | The target tensor. |
◆ samples()
template<typename Scalar >
- Returns
- The batch size of the tensor.
◆ scale()
template<typename Scalar >
It scales the specified tensor by a certain factor.
\(A = \alpha * B\)
- Parameters
-
| alpha | The factor by which the tensor is to be scaled. |
| a | The tensor to scale. |
◆ set_values()
template<typename Scalar >
- Parameters
-
| value | The value to which all elemetnts of the tensor are to be set. |
◆ sum() [1/2]
template<typename Scalar >
- Returns
- The sum of all elements of the tensor.
◆ sum() [2/2]
template<typename Scalar >
- Parameters
-
| ranks | A size 4 boolean array denoting which ranks are to be reduced. |
- Returns
- The reduced tensor.
◆ to_string()
template<typename Scalar >
- Returns
- A string representation of the tensor.
◆ width()
template<typename Scalar >
- Returns
- The width of the tensor.
The documentation for this class was generated from the following file:


This app equips us with tools to enlighten us on our Akan Names.
Akan names are derived from the Ghanian culture.
In Ghana,it is a culture to them to name new born babies using Akan names.
There are specific names to both male and female.
To know your Akan Name,enter birthday details below.
Email address:Helen Yoa Kissinger


______________________________________________________________________________
Kronos started in the year 2012 with the merger of two IT based societies with the aim of poviding tech heads a chance to liberate themselves from the monotony and psuedo corporate culture of a business college by giving them a platform to develop,research and even create wonders through the power of a computer.We are just like computer processors, simple and elegant from outside,but complex and incredibly smart from inside.Our goal has been to help others embrace technology and move beyond just MS Excel and Windows.We are not misfits in a business college, we are unique in identiy and action.we are harnessing computers and building new worlds through logic.Kronos attempts to channel efforts into building a bridge towards aspiration.We are more that just a society, we are Titans of Tech,we are KRONOS.


Nguyen Trong Minh Long
Nguyen Luu Quoc Bao
Quoc Bao is actually my first friend here in RMIT university. Although being an introverted, he is quite open mind and really like to share all of his idea and content just like me so he is the first person for me to pick as his team member. Moreover, most of his personalities match with me, and for that reason, it is very for us to work together in group projects or group assignments. However, the only difference between me and him is that in the nature aspect, he is more of thinking person, meaning everything he does is base on logical thinking, on the contrary, I am more of a feeling person, which means I tense to make decision based on what I feel, because of that, not only he is a great team member, he can also keep my head straight while doing many projects. Overall, Bao is creative and he can design images and many design user’s interfaces for our group to work with.
Nguyen Quang Duy
Duy is also one of my first friend here at RMIT university. Like Bao, Duy is an introverted, he does not talk much but when we need help, he always there to give advice for us to finish our task. In fact, Duy is quite a fast learner. He often observes us doing our work and then try to do it all over again, which is a good thing because this prove that he can self-study very good. Although Duy is not at communicating with us but in individual work, he completed every work perfectly. Therefor, Duy joining this team not only does it help us accomplish the work faster but also help him communicate better with others as well.
Nguyen Dang Nhat
Nhat is a shy boy, he is more quiet than the others. For his personality test, he has the same type of personality as me, and for that reason, it is easier for me and him to communicate, to talk, or to discuss tasks with each other. Moreover, we can be buddies who help each other through out this course or this semester together. What is more, Nhat has an exception skill in using coding language, he is the smartest and the one who knows the most knowledge in this group, which can help the team whenever the team needs help with documentation or coding syntax.
Hoang Duc Anh
On a contrary, Duc Anh is a senior, he is older than all the other members. A fact worth noticing is that only Anh is an extraverted, and interestingly, he is a guy who is more social and actually knows a lot of people. And for that reason, he can help the group by gathering information via the Internet or by using help from many people he knew. Moreover, he has many experience in group project more than the rest of the team member, so with that much experience, he can guide us through the project and help us to expect the unexpected problems.
created with
Website Builder Software .


In systems with electron spin S>1/2, higher-order terms have to be included in the spin Hamiltonian in order to properly describe EPR spectra. The most common parameters are the second-order zero-field splitting parameters D and E and the fourth-order parameters a and F.
In addition to the terms of D, E, a and F, a commonly used complete set of high-order operators are the extended Stevens operators (ESO) for and .
The high-order part of the spin Hamiltonian for one electron spin written in terms of ESOs is
where each of the operators is hermitian, and the associated coefficients are always real-valued.
In contrast to spherical tensor operators (analogous to p+, p0, and p- orbitals), these operators are tesseral (analogous to px, py and pz). Positive k corresponds to cosine tesseral components, and negative k corresponds to sine tesseral components.
Be careful when using literature values for the coefficients, since conventions for the normalization and the phase of these operators vary widely. Also, many papers contain substantial amounts of typos.
In EasySpin, matrix representations of the extended Stevens operators are provided by the function stev and can be used in most simulation functions.
The commonly used second-order zero-field splitting parameters D and E are related to the coefficients by
The associated second-order Hamiltonian terms have the forms
The traditional cubic and axial fourth-order parameters a and F are related to the coefficients.
The associated fourth-order Hamiltonian terms have the forms
(see Abragam/Bleaney, p. 142, 437; Pilbrow, p. 125, 129). The axes x, y, and z are the fourfold symmetry axes of the cubic part of the crystal field.
The following table lists the most common Stevens operators in terms of polynomials in S+, S- and Sz. A more general list of extended Stevens operators (including odd k) can be found in Altshuler/Kozyrev. Abragram/Bleaney contains only a partial, but compatible list. Ryabov (1999) gives a formula for computing Stevens operator polynomials for arbitrary 0<=k and -k<=q<=k.
Here are the most important references for extended Stevens operators:
Note that there are typos and mistakes both in Altshuler/Kozyrev and in Abragam/Bleaney, as discussed by Rudowicz (2004).


REGISTRATION FORM
User Name
We'll never share your username with anyone else.
Password
Check me out
Login


Dick Furnstahl
Who I am . . .
Where I am . . .
- Office: M2048 Physics Research Building (mezzanine, not 2nd
floor)
- Office phone:<PHONE_NUMBER>
- Fax:<PHONE_NUMBER>
- Department address: 191 W. Woodruff Ave., Columbus, OH 43210
- Email: furnstahl.1 at osu.edu
What I do . . .
- Group:
Nuclear Theory Group
- Research interests:
- effective field theories and the renormalization group for few- and many-body
nuclear systems
- nuclear many-body theory
- quantum chromodynamics and nuclear phenomena
- Bayesian statistical methods, computational methods and high-performance computing
- physics education, particularly for upper-level physics courses
- Current graduate students:
- Former graduate students:
- Eric Anderson, graduated with PhD 2012, Eric.R.Anderson at dynamics.cc
- Anirban Bhattacharyya, graduated with PhD 2005, anirban6 at gmail.com
- Alex Dyhdalo, graduated with PhD 2018, dyhdalo at gmail.com
- Eric Jurgenson, graduated with PhD 2009, jurgenson2 at llnl.gov
- Sushant More, graduate with PhD 2016, sushant.2811 at gmail.com
- Alex Perhac, graduated with MS 2016, perhac.1 at osu.edu
- Sunethra Ramanan, graduated with PhD 2007, suna at cts.iisc.ernet.in
- John Rusnak, graduated with PhD 1997, john.j.rusnak at att.net
- Negussie Tirfessa, graduated with PhD 2001, intirfessa at mcc.commnet.edu
- Kyle Wendt, graduated with PhD 2013, kylewendt at gmail.com
- Sarah Wesolowski, graduated with PhD 2017, sarahcwesolowski at gmail.com
- Trey White, graduated with MS 1996, whitejbiii at ornl.gov
- Courses in 2011-2019:
Analytic and Numeric Methods of Physics
[Au11,Au12,Au13],
Computational Physics (6810/780.20)
[Wi11,Wi12,Sp13,Sp14,Sp16,Sp17],
Physics H133 [Sp11,Sp12],
Nuclear Few- and Many-Body Physics[Au14],
Topics in Nuclear Physics[Au15,Au17],
Theoretical Mechanics (5300) [Sp18,Sp19]
- Department Committees:
Climate and Diversity Committee (chair)
More information . . .
Selected preprints and publications . . .
A (mostly) complete list is available
from INSPIRE.
Dick Furnstahl's Home Page.
furnstahl.1@osu.edu


|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object uchicago.src.sim.gui.ColorMap
public class ColorMap
A customizable map of java.awt.Color(s) to Integers. Useful for displaying collections of Integers, such as an Object2DGrid, as colors.
Note that using the method that take int arguments is faster than those that take the Integer arguments.
| Field Summary | |
|---|---|
static java.awt.Color |
black
|
static java.awt.Color |
blue
|
static java.awt.Color |
cyan
|
static java.awt.Color |
darkGray
|
static java.awt.Color |
gray
|
static java.awt.Color |
green
|
static java.awt.Color |
lightGray
|
static java.awt.Color |
magenta
|
static java.awt.Color |
orange
|
static java.awt.Color |
pink
|
static java.awt.Color |
red
|
static java.awt.Color |
white
|
static java.awt.Color |
yellow
|
| Constructor Summary | |
|---|---|
ColorMap()
|
| Method Summary | |
|---|---|
java.awt.Color |
getColor(int i)
Gets the color mapped to the specified int |
java.awt.Color |
getColor(java.lang.Integer i)
Gets the color mapped to the specified Integer |
void |
mapColor(int i,
java.awt.Color c)
Maps the specified color to the specified int |
void |
mapColor(int i,
double red,
double green,
double blue)
This is the same as mapColor(int, double, double, double, double) with an
alpha of 1.0 |
void |
mapColor(int i,
double red,
double green,
double blue,
double alpha)
Maps the color specified by the red, green, blue, and alpha values to to the int i. |
void |
mapColor(java.lang.Integer i,
java.awt.Color c)
Maps the specified color to the specified Integer |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
|---|
public static final java.awt.Color white
public static final java.awt.Color lightGray
public static final java.awt.Color gray
public static final java.awt.Color darkGray
public static final java.awt.Color black
public static final java.awt.Color red
public static final java.awt.Color pink
public static final java.awt.Color orange
public static final java.awt.Color yellow
public static final java.awt.Color green
public static final java.awt.Color magenta
public static final java.awt.Color cyan
public static final java.awt.Color blue
| Constructor Detail |
|---|
public ColorMap()
| Method Detail |
|---|
public void mapColor(java.lang.Integer i, java.awt.Color c)
i
- the integer to map the color toc
- the color to map to the Integerpublic void mapColor(int i, java.awt.Color c)
i
- the int to map the color toc
- the color to map to the intpublic void mapColor(int i, double red, double green, double blue, double alpha)
for (int i = 0; i < 64; i++) {
map.setColor(i, i / 63.0, 0, 0, 1)
}
This will set 64 shades of red.
i
- the int to map the color tored
- a double in the range of [0, 1]blue
- a double in the range of [0, 1]green
- a double in the range of [0, 1]alpha
- a double in the range of [0, 1] (as you approach 0 you get
more transparent)public void mapColor(int i, double red, double green, double blue)
mapColor(int, double, double, double, double)
with an
alpha of 1.0
i
- the int to map the color tored
- a double in the range of [0, 1]blue
- a double in the range of [0, 1]green
- a double in the range of [0, 1]mapColor(int, double, double, double, double)
public java.awt.Color getColor(java.lang.Integer i)
public java.awt.Color getColor(int i)
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |


Filings for U.S. Jobless Benefits Hold at Highest Since June
by Bloomberg(Bloomberg) -- Filings for U.S. unemployment benefits held last week at the highest level since June, bucking forecasts for a decline and suggesting the labor market may be softer than previously thought.
Jobless claims were unchanged at 227,000 in the week ended Nov. 16, as the prior reading was revised higher by 2,000, according to Labor Department figures released Thursday. The reading was above all estimates in Bloomberg's survey of economists. The four-week average, a less-volatile measure, increased to 221,000, also the highest since June.
Key Insights
- The figures have the potential to stoke additional concern that the economy is slowing in the fourth quarter following data on retail sales and factory output that spurred analysts to lower growth projections. One caveat: the increase came during the week containing Veterans Day, and seasonal adjustments tend to be trickier around holidays.
- While initial claims remain near historically low levels, they're up slightly from a year earlier. The latest report is also likely to get more scrutiny than usual because the week included the 12th of the month, which makes it the reference period for the Labor Department's November jobs report due out in early December.
- Federal Reserve officials have signaled little concern recently about the state of employment, as Chairman Jerome Powell last week described the labor market as “strong” and “healthy.”
- Only one state, Pennsylvania, had estimated claims last week. In the prior report, five states including California were based on estimates, along with Puerto Rico.
Get More
- Continuing claims, reported with a one-week lag, rose 3,000 to 1.695 million in the week ended Nov. 9. That's the highest since mid-August.
- The unemployment rate among people eligible for benefits held steady at 1.2%.
- Economists surveyed by Bloomberg had forecast that claims would decline to 218,000. Estimates ranged from 213,000 to 225,000.
©2019 Bloomberg L.P.


We are all paranoid passengers. Deep down we all worry, and why shouldn’t we. A little stress keeps us on our toes, makes sure we don’t miss our flight or end up in the wrong place. Right?
What if we told you that wasn’t necessary. Let us keep you on your toes. You may still be worried about any number of flying factors including TSA wait times, turbulence, and spending the least time in the air possible; but we have that covered for you. With ParanoidPassenger (it’s ok, nothing to be ashamed of) you can see information on your flight options calculated from constantly updated data from the TSA, Homeland Security, Google, and of course JetBlue. Our simple user interface ensures that your process of reducing travel stress is stress free. Be paranoid no more!
ParanoidPassenger was created by four Brown students at the 2018 Yale Hackathon who understand the struggles of travelers worldwide. We are always looking to improve our service and welcome any feedback and suggestions :) Thanks for reading.