Generic Class to build/handle a webpage. CGIHandler offers
convenient ways to:
|
|
checkData(self,
vars,
redirectOnFail=True)
Method to validate CGI variables against regexps. |
source code
|
|
|
|
returnText(self,
text)
Return text to the browser. |
source code
|
|
|
|
returnHtml(self,
html)
Return some HTML to the browser. |
source code
|
|
|
|
|
|
|
returnData(self,
data)
Return just the data for BBx to send html |
source code
|
|
|
|
redirect(self,
link,
usejs=False,
delayed=False,
priority=10)
Redirect the browser to a different page via an HTTP redirect or a
javascript "Loading..." webpage. |
source code
|
|
|
|
msgredir(self,
message,
link,
delayed=False,
priority=10,
button=' « Go Back ' ,
title=' Redirect ' )
Redirect the browser but issue a message page that the user must
click through. |
source code
|
|
|
|
|
|
|
show(self,
vars,
macros={ } )
Load the template and macros and render the page. |
source code
|
|
|
|
yuilogging(self)
Enable YUI 2 Logger by adding scripts and styles |
source code
|
|
|
|
debug(self,
sent='
' ,
textfile=None,
emaillist=[ ] ,
dev=[ ] )
Debug is just an easy way to display variables on a page or write to
a file. |
source code
|
|
|
|
__init__(self,
title='
' ,
pagetemplate='
' ,
styles=[ ] ,
scripts=[ ] ,
usemacros=True,
state='
' ,
showmenu=True,
agentcheck=True,
bbx=False,
agent=None)
Initialization for a CGIHandler. |
source code
|
|
|
|
errorredir(self,
message,
link)
Method that resets the styles list and scripts list to only include
the defaults before calling msgredir(). |
source code
|
|
|
|
loadmacros(self)
loadmacros() reads the *.xml files and *.mac files from the fragments
directory and populates the returns a dictionary of the macros (and
layouts) that it finds there. |
source code
|
|
|
|
fs
self.fs is the cgi.FieldStorage() for this webpage
|
|
|
state
self.state contains the two-letter abbreviation of the agent's state
as read from ADP01.
|
|
|
datadir
self.datadir stores the data directory specific to the website
(example: /usr/HTTPServer/data/)
|
|
|
macrodir
self.macrodir stores the directory that contains the macros for a
page template to use
|
|
|
stylesdir
self.stylesdir stores the directory that contains the CSS files for a
page to use.
|
|
|
scriptsdir
self.scriptsdir stores the directory that contains the JS files for a
page to use.
|
|
|
area
self.area is added to the header in the standard page template to
show what state we're in.
|
|
|
title
self.title is the title of the page as it will be applied to the
templates
|
|
|
styles
self.styles is a list of paths to CSS files, /styles/std.css is
automatically included
|
|
|
env
self.env is the dictionary of environment variables
|
|
|
pagetemplate
stores the location of the pagetemplate
|
|
|
usemacros
set to false if the page either doesn't use macros or will provide
its own
|
|
|
showmenu
some pages should not show the menu in the header, set to False to
hide menu
|
|
|
pagejs
self.pagejs contains straight javascript to be included in the
<head> section of a page.
|
|
|
pagecss
self.pagecss contains css to be included in the <head> section
of a page.
|
|
|
condcomments
self.condcomments contains block conditional comments needed for IE's
failure to behave.
|
|
|
contenttype
self.contenttype is the Content-type: header served to the browser
whenever self.show() is called.
|


| addLegend {xts} | R Documentation |
Add Legend
addLegend(legend.loc = "topright", legend.names = NULL, col = NULL, ncol = 1, on = 0, ...)
legend.loc |
legend.loc places a legend into one of nine locations on the chart: bottomright, bottom, bottomleft, left, topleft, top, topright, right, or center. |
legend.names |
character vector of names for the legend. If |
col |
fill colors for the legend. If |
ncol |
number of columns for the legend |
on |
panel number to draw on. A new panel will be drawn if |
... |
any other passthrough parameters to |
Ross Bennett


Event Location:
Microsoft (Malaysia) Sdn Bhd
Level 17 18, Menara Shell, No. 211, Jalan Tun Sambanthan
Kuala Lumpur, Federal Territory of Kuala Lumpur, Malaysia
Abstract:
Security, privacy, data leaks, industrial espionage are terms we hear on a daily basis. Are we aware of the potential dangers and potential consequences for our companies, customers and businesses? Before answering this question for yourself, check out the link entitled "World's Biggest Data Breaches Hacks": https://informationisbeautiful.net/visualizations/worlds-biggest-data-breaches-hacks/ Data Breaches figures are generally measured in the tens and hundreds of millions of records. However, the other side of the medal from the Hall of Fame is that it is unprotected data from databases that have reached the "deep web". What happens next, hypothetically, can have very serious consequences. Is everything just so black? Learn about it on this session.
Speaker(s): Jasmin Azemović,
Abstract:
Migrating Data and Analytic workloads to Azure gives organizations the ability to innovate faster with the Azure Data Platform. To unlock the potential, it typically takes months to architect, engineer, and deploy a Modern Data and Analytics Platform in Azure. Even with a prescriptive approach for cloud adoption, many organizations are not equipped to take on the full scope of responsibility required to leverage the all-up capabilities they have acquired as a result of the project. Patrick Gallucci will share a service delivery approach that helps organizations move large and small data platforms to Azure. He will show you how to leverage proven cloud adoption methodologies, tools, resources, and best practices to enable your organization to simplify and accelerate their move to the cloud.
Speaker(s): Patrick Gallucci,
Abstract:
Query Tuning is easier said than done. Here is an opportunity to learn some real-world query tuning examples. In this 100% demo, deep-dive session you will learn to identify query performance issues using execution plans, re-write queries to improve execution time, use new T-SQL constructs for better performance, re-define indexes deal with statistics to improve query performance. You will also learn many advanced concepts and true to the session title, you are going to see bad query vs good query, all real-world. This session will be an eye-opener for you and you will learn things that Google cannot find for you. Assured. (The content demonstrated will only be relevant to SQL Server 2012 and onward including 2019)
Speaker(s): Amit R S Bansal,
Abstract:
Want to get started with Machine Learning and have no idea what technologies to use? Don't hybernate your career. Learn about some of technologies available, focusing on Microsoft's offering, such as Azure Machine Learning (Service) workspace, Spark using Azure Databricks and HDInsight, Azure Synapse Analytics, and many more. Disclaimer: All these worlds are yours except Cognitive Service, that's for a different session.
Speaker(s): André Melancia,
Abstract:
Power BI is an amazing BI platform out of the box, but there' is a lot of things that you can do with Power BI that probably you dont even imagine! This session is a collection of my top tips, tricks hacks gathered over the years from simple tips to advanced hacks to boost your productivity.
Speaker(s): Rui Romano,
Abstract:
Databases are essential in the business world, we all have databases that are critical to the organization. When it comes to storing and querying on data, SQL Server is the top choice for many businesses and data professionals. It’s used for a range of projects--from Enterprise Resource Planning (ERP) to mini Human Resources (HR) solution systems. In this session, you will learn step by step how to prepare an optimum environment for SQL Server. We will review best practices for SQL Server configuration, PowerShell basics, advanced hardware resource planning, performance tuning techniques, high availability and disaster recovery designs, and the importance of documentation.
Speaker(s): Hamid J. Fard,
Abstract:
With the advent of cloud we now have multiple deployment options for SQL Server. Be it a Full instance on premise or in the cloud, to a managed instance or a Platform as a service in the form of Azure SQL Database - each deployment options have their own use case. In this session, we will explore SQL Server's deployment options to help you decide which path is applicable to which scenarios.
Speaker(s): Pio Balistoy,
Abstract:
Are you a DBA or data professional working with out-dated technology or feel your skills are quickly becoming irrelevant? Stay ahead in today's ever changing tech space and take your career to the next level. Join Mohammad Darab this session to explore the cutting-edge technology that SQL Server 2019 has to offer: Big Data Clusters. Topics include: -Big Data Cluster architecture and its components such as: Containers, Kubernetes and the newly enhanced Polybase -Unique advantage of SQL Server Big Data Clusters -Data Virtualization, Scale-out Data Marts, and Data Hub concepts
Speaker(s): Mohammad Darab,
Abstract:
Microsoft is building the biggest cloud database. Hyperscale is a new cloud-native solution purpose-built to address common cloud scalability limits with either compute, storage, memory or combinations of all three. Come to this session and learn about how we do it with Azure SQL Database Hyperscale.
Speaker(s): Tiago Balabuch,
This is a list of speakers from the XML Guidebook records. The details and URLs were valid at the time of the event.
Chiu Kiang is the principal of PCK Consulting, a provider for SQL Server and Microsoft .NET development and consulting services. He works with customers and partners on technologies covering data management, business intelligence, performance tuning and enterprise integration. He is currently in his 11th year in his role as a Microsoft MVP for SQL Server.
LinkedIn: http://www.linkedin.com/in/AmitBansal2010
Amit R. S. Bansal is a SQL Server Specialist at SQLMaestros. He leads the SQL Server practice with a focused team providing consulting, training, and content development services to more than 160+ SQL customers globally. He frequently speaks at international conferences on SQL Server performance tuning, which is his core expertise. Amit is also honored with Microsoft Regional Director status, MVP award, and Microsoft Certified Master of SQL Server credential. Amit has been working with SQL Server since 1999 and has been part of countless mission-critical SQL deployments. Performance Tuning in SQL Server is his core area of expertise. To learn more about Amit, visit http://sqlmaestros.com/amit-bansal.
LinkedIn: http://LinkedIn.COM/in/AndreMelancia
Contact: http://Andy.PT
Owner / Principal Consultant at LunarCat.PT Microsoft Certified Trainer (MCT) focusing on SQL Server, Azure, IoT and Security. 19+ years' fun developing information and multimedia systems, DBA, project and IT management. Data Community Portugal, IT Pro Portugal and PowerShell Portugal communities organiser. IPv6 Portugal, DNSSec Portugal and Windows Development Portugal online communities moderator. Actively volunteering, organising, speaking or just participating at community meetings and events around the world. Proud uncle and food devouring expert, with dangerous рuϧϧy cat as companion. Go to http://Andy.PT and you'll know the same as the NSA...
LinkedIn: http://www.linkedin.com/in/tiagobalabuch
Contact: http://tiagobalabuch.com
Tiago Balabuch is a Microsoft Customer Engineer on Data AI, also enthusiast, fascinated, passionate, fanatic by Azure SQL and in the off-hours a Data Engineer who loves what he does. Traveling in the cloud and surfing on the wave of the moment called Azure is his new challenge! Originally from Brazil and with encouragement from family and friends, Tiago moved to Europe in 2017 where lives in Lisbon
LinkedIn: https://www.linkedin.com/in/jasmin-azemovic
Contact: http://www.youtube/mvpdba
CISO and university professor active in the fields of database systems, information security, data privacy, forensic analysis, and fraud detection. Ph.D. degree in the field of modeling design and developing an environment for the preservation of privacy inside database systems, also the author of many scientific research papers and three books: Writing T-SQL Queries for Beginners Using Microsoft SQL Server 2012, Securing SQL Server 2012 and SQL Server on Linux. Microsoft MVP (Data Platform) for the last 10 years and an information security consultant. Active speaker at many IT professional and community conferences.
LinkedIn: https://my.linkedin.com/in/hamidjfard
I am SQL Server Data BI Platform Expert with more than 9 years’ of professional experience, I am currently Microsoft Certified Master: SQL Server 2008, Microsoft Certified Solutions Master: Charter-Data Platform, Microsoft Data Platform MVP and CIW Database Design Specialist. After a few years of being a production database administrator I jumped into the role of Data Platform Expert. Being a consultant allows me to work directly with customers to help solve questions regarding database issues for SQL Server.
LinkedIn: https://www.linkedin.com/in/piobalistoy/
Contact: https://lazysqlwriter.wordpress.com/; https://blog.pythian.com/author/balistoy/
Pio Balistoy is a Microsoft MVP Certified Trainer for Data Platform. A SQL Server professional with more than 17 years of experience with SQL Server operations, architecture and administration. He brings his passion for SQL Server as the community leader for Singapore SQL PASS and Philippine SQL Server User Group. He is currently one of the Lead Microsoft Data Platform Consultant for The Pythian Services - a global IT product and services company with headquarters in Ottawa, New York, Sydney, UK and India. He also co-founded Excent One Inc, a technology solutions company based in the Philippines and Singapore that helps SMEs integrate and develop Microsoft based business Applications.
LinkedIn: https://pt.linkedin.com/in/ruiromano
Contact: http://ruiromanoblog.wordpress.com/
Rui Romano lives in Portugal and he leads the Business Intelligence team at DevScope. He has been Developing amp; Architecting software solutions since 2003 always focused in the Business Intelligence area.
LinkedIn: https://www.linkedin.com/in/patrickgallucci/
Contact: https://www.quisitive.com/conversations/blog/
Patrick Gallucci is a Microsoft Certified Educator, Microsoft Certified Trainer, Microsoft Certified Azure Solution Architect Expert and Azure DevOps Engineer Expert at Quisitive in Dallas/Fort Worth. He has 25+ years’ experience working with data platforms including, Azure Data Services, Microsoft SQL Server, Azure Synapse, Hadoop, Spark, CosmosDB Azure Data Lake Services. As the Managing Principal, he is responsible for the technical architecture, governance, and service delivery quality for the Data and Analytics Practice at Quisitive.
LinkedIn: https://www.linkedin.com/in/mdarab/
Contact: https://mohammaddarab.com
Mohammad Darab is a Microsoft Data Platform MVP, Certified Kubernetes Administrator, Certified Kubernetes Application Developer, speaker and blogger with over 19 years of IT professional experience, 10+ years of that working with SQL Server. He is passionate about SQL Server Big Data Clusters, Kubernetes and overall professional development.
The following is a list of sponsors that helped fund the event.


We are a rather small operation, but we think big. Our team has the talent and drive to tackle projects of any size. If you're interested in joining our team, feel free to give a holler. Growing steadily since May 2012.
Jeremy handles all the business, content development, and animation. He has been known to give up full nights of sleep, in order to make clients happy. He has a degree in Business Administration from Vanguard University.
Ryan makes awesome music scores for the videos and gives everyone back massages on queue, ensuring great company moral. He has a degree in Music from Vanguard University.
Justin is in charge of storyboarding and illustration. He has high hopes of getting his "Employee of the Month" streak into the double digits. He is getting a degree in Illustration and Design from The Academy of Art.
We make graphically animated videos for businesses of all kinds. Our videos incorporate the key elements of story, design, and sound.
We learn everything we can about your company: What you offer. Your target market. Why people need you. With this information, we determine the best strategy for your video in terms of length, style, and distribution.
We develop a script from the perspective of your target audience, telling the story of how your product or service has made their life better. We believe that story is the most effective way to resonate with your audience.
We draw up a storyboard that gives a visual representation of how the video will look and feel. Each cell of the storyboard represents the key scenes throughout video. This gives you a chance to point out anything you want altered before the video is animated.
We chose a voiceover professional that will narrate the video with clarity, while emulating a tone that will fit the mood of the video. We provide you with a demo, before a voice is chosen, ensuring quality and satisfaction.
We put your story into motion, using beautifully designed elements to create a video that will be visually appealing and build your brand. We utilize the latest animation technology and techniques, and make sure each movement is thoughtfully and deliberately planned.
We add high quality music and sound effects to the video that help tell the story and engage with the audience. Every musical score is designed to convey the mood of the video, while every sound effect is carefully chosen and timed in order to bring the video to life.


Click on the button bellow to create a room and watch anime with your friends
Share the URL bellow to invite others to watch synchronized with you.


|
Lucid
|
#include "ecs.h"
#include "component.h"
#include "engineComponents.h"
#include "sound.h"
#include "font.h"
Go to the source code of this file.
Macros | |
| #define | MOVE_ALL_COMPONENTS(search, from, to, index) |
| #define | REMOVE_ALL_COMPONENTS(keyPtr, index) |
| #define | REGISTER_COMPONENT_CREATE(archetype, keyPtr) |
| #define | SERIALIZE_ALL_COMPONENTS_OUT(entity) |
| #define | SERIALIZE_ALL_COMPONENTS_IN(entity) |
| #define | ADD_ALL_COMPONENTS(entity, name) |
| #define ADD_ALL_COMPONENTS | ( | entity, | |
| name | |||
| ) |
| #define MOVE_ALL_COMPONENTS | ( | search, | |
| from, | |||
| to, | |||
| index | |||
| ) |
| #define REGISTER_COMPONENT_CREATE | ( | archetype, | |
| keyPtr | |||
| ) |
| #define REMOVE_ALL_COMPONENTS | ( | keyPtr, | |
| index | |||
| ) |
| #define SERIALIZE_ALL_COMPONENTS_IN | ( | entity | ) |
| #define SERIALIZE_ALL_COMPONENTS_OUT | ( | entity | ) |


|
NetBeans UML Modeling |
org::galagosearch::core::eval::RetrievalEvaluator
public class RetrievalEvaluator
A retrieval evaluator object computes a variety of standard information retrieval metrics commonly used in TREC, including binary preference (BPREF), geometric mean average precision (GMAP), mean average precision (MAP), and standard precision and recall. In addition, the object gives access to the relevant documents that were found, and the relevant documents that were missed.
BPREF is defined in Buckley and Voorhees, "Retrieval Evaluation with Incomplete Information", SIGIR 2004.
@author Trevor Strohman| Properties | |
|---|---|
| Alias | RetrievalEvaluator |
| Visibility | public |
| Final | |
| Transient | |
| Abstract | |
| Leaf |
| Nested Class Summary | |
|---|---|
public class |
Document
This class represents a document returned by a retrieval system. |
public class |
Judgment
This class represents a relevance judgment of a particular document for a specific query. |
| Attribute Summary | |
|---|---|
String |
_queryName
  |
| Constructor Summary | |
|---|---|
RetrievalEvaluator(String queryName, Document retrieved[0..*], Judgment judgments[0..*]) Creates a new instance of RetrievalEvaluator @param retrieved A ranked list of retrieved documents. |
| Operation Summary | |
|---|---|
void |
_buildJudgments(Judgment judgments[0..*])   |
void |
_judgeRetrievedDocuments()   |
void |
_findMissedDocuments()   |
void |
_findRelevantDocuments()   |
String |
queryName() Returns the name of the query represented by this evaluator. |
double |
precision(int documentsRetrieved) Returns the precision of the retrieval at a given number of documents retrieved. |
double |
recall(int documentsRetrieved) Returns the recall of the retrieval at a given number of documents retrieved. |
double |
rPrecision() Returns the precision at the rank equal to the total number of relevant documents retrieved. |
double |
reciprocalRank() Returns the reciprocal of the rank of the first relevant document retrieved, or zero if no relevant documents were retrieved. |
double |
averagePrecision() Returns the average precision of the query. |
double |
binaryPreference() The binary preference measure, as presented in Buckley, Voorhees "Retrieval Evaluation with Incomplete Information", SIGIR 2004. |
double |
normalizedDiscountedCumulativeGain() Normalized Discounted Cumulative Gain This measure was introduced in Jarvelin, Kekalainen, "IR Evaluation Methods for Retrieving Highly Relevant Documents" SIGIR 2001. |
double |
normalizedDiscountedCumulativeGain(int documentsRetrieved) Normalized Discounted Cumulative Gain This measure was introduced in Jarvelin, Kekalainen, "IR Evaluation Methods for Retrieving Highly Relevant Documents" SIGIR 2001. |
double |
normalizationTermNDCG(int documentsRetrieved)   |
int |
relevantRetrieved(int documentsRetrieved) The number of relevant documents retrieved at a particular rank. |
Document[0..*] |
retrievedDocuments() @return The list of retrieved documents. |
Document[0..*] |
judgedIrrelevantRetrievedDocuments() @return The list of all documents retrieved that were explicitly judged irrelevant. |
Document[0..*] |
irrelevantRetrievedDocuments() This method returns a list of all documents that were retrieved but assumed to be irrelevant. |
Document[0..*] |
relevantRetrievedDocuments() Returns a list of retrieved documents that were judged relevant, in the order that they were retrieved. |
Document[0..*] |
relevantDocuments() Returns a list of all documents judged relevant, whether they were retrieved or not. |
Document[0..*] |
relevantMissedDocuments() Returns a list of documents that were judged relevant that were not retrieved. |
| Attribute Detail |
|---|
private String _queryName
| Constructor Detail |
|---|
public RetrievalEvaluator(String queryName, Document retrieved[0..*], Judgment judgments[0..*])
| Operation Detail |
|---|
private void _buildJudgments(Judgment judgments[0..*])
private void _judgeRetrievedDocuments()
private void _findMissedDocuments()
private void _findRelevantDocuments()
public String queryName()
public double precision(int documentsRetrieved)
public double recall(int documentsRetrieved)
public double rPrecision()
public double reciprocalRank()
public double averagePrecision()
Suppose the precision is evaluated once at the rank of each relevant document in the retrieval. If a document is not retrieved, we assume that it was retrieved at rank infinity. The mean of all these precision values is the average precision.
public double binaryPreference()
The binary preference measure, as presented in Buckley, Voorhees "Retrieval Evaluation with Incomplete Information", SIGIR 2004. This implemenation is the 'pure' version, which is the one used in Buckley's trec_eval.
The formula is: 1/R \sum_{r} 1 - |n ranked greater than r| / R where R is the number of relevant documents for this topic, and n is a member of the set of first R judged irrelevant documents retrieved.
public double normalizedDiscountedCumulativeGain()
Normalized Discounted Cumulative Gain
This measure was introduced in Jarvelin, Kekalainen, "IR Evaluation Methods for Retrieving Highly Relevant Documents" SIGIR 2001. I copied the formula from Vassilvitskii, "Using Web-Graph Distance for Relevance Feedback in Web Search", SIGIR 2006. Score = N \sum_i (2^{r(i)} - 1) / \log(1 + i) Where N is such that the score cannot be greater than 1. We compute this by computing the DCG (unnormalized) of a perfect ranking.
public double normalizedDiscountedCumulativeGain(int documentsRetrieved)
Normalized Discounted Cumulative Gain
This measure was introduced in Jarvelin, Kekalainen, "IR Evaluation Methods for Retrieving Highly Relevant Documents" SIGIR 2001. I copied the formula from Vassilvitskii, "Using Web-Graph Distance for Relevance Feedback in Web Search", SIGIR 2006. Score = N \sum_i (2^{r(i)} - 1) / \log(1 + i) Where N is such that the score cannot be greater than 1. We compute this by computing the DCG (unnormalized) of a perfect ranking.
protected double normalizationTermNDCG(int documentsRetrieved)
public int relevantRetrieved(int documentsRetrieved)
public Document[0..*] retrievedDocuments()
public Document[0..*] judgedIrrelevantRetrievedDocuments()
public Document[0..*] irrelevantRetrievedDocuments()
public Document[0..*] relevantRetrievedDocuments()
public Document[0..*] relevantDocuments()
public Document[0..*] relevantMissedDocuments()
|
NetBeans UML Modeling |


Programmatic interface to the 'PhenoCam' web services (<http://phenocam.sr.unh.edu>). Allows for easy downloading of 'PhenoCam' data directly to your R workspace or your computer and provides post-processing routines for consistent and easy timeseries outlier detection, smoothing and estimation of phenological transition dates. Methods for this package are described in detail in Hufkens et. al (2018) <doi:10.1111/2041-210X.12970>.
| Version: | 1.1.1 |
| Depends: | R (≥ 3.4.0) |
| Imports: | shiny, jsonlite, changepoint, httr, zoo, utils, graphics, stats, daymetr |
| Suggests: | covr, testthat, knitr, rmarkdown, shinydashboard, leaflet, plotly, DT |
| Published: | 2018-08-22 |
| Author: | Hufkens Koen [aut, cre] |
| Maintainer: | Hufkens Koen <koen.hufkens at gmail.com> |
| License: | AGPL-3 |
| NeedsCompilation: | no |
| Citation: | phenocamr citation info |
| CRAN checks: | phenocamr results |
| Reference manual: | phenocamr.pdf |
| Vignettes: |
phenocamr functionality |
| Package source: | phenocamr_1.1.1.tar.gz |
| Windows binaries: | r-devel: phenocamr_1.1.1.zip, r-release: phenocamr_1.1.1.zip, r-oldrel: phenocamr_1.1.1.zip |
| OS X binaries: | r-release: phenocamr_1.1.1.tgz, r-oldrel: phenocamr_1.1.1.tgz |
| Old sources: | phenocamr archive |
Please use the canonical form https://CRAN.R-project.org/package=phenocamr to link to this page.


Ray Shooting Depth functions are provided for bivariate analysis.
| Version: | 0.1-5 |
| Depends: | R (≥ 2.4.0) |
| Published: | 2014-06-04 |
| Author: | Nabil Mustafa <http://sma.epfl.ch/~moustafa/index.html>, Saurabh Ray <http://www.mpi-inf.mpg.de/~saurabh/>, Mudassir Shabbir <http://paul.rutgers.edu/~mudassir/>. |
| Maintainer: | Mudassir Shabbir <mudassir at cs.rutgers.edu> |
| License: | GPL-2 |
| NeedsCompilation: | yes |
| CRAN checks: | rsdepth results |
| Reference manual: | rsdepth.pdf |
| Package source: | rsdepth_0.1-5.tar.gz |
| Windows binaries: | r-devel: rsdepth_0.1-5.zip, r-release: rsdepth_0.1-5.zip, r-oldrel: rsdepth_0.1-5.zip |
| OS X binaries: | r-release: rsdepth_0.1-5.tgz, r-oldrel: rsdepth_0.1-5.tgz |
| Old sources: | rsdepth archive |
Please use the canonical form https://CRAN.R-project.org/package=rsdepth to link to this page.


Digital identity and services delivery 🆔
We are joined by Jordan Burris, Senior Director of Public Sector Product Market Strategy at Socure and former Chief of Staff at the US Office of Management and Budget to talk about digital identity and the impact it can have on the delivery of public services.
Join us on Discord
Resources and Shoutouts:
Music Credit: Tumbleweeds by Monkey Warhol
Previous May 11, 2022
« Innovating the social safety net 💻🇺🇸
« Innovating the social safety net 💻🇺🇸
Jun 8, 2022 Next
Human centered devsecops 🧑🏾🤝🧑🏽💻🔒 »
Human centered devsecops 🧑🏾🤝🧑🏽💻🔒 »


To download information by QR code scanning, you will need a QR Code scanning app for Android and iOS. Windows Phone users can scan the marker by using the camera and choosing Bing Vision.
If you use Android or iOS, you can download a free QR Code scanner from scan.me below.
Open the QR Code reader app and then scan the marker. Make sure the entire QR code is visible on the app.
If you have an NFC-compatible phone, you can check the settings and turn it on.
Place your phone on top of this part of the marker.


{% extends "layout.html" %} {% block content %}
Please check your email and follow the provided link to verify your email address.
Need a new verification email? Click here.


We are a team of developers in the Marth lab at the Center for Genetic Discovery at the University of Utah. If you'd like to give suggestions or collaborate on an app in your research area, contact us at iobioproject at gmail dot com.
Team
Gabor Marth
Principal Investigator
Professor of Human Genetics
Matt Velinder
Lab Manager
Clinical Genomics Lead / iobio
Alistair Ward
Director of Research and Science
COO, Co-Founder Frameshift Genomics
Chase Miller
Director of Research and Science
CEO, Co-Founder Frameshift Genomics
Yi Qiao
Director of Research and Science
Precision Oncology Lead / iobio


Settings
Channel 1
Channel 2
Channel 3
Channel 4
Mode
Frequency
Goal
Status
Arm
Arm
Arm
Arm
Halt
Halt
Halt
Halt
Change Settings
Channel 1
Channel 2
Channel 3
Channel 4
Manual
Timed
Smart
Frequency:
Goal:
Sensor Data
Temperature
Soil Moisture
Total Water Dispensed


📅 (2023-02-26 05:40:11 UTC)
# Packages matching: installed # Name # Installed # Synopsis base-bigarray base base-threads base base-unix base conf-findutils 1 Virtual package relying on findutils conf-gmp 4 Virtual package relying on a GMP lib system installation coq 8.15.1 Formal proof management system dune 3.6.2 Fast, portable, and opinionated build system ocaml 4.14.0 The OCaml compiler (virtual package) ocaml-base-compiler 4.14.0 Official release 4.14.0 ocaml-config 2 OCaml Switch Configuration ocaml-options-vanilla 1 Ensure that OCaml is compiled with no special options enabled ocamlfind 1.9.5 A library manager for OCaml zarith 1.12 Implements arithmetic and logical operations over arbitrary-precision integers # opam file: opam-version: "2.0" authors: [ "Andres Erbsen<EMAIL_ADDRESS>"Google Inc." "Jade Philipoom<EMAIL_ADDRESS><EMAIL_ADDRESS>"Massachusetts Institute of Technology" "Zoe Paraskevopoulou<EMAIL_ADDRESS>] maintainer: "Jason Gross<EMAIL_ADDRESS>homepage: "https://github.com/mit-plv/fiat-crypto" bug-reports: "https://github.com/mit-plv/fiat-crypto/issues" license: "MIT OR Apache-2.0 OR BSD-1-Clause" build: [ [make "-j%{jobs}%" "EXTERNAL_DEPENDENCIES=1" "SKIP_COQSCRIPTS_INCLUDE=1" "coq" "standalone-ocaml"] ] install: [make "EXTERNAL_DEPENDENCIES=1" "SKIP_COQSCRIPTS_INCLUDE=1" "BINDIR=%{bin}%" "install" "install-standalone-ocaml"] depends: [ "conf-findutils" {build} "ocaml" {build & >= "4.08~"} "ocamlfind" {build} "coq" {>= "8.15~"} "coq-coqprime" {>= "1.2.0"} "coq-rewriter" {>= "0.0.6" & <= "0.0.7"} "coq-rupicola" {= "0.0.5"} "coq-bedrock2-compiler" {= "0.0.3"} ] conflict-class: [ "coq-fiat-crypto" ] dev-repo: "git+https://github.com/mit-plv/fiat-crypto.git" synopsis: "Cryptographic Primitive Code Generation by Fiat" description: """ Coq code and proofs for a command-line binary that can synthesize proven-correct big-integer modular field arithmetic operations for cryptography. Target languages include C, Rust, Zig, Go, and bedrock2. """ tags: ["logpath:Crypto"] url { src: "https://github.com/mit-plv/fiat-crypto/archive/refs/tags/v0.0.15.tar.gz" checksum: "sha512=0f761a739ca97dff99792e766516e122ee141670f3a28eaca2735f8a7fc6d924e16dccff2cf18b362c44e3cff7f73e407d2b8b33f7786cac96a9c425cca11b8e" }
true
Dry install with the current Coq version:
opam install -y --show-action coq-fiat-crypto.0.0.15 coq.8.15.1
Dry install without Coq/switch base, to test if the problem was incompatibility with the current Coq/OCaml version:
true
opam list; echo; ulimit -Sv 4000000; timeout 4h opam install -y --deps-only coq-fiat-crypto.0.0.15 coq.8.15.1
opam list; echo; ulimit -Sv 16000000; timeout 4h opam install -y -v coq-fiat-crypto.0.0.15 coq.8.15.1
# Packages matching: installed # Name # Installed # Synopsis base-bigarray base base-threads base base-unix base conf-findutils 1 Virtual package relying on findutils conf-gmp 4 Virtual package relying on a GMP lib system installation coq 8.15.1 Formal proof management system coq-bedrock2 0.0.3 A work-in-progress language and compiler for verified low-level programming coq-bedrock2-compiler 0.0.3 A work-in-progress language and compiler for verified low-level programming (compiler part) coq-bignums 8.15.0 Bignums, the Coq library of arbitrary large numbers coq-coqprime 1.2.0 Certifying prime numbers in Coq coq-coqutil 0.0.2 Coq library for tactics, basic definitions, sets, maps coq-record-update 0.3.1 Generic support for updating record fields in Coq coq-rewriter 0.0.7 Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting, experimental and tailored for use in Fiat Cryptography coq-riscv 0.0.2 RISC-V Specification in Coq, somewhat experimental coq-rupicola 0.0.5 Gallina to imperative code compilation, currently in design phase dune 3.6.2 Fast, portable, and opinionated build system ocaml 4.14.0 The OCaml compiler (virtual package) ocaml-base-compiler 4.14.0 Official release 4.14.0 ocaml-config 2 OCaml Switch Configuration ocaml-options-vanilla 1 Ensure that OCaml is compiled with no special options enabled ocamlfind 1.9.5 A library manager for OCaml zarith 1.12 Implements arithmetic and logical operations over arbitrary-precision integers [NOTE] Package coq is already installed (current version is 8.15.1). The following actions will be performed: - install coq-fiat-crypto 0.0.15 <><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> Processing 1/1: [coq-fiat-crypto.0.0.15: http] [coq-fiat-crypto.0.0.15] downloaded from https://github.com/mit-plv/fiat-crypto/archive/refs/tags/v0.0.15.tar.gz Processing 1/1: <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> Processing 1/2: [coq-fiat-crypto: make coq] + /home/bench/.opam/opam-init/hooks/sandbox.sh "build" "make" "-j4" "EXTERNAL_DEPENDENCIES=1" "SKIP_COQSCRIPTS_INCLUDE=1" "coq" "standalone-ocaml" (CWD=/home/bench/.opam/ocaml-base-compiler.4.14.0/.opam-switch/build/coq-fiat-crypto.0.0.15) - ./src/Rewriter/PerfTesting/Specific/make.py primes.txt - GENTEST --makefile fiat-amd64/*.asm > Makefile.test-amd64-files.mk - ECHO > _CoqProject - COQ_MAKEFILE -f _CoqProject > Makefile.coq - Warning: native compilation is globally deactivated by the configure flag - fatal: not a git repository (or any parent up to mount point /) - Stopping at filesystem boundary (GIT_DISCOVERY_ACROSS_FILESYSTEM not set). - Makefile:352: warning: overriding recipe for target 'all' - Makefile.coq:386: warning: ignoring old recipe for target 'all' - Makefile:963: warning: overriding recipe for target 'validate' - Makefile.coq:514: warning: ignoring old recipe for target 'validate' - ECHO > src/Util/Tactics.v - fatal: not a git repository (or any parent up to mount point /) - Stopping at filesystem boundary (GIT_DISCOVERY_ACROSS_FILESYSTEM not set). - COQDEP VFILES - fatal: not a git repository (or any parent up to mount point /) - Stopping at filesystem boundary (GIT_DISCOVERY_ACROSS_FILESYSTEM not set). - Makefile:352: warning: overriding recipe for target 'all' - Makefile.coq:386: warning: ignoring old recipe for target 'all' - Makefile:963: warning: overriding recipe for target 'validate' - Makefile.coq:514: warning: ignoring old recipe for target 'validate' - COQC src/Util/ZUtil/Hints/Core.v - COQC src/Util/NatUtil.v - COQC src/Util/Pointed.v - COQC src/Util/IffT.v - COQC src/Util/Isomorphism.v - COQC src/Util/HProp.v - COQC src/Util/GlobalSettings.v - COQC src/Util/Tactics/Test.v - COQC src/Util/Tactics/ConstrFail.v - COQC src/Util/ZUtil/ZSimplify/Simple.v - COQC src/Util/ZUtil/Tactics/ReplaceNegWithPos.v - COQC src/Util/Tactics/GetGoal.v - COQC src/Util/Strings/Decimal.v - COQC src/Util/Tactics/Contains.v - COQC src/Util/Comparison.v - COQC src/Util/ZUtil/Tactics/SplitMinMax.v - COQC src/Util/Tactics/HasBody.v - COQC src/Util/Tactics/PrintContext.v - COQC src/Util/Tactics/DebugPrint.v - COQC src/Util/ListUtil/NthExt.v - COQC src/Util/Bool/Equality.v - COQC src/Util/ZUtil/Div/Bootstrap.v - COQC src/Util/ZUtil/Modulo/Bootstrap.v - COQC src/Util/ZUtil/Tactics/PrimeBound.v - COQC src/Util/ZUtil/Tactics/CompareToSgn.v - COQC src/Util/ZUtil/Tactics/DivideExistsMul.v - COQC src/Util/ZUtil/Lnot.v - COQC src/Util/Bool/LeCompat.v - COQC src/Util/ZUtil/N2Z.v - COQC src/Util/ZUtil/Pow2.v - COQC src/Util/ZUtil/Tactics/PeelLe.v - COQC src/Util/Tactics/NormalizeCommutativeIdentifier.v - COQC src/Util/Tactics/SetEvars.v - COQC src/Util/Tactics/SubstEvars.v - COQC src/Util/PER.v - COQC src/Util/ListUtil/FoldMap.v - COQC src/Util/ListUtil/PermutationCompat.v - COQC src/Util/NUtil/Sorting.v - COQC src/Util/NUtil/Testbit.v - COQC src/Util/Unit.v - COQC src/Util/ListUtil/SetoidListRev.v - COQC src/Util/ListUtil/RemoveN.v - COQC src/Algebra/Nsatz.v - COQC src/Util/ZUtil/Odd.v - COQC src/Util/Tactics/OnSubterms.v - COQC src/Util/Tactics/Revert.v - COQC src/Util/Factorize.v - COQC src/Util/Decidable/Bool2Prop.v - COQC src/Util/FueledLUB.v - COQC src/Util/Tactics/SimplifyRepeatedIfs.v - COQC src/TAPSort.v - COQC src/Util/ZUtil/Z2Nat.v - COQC src/Util/Tactics/ETransitivity.v - COQC src/Util/Tactics/SubstLet.v - COQC src/Util/ZUtil/ModExp.v - COQC src/Assembly/Parse/Examples/fiat_25519_carry_square_optimised.v - COQC src/Assembly/Parse/Examples/fiat_25519_carry_square_optimised_seed10.v - COQC src/Assembly/Parse/Examples/fiat_25519_carry_square_optimised_seed20.v - COQC src/Assembly/Parse/Examples/fiat_p256_mul_optimised_seed11.v - COQC src/Assembly/Parse/Examples/fiat_p256_mul_optimised_seed12.v - COQC src/Assembly/Parse/Examples/fiat_p256_mul_optimised_seed4.v - COQC src/Assembly/Parse/Examples/fiat_p256_square_optimised_seed103.v - COQC src/Assembly/Parse/Examples/fiat_p256_square_optimised_seed46.v - COQC src/Assembly/Parse/Examples/fiat_p256_square_optimised_seed6.v - COQC src/Assembly/Parse/Examples/boringssl_nasm_full_mul_p256.v - COQC src/Util/Loops.v - COQC src/PushButtonSynthesis/InvertHighLow.v - COQC src/Util/Tactics/ChangeInAll.v - COQC src/Util/DefaultedTypes.v - COQC src/Util/Pos.v - COQC src/Util/Sumbool.v - COQC src/Util/Bool/IsTrue.v - COQC src/Util/ZUtil/DistrIf.v - COQC src/Util/ZUtil/Ge.v - COQC src/Util/ZUtil/Mul.v - COQC src/Util/ZUtil/Sgn.v - COQC src/Util/ZUtil/Sorting.v - COQC src/Util/SideConditions/CorePackages.v - COQC src/Util/Logic/ImplAnd.v - COQC src/Util/Sigma/Associativity.v - COQC src/Util/Sigma/Lift.v - COQC src/Util/Sigma/MapProjections.v - COQC src/Util/Sigma/Related.v - COQC src/Util/Tactics/CPSId.v - COQC src/Util/Tactics/EvarNormalize.v - COQC src/Util/Tactics/ClearFree.v - COQC src/Util/Tactics/ClearAll.v - COQC src/Util/Tactics/ClearDuplicates.v - COQC src/Util/Tactics/ClearbodyAll.v - COQC src/Util/Tactics/ConvoyDestruct.v - COQC src/Util/Tactics/DestructTrivial.v - COQC src/Util/Tactics/ESpecialize.v - COQC src/Util/Tactics/EvarExists.v - COQC src/Util/Tactics/Forward.v - COQC src/Util/Tactics/PoseTermWithName.v - COQC src/Util/Tactics/SideConditionsBeforeToAfter.v - COQC src/Util/Tactics/SimplifyProjections.v - COQC src/Util/Tactics/TransparentAssert.v - COQC src/Util/Tactics/UnfoldArg.v - COQC src/Util/Tactics/UnifyAbstractReflexivity.v - COQC src/Util/Tactics/VM.v - COQC src/Util/ZUtil/Hints/ZArith.v - COQC src/Util/ZUtil/Hints/Ztestbit.v - COQC src/Util/ZUtil/Hints/PullPush.v - COQC src/Util/ZUtil/ZSimplify/Core.v - COQC src/Util/Equality.v - COQC src/Util/FixCoqMistakes.v - COQC src/Util/Tactics/Not.v - COQC src/Util/Tactics/SplitInContext.v - COQC src/Util/Tactics/SetoidSubst.v - COQC src/Util/PrimitiveProd.v - COQC src/Util/Tactics/FindHyp.v - COQC src/Util/DynList.v - COQC src/Util/Tactics/CountBinders.v - COQC src/Util/Tactics/AppendUnderscores.v - COQC src/Util/Tactics/PrintGoal.v - COQC src/Util/PrimitiveHList.v - COQC src/Util/Tactics/RunTacticAsConstr.v - COQC src/Util/Structures/Equalities.v - COQC src/Util/Structures/Equalities/Iso.v - COQC src/Util/Logic/Forall.v - COQC src/Util/Logic/Exists.v - COQC src/Util/ZUtil/Tactics/DivModToQuotRem.v - COQC src/Util/ZUtil/Modulo/PullPush.v - COQC src/Util/ZUtil/Tactics/LinearSubstitute.v - COQC src/Util/ZUtil/Opp.v - COQC src/Util/Logic/ProdForall.v - COQC src/Util/ListUtil/Partition.v - COQC src/Util/ListUtil/StdlibCompat.v - COQC src/Util/Structures/Equalities/Project.v - COQC src/Util/ListUtil/Concat.v - COQC src/Util/ListUtil/Filter.v - COQC src/Util/Logic.v - COQC src/Util/Structures/Equalities/Unit.v - COQC src/Util/Sorting/Sorted/Proper.v - COQC src/Util/Tactics/WarnIfGoalsRemain.v - COQC src/Util/ListUtil/CombineExtend.v - COQC src/Util/ZUtil/Nat2Z.v - COQC src/Util/Telescope/Core.v - COQC src/Util/ListUtil/Split.v - COQC src/Util/Tactics/RevertUntil.v - COQC src/Util/Curry.v - COQC src/Util/Tactics.v - COQC src/Util/Tower.v - COQC src/Util/Wf.v - COQC src/Util/Tactics/HeadUnderBinders.v - COQC src/Util/Structures/Equalities/Empty.v - COQC src/Util/Strings/String_as_OT.v - COQC src/Util/Strings/String_as_OT_old.v - COQC src/Util/Tactics/CacheTerm.v - COQC src/Util/Tactics/Delta1.v - COQC src/Util/ZUtil/Hints.v - COQC src/Util/Prod.v - COQC src/Util/Sigma.v - File "./src/Util/Sigma.v", line 376, characters 0-52: - Warning: The Ltac name inversion_sigma may be unusable because of a conflict - with a notation. [unusable-identifier,parsing] - COQC src/Util/Tactics/Head.v - COQC src/Util/Tactics/DestructHyps.v - COQC src/Util/Notations.v - COQC src/Ut [...] truncated COQC src/Arithmetic/Freeze.v - Tactic call ran for 207.1 secs (32.352u,0.047s) (success) - COQC src/ArithmeticCPS/Freeze.v - COQC src/Curves/Montgomery/XZProofs.v - Tactic call ran for 58.366 secs (8.893u,0.004s) (success) - Assembling verified rewriter... - Refining with verified rewriter... - Finished transaction in 123.655 secs (18.945u,0.049s) (successful) - Warning: Native compiler is disabled, -native-compiler ondemand option - ignored. [native-compiler-disabled,native-compiler] - Warning: The native-compiler option is deprecated. To compile native files - ahead of time, use the coqnative binary instead. - [deprecated-native-compiler-option,deprecated] - Warning: Native compiler is disabled, -native-compiler ondemand option - ignored. [native-compiler-disabled,native-compiler] - Warning: The native-compiler option is deprecated. To compile native files - ahead of time, use the coqnative binary instead. - [deprecated-native-compiler-option,deprecated] - COQC src/Rewriter/All.v - COQC src/Arithmetic/WordByWordMontgomery.v - build_inputs start - build_inputs end - build_merge_base_addresses start - build_merge_base_addresses end - build_merge_base_addresses start - Finished transaction in 245.927 secs (9.559u,0.655s) (successful) - Finished transaction in 29.175 secs (4.469u,0.007s) (successful) - build_merge_base_addresses end - COQC src/PushButtonSynthesis/UnsaturatedSolinasReificationCache.v - build_merge_stack_placeholders start - build_merge_stack_placeholders end - Finished transaction in 18.284 secs (2.829u,0.016s) (successful) - get callee_saved_registers start - get callee_saved_registers end - Finished transaction in 11.691 secs (1.763u,0.s) (successful) - get callee_saved_registers start - SymexLines start - SymexLines end - Finished transaction in 20.543 secs (3.141u,0.s) (successful) - Finished transaction in 15.632 secs (2.446u,0.s) (successful) - get callee_saved_registers start - get callee_saved_registers end - LoadArray start - LoadArray end - LoadOutputs start - Finished transaction in 14.663 secs (2.309u,0.002s) (successful) - Finished transaction in 12.785 secs (1.905u,0.007s) (successful) - LoadOutputs end - LoadOutputs start - Finished transaction in 10.686 secs (1.628u,0.003s) (successful) - Finished transaction in 8.149 secs (1.303u,0.s) (successful) - LoadOutputs end - Finished transaction in 11.474 secs (1.767u,0.s) (successful) - Finished transaction in 8.621 secs (1.285u,0.s) (successful) - Finished transaction in 3.852 secs (0.657u,0.s) (successful) - Finished transaction in 2.917 secs (0.483u,0.s) (successful) - Finished transaction in 6.261 secs (0.95u,0.s) (successful) - Finished transaction in 4.84 secs (0.716u,0.003s) (successful) - Finished transaction in 6.651 secs (1.039u,0.s) (successful) - Finished transaction in 4.714 secs (0.706u,0.s) (successful) - Finished transaction in 11.942 secs (1.808u,0.004s) (successful) - Finished transaction in 10.419 secs (1.543u,0.004s) (successful) - Finished transaction in 12.599 secs (2.001u,0.s) (successful) - Finished transaction in 12.575 secs (1.955u,0.s) (successful) - Finished transaction in 14.564 secs (2.297u,0.004s) (successful) - Finished transaction in 12.282 secs (1.868u,0.s) (successful) - Finished transaction in 11.883 secs (1.737u,0.011s) (successful) - Finished transaction in 6.906 secs (1.107u,0.s) (successful) - Finished transaction in 11.844 secs (1.709u,0.004s) (successful) - Finished transaction in 7.346 secs (1.067u,0.003s) (successful) - Finished transaction in 11.53 secs (1.7u,0.s) (successful) - Finished transaction in 7.385 secs (1.116u,0.003s) (successful) - Finished transaction in 1.888 secs (0.272u,0.s) (successful) - Finished transaction in 1.233 secs (0.171u,0.s) (successful) - Finished transaction in 1.85 secs (0.302u,0.s) (successful) - Finished transaction in 0.922 secs (0.152u,0.003s) (successful) - Finished transaction in 23.689 secs (3.633u,0.003s) (successful) - Finished transaction in 14.785 secs (2.132u,0.011s) (successful) - Finished transaction in 11.872 secs (1.752u,0.007s) (successful) - Finished transaction in 6.345 secs (1.024u,0.s) (successful) - COQC src/PushButtonSynthesis/WordByWordMontgomeryReificationCache.v - Finished transaction in 50.323 secs (7.655u,0.034s) (successful) - Finished transaction in 26.241 secs (3.992u,0.s) (successful) - Finished transaction in 10.947 secs (1.721u,0.014s) (successful) - Finished transaction in 6.647 secs (1.097u,0.s) (successful) - Finished transaction in 10.596 secs (1.64u,0.003s) (successful) - Finished transaction in 6.99 secs (1.064u,0.s) (successful) - Finished transaction in 10.914 secs (1.614u,0.004s) (successful) - Finished transaction in 6.816 secs (1.025u,0.007s) (successful) - Finished transaction in 11.99 secs (1.845u,0.003s) (successful) - Finished transaction in 6.566 secs (1.08u,0.s) (successful) - Finished transaction in 11.413 secs (1.704u,0.007s) (successful) - Finished transaction in 7.278 secs (1.161u,0.s) (successful) - Finished transaction in 0.336 secs (0.056u,0.s) (successful) - Finished transaction in 0.181 secs (0.025u,0.s) (successful) - Finished transaction in 2.153 secs (0.32u,0.s) (successful) - Finished transaction in 1.159 secs (0.197u,0.s) (successful) - Finished transaction in 1.816 secs (0.363u,0.s) (successful) - Finished transaction in 1.188 secs (0.19u,0.s) (successful) - Finished transaction in 40.46 secs (6.17u,0.008s) (successful) - Finished transaction in 22.032 secs (3.443u,0.007s) (successful) - Finished transaction in 45.834 secs (6.866u,0.039s) (successful) - Finished transaction in 22.504 secs (3.411u,0.007s) (successful) - Finished transaction in 43.975 secs (6.521u,0.047s) (successful) - Finished transaction in 22.874 secs (3.408u,0.004s) (successful) - Finished transaction in 46.665 secs (7.047u,0.027s) (successful) - Finished transaction in 23.069 secs (3.77u,0.004s) (successful) - Finished transaction in 0.385 secs (0.061u,0.s) (successful) - Finished transaction in 0.128 secs (0.02u,0.s) (successful) - Finished transaction in 43.098 secs (6.81u,0.004s) (successful) - Finished transaction in 22.499 secs (3.635u,0.s) (successful) - COQC src/CompilersTestCases.v - COQC src/ArithmeticCPS/WordByWordMontgomery.v - COQC src/BoundsPipeline.v - COQC src/Arithmetic/BYInv.v - Finished transaction in 1623.631 secs (246.09u,0.268s) (successful) - COQC src/Bedrock/Field/Translation/Cmd.v - COQC src/Bedrock/Field/Translation/Parameters/Defaults.v - COQC src/PushButtonSynthesis/SmallExamples.v - COQC src/COperationSpecifications.v - COQC src/PushButtonSynthesis/BYInversionReificationCache.v - Finished transaction in 33.586 secs (5.113u,0.04s) (successful) - Finished transaction in 31.185 secs (4.793u,0.031s) (successful) - COQC src/Bedrock/Field/Translation/Func.v - Finished transaction in 28.499 secs (4.41u,0.013s) (successful) - COQC src/Bedrock/Field/Translation/Parameters/Defaults32.v - Finished transaction in 20.683 secs (3.532u,0.s) (successful) - Finished transaction in 8.679 secs (1.367u,0.011s) (successful) - Finished transaction in 1.048 secs (0.191u,0.s) (successful) - Finished transaction in 0.751 secs (0.116u,0.s) (successful) - Finished transaction in 2.435 secs (0.404u,0.s) (successful) - Finished transaction in 1.477 secs (0.251u,0.s) (successful) - COQC src/Bedrock/Field/Translation/Parameters/FE310.v - Finished transaction in 12.012 secs (1.68u,0.007s) (successful) - COQC src/Bedrock/Field/Translation/Parameters/Defaults64.v - COQC src/PushButtonSynthesis/Primitives.v - Finished transaction in 23.235 secs (3.652u,0.s) (successful) - Finished transaction in 1.13 secs (0.2u,0.003s) (successful) - Finished transaction in 0.729 secs (0.1u,0.s) (successful) - Finished transaction in 0.509 secs (0.095u,0.s) (successful) - Finished transaction in 0.641 secs (0.121u,0.s) (successful) - Finished transaction in 0.657 secs (0.115u,0.s) (successful) - Finished transaction in 0.851 secs (0.154u,0.s) (successful) - COQC src/Bedrock/Field/Common/Util.v - Finished transaction in 0.132 secs (0.027u,0.003s) (successful) - Finished transaction in 0.025 secs (0.01u,0.s) (successful) - Finished transaction in 2.876 secs (0.552u,0.s) (successful) - Finished transaction in 0.254 secs (0.053u,0.s) (successful) - Finished transaction in 1.989 secs (0.4u,0.s) (successful) - Finished transaction in 0.741 secs (0.151u,0.s) (successful) - Finished transaction in 0.445 secs (0.093u,0.s) (successful) - Finished transaction in 0.291 secs (0.063u,0.s) (successful) - Finished transaction in 0.504 secs (0.102u,0.s) (successful) - Finished transaction in 0.302 secs (0.066u,0.s) (successful) - Finished transaction in 0.055 secs (0.011u,0.s) (successful) - Finished transaction in 0.044 secs (0.004u,0.s) (successful) - Finished transaction in 1.132 secs (0.229u,0.s) (successful) - Finished transaction in 0.494 secs (0.105u,0.s) (successful) - Finished transaction in 0.712 secs (0.152u,0.s) (successful) - Finished transaction in 2.583 secs (0.517u,0.s) (successful) - COQC src/PushButtonSynthesis/SaturatedSolinas.v - COQC src/PushButtonSynthesis/UnsaturatedSolinas.v - COQC src/PushButtonSynthesis/WordByWordMontgomery.v - COQC src/PushButtonSynthesis/BaseConversion.v - COQC src/Bedrock/Field/Common/Tactics.v - COQC src/Bedrock/End2End/RupicolaCrypto/Broadcast.v - COQC src/PushButtonSynthesis/BarrettReduction.v - COQC src/PushButtonSynthesis/FancyMontgomeryReduction.v - Finished transaction in 139.606 secs (21.836u,0.027s) (successful) - COQC src/Bedrock/Field/Translation/Proofs/UsedVarnames.v - COQC src/Bedrock/Field/Common/Arrays/ByteBounds.v - COQC src/Fancy/Barrett256.v - Finished transaction in 259.943 secs (41.159u,0.153s) (successful) - File "./src/PushButtonSynthesis/WordByWordMontgomery.v", line 1039, characters 71-75: - Error: (in proof selectznz_correct): Attempt to save an incomplete proof - - make: *** [Makefile.coq:764: src/PushButtonSynthesis/WordByWordMontgomery.vo] Error 1 - make: *** Waiting for unfinished jobs.... The middle of the output is truncated (maximum 20000 characters)
No files were installed.
true


Sajina Kulung Rai
Kcgi Student
I am studying in KCGI
Harvard University
Facebook
kyoto,miamiku, tofukuji
Student ID
Student Name
Gender
Email address
Country
1
Rumesh Rauniyar
Male
<EMAIL_ADDRESS>Nepal
Schedule
9am
10am
11am
12am
Monday
English
Math
Art
Tuesday
Technology
semester Year
student ID
Student Name
Gender
Email address
Full Semester Course
Country
qee1419/shared_invite/enQtODMxMjQ3MzgxMTI2LTNmMzVhMGE5NWM0NDE5Y2M4YTAyMjgwNDRhNDFmNDRjMmQwMGI1Yzk2MzRlNWY4NDU1ZmFiYjNhNGE5NWFiZWI
Audio in HTML using Notepad
">


|
Knights TemplarAccording to legend, the Knights Templar was founded in 1118 to protect tourists headed for Jerusalem. There the small band of warrior monks established a headquarters. In due course, they somehow managed to gain possession of the Ark of the Covenant, which they hid for safekeeping.Even though the Templars swore allegiance to the Pope, their beliefs were not exactly orthodox. They believed that Jesus Christ had conceived three children with Mary Magdalene, who moved to France after the crucifixion. Their progeny married into royalty; hence, there existed members of the French nobility who had divine blood in their veins. The Knights Templar eventually dedicated themselves to protecting the lives of these descendants of Jesus, the Merovingians. But when they weren't busy doing that, they managed to amass a financial empire with vast holdings. The Templars created the first international banking system. Pilgrims heading off to the Holy Land would deposit money with a local branch, in exchange for a letter of credit, redeemable just about everywhere along their route. By the dawn of the 14th century, the Knights Templar had become Europe's dominant religious order. They were more than 7,000 members strong. They held almost 900 castles. And they controlled unimaginable wealth in land, gold, and let's not forget that Ark of the Covenant. In France, King Philip IV owed the Templars a lot of money, which he didn't really feel like repaying. So he hatched a scheme with Pope Clement V. In 1307, the Pope summoned Jacques de Molay, the group's Grand Master, to Paris. There they were supposed to enter negotiations on merging the Knights Hospitallers with de Molay's group. No such luck. Instead, he and his staff were arrested by King Philip and turned over to the Inquisition. Philip's men swept through the country, in just two days arresting 15,000 men associated with the accused. Some of the Templars escaped to Portugal, where (for a few years) they enjoyed the protection of its king. Others were rumored to have fled to Switzerland and Scotland, but there is no documentation of this. The Pope forcibly disbanded their organization in March 1312, announced in a Papal Bull accusing the Templars of having fallen "into the sin of impious apostasy, the abominable vice of idolatry, the deadly crime of the Sodomites, and various heresies." Plus, renouncing Jesus and spitting on the cross. In March 1314, Jacques de Molay was sentenced to life imprisonment by the Inquisition. The sentence was announced during a public ceremony at Notre Dame cathedral. In exchange for his full confession, de Molay had received leniency. But before they could stop him, de Molay suddenly retracted his confession:
"I confess that I am indeed guilty of the greatest infamy. But the infamy is that I have lied. I have lied in admitting the disgusting charges laid against my Order. I declare, and I must declare, that the Order is innocent. Its purity and saintliness have never been defiled. In truth, I had testified otherwise, but I did so from fear of horrible tortures." So, instead of life in prison, de Molay and his subordinate Geoffroy de Charnay were burned alive three days later. They were taken to the Isle of Javiaux in the Seine, not far from Notre Dame.  It took hours for them to die. Finally their ashes were collected for relics by Augustinian monks. Eventually, the Church took possession of the assets belonging to the Templars. No word on whether the Ark of the Covenant was taken to Rome.
Today, the Knights Templar is the name of a branch of Freemasonry. It seems rather doubtful that the modern organization could ever conclusively trace its lineage back to their medieval namesake... but then again, everybody used to think the Coelacanth was extinct. So who knows?
|


| DOSE: |
600 mg |
oral |
Caffeine |
(pill / tablet) |
| |
400 mg |
insufflated |
Caffeine |
(ground / crushed) |
| |
1 glass |
oral |
Caffeine |
(liquid) |
Well, just yesterday I had the goal of writing my 6-page research paper for my English class. But I knew I couldnít do this cuz Iím usually tired and just wanna sleep. Soooo.... I thought of the brilliant idea of using the aid of caffeine pills to keep my mind focused on the task at hand.
I went to my local pharmacy (CVS) and was searching where I could find some caffeine pills. After a while of searching I found the sleeping pills section and conveniently the caffeine pills were right there as well. I wondered which brand I should choose, I mean I could get 80 pills or I could settle for 40. I wasnít even considering by the packages that had less. I finally settled with the pack of 40 vivarins cuz they were only $2 less then the pack of 80 CVS brand pills so I figured that they must have been good or something.
Alright, at that time the fun was on its way... I waited until I had privacy up in my room and I cut one pill in half and scraped all of the yellow outer part off the pill.  I gradually snorted almost the entire pill while I simply swallowed another pill. I waited for a lil and I figured that my concentration was better so I got started on putting together my paper. I started to feel somewhat stimulated so I had the sudden desire to masturbate so I knocked one or two out and got back to work.
Anyways...when I started typing up this thing I downed another yellow pill and put on some music. I had some good energy by now and reciting the songs on the radio and I was spitting words as smooth as a piece of glass. I really was enjoyin myself by now. I was lovin the energy the pills gave me. Well I continued writin the paper and by now I almost had 2 pages which was real progress for me. Whenever I felt as though I needed more energy to help me finish the job I took another pill.
By now I think I swallowed 2 pills and snorted the most of two other pills and just swallowed whatever was left of each pill. Also, throughout the entire time I must have crapped like 3 times. I also checked my pulse every minute to see if it got any faster, umm I guess it did speed up a lil bit. After I finished three pages I took a break and used the internet and just listened to music or whatever. Oh yeah, by the way, I had a can of diet coke with lime. I eventually had my 5th and final pill and after about 2 hours after I took it is when the damage occured...
I felt so horrible. Something like a really bad hangover where u feel really nauseous and wanna throwup. it was weird cuz I felt nauseous but when I tried to throw up only a lil came out, I guess I didnít eat enough. Awww man this was the worst feelin ever. How could caffeine do this???? I was tellin myself that I would never do drugs again I just wanted this feelin to go away. I seriously thought I might die or something but I realized that my friend survived when he did a gram of coke, so I kinda knew that everything would be fine. Still I just couldnít believe how bad I felt. The nausea was horrible. All I wanted to do was sleep but with all that caffeine in my body there was no way.
 I guess my metabolism increased quite a bit, plus I lost some fluid weight too of course.
Experience Reports are the writings and opinions of the individual authors who submit them.
Some of the activities described are dangerous and/or illegal and none are recommended by Erowid.


Selection Drop Demo
Click and drag to select any number of dashed boxes.
Jack
Kate
Hugo
James
John
Jin
Sun
Sayid
Walt
Michael
Claire
Aaron
Charlie
Desmond
Penny
Ben
Juliet
Richard
Alex
Miles
Charlotte
Daniel
Vincent
Frank
Jacob


Humanscapes Habitat Urban Living / Auroville Design Consultant
- Curated by Paula Pintos
- about 8 hours
Residential · Auroville, India
- version="1.0" encoding="UTF-8"? Architects: Auroville Design Consultant
- AreaArea of this architecture projectArea: 1753.57 m2
- version="1.0" encoding="UTF-8"?YearCompletion year of this architecture project Year: 2018
- version="1.0" encoding="UTF-8"?PhotographsPhotographs: Akshay Arora, John Mandeen
- version="1.0" encoding="UTF-8"?ManufacturersBrands with products used in this architecture project Manufacturers: AutoDesk, Earth - cement - agreegate (C&D) mix, JSW Cement & Priya Cement, Local traditional technique in India, Locally Made, MRF, Quarried and sold via local dealers (non branded), TISCON/ VIZAG, Trimble, Waste collected from stone factories, Waste from construciton sites around
- Lead Architect Suhasini Ayer
- Design Team Suhasini Ayer, Gavury Ramadas, Ramya Prasad, Abrahm Ninan, Gnana Arul
- Clients Auroville Foundation
- Structural Engineer Dr. S. Kothandaraman
- Landscape Auroville Design Consultants
- Consultants Auroville Earth Institute, Sunlit future, Auroville Energy Services
More Specs Less Specs
Text description provided by the architects. The “HUMANSCAPES HABITAT- is an applied research and demonstration project of Sustainable and Integrated Urban Living Project” for benchmarking in habitat as a course correction for a sustainable and harmonious mode of development which is an imperative need in present global crisis of energy and climate change. This mixed-use development of residences, community and workspace would be a touchstone for standards for low-embodied energy building. This project also wants to address the issues of skill development upgrade the capability in the unorganized labor sector of India in the construction sector to transition construction jobs from building with high embodied energy materials to building materials and technology to reduce the carbon footprint in the habitat sector to meet India’s commitment to IPCC.
Using local building materials and skills, the residences become a net energy-positive habitat by generating its own energy, using renewable energy. Zero-discharge of water, reduction, and recycling of solid waste, drought-resistant local endemic species landscaping and growing organic food as a model for urban agriculture would be a hallmark of this project. Reducing point to point travel by integrating work and living spaces, using integrated community and IT infrastructure (ICITI), and using clean mobility options like e- vehicles for external contact will be a natural consequence of the campus set-up.
The habitat project has integrated four goals as part of the sustainable human settlement program of development;
• Sustainable built environment to have building envelopes that are solar passive to be climatically suitable built with efficient space usage to reduce the built-up area and low embodied energy building materials with construction techniques that require minimum processing and machinery.
• Integrated environmental planning of water, energy, and waste so Zero-discharge of water, reduction, and recycling of solid waste, water-efficient landscaping using local endemic species, and growing organic food as a model for urban agriculture would be a hallmark of these residences.
• The human ecology, using the principles of “Cohousing” concept of living, facilitating interaction among neighbors for inclusive social development, economic and environmental benefits. A functional fusion, the living, working, recreational and primary amenities allowing a multiplicity of space usage to reduce the built-up area to enable the inhabitants to interact actively with the farming and productive landscaping, waste recycling and energy generation as part of the open learning campus.
• Establish a collaborative network of knowledge resources called ‘SustaiNet’, to facilitate further dissemination. This network will enable inter-institutional knowledge sharing and dissemination, a platform for academics, students and professionals to have an inclusive learning experience during and after completion of the project.


Another school assault sends 13-year-old to juvenile hall
MORENO VALLEY (INT) A 13-year-old boy is the latest to find himself in the criminal justice system for a schoolyard incident.
Sheriffs investigators arrested the Vista Heights Middle School student on suspicion of assaulting a 12-year-old girl and briefly knocking her unconscious.
Other students helped the victim return to class before the incident was reported Thursday. The girl later sought hospital medical treatment.
Identities of those involved were not released because of their ages.


-- Boohu version v0.8-dev character file -- You escaped from Hareka's Underground alive! You have 33/42 HP, and 3/11 MP. Aptitudes: You are agile. You move fast. You occasionally get energic and smoke clouds when hurt. Statuses: Agile Swift Equipment: You are wearing a plate armour.  You have a shield (unused). Rods: - rod of blinking (5/5 charges) (used 2 times) - rod of fireball (3/4 charges) (used 11 times) - rod of swapping (2/4 charges) (used 3 times) Potions: - potion of teleportation (3 available) - potion of refill magic (2 available) - potion of controlled blink (1 available) - potion of swapping (1 available) Projectiles: - dart of confusion (1 available) Miscellaneous: You collected 220 simellas. You killed 130 monsters. You spent 5962.5 turns in the Underground. Last messages: You swap positions with the hydra. You see a spider (resting). (4×) The spider awakes. You swap positions with the spider. The spider awakes. The spider awakes. You heared some footsteps. You heared some footsteps. You stand over stairs. You escape by the magic stairs! You win. --press esc or space to continue-- Dungeon: ┌───────────────────────────────────────────────────────────────────────────────┐ │ ####### ### #### │ │ #..♣#.# ###.## #..# │ │ #.....#### ### ### ###### ### #....#### ##..##### │ │ ##.......###.###.####"##"# #.###..#....###....#..# │ │ #...#.#."".."."...#..""#"# ######..########....###.#..## │ │ ##.####.""""""...###.."""## ##.......# #######......# │ │ #........."""...#.....#."@# #..#....## ##.!..######## │ │ #♣.###+###....##....♣.##### #.####### ###..#....##.## │ │ #.##.#.#.##....###....# #####..###################...####......###│ │ #.#.#.#.#.#.#### #...## #....###.....#.##..........##.# #.###....#│ │ #..#.#.#.#..# #.### ##...###........#..##.##...#### #####..##.│ │ #### #.#.#.#.#.#.# ####.#### #...#....####..#.##.#.##.#### #...###│ │ #..####.##.#.#.##.###.##..#.# #### ###.#.....# #.##.+.....#.##.### #.....#│ │###........#######..##....#..####..# #.##.♣..# #..#.##♣#.##...##.# ###...#│ │#...##..............##....###..#...# #......## ##....##.##..#..#.## ##..#...│ │#.###.####.....#.#####.....##......#### #.####.# #...........##....###...#..#│ │### ### ##.....## #.....#..........###.# ### #.########.###..##.#########│ │ ##......# ###..##..##..........# ### ##.......##### │ │ ##....#.##### #####..........#..## #..###.!.# │ │ #...#...###.# #.######.#####.# #.## ##### │ │ ##.###.#....# #.# #.# ### #.# │ └───────────────────────────────────────────────────────────────────────────────┘ Killed Monsters: - earth dragon: 2 - lich: 3 - hydra: 1 - mirror specter: 1 - cyclop: 1 - goblin warrior: 9 - satowalga plant: 2 - brizzia: 4 - blinking frog: 6 - yack: 16 - ogre: 3 - giant bee: 3 - spider: 7 - explosive nadre: 3 - hound: 14 - farmer worm: 7 - goblin: 48 Timeline: Depth 0|Turn 3.0| You found and took a rod of fireball. Depth 0|Turn 13.0| You used a dart of confusion. Depth 0|Turn 132.0| You used a dart of confusion. Depth 0|Turn 133.0| You used a dart of confusion. Depth 1|Turn 603.1| Critical HP: 7 (hit by a goblin) Depth 1|Turn 604.0| You used a potion of heal wounds. Depth 1|Turn 734.5| You evoked your rod of fireball. Depth 1|Turn 811.2| You evoked your rod of fireball. Depth 1|Turn 902.9| You evoked your rod of fireball. Depth 2|Turn 1296.6| You found and took a halberd. Depth 2|Turn 1375.6| You evoked your rod of fireball. Depth 2|Turn 1482.9| Critical HP: 11 (hit by an ogre) Depth 3|Turn 1949.4| Critical HP: 11 (hit by a yack) Depth 3|Turn 2013.3| You used a potion of swiftness. Depth 5|Turn 2431.6| You evoked your rod of fireball. Depth 5|Turn 2434.7| Critical HP: 8 (hit by a blinking frog) Depth 5|Turn 2435.3| You used a potion of digging. Depth 5|Turn 2452.9| You evoked your rod of fireball. Depth 5|Turn 2507.7| Critical HP: 5 (hit by a blinking frog) Depth 6|Turn 3204.9| You used a potion of dreams. Depth 6|Turn 3708.5| You saw a mirror specter.  Depth 6|Turn 3745.0| Critical HP: 8 (hit by a goblin warrior) Depth 6|Turn 3745.9| You used a potion of lignification. Depth 7|Turn 4037.4| You found and put on a shield. Depth 7|Turn 4225.4| You evoked your rod of fireball. Depth 7|Turn 4254.5| Critical HP: 6 (hit by a goblin warrior) Depth 8|Turn 4300.2| You saw a hydra. Depth 8|Turn 4300.2| You saw a hydra. Depth 8|Turn 4321.2| You found and put on a chain mail. Depth 9|Turn 4597.4| You saw an earth dragon. Depth 9|Turn 4598.2| You evoked your rod of fireball. Depth 9|Turn 4598.9| You evoked your rod of fireball. Depth 9|Turn 4599.6| You used a dart of confusion. Depth 9|Turn 4600.6| You used a dart of confusion.   Depth 9|Turn 4747.1| You found and took a rod of blinking. Depth 9|Turn 4799.1| You saw a lich. Depth 9|Turn 4855.7| Critical HP: 9 (hit by a lich) Depth 9|Turn 4855.9| You used a potion of berserk.  Depth 9|Turn 4911.1| You evoked your rod of blinking. Depth 9|Turn 4916.8| You used a dart of confusion. Depth 9|Turn 4929.8| You used a dart of confusion. Depth 9|Turn 4997.6| You evoked your rod of blinking. Depth 10|Turn 5199.5| You saw a lich.  Depth 11|Turn 5228.7| You saw a lich.  Depth 11|Turn 5294.9| You evoked your rod of swapping. Depth 11|Turn 5506.7| You saw a hydra.  Depth 11|Turn 5528.8| You evoked your rod of fireball.  Depth 11|Turn 5807.2| You used a dart of confusion.  Depth 12|Turn 5950.6| You used a potion of magic mapping. Depth 12|Turn 5951.1| You used a potion of dreams. Depth 12|Turn 5955.6| You used a potion of swiftness. Depth 12|Turn 5958.6| You saw a hydra. Depth 12|Turn 5959.1| You evoked your rod of swapping. Depth 12|Turn 5959.8| You evoked your rod of swapping. Statistics: You had 278 hits (4.5 per 100 turns), 156 misses (2.5), and 4758 moves (76.2). You were lucky 7 times. There were 76 fires. There were 16 destroyed walls. You rested 40 times (20 interruptions). You spent 53.0% turns wounded. You spent 18.6% turns with monsters in sight. You spent 11.0% turns wounded with monsters in sight. Quantity/Depth 0 1 2 3 4 5 6 7 8 9 10 11 12 Explored (%) 100 100 100 75 78 100 98 63 51 94 25 100 100 Sleeping monsters (%) 0 0 0 23 58 0 0 11 46 0 90 0 82 Dead monsters (%) 100 100 75 47 17 100 92 22 20 83 4 100 0 Dungeon Layout TC EC OC RR BR TC RR RR EC RR OC RR TC Legend: open cave (OC) big rooms (BR) eight cave (EC) tree-like cave (TC) ruined rooms (RR)


The example app has been packaged as a war file and can be downloaded here (Note: make sure your browser doesn't change file extension or append a new one). The easiest way to run this application is simply to move the war file to your CATALINA_HOME/webapps directory. Tomcat will automatically expand and deploy the application for you. You can view it with the following URL (assuming that you're running tomcat on port 8080 as is the default): http://localhost:8080/sample


The FCC unveils plans to implement new rules axing net neutrality. These new rules propose to undo the 2015 reclassification of Internet service providers as common carriers.
The FCC unveils plans to implement new rules axing net neutrality. These new rules propose to undo the 2015 reclassification of Internet service providers as common carriers.
President Trump signs S.J. Res. 34/H.J Res. 86 into law, effectively preventing Internet privacy rules from taking effect.
The house votes to pass H.J. Res. 86. Now the bill is on president Trump's desk.
The senate passed S.J. Res. 34 with a vote of 50/48. This is the first step to allow Internet service providers (ISPs) to sell private browsing information and app data usage to third parties. What's worse, they can manipulate your Internet experience with ad injections and search redirections. This is a massive violation of privacy and should be a major concern to all citizens.


A Textarea is a label without any controller functionality and can be used to leave notes, headlines, etc when extending the
dedicated area of the Textrea, a scrollbar is added on the right.
registers a controller with the Tooltip, when activating the tooltip for a particular controller, the registered text (second
parameter) will be displayed.
by default controlP5 draws any controller on top of any drawing done in the draw() function (this doesnt apply to P3D where
controlP5.draw() has to be called manually in the sketch's draw() function ).
use setMode to change the cell-activation which by default is ControlP5.SINGLE_ROW, 1 active cell per row, but can be changed to
ControlP5.SINGLE_COLUMN or ControlP5.MULTIPLES
with the default display, the width of the tooltip is set automatically, therefore setWidth() does not have any effect without
changing the default display to a custom ControllerView.


#include <object.h>
Public Member Functions | |
| ObjRef () | |
| Default constructor. | |
| ObjRef (const ObjRef< T > &src) | |
| Copy constructor. | |
| ObjRef (T *p_object) | |
| Construct from plain pointer. | |
| ~ObjRef () | |
| Destructor. Calls Release() on owned Object. | |
| ObjRef & | operator= (const ObjRef< T > &src) |
| Assignment operator. | |
| operator T * () | |
| Conversion to plain T *. | |
| operator const T * () const | |
| Conversion to plain const T *. | |
| template<class U> | |
| ObjRef< U > | cast (const U *ptr=NULL) const |
| Converts ObjRef<T> to ObjRef<U>. | |
| T * | operator-> () |
| Member access operator. | |
| const T * | operator-> () const |
| Member access operator. | |
| T & | operator * () |
| Dereference operator. | |
| const T & | operator * () const |
| Dereference operator. | |
| Bool | operator== (const ObjRef &src) const |
| Equality comparison operator. | |
| Bool | operator== (const T *src) const |
| Equality comparison operator. | |
| Bool | operator!= (const ObjRef &src) const |
| Inequality comparison operator. | |
| Bool | operator!= (const T *src) const |
| Inequality comparison operator. |
|
|
Default constructor. ObjRef() default contructor. |
|
|
Copy constructor. Increases objects' reference counter.
|
|
|
Construct from plain pointer. ObjRef() constructor from plain pointer.
|
|
|
Converts ObjRef<T> to ObjRef<U>.
|
|
|
Dereference operator.
|
|
|
Dereference operator.
|
|
|
Inequality comparison operator.
|
|
|
Inequality comparison operator.
|
|
|
Member access operator.
|
|
|
Member access operator.
|
|
|
Assignment operator. Makes this a copy of src, increasing owned object reference counter.
|
|
|
Equality comparison operator.
|
|
|
Equality comparison operator.
|