Recent finding and new technologies in nephrolithiasis: a review of the recent literature

This review summarizes recent literature on advances regarding renal and ureteral calculi, with particular focus in areas of recent advances in the overall field of urolithiasis. Clinical management in everyday practice requires a complete understanding of the issues regarding metabolic evaluation and subgrouping of stone-forming patients, diagnostic procedures, effective treatment regime in acute stone colic, medical expulsive therapy, and active stone removal. In this review we focus on new perspectives in managing nephrolitihiasis and discuss recentadvances, including medical expulsive therapy, new technologies, and refinements of classical therapy such as shock wave lithotripsy, give a fundamental modification of nephrolithiasis management. Overall, this field appears to be the most promising, capable of new developments in ureterorenoscopy and percutaneous approaches. Further improvements are expected from robotic-assisted procedures, such as flexible robotics in ureterorenoscopy

The ship model basin of Naples' University Federico II: Facilities, experimental tests, measurement systems

This work presents the main facilities of the Naples Towing Tank, LEIN: the instruments and the potential of the laboratory are presented, highlighting some strategies to resolve critical points typical of the towing tank tests. As example we point the attention on three aspects, typically critical: towing point of planing vessels, the accuracy of wave spectra generation and the settings of the radii of gyration for the seakeeping models

Defensive peripersonal space is modified by a learnt protective posture

The Hand Blink Reflex (HBR) is a subcortical defensive response, elicited by the electrical stimulation of the median nerve. HBR increases when the stimulated hand is inside the defensive peripersonalspace (DPPS) of the face. However, the presence of a screen protecting the face could reduce the amplitude of this response. This work aimed to investigate whether the learning of a posture intended to protect the head could modulate the HBR responses. Boxing athletes learn a defensive posture consisting of blocking with arms opponent\u2019s blow towards the face. Two groups were recruited: 13 boxers and 13 people na\uefve to boxing. HBR response was recorded and elicited in three hand positions depending on the distance from the face. A suppression of HBR enhancement in the static position close to the face was observed in boxer group, contrary to the control group. Also, the higher years of practice in boxing, the higher suppression occurred. However, this suppression was not observed when boxers were asked to move the hand up-to/down-from the face. These findings might suggest that the sensorimotor experience related to a previously learnt protective posture can modify the HBR and thus shape the dimension of the DPPS

Termination Casts: A Flexible Approach to Termination with General Recursion

This paper proposes a type-and-effect system called Teqt, which distinguishes terminating terms and total functions from possibly diverging terms and partial functions, for a lambda calculus with general recursion and equality types. The central idea is to include a primitive type-form "Terminates t", expressing that term t is terminating; and then allow terms t to be coerced from possibly diverging to total, using a proof of Terminates t. We call such coercions termination casts, and show how to implement terminating recursion using them. For the meta-theory of the system, we describe a translation from Teqt to a logical theory of termination for general recursive, simply typed functions. Every typing judgment of Teqt is translated to a theorem expressing the appropriate termination property of the computational part of the Teqt term.Comment: In Proceedings PAR 2010, arXiv:1012.455

Estimating hidden fishing activity hotspots from vessel transmitted data

Monitoring fishery activity is essential for resource planning and guaranteeing fisheries sustainability. Large fishing vessels constantly and continuously communicate their positions via Automatic Identification System (AIS) or Vessel Monitoring Systems (VMSs). These systems can use radio or Global Positioning System (GPS) devices to transmit data. Processing and integrating these big data with other fisheries data allows for exploring the relations between socio-economic and ecosystem assets in marine areas, which is fundamental in fishery monitoring. In this context, estimating actual fishing activity from time series of AIS and VMS data would enhance the correct identification of fishing activity patterns and help assess regulations' effectiveness. However, these data might contain gaps because of technical issues such as limited coverage of the terrestrial receivers or saturated transmission bands. Other sources of data gaps are adverse meteorological conditions and voluntary switch-offs. Gaps may also include hidden (unreported) fishing activity whose quantification would improve actual fishing activity estimation. This paper presents a workflow for AIS/VMS big-data analysis that estimates potential unreported fishing activity hotspots in a marine area. The workflow uses a statistical spatial analysis over vessel speeds and coordinates and a multi-source data integration approach that can work on multiple areas and multiple analysis scales. Specifically, it (i) estimates fishing activity locations and rebuilds data gaps, (ii) estimates the potential unreported fishing hour distribution and the unreported-over-total ratio of fishing hours at a 0.01 degrees spatial resolution, (iii) identifies potential unreported fishing activity hotspots, (iv) extracts the stocks involved in these hotspots (using global-scale repositories of stock and species observation data) and raises an alert about their possible endangered, threatened, and protected (ETP) status. The workflow is also a free-to-use Web Service running on an open science-compliant cloud computing platform with a Web Processing Service (WPS) standard interface, allowing efficient big data processing. As a study case, we focussed on the Adriatic Sea. We reconstructed the monthly reported and potential unreported trawling activity in 2019, using terrestrial AIS data with a 5-min sampling period, containing similar to 50 million records transmitted by similar to 1,600 vessels. The results highlight that the unreported fishing activity hotspots especially impacted Italian coasts and some forbidden and protected areas. The potential unreported activity involved 33 stocks, four of which were ETP species in the basin. The extracted information agreed with expert studies, and the estimated trawling patterns agreed with those produced by the Global Fishing Watch

Novel Mutation in the Apob Gene (Apo B-15.56): A Case Report

Novel Mutation in the Apob Gene (Apo B-15.56): A Case ReportFamilial hypobetalipoproteinemia (FHBL) is a rare co-dominant genetic disorder characterized by decrease of plasma low density lipoprotein-cholesterol (LDL-c) or apolipoprotein B (Apo-B) equal to or less than the 5th percentile for the population. We describe a 48-year-old male who presented with fatty liver disease (FLD), insulin resistance (IR), obesity and hypertension. Our patient thus met the latest diagnostic criteria of the metabolic syndrome (MS) proposed by the Adult Treatment Panel and the International Diabetes Federation. However, he had very low plasma concentration of LDL-c and Apo-B. DNA sequencing showed that he and two first-degree relatives affected by obesity and mild IR were heterozygous for a single nucleotide deletion on exon 15 of the APOB gene, which was predicted to form a truncated Apo-B designated Apo B-15.56

Distance Estimation of an Unknown Person from a Portrait

We propose the first automated method for estimating distance from frontal pictures of unknown faces. Camera calibration is not necessary, nor is the reconstruction of a 3D representation of the shape of the head. Our method is based on estimating automatically the position of face and head landmarks in the image, and then using a regressor to estimate distance from such measurements. We collected and annotated a dataset of frontal portraits of 53 individuals spanning a number of attributes (sex, age, race, hair), each photographed from seven distances. We find that our proposed method outperforms humans performing the same task. We observe that different physiognomies will bias systematically the estimate of distance, i.e. some people look closer than others. We expire which landmarks are more important for this task

Dialectica Categories for the Lambek Calculus

We revisit the old work of de Paiva on the models of the Lambek Calculus in dialectica models making sure that the syntactic details that were sketchy on the first version got completed and verified. We extend the Lambek Calculus with a \kappa modality, inspired by Yetter's work, which makes the calculus commutative. Then we add the of-course modality !, as Girard did, to re-introduce weakening and contraction for all formulas and get back the full power of intuitionistic and classical logic. We also present the categorical semantics, proved sound and complete. Finally we show the traditional properties of type systems, like subject reduction, the Church-Rosser theorem and normalization for the calculi of extended modalities, which we did not have before