{# this is the post view #} {% extends "index.html" %} {% block content %}
by: {{ post.author }}
{{ post.content }}
{{ c.author }} says: {{ c.comment }}


WITNESS LIST
Health & Human Services
February 15, 2011 11:00 AM - or upon adjournment
ON:
Horton, Colleen Policy Program Officer (also providing written testimony) (Hogg
Foundation for Mental Health), Austin, TX
Registering, but not testifying:
For:
Bujanda, Miryam Public Policy Manager (Methodist Healthcare Ministries), San Antonio,
TX
Dimitry, Lauren Policy Coordinator (Texans Care for Children), Austin, TX
Lewis, Kathryn Attorney (Advocacy, Incorporated), Austin, TX
McClure, Madeline Executive Director (TexProtects, the Texas Association for the
Protection of Children), Dallas, TX
McGettrick, Margaret Director of Education (Catholic Bishops of Texas), Austin, TX
Moore, Jim (Citizens Commission on Human Rights), Austin, TX
Noble, Shannon Legislative Counsel (Texas Counseling Association), Austin, TX
Smith, Claudia Executive Director (Citizens Commission on Human Rights), Austin, TX
Switzer, Gyl Public Policy Director (Mental Health America of Texas), Austin, TX
On:
Adams, Chris Assistant Commissioner, State Supported Living Centers (Department of
Aging and Disability Services), Austin, TX
Rasco, Sasha Assistant Commissioner, Child Care Licensing (Department of Family and
Protective Services), Austin, TX
FOR:
Lewis, Kathryn Attorney (also providing written testimony) (Advocacy Inc.), Austin, TX
Registering, but not testifying:
For:
Bujanda, Miryam Public Policy Manager (Methodist Health Care Ministries), San
Antonio, TX
Cooper, Kevin Legislative Affairs (Texas Police Chiefs), Austin, TX
Dimitry, Lauren Policy Coordinator (Texans Care for Children), Austin, TX
McGettick, Margaret Director of Education (Texas Catholic Conference; Catholic Bishops
of Texas), Austin, TX
Noble, Shannon Legislative Counsel (Texas Counseling Association), Austin, TX
Patterson, T.J. Legislative Affairs Manager (City of Ft. Worth), Fort Worth, TX
Switzer, Gyl Public Policy Director (Mental Health America of Texas), Austin, TX
Against:
Smith, Claudia Executive Director (Citizens Commission on Human Rights), Austin, TX
On:
Raymond, Kerry Assistant Director, Hospitals (Department of State Health Services),
Austin, TX
Providing written testimony:
1
WITNESS LIST
Health & Human Services
February 15, 2011 11:00 AM - or upon adjournment
On:
Carlton, Belinda Public Policy Specialist (Texas Council for Developmental Disabilities),
Austin, TX
FOR:
Covington, Lucila Parent (also providing written testimony) (Self; Self/GRADE),
Arlington, TX
Lewis, Kathryn Attorney (also providing written testimony) (Advocacy Inc.), Austin, TX
ON:
Morrisett, Lin Associate Judge (Tarrant County Probate Court #2), Fort Worth, TX
Registering, but not testifying:
For:
Bujanda, Miryam Public Policy Manager (Methodist Health Care Ministries), San
Antonio, TX
McClure, Madeline Executive Director (TexProtects, the Texas Association for the
Protection of Children), Dallas
Smith, Claudia Executive Director (Citizens Commission on Human Rights), Austin, TX
Switzer, Gyl Public Policy Director (Mental Health America of Texas), Austin, TX
On:
Adams, Chris Assistant Commissioner, State Supported Living Centers (Texas
Department of Aging and Disability Services), Austin, TX
Rogers, James Medical Director (Department of Family and Protective Services), Austin,
TX
FOR:
Johnson, Kara President and CEO (Texas Early Childhood Education Coalition), Austin,
TX
Registering, but not testifying:
For:
Dimitry, Lauren Policy Coordinator (Texans Care for Children), Austin, TX
McClure, Madeline Executive Director (TexProtects, Texas Association for the Protection
of Children), Dallas, TX
Mcgettrick, Margaret Director of Education (Catholic Bishops of Texas), Austin, TX
On:
Kanne, Lisa Division Administrator, Central Background Check Unit (Texas Department
of Family and Protective Services), Austin, TX
Miller, Reagan Deputy Director, Workforce Division (Texas Workforce Commission),
Austin, TX
Rasco, Sasha Assistant Commissioner, Childcare Licensing (Texas Department of Family
and Protective Services), Austin, TX
2
WITNESS LIST
Health & Human Services
February 15, 2011 11:00 AM - or upon adjournment
FOR:
Lewis, Kathryn Attorney (Advocacy Inc.), Austin, TX
Registering, but not testifying:
For:
Dimitry, Lauren Policy Coordinator (Texans Care for Children), Austin, TX
Farrow, Larry Executive Director (Texas and New Mexico Hospice Organization), Austin,
TX
McClure, Madeline Executive Director (TexProtects, the Texas Association for the
Protection of Children), Dallas, TX
Pewitt, Bill (Texas Association for Home Care and Hospice, Inc.), Austin, TX
On:
Rasco, Sasha Assistant Commissioner - Child Care Licensing (Department of Family and
Protective Services), Austin, TX
FOR:
Lane, Lee Executive Director (Texas Association of Local Health Officials), Austin, TX
Registering, but not testifying:
For:
Alexander, Troy Associate Director for Advocacy (Texas Medical Association), Austin,
TX
Dimitry, Lauren Policy Coordinator (Texans Care for Children), Austin, TX
On:
Tennyson, Susan Director, Environmental and Consumer Health Safety (Texas
Department of State Health Services), Austin, TX
Registering, but not testifying:
For:
Alexander, Troy Associate Director for Advocacy (Texas Medical Association), Austin,
TX
Dimitry, Lauren Policy Coordinator (Texans Care for Children), Austin, TX
Gray, James Director of Government Relations (American Cancer Society), Austin, TX
Kenderdine, Marshall (Texas Pediatric Society), Austin, TX
Rose, Denise Senior Director of Government Relations (Texas Hospital Association),
Austin, TX
Sanders, Morgan State Director of Public Affairs (March of Dimes), Austin, TX
On:
Cook, Sylvia Team Lead, Health Care Information Collection (Texas Department of State
Health Services), Austin, TX
Elting, Linda Professor and Chief, Health Services Research (University of Texas M.D.
Anderson Cancer Center, Department of Biostatistics), Houston, TX
Villanacci, John Unit Director (Texas Department of State Health Services), Austin, TX
3
WITNESS LIST
Health & Human Services
February 15, 2011 11:00 AM - or upon adjournment
Providing written testimony:
Against:
Johnson, Katherine Director of Communications (Patient Privacy Rights), Austin, TX
FOR:
Reece, Laurie Executive Director (Texas Transplantation Society), Austin, TX
Registering, but not testifying:
For:
Bates, Jim Director (Funeral Consumers Alliance of Texas), Watauga, TX
Marwitz, David Consultant (Life Gift), Austin, TX
FOR:
Camacho, Jose Executive Director (Texas Association of Community Health Centers),
Austin, TX
Registering, but not testifying:
For:
Bujanda, Miryam Public Policy Manager (Methodist Health Care Ministries), San
Antonio, TX
On:
Berry, Connie Manager (Texas Department of State Health Services), Austin, TX
Robinson, Mari Executive Director (Texas Medical Board), Austin, TX
FOR:
Covington, Lucila (Self), Arlington, TX
Fredriksen, Amanda Director of Advocacy (AARP), Austin, TX
Valdez, Debby Disability Rights Advocate (also providing written testimony) (Self;
Grade Guardianship Reform Advocates for Disabled and Elderly), San Antonio, TX
ON:
England, Samuel Legislative Liaison (American Civil Liberties Union), Austin, TX
Registering, but not testifying:
For:
McClure, Madeline Executive Director (TexProtects, the Texas Association for the
Protection of Children), Dallas
Against:
Smith, Claudia Executive Director (Citizens Commission on Human Rights), Austin, TX
On:
Engelking, Beth Assistant Commissioner, Adult Protective Services (Department of
Family and Protective Services), Austin, TX
Providing written testimony:
For:
Anderson, Lou Ann Policy Advisor (Self; Americans for Prosperity), Austin, TX
4
WITNESS LIST
Health & Human Services
February 15, 2011 11:00 AM - or upon adjournment
ON:
Robinson, Mari Executive Director (Texas Medical Board), Austin, TX
Registering, but not testifying:
For:
Pearson, David President/Chief Executive Officer (Texas Organization of Rural
Community Hospitals), Austin, TX
Rose, Denise Senior Director of Governmental Relations (Texas Hospital Association),
Austin, TX
FOR:
Johnson, Allen Chief Executive Officer (Montgomery County Hospital District), Conroe,
TX
Registering, but not testifying:
For:
Hipp, Jonny Administrator (Nueces County Hospital District), Corpus Christi, TX
Against:
Bujanda, Miryam Public Policy Manager (Methodist Health Care Ministries), San
Antonio, TX
Dimitry, Lauren Policy Coordinator (Texans Care for Children), Austin, TX
FOR:
Jefferson, David Environmental Health Manager (Tarrant County Public Health), Forth
Worth, TX
ON:
Rasco, Sasha Assistant Commissioner - Child Care Licensing (Department of Family and
Protective Services), Austin, TX
Registering, but not testifying:
For:
McClure, Madeleine Executive Director (TexProtects, the Texas Association for the
Protection of Children), Dallas
Mendez, Mark Assistant Administrator (Tarrant County Commissioners Court), Fort
Worth, TX
Patterson, T.J. Legislative Affairs Manager (City of Ft. Worth), Fort Worth, TX
5


TRACKINGDEMO self-running tutorial 1. Phase-Space tracking variables 2. Tracking through individual elements 3. Method - Element consistency
0001 %TRACKINGDEMO self-running tutorial 0002 % 1. Phase-Space tracking variables 0003 % 2. Tracking through individual elements 0004 % 3. Method - Element consistency 0005 clear all 0006 clc 0007 echo on 0008 % The term 'tracking' in Accelerator Physics refers to numerical simulation 0009 % of particle motion in phase-space as it passes through an accelerator 0010 % 0011 % MATLAB Accelerator Toolbox uses 6-by-1 column vectors to represent 0012 % Individual particles in phase space with components [x px y py delta ct]' 0013 % For example: 0014 R = [0.01 0 0.01 0 0 0]' 0015 0016 % and 6-by-N matrixes to simultaneously track groups of N particles 0017 % 0018 RRR = [R 2*R 3*R] 0019 0020 pause % Press any key to continue 0021 clc 0022 % In Accelerator Toolbox tracking is built upon 0023 % a collection of functions that track particles through 0024 % individual accelerator elements 0025 % 0026 % Example: Load the spear2 lattice 0027 spear2 0028 % 0029 % Second element in spear2 lattice is a drift space 0030 SOMEDRIFT = THERING{2} 0031 whos SOMEDRIFT 0032 % D is a MATLAB structure 0033 % Now use function DRIFTPASS to track through SOMEDRIFT 0034 pause % Press any key to continue 0035 clc 0036 DriftPass(SOMEDRIFT,R) 0037 % or simultaneously for 3 particles 0038 DriftPass(SOMEDRIFT,R) 0039 % Obviously in a drift space particle momentums don't change 0040 % 0041 % Try this 0042 DriftPass(SOMEDRIFT,[0 0.01 0 0.02 0 0]'), 0043 0044 pause % Press any key to continue 0045 clc 0046 % Accelerator Toolbox provides an open ended collection 0047 % of functions that track through elements using various 0048 % field models. 0049 % 0050 % For example with a more interesting element QUADRUPOLE 0051 % the user can use different models 0052 % implemented in as different pass-methds: 0053 0054 SOMEQUAD = THERING{5}; 0055 % ______________________________________________________ 0056 QuadLinearPass(SOMEQUAD,R) 0057 % ______________________________________________________ 0058 StrMPoleSymplectic4Pass(SOMEQUAD,R) 0059 % ______________________________________________________ 0060 StrMPoleSymplectic4RadPass(SOMEQUAD,R) 0061 % ______________________________________________________ 0062 % even 0063 DriftPass(SOMEQUAD,R) 0064 0065 pause % Press any key to continue 0066 clc 0067 % The choice of a proper model depends on 0068 % 0069 % 1. The problem 0070 % 0071 % 2. Speed-Accuracy trade-off 0072 % StrMPoleSymplectic4Pass is slower but more accurate 0073 % than StrMPoleSymplectic2Pass. 0074 % 3. Physical considerations 0075 % DriftPass assumes a field-free region which is 0076 % NOT a good model for a quadrupole magnet 0077 % 4. Element-Method consistency 0078 % Element data gets passed to a pass-function as the first argument 0079 % Pass-function attempts to use the field with specific name: 0080 % For example QUADLINEARPASS needs 'Length', 'K', 0081 % If the element is a drift it does not have 'K' 0082 % If in the above examples we tried QUADLINEARPASS(SOMEDRIFT,R) 0083 % MATLAB would ungracefully stop execution 0084 % !!! This feature puts responsibility for consistency between 0085 % Pass-functions used and elements ON THE USER. Small price to 0086 % pay for flexibility !!! 0087 0088 0089 0090 pause % Press any key to finish 0091 echo off 0092 clc


Find My iPhone
AppleID
Password
Sign In...
Forgot Apple ID or Password?
Setup Instructions
Back to the midterm


Compare frequency of armed conflicts with national indexes like GDP and education rate to see if there is a correlation between the two on the map.
For correlation analysis and/or trend prediction, refer to Rate-of-Change charts that compare ROC's of indexes in various countries.
The backbone of any project is always accurate and trustworthy data, and ACAP only uses reputable sources in data collection, all of which will be listed for the user's reference.
In 2016, InfoSeeking Lab students began a draft for a report that outlined the trends between armed conflicts in the Middle East in the efforts to predict how future conflicts would pan out.
Picking up a year old report outline created within the same lab, five students at the InfoSeeking Lab at Rutgers revamped the these to sketch out an idea for a full-scale database that could allow diplomats, historians, and politicians to draw their own conclusions about what factors affect war. After carefully discussing what features would be most useful to people conducting research as well as studying what other databases were lacking, the students knew their idea was something worth pursuing. In Late July, the team visited the UN and introduced their idea to the Data Analytics branch, and from there, ACAP was born.
The Kenyan general elections were scheduled to be held early August 2017, and many government and humanitarian agencies, including the United Nations, were trying to anticipate the liklihood for the elections to result in large-scale violence. So when the UN reached out to ICT4SD collaborating universities to assist them with the project, the ACAP team conducted independent research and data analytics to create a report outlining the results it found.
With the green light from the UN, the ACAP team is currently in the process of coding the collected data into a user-friendly interface. Progress can be track through our Github, where team members store all our data and platform code. In addition to computer science work, the ACAP team is also in the process of conducting historical research to give users more background on the trends our maps show.
A user can choose from a variety of variables, such as GDP, poverty rates, or education rates, and see them visualized by region as a color coded map. On top of that, the map shows the frequency of armed conflict in the regions to allow the user to find and support patterns between these variables and the commonality of war.
Check out our partially dynamic prototype to get an idea for how we bring multi-variable analysis to the user.
Jhanvi Virani is an undergraduate student at the Honors College at Rutgers University- New Brunswick. Currently pursuing majors in History and Computer Science, she enjoys extracurricular activities like being a part of the Rutgers Entrepreneurial Society, writing a hip-hop column for The Daily Targum, and working as a research assistant.
Fancy is a graduate student at Rutgers studying information technology. He worked for 4 years as Software Engineer in Fixed Income valuation at BNP Paribas ISPL in the Corporate and Investment Banking Department. He enjoys expanding his skillset and exploring the fields of Software Engineering.
Nrithya is an aspiring Data Analyst, and is currently enrolled in the Master of Information program at Rutgers University, with a concentration in data science. She was previously worked for Tata Consultancy Services Ltd., India, as a System Engineer. There she was the team lead for the Operations and Business Support Systems Lab, which focused on providing Enterprise solutions for Telecom Service Providers.
Chirag Shah is an Associate Professor of Information and Computer Science at Rutgers University. He directs the Center for Data Science and Social Systems (CDS3) and the InfoSeeking Lab. When he is not doing Data Science or Information/Computer Science stuff, he likes to go camping, hiking, and ballroom dancing.
Niranjana Ganesh is an undergraduate honors student in the Rutgers School of Engineering. She is double majoring in computer science and computer engineering. Her extracurricular pursuits include Enactus, singing, and Sanskrit.
Rajvi Mehta is an undergraduate student at Rutgers University - New Brunswick majoring in Computer Science and Math. She is involved with the Rutgers Mobile App Development Club (RuMAD) and the Rutgers Veg Society. In her free time, she like to run, sing, and play the piano.
Wei Shi is a masters student graduate from Rutgers University where she majored in Information with a concentration on data science. Before graduating in August, Wei worked as a research assistant in the Info seeking lab. With strong interests on data science and marketing, she is seeking opportunities in marketing research and analysis. In her spare time, Wei enjoys jogging, yoga and photography.
Twisha Ajwani is a graduate student at Rutgers Business School concentrating in Data Analytics. Passionate about deriving insights out of huge chunks of data and aiding strategic level business planning, she has significant research expertise in statistics, business forecasting, data visualisation and highly developed quantitative and mathematical skills. She will graduate in December 2017. During her free time, she enjoys reading books and doing yoga.
Soumik is a PhD student in the department of Library and Information Science in the School of Communication and Information, Rutgers -New Brunswick. His research interests involve information retrieval, computational linguistics and data science. In his spare time, he enjoys cycling, swimming and photography.


Post Title
Post Content
Tags
Share rewards
equally
between you and these users
Private posting key
Account names should be separated by spaces, commas will be ignored


--- title: Gridded EBSD Data sidebar: documentation_sidebar permalink: EBSDGrid.html folder: documentation toc: false ---
In this section we discuss specific operations that are available for EBSD data which are measured on a square or hexagonal grid.
By default MTEX ignores any gridding in the data. The reason for this is that when restricting to some subset, e.g. to a certain phase, the data will not form a regular grid anyway. For that reason, almost all functions in MTEX are implemented to work for arbitrarily aligned data.
On the other hand, there are certain functions that are only available or much faster for gridded data. Those functions include plotting, gradient computation and denoising. The key command to make MTEX aware of EBSD data on a hexagonal or square grid is gridify.
In order to explain the corresponding concept in more detail lets import some sample data.
{% highlight matlab %} plotx2east mtexdata twins plot(ebsd('Magnesium'),ebsd('Magnesium').orientations) {% endhighlight %} {% highlight plaintext %} ebsd = EBSD Phase Orientations Mineral Color Symmetry Crystal reference frame 0 46 (0.2%) notIndexed 1 22833 (100%) Magnesium LightSkyBlue 6/mmm X||a*, Y||b, Z||c* Properties: bands, bc, bs, error, mad, x, y Scan unit : um {% endhighlight %}As we can see already from the phase plot above the data have been measured at an rectangular grid. A quick look at the unit cell verifies this
{% highlight matlab %} ebsd.unitCell {% endhighlight %} {% highlight plaintext %} ans = 0.1500 0.1500 -0.1500 0.1500 -0.1500 -0.1500 0.1500 -0.1500 {% endhighlight %}If we apply the command gridify to the data set
{% highlight matlab %} ebsd = ebsd.gridify {% endhighlight %} {% highlight plaintext %} ebsd = EBSDsquare Phase Orientations Mineral Color Symmetry Crystal reference frame 0 46 (0.2%) notIndexed 1 22833 (100%) Magnesium LightSkyBlue 6/mmm X||a*, Y||b, Z||c* Properties: bands, bc, bs, error, mad, x, y, oldId Scan unit : um Grid size (square): 137 x 167 {% endhighlight %}we data get aligned in a 137 x 167 matrix. In particular we may now apply standard matrix indexing to our EBSD data, e.g., to access the EBSD data at position 50,100 we can simply do
{% highlight matlab %} ebsd(50,100) {% endhighlight %} {% highlight plaintext %} ans = EBSD Phase Orientations Mineral Color Symmetry Crystal reference frame 1 1 (100%) Magnesium LightSkyBlue 6/mmm X||a*, Y||b, Z||c* Id Phase phi1 Phi phi2 bands bc bs error mad x y oldId 13613 1 156 101 239 10 149 133 0 0.7 29.7 14.7 8283 Scan unit : um {% endhighlight %}It is important to understand that the property of beeing shaped as a matrix is lost as soon as we select a subset of data
{% highlight matlab %} ebsdMg = ebsd('Magnesium') {% endhighlight %} {% highlight plaintext %} ebsdMg = EBSD Phase Orientations Mineral Color Symmetry Crystal reference frame 1 22833 (100%) Magnesium LightSkyBlue 6/mmm X||a*, Y||b, Z||c* Properties: bands, bc, bs, error, mad, x, y, oldId Scan unit : um {% endhighlight %}However, we may always force it into matrix form by reapplying the command gridify
{% highlight matlab %} ebsdMg = ebsd('Magnesium').gridify {% endhighlight %} {% highlight plaintext %} ebsdMg = EBSDsquare Phase Orientations Mineral Color Symmetry Crystal reference frame 1 22833 (100%) Magnesium LightSkyBlue 6/mmm X||a*, Y||b, Z||c* Properties: bands, bc, bs, error, mad, x, y, oldId Scan unit : um Grid size (square): 137 x 167 {% endhighlight %}The difference between both matrix shapes EBSD variables ebsd and ebsdMg is that not indexed pixels in ebsd are stored as the seperate phase notIndexed while in ebsdMg all pixels have phase Magnesium but the Euler angles of the not indexed pixels are set to nan. This allows to select and plot subregions of the EBSD in a very intuitive way by
{% highlight matlab %} plot(ebsdMg(50:100,5:100),ebsdMg(50:100,5:100).orientations) {% endhighlight %}Next lets import some data on a hexagonal grid
{% highlight matlab %} mtexdata copper [grains, ebsd.grainId] = calcGrains(ebsd) ebsd = ebsd.gridify plot(ebsd,ebsd.orientations) {% endhighlight %} {% highlight plaintext %} ebsd = EBSD Phase Orientations Mineral Color Symmetry Crystal reference frame 0 16116 (100%) Copper LightSkyBlue 432 Properties: confidenceindex, fit, imagequality, semsignal, unknown_11, unknown_12, unknown_13, unknown_14, x, y Scan unit : um grains = grain2d Phase Grains Pixels Mineral Symmetry Crystal reference frame 0 751 16116 Copper 432 boundary segments: 12326 (37010 µm) inner boundary segments: 4 (12 µm) triple points: 1266 Properties: meanRotation, GOS ebsd = EBSD Phase Orientations Mineral Color Symmetry Crystal reference frame 0 16116 (100%) Copper LightSkyBlue 432 Properties: confidenceindex, fit, imagequality, semsignal, unknown_11, unknown_12, unknown_13, unknown_14, x, y, grainId Scan unit : um ebsd = EBSDhex Phase Orientations Mineral Color Symmetry Crystal reference frame 0 16116 (100%) Copper LightSkyBlue 432 Properties: confidenceindex, fit, imagequality, semsignal, unknown_11, unknown_12, unknown_13, unknown_14, x, y, grainId, oldId Scan unit : um Grid size (hex): 136 x 119 {% endhighlight %}Indexing works here similarly as for square grids
{% highlight matlab %} plot(ebsd(1:10,:),ebsd(1:10,:).orientations,'micronbar','off') {% endhighlight %}Sometimes it is required to resample EBSD data on a hex grid on a square grid. This can be accomplished by passing to the command gridify a square unit cell by the option unitCell
.
In the above example we have chosen the square unit cell to have approximately the same size as the hexgonal unit cell. This leads to quite some distortions as squares can not reproduces all the shapes of the hexagones. We can reduce this issue by chosing the quare unit cell significantly smaller then the hexagonal unit cell.
{% highlight matlab %} % a smaller unit cell unitCell = [-1 -1; -1 1; 1 1; 1 -1]; % use the small square unit cell for gridify ebsdS = ebsd.gridify('unitCell',unitCell) plot(ebsdS,ebsdS.orientations) hold on plot(grains.boundary,'lineWidth',2) hold off {% endhighlight %} {% highlight plaintext %} ebsdS = EBSDsquare Phase Orientations Mineral Color Symmetry Crystal reference frame -1 442 (0.51%) notIndexed 0 86579 (99%) Copper LightSkyBlue 432 Properties: x, y, confidenceindex, fit, imagequality, semsignal, unknown_11, unknown_12, unknown_13, unknown_14, grainId, oldId Scan unit : um Grid size (square): 293 x 297 {% endhighlight %}It is important to understand that the command gridify does not increase the number of data points. As a consquence, we end up with many white spots in the map which corresponds to orientations that have been set to NaN. In order to fill these white spots, we may either use the command fill which performs nearest neighbour interpolation or the command smooth which allows for more suffisticated interpolation methods.
{% highlight matlab %} % nearest neigbour interpolation ebsdS1 = fill(ebsdS,grains) plot(ebsdS1('indexed'),ebsdS1('indexed').orientations) hold on plot(grains.boundary,'lineWidth',2) hold off {% endhighlight %} {% highlight plaintext %} ebsdS1 = EBSDsquare Phase Orientations Mineral Color Symmetry Crystal reference frame -1 442 (0.51%) notIndexed 0 86579 (99%) Copper LightSkyBlue 432 Properties: x, y, confidenceindex, fit, imagequality, semsignal, unknown_11, unknown_12, unknown_13, unknown_14, grainId, oldId Scan unit : um Grid size (square): 293 x 297 {% endhighlight %}A similar situation occurs if gridify is applied to rotated data.
{% highlight matlab %} ebsd = rotate(ebsd,20*degree) ebsdG = ebsd.gridify plot(ebsdG,ebsdG.orientations) {% endhighlight %} {% highlight plaintext %} ebsd = EBSDhex Phase Orientations Mineral Color Symmetry Crystal reference frame 0 16116 (100%) Copper LightSkyBlue 432 Properties: confidenceindex, fit, imagequality, semsignal, unknown_11, unknown_12, unknown_13, unknown_14, x, y, grainId, oldId Scan unit : um Grid size (hex): 136 x 119 ebsdG = EBSDhex Phase Orientations Mineral Color Symmetry Crystal reference frame 0 15300 (58%) Copper LightSkyBlue 432 Properties: confidenceindex, fit, imagequality, semsignal, unknown_11, unknown_12, unknown_13, unknown_14, x, y, grainId, oldId Scan unit : um Grid size (hex): 151 x 175 {% endhighlight %}Again we may observe white spots within the map which we can easily fill with the fill command.
{% highlight matlab %} ebsdGF = fill(ebsdG) plot(ebsdGF,ebsdGF.orientations) {% endhighlight %} {% highlight plaintext %} ebsdGF = EBSDhex Phase Orientations Mineral Color Symmetry Crystal reference frame 0 16205 (61%) Copper LightSkyBlue 432 Properties: confidenceindex, fit, imagequality, semsignal, unknown_11, unknown_12, unknown_13, unknown_14, x, y, grainId, oldId Scan unit : um Grid size (hex): 151 x 175 {% endhighlight %}


|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
| Class Summary | |
|---|---|
| ArgumentParser | |
| ArrayWriter | |
| AtomicClassifyingThread | |
| BZ2LineReader | |
| ClassificationResult | Each instance of this class packages and interprets predictions made by multiple classifiers about a single volume. |
| ClassifyingExecutor | |
| ClassifyingThread | |
| Corpus | |
| DataPoint | |
| DirectoryList | |
| EnsembleAssembler | Implements ensembles as an assembly line of threads, each serving a different model, and connected by BlockingQueues. |
| EnsembleOutput | |
| EnsembleProducer | In the assembly-line implementation of ensemble classification, this class is basically a factory for the Unknowns that will represent the volumes being classified as they slide through the assembly line from model to model. |
| EnsembleThread | Not currently implemented as a "thread," so the class name is misleading. |
| FeatureNormalizer | |
| ForwardBackward | |
| GenreList | |
| GenrePredictor | The base class GenrePredictor is an uninteresting wrapper for WekaDriver. |
| GenrePredictorAllVsAll | |
| GenrePredictorBagged | |
| GenrePredictorForest | |
| GenrePredictorLogistic | |
| GenrePredictorMulticlass | |
| GenrePredictorSVM | |
| Global | |
| InputFileException | |
| JSONResultWriter | |
| LineReader | |
| LineWriter | |
| MapPages | |
| MarkovTable | |
| Model | This class is basically just a convenience wrapper for all the elements of a model. |
| Pair | |
| PairtreeReader | |
| Partition | |
| TrainingThread | |
| Unknown | |
| ValueComparator | This Comparator allows us to sort a list of strings by comparing integer values associated with those strings in a HashMap. |
| Vocabulary | |
| Volume | |
| WarningLogger | |
| WekaDriver | |
| WekaDriverForest | |
| WekaDriverMulticlass | |
| WekaDriverSVM |
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |


Check domestic flights shedule for all indian airlines in india and Get latest timetable with respect to their flight codes and domestic airport information.
Get latest location, details of the airport across all parts of the india.
Check seat availability, fare , time of departure, time of arrival etc for all trains in india.
Train shedules across india
Check domestic Trains shedule in india and Get latest timetable with respect to their station codes and domestic station information.
Get latest location, details of the trains across all parts of the india.
Check seat availability, fare , time of departure, time of arrival etc for all trains in india.
Get the details of the hotels near the tourist places you visit
Get latest location, details of the Hotels near the places you want to visit
Check ratings, reviews , fare of the hotels.
Check the Restaurants near the tourist places you visit
Get the location of the restaurants near the places you visit
Check the type of dishes available in the restaurant
Get rating, reviews of the food
Explore india
Get the location of the restaurants near the places you visit
Check the type of dishes available in the restaurant


--- layout: page title: About header-img: "img/about-bg.png" ---
I'm an information security professional who felt the need to learn more about coding. Software engineering touches us all and it can have a dramatic impact on our lives: some bad, some good - mostly good. Join me as I take you along my journey of learning to code.


API Documentation
Here you'll find detailed documentation of the Piccolo2D.Java and Piccolo2D.NET toolkits. Currently there is no API documentation for PocketPiccolo2D.NET. But, the Piccolo2D.NET API can be used, since PocketPiccolo2D.NET is essentially a subset of Piccolo2D.NET. We will eventually update the Piccolo2D.NET API docs to say which methods are supported in PocketPiccolo2D.NET.Online Docs
The online documentation pertains to the latest release versions of the code. If you need an earlier snapshot, you can download an older distribution of the code, which includes the documentation.
- Piccolo2D.Java API
-
- Piccolo2D.NET API
Integrated Help
For Piccolo2D.NET, we provide a setup file that will integrate the Piccolo2D documentation
into Visual Studio.NET (versions 2002 or 2003 only). This allows you to search the
documentation within Visual Studio, just like the standard .NET documentation. This also
enables context sensitive help. For example, if you move the cursor over a class name
like PNode
and press F1
, you will see the documentation for the PNode
class. Download the setup file and double click on it. The next time you run Visual
Studio, the help will be updated.


Geekville was a coworking space for tech & creative pros, a way for innovators to share office space and ideas.
I invented and designed the product from scratch, switching from Logo design to UI design & front-end development, from Wordpress Customization to print design, from copywriting to digital marketing.
Logo Design & identity
Logo, final version
Monogram
Color variations
The logo's core visual feature is the pair of thick, nerdy glasses at the center of the composition, the typical indicator of geek-status.
The typography choice for the logotype is Lavanderia, a script font inspired by vintage window signs.
As for the form-factor, I didn't choose the typical badge or round label but a less frequent — yet still typically vintage — oval.
I tried to keep a certain continuity between Geekville's logo and the The Collective's. That's why Geekville evokes the same vintage feeling, but still being a simpler and less elaborated evolution of its precursor.
Logo, early study
Colors & typography
-
#73afb6
-
#556270
-
#dde0e2
-
#ee6046
UI Design
▲ For Version 2 I completely rewrote the website, with 4 goals in mind: (1) implementing a responsive layout; (2) simplifying the overall experience; (3) refreshing the design while preserving the usual look and feel (4) reaching international users by offering an English version. You can check out the website here.
Website, v2 - responsive
▲ I've alway been a fan of one-page layouts: they're simple, elegant, and they present information in an easily digestible way.
▲ Geekville Learning's website was based on Wordpress, with a customized theme.
Marketing mini-site, responsive
▲ Typonerd was one of Geekville Learning's most successful courses, so we thought it could branch out into its own brand. Graphic Designer Stefano Torregrossa — who also taught the course — created the logo, while I designed & built a dedicated marketing website.
Website Icons
Other visuals
"I invented & designed the product from scratch, often stepping out of my comfort zone"


About
I'm the PI of the Human and Machine Cognition Lab, which is jointly funded by the Excellence Cluster "Machine Learning for Science" and the Tübingen AI Center. Previously, I was a Postdoc at Harvard University working jointly with Fiery Cushman and Sam Gershman, and before that I completed a PhD at the Center for Adaptive Rationality at the Max Planck Institute for Human Development in Berlin.
My research is primarily concerned with understanding how people learn under uncertainty. Whereas optimal solutions are generally unobtainable in real-world environments, humans are able to learn with unrivaled robustness and efficiency. How do people take overwhelmingly rich and complex problems and transform them into compressed representations that facilitate rapid inference and generalization?
My work uses a combination of statistical and machine learning models to uncover the computational principles behind human learning and inference. I also often use biologically inspired multi-agent systems for studying social learning and collective intelligence. My work has so far focused on two main branches of learning: efficient exploration guided by generalization, and learning from others in a social environment.
Research Interests
My current research interests include:
-
Exploration and Information Acquisition in Uncertain Environments: How do people cope with the complexity of real-world learning problems where the space of possible actions can be vast or even infinite? Humans display an incredible efficiency in learning and can surpass state-of-the-art machine learning algorithms using only a minute fraction of the same training data. Part of my research seeks to explain this gap between human and machine learning through the notion of guided exploration where generalization from previous observations onto unobserved actions can efficiently guide human exploration towards rapid learning rates. So far, we've been able to apply the same computational principles to model behavior in wide-range of spatial, conceptual, risky, and graph-structured environments.
-
Collective Learning: Learning doesn't only occur in the void, but involves interacting with others and an exchange of information. How do people balance between social imitation and individual innovation? How do different communication structures influence collective behavior? When does it make sense to share information with others, even in competitive resource environments? And how do people arbitrate between complex theory of mind inference and simple, naïve imitation?
Background
Before starting my PhD in 2016, I completed an M.Sc. in Cognitive Science at the University of Vienna, where I was affiliated with the Austrian Institute for Artificial Intelligence (OFAI). Prior to that, I was trained in Philosophy at the University of British Columbia. Currently, I identify as a Cognitive Scientist, but dabble in Computational Neuroscience, Machine Learning, and Computational Biology.
Contact
Email : charley.wu[at]uni-tuebingen[dot]de
Charley M. Wu
University of Tübingen, Cluster of Excellence "Machine Learning", Maria-von-Linden-Str. 6, D-72076 Tübingen


Loading Javascript
If this remains on the screen for more than a few seconds, something has gone wrong.


Nova
Welcome
Nova Course Catalog
Login
Page not found.
Page not found
We could not find the page you are looking for.


Audio
From the personal collection of Shri Pushkar Lele
From the personal collection of Shri Pushkar Lele
From the personal collection of Shri Pushkar Lele
From the personal collection of Shri Pushkar Lele
From the personal collection of Shri Pushkar Lele
From the personal collection of Shri Pushkar Lele
From the personal collection of Shri Pushkar Lele


DYMO Label Framework JavaScript Library Samples: Check Environment
This sample shows how check that the browser is supported and DYMO Label Framework is installed
Check


Type Function Library widget.* Return value TabBarWidget Revision Current Public Release (2013.2076) Keywords widget, tab bar, tabs, tab buttons See also TabBarWidget
TabBars do not support scaling nor changing it's width/height via .width/.height.
TabBars also do not support changing reference points after creation.
widget.newTabBar( options )
This function takes a single argument, options
, which is a table that accepts the following parameters:
String. This is an optional id to assign to your TabBar. Default is "widget_tabBar".
Numbers. This is the position where you want your TabBar to be created. The default values for left and top are 0, 0.
Numbers. Set these if you want to use a custom width/height for your tab bar. The default width is equal to display.contentWidth, and the default height is 50.
Table. This is a table that will hold all parameters and options for the individual tab buttons. Please see the Format for buttons
section below for more information.
Constant. This is the base directory where your custom images are located. The default is your project folder (system.ResourceDirectory
).
String. This is the left edge image of the TabBar's selected graphic.
String. This is the middle image of the TabBar's selected graphic.
String. This is the right edge image of the TabBar's selected graphic.
Numbers. This is the width/height of the TabBar's selected graphic.
ImageSheet. This is the image sheet object for your TabBar.
Numbers. This is the width/height of the background image of the TabBar.
Number. This is the left edge frame index of the TabBar's selected graphic.
Number. This is the left edge frame index of the TabBar's selected graphic.
Number. This is the left edge frame index of the TabBar's selected graphic.
Numbers. This is the width/height of the TabBar's selected graphic.
buttons
This is a table that will hold all parameters and options for the individual tab buttons.
String. This is an optional id to assign to your TabBar button. Default is "button".
String. This is the text label that will (optionally) underneath the TabBar button icon.
Table. This is a table that holds the color (in rbga format) of the TabBar button label. Example:
{
default = { 255, 255, 255, 90 },
over = { 120, 53, 128, 255 },
}
Numbers. This is a x/y offset you want to apply to the TabBar label.
String. This is the font to use for your TabBar button label. The default is native.systemFont
Number. The font size (in pixels) for your TabBar button label. The default is 8.
Boolean. Set this to true
to start the TabBar button in it's selected state. You should only set one of these to true at a time.
Function. This is an optional function to be called as soon as the button is pressed. This callback function does not require you to test for an event.phase (as it only has one) and should return true.
Numbers. This should match the width/height of your defaultFile/overFile.
Constant. This is the base directory where your custom images are located. The default is your project folder (system.ResourceDirectory
).
String. This is the default ("un-pressed") image of the TabBar button.
String. This is the over ("pressed") image of the TabBar button.
Number. This is the default ("un-pressed") frame index of the TabBar button.
Number. This is the over ("pressed") frame index of the TabBar button.
local widget = require( "widget" )
-- Create the tabBar's buttons
local tabButtons =
{
{
width = 32,
height = 32,
defaultFile = "assets/tabIcon.png",
overFile = "assets/tabIcon-down.png",
label = "Tab1",
labelColor =
{
default = { 0, 0, 0 },
over = { 255, 255, 255 },
},
font = native.systemFontBold,
size = 8,
onPress = function() print( "Tab 1 pressed" ) end,
selected = false
},
{
width = 32,
height = 32,
defaultFile = "assets/tabIcon.png",
overFile = "assets/tabIcon-down.png",
label = "Tab2",
labelColor =
{
default = { 0, 0, 0 },
over = { 255, 255, 255 },
},
font = native.systemFontBold,
size = 8,
onPress = function( event ) print( "Tab 2 pressed" ); print( event.target._id ) end,
selected = true
},
{
width = 32,
height = 32,
defaultFile = "assets/tabIcon.png",
overFile = "assets/tabIcon-down.png",
label = "Tab3",
labelColor =
{
default = { 0, 0, 0 },
over = { 255, 255, 255 },
},
font = native.systemFontBold,
size = 8,
onPress = function() print( "Tab 3 pressed" ) end,
selected = false
},
{
width = 32,
height = 32,
defaultFile = "assets/tabIcon.png",
overFile = "assets/tabIcon-down.png",
label = "Tab4",
labelColor =
{
default = { 0, 0, 0 },
over = { 255, 255, 255 },
},
font = native.systemFontBold,
size = 8,
onPress = function() print( "Tab 4 pressed" ) end,
selected = false
},
}
-- Create a tabBar
local tabBar = widget.newTabBar
{
left = 0,
top = display.contentHeight - 52,
width = display.contentWidth,
backgroundFile = "assets/woodbg.png",
tabSelectedLeftFile = "assets/tabBar_tabSelectedLeftEdge.png",
tabSelectedRightFile = "assets/tabBar_tabSelectedRightEdge.png",
tabSelectedMiddleFile = "assets/tabBar_tabSelectedMiddle.png",
tabSelectedFrameWidth = 20,
tabSelectedFrameHeight = 52,
buttons = tabButtons,
}
group:insert( tabBar )


referenced
by Axa Mei Liauw at 2020-03-10 15:04:07.merged
by Axa Mei Liauw at 2020-03-10 15:04:07.closed
by Axa Mei Liauw at 2020-03-10 15:04:07.head_ref_deleted
by Axa Mei Liauw at 2020-03-10 15:04:11.assigned
by Axa Mei Liauw at 2020-03-10 15:12:00.referenced
by Axa Mei Liauw at 2020-03-10 15:42:07.assigned
by Axa Mei Liauw at 2020-03-10 15:14:35.referenced
by Axa Mei Liauw at 2020-03-10 15:42:07.assigned
by Axa Mei Liauw at 2020-03-10 15:33:53.referenced
by Axa Mei Liauw at 2020-03-10 15:42:07.This looks like it was resolved:
closed
by Axa Mei Liauw at 2020-03-10 15:39:07.review_requested
by Axa Mei Liauw at 2020-03-10 15:43:14.@axamei yes, I think it's a very similar issue.
mentioned
by Axa Mei Liauw at 2020-03-10 15:56:50.subscribed
by Axa Mei Liauw at 2020-03-10 15:56:50.https://drive.google.com/open?id=1nGiJDEjoParJyqAmCibooxKshpR6kqLg
Delete text in date range field Delete text in hours field Select date range for single day (same start and end date) or same date range that was used before it was deleted in date range field Hours field does not automatically populate
refs #580 (similar issue with datepicker)
labeled
by Kevin Reiss at 2020-03-10 13:30:00.assigned
by Axa Mei Liauw at 2020-03-10 18:33:40.I use chrome as well…. Has been like this for months :C
From: Esmé Cowles<EMAIL_ADDRESS>Sent: Dienstag, 10. März 2020 20:43 To: pulibrary/cicognara-rails<EMAIL_ADDRESS>Cc: Subscribed<EMAIL_ADDRESS>Subject: [pulibrary/cicognara-rails] Viewer not displaying images in Brave (#453)
When I use Chrome, the viewer displays images fine. But when I use Brave, the images do not display.
— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/pulibrary/cicognara-rails/issues/453?email_source=notifications&email_token=ABCNOUPB4K5S7MMR7LFUZ2DRG2J45A5CNFSM4LFGSLE2YY3PNVWWK3TUL52HS4DFUVEXG43VMWVGG33NNVSW45C7NFSM4IUAB6LQ , or unsubscribe https://github.com/notifications/unsubscribe-auth/ABCNOUN7FNNJ2QVSMHBG7X3RG2J45ANCNFSM4LFGSLEQ .
labeled
by Esmé Cowles at 2020-03-10 19:42:57.deployed
by Trey Pendragon at 2020-03-10 20:36:44.@hackmastera Released.
head_ref_force_pushed
by Trey Pendragon at 2020-03-10 18:47:21.mentioned
by None at 2020-03-10 18:47:44.subscribed
by None at 2020-03-10 18:47:44.referenced
by None at 2020-03-10 19:22:52.merged
by None at 2020-03-10 19:22:52.closed
by None at 2020-03-10 19:22:52.head_ref_deleted
by None at 2020-03-10 19:22:56.renamed
by Eliot Jordan at 2020-03-10 16:01:58.deployed
by Trey Pendragon at 2020-03-10 16:10:05.head_ref_force_pushed
by None at 2020-03-10 20:08:53.deployed
by Trey Pendragon at 2020-03-10 16:14:07.closed
by Trey Pendragon at 2020-03-09 23:42:34.referenced
by Trey Pendragon at 2020-03-09 23:42:34.merged
by Trey Pendragon at 2020-03-09 23:42:34.closed
by Trey Pendragon at 2020-03-09 23:42:34.head_ref_deleted
by Trey Pendragon at 2020-03-09 23:42:37.@jrgriffiniii I assume this is ready? It looks good to me.
mentioned
by James R. Griffin III at 2020-03-09 23:44:51.subscribed
by James R. Griffin III at 2020-03-09 23:44:51.@kayiwa this is fixed, thanks!
head_ref_force_pushed
by None at 2020-03-10 13:44:39.mentioned
by Francis Kayiwa at 2020-03-10 14:06:15.subscribed
by Francis Kayiwa at 2020-03-10 14:06:15.referenced
by Francis Kayiwa at 2020-03-10 15:48:38.merged
by Francis Kayiwa at 2020-03-10 15:48:38.closed
by Francis Kayiwa at 2020-03-10 15:48:38.head_ref_deleted
by Francis Kayiwa at 2020-03-10 15:48:42.Coverage increased (+0.6%) to 100.0% when pulling bc0d262c7f725f3ccac09bee36d484562f51acd2 on 547-sidecar-new into a3b42c0c6c97b01bc6f4130c368078f8a05f1184 on master.
deployed
by Trey Pendragon at 2020-03-10 23:01:20.deployed
by Trey Pendragon at 2020-03-10 23:10:07.


- AbstractSSReplacement - Class in ec.operator.operations.replacement
-
- AbstractSSReplacement() - Constructor for class ec.operator.operations.replacement.AbstractSSReplacement
-
- Adaptive - Class in ec.operator.control
-
- Adaptive() - Constructor for class ec.operator.control.Adaptive
-
- add(Gene) - Method in class ec.individuals.Chromosome
-
Add an gene to the population
- add(Individual) - Method in class ec.individuals.populations.Population
-
- add(int, Individual) - Method in class ec.individuals.populations.Population
-
- add(Individual) - Method in interface ec.individuals.populations.PopulationInterface
-
Add an individual to the population
- add(int, Individual) - Method in interface ec.individuals.populations.PopulationInterface
-
Add an individual to a specific position
- addAll(ArrayList<Gene>) - Method in class ec.individuals.Chromosome
-
Add an entire gene to the chromosome
- addAll(String[]) - Method in class ec.individuals.Gene
-
Extend size of alleles
- addAll(double[]) - Method in class ec.individuals.Gene
-
Extend size of alleles
- addAll(ArrayList<Individual>) - Method in class ec.individuals.populations.Population
-
- addAll(Population, ArrayList<Individual>) - Method in class ec.individuals.populations.Population
-
- addAll(PopulationInterface) - Method in class ec.individuals.populations.Population
-
- addAll(Population, ArrayList<Individual>) - Method in interface ec.individuals.populations.PopulationInterface
-
Add a collection of individuals to the population
- addAll(ArrayList<Individual>) - Method in interface ec.individuals.populations.PopulationInterface
-
Add a collection of individuals to the population
- addAll(PopulationInterface) - Method in interface ec.individuals.populations.PopulationInterface
-
Add an entire population to the population
- addAll(ArrayList<Gene>) - Method in class ec.individuals.representation.CharRep
-
Deprecated.
- addAll(ArrayList<Gene>) - Method in class ec.individuals.representation.hybrid.TSP
-
- addAll(ArrayList<Gene>) - Method in class ec.individuals.representation.IntRep
-
Deprecated.
- addAll(ArrayList<Gene>) - Method in class ec.individuals.representation.TSP
-
- addAll(ArrayList<Gene>) - Method in class ec.individuals.representation.VRPTW
-
- Agent - Class in ec.algorithms.aco
-
- Agent(AntColonyOptimisation, int) - Constructor for class ec.algorithms.aco.Agent
-
- ageScheme - Variable in class ec.algorithms.alps.layers.InitializeParams
-
- agingLayers(Properties) - Method in class ec.parameter.Instance
-
- AgingScheme - Interface in ec.algorithms.alps
-
- agingScheme(int, int) - Method in interface ec.algorithms.alps.AgingScheme
-
- agingScheme(int, int) - Method in class ec.algorithms.alps.agingscheme.Exponential
-
- agingScheme(int, int) - Method in class ec.algorithms.alps.agingscheme.Fibonacci
-
- agingScheme(int, int) - Method in class ec.algorithms.alps.agingscheme.Linear
-
- agingScheme(int, int) - Method in class ec.algorithms.alps.agingscheme.Polynomial
-
- ALGORITHM_SELECTOR - Static variable in class ec.util.Constants
-
- Algorithms - Interface in ec.algorithms
-
- ALPHA - Static variable in class ec.util.Constants
-
heuristic parameter describing how greedy the algorithm is in finding its path across the graph
- alphatesting() - Static method in class ec.algorithms.aco.ParameterTesting
-
- ALPS_AGE_GAP - Static variable in class ec.util.Constants
-
describes how fast the ants are going to select their path
- ALPS_AGING_SCHEME - Static variable in class ec.util.Constants
-
describes how fast the ants are going to select their path
- ALPS_MAX_AGE_LAST_LAYER - Static variable in class ec.util.Constants
-
there is no age-limit to the last layer so as to be able to keep the best
individuals from the most promising (longest running) search.
- ALPS_NUMBER_OF_LAYERS - Static variable in class ec.util.Constants
-
describes how fast the ants are going to select their path
- ALPS_REPLACMENT_STRATEGY - Static variable in class ec.util.Constants
-
this determines how individual older than their current layer are moved
to the next higher layer
- ALPS_SELECTION_PRESSURE - Static variable in class ec.util.Constants
-
when applying selection pressure to select between two adjacent layers
this value determines percentage of selection in tournament individuals
from current layer and lower layer
- ALPS_SS_SELECTION_PRESSURE - Static variable in class ec.util.Constants
-
when performing sequential selection, use this variable to control percengate
of call for stated replacement (e.g worst or nearest individual in tournament) as
opposed to random replacement
- ALPSLayers - Class in ec.algorithms.alps.system
-
- ALPSLayers(ArrayList<Layer>, int) - Constructor for class ec.algorithms.alps.system.ALPSLayers
-
- ALPSReplacement - Class in ec.algorithms.alps
-
- ALPSReplacement() - Constructor for class ec.algorithms.alps.ALPSReplacement
-
- ALPSReplacementStrategy - Class in ec.algorithms.alps.replacement
-
- ALPSReplacementStrategy() - Constructor for class ec.algorithms.alps.replacement.ALPSReplacementStrategy
-
- AMatrix - Class in ec.individuals.representation.tabu
-
- AMatrix() - Constructor for class ec.individuals.representation.tabu.AMatrix
-
- AntColonyOptimisation - Class in ec.algorithms.aco
-
- AntColonyOptimisation() - Constructor for class ec.algorithms.aco.AntColonyOptimisation
-
- AntColonyOptimisation(Properties, int) - Constructor for class ec.algorithms.aco.AntColonyOptimisation
-


TheOneRing is a modded Lord of The Rings minecraft server which uses the latest BETA version of the mod, which our building team and players over the years have built all of the main structures within middle earth for everyone to enjoy.
Learn MoreOn our server we host many different fun events so that the players can have a fun, friendly way to compete against one another; Some with violence, some without, to win many different prizes from staff.
Learn MoreA main part of our server is the roleplay aspect between the factions. Yes, this means that factions are able to declar war against one another, raid and conquer their enemys for the dominon of Middle Earth.
Learn MoreHere are some of the latest big server changes
Lorem ipsum dolor sit amet, consectetur adipisicing elit. Corporis, omnis doloremque non cum id reprehenderit, quisquam totam aspernatur tempora minima unde aliquid ea culpa sunt. Reiciendis quia dolorum ducimus unde.


Brian Bennett | @bennettscience
Grab this session from GitHub
32% of college students are taking at least one online class
Allen, I. E., & Seaman, J. (2013). Changing Course: Ten Years of Tracking Online Education in the United States. Sloan Consortium. PO Box 1238, Newburyport, MA 01950.
Cover photo creative commons licensed (BY) flickr photo by Neo_II: http://flickr.com/photos/neo_ii/7483010074
For more information on Cognitive Load Theory, see:
Set up missions, recruit scouts to test your pages in their normal workflow.
Cover photo creative commons licensed (BY-NC) flickr photo by pamhule: http://flickr.com/photos/pamhule/5709324762
Browser-based usability testing with remote testing capability
A/B testing built from an existing page.
Cover photo creative commons licensed (BY-SA) flickr photo by teezeh: http://flickr.com/photos/teezeh/5771850041
Research-grade usability software.
Cover image creative commons licensed (BY-SA) flickr photo by Unhindered by Talent: http://flickr.com/photos/nicmcphee/2217375343
We need to know more about how students interact with online learning systems.
TechSmith Corp.
//slides.ohheybrian.com/usability
Grab this session from GitHub


[1]
for us the fine dining restaurant will be open if so request a bit mouldy.
[2]
for us the price - the spa suite room does not justify the standard of relaxing difficult.


--- layout: archive title: Zulip Chat Archive permalink: /stream/116395-maths/topic/proving.20less.20than.html ---
this is a simple question - but how does one prove that a natural number is >= another natural.
for example, even for something like 1 > 0
Well, 1>0
follows from the way that >
is defined:
example : 1 > 0 := nat.less_than_or_equal.refl 1
There are also tons of already-proven lemmas that are helpful for working with inequalities: if you're using the VS Code extension you'll see a popup filled with suggestions if you start typing e.g. nat.le
or nat.lt
. Here are links to some relevant lemmas in lean core and mathlib.
However, the easiest way is probably to use mathlib's norm_num
tactic:
import tactic.norm_num example : 173 > 34 := by norm_num
It can handle lots of other arithmetic-related goals. (It looks like norm_num is still not mentioned in the tactics doc?)
what do I need to import to use norm_num?
import tactic.norm_num
, assuming you have mathlib
installed.
Yeah, oops, forgot to put the import in!
thanks !
{% endraw %}Last updated: Apr 24 2020 at 19:02 UTC


|
keyboard_arrow_right
keyboard_arrow_down
New
|
|
| Discard current editor content and start a new track | |
|
keyboard_arrow_right
keyboard_arrow_down
Load
|
|
| Options |
help_outline
Current edited track will not be discarded, it will be extended with the loaded one. help_outline If loaded track contains multiple segments, they will automatically be joined. |
|
File type:
help_outline
If "Auto" is selected, the type of the file is selected based on the file extension. |
|
|
Open a file from your device |
|
|
help_outline Load without going through a CORS proxy. Check if target server accepts cross-origin requests, and if you want to use your browser session to fetch the file. |
|
| Load from your Dropbox | |
|
keyboard_arrow_right
keyboard_arrow_down
Save
|
|
|
|
Download as a GPX file help_outline Check to save the track as a GPX route, instead of a GPX track segment. |
|
keyboard_arrow_right
keyboard_arrow_down
Share
|
|
|
track using
help_outline
Service is |
|
| Hosted by: | |
| Max file size: | |
| Max storage time: | |
| Max downloads: |
|
Edit your track's segments
You did not create any segment yet
help_outline
Drag and drop to reorder segments. Click on name to rename. Click on color to set color. Click on trash to delete. |
|
|
help_outline Check to apply the tools below to all track segments instead of just the active one. Ignore if your track only has one segment. |
|
|
Discard track points within a
s band Keep points if separated by more than help_outline Reduces track size by discarding points which do not significantly change the track shape. |
|
|
Smooth altitude data help_outline Update track's altitude data to remove noise. Smoothing intensity defines the number of rounding iterations. The higher the level, the more computation time is needed. |
|
|
Add altitude information
help_outline
Uses external web service to get elevation of track points. |
|
|
From
help_outline
Check to save in the GPX the timings computed by WTracks. It will override any previous GPX timing. |
|
|
By
help_outline
Shifts all track points' recorded time. |
|
|
Delete or interpolate track data:
help_outline
Clean up: Deletes elevation and/or GPS-recorded time data on each track point. |
|
|
Revert track direction
help_outline
Inverts all track points so that start of the track becomes the end. |
|
|
help_outline
Move cursor to delete points from the start or the end of the track. |
|
keyboard_arrow_right
keyboard_arrow_down
Remember me
help_outline
Your WTracks editor status will be saved continuously in your browser local storage, so that when you close and reopen it later it will restore the same content and settings. |
|
|
Privacy warning: state is shared with all users of this browser profile You can also export/import settings to/from files: |
|
|
keyboard_arrow_right
keyboard_arrow_down
Display options
help_outline
Configure track colors and other display options. |
|
|
Segment Type:
Default color:
Width:
| |
|
help_outline
When checked, a dashed line is displayed in edit mode to guide forward track extension. |
|
|
help_outline
When unchecked, waypoint title is only displayed when the mouse is over the waypoint. |
|
|
help_outline
When checked, a marker will be shown at start and end of current track segment. |
|
|
help_outline
When checked and an overlay is enabled, base layer is displayed in gray. This is useful with slope overlays. |
|
|
help_outline
By default, when multiple overlays are active, they are mixed to make sure they are all visible. When this option is checked, overlays are drawn independently on top of each other. Bottom overlays may then be hidden by upper overlays, unless you reduce their opacity. |
|
|
keyboard_arrow_right
keyboard_arrow_down
API keys
help_outline
To use elevation and routing services, you must set your own API keys.
Current config is using: |
|
|
OpenRoute:
help_outline
This key is used for the (i) computing point and track elevation, and (ii) routing feature, which draws tracks along map roads. Get your free API key/token from OpenRoute Service.
GraphHopper:
help_outline
This key is used for the routing feature, which draws tracks along map roads. Get your API key from GraphHopper.
Google:
help_outline
This key is used for the Google Elevation service, which gets the elevation of each track point. Get your "Maps Elevation API" key from Google Developers Console.
help_outline
If checked an info box will pop up when elevation or routing services are not configured. |
|
|
keyboard_arrow_right
keyboard_arrow_down
Other
|
|
|
Unit of length:
help_outline
Choose between imperial and metric unit of length. |
|
|
Offline cache:
help_outline
Activate service worker to use offline cache. |
|
|
Round coords.:
help_outline
Maximum number of decimals to keep in location coordinates. |
|
WTracks by Olivier Potonniée
|
|
|
keyboard_arrow_right
keyboard_arrow_down
Donate
|
|
|
WTracks is free to use mood You can however donate to help maintaining this service: warning Do not check any 'goods and services' option in PayPal, you would pay useless fees. |
|
|
keyboard_arrow_right
keyboard_arrow_down
Documentation and shortcuts
|
|
|
Check documentation for application features and details. You can also join the online forum to share questions and hints with other WTracks users Keyboard shortcuts: |
|
| ESC | Open/close menu. Exit edits |
| F2 | Edit track name and description |
| N | New track |
| O | Open file |
| S | Save |
| e | Edit track in manual mode |
| a | Edit track in auto mode |
| . | Add new segment |
| x | Delete active segment |
| m | Move track |
| w | Edit waypoints |
| z | Undo last edit |
| f | Find address |
| l | Locate current position |
| t | Tools |
| s | Segments editor |
| * | Settings |
| ? | About / Documentation |
| Enter track details | |
|---|---|
| Name: | |
| Description: | |
Ready to upload to your Dropbox account. Please confirm to proceed.
Sharing will anonymously upload your track to the cloud and provide you a shareable link to reopen it. help_outline
Your track will be stored on a third-party server () without any guarantee of availability. Make sure to keep a copy of the file on your own.
| map |
help_outline
Note that the map has to be configured and not disabled on your recipient side. If your current background map is a result of a personal setting, you will need to share this setting using the Map Editor. |
| security |
help_outline
If checked your track will be encrypted in your browser before being sent and saved in the cloud. The decryption key will be included in the shareable link you will be provided. The encrypted track cannot be decrypted without this link. |
Uploading, please wait...
Here is the link to your track, copy and share it.
filter_none qr_code_scanner
Scan the QR Code below with your mobile to open the track:
|
menu
edit
|
||||||
| Distancestraighten | trending_flat | sync_alt | Alt. Maxvertical_align_top | ▲ | Climbing | |
|---|---|---|---|---|---|---|
| Timetimelapse edit | Alt. Minvertical_align_bottom | ▼ | Descent |